基于OpenFlow的SDN中链路层拓扑发现的优化

在基于OpenFlow的软件定义网络中,控制器需要对全局网络状态保持全面并且实时的掌握,怎样快速地获取当前网络的拓扑状态成为了重要前提。而SDN的拓扑发现协议OFDP虽然已经将控制权交给了控制器,但是仍采用洪泛式的拓扑发现消息发送机制来进行拓扑发现,没有达到全局最优,增加了不必要的开销。因此,提出一种基于OFDP的改进机制,在控制器中添加新的拓扑发现功能模块,通过减少重复端口发现的方式,来减少网络中的拓扑发现消息的数量。仿真实验结果表明,改进机制在加快了网络拓扑的生成的同时,减轻了控制器的负载。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

基于LEACH协议的研究与改进

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

参数化系统二维抽象框架

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

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

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

陕柴重工又一新型柴油机研制成功

陕西柴油机重工有限公司目前顺利完成了首台12V32／40柴油机交货试验．标志着该型柴油机研制取得成功。该型柴油机是陕柴重工于2004年从德国MANB＆W公司引进的四个系列柴油机中的一型．     

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

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

网上非典信息报告统计系统的开发

武警学院防治非典信息报告统计系统是在北京突发非典疫情 ,全国各地高度重视非典防治的情况下着手开发的。文章通过对非典信息报告统计系统的实现代码、实现技术、实现功能以及功能模块的分析 ,旨在介绍利用 NET技术实现网上分级实时统计的编程方法     

CIWS“密集阵”近程武器系统

“密集阵”近程武器系统（CIWS）是美国海军舰只的最后屏障,它能自动搜索、探测、评估、跟踪和锁定威胁目标,有效地打击从其他防空系统漏掉的反舰导弹。“密集阵”系统是美国雷西昂公司的产品,已经生产了850多套,装备了几乎美国所有的海军舰艇以及另外20多个国家。它使用6管20毫米M61M1加特林枪炮,发射脱壳穿甲弹(APDS),射速大致在3000-4500发份钟可调,储弹989发（最新型为1550发)。最大射程6000米,整个系统重5625千克。SPG-60搜索跟踪雷达工作在Ku波段,采用闭环多点技术”,使“密集阵”既能能跟踪来龚的目标,也能跟踪发射的炮弹,从而更有效的杀伤来龚目标。