信息系统中标准件统一标记的研究

分析了现阶段信息系统中常用的标准体系标准件标记在结构、品种(规格)标识、符号和写法、版本控制等方面的不足,借鉴国家标准对紧固件标记的相关规定,结合信息系统对标准件标记的需求,提出了一种能够满足信息系统使用需求的标准件统一标记的方案,并结合实例进行了详细的应用说明.     

IData在高级座舱显示系统快速开发中的应用

近年来,在航空电子显示领域,出现了多种不同的开发方法。这些方法都有各自的优势,但在创建功能以供用户交互的图形用户接口（GUI）方面有局限性。本文介绍了一种基于数据库IData快速原型工具法解决方案及其应用。该方法的特点是将航空电子显示内容作为一个数据库对待,而非编译链接的软件。在系统的开发与维护以及软件生命周期成本的控制等方面,采用这种开发方法将会带来诸多益处。     

满足DO-178C的需求开发

为了更好地满足DO-178C规定的需求开发阶段的目标,且在工程上更有效率地进行开发,介绍了在进入软件需求开发阶段前所需要掌握的预备知识以及人员需求;面向需求开发团队给出了一套完整的需求开发方法及每个步骤所包含的具体内容;分析了需求评审中常见问题,针对问题介绍了一种合理的评审方法,并通过建立工作指导文件的形式规范需求评审过程;最后对双向需求追踪的要求进行了分析.     

一种基于模型和原型系统仿真的综合模块化航空电子系统开发方法

针对综合模块化航空电子系统的复杂性和传统瀑布式开发方法存在的问题与挑战,在Ⅴ型开发模型的基础上提出了一种基于模型和原型仿真的综合模块化航空电子系统的开发方法.该方法通过在需求捕获、方案设计和工程开发阶段分别构建相应的原型系统进行仿真与验证,实现对系统需求进行早期需求确认与设计验证(V&V)、原型仿真与集成.采用该方法的好处是通过原型仿真,系统设计师可以在开发早期向用户展示他们的设计成果,以满足用户的需求;可以帮助系统开发人员以低成本实现连续的虚拟集成和迭代确认与验证,从而缩短系统研制周期,降低系统开发成本.飞行管理系统开发应用案例表明了该方法有效性.     

基于控制论的信息系统自主可控能力分析

利用现代控制理论分析试验信息系统自主可控能力是一种可行的技术思路。具体方法是:在梳理系统自主可控能力约束条件的基础之上,以一种时变线性系统来定义试验信息系统,同时遵循控制系统的表述方法,将构建试验信息系统的各子系统自主可控能力的组合定义为状态向量,将各子系统自主能力和软硬件设备可控能力的组合定义为控制向量,把系统的完全自主可控状态确立为最终的期望目标,并用数学表现形式表示为相应泛函数,这样就可以利用二次线性最优控制问题方法求解自主可控分量的一般形式,这个结果就是试验信息系统自主可控能力最优的条件。     

特设管理信息系统开发研究

比较了管理信息系统几种常用开发方法的特点，结合特设的实际提出了该系统开发方法：以局域网络技术研究和特设管理网络需求分析为基础，对该网络进行了设计。     

系统形式化分析在AILS研发中的应用

系统形式化分析（system formal analysis）是近些年在航空系统研发中所应用的一种安全评价方法。原理是运用数学建模，对研发航空软件系统所有假设条件下的输入集元素的有效性及系统算法逻辑性进行验证，其本质是假设合理性及算法正确性的数学检验，可弥补传统的模拟、试飞等安全评价手段的局限性，并将逐步成为未来航空系统研发中安全评价的重要步骤和手段。介绍了系统形式化分析在机载横向间隔信息系统（AILS）研发中的安全评价应用，通过假设检验、建模验证AILS告警算法等，给出了该系统的安全性论断并提出了相关建议。     

应用于工程设计的KBE技术

介绍了一种新型的工程设计方法——基于知识的工程(knowledge—Based Engineering,KBE),并对这一新型设计系统的研究和应用现状、关键技术(知识获取,知识表示和推理,知识库的建立)、应用过程中存在的问题以及将来的发展趋势作了分析和介绍。     

T800在嵌入式系统中的应用与开发

本文分析探讨在嵌入式系统，包括通用机和专用机环境中Ｔ８００的应用与开发，介绍了Ｔ８００作为专用机应用时的一种开发方法─—Ｔ８００监控程序。     

应用型本科学生知识碎片化及系统性重构研究

应用型本科教育过程中,大量课程知识在学生头脑中呈明显碎片化特征,以致学生系统解决问题的能力较低。造成学生知识碎片化的重要原因是学生已掌握知识系统性差,缺乏综合运用知识解决问题能力的学习与训练,相关课程教学也多以知识点的模式呈现等问题。在学生知识传授过程中,应通过课程族群化系统衔接、基于职业岗位知识的系统化总结教学、设计综合知识运用类学习项目,以及开设开放性讨论课程等方法,就碎片化知识进行系统性重构,以提高学生专业能力与社会需求的契合度。