【摘 要】
：
在实际工程应用中,越来越多的系统表现出具有概率性等特征。作为对于此类实时系统的建模,概率时间自动机因为其能同时表示概率性、随机性和不确定性而被广泛采用。在对此类带
论文部分内容阅读
在实际工程应用中,越来越多的系统表现出具有概率性等特征。作为对于此类实时系统的建模,概率时间自动机因为其能同时表示概率性、随机性和不确定性而被广泛采用。在对此类带概率性质的实时系统进行描述时,作为时段演算的一种扩展,概率时段演算被用来计算此类系统满足需求的概率。该文主要概述基于概率时间自动机的概率时段演算的模型检验主要步骤及其核心算法,其中模型检验的核心算法通过分别将前两者转换为区域图和概率分支时间逻辑来达成。
其他文献
随着我国经济的发展,城镇化进程不断加快,城镇人口数量不断增多,住宅建筑规模面临持续大幅度增加趋势。据统计,建筑能耗占我国总能耗约33%左右。因此,采取科学合理且行之有效
从以太网的两种模式出发,对通过以太网实现的分布式半实物仿真系统进行了分析,并对系统在两种模式下存在的差异性进行了对比,谈论了在遇到相关问题时的解决方法,在确保分布式
<正> 新修订的《建筑抗震设计规范(GBJ11-89)》(以下简称新规范)中,关于实心粘土砖填充墙(本文以下简称砖填充墙)框架房屋的抗震计算方法,体现了我国地震工程和工程抗震研究
8月15日-17日．由全国工商联指导，全联城市基础设施商会、中国城市科学研究会主办的“2017第二届中国海绵城市国际交流大会暨中国城市基础设施行业新技术与产品博览会”在北京召
<正> 城市是一个地区的政治、经济和文化中心,一旦遭受破坏性地震袭击,将会造成严重的地震灾害,编制并组织实施城市抗震防灾规划,将对提高城市总体抗震能力起到十分重要作用
摘要：本文针对林业种植中存在的问题进行分析，并提出具体的解决对策，希望能够为相关工作人员起到一些参考和借鉴。 关键词：林业种植;问题;对策 1 林业种植过程中存在的问题 1.1 品种选择不科学 我国林业事业的发展水平相对较低，这主要是由于我国在林业方面起步相对较晚。部分种植人员往往未对种植地的树木生长习性和环境特性等进行充分了解，便对树种进行引进，因此导致种植树木与当地的种植环境无法适应，
1990年10月20日16时7分,在我国甘肃省的天祝、古浪、景泰三县交界处发生了一次6.2级中强地震。震中位于东经103°38′,北纬37°37′;震源深度10km,断距24km,发震断层
以薄壁弯管为研究对象,根据钣金成形软件分析了弯管成形过程中存在的问题,从弯管成形和模具设计方面优化了零件的成形工艺,提出了控制防皱块的前端与滚轮切点距离和减小防皱
摘要： GNS3模拟器组建试验环境，以此平台为基础分析了RIP V2安全认证特性原理，通过网络安全认证特性内容的配置、调试、验证，深入此新特性在网络环境中的应用及所带来的安全特性明显改善。并用实验证实了几个容易混淆的概念，提升了认证特性配置使用能力。 关键词：RIP；安全；认证；配置 中图分类号：TP313 文献标识码：A 文章编号：1009-3044（2013）04-0698-04 RIP