基于LEACH协议的研究与改进

无线传感器网络中如何节能是一个关键问题。对经典的LEACH协议做研究与改进,并提出了一种新型的动态网络转换机制。该算法通过综合考虑候选节点的地理位置、剩余能量等参数来进行网络协议的选择,从而有效地降低了低能量与位置不佳的节点被选为簇首的可能性,进一步保证网络内节点能量负载的均衡性。仿真结果表明,新型的动态网络协议机制能够有效平衡节点的能量消耗分布,延长节点与网络的寿命。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

核电装备业首次向民资敞开 中广核签下10亿大单

中国核电巨头之一的中国广东核电集团3月2日与浙江省30家民营能源装备企业签订合作协议,总金额约10亿元,这是中广核首次面向民营核电装备企业采购相关设备。     

基于TCP/IP协议栈构建的弹上飞控软件评测与验收系统的硬件实现

基于TCP/IP协议栈构建了弹上飞控软件评测与验收系统,详细描述了TCP/IP协议栈在该系统中的应用。     

移动Ad Hoc网络组播路由的研究

移动计算的发展与便携计算设备的大量使用 ,提高了移动无线网络的重要性。由于面向群组计算的应用也大大增加 ,产生了MANET组播路由的需求。由于潜在的广播能力 ,MANET更适合组播通信。本文指出了关于MANET组播路由研究的一些突出的问题 ,并且研究和讨论了现有几种组播协议的优缺点 ,以及对不同条件的适应性。     

校企携手共谋科学发展航天四院与国防科技大学签署战略合作框架协议

6月11日,国防科学技术大学和航天科技集团公司四院在古城西安正式签署战略合作框架协议,标志着以军工科研教学为主的国防高校和以固体动力技术研发为特色的航天研究院在战略合作的道路上迈开了新的一步,双方将在已有的合作基础上开展更为广泛和深入的合作与交流。     

数字

123亿 巴西和法国9月7日正式签署了一项总金额达123亿美元的军售协议。根据协议,法国将帮助巴西建造1艘核动力潜艇,这将使巴西成为全球少数几个拥有核潜艇的国家之一。     

新闻集锦

简阳市人武部学深悟透十七大精神四川简阳市人武部党委着力解决官兵、职工中存在的对十七大精神学不深、悟不透的问题,从抓要点、抓重点、抓热点入手,先后梳理出鲜明的中国特色、两个人人享有、建设生态文明、实现富国和强军的统一、文化软实力、和平协议等40多个新提法和关键阋.逐个进行详细解读。他们围绕基     

北奔客车建设项目落户包头装备制造园区

按照内蒙古自治区要把包头市打造成装备制造业基地的总体要求,进一步落实自治区政府与兵器工业集团公司签订的《关于加快包头地区装备制造业改革发展的框架协议》精神,6月28日,北奔重汽公司与包头市青山区人民政府举行了北奔客车建设项目框架协议签约仪式。     

中核集团与河南省共同推进核电建设

“河南省有较多较好符合核电建设自然条件的厂址,中核集团愿意积极调动自身技术和人才力量在河南省开展核电前期工作。”11月16日,中核集团公司总经理康日新在《共同推进河南核电建设的框架协议》签字仪式上表示。中核集团党组成员、总经理助理王森和河南省副省长张大卫分别代表双方签署了协议。