Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

现代多功能制导站中央控制计算机并行计算技术研究

:通过实例分析 ,研究了现代多功能制导站中央控制计算机适合并行计算的软硬件结构与设计思想     

一种基于神经网络的磁性目标定位方法

磁性目标定位问题可归结为一类非线性规划问题的求解 .该问题的最大特点就是其目标函数的计算过程极为繁琐 .而目标函数计算的快慢对磁定位的实时性有很大影响 .在详细研究了目标函数之后 ,给出了目标函数的一种神经网络结构实现 .由于该网络结构易于并行计算和VLSI实现 ,从而可使磁定位的实时性得到改善 .     

Volterra级数模型的非线性压缩测量辨识算法

针对非线性系统的辨识问题,提出了非线性压缩测量辨识算法,且推导出了一种符合压缩感知测量准则的测量模型。相比递归最小二乘法,该方法极大地减少了所需的测量数,使得高阶Volterra级数辨识成为可能。此外,还分析了实际应用中的各项因素对辨识准确性的影响,如信号稀疏度、测量噪声、测量矩阵形式等。     

非奇异快速终端滑模及动态面控制的轨迹跟踪制导律

针对飞行器跟踪预设轨迹的问题,提出非奇异快速终端滑模和角度约束的轨迹跟踪制导律。通过引入虚拟目标点,提出参考轨迹曲率半径的期望视线角约束条件,建立带有视线角约束并考虑自动驾驶仪动态特性的轨迹跟踪数学模型。为了保证在有限时间内跟踪预设轨迹并避免出现奇异问题,采用快速非奇异终端滑模和动态面控制方法进行制导律设计。推导出视线角误差和轨迹跟踪误差之间的数学关系,并利用Lyapunov稳定性准则证明轨迹跟踪误差最终有界任意小。与弹道成型轨迹跟踪制导律进行仿真对比,仿真结果表明所提出的制导律具有良好的跟踪性能及鲁棒性。     

初始误差和制导工具误差估计的非线性方法

准确估计初始误差和制导工具误差是机动发射飞行器精度鉴定必须解决的重要问题之一,提出了一种基于非线性模型的误差估计新方法。给出了平台初始失准角向定向误差的转换方法,采用不动点迭代法实现真实视加速度的精确计算,将真实发射系的轨道参数表示为初始误差和工具误差的非线性函数,结合外测数据建立了同时估计初始误差、工具误差、外测系统误差、遥外测时间零点偏差的非线性模型,避免了初始误差的线性化近似。给出了Bayes极大后验估计方法,利用非线性模型和先验信息获得误差的最优估计,证明了估计方法的收敛性。仿真结果表明,所提方法提高了初始误差和工具误差的估计精度,并实现了测量数据的自校准。     

构建军民融合法治保障体系的几点理论思考

法治是推动军民融合发展的重要基石,不管从整合主体力量、优化资源配置,还是保障各系统有效运行等方面都发挥着不可替代的作用。针对当前军民融合法治保障体系存在的法规制度"碎片化"、滞后性,以及适用性不强等矛盾问题,军民融合法治保障体系的构建必须把握好坚持党的领导与维护法治的权威性,坚持改革创新与维护法治的稳定性,坚持分工协作与维护法治的系统性,坚持开放共融与维护法治的独特性等基本原则。     

基于经典控制理论的制导系统校正方法研究

针对空空导弹抗目标大机动时,制导系统持续增加的快速性需求,利用反馈/前馈控制信号可提高瞬态和频率响应的经典控制思想,以及在制导算法中引入导弹的实际加速度补偿量以改善制导回路性能的方法,设计了制导系统校正算法.然后,通过线性化模型对制导系统校正算法的性能进行了数字仿真,仿真结果表明系统校正算法能够降低目标机动时所产生的脱...     

制导雷达自适应旁瓣对消研究

制导雷达中若使用常规自适应旁瓣对消方法,辅助天线中的期望信号会引起测角误差.如果不采取应对措施,雷达无法对目标进行有效跟踪.提出了一种改进的自适应旁瓣对消方法,该方法中的辅助天线方向图在期望信号方向形成了零点,因而能够消除由于辅助天线中期望信号的存在而引起的测角误差.理论分析和计算机仿真结果表明改进方法是有效的.     

无人战斗机航路规划圆切线算法

通过对无人战斗机低空进入敌防区面临的各种威胁进行分析,建立了适用于圆切线算法的威胁场模型;由于可行方向法对威胁圆叠加时规划出的航路效果不理想,提出了圆的切线算法理论作为此航路规划方法的改进,采用随机产生威胁场的方法来模拟多变的战场环境,并且进行了理论分析,最后得出仿真结果.仿真证明,将两种方法结合规划出的飞行航线在航程上是比较理想的,而且路径规则的效果也得到了很大的提高.