军用软件开发过程的质量管理体系研究

军用软件系统的开发在我军信息化建设中占据至关重要的地位。大型武器装备系统的军用软件开发,成本高、风险大、周期长,参与单位及人员众多,如何能够确保大型军用软件的质量,增强武器装备性能,成为亟待解决的课题。本文将质量管理体系引入军用软件开发过程之中,通过强化过程控制,来确保大型军用软件的开发质量,对军队信息化建设,特别是软件系统的开发起到指导和借鉴作用。     

Adaptive output feedback control for nonholonomic systems with uncertain chained form

The output feedback adaptive control problem is investigated for nonholonomic systems with strongly nonlinear uncertainties and unknown virtual control directions. A nonlinear output feedback switching controller based on the output measurement of the first subsystem is employed in order to make the state scaling effective and ensure the convergence of the system states. The novel observer/estimator is introduced for state and unknown parameter estimates. The integrator backstepping technique by the use of a constructive recursive is applied to the design of the adaptive controller and to overcome the unknown virtual control directions. The simulation result validates the effectiveness of the proposed scheme.     

一种基于MaC的运行时验证框架的研究

介绍一种基于Monitoring and Checking（MaC）的运行时验证框架。受预测语义概念及一种比较成熟的运行时验证工具MaC的启发,通过研究MaC的工作原理和框架,结合预测语言的定义,提出一种运行时验证框架。该工作的意义在于,一方面继承了MaC的逻辑表达能力,在事件、条件的定义上简洁方便;另一方面通过带预测语义的验证器的引入,扩展了MaC的逻辑表达能力,并使得该运行时验证框架带有一定的预测性,为进一步研究基于预测语义的在线主动监控打下良好的基础。     

网络课程平台设计模式的研究

网络应用的普及使得网络课程越来越受到重视。分析了网络课程平台的设计模式,列出网络课程实现的关键技术和应用效果,提出网络课程平台实现的具体方法和要求。     

基于SHCPN的系统动态可靠性建模及分析

针对传统复杂可修系统可靠性建模方法只能建立系统静态分析模型的问题,提出基于随机层次着色Petri网(SHCPN)的动态可靠性建模方法,并在讨论SHCPN形式化定义和建模方法的基础上,描述利用该方法建立复杂可修系统动态可靠性分析模型的过程。实验结果证明该方法可有效解决以往系统可靠性建模中存在的不足。     

基于多核处理器的网络安全协议并行处理研究

网络安全协议的处理过程通常需要进行大量加解密运算,会对网络传输带宽产生较大影响。文章研究了基于多核处理器的网络安全协议并行处理技术,提出了针对IPSec和SSL协议的并行处理模型,这些模型可以有效改进协议处理效率,提高网络的整体性能。     

基于EMD和神经网络的变速箱状态识别研究

针对变速箱故障信号的非平稳和时变特点,提出了EMD和奇异值相结合的变速箱故障诊断方法;以变速箱箱体振动信号作为分析对象,首先对信号进行EMD分解,提取包含主要信息成分的IMF分量构成特征向量矩阵,计算其奇异值和奇异值熵,分别作为特征向量,通过神经网络和K近邻法判别变速箱的工作状态;在某型装甲车辆的实车测试中,以奇异值作为神经网络的输入特征向量和以奇异值熵作为K近邻法的特征向量均取得了较好的识别效果.     

基于改进相关性模型的子系统级故障诊断研究

对三种典型的相关性模型的基本理论、相关性矩阵生成方法进行分析和研究的基础上,结合某电路子系统级故障诊断的实际需求,从两个层面对相关性模型的故障诊断方法进行改进;为提高故障诊断过程中相关性矩阵的生成效率,首先提出了近亲传递循环算法;其次针对已有的诊断策略优化算法难以准确快速搜索到最优解的问题,提出新的测试点优选办法;实例已验证,对于多个测试节点的优选过程中,采用改进的相关性模型,依据故障检测信息量最大的原则选取的测试节点达到了快速、全面诊断的要求。     

一类通用的装甲装备自动测试系统体系结构

针对装甲装备种类多样、结构和性能复杂、难以实现通用化自动测试等问题,基于ABBET标准,提出了一类通用的自动测试系统体系结构;分析了该体系的结构特点,介绍了体系构成和主要功能等;之后对相关关键技术,如基于多Agent的测试资源建模、集成故障诊断方法、通用技术状态评价方法等分别进行了介绍;最后介绍了基于该体系的装甲装备某型检测系统,对其硬件结构进行了分析;该体系实现了装甲装备的通用测试,满足了多样化测试需求,已经得到广泛应用,提升了装备测试和保障水平。     

基于遗传算法和数学形态学的道路识别方法

随着将智能车辆适用环境拓展到乡村道路、荒漠、越野环境等非结构道路,机器视觉导航的难度进一步加大,成为当今人们研究的重点。文章针对智能车辆行驶的复杂道路环境提出一种新的道路检测与识别的算法。该算法采用了遗传算法对道路图像进行分割,并在此基础上对已分割图像进行数学形态学处理,然后利用canny算子进行道路边缘检测,最终得到准确清晰的道路边界信息。实验结果表明,该方法可以有效地分割出道路区域,对多种复杂路况具有良好的适应性。