拉萨贡嘎机场弱电系统接口联动方案分析

本文就拉萨贡嘎机场航站楼弱电系统间的接口技术方案进行初步分析与探讨，从而达到机场航班信息资源的合理分配和资源共事利用，最终实现机场弱电系统的航班信息控制指令为指令牌的联动控制方案。     

基于知网的汉语语义实例库的建设与应用

为了解决有指导词义消歧任务中的知识源问题,提出并构建了一个基于知网的汉语词义实例库(CSIC),同时开发了一个语义标注平台(SenseTag)。该平台通过方便快捷的人机交互方式显著提高了实例库的建设效率和质量。利用条件随机场模型,从实例库中自动学习消歧知识,进行自动标准在随机选取的部分汉语高频多义词的词义消歧开放测试中,取得了平均正确率85%的较好效果。     

SITA电报服务在我国航空公司的应用及二次开发

本文介绍了SITA电报服务在我国航空公司的应用及如何利用SITA电报终端程序SITATEX for Windows带的软件开发包(SDK)来开发应用程序以达到电报自动拍发和翻译的目的。     

基于VXI总线的检测软件设计

基于VXI总线和虚拟仪器技术，研制开发了用于外场的模拟式电子控制器检测软件，并对软件开发的过程和要求进行了分析，重点解决了程序设计中的需求分析和模块化设计问题。     

卫星业务测控站在轨测试系统软件研究

探讨了卫星在轨测试系统软件开发平台以及测试软件的功能和实现。     

航空发动机数控系统通用仿真和开发平台的构筑

通过研究提出了一种集航空发动机数字控制系统设计、发动机调节计划和控制规律研究、控制系统软件开发、软件集成测试，以及控制器全功能检查为一体的通用仿真平台的设计构想。并对该高综合、多功能发动机通用仿真平台作了进一步的阐述。     

一种面向机载软件开发环境的运行架构设计

近年来随着机载软件规模和复杂度的快速提升,开发和维护人员对集成开发环境的支撑能力提出了更高的要求,机载软件开发环境的运行场景和使用模式越来越复杂多样。因此,非常有必要在重新梳理机载软件开发环境运行架构的基础上,分析其运行原理,定义其运行模式及工具之间的关系。给出了一种典型的机载软件开发环境运行架构设计,在此基础上定义了其运行原理和五种主要运行模式,并描述了各模式和工具之间的衔接关系,为构建开放式、可扩展的机载软件开发环境提供了参考依据。     

一种新的基于可解释性置信规则库的飞轮健康状态评估模型

飞轮系统的稳定运行对于航天器在轨安全影响重大，因而对飞轮系统进行健康状态评估至关重要。在进行飞轮系统健康状态评估建模时，不仅要求模型能够处理各种不确定性以保障评估结果的准确性，同时要求其具有透明合理的评估过程与可解释、可追溯的评估结果。因此，在深入研究置信规则库（BRB）建模方法的基础上，构建了一种新的基于可解释性建模的置信规则库（BRB-e）飞轮系统健康状态评估模型。首先，结合飞轮系统特征对模型的可解释性建模准则进行定义；在此基础上，设计了BRB-e评估模型的推理过程；然后，基于鲸鱼优化算法（WOA），提出了一种具有可解释性约束的BRBBRB-ee模型参数优化方法；最后，通过对某飞轮系统中轴承组件的评估案例研究，验证了模型在飞轮系统健康状态评估中的有效性。对比研究表明，BRBBRB-ee模型在评估结果准确性和评估过程可解释性方面具有一定的优势。     

一种微内核分区操作系统C库的适配验证方法

针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详细阐述;搭建相应的硬件测试环境,在恩智浦公司的四种硬件平台上对开发和适配的C库进行了相应的功能测试和验证,提出了三个创新点.     

二维翼型结冰数值计算

翼型结冰计算是随着结冰时间步长变化的准定常过程,因此在每个时间步长后都要更新各个模块的计算工作,如此反复直到达总结冰计算时间.在各模块计算中,分别采用了泊松方程法生成网格、求解雷诺时均方程计算流场、拉格朗日追踪法求解水滴轨迹、基于Messinger模型计算冰形、采用变距滤点法重构边界.引入动态链接库技术将各模块集成为结冰计算平台,并将三种冰形(楔形冰、槽状冰及混合冰)计算结果与国外软件及试验数据进行了对比.