软件可靠性概要

本文概述作者对软件可靠性的若干总体看法,具体技术问题不作深入讨论,甚至许多问题仅仅提及而不加展开,数以千计的有关文献也不加列举。本文试图阐述软件可靠性理论研究和工程实践的基本范畴,内容包括软件可靠性与软件工程的关系、软件可靠性的含义、软件可靠性的基本问题、国内外软件可靠性研究现状、当前软件可靠性面临的主要问题,以及当前我国软件可靠性领域应开展的工作。     

快速平滑收敛策略下基于QS-RRT的UAV运动规划

基于快速扩展随机树(rapidly exploring random tree,RRT)的运动规划算法,通过随机采样的方式探索未知任务空间,具有概率完备性和较高的计算效率.该类算法在应用于无人机运动规划时必须对飞行距离、过程安全性和航路平滑度进一步优化.针对这一问题,首先对威胁环境、无人机运动学性能和探测能力建模,然后根据飞行特征设计了随机采样、威胁规避、路径可跟踪性以及全局与局部平滑性等优化策略,并构建快速平滑收敛RRT(quick and smooth convergence RRT,QS-RRT),最后以此为基础分别提出了面向已知和未知任务空间的无人机运动规划算法.仿真结果表明,该算法能够在保证飞行路径收敛性、安全性及其规划效率的基础上,有效缩短飞行距离,改善航路的可跟踪性和平滑度,增强在实际飞行过程中的可操作性.此外,该算法还易于在航路优化效果和规划效率之间权衡,增强了对不同规划任务需求的适应性.     

关键基础设施防护主从对策模型及其求解算法

针对基础服务设施系统的优化防护策略制定问题，将系统抽象成由服务设施、 需求点及连接弧构成的一般性网络. 应用对策论中的主从对策理论思想，描述系统防护计划制定者与攻击者在决策时相互制约的关系，并考虑设施容量限制这一现实因素对问题的影响，提出带容限的“防护-中断-再分配”三层主从对策模型. 通过设计“大需求量优先-就近服务”的启发式分配策略化简模型，使其转换为双层混合整数线性规划，进而采用一种二叉树搜索算法对模型进行求解. 实验表明，该启发式策略在绝大多数情况下均能以很小误差逼近最优分配. 由模型给出的优化防护策略可大幅减低系统遭受破坏后的运行成本，当防护资源投入达一定量时，能有效避免系统陷入非正常运行状态. 通过对模型及模型解的分析，可有助于真实大型复杂基础设施服务系统关键部位的识别及防护策略制定.     

基于遗传算法的神经网络两阶段学习方案

一种两阶段学习方案被提出用于神经网络的训练。在第一阶段，让实数编码的遗传算法来代替人解决神经网络结构的选择和初始参数的设定，称之为结构辨识阶段。在第二阶段，让传统的优化算法来解决参数的学习，称之为参数辨识阶段。在整个学习过程，神经网络的复杂度、逼近精度和泛化能力之间得到了满意综合。     

构件软件系统的可靠性评估模型简介

对构件软件系统可靠性评估模型作了简要介绍．构件软件系统可靠性评估应考虑的问题包括构件的可靠性、构件软件系统的可靠性和运行剖面对构件软件系统可靠性的影响等．在分析了有关模型的基础上,指出了该领域研究中存在的一些问题,并对今后的研究方向提出了一些建议．