【摘 要】
:
针对动态系统安全性分析的需要,设计并实现了一个新的风险评价系统。该系统在PRA方法的基础上,在风险评估过程中综合运用多种动态系统的安全性建模和危险分析技术,能够较好地适应动态系统风险评估的需求。
【机 构】
:
国防科学技术大学信息系统与管理学院
【基金项目】
:
国家“十五”预研资助项目(4131902****)
论文部分内容阅读
针对动态系统安全性分析的需要,设计并实现了一个新的风险评价系统。该系统在PRA方法的基础上,在风险评估过程中综合运用多种动态系统的安全性建模和危险分析技术,能够较好地适应动态系统风险评估的需求。
其他文献
通过马尔可夫模型对SHD2 IP系统中的双机热备份系统进行可信性建模和分析,从理论上对SHD2 IP系统的可信度和安全度进行研究,并根据设定的参数分析参数对系统可信度和安全度的影响。最后根据参数对系统影响的大小提出提高系统性能的思路。
从优化小波神经网络的角度出发,对两种优化模型从理论上进行建模与推导;根椐预测控制的特点,提出离散小波神经网络模型GA分层优化方法及广义小波神经网络模型优化方法与预测控制相结合的新的应用途径。仿真结果证明了该方法的有效性和可行性,能使实际工程中的预测控制结果得到优化。
随到接入是多数流模型普遍采用的假定,实际通信系统中突发通常是时分接入的,这个差别对流模型精度造成多大影响常常是流模型研究中被忽视的问题,相关的论文至今为止几乎没有见到。为此就间断泊松模型(IPP)对这种误差作了研究,从数学根源上揭示了误差产生的原理,并推导出了时隙化IPP的动态均值流量与IPP模型的误差近似公式。仿真显示该理论结果与仿真值高度一致,相比IPP结果具有更高精度。
详细剖析了MANETs路由协议中存在的节点自私问题,提出了一种综合、有效的解决方案。
基于马尔可夫随机场(MRF)模型,提出一种直接采样的图像修复方法。通过优先权机制来决定边界像素的修复次序,充分顾及到图像的边缘结构信息,同时能够恢复纹理细节,避免了模糊效应。实验证明该算法具有很好的修复效果。
提出一种基于光流特征与序列比对的行为识别算法。首先利用分层光流提取视频序列中的运动信息;然后用光流场的方向直方图构造相应行为的模板库和索引序列库;最后用序列比对方法实现行为识别。实验结果表明,该算法可在线进行人的典型行为识别,对目标尺度变化、小角度倾斜和旋转具有一定程度的鲁棒性。目前以该算法为核心的行为识别实验系统对图像尺寸为320×240的序列平均处理速度达到10 fps。
对现有著名的类内聚度度量进行了较深入的分析,指出了各自存在的缺陷与不足,并在此基础上考虑到类内聚度受到类内有可能与外界组件产生耦合的成员的负面影响,提出了对CCM(C)再次修正后的MCCM2(C)。
针对在稀疏分光配置的光突发交换(OBS)网络中进行多播的问题,提出了一种基于优先级的共享多播机制。该机制对包含相同分光节点的业务进行汇聚,并且在资源预约过程中引入了优先级来区分主干链路和分支链路,保证多播树的主干链路能优先抢占资源。通过仿真发现,相比传统多播机制,该方式能减少多播业务的丢包率和冗余包的数量,提高资源利用率。
提出了一种改进的加权Hausdorff距离,并将其应用于字符图像的匹配。该方法根据字符图像的结构特征对字符不同区域设置不同的权重。实践表明该方法改善了图像匹配效果。
通过引入流量强度指数α和流量分布指数β,建立了不同网络流量下的复杂负载网络级联失效抗毁性模型。基于该模型比较分析了无标度网络、随机网络和介于这两种网络之间的特定复杂保障网络在不同流量强度和流量分布下对单个节点的随机失效与故意攻击的抗毁性。结果表明,在考虑级联失效的条件下,复杂保障网络的抗毁性随着流量强度的增加急剧下降。此外,流量分布对复杂保障网络的抗毁性也具有显著影响,在流量强度一定的条件下改变网