刘保罗
- 作品数：43 被引量：62H指数：5
- 供职机构：洛阳理工学院更多>>
- 发文基金：国家自然科学基金河南省高等学校青年骨干教师资助计划项目国家安全生产监督管理总局安全生产科技发展计划项目更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程文化科学更多>>
- 疫情限制下物联网工程专业应急教学体系构建研究被引量：1
- 2021年
- 由于疫情防控严重影响高校教学活动的展开,而且物联网工程专业知识涉及跨度范围大,导致疫情期间线上教学活动问题多。为了改善疫情限制下的物联网工程专业各课程教学效果,基于该专业基本情况分析疫情下的教学问题,探索疫情期间物联网工程专业应急教学体系构建方案,提升线上课堂亲和度,完善线上实验教学,师生共建线上综合资源平台,深化线上校企合作,开展线上思政全动员,实现任何突发情况下的物联网人才优质培养。
- 聂雅琳刘保罗龚蕾
- 关键词：物联网工程高校教学活动
- B-Snake模型在虚拟内窥镜路径规划中的应用
- 提出一种基于B-Snake模型的交互式中心路径规划算法。该算法不需要预先对器官进行分割,可直接对原始图像进行路径规划。算法中通过定义移动正多面体中心化法,为模型样条控制点提供趋向腔体器官中心的外力。省略了传统Snake模...
- 高向军刘保罗徐瑞朝
- 关键词：虚拟内窥镜路径规划
- 文献传递
- 基于定性推理仿射混合自动机的矩形精化
- 仿射混合自动机phase-portrait近似精化的关键是控制模态的有效划分.本文提出了定性推理的矩形精化,给出了一种基于失败集、向量场特性、感兴趣线性式及其李导数的模态空间划分方法,并进一步给出了基于精化线性式的迭代精...
- 刘保罗李蒙裴海龙
- 文献传递
- 混合自动机的多项式phase-portrait近似被引量：1
- 2008年
- 抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述了如何自动构造多项式phase-portrait近似自动机及如何精化近似模型。
- 刘保罗裴海龙李坚强张胜祥
- 关键词：混合自动机
- 基于凸优化的一类切换线性系统的生存域计算
- 2008年
- 讨论了一类切换线性系统的生存域计算问题.采用微分包含描述切换系统,对于两种不用形式描述的多胞形初始状态集合,将近似椭球生存域的计算问题,转化为约束条件为线性矩阵不等式的凸优化问题.
- 张胜祥裴海龙刘保罗李坚强
- 关键词：切换线性系统凸优化
- 云辅助下基于超分辨技术的无线图像传感器网络节能策略
- 云辅助下基于超分辨技术的无线图像传感器网络节能策略，具体包括如下步骤：含多雾节点、图像节点及传输节点的网络部署；与前述网络相匹配的路由构建及超分辨模型训练；雾节点与图像节点交互调整；图像节点与传输节点交互进行网络数据传输...
- 聂雅琳董汉磊龚蕾刘保罗
- 文献传递
- 定性推理在矩形phase-portrait近似中的应用
- 2008年
- 抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。
- 刘保罗裴海龙李坚强
- 关键词：混合自动机李导数
- 基于案例推理的矿井通风机故障诊断设计被引量：4
- 2010年
- 为了提高矿井通风机故障诊断的准确率,建立矿井通风机故障与检测参数的案例库,基于案例推理(Case-Based Reasoning,CBR)方式进行矿井通风机故障的诊断。详细介绍了矿井通风机CBR案例库的建立方法、案例库的检索方法。通过采用动态置信度阈值与静态置信度阈值综合判断方法进行案例检索与重用,显著改善了故障诊断系统的适用性。
- 李蒙刘保罗
- 关键词：矿井通风机故障诊断
- 基于定性推理仿射混合自动机的双向精化
- 仿射混合自动机phase-portrait近似验证的关键是抽象模型精化的方向和策略.本文提出了一种基于定性推理的双向精化策略,给出了依据系统动态特性的模态划分方法,抽象模型的精化基于精化线性式在前向可达集和后向可达集两个...
- 刘保罗高春玲赵运基
- 关键词：精化
- 文献传递
- 基于定性推理仿射混合自动机的双向精化
- 仿射混合自动机phase-portrait近似验证的关键是抽象模型精化的方向和策略，本文提出了一种基于定性推理的双向精化策略，给出了依据系统动态特性的模态划分方法，抽象模型的精化基于精化线性式在前向可达集和后向可达集两个...
- 刘保罗高春玲赵运基
- 关键词：精化
