论文部分内容阅读
应用概率模型检测技术，在Manhattan移动模型和街道单元移动模型的基础上，提出城市街道移动模型，将其建模成离散时间马尔可夫链DTMCs，然后运用概率模型检测工具PRISM分析节点位置及移动情况对Ad Hoc网络通信的影响。
Ad Hoc网络中城市街道移动模型的概率模型检测
【摘 要】
：
应用概率模型检测技术，在Manhattan移动模型和街道单元移动模型的基础上，提出城市街道移动模型，将其建模成离散时间马尔可夫链DTMCs，然后运用概率模型检测工具PRISM分析节点位置
【机 构】
：
桂林电子科技大学计算机系
【出 处】
：
广西科学院学报
【发表日期】
：
2006年4期
其他文献
几年来，我们一直把创建一流经济发展环境作为加快县域经济发展的重要举措，牢牢抓在手上，不断强化领导，突出重点，采取措施，狠抓落实，企业经营环境得到明显改善，个体私营经济稳步发展，县
从今年七月份开始，我省各级人大将陆续进行换届选举。今年的人大换届选举工作面临的新情况、新问题有哪些，面对这些新情况、新问题如何圆满完成换届选举任务?带着这个问题，我和
1.生产和消费概况目前,我国有焊管机组2000多台,产能居世界首位。1999年全国焊管产量为450.18万吨,进口量为25.59万吨,出口量为17.62万吨,表观消费量为458.15万吨。 2.生产企
该涂料是我所科研人员在引进国外先进技术的基础上,结合我所多年的涂料研究经验最新研制成功的产品。以自然界中天然岩石为原料,利用天然岩石本身所具有的天然颜色和超强硬度
【摘要】通过对山东省莘县菜农实践经验的总结和相关数学知识的运用，举例介绍了大棚蔬菜有机肥的处理、复混肥的调配和冲施肥料的施前处理等技术，解决了蔬菜生产中经常遇到的一些实际问题。 据山东省莘县统计数字显示，2016年莘县拥有蔬菜栽培温室设施36万亩（2.4万hm2），其中有冬暖式日光温室21万亩（1.4万hm2），大拱棚15万亩（1.0万hm2），复种指数为2，设施蔬菜栽培面积达72万亩（4.8万
为了选出适宜使用松杉木屑袋料栽培的高产、优质猴头菌[Hericium erina ceus（Bull．；Fr）Pers．]菌株，以松杉木屑为主要培养料，对猴头菌宁猴6号、宁猴9号、宁猴19号、宁猴22号和宁猴99