国家自然科学基金(61040036)
- 作品数：3 被引量：5H指数：2
- 相关作者：周国富杜卓敏蔡宇孙韵秋李杰更多>>
- 相关机构：武汉大学天津农学院武汉科技大学更多>>
- 发文基金：国家自然科学基金教育部留学回国人员科研启动基金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 无线传感网中基于半定规划的定位修正算法被引量：1
- 2018年
- 无线传感网络的定位精度依赖于噪声电平和非视距连接。为此,提出基于半定规划的定位修正算法,其以半定规划ESDP算法为基础,且记为ESDP_O算法,旨在提高定位精度和减少在恶劣环境下的定位时间。ESDP_O算法通过引用抖动矩阵,修改了ESDP算法,提高了ESDP_O算法在高测距误差环境的鲁棒性。ESDP_O算法通过寻找低秩解,应对高噪声和非视距偏差。仿真结果表明,在高噪声和多数测距是非视距NLOS环境下,ESDP_O算法的定位精度优于基于同类算法,并且降低了计算复杂度。
- 匡博王颖李杰熊庆国王秀芬
- 关键词：无线传感网络半定规划计算复杂度
- 程序代码中隐含数据与控制的Petri网建模技术被引量：3
- 2011年
- 应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets规范向经典Petri网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets规范,利用经典Petri网理论对程序的性质进行分析.
- 周国富杜卓敏
- 关键词：形式化PETRI网程序语义
- CCNeter:C程序代码Petri网自动建模工具被引量：2
- 2011年
- CCNeter是实现扩展的Petri网——CNet自动可视化建模的工具,对程序语句从数据、操作和控制3个方面进行描述,刻画了程序代码中数据、操作以及控制之间的关系。它通过解析C工程中文件、函数模块、变量之间的依赖关系,自动形成程序的CNet规范,并根据CNet规范自动进行图形绘制和布局。CCNeter是实现程序静态分析自动化的重要前提。
- 周国富孙韵秋蔡宇
- 关键词：PETRI网CNET
