航空反潜网络化体系作战效能

为评估航空反潜网络化体系对作战效能的影响,从信息域和认知域角度对其进行了探索性分析.首先给出了网络化体系信息域和认知域的决策质量转换过程,并提出了3个评估指标:完整性、准确性和时效性;在分别对信息域的探测器子域、数据融合子域和通信网络子域以及认知域的决策子域和通信网络子域的完整性、准确性和时效性指标进行了分析后,最后得...     

有限扩域上的Fuzzy子域

在文[3]中,引入了更一般的Fuzzy理想等概念,使Fuzzy代数结构的研究进一步深入进行。本文作为Fuzzy结构理论中的又一课题,引入了Fuzzy子域等概念,对有限扩域上的Fuzzy子域的构造问题进行了比较详细的讨论,得到了几个类似于[2]中的表示定理。尔后,引入了诱导Fuzzy子域,对单纯代数扩域上的诱导Fuzzy子域进行了研究。     

新装备故障分析与判定方法探讨

介绍了“新装备故障分析与判定方法”,提出了用逻辑分析的方法分析产生故障的可能原因.重点分析故障的特征与检查判定方法,拟定故障的诊断程序应遵循的原则,并结合××坦克主离合器踏板过重的故障模式进行了实例分析.     

基于边界扫描的簇测试系统设计

在对边界扫描及簇测试技术研究的基础上,以边界扫描测试总线控制器芯片为核心设计实现了一个簇测试系统,选择W-A的GNS算法对所设计的测试系统进行了簇测试实例验证.实验结果表明,该测试系统能够快速准确地检测出被测系统的固定逻辑故障和短路故障.     

不同边界条件下水下爆炸气泡的数值模拟

采用有限元程序MSC.Dytran对不同边界条件下水下爆炸气泡的脉动过程进行了数值模拟。对数值模拟中的一些重要问题,如炸药药包的建模、网格密度、状态方程和静压力场的设定等问题进行了探讨。对无限水域中的水下爆炸气泡以及自由面边界、水平刚性面边界和垂直刚性面边界三种边界条件下的水下爆炸气泡进行了数值模拟,分析了水下爆炸气泡的半径、外形变化、气泡脉动压力、流场中的速度分布,结果发现边界的存在对气泡外形的影响较大,刚性边界面会使气泡脉动压力增大较多,而自由面边界对气泡脉动压力的影响较小。将数值模拟的结果与理论模型、经验公式和试验结果进行了比较分析,结果吻合较好。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

船舶电力系统单相接地故障初始零模电流行波特征的仿真分析

为分析单相接地故障产生的初始零模电流行波特征,提出了一种基于船舶电网电缆线路分布参数的小电流接地系统的高精度故障模型。该模型采用带有4条电缆支路的船舶电网结构,利用电磁暂态仿真程序EMTPWorks 对船舶电力系统不同条件下的单相接地故障初始零模电流行波进行了仿真分析。通过分析仿真数据,得出了初始零模电流行波的故障特征,讨论了中性点接地方式、故障初始角、过渡电阻对故障特征的影响。     

计算边界范围的选取对渗流作用下边坡稳定性分析精度的影响

目前针对渗流作用下边坡的稳定性分析一般都是首先通过渗流计算求得坡体内浸润面的位置,然后再进行安全系数的求解,所以当坡体后部地下水补给充足时,边界范围的选取将直接影响到坡体内浸润面的位置和安全系数的计算结果.由于PLAXIS有限元程序在渗流计算方面具有比较强大的功能,因此采用该软件对边界范围对渗流作用下边坡稳定性分析精度的影响进行研究.从算例所得到的结果看,当左边距等于10倍坡高时,安全系数的变化逐渐稳定,左边距的增大对安全系数不再产生影响.     

面向故障的软件测试方法研究

提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.     

GJB 1391在弹药故障模式与影响分析中的应用

武器系统的工作特性决定了对其可靠性的要求甚高。本文在介绍“开展故障模式及影响分析的意义以及可以达到的目的”的基础上,从故障模式及影响分析的方法、依据、程序、确定严酷度类别等方面,对GJB1391在弹药故障模式与影响分析中的应用,结合实例进行了剖析。     

符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

Inference on a future reliability parameter with the weibull process model

An inferential procedure is presented which provides confidence intervals for a future reliability parameter when reliability growth testing is only partially completed. Hypothesis tests based on this method are uniformly most powerful unbiased. These results are applicable if (1) the system failure rate can be modeled as the intensity function of a Weibull process and (2) efforts to improve reliability are assumed to continue at a steady rate throughout the intervening period of testing. The usefulness of this methodology is illustrated by evaluating the risk of not reaching some future reliability milestone. If such risk is unacceptably high, program management may have time to identify problem areas and take corrective action before testing has ended. As a consequence, a more reliable system may be developed without incurring overruns in the scheduling or cost of the development program.     

