GIS技术在组合式定位定向系统中的应用

本文介绍了GIS技术在组合式定位定向系统中的应用，阐述了采用Maplnfo软件平台和Visual C 实现电子地图系统控制软件的设计与开发，探讨了使用OLE自动化技术将Maplnfo矢量地图调入系统应用程序的方法。     

燃气轮机装置热力循环和效率评估通用程序

本文介绍的燃气轮机装置热力循环和效率通用程序，适用于各种燃料及多种循环，简便而实用，对燃机设计及应用具有参考价值。     

华东地区围护结构节能研究

根据南京市的典型年逐时气象参数，对于该市的某一座高层建筑物，应用自编的逐时动态负荷模拟程序，输入围护结构（窗户、墙体和屋顶）相关的物理参数及其与周围环境的关系（地点及朝向等），计算围护结构冬季采暖期散热量及夏季制冷得热量。结果表明，采用双层塑窗代替单层塑窗，使用节能墙体代替传统墙体能够使得冬季围护结构传散热量减少51％，夏季围护结构总得热量减少46％。因此，这一结果为华东地区建筑节能技术提供了理论依据。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

数字仿真支持软件包研究

仿真软件是面向问题,面向用户的专用软件。作为一个比较通用的仿真软件,应具有综合性、高效性、经济性、安全性和集成性等特点。本文针对实时数字仿真的特点,阐述了通用数字计算机的仿真支持软件的设计要求开发与展望。     

民机概念设计阶段性能分析程序快速开发方法

为了在概念设计阶段快速准确地分析民航客机性能,提出一种基于MATLAB/SIMULINK 联合仿真的性能分析程序快速开发方法。从数据库文件中读取已有的气动、重量、推进、飞行剖面等数据,在SIMULINK中分别求解已建立的各飞行阶段运动微分方程,将结果保存至原数据库。整个求解及前后处理过程由MATLAB脚本控制。以波音737-800型客机性能分析为例,验证了该方法的有效性。与经验公式法相比,本文算法更为准确,流程更加清晰,不需要编写大量代码,实现与维护更加简便,适用于民机概念设计阶段性能分析程序的快速开发。     

配对进近模式分析及研究进展

配对进近模式是在近距平行跑道上运行的,旨在提高仪表气象条件下的进场效率的一种高效进近模 式,该模式的完整流程在国内鲜有阐述。本文重点分析配对进近程序在近距平行跑道上运行时各阶段的流程, 以及配对进近程序的实施对机型、设备以及人员的具体要求;结合目前国内近距平行跑道的运行情况,国际上 对配对进近模式的研究和应用现状,指出我国引进配对进近模式的迫切性以及该模式今后的研究和发展趋势。     

基于混合粒子群算法的上升段交会弹道快速优化设计

基于梯度搜索的高效性和粒子群搜索的随机性,提出了一种混合粒子群算法,并应用该算法研究了运载火箭上升段交会弹道快速优化设计问题.以运载火箭与目标飞行器在交会时刻的距离最小为目标函数,设计了运载火箭飞行程序,建立了运载火箭上升段交会弹道优化模型,同时分别采用混合粒子群算法、遗传算法和粒子群算法进行求解.仿真结果表明:基于本文算法对运载火箭上升段交会弹道进行优化设计,平均交会位置误差为4.137m,较遗传算法减少了17.940m,平均优化耗时488.922s,较粒子群算法缩短了2342.125s.混合粒子群算法搜索速度较快,收敛精度较高,可用于运载火箭上升段交会弹道的快速优化设计.      

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况,对未来代码审查的发展方向作了进一步的探讨.     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...