封尘的历史记忆“水星计划”“海狮”、“海豹”潜艇接舰秘密

858年，美国国家航空航天局开始进行“水星计划”，这是美国第一个载人太空计划，在美国太空发展史上是一个重要的里程碑。其实台湾地区世也有“水星计划”，只不过美国的“水星计划”是探索外层空间的奥秘，而台湾地区的“水星计划”则是组建海洋战斗力，即由海军执行的“海狮”、“海豹”两艘潜艇接收计划，也是海军建构潜艇兵力的第一步。     

“皇家方舟”——承前启后的英国航母

2003年初，海湾战争再度一触即发之际，英国皇家海军派出“皇家方舟”号前往波斯湾，可能参加美英联军，执行政打伊拉克的任务。“皇家方舟”号属于英国的“无敌”级航空母舰。3艘60年代设计的英国皇家海军“无敌”级航空母舰，现代的任务与当初规划时仅作为反潜作战指挥舰那种单纯目的相比可说是复杂许多。近年来，这3艘“无敌”级航空母舰变得非常繁重，不只是执行作战任务或是海外派遣，也包括人道救援行动或是灾难救助，英国皇家海军现在则为这艘“无敌”级航空母舰规划大规模性能提升计划。     

东方之“熊”——俄罗斯图-96家族探秘PART.5

有鉴于图-95扮演的各种试验和作战角色，它被选中改造为远程反潜系统平台执行远洋反潜任务。在此之前，俄国的主力长航时反潜机是伊柳辛设计局的伊尔-38“五月”，但该机也只能承担部分远洋任务。表面上看来伊尔-38跟美海军的P-3“猎户座”不相上下，但伊尔-38被当作中程海上巡逻机使用，主要在前苏联及其盟国沿海执行任务。     

浅论MSG-3的逻辑分析方法在修改维修方案中的运用

维修方案是航空公司对某一型飞机进行预定维修工作的基本文件，是机队的适航性、安全性、可靠性的有力保证。     

多变量非线性非定常气动力的模糊逻辑模型

应用模糊逻辑算法，建立了带升降舵偏角影响的非线性非定常气动力模型逻辑模型，并进行了验证，结果表明：所建立的非定常气动力模型逻辑模型有较强的预测能力，此方法为今后建立多变量、复杂运动的非线性非定常气动力学数学模型，提供很好的借鉴。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

无刷直流电动机的新型自适应模糊神经控制

 为无刷直流电动机提出了一种自适应模糊神经控制方法.这是一种建立在开关控制、模糊控制和自适应控制相结合基础上的控制方法,并用神经网络实现了模糊控制器和自适应机构.在无刷直流电动机的双闭环调速系统中,电流控制器是PI控制器;转速控制器是由1个开关控制器和1个包括自适应机构在内的模糊控制器相结合组成的,且用1个3层前向神经网络离线学习实现了模糊控制器,学习算法采用的是改进的BP算法.用1个单神经元通过在系统运行过程中的动态学习实现了自适应机构,学习算法选用了有监督的Hebb学习算法.由电机所处的运行阶段决定哪一个控制器工作.此控制算法的仿真结果说明,它使系统具有良好的动、静态特性和自适应性.