CLDF:一种增强关键服务可生存性的应急调度算法

可生存性研究是可信网络技术发展所处的一个新阶段,如何使用有效的技术来增强系统中关键服务的可生存性是一项重要的研究内容.从应急调度的角度来研究保证关键服务持续、可靠运行的可生存性增强策略,提出了价值-生存时间-截止期优先的CLDF (criticality-lifetime-deadline first)算法,并利用多重链表给出了算法的实现,包括服务的接受策略与服务完成/夭折策略的算法实现,保证了整个应急配置过程对用户的透明.仿真试验就差分服务保证率与TDM算法进行了比较,结果表明,提出的方法为关键服务的可生存性提供了保证,特别是在系统过载时能够优雅地降级,有效地提高了整个系统的可生存能力.     

基于MA的可生存系统基本服务模型

可生存性系统是指当系统面临外部的攻击与入侵,内部的错误与紊乱时,仍能继续履行事先确定好的基本服务,直到入侵结束,系统恢复正常运行为止.可生存性系统最显著的特点是,系统处于危机情况时,系统的基本服务仍能继续履行.因此,在可生存性系统中怎样保障基本服务的继续履行就变的非常重要.Mobile Agent作为一项新的技术,除了具有反应性、自治性、面向目标性等Agent的基本特点外,还有其独特性,即具有移动性的特点.在分析了可生存性理论和Mobile Agent的特点基础之上,笔者提出了基于Mobile Agent的移动性,来保障可生存性系统中基本服务继续履行的模型--MESMMA(A Model For Essential Services Mobility Based On Mobile Agent),并且着重探讨了MESMMA系统的结构设计、运行过程和各种Mobile Agent的功能.     

一类具有线性感染率的病毒模型的动力学性质

考虑了一类带有线性感染率的病毒模型,分析了解的有界性,平衡点的性质,系统的持续生存性及稳定性.     

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

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

混杂系统的演化和生存

混杂系统作为一类重要的复杂系统,近年来引起国内外的广泛关注.本文介绍了混杂系统的基本概念和特点,以及国内外相关研究进展.给出了混杂系统的生存性判别和生存性控制.最后利用生存理论方法研究对人民币汇率变化幅度的控制,提出国家对外汇市场人民币汇率波动的控制模型.     

离散线性时变系统族的多面体生存域

讨论了离散线性时变系统族的多面体生存域.将动态系统的状态约束和控制约束等问题转化为状态空间中某些由非单位矩阵刻画的更一般的多面体可生存性问题,利用混合单调分解法,得到了微分包含形式下离散线性时变系统族存在鲁棒生存域的充要条件,进一步讨论了当系统存在控制输入时,存在相应一般形式的鲁棒可控生存域的充分必要条件.     

基于SM-PEPA可生存系统认知模型及量化分析

为解决可生存系统的自主管理和维护问题以保持关键服务的持续提供,提出一种基于SM-PEPA的系统认知形式化模型及量化分析方法.首先建立了具有分层认知能力的可生存系统认知模型,即服务认知子层、网络认知子层和接入认知子层,然后提出了一种由策略库发起驱动基于认知环MDE的认知单元自管理模型,并通过可生存系统的生存状态转换图,构建了可生存系统认知性能分析框架.在此基础上,结合对可生存系统认知能力的形式化描述,将其转化为一个半马尔可夫过程,对模型进行了量化分析.仿真试验分析了不同参数变化对系统可生存性的影响,试验结果验证了所提方法的有效性和合理性.     

基于改进云模型的网络信息系统可生存性预测

网络信息系统的可生存性预测研究对提高网络服务质量有重要作用.针对可生存性评价指标和评价数据的不确定性,提出一种基于改进云模型重心评判法的定性规则提取方法,利用提取的规则构造一个多层次可生存性预测规则推理器,对网络信息系统的可生存性进行不确定性推理.实验结果表明,所提出的新方法具有较好的可用性.     

一类食饵采取鹰鸽对策的阶段结构捕食模型性态分析

建立和研究了一类食饵采取鹰鸽对策的阶段结构捕食模型.当收益大于损失时,成年食饵种群全都采取鹰策略,证明了系统的一致持续生存性,利用Lyapunov函数证明了正平衡点的全局稳定性.当收益小于损失时,成年食饵种群采取鹰鸽混合策略,讨论了边界平衡点的存在性,并分析了fold分支.通过极限系统理论和杜拉克判据研究了边界平衡点的全局稳定性.     

