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

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

K8、JK8机翼接头与检验量规协调准确度的提高

分析了 K8、 JL8机翼接头孔精加加后与检验量规位置协调的条件，介绍了为提高它们之间协调准确度所采取的措施及其效果。     

滚珠丝杠螺距误差补偿法提高数控机床定位精度的研究

在详细论述、对比了实现数控机床滚珠丝杠螺距误差补偿的硬件、软件方法的原理基础上,对滚珠丝杠螺距误差软件补偿法可有效提高数控机床的定位精度进行了试验验证。     

一种小样本和小失效数系统可靠性分析方法

根据小样本和小失效数系统的特点，以及可靠性分布函数和参数估计的不确定性和模糊性，提出了一种可靠性分析方法。采用指数分布族，通过分析最少和最大失效数两种最极端状态，确定中间状态的备选点，运用最小平方差原理进行逐个筛选，并给出了算法流程。分析结果表明，计算值与实际观测值较为吻合。该方法可使系统可靠性的估计精度有较大提高。     

导弹电液伺服机构的模糊滑模变结构跟踪控制研究

为减小导弹电液伺服机构滑模变结构跟踪控制中的抖振,研究了一种模糊滑模变结构控制(FS-MVSC)方法。给出了模糊滑模控制器的构成,以及模糊化、模糊规则与推理、反模糊化处理的方法。在保持系统对参数变化和外干扰不确定强鲁棒性的同时,可使系统具有较优的动态响应和稳态控制精度。仿真结果表明,该控制方案有效。     

Geometric reasoning under uncertainty for map-based localization

Map-based navigation in outdoor terrain lacking man-made structures or other highly distinctive landmarks can produce severe localization problems. This paper presents an approach to navigation which implements high level geometric reasoning and matching strategies based on those used by skilled human navigators. This approach, which is demonstrated on a real example involving imagery of mountainous terrain obtained with a video camera and USGS map data, is designed to avoid many of the pitfalls occurring when an attempt is made to navigate by modeling the environment mathematically. It exploits feature attributes which cannot be easily expressed quantitatively but are central to the successful human navigation process.     

Real time localization of gamma ray bursts with INTEGRAL

The INTEGRAL satellite has been successfully launched in October 2002 and has recently started its operational phase. The INTEGRAL burst alert system (IBAS) will distribute in real time the coordinates of the gamma ray bursts (GRBs) detected with INTEGRAL. After a brief introduction on the INTEGRAL instruments, we describe the main IBAS characteristics and report on the initial results. During the initial performance and verification phase of the INTEGRAL mission, which lasted about two months, two GRBs have been localized with accuracy of 2–4 arcmin. These observations have allowed us to validate the IBAS software, which is now expected to provide quick (few seconds delay) and precise (few arcmin) localization for 10–15 GRBs per year.     

直线元径向三元叶轮型线光顺的计算方法

为消除因叶轮型线设计数据点的拟合误差所产生的不光顺现象，通过快速迭代算法反算控制顶点，插值得到叶片型线并生成叶片工作型面，在能量法的基础上，提出了一种基于平均曲率的目标函数，对叶轮型线进行光顺，为五轴数控加工的顺利完成奠定良好基础，该方法已在自行设计的叶轮CAD／CAM系统中得以实现。     

在非结构网格上求解非线性航空声学问题的高精度有限体积法

介绍了有限体积数值方法,该方法适用于在任意非结构网格上求解线性和非线性的航空声学问题.本方法基于角点-中心的多参数格式,可在笛卡尔网格上达到六阶精度,对于可能的不连续性采用了自适应耗散.通过一系列算例研究了该方法的特性,结果表明:在模拟谐振型管中的噪声抑制中,所提出的方法是很有效的.     

孔-轴-孔配合处的孔位移制误差计算公式的论证

文[1]、[2]中通过线性化假定推导出计算孔-轴-孔配合处的孔位移制误差的简化公式,但缺乏充足的理论支持。本文用矢量随机误差分析法导出计算该误差的另一公式,通过典型孔-轴-孔配合的孔位移制误差计算,证明该简化公式不仅使用方便,而且准确、可靠。