一类非线性问题的数值分析

利用Ｌａｐｌａｃｅ方程的基本解,将变系数非齐次Ｈｅｌｍｈｏｌｔｚ偏微分方程的边值问题化为积分方程问题。再用边界无法进行离散,并对区域结点及边界结点的方程耦合求解。文末算例表明本文方法能够达到较高精度。     

Characteristics structure analysis on debris cloud in the hypervelocity impact of disk projectile on thin plate

In this paper, the gauge points setting is introduced in the SPH simulation to analyze the debris cloud structure generated by the hypervelocity impact of disk projectile on thin plate. Compared with the experiments, more detailed information of the debris cloud structure can be classified from the numerical simulation. However, due to the solitary dispersion and overlap display of the particles in the SPH simulation, accurate comparison between numerical and experimental results is difficult to be performed. To track the velocity and spatial distribution of the particles in the debris cloud induced from disk and plate, gauge points are locally set in the single-layer profile in the SPH model. By analyzing the gauge points’ spatial coordinate and velocity, the location and velocity of characteristic points in the debris cloud are determined. The boundary of debris cloud is achieved, as well as the fragments distribution outside the main structure of debris cloud.     

电化学极化状态对潜艇螺旋桨扰动电场模型的影响

潜艇服役期间涂层性能退变影响潜艇电场分布,以材料电化学极化状态为边界条件,应用边界元法建立潜艇涂层性能下降、涂层渗透腐蚀、涂层局部破损极化三种潜艇腐蚀静电场模型,从时域和频域特征对螺旋桨扰动电场模型进行分析。研究结果表明：电化学极化状态对螺旋桨扰动电场的电位信号特征及电场谐波频段影响显著。恒电位、线性极化、非线性极化三种边界条件下,螺旋桨以相同频率旋转扰动静电场时,各模型的频率成分占比差异明显。非线性边界条件下的扰动频率和2倍扰动频占比相差最大,线性边界条件下的扰动频率和2倍扰动频占比相差最小。三种边界条件下电场模型的3倍扰动频以上的谐波范围会发生改变,恒电位边界下模型谐波范围最小,非线性边界条件下谐波范围最大。     

满足大动压模拟要求的试验弹道优化设计

为了解决弹道导弹在高海拔发射场进行飞行试验时的大动压检验问题,提出一种模拟大动压条件的试验弹道设计方法。针对发射场的实际特点,建立残骸再入的动力学模型与落区边界模型;将大动压模拟条件转化为过程约束,提出一种主动段联合优化策略。基于自适应模拟退火算法,分别设计了三组满足不同大动压模拟条件和各项约束的试验弹道,并给出了对应的落区调整方案,验证了该方法的可行性。设计结果表明,最大动压主要出现在一级,一级最大负攻角增加,则最大动压也明显提高;同时调整发射方位角和二、三级程序角可以保证试验弹道满足弹头落点约束条件。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

装甲车辆动力舱温度场试验研究

为了研究坦克动力舱装甲板温度场，必须对动力舱温度场进行必要的测试。以某型坦克动力舱为研究对象，设计了动力舱温度场试验方案，通过试验，得到了动力舱内主要部件表面和动力舱装甲板表面的稳态温度场分布。试验数据表明：排气管、增压器、变速箱和制动带是动力舱内主要热源，排气管附近顶甲板和排气百叶窗温度较高。     

边界扫描测试中簇测试交迭置入方案研究

针对电路板边界扫描测试中簇测试时间较长、测试效率较低问题 ,以并行测试思想为基础 ,提出了一种簇测试置入方案———交迭置入方案 ,并对其进行了理论分析和实验验证。结果表明 ,该方案是最优的簇测试置入方案 ,可以显著减小簇测试时间 ,提高簇测试效率     

Hyperbolic integer programming

The hyperbolic integer program is treated as a special case of a hyperbolic program with a finite number of feasible points. The continuous hyperbolic program also belongs to this class since its solution can be obtained by considering only the extreme points of the feasible set. A general algorithm for solving the hyperbolic integer program which reduces to solving a sequence of linear integer problems is proposed. When the integer restriction is removed, this algorithm is similar to the Isbell-Marlow procedure. The geometrical aspects of the hyperbolic problem are also discussed and several cutting plane algorithms are given.