【摘 要】
：
首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随
【基金项目】
：
武备预研基金资助项目(51416060104CB0101),高校博士点科研基金资助项目(20050217007)
论文部分内容阅读
首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析得到系统的各种生存性能参数.在简单介绍随机进程代数的语法和操作语义的基础上,用进程表达式对生存性系统进行形式化描述;然后利用PEPA Workbench工具实现对可生存性网络稳态可用性和瞬时可用性测度的实验,仿真结果验证了该形式化建模与分析方法的有效性和可行性.
其他文献
文章以嘉峪关农商银行为例,阐述了中小金融机构在经营及风险管控中存在公司治理结构、业务种类、流动性风险、定价能力等问题。之后分析了中小金融机构风险现状对宏观审慎管
出于深部找矿与科学钻探的需要,岩心钻探由浅孔向深孔迈进,钻遇易坍塌地层、硬岩地层、高温高压地层、盐膏层等复杂地层的几率增加,从而对深部取心钻进钻井液技术提出了更高
背景与目的子宫内膜异位症由异位的子宫内膜侵犯正常组织引起,多发于育龄期女性,是妇科的常见疾病。盆腔是异位病灶最常侵及的部位,病变可在局部形成结节或包块,临床症状以疼痛、不孕较为常见。腹腔镜下保留生育功能的手术是治疗该病疗效确切且常用的方式,但术后复发率较高。影响术后复发的因素错综复杂,目前尚无明确定论。本研究通过对盆腔子宫内膜异位症行保留生育功能手术后2年内复发和未复发患者临床资料的分析比较,探讨
室内移动网络中各用户的路由策略和其所在的位置紧密相关,所以为提供高效的路由方案,首先要实现准确的室内定位。同时,某些特定的部门,如警方、军方和消防等,更加迫切的需要实用的室内定位算法。但是由于室内环境复杂性的影响,手机和各接收机的距离估计可能存在严重误差。针对复杂的室内环境,提出了一种利用测量到用户之间的接收功率实现定位及跟踪的算法。仿真和模拟证明该方法是有效的。
新时期生态文明建设步伐的加快,逐渐扩大了公园及园林的建设规模。实践中为了增强不同类型植物在综合性公园中的应用效果,则需要思考其合理配置,以确保这类公园应用中的植物
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
阐述了基于移动代理的入侵检测系统的优势,提出了一个使用移动代理技术的入侵检测系统MAAFID。首先由数据收集代理(DCA)在网络中随机移动并收集信息,然后将收集到的信息传递给数据分析代理(DAA)来评估入侵发生的可能性。本文重点讨论了系统中数据收集代理的数目与检测出入侵发生的可能性二者之间的定量关系,最后还给出了一个仿真结果。
根据多带OFDM-UWB通信系统的特点,提出一种基于三级调制的多带OFDM-UWB多址算法——TSM-MA算法。该算法通过MC-CDMA、OFDMA与FHMA技术的融合,实现多种技术的优势互补,减少了多用户间的干扰,充分利用了各子载波的可用资源。为了降低接收机的复杂度,TSM-MA算法采用了二级扩频与二级跳频的机制。结果表明,TSM-MA算法的多址性能要明显优于时频多址算法的性能,可以改善系统信噪
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
在现代化社会建设的过程中,我国逐渐开始向社会主义建设发展。近年来,我国实施了较多战略,其中包括科教兴国、人才强国及乡村振兴、区域协调等。就整体的战略实施来说,乡村振