面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

弹底引信许用旋卸扭矩的可靠性设计

分析了弹底引信旋卸时的应力分布特点,给出了应力分布规律已知时,引信不发生破坏的可靠度与最大许用旋卸扭矩之间的函数关系式,并将此式中的积分区间化为有限区间,使之能够用数值积分的方法求解。当应力分布规律未知时,假定所有被旋卸的引信都承受了同一最大应力,这样根据应力-强度干涉模型即可方便地求出其可靠度或最大许用扭矩。这两种计算方法也适用于其它螺纹连接件的旋卸可靠性分析。     

运用分子场论对金属间化合物Nd_2Fe_(17)Hx(0≤x<5)的磁性分析

将二亚点阵分子场理论(MFT)用于渗氢化合物Nd_2Fe_(17)H_x系列,分析其磁性与温度的关系。通过与实验比较,确定分子场系数n_(RR)、n_(RF)和n_(FF),计算居里温度T_c得到了总磁矩M(T)、交换场H_(Nd)(T)和H_(Fe)(T)随温度变化的关系曲线。计算结果表明,对于渗氢化合物Nd_2Fe_(17)H_(X~y)随着氢含量的增加,引起分子场系数n_(FF)明显增大,同时H_(Nd)、H_(Fe)(T)增大,居里温度T_c相应升高。     

复合材料新的热层合理论及其有限元方法研究

本文基子三维各向异性热传导方程和复合材料的一般层合理论,推导出复合材料层合结构瞬态温度场分析的新的热层合理论,并依据此理论建立了简单、实用的有限元格式。数值算例表明：基于热层合理论的有限元方法有较好的精度,同时又比传统的分析方法更简便、有效。     

应用应力-强度干涉理论确定火炮零件的可靠性安全系数

本文根据应力—强度干涉理论,确定了火炮零件在统计意义下的可靠性安全系数并给出了可靠性安全系数的计算方法。将强度、应力、结构和可靠性计算联系起来。     

具有有限深度环缝的导电屏上单极天线的辐射特性

单极天线安装在理想导电平面屏上,屏上刻有有限深度的环形缝。将单极天线上电流及缝和自由空间交界处的等效磁流作为未知函数,建立了一对耦合积分方程。从方程得到电流和磁流的数值解。从这些电流和磁流计算了输入阻抗和辐射方向图。     

GF(q)上多元多项式与钟控序列

本文讨论了有限域GF(q)(q=p~α,p≥2为素数,α≥1为正整数)上多元多项式与钟控序列的周期和线性复杂度的关系。当前馈函数g(x_1,x_2,…,x_n)∈GF(q)[x_1,x_2,…x_n]为一次多项式时,我们给出了钟控序列到达最大周期与线性复杂度的充要条件。     

计算空气动力学飞机红外辐射强度估算方法

结合CFD技术和红外辐射理论发展了一种飞机红外辐射强度估算方法.首先通过欧拉方程数值模拟来获得飞机表面温度场分布,然后应用结合粘性附面层理论进行壁面温度计算分析.在获得了飞机表面温度分布数据之后,采用灰体辐射理论估算全机红外辐射强度.进行某喷气式飞机红外辐射强度估算研究,分析有/无尾焰情况的飞机红外辐射强度计算结果,初...     

便携式地空导弹野外训练系统技术研究

针对便携式地空导弹野外模拟训练器材普遍存在的问题,介绍了自行研制的新型便携式地空导弹野外训练。该系统充分利用对空指挥镜和精确运动定位器的测角特性,采用插值算法预测了目标航路,成功地解决了野外训练时缺少目标航路的问题,较好地纠正了野外训练时人为设定目标参数的弊病,满足了部队对野外训练系统的实际需求,对从事便携式地空导弹野外模拟训练器材的设计和论证工作也有一定参考意义。     

履带销磨损寿命预测仿真

履带销是自行火炮推进装置中重要的传力元件。针对履带销磨损的情况建立了接触应力模型,谱块磨损量模型和磨损阈值模型,并对履带销的磨损寿命进行仿真预测。结果表明,仿真结果与实际情况符合。