论文部分内容阅读
应用概率模型检测技术，在Manhattan移动模型和街道单元移动模型的基础上，提出城市街道移动模型，将其建模成离散时间马尔可夫链DTMCs，然后运用概率模型检测工具PRISM分析节点位置及移动情况对Ad Hoc网络通信的影响。
Ad Hoc网络中城市街道移动模型的概率模型检测
【摘 要】
：
应用概率模型检测技术，在Manhattan移动模型和街道单元移动模型的基础上，提出城市街道移动模型，将其建模成离散时间马尔可夫链DTMCs，然后运用概率模型检测工具PRISM分析节点位置
【机 构】
：
桂林电子科技大学计算机系
【出 处】
：
广西科学院学报
【发表日期】
：
2006年4期
其他文献
【摘要】通过对山东省莘县菜农实践经验的总结和相关数学知识的运用，举例介绍了大棚蔬菜有机肥的处理、复混肥的调配和冲施肥料的施前处理等技术，解决了蔬菜生产中经常遇到的一些实际问题。 据山东省莘县统计数字显示，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