【摘 要】
：
节点密度控制算法(如OGDC算法)是在保持网络覆盖和连通性的前提下，周期选择性的决定节点休眠，以促使网络寿命最大化。形式化规格说明语言Object-z适用对新型网络和算法的描
【机 构】
：
福州大学物理与信息工程学院,福建福州 350002
【出 处】
：
第十八届全国网络与数据通信学术会议
论文部分内容阅读
节点密度控制算法(如OGDC算法)是在保持网络覆盖和连通性的前提下，周期选择性的决定节点休眠，以促使网络寿命最大化。形式化规格说明语言Object-z适用对新型网络和算法的描述和早期研究，有助于在早期验证和发现设计误差。文中运用Object-Z建立无线传感器网络的通用模型，并进一步对OGDC算法进行形式化建模。研究说明了形式化规格语言Obiect-Z可以完成对无线传感器网络算法的描述。
其他文献
犀牛头骨,门神的鼻祖rn门神的出现绝非偶然,它是古时候民众无奈的选择.那时,生产力水平低下,认知水平不足,人们对灾害惊恐,亟须神灵的庇护.于是,对门神的信仰也就成了顺理成
近百年来,世界工业化进程加速,石油、天然气、煤炭的耗用量与日俱增.然而,这些能源的储量有限,总有一天会枯竭.为此,科学家正在千方百计寻找新能源,他们将目光投向了冬季里“
TCP Vegas作为一种TCP拥塞避免算法，已经表现出了比TCP Reno更优越的性能，但当二者共存时，TCP Vegas竞争带宽的能力不如TCP Reno。在TCP Vegas-A算法基础上，把其拥塞避免阶段
为了解南京小学生卫生知识和卫生习惯现状，为普及健康教育提供依据，我们对小学生的卫生知识、卫生习惯进行了调查。1对象与方法1．1对象选择有代表性的城区小学4所及县、郊、乡小
汤景升,字边石,1939年生,河南孟州市人,现为中国画家协会新疆分会会员,中国老年教育书画研究院特约研究员,全国老年书画研究会会员,新疆老干部书画学会常务理事,新疆公关协会
寒假里的一天傍晚,小熊灰灰和他的弟弟淘淘在家等待熊妈妈回家.“每天这时候妈妈都回来了,今天怎么还没回来呢?”淘淘抬着头望着窗外已经变黑的天空说.“也许有什么事耽搁了
针对自治系统重要性的研究，提出了边缘介数的指标，从数据流量的角度描述自治系统针对指定自治系统 或指定自治系统集合的重要性；设计了基于边缘介数的tier-1层自治系统优化
1.假期到了,爸爸、妈妈要上班,我被送到姑妈家.“小花,今天有三项作业,你要在我下班接你之前都做完!尤其是那份手抄报!要听姑妈和表姐的话哦!”“嗯嗯,我会听话的!”
“横眉冷对千夫指,俯首甘为孺子牛”“吃的是草,挤出来的是奶”……在我们的传统印象中,牛是勤劳踏实、无私奉献的代名词,就连属牛和金牛座的人都被认为拥有文件可靠的性格.
双簧管rn我是双簧管,有个兄弟长得跟我有点像,那便是单簧管.别只看是一字之差,我们的音色、吹奏方法,以及按键系统可是大相径庭的.当下,学习单簧管的小伙伴人数众多,相比之下