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

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

高速低压差分信号（LVDS）器件应用设计方法研究

随着高速LVDS器件得到广泛应用，在高速信号使用LVDS传输时，信号传输线路问题、信号传输波形的最佳化成为非常重要的课题之一。由于印制电路板的布局布线直接影响信号传输质量，因此利用仿真对印制板分析成为设计上不可缺少的手段。有鉴于此，文章深入探讨了高速电路的设计，总结出设计技巧。     

悬筐式蒸发器的结构设计

本文从设计角度对悬筐式蒸发器的结构进行了介绍和总结,并提出了一些结构的改进意见。     

高速低压差分信号(LVDS)器件应用设计方法研究

随着高速LVDS器件得到广泛应用,在高速信号使用LVDS传输时,信号传输线路问题、信号传输波形的最佳化成为非常重要的课题之一。由于印制电路板的布局布线直接影响信号传输质量,因此利用仿真对印制板分析成为设计上不可缺少的手段。有鉴于此,文章深入探讨了高速电路的设计,总结出设计技巧。     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

混杂纤维缠绕壳体设计

应用网格理论，得到了固体火箭发动机混杂纤维缠绕壳体在内压作用下的平衡方程。给出了混杂纤维缠绕圆筒壁厚的计算公式。讨论了用模拟实验压力容器确定纤维发挥强度的问题。算例表明，文中给出的设计计算方法，可用于混杂纤维缠绕壳体的初步设计。     

基于Patran/Nastran的结构优化系统的工程应用

采用基于有限元软件Patran/Nastran二次开发的结构优化系统,对两个卫星结构进行了以重量为目标、考虑基频和应力等约束的优化设计.系统由用户在Patran环境下完成问题建模,优化过程中调用Nastran作结构分析并结合二级多点逼近算法寻优.设计对象是由蜂窝夹层板、不同截面形状梁、板壳等组成的典型复杂航天器结构,设计过程中还利用人机交互技术,最终使重量明显降低,为工程部门改进设计提供了依据.算例结果之一与其他结构优化系统结果一致,进一步说明了所开发系统的正确性.     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

以可靠性为约束的结构优化

 常规结构优化设计存在以下两个根本缺陷:首先,没有确切考虑载荷及元件强度实际存在的不确定性,而用安全系数给以笼统的概括。安全系数取值一般较大,元、对结构带来的影响往往比经过优化设计所得到的效益还要大。第二,它是用元件的应力约束来保证结构系统安全,因此,它是结构元件安全基础上的优化设计。从系统论的观点看,元部件功能好整体功能不一定好。     

气动弹性剪裁中的设计变量和约束导数

1.前言 设计变量的取法和约束导数的计算,不但影响气动弹性剪裁的结果,而且决定着它的工作量。本文对于两种不同的设计变量取法进行了讨论。在约束导数计算方面,通过一个盒段模型和一个三角翼模型的计算,进行了对比。