基于半马尔科夫过程的虚拟网络生存性模型

针对虚拟网络生存性缺乏准确的定量描述,提出了一种基于半马尔科夫过程的虚拟网络生存性模型。根据虚拟网络运行特征,重点引入虚拟网络重构状态以及认知状态,构建一种优化的虚拟网络状态转移图,并引入半马尔科夫理论,建立虚拟网络状态转移概率方程,构建基于半马尔科夫过程的虚拟网络生存性模型,最后通过仿真实验验证了虚拟网络生存性对各参量的敏感度以及不同类型虚拟网络的生存性特点。仿真表明,降低网络部件发生故障的概率,提高虚拟网络攻击识别概率和虚拟网络重构成功概率可以显著提高虚拟网络生存性;在映射阶段进行资源备份可以显著增强军事虚拟网络生存性。     

引入系统状态转移概率的可生存性量化评估模型

系统可生存性是网络安全研究的一个新方向,通过对系统可生存性进行评估,可不断完善系统体系结构,从而提高系统可生存能力.针对系统可生存性的量化问题,在深入研究现有的主要可生存性评估方法基础上,提出了系统可生存性的动态量化评估模型SQEM(Survivability Quantitative Evaluation Model),并对系统可生存性进行了形式化定义和数学解析.在SQEM模型中,引入了系统状态转移概率和动态设置指标权重的思想,使评估的准确性得到了提高.通过实例分析,证明了SQEM的可行性和有效性.     

生存体系结构模型

处于Internet中的重要信息系统面临的安全问题越来越多,如何增强系统生存能力,使系统在受到破坏后仍能继续提供用户需求的服务已引起人们普遍关注.笔者介绍了生存性定义,根据生存性具有的抵御、认识、恢复和演化4个功能属性设计了信息系统的生存体系结构模型,进而解释了模型中的系统生存需求、生存策略的含义.并依据生存策略的不同方面给出了为使系统达到生存性的技术措施.     

基于免疫学机理网络系统可生存性研究

首先对网络系统可生存性研究现状进行了总结,在此基础上设计了基于免疫学机理网络可生存管理系统体系结构,并对其中的各种智能体的工作流程进行了介绍,研究表明：将生物免疫学机理应用到网络系统可生存性管理的构建是非常有效的,可以解决现在可生存网络系统构建的许多问题。     

带有止步和中途退出的M／M／R／N部分服务员同步单重休假排队系统的性能分析

研究了带有止步和中途退出的M／M／R／N部分服务员同步单重休假的排队系统．假定在服务员全忙时,到达的顾客以一定的概率不进入系统,而进入系统的顾客可能因为等待得不耐烦则中途退出系统．当某顾客离去使得系统中的顾客数减少到定值R—d（1≤d〈R）时,空出的d个服务员立即进行同步单重休假．利用马尔可夫过程理论,建立了系统稳态概率方程组,用分块矩阵解法,得到了稳态概率的矩阵解,并求出了系统的性能指标．在此基础上,建立了系统费用模型,并通过数值方法进行了敏感性分析．     

基于模型诊断的贝叶斯解释及应用

在基于模型诊断的基础上，建立了贝叶斯模型．该模型首先假设系统的所有状态都是可能发生的，并对系统中的各个元件设定一个先验概率．当系统的观测与预期不符合时，利用最小冲突集的概念得到系统可能的状态．之后根据各个系统状态的对应概率计算出元件发生故障的后验概率，该后验概率本质上是一个边缘概率分布，它在数值上表示了元件发生故障的可能性，确定了故障查找顺序．用一个数字故障电路的实例验证了该方法的有效性，井对其存在的问题进行了讨论．     

一类服务率可变的M／M／s／K排队模型研究

针对M／M／s／K混合制排队服务模型,考虑服务系统的服务率随着系统的状态发生变化的情形,并假设服务系统有两个不同的服务率,当系统服务台有空闲时,每个服务台的工作效率相对较小,但是当系统服务台全部处于繁忙状态并且有顾客等待时,服务台的服务速度提高。利用生灭过程获得了模型的状态转移图和平稳分布,然后计算获得了系统的损失概率,平均损失顾客数,系统中正在接受服务的平均顾客数,平均队长（包括平均等待队长和平均顾客数）,平均等待时间和逗留时间等相关指标。     

基于时变状态转移隐半马尔科夫模型的寿命预测

隐半马尔科夫模型在进行系统状态估计及寿命预测时,其状态转移概率矩阵是固定值,得到的剩余寿命预测值呈阶梯状变化,与系统的实际剩余寿命值之间存在着较大的误差.针对上述问题,提出了具有时变状态转移概率矩阵的隐半马尔科夫模型,根据系统的3种典型退化状态分析,给出3种不同的状态转移系数.与初始状态转移矩阵相结合,得到随时间变化的状态转移矩阵.提高系统在当前健康状态下的剩余持续时间估计精度,最终得到更为准确的总体剩余寿命预测值.结果表明,基于时变状态转移概率矩阵的隐半马尔科夫模型相比传统的隐半马尔科夫模型,可显著提高剩余寿命预测的准确性.     

云计算中的信息系统生存性量化分析研究

关注于分布式信息系统的生存性的评估和优化，提出了一种部署于IaaS云环境的分布式信息系统的生存性量化分析框架:提出了一种量化评估部署于IaaS云环境的分布式信息系统的生存性的框架；在该框架下，提供了分析计算近似最优生存性的部署方案的方法；应用多种算法进行了实验，验证了生存性量化分析框架的有效性和应用到实际场景中的效果．     

