基于UPPAAL的复杂定时数据建模

来源 :2014年河南省计算机学会学术年会暨河南省计算机大会 | 被引量 : 0次 | 上传用户:mechanical123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对路由协议中复杂定时数据建模的难题,提出一种基于离散和抽象的建模方法.该建模方法中,各条复杂定时数据的生存时间被离散化为时间分片,并用时间分片数量表示对应数据的生存时间.采用轮询策略周期性地检查数据的生存时间并更新数据.以路由协议中的链路保持特性为例,在建模过程中运用所提出的方法,对路由协议的链路保持功能和链路断开的敏感性进行验证.结果表明,这种建模方法可应用于复杂定时数据的建模.
其他文献
黄金期货市场是否有效,决定着黄金期货市场是否存在风险和具有保值等作用。因此对黄金期货市场有效性的检验有着十分重要的意义。首先对黄金期货市场有效性进行界定,然后从价
在当前这个忙碌的社会中,很多朋友对写日记往往有种“心有余而力不足”的感觉。要把生活中那些随手偶得的想法和感触-写在纸上,实在是太麻烦了。其实,除了用笔、纸写日记外。不
本文主要讲述了大学教师人格魅力和业务素质的概念及其构成,试图从影响教师人格魅力的因素入手,提出一些提升教师业务素质的思路和方法.
我国采用的PAL制式的视频帧速率是25fps,即每秒25帧画面,这种速率符合人的视觉反映,使影片中人与物的运动状况与人们在生活中所看到的感觉到的完全一样。但影片又具有艺术创作特性,所以在后期编辑时经常需要对播放时间顺序和速度进行重新调整,实现像快慢镜头、倒放及定格这样的视频特效,来增强影片的视觉效果。下面及具体介绍一下在绘声绘影9中这种对播放时序和速度进行调整的方法步骤。    快、慢速    快
拥有血高防高的高盾型的鬼王门人,拥有高敏致命一击型暗黑杀手合欢门人,拥有救死扶伤全能智者天音门人,拥有高输出群攻型练级神速型青云门人,以及未出世的鬼道和梵香谷这几个职业
城市群是区域经济发展的增长极,强化城市群的带动能力,对于加快区域经济协调发展,提升区域竞争力具有重要的意义。本文从经济新常态的大背景出发,运用主成分分析法等定量分析
拍的数码照片多了,总有几张自己喜欢的得意之作,很想放到网上和朋友们一起分享。若发到论坛的帖子上吧,一张一张上传费神费力;放到网络相册中吧,影响面又小了点。最好是做成照片网页,查看起来最方便。但咱不会做网页怎么办呢?不要急。用MyPhotoSite(下载地址:http://www.crsky.com/soft/5595.html),只需几分钟,不用掌握任何网页技术,不用写一句网页代码,就能轻轻松松创
贾平凹的乡土小说新作《山本》书写了动荡岁月里秦岭一方的传奇故事,故事描写了独具秦岭地方风味的乡土生活,展示了复杂深刻的百姓情感精神力量,呈现了充满暴力与神秘色彩的