高春玲
- 作品数:15 被引量:36H指数:4
- 供职机构:洛阳理工学院更多>>
- 发文基金:国家自然科学基金中国博士后科学基金河南省科技攻关计划更多>>
- 相关领域:自动化与计算机技术文化科学更多>>
- 基于定性推理仿射混合自动机的双向精化
- 仿射混合自动机phase-portrait近似验证的关键是抽象模型精化的方向和策略.本文提出了一种基于定性推理的双向精化策略,给出了依据系统动态特性的模态划分方法,抽象模型的精化基于精化线性式在前向可达集和后向可达集两个...
- 刘保罗高春玲赵运基
- 关键词:精化
- 文献传递
- 基于定性推理仿射混合自动机的双向精化
- 仿射混合自动机phase-portrait近似验证的关键是抽象模型精化的方向和策略,本文提出了一种基于定性推理的双向精化策略,给出了依据系统动态特性的模态划分方法,抽象模型的精化基于精化线性式在前向可达集和后向可达集两个...
- 刘保罗高春玲赵运基
- 关键词:精化
- “数据库系统应用”课程教学研究被引量:8
- 2011年
- 分析"数据库系统应用"课程教学中存在的问题,明确课程教学内容,提出采用混合式教学法、任务驱动教学法等改进教学的方法和具体措施。
- 高春玲刘保罗
- 关键词:数据库应用课程教学混合式教学
- 一种无线传感器网络覆盖控制系统
- 本发明公开了一种无线传感器网络覆盖控制系统,包括数据采集模块、通信模块、定位模块、数据处理模块、数据控制模块、远程数据监控中心和供电模块,所述数据采集模块、通信模块、定位模块、数据处理模块、数据控制模块、远程数据监控中心...
- 孙泽宇李龙星赵国增高春玲李远博侯小静李传锋
- 基于概率模型的无线传感器网络优化覆盖算法被引量:6
- 2015年
- 为了更好地解决无线传感器网络在覆盖过程中出现大量冗余信息及节点能量消耗不均衡等现象,提出了一种节点能量均衡的最优覆盖算法。该算法利用监测区域内传感器节点与目标节点的从属关系建立网络模型,给出传感器节点与目标节点之间的从属关系;通过从属关系和概率理论,求解传感器节点对目标节点的覆盖期望值,然后计算出覆盖监测区域所需最少传感器节点数量。实验结果表明,该算法不仅可以使用最少传感器节点完成对监测区域的有效覆盖,而且抵制了冗余信息数据的产生,提高了网络生存周期。
- 李孜高春玲孙泽宇邢萧飞
- 关键词:无线传感器网络网络生存周期
- 一种基于多路径的无线传感器网络数据流量分流路由方法
- 本发明公开了无线传感器技术领域的一种基于多路径的无线传感器网络数据流量分流路由方法,该基于多路径的无线传感器网络数据流量分流路由方法,具体步骤如下:S1:无线传感器网络中设有一个基站和多个节点,S2:在传感器节点收集数据...
- 孙泽宇李传锋李龙星高春玲赵国增李远博阎奔姬孟洛
- 文献传递
- 无线传感器网络中多目标K覆盖保持算法被引量:4
- 2016年
- 在多目标覆盖过程中,大量冗余数据会使对监测区域的有效覆盖有所降低,同时也迫使网络消耗大量能量。针对上述问题,提出一种多目标覆盖保持算法。通过网络模型建立传感器节点与目标节点之间的从属关系,给出对监测区域覆盖期望值的求解方法,在网络能量转换方面,采用传感器节点调度机制,在达到网络能量均衡的同时,通过不同节点之间的能量转换达到不同的网络覆盖质量。仿真结果表明,与基于事件概率模型的优化覆盖算法(EPDM)、基于线性规划的多目标覆盖算法(ETCA)等相比,该算法能获得较高的能量消耗网络生存周期和网络覆盖率。
- 高春玲李孜孙泽宇邢萧飞
- 关键词:无线传感器网络网络生存周期多目标能量消耗
- 应用型高校《数据库原理与应用》课程教改研究与实践被引量:5
- 2018年
- 应用型高校《数据库原理与应用》课程是计算机类专业的核心课程,更是众多新领域工作中必备的创新能力素质之一。文中就课程的教学现状进行了分析,并从课程的的兴趣培养、教学内容的选取、教学方法及手段、考核方式等方面提出了改进措施。教学实践和教学效果证明,这些举措是行之有效的,最后为继续探索本课程的教学改革提出了新的思路。
- 陶荣杨尚森高春玲
- 关键词:应用型高校实践教学项目教学法案例教学法
- 一种增强型事件驱动策略的覆盖空洞补偿算法被引量:3
- 2016年
- 针对无线传感器网络体系在随机部署过程中出现覆盖空洞的现象,借助于概率模型提出了一种CHCAEDS(基于事件驱动策略的覆盖空洞补偿算法)。该算法首先对随机部署的特性进行验证,给出随机部署表示形式;然后利用概率相关知识对监测区域内覆盖期望和节点数量进行求解,以达到使用最少数量的节点覆盖最大的面积。仿真实验表明,与其他算法相比,CHCAEDS在网络生存周期和算法运行时间上分别提高了12.59%和10.82%。
- 孙泽宇高春玲曹仰杰邢萧飞聂雅琳
- 关键词:无线传感器网络
- 双足仿人机器人步态规划仿真研究
- 本文采用零力矩点(ZMP)方法分析了机器人的稳定性,计算了保证其行走稳定性的ZMP边界条件。其次,以人的自然步态为参考,在保证机器人运动连续性的条件下采用多项式拟合来计算出机器人在行走过程中各关节的运动轨迹。然后,结合人...
- 高春玲侯小静李传锋
- 关键词:仿人机器人步态规划多项式拟合MATLAB仿真