决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。     

民用飞机故障载荷设计研究

以某大型民用客机为例,基于各系统的功能危险性评估报告进行故障筛选,根据筛选得到的故障清单对失效发生时刻和失效状态下继续飞行的飞行载荷进行了设计分析,发展形成了一种高效、可靠的故障载荷设计研究方法。     

面向空管模拟机培训的智能应答机长研究

针对当前日益增长的空中交通管制员(以下简称“管制员”)培训需求以及传统管制员培训模拟机面临的效率低等问题,设计了 1个面向空管模拟机培训的智能应答机长系统。该系统利用语音识别、指令提取、指令复诵、语音合成等技术,能够实现对管制模拟培训过程中管制员语音的智能识别和理解,并模拟飞行员自动输出复诵指令的功能。通过对真实空管对话语音模式的研究和分析,制定了 1套详细的复诵规则,以适应不同场景下的管制指令复诵模式。此外,集成了特情处理模块以支持管制员特情处理培训。在真实管制培训环境下进行实验验证,结果表明,所提出的智能应答机长系统综合复诵准确率为 88.6%,可以有效提升管制员培训质量和效率,显著降低了人力成本。并且,该系统可以作为子系统集成到现有的管制员培训模拟机系统中,具有较强的便捷性和兼容性。     

用VB制作CAI课件的技术研究

ＶＢ是设计Ｗｉｎｄｏｗｓ环境下应用软件的有效工具,把它应用于ＣＡＩ课件制作是一研究领域的一大进展。本文首先简要介绍了Ｖｉｖｕａｌ Ｂａｓｉｃ的功能和特点,然后给出了利用ＶＢ开发ＣＡＩ课件的编程技巧和关键技术。     

航空发动机试车三分钟事件记录与回放

航空发动机试车计算机辅助试验系统中开发三分钟事件记录与回放功能可以为事后的分析提供数据依据。本文着重研究了事件模型的建立的一般方法,讨论了数据记录与回放的方法,最后给出了所采用的数据结果。根据本文所论述的方法,实现了该功能并已投入了某型航空发动机试车实验使用。      

VLIW上的软件旁路与细粒度并行调度

描述并分析了一种新型的VLIW(Very Long Instruction Word)机器模型,为充分利用该模型的并行特性,提出了基于静态单一赋值(SSA)表示的软件旁路方法,以及集成的基于操作的指令调度与寄存器分配算法.与常规的软件旁路方法和基于周期的调度方法相比,该方法可以灵活地进行结果寄存器的分配,并有效减少由重用结果寄存器导致的"危险值"溢出次数,生成高质量的目标代码.      

论人本主义心理学在外语阅读教学中的应用

人本主义心理学认为,教育应该以促进人的全面发展为目标,重视作为个体的学习者,尊重个人需求和情感因素。人本主义教学观应用于阅读教学将有效调动外语阅读理解过程中的情感变量,补偿外语语言知识及阅读能力的弱势,极大地激发学习者的积极情感,进而有效降低阅读焦虑,提高学生的阅读兴趣。     

计算机辅助程序管制训练系统方案研究

计算机辅助程序管制训练系统是航行系空中交通管制教研室正在研究开发的计算机辅助程序管制教学软件系统，该软件系统以Ｗｉｎｄｏｗｓ为平台，用ＤＥＬ－ＰＨＩ编制；用面向对象的系统分析、设计方法真实地再现了区域管制中管制员所面临的空中交通环境，这将为学生生动形象地学习管制理论、培养熟练灵活的管制技能创造出更优越的条件。     

航空备件共享与租赁的经济意义

航空备件共享与租赁可削减航空公司的库存费用。持续降低成本的压力及越来越多的航空公司对非核心业务外包做法的认可正激发起人们对此项商业活动的兴趣。     

采用差错控制技术降低遥控指令差错率的算法

分析了造成遥控指令差错的原因,阐明了提高指令正确执行的方法,针对某系统可能出现的虚指令、误指令两种错误模式,提出一种差错控制方法,在指标一定的情况下,给出虚指令概率、误指令概率的计算,进行了计算结果比较,并对方法进行了验证。