网络可生存性分析方法研究

本文通过对网络可生存性的研究,引入工作流的概念从系统和环境端进行可生存性需求分析,把可生存性建模分为基于物理结构、基于状态和基于服务组件三种模型．最后给出了一些可生存性研究的新方向。     

A Novel Situation Assessment Method for Network Survivability

0 IntroductionNetwork survivability breaks li mits of traditional networksecurity concepts ,and emphasizes the abilities of net-work and information systems to achieve their main missionsin a ti mely manner , while they are suffering from attacks ,faults , or accidents[1]. Situation assessment[2]for networksurvivabilityis an assessment process for its dynamic changecondition. We can achieve assessment for network survivabili-ty according of the coming data.By assessing evolvement fornetwork su…     

基于生物免疫原理的生存网络系统SuNSIA设计

网络系统生存性是当前的研究热点之一,但目前仍缺乏公认的生存网络系统构建方法或评估网络系统生存能力的方法。结合自然界生物（如人自身）和生存网络系统之间的相似性,提出了一个基于生物免疫原理的生存网络系统（SuNSIA),描述了SuNSIA的体系结构,主要模块及工作流程,并分析了SuNISA的优缺点。     

Calculation model of military aircraft survivability to a missile

Since missiles are main threat against aircrafts in air war, a model is proposed for calculating the aircraft survivability to a missile. The hit characteristic of aircraft to a missile is analyzed, and then Monte Carlo method is applied to generate missile detonation location according to its distribution rule. In addition, based on the analysis of fragment trajectory and critical components, the in- tersection point of these two is determined. Then the kill probability of critical component to a fragment can be calculated, and the aircraft survivability to a missile is obtained accordingly. Finally, the feasibility of the proposed method is demonstrated. Simulation results show that this method captures the basic effects of missile detonation locations on aircraft survivability, which may provide an effective reference to aircraft survivability research.     

Evaluation Model of System Survivability

This paper puts forward a survivability evaluation model, SQEM （Survivability Quantitative Evaluation Model）, based on lucubrating the main method existed. Then it defines the measurement factors and parses the survivability mathematically, introduces state change probability and the idea of setting the weights of survivability factors dynamically into the evaluating process of SQEM, which improved the accuracy of evaluation. An example is presented to illustrate the way SQEM works, which demonstrated the validity and feasibility of the method.     

嵌入式实时系统可生存性分析研究

系统可生存性分析是为了给出系统的评价与改进建议,以提高系统遇到故障或事故时的可生存能力．首先,分析了嵌入式实时系统的可生存性问题;然后,通过对嵌入式实时系统可生存性分析过程进行定义与划分,提出了一种针对嵌入式实时系统的可生存性分析框架,着重阐述了量化分析模型,这种量化分析有助于对系统的可生存性进行准确的评价和对比;最后,设计了模块化分析平台．     

封闭系统中的货币分布状况分析

模型中基于个体货币的转移,近似于用类比热力学中的分子运动来研究货币的分布状况,在热力学中某一状态发生的概率,早由Blotzmann和Gibbs提出[1].基于实际交易,引入Gini系数衡量制定的交易规则下货币分布状况；为了更加符合实际,对模型进行了改进,引入每次交易成功的概率r,其中r由交易过程中的一些影响因素作用而随机生成,经过分析得出更具有现实意义的模型.     

维修有优先权的且含有r个修理工的环形相邻k/n(F)可修系统分析

研究由n个部件及r个修理工组成的环形相邻k/n(F)可修系统的可靠性问题,假定每个部件工作时间和维修时间均服从指数分布,故障部件可以修复如新.利用广义转移概率的定义和关键部件优先维修的规则,求得该系统的状态转移概率矩阵,并给出一个具体的实例相邻2-out-of-6:F环形可修系统,获得该系统的可靠度及重要可靠性指标.     

一种光通信系统可用度计算方法

为了研究光纤通信系统无中断工作的能力 ,计算通信系统可用度具有重要的意义。在 ITU- T G.911光通信系统可用度计算的基本原则下 ,建立了系统状态的 Markov模型和状态转移概率矩阵 ,并利用稳态 Markov模型中状态转移概率平衡的特点求解稳态概率。再利用网络拓扑结构和保护机制的信息 ,通过简单的概率运算得到系统的稳态可用度。在这种计算方法的基础上分析了 SDH的自愈保护机制以及各种故障对系统可用性的影响。在计算结果的指导下 ,可以知道为了达到特定的可用度 ,通信设备和光纤必须具备的正常工作时间和出现故障后的最长修复时间     

炮射导弹系统的故障树分析

炮射导弹是中国近年来新研发的新型武器装备.为了解决炮射导弹在使用过程中出现的各种问题,通过收集该产品在发射周期前、发射周期、飞行过程、作用过程中曾经出现的失效现象,采用故障树分析法,以7类重大故障模式为顶事件绘制故障树,对故障树进行定性分析,确定各中间事件和底事件并找出故障树的最小割集,确定各底事件发生故障的概率并定量计算概率重要度和关键重要度,通过专家打分及层次分析法算出失效因素综合权重,并表明需要重点控制的底事件.该系统的故障树分析可以为炮射导弹发生故障时的故障排查、故障分析以及故障解决提供合理化建议,提高故障归零效率,同时为同类别其他系统的设计及故障诊断提供参考.