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

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

杠杆式力标准机自动控制系统

介绍单片机用于杠杆式力标准机控制、实现检定过程自动化的设计方法，重点介绍硬件结构和软件编制。     

一种卫星间跟瞄方向的控制策略与实现

进行自由空间的光通信或空间对抗，需要在卫星间实现精确的跟踪与瞄准。因为地面测控站的设置非常有限，指令与数据注入的范围受到很多限制，所以要求这种跟瞄在很多时候是无主控制状态下完成的。提出了一种利用在地面测控站的范围内向星上数管中心注入目标卫星、本体卫星的轨道参数，其它时间依靠自主导航飞行和GPS修正的方法，结合本体星的姿态测量、振动测量实现卫星瞄准指向的方位角与俯仰角的精确控制的方法，提高了在地面站无法注入指令与数据时卫星的捕获概率。通过仿真，将计算结果与卫星仿真工具软件STK的数据进行比较，结果一致。最后在嵌入式DSP平台上实现了这一策略。     

Ту-154М变稳飞机空中飞行模拟试验评述

依据Ту－１５４М变稳飞机的特点，主要进行了不同操纵器、不同控制律和不同显示画面的飞行试验研究。特别是通过中央杆和侧杆、电传系统不同控制律飞行品质特性之间、两种先进控制方案及不同显示方式的比较，不仅掌握了这方面的试飞技术和评定技术，还亲身体验到变稳飞机在发展仿真技术，新机预研及提高试飞员试飞技术和评定技术等方面的巨大作用。     

全天球实时恒星模拟器技术

阐述了研制全天球实时恒星模拟器的意义以及国内外发展趋势,介绍第二代恒星模拟器的系统组成、特点、技术指标以及解决的技术问题。     

多点压力扫描阀测量系统在激波／湍流边界层干扰实验中的应用

多点压力测量是航空气动力研究及高性能流体机械研究中的重要测试手段。利用计算机和多点压力扫描阀系统，可以高效地完成这项任务，并可能在实验中实现数据采集及整个实验过程的自动化。我们利用ＨＰ１０００／Ａ７００计算机－ＨＰ２２５０－测控装置－压力传感器－高速扫描阀组成的测量控制系统，在超音速风洞内对激波／湍流边界层干扰产生的流场进行了快速多点压力数据采集，并取得了可靠的结果。本文对测试和校正过程中的程序设计、测试方法和应用经验进行了介绍。     

复杂系统的可靠性分析方法研究

本文对未来的运载器的复杂控制系统的可靠性建模、分配和预计的一般方法和程序及综合分析方法进行了讨论和研究。并简述了复杂系统的计算机辅助可靠性分析。     

改进的次时间最优控制

本文在[1][2]基础上进一步探讨了次时间最优控制的改进问题,深入地阐明了次时间最优控制的某些特性后,提出了一个新的改进的设计方法。按照这种方法设计控制系统,不但实用而且可以大幅度提高次时间最优控制的最优性。并用实例比较了各种方法,证明了本文提出的方法的优越性。本文提出的方法应用于工程设计,对于提高系统的最优性是非常有效的。     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

S7-300液位控制系统下位机的实现

利用以太网,结合西门子现场总线搭建了过程控制平台,完成了对温度、压力、流量和液位这些典型过程参数的采集、存储和分析,并利用PID算法通过对变频器、电控阀门的控制,实现恒压供水任务,进而完成对于水箱液位稳定的控制.