您的位置： 专家智库 > >

王正谦

作品数：6 被引量：1H指数：1
供职机构：南京航空航天大学自动化学院更多>>
发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇期刊文章
  • 2篇专利

领域

  • 4篇自动化与计算...

主题

  • 2篇信息熵
  • 2篇随机PETR...
  • 2篇参数识别
  • 1篇移动机器人
  • 1篇应用共享
  • 1篇余度
  • 1篇云计算
  • 1篇运动控制
  • 1篇运动控制模块
  • 1篇诊断功能
  • 1篇软件设计
  • 1篇软件设计开发
  • 1篇实时数据
  • 1篇实时数据采集
  • 1篇数据采集
  • 1篇数据存储
  • 1篇数据存储中心
  • 1篇双余度
  • 1篇随机PETR...
  • 1篇网模型

机构

  • 6篇南京航空航天...
  • 1篇安阳工学院

作者

  • 6篇刘久富
  • 6篇王正谦
  • 5篇陈哲
  • 2篇梁娟娟
  • 2篇陈柯
  • 2篇朱丹丹
  • 1篇王志胜
  • 1篇马国富
  • 1篇杨忠

传媒

  • 2篇计算机技术与...
  • 1篇计算机工程与...
  • 1篇四川大学学报...

年份

  • 1篇2015
  • 2篇2014
  • 2篇2013
  • 1篇2012
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
一种3G警用移动机器人双余度控制系统
本发明公布了一种3G警用移动机器人双余度控制系统。其硬件结构主要包含远程控制平台、本地控制系统和警用移动机器人等部分，远程控制平台与本地控制系统之间依靠3G网络进行通信；软件设计开发采用模块化思想。实现了对警用移动机器人...
刘久富陈哲王正谦梁娟娟朱丹丹陈柯
文献传递
基于抽象解释和数值熵的数值程序分析方法
2014年
在高度依赖软件的信息时代,程序的正确性验证问题需要深入研究。文中提出了基于抽象解释和数值熵的数值程序正确性分析方法。抽象解释理论为程序静态分析提供了一个通用框架,在编译时能够自动地推导程序的动态性质。数值信息熵能够反映变量的值范围,通过熵值的大小可以判断变量取值是否在规定范围内。通过一个C程序对该方法进行了验证,该数值程序分析方法可以做到对程序正确性等的验证,并且较单纯地抽象解释近似分析,正确性、可靠性更高。
王正谦刘久富陈哲
一种基于云计算的无人机自动检测及故障诊断方法
本发明涉及一种基于云计算的无人机自动检测及故障诊断方法，使用云计算平台，结合虚拟仪器labview，使检测系统具有网络化的特点，方便地组建网络化虚拟仪器检测系统实现实时数据采集。将实时采集到的数据上传到云端的数据服务器并...
刘久富梁娟娟朱丹丹陈柯陈哲王正谦
文献传递
机载液压油源系统非马尔科夫随机Petri网模型与时间参数识别
2013年
机载液压油源系统的正常行执行时间服从正态分布和异常行为执行时间服从指数分布。Petri网模型处理确定行为,不能处理随机行为。随机Petri网(stochastic Petri nets,SPN)模型与确定-随机Petri网(DSPN)模型处理属于指数分布的行为,不能处理正态分布的行为。提出用正态-随机Petri网(NSPN)对机载液压油源系统建模,给出正态-随机Petri网模型的正态参数与指数分布参数的识别算法。仿真计算结果表明,计算的变迁时间参数值与系统实际运行时间参数值相比误差较小,验证了该方法的有效性。
刘久富陈哲王正谦王志胜杨忠
关键词：随机PETRI网参数识别
基于正态Petri网的模型参数识别研究被引量：1
2014年
时间因素在对实时系统的分析中占据着重要的位置。随着时间因素在Petri网应用分析中的地位越发重要,各种与时间相关的Petri网模型相继被提出。文中结合动态实时系统的运行特征,设计了一种变迁点火时间服从正态分布的随机Petri网模型,并基于对系统行为的统计分析,提出了一种用于对变迁时间参数进行识别的数值算法。以一种随机制造单元为例,建立正态随机Petri网模型,并运用参数识别算法确定变迁时间参数。仿真结果符合系统的实际运行结果,证明了该方法的有效性。
陈哲刘久富王正谦
关键词：随机PETRI网参数识别
基于抽象域和数值熵协同的数值程序分析
2015年
在软件日益丰富的信息时代,程序的正确性验证问题需要深入地研究。提出了基于抽象解释和数值熵协同的数值程序正确性分析方法。利用抽象解释理论框架对数值程序进行抽象解释分析,提取不变量的抽象域区间;在抽象域区间上进行数值熵运算;运行程序获取数值变量的实际取值,计算数值熵;将抽象域区间数值熵和实际数值熵信息进行对比分析,准确地判断程序的正确性等性质。单纯的抽象解释分析只可以近似得到数值变量的取值范围,而引入数值熵算法,在取值范围的基础上对程序静态分析的准确性进一步检验,同时也做到了对程序的正确性验证。通过C语言程序实例,对抽象解释基础上的熵值分析方法进行了验证,证明了该分析方法的可行性和正确性。
马国富王正谦刘久富
全选 清除 导出
共1页<1>
聚类工具0