基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

时域有限差分法连接边界电磁泄漏

用时域有限差分法计算目标的雷达散射截面时,一般用连接边界来引入平面入射波.理想情况下,当总场区没有散射目标时,该区域仅有入射波,散射场区电磁波为0.但在实际计算过程中,散射场区的电磁波一般不会严格等于0,这是因为在连接边界引入入射波时产生了电磁泄漏.一维情形下,用散射场区电场的平方和来衡量电磁泄漏程度.二维情形下,用等效原理将散射场区的电磁场进行远场外推,得到雷达散射截面,以此衡量电磁泄漏的大小.研究表明:时间步长、入射角度都能影响电磁泄漏大小.为使电磁泄漏较小,时间步长应接近于稳定性要求的最小步长,入射方向应避免垂直于计算区域边界.     

基于高增益观测器的航迹角自适应反步控制

针对飞行控制系统中状态向量不完全可测量的问题,设计了一种高增益神经网络自适应观测器.在常规高增益观测器的基础上引入径向基(RBF, Radial Basis Function)网络自适应项,对建模误差和外界干扰进行在线估计.将高增益观测器与基于动态面的反步控制相结合,提出了一种神经网络自适应反步控制方法.引入一阶滤波器,避免了传统反步控制中的"计算膨胀"问题.基于Lyapunov稳定性理论,给出自适应输出反馈控制器和RBF网络权值向量的自适应律,并证明了闭环系统是半全局一致有界.从航迹角控制系统仿真结果可以看出,航迹角能够较好地跟踪指令信号,不受建模误差和外界干扰的影响,所设计的观测器具有良好的收敛性,控制系统具有较高的鲁棒性.     

平面工艺功率型半导体晶体管铝迁移实验

在平面工艺制造的功率型半导体晶体管芯片表面,发现高强度电场条件下存在跨越0.05 mm半绝缘硅带的铝迁移现象,对此开展了一系列实验研究. 通过开帽物理观察与分析、低温测试与烘干验证、迁移物质分析对比,确定了迁移现象中的迁移物质,同时分别取证环境温度、湿度、芯片表面污染物以及器件局部结构与此迁移现象的关联性,以此提出了迁移机理假说,为在不同的诱发条件下对此迁移机理进行确认和量化研究提供指导.      

多阶段任务系统通用可靠性仿真模型

归纳了当前多阶段任务系统(PMS,Phased Mission Systems)可靠性建模的基本假设,指出了解析模型描述和求解能力的不足以及仿真模型存在的难以转换的缺点.应用着色Petri网(CPN,Colored Petri Net) Tools建立PMS的多层通用仿真模型:顶层控制模型将PMS各阶段的故障树参数化,作为CPN通用仿真模型的输入;单阶段处理模型根据顶层控制模型的输入判别该阶段顶事件是否发生;底事件处理模型通过比较随机数和故障发生概率的大小产生故障.通用仿真模型可以保持模型结构的稳定,同时又简化了仿真模型的生成.案例对比了CPN仿真模型与二元决策图(BDD,Binary Decision Diagrams)算法的可靠性计算结果,证明了模型的正确性;具有动态变化参数的PMS仿真则说明了模型的适用性.      

基于遗传进化算法反演吸波结构电磁参数

对多层吸波结构中未知参数层的电磁参数进行了反演.根据传输线理论确立的多层结构电磁参数与反射/透射系数的关系,建立正向反射率计算模型,根据自由空间法原理搭建的测试平台测量得到多层吸波材料不同入射角度下的反射率信息,利用改进的遗传进化算法获取了多层吸波结构中未知参数层的电磁参数.在遗传进化过程中,采用高斯随机数代替基本遗传算法的均匀随机数,避免了传统网络参数法厚度谐振、多值性问题和基本遗传算法易陷入局部最优点的问题.与传统传输/反射法结果的比较,验证了这种方法的可靠性.这种方法同时适用于计算高、低损耗介质材料的电磁参数.      

频率选择表面传输特性的温度循环效应

根据国家军用标准GJB 150-86对不同涂层材料和加工工艺的频率选择表面(FSS,Frequency Selective Surfaces)进行了温度循环的环境模拟试验,通过比较温度循环前后FSS的谐振频率、传输损耗、频带宽度和入射角稳定性等传输特性的差异,考察FSS在温度循环条件下的性能稳定性.结果表明,温度循环对不同材料和工艺的FSS的传输性能有较大影响,主要表现在FSS的传输损耗和频带宽度两方面.不同FSS在经过温度循环后,谐振频率下的传输损耗增大0.5~3倍,入射角越大增大的幅度越大;频带宽度增加50%~70%,不同的FSS增加的幅度不同.而对谐振频率和入射角稳定性的影响根据不同的FSS而不同,但对二者的影响都不明显.与简单振子FSS相比,组合振子FSS的传输性能受温度循环的影响较大.      

钢板内部缺陷失效分析

采用120 mm厚的45#钢轧制板材经粗加工后进行调质处理,热处理后超声探伤发现钢板厚度方向中部存在缺陷。通过失效分析认为,钢板内部的缺陷为沿变形方向分布的带状组织,部分带状组织中存在沿晶裂纹。形成带状组织及裂纹的机理是原材料钢锭浇铸过程中心部形成枝晶偏析,轧制过程中偏析区被拉长因而形成偏析条带,条带区因富含Mn、S、P等元素形成硬度较高的马氏体组织,调质热处理过程中在组织应力及热应力作用下马氏体条带组织区域发生沿晶脆性开裂。     

A New D-GCL for Unidirectional Motion with Large Displacement

Numerical simulations of unsteady flow problems with moving boundaries commonly require the use of geometric conservation law(GCL).However,in cases of unidirectional large mesh deformation,the cumulative error caused by the discrete procedure in GCL can significantly increase,and a direct consequence is that the calculated cell volume may become negative.To control the cumulative error,a new discrete GCL(D-GCL)is proposed.Unlike the original D-GCL,the proposed method uses the control volume analytically evaluated according to the grid motion at the time level n,instead of using the calculated value from the D-GCL itself.Error analysis indicates that the truncation error of the numerical scheme is guaranteed to be the same order as that obtained from the original D-GCL,while the accumulated error is greatly reduced.For validation,two challenging large deformation cases including a rotating circular cylinder case and a descending GAW-(1)two-element airfoil case are selected to be investigated.Good agreements are found between the calculated results and some other literature data,demonstrating the feasibility of the proposed D-GCL for unidirectional motions with large displacements.