利用装于艇体下部的水翼所产生的水动升力，使船体全部或部分升离水面而高速航行的艇。水翼的剖面形状和作用原理同飞机机翼相似，但尺寸小得多。具有阻力小、速度快、耐波性好、航迹小等特点，常用作载客及军用。

转子转速与定子旋转磁场的转速相同的交流电动机。其转子转速n与磁极对数p、电源频率f之间满足n=f/p。转速n决定于电源频率f，故电源频率一定时，转速不变，且与负载无关。具有运行稳定性高和过载能力大等特点。常用于多机同步传动系统、精密调速稳速系统和大型设备(如轧钢机)等。

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

①指导战争全局的计划和策略。所要研究和解决的主要问题有：武装力量的建设和使用，国防工业的布局和武器装备的研制，战争动员，战争的发生、发展及其特点、规律，战略方针、任务、方向和主要作战形式的确定，战略情报、通信、指挥系统的建设等。 ②泛指国家、政党对全局性问题的谋划，在一定历史时期内具有相对稳定性，通过策略手段逐步实现。战略与策略的区分是相对的，一定范围内的战略问题，在更大的范围内可以是策略问题。