广东省自然科学基金(10152800001000016)
- 作品数：6 被引量：42H指数：2
- 相关作者：周灵王建新杨文茵钟勇马莉更多>>
- 相关机构：佛山科学技术学院中南大学佛山大学更多>>
- 发文基金：广东省自然科学基金国家自然科学基金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于WinPcap的网络监测系统设计及协议分析被引量：1
- 2012年
- 网络监测是网络管理、安全和控制的前提,为了深入研究网络监测理论和应用开发技术,探讨了目前流行的WinPcap网络监测理论及其应用系统设计,基于Visual C++设计了一个网络通信监测系统,实现了典型的网络监测管理功能,并对系统通信协议数据包进行了基本的分析。
- 周灵丁伟雄杨文茵
- 关键词：网络监测WINPCAP系统设计
- 基于北斗系统的QoS保障地理位置路由算法被引量：2
- 2012年
- 基于北斗定位/导航系统,研究无线多媒体传感器网络(WMSNs)定位技术在地理位置信息路由算法中的应用,根据贪婪策略和地理位置信息设计一个无线多媒体传感器网络QoS支持路由算法。该算法与SPEED算法一样,提供软时延保障。同时,优化的代价函数平衡了能耗、网络生存期和无线带宽等参数。在理论上分析该算法的软、硬时延保障及其他QoS性能,结果表明,该算法能为WMSNs的多媒体通信提供较多的QoS控制保障。
- 周灵杨文茵
- 关键词：无线多媒体传感器网络北斗系统路由算法QOS保障性能分析
- DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述被引量：1
- 2014年
- Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。
- 马莉钟勇霍颖瑜
- 关键词：形式化描述语言OBJECT-Z
- 无线多媒体传感器网络路由协议研究被引量：31
- 2011年
- 传统的无线传感器网络(Wireless Sensor Networks,WSNs)路由协议不能很好地适应多媒体数据流的传输.近来,提出了一些无线多媒体传感器网络(Wireless Multimedia Sensor Networks,WMSNs)路由协议.本文首先讲述了WMSNs服务质量保障路由问题及其面临的挑战,从五个方面归纳了传统的WSNs路由协议,在此基础上论述了WMSNs路由协议的QoS需求、设计原则、控制策略及其限制.然后,综述了当前典型的WMSNs服务质量保障控制路由协议,包括各协议的设计目标、核心思想、基本策略、主要内容及其优缺点;在列表比较的基础上,研究了存在的问题和缺陷.最后,指出了WMSNs路由协议研究的开放性问题及其发展方向.
- 周灵王建新
- 关键词：无线传感器网络多媒体路由协议
- 基于责任策略的非严格实时系统形式化研究
- 2014年
- 严格实时系统行为的实时性要求具有不可更改性,非严格实时系统的实时性要求则具有延缓性、替代性以及可补偿性特征,现有的形式化规格说明语言多集中在对严格实时系统的研究,对非严格实时系统的这些特征则缺乏描述能力。针对上述问题,使用一种Object-Z扩展语言来描述非严格实时系统,该方法采用扩展的Object-Z历史不变式表达责任策略,能有效地描述非严格实时系统中的缺省策略、补偿策略以及其他非严格实时策略。以会议系统为例,说明该方法能形式化描述非严格实时行为,具有较强的实用性。
- 马莉钟勇霍颖瑜
- 关键词：形式化规格说明
- 路径节点驱动的低代价最短路径树算法被引量：7
- 2011年
- Dijkstra算法是一个优秀的最短路径求解算法,同时也产生一棵最短路径树SPT(shortestpathtree);该算法在网络计算与优化中得到了广泛的应用.为了对最短路径树进行代价优化,提出了路径节点驱动的思想.基于这种思想设计了路径节点驱动的最低代价最短路径树算法LCSPT(least-costshortestpathtreealgorithm).通过LCSPT算法一个正计算节点能够最大化与当前最短路径树中的路径共享,因而进一步优化SPT树代价性能,生成高性能的SPT树.作为算法的重要组成部分,使用数学归纳法证明了算法的正确性;从理论上分析了LCSPT算法的代价性能,以及和同类算法相比如何取得最小代价性能;同时,对其时间复杂度和空间复杂度进行了分析.最后通过3个仿真实验验证了该算法在构建SPT时的正确性和其最小代价最短路径树特性.
- 周灵王建新
- 关键词：组播仿真
