软件可靠性测试方法探析

软件可靠性测试是有效评估软件可靠性水平,验证软件产品是否达到软件可靠性要求的重要途径。本文介绍了软件可靠性测试的基本方法以及对黑盒测试、白盒测试和灰盒测试优缺点进行比较,并对蒙特卡罗、马尔科夫等主要理论模型进行分类阐述。     

中国军事学史的创新之作--赵国华教授《中国兵学史》述评

华中师范大学赵国华教授经过十多年的不懈努力,完成了一部50多万字的《中国兵学史》(福建人民出版社2004年11月版),成就了中国学术史研究的一项开创性成果。为了撰写《中国兵学史》,作者做了大量的相关研究工作。大学毕业当年,他考取了华中师范大学历史系的研究生,在邹贤俊、熊铁基两位先生的指导下,专攻秦汉史。他说:“那个时候有个想法,就是先弄懂秦汉史,并初步的了解先秦史,以便日后自上而下,探索其他断代史,乃至近现代和当代史,最终形成通盘研究”(《赵国华史学论文初编·自序》,湖北人民出版社2002年,第1页)。显然,司马迁所谓“究天人…     

基于双向启发式属性约简的战术决策建模研究

从预警机指挥引导的多机协同空战原则分析出发,针对超视距协同空战决策过程中的不确定性和不完备性问题,提出了一种不完备信息系统中的基于双向启发式属性约简的战术粗决策建模方法。首先考虑粗糙集决策过程中条件属性发生缺失或不确定的情况,根据扩展不完备信息概念建立了不完备决策信息系统的最优完备选择;其次基于分辨矩阵的属性约简算法,以属性频度的大小作为启发信息进行决策信息系统约简的双向选择,得出决策信息系统的最佳约简集合;然后依据使决策最有可能发生的原则,给出决策信息系统的最优选择,以该最优选择为代表提取出决策规则;最后根据软、硬杀伤结合使用的CGF实体超视距协同空战作战想定,建立了CGF实体综合战术决策模型,并通过作战决策实例对该方法的正确性和有效性进行了验证。结果表明：该方法能在作战态势信息不完备的情况下正确给出CGF实体综合战术行为。     

基于变异离散粒子群的协同空战攻击决策算法

为了提高智能协同空战攻击决策算法性能,将变异策略引入到DPSO(Discrete Particle Swarm Optimization)协同空战攻击决策算法中,提出了一种新的基于变异离散粒子群(Mutation Discrete Particle Swarm Optimization,MDPSO)的协同空战攻击决策算法。基于典型空战想定背景,仿真验证了算法的有效性。采用对比实验方法,基于准确性、可靠性和快速性等关键性能指标,分析比较了基于MDPSO协同空战攻击决策算法与多种智能决策算法,验证了基于MDPSO的协同空战攻击决策算法有着较好的综合性能。     

DETECTION OF TRANSIENT SIGNAL USING THE DISCRETE WAVELET TRANSFORM

ＤＥＴＥＣＴＩＯＮＯＦＴＲＡＮＳＩＥＮＴＳＩＧＮＡＬＵＳＩＮＧＴＨＥＤＩＳＣＲＥＴＥＷＡＶＥＬＥＴＴＲＡＮＳＦＯＲＭＬｉｕＺｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＩｎｆｏｒｍａｔｉｏｎＥｌｅｃｔｒｏｎｉｃｓ,ＦａｃｕｌｔｙｏｆＥｎｇｉｎｅｅｒｉｎｇ,Ｎａ...     

表格/文本图像歪斜度检测方法

在表格处理和光符识别软件中．歪斜图像校正是一项重要的预处理技术。针对文本和表格图像,本文提出了一种基于线条检测模型的高精度、快速的歪斜图像检测方法。     

防空武器火控系统对空中目标参数估计方法仿真

针对防空武器火控系统的特点,提出了一种防空武器火控系统对空中目标参数估计的方法,可以在不知道目标距离的条件下得到目标的航向角与俯仰角,实现对目标的被动式跟踪,对估计误差的统计特性进行了分析,仿真结果表明了该方法比传统的估计方法更加可行.     

一种基于混合模拟的计算组合电路中软错误率的方法与工具

随着工艺尺寸的不断缩小,组合电路引起的SER(Soft Error Rates)越来越严重.针对使用HSPICE计算组合电路软错误率速度较慢以及使用传统的组合电路软错误率分析工具在对待重汇聚时计算精度不高的问题,本文提出了一种混合模拟的方法,并基于该方法实现了组合电路软错误率分析工具.该混合模拟方法使用HSPICE模拟发生重汇聚的逻辑门;使用快速的脉冲传播算法模拟其他逻辑门.模拟结果表明,该方法可以在速度和精度上达到很好的折中.通过与国际上常用的组合电路软错误率分析工具进行比较发现,在重汇聚发生较多的电路中,该混合模拟方法更能真实地反应组合逻辑中的软错误率.     

最小费用树

本文在赋边权w和顶点权θ的网络中,建立了最小费用树问题的网络模型。文中对问题的复杂性进行了讨论并给出了求解问题的算法     

高超声速滑翔飞行器倾斜转弯分析及控制系统设计

倾斜转弯技术是高超声速滑翔飞行器控制的一个重要发展方向.针对高超声速滑翔飞行器倾斜转弯技术开展研究.以平衡滑翔弹道为参考弹道,分析了转弯半径、下降高度、倾侧角等参数之间的关系,提出在设计高超声速滑翔飞行器制导控制指令时,应综合考虑不同高度速度下的控制能力约束.根据奇异摄动理论将动力学系统的受控状态变量分为快变量和慢变量两部分,运用轨迹线性化方法设计了控制系统.仿真结果表明,设计的控制器具有良好的控制性能,但随着高度的增加,控制指令应结合实际控制能力,以完成对飞行器的姿态控制.