【摘 要】
：
鉴于基于d-最小割集(d-MCs)应用容斥原理计算多状态网络可靠度精确值的复杂性,提出一种不交化改进算法.该算法首先基于d-MCs 中满足一定条件的d-MC 的性质,分割状态空间,有效缩小不交化过程需考查的状态空间及d-MCs 规模;在此基础上,借鉴状态空间分解的思想,基于各d-MC 所代表的无效状态子空间之间的隶属关系,提出一种改进的不交化方法.实例表明算法计算结果正确,且结构清晰、易于实现,证
【机 构】
：
第二炮兵工程学院, 陕西 西安 710025 第二炮兵士官学院, 山东 青州 262500
论文部分内容阅读
鉴于基于d-最小割集(d-MCs)应用容斥原理计算多状态网络可靠度精确值的复杂性,提出一种不交化改进算法.该算法首先基于d-MCs 中满足一定条件的d-MC 的性质,分割状态空间,有效缩小不交化过程需考查的状态空间及d-MCs 规模;在此基础上,借鉴状态空间分解的思想,基于各d-MC 所代表的无效状态子空间之间的隶属关系,提出一种改进的不交化方法.实例表明算法计算结果正确,且结构清晰、易于实现,证明了其正确性和有效性.
其他文献
针对康复中心及养老院老人身体状态实时监护问题,提出了一种基于物联网的人体ADL(activity of daily living)实时监护系统设计方法.此系统具有检测节点数目的不确定性的特点,为提高监护系统数据传输的实时性,提出了一种基于Bayesian 网的数据传输算法,并给出了在Bayesian网下的传感器分布模型及算法实现.该方法在节点拥堵时可以大幅度降低了传输轮回时间,提高了系统的实时性及
为解决3G网络的入侵检测问题,需要提取封装在3G核心网A10/A11信道上的AHDLC帧.AHDLC帧封装以标识符Ox7e为分隔,并将数据Ox7e转义.提取AHDLC帧需要定位帧头位置并反转义帧内容,由于需要扫描完整报文,传统提取算法的性能很难提升,本文设计实现了专门的数据提取引擎,使用软硬结合的方法,提出一种新的SHADE方法,将传统方法的性能提高4倍左右.
虚拟化技术为计算资源池化提供了实现的可能,但是当前市场上存在的产品自成体系,严重阻碍了云计算平台的可管理性和互操作性的发展,封装和部署格式的标准化势在必行.本文首先介绍了虚拟器件概念的产生背景并分析了它的优劣势.进而详细介绍了虚拟器件的具体实现——OVF 协议,阐述了OVF 协议的组成.
信任是新型互联网计算环境下实体可信协作的基石,如何合理准确地评估信任是亟需解决的重点问题.该文构建了一种基于交互感知的动态自适应的信任评估模型,充分考虑了交互因素对信任评估的影响,提出了基于历史交互窗口和可信推荐数的总体信任评估方法,克服了传统模型对交互证据感知能力不足的问题.提出了基于满意度迭代计算的直接信任积累方法,并采用实体稳定度实现了激励和惩罚两种迭代策略,有效抑制了恶意伪装实体的作弊行为
目前利用遥感信息模型对地学参数反演来模拟全球动态变化过程越来越受到人们的重视.由于现有的遥感海量数据分布式存储的现状,以及遥感信息科学模型种类繁多,缺少统一的描述和工作模式,因此在实际中很难实现大范围的地学参数反演自动化和模式化.本文通对对基于MODIS数据的典型遥感信息模型描述和使用模式的综合分析,对大范围遥感信息模拟计算模式进行分析,以及对科学模型的加载、管理、部署和流程化等技术研究的基础上,
在实际应用中,Web服务交互是异步的,而服务组合的正确性也会受相关时间和数据约束的影响.基于此,提出了一种异步Web服务组合的分析验证方法:首先,采用基于时序逻辑的XYZ/ADL描述Web服务组合,提出一种可精确刻画时间和数据约束的异步Web服务模型AWSM,并实现了两者之间的转换;然后,通过简单的消息抽象,采用模型检测工具UPPAAL验证异步Web服务组合的正确性.文中通过一个贯穿整个分析和验证
SaaS 在云端为不同用户提供完整的软件应用服务,它对云数据库的要求不仅仅是海量数据的存储与检索,还要求能够为不同用户方便地定制数据结构.本文针对SaaS 模式的云服务提出一种树型云数据库,该数据库以树的形式组织、检索数据,树中节点的类型不仅可以是数值、字符、文本,也可以是二维表、文件等,其最差情况下的搜索时间复杂度为O[log2N ].树型云数据库可以将现有的数据存储方式,以树的形式重新组织,不
随着云存储技术的研究发展,面向信息共享的分布式数据存储系统成为信息技术研究的热点,建立高效的空间索引是WebGIS 应用的关键技术.本文对云存储的需求及空间索引结构、算法的发展进行分析,从满足单节点海量数据存储的空间索引结构、集群元数据服务的层次索引结构及基于空间语义推理的空间索引算法三类云存储需求方面进行归纳总结,并基于HDFS 对空间地理小文件建立两层索引结构的数据访问试验,试验表明该索引方式
在分层移动节点的无线传感器网络中,网络的信息采集常常具有突发性和集中性.本文对IEEE 802.15.4 MAC进行研究,针对采用直接数据传输的CSMA-CA机制在用户发送查询指令时,路由节点附近的传感器节点几乎同时进行数据采集和汇报,造成在传感器节点汇报数据时期出现大量的数据碰撞,导致传感器节点能量的大量损耗的问题,提出了一种基于IEEE802.15.4的能量高效的移动MAC协议.该协议采用带时
本文分析了RESTful面向资源的架构特点和建模方法,设计了提供个人收入综合查询的web 服务.通过此应用展示了资源的规划、表示和Restlet框架下web服务的创建.该平台集成了遗留应用系统,具有灵活、简洁和易扩展的特征,是构建符合REST思想的web服务应用的探索和实践.