pò/pǎi jiàng/xiáng①飞机因特殊情况不能继续飞行时的被迫降落。如飞机发动机发生严重故障，或气象条件恶化等都可造成迫降。②强迫非法飞越国境或严重违犯飞行纪律的飞机在指定机场降落。

xuǎn yán zhèng míng运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支，构造一个穷尽该问题一切可能的选言判断，并断定除该选言支外，其他选言支都是假的，从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了，可以构造选言判断如下：“电灯突然熄灭，或者是因为停电，或者是因为保险丝烧断，或者是因为线路发生故障，或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假，从而断定论题是真的。

xiā páo/bāo/pào1.在施工爆破中因发生故障而没有爆炸的炮。又称哑炮。

ruǎn jiàn为了运行、使用、管理、维修和开发计算机而编制的各种程序及文档资料的总称。包括汇编程序、编译程序、计算机的监控管理程序、调试程序、故障诊断程序、程序库、操作系统、数据库、各种维护使用手册、程序说明书等。