国家自然科学基金(61262029)
- 作品数：7 被引量：8H指数：2
- 相关作者：吴茂念杨玲杨静陈其松刘欣更多>>
- 相关机构：贵州大学贵州财经大学西南大学更多>>
- 发文基金：国家自然科学基金贵州省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 无线Mesh网络中路由与信道联合分配研究被引量：3
- 2014年
- 无线Mesh网络中路由器使用多射频接口并配备多信道传输能有效增加网络吞吐量及降低干扰。研究路由与信道分配问题的目的就是增加网络容量、减少延迟等。文中针对无线Mesh网络中多接口多信道的路由与信道分配问题做了统一考虑,根据路由约束、信道约束、干扰约束以及宽带约束建立了混合整数线性规划(MILP)模型,并提出了基于迭代搜索的启发式算法很好地解决了此问题。仿真结果表明该算法可以提高网络吞吐量,降低延迟。
- 杨玲陈其松吴茂念
- 关键词：无线MESH网络路由分配信道分配网络吞吐量端到端延迟
- 无线Mesh网络路由与信道分配综述
- 2013年
- 移动互联网已成为二十一世纪信息技术领域的研究热点。高性能移动终端的快速更新及先进的无线网络接入技术,不但繁荣了全球移动互联网服务广度,而且提升了全球移动互联网的服务水平,体现了"无处不在的网络,无所不能的业务"。由于无线Mesh网络与传统的网络技术相比有诸多优点,使之成为当前无线网络接入技术的研究主流。本文首先简介了无线Mesh网络结构、特点、安全性。然后从路由与信道分配方面对无线Mesh网络研究现状进行综述。最后总结了无线Mesh网络所面临的挑战及未来的发展方向。
- 杨玲刘荣飞
- 关键词：移动互联网接入网络无线MESH网络路由分配信道分配
- 离散数学的微课程设计被引量：1
- 2015年
- 离散数学是计算机软件和硬件专业的核心基础课之一,覆盖了数理逻辑、集合论与关系代数、代数系统、图论、组合数学等数学分支,用在形式语言与自动机、通讯模型和纠错码、数据结构、数字电路等课程中.本文通过把离散数学中的几大板块中的重点及难点分别制作成六分钟一集的微课程,通过形象的动漫技术实现了快乐学习离散数学的效果,并且使学习的过程离散化碎片化,学生可以在自己方便的一小片时间学习离散数学的某一知识点,实现了离散数学的翻转课堂,提高学习效率、节约学习成本,使离散数学的学习变得更加有趣、生动、活泼,在轻松快乐的学习气氛中达到教学大纲要求的效果.
- 张孟杰杨静李智罗卫腾飞管林郭世阳
- 关键词：离散数学
- 基于视觉分析的机器人最优避障路径识别方法被引量：3
- 2017年
- 传统的机器人避障路径识别方法存在识别不准确、误差大、效率低的问题.对此,本文提出基于视觉分析的机器人最优避障路径识别方法:建立机器人避障路径观测模型以分析机器人运动状态,采用基于RBPF的SLAM方法对避障路径进行降噪滤波处理,在此基础上运用适应度函数排序避障路径,并引入视觉分析法识别排序后的避障路径,从而实现有效识别最优避障路径的目的.实验结果证明,与传统识别方法相比,改进方法的识别精度较高,运行耗费时间较短,具有一定的实用性.
- 刘欣陈武
- 关键词：SLAM识别方法视觉分析
- 指向分析语义及其存在性证明
- 2015年
- 作为别名分析的主要形式,指向分析通过计算指向关系提供完整的别名关系。准确刻画指向分析中相关概念及语义十分有助于深入理解程序中指向关系的生成及变化过程,并为别名分析或指向分析相关形式化工作奠定理论基础。针对面向对象程序设计语言中一个与指向分析有关的基本子集,给出指向关系和指向状态的数学描述,定义一个指向分析语义函数PT以刻画面向对象程序中基本语句对指向状态的作用。最后证明了该语义是合适定义的。
- 杨波谢刚李松张明义
- 关键词：语义
- 循环结构的形式化推导被引量：1
- 2014年
- 介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。
- 李贤贞吴茂念杨静
- 关键词：形式化方法循环不变式
- 基于改进E-Score语义及剪枝算法研究
- 2014年
- E-Score查询算法返回元组期望最大的k个结果,常常不能适应更高级客户的查询需求,语义需要改进使得更加合理.本文把位置概率引入进E-score语义,定义了一个新的Topk查询语义——带有位置概率的期望得分排序(PPE-Score),并基于位置概率对算法进行修枝剪枝形成相应算法.最后用实验验证新剪枝算法的有效性.
- 曹庆傲吴茂念
- 关键词：不确定性数据TOP-K
