一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

预测悬停旋翼跨音速流动的一种组合自由尾流/CFD方法

一种新的组合自由尾流 / CFD方法用于悬停旋翼流动的 CFD解中以考虑实际尾流的作用 .用文中描述的尾流分析方法研究了螺旋尖涡的运动 .首先从广义尾流模型开始 ,用半经验公式模化了涡核对旋翼尾流的作用 ;然后在环量收敛和尾迹收敛的条件下完成了自由尾迹计算 ;最后应用 Jameson有限体积龙格 -库塔推进格式求解了欧拉方程 .所得结果与相关文献和实验数据进行了比较     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

横航向驾驶员诱发振荡研究及地面模拟验证

本文建立了包括非线性环节在内的横航向驾驶员—操纵系统—飞机本体组合系统的数学模型,采用闭环控制原理,对JJ-7飞机横航向驾驶员诱发振荡PIO问题进行了研究,并详细地讨论了驾驶员参数及其各种操纵动作、操纵系统和飞机本体气动参数对横航向PIO的影响,探讨了横航向PIO产生的机理。文中以JJ-7飞机为例,采用时域法在整个飞行包线各点进行了检查,并用固基飞行模拟器进行模拟验证。其结果与理论计算结果相一致。     

电脑中重现我们无法观测到的宇宙现象——数字天文学

通过望远镜．我们可以掌握宇宙中各种天体的模样。但是．这些无体被浓浓的气体覆盖．即使是大型望远镜，也无法直接看见它们的内部结构。“数字天文学”就是经由电脑与理诧．阐明我们通过望远镜看不到的天体内部结构。     

模拟技术在电子对抗飞行试验中的应用

文章叙述了模拟技术在电子对抗飞行试验中的应用，美国空军研制，鉴定和改进机载电子干扰系统的情况以及确定如何充分发挥系统的潜在能力。     

试论管制差错中的人为因素

空中交通管制工作是保障飞行安全的重要环节，管制差错常常直接导致飞行事故的发生。避免差错，杜绝飞行事故是所有管制人员努力的方向。本仅就防止人为原因造成管制差错进行简要的探讨。     

一次难忘的竞赛

民航南昌空管中心成立两年来，各项事业蓬勃发展，新事物如雨后春笋般涌现。其中最令我难忘的是2003年8月5日以团队形式代表航务部参加中心首次举办的“安康杯”安全知识竞赛的场景。     

组合夹具计算机模拟组装及信息管理

组合夹具计算机模拟组装及信息管理软件系统,建立了完整的8mm槽系组合夹具元件库,在人机交互组装方式下,可以快速模拟组装组合夹具,大大降低了试组装夹具的劳动强度;将夹具信息和产品信息集成为一个整体,并通过数据库管理系统,可以方便地实现信息的检索、查询,解决了生产中组合夹具类工装管理困难的问题。