C程序缓冲区溢出漏洞精确检测方法

C程序中的缓冲区溢出漏洞是影响系统安全性的严重问题,利用工具有效地检测并消除出这一漏洞,可以大大提高系统的安全性.针对现有工具在检测缓冲区溢出漏洞上的不足,提出了一种利用模型检测技术对C语言代码中潜在的缓冲区溢出漏洞进行精确检测的新方法.该方法首先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定,再使用模型检测工具对可达性进行验证.使用这一方法建立了一个精确检测C程序中缓冲区溢出漏洞的原型系统,并使用该原型系统进行了试验.结果表明该方法可以较为精确地检测并定位出代码中的漏洞.      

蚀坑几何形貌的三维模拟

 点蚀是导致结构失效的重要机理之一,点蚀形貌中隐含了大量的有用信息。针对点蚀形貌及尺寸的演化情况,采用三维元胞自动机技术对腐蚀环境中的金属腐蚀生长演化过程进行模拟。将腐蚀损伤生长过程模拟成一个离散的动力学系统,在模拟过程中着重考虑了腐蚀过程中发生的质量转移、金属溶解及钝化、IR降等基本化学物理现象,并定义了相应的局部规则。通过模拟得到了在不同环境下蚀坑的腐蚀损伤形貌。将蚀坑看做半椭球体,可以得到蚀坑的等效深度,定义蚀坑深度比为蚀坑等效深度与蚀坑模拟深度的比值,利用该参数对蚀坑趋近于半椭球体的程度进行分析;对等效为半椭球体的蚀坑,采用蚀坑尺寸比率对等效蚀坑的几何形貌进行研究。结果表明:蚀坑在生长过程中,几何形貌会达到一种相对稳定的状态。初步的研究将有助于进一步理解点蚀生长机理,为疲劳寿命预测及结构完整性分析提供有用信息。     

S／DB系统同步定时器的设计

同步定时器是ＣＤＡＳＳ／ＤＢ系统的重要部件。它用高精度数字锁相环,精确地恢复地球同步气象卫星原始云图数据采集的同步基准信息。数字锁相环由用高速器件组成的相位比较器和用计算机软件实现的滤波器构成,采用标准频率计数方式,完成对精太阳脉冲（ＳＰ）和数字太阳——扫描同步检出（ＳＳＤ）的锁相及星上时钟频率测量等任务。微机还兼作Ｓ／ＤＢ系统管理机。     

令牌传递网络节点消息缓冲容量的确定方法

在网络系统中,节点缓冲区内消息发生覆盖或溢出会造成消息的丢失,对于限时令牌网络,节点消息发送时间和消息缓冲容量的分配是影响消息实时性的重要因素.针对令牌传递网络分析了节点消息缓冲机制,说明了消息缓冲容量的确定与网络带宽分配方法的关系,并提出了消息缓冲容量的确定方法,导出了避免消息覆盖或溢出所需的最大发送和接收缓冲容量余度.指出在消息的产生间隔大于该消息的最大允许的延迟时间和接收节点响应时间的条件下,发送和接收端的消息缓冲容量等于被缓冲消息的长度.     

蓄压器对发动机试车液路固有频率影响分析

对某一发动机地面热试车液路固有频率及低频振动进行了分析.建立了集中参数模型,对地面试车时和飞行时的液路一阶、二阶纵向固有频率进行了计算.得出的结果与实际试验数据吻合.在计算分析的基础上,对发动机低频振动机理进行了分析.计算与分析表明：蓄压器参加发动机地面热试车会造成试车系统液路纵向固有频率的改变,由于改变了的液路纵向固有频率没有经过大量的实际试车考验,因而不能够排除引起低频耦合振动、并且导致试车故障的可能性.建议对于蓄压器参加发动机地面热试车应该慎重考虑.如果确实需要蓄压器参加发动机地面热试车,从安全角度出发,应该进行进一步的理论分析、试验工作.本文的数学模型对低频振动特性分析以及安全分析具有借鉴价值.     

索式火箭回收着陆系统缓冲装置设计与分析

针对索式火箭回收着陆系统中摩擦缓冲装置的缓冲能力和调节能力有限的问题,提出了一种基于最小二乘法和系统动力学特性的液压缓冲装置反问题设计方法。该方法通过对液压缓冲装置中控制阀凸轮外形和储能器初始压强的设计来调节着陆火箭运动学特性,使火箭按照特定的运动学特性在有限的缓冲位移内减速至静止稳定且缓冲加速度最小。对索式火箭回收着陆系统建立精准高效的多体动力学模型,并针对不同的工况进行仿真校验。仿真结果表明根据所提反问题设计方法设计的索式火箭回收着陆系统能够按照特定的运动学特性减速缓冲着陆火箭,具有较强的减速缓冲能力;针对不同质量和着陆位置偏差的着陆火箭,具有自动调整液压阻力保持火箭相同的运动学特性的能力。     

月球着陆器软着陆稳定性关键影响因素分析

为了得到四腿悬架式着陆器软着陆稳定性判据及提高其软着陆稳定性,建立了软着陆过程动力学模型,在此基础上提出了软着陆稳定性相关判断准则,并于ADAM S中建立着陆器及月壤的参数化模型。通过软着陆动力学仿真,重点分析了着陆速度、月面倾角以及偏航角等参数对软着陆稳定性的影响。研究结果表明,采用对称模式着陆,竖直着陆速度不大于4 m/s,水平着陆速度不大于1 m/s,能够确保着陆器安全稳定地着陆,若沿月表斜坡着陆,尽量沿上坡方向着陆,且月表斜面坡度不宜大于10°。     

霍尔推力器预电离对低频振荡及壁面腐蚀影响的研究

ATON型霍尔推力器提出后,基于缓冲区的预电离现象的系列研究随之展开。但是迄今为止,预电离率的选择仍然未有定论。文章基于SPT-100型霍尔推力器的真实工作尺寸,建立了二维轴对称全粒子网格质点法（PIC）模型对推力器放电室内的放电过程进行模拟,并通过施加不同的缓冲区预电离率着重研究了预电离率与放电通道低频振荡和推力器壁面腐蚀之间的关系。研究结果显示,缓冲区预电离率的提高可以有效抑制放电通道内的低频振荡,使推力器工作性能提高。但与此同时,由于撞击通道壁面的离子能量增加导致通道壁面腐蚀加剧。     

基于仿真的制造系统生产计划与控制

采用面向对象建模方法,通过对现代制造过程的生产计划调度数据的分析,建立了车间仿真系统模型.从单元和车间的角度,采用流程控制图给出了现代制造过程的仿真流程及控制点.最后基于Witness动态系统仿真平台建立了仿真生产系统,对某航空生产厂叶片车间的生产计划进行了仿真与优化.     

柱面气相散心爆轰波胞格演化规律研究

本文采用二阶精度NND格式,应用改进的二阶段化学反应模型,通过求解二维Euler方程对柱面气相散心爆轰波胞格演化过程进行了数值模拟.计算结果表明在传播过程中,空间尺度的扩张导致了散心爆轰波后气流的自然膨胀,使得多波结构的爆轰阵面呈现出显著的胞格自组织特性.根据计算结果与理论分析,本文归纳了五种胞格演化模式,分别命名为内凹波阵面会聚、波阵面扭结、褶皱波面失稳、胞格自合并和三波点滑移,并定义了各种模式的物理特征,分析了其相关的演化机制和规律.