经济系统的生存微分博弈

定义了系统的生存域和多系统的共生存域,给出了具有凹增长生存函数的多个系统在资源稀缺的共生存域中的生存冲突定理.在生存函数分析的基础上,分别建立了以共生存函数和边际共生存函数为目标,以微分包含为动态系统约束的多系统微分生存博弈模型,导出了对应的最优生存博弈求解方程.所得结论可用于人类经济组织的各种系统.     

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

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

A Novel Quantitative Analysis Model for Information System Survivability Based on Conflict Analysis

This paper describes a novel quantitative analysis model for system survivability based on conflict analysis, which provides a direct-viewing survivable situation. Based on the three-dimensional state space of conflict, each player's efficiency matrix on its credible motion set can be obtained. The player whose desire is the strongest in all initiates the moving and the overall state transition matrix of information system may be achieved. In addition, the process of modeling and stability analysis of conflict can be converted into a Markov analysis process, thus the obtained results with occurring probability of each feasible situation will help the players to quantitatively judge the probability of their pursuing situations in conflict. Compared with the existing methods which are limited to post-explanation of system's survivable situation, the proposed model is relatively suitable for quantitatively analyzing and forecasting the future development situation of system survivability. The experimental results show that the model may be effectively applied to quantitative analysis for survivability. Moreover, there will be a good application prospect in practice.     

生存性分层评估方法及其应用

首先对目前传统生存性评估技术的SNA方法和层次化评估方法进行了比较;然后,结合两种方法的优点提出了新的生存性评估方法(SHEM);最后,对某新闻网的邮件服务器进行生存性评估,整个分析过程验证了SHEM方法的合理性和可操作性.该评估方法将可以广泛应用于重点行业和企业的安全评估,具有良好的应用前景.     

一种瞬态可生存性评估模型

深入分析了可生存性的内涵,针对系统在失效环境下的动态行为,从基本服务和及时性两个角度出发,考虑失效及其失效损失,定量地评价系统的可生存性.所建立的模型采用安全性数据集进行了验证,结果表明提出的瞬态可生存性评估模型是有效的.     

面向信息系统的生存性恢复机制

为了克服现有信息系统生存性恢复手段单一、执行顺序固化以及恢复过程缓慢等不足,提出了一种以功能部件作为基本修复单位的生存性恢复机制.该机制根据关键功能部件的失效程度将信息系统提供的服务区分成完整服务、可接受服务以及中断服务3种类型,并以功能部件的可用性定义服务和信息系统的生存性.根据失效功能部件对服务的影响程度将恢复过程分为2个阶段,先通过修复关键功能部件恢复中断服务,然后再通过修复非关键功能部件完善可接受服务.应用新的恢复机制对一个网络教学系统进行生存性恢复实验,结果表明该机制能够依据信息系统的生存性态势确定恢复行为和执行顺序,与串行恢复机制相比,恢复行为的执行次数由9减少到3.     

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

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

基于区间数的飞机生存力评估方法

针对飞机生存力评估的必要性以及生存力评估中存在的模糊性和不确定性,提出了一种基于区间数的飞机生存力评估方法。从敏感性、易损性和作战能力3个方面构建了飞机生存力评估指标体系,基于区间层次分析法和信息熵法得到了飞机生存力的区间数形式的指标权重,利用权重系数法建立了飞机生存力的评估模型,最后进行了实例计算。结果表明,该方法能够较好地解决生存力评估中存在的模糊性和不确定性问题,从而使评估结果更客观。     

基于区间数的飞机生存力评估方法

针对飞机生存力评估的必要性以及生存力评估中存在的模糊性和不确定性,提出了一种基于区间数的飞机生存力评估方法。从敏感性、易损性和作战能力3个方面构建了飞机生存力评估指标体系,基于区间层次分析法和信息熵法得到了飞机生存力的区间数形式的指标权重,利用权重系数法建立了飞机生存力的评估模型,最后进行了实例计算。结果表明,该方法能够较好地解决生存力评估中存在的模糊性和不确定性问题,从而使评估结果更客观。     

一个带时延限制的最大连通度信息系统模型研究

基于系统连通度和系统平均时延指标,研究了信息系统的抗毁抗干扰性能,利用0－1非线性规划建立了一个带时延限制的最大连通度信息系统模型,给出了求解模型的一个线性逼近解法,并给出了一个应用实例表明模型及级性逼近解法是有效的。