【摘 要】
：
现代社会高度依赖于各种分布式信息系统。因此,当出现攻击、网络失效和自然灾害等意外事件时,重要服务必须保证可用。针对分布式信息系统提出一种基于随机Petri网的可生存性
【机 构】
：
清华大学计算机系,北京 100084 中国人民解放军61741部队,北京 100081
【出 处】
：
第十二届全国petri网理论与应用学术年会
论文部分内容阅读
现代社会高度依赖于各种分布式信息系统。因此,当出现攻击、网络失效和自然灾害等意外事件时,重要服务必须保证可用。针对分布式信息系统提出一种基于随机Petri网的可生存性模型分析方法,评价其关键服务失效情况下的系统可生存性。为避免随机Petri 网求解大规模系统面临的状态爆炸问题,首先对模型进行化简,然后建立结合性能和可用性的双层模型,分析不同失效和修复速率对性能、可维护性、可靠性和可用性的影响。结合一个典型的分布式信息系统实例—中国网上招生录取系统,给出了详细的建模和求解过程,最后通过Matlab仿真,直观地比较出可生存性中的测量指标随着失效和修复参数的变化情况。
其他文献
民航系统的快速发展对空中交通管理系统提出了更高的要求,通过建立空中交通管理系统评估体系,采用建模/仿真技术,针对现有空中交通管理系统的问题及未来新航行系统的特点,构建一个覆盖空中交通管理系统运行各阶段、接口灵活、可扩展、模块化好的分布式建模/仿真支撑环境,为空管系统问题的快速建模、空管新技术在业务系统中应用的论证与验证、不同气象和人为条件下的空管系统运行情况等,提供仿真运行环境和评估手段。
传统的中小物流企业繁多，规模小、实力弱、功能单一，能力极为分散，总体特点是“小、散、乱、差、多”。主要表现在知名品牌少，低利润血汗式增长，服务满意度低，成本增长压力大，先进技
针对大型运输机的飞行控制系统飞行品质评定,通过结合与飞行控制系统性能密切相关的评定准则,利用基于优化的鲁棒性确认方法(OBA)与基于概率的鲁棒性评估方法(MCA)对存在不确定条件下的控制系统进行综合评定,解决了MCA小概率问题以及OBA保守性问题,其评价结果具有较高的可信度。
医院信息化建设力度日益加大，医院信息平台打造力度也在进一步加强。医院信息数据平台对所有线下资料进行电子化处理，并导入到医院信息数据平台，使医院的工作管理、物资档案、患
音乐是人类文明中的重要艺术形式，可以启迪智慧、陶冶情操。所以现阶段幼儿教育教学受到了高度重视。幼儿是成长发展中的个体，在音乐活动中有素质能力上的差异。教师要细心地、
市政工程对于城市形象以及国计民生等都有着重要的影响，在市政工程建设施工中，钻孔灌注桩可以提升基础工程性能，保证市政工程的寿命，在实际中应用较多，基于此，本文论述了市政工程中
针对大型民机的适航标准CCAR-25,对飞控系统稳定性、操纵性、失速及故障下的安全性等条例进行了论证。结合条例要求,明确了大型客机的飞机气动布局应当是静稳定的,即其稳定性
水是生命之源，生产之要，生态之基。在解决我国水资源短缺、洪涝灾害、环境保护、水土流失等水问题中、水利水电工程的建设与实施起到了无可替代的重要作用。而导流施工是水利工
混凝土的强度直接的影响工程的整体质量，是保证建筑结构的强度的主要保证，也是检验建筑的质量和施工的质量主要的方向之一。在不同的工程段，应合理使用各种检测办法来检测混凝土
人们生活水平不断提高，对建筑装饰、装修工程的要求逐渐提高，需要通过加强施工管理的措施保证装饰、装修质量，从而满足人们的要求。在建设过程中会应用到较多的施工技术与施工工