郝莉莉
- 作品数：24 被引量：19H指数：3
- 供职机构：西北工业大学更多>>
- 发文基金：水下信息与控制国防科技重点实验室开放基金国家教育部博士点基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程兵器科学与技术理学更多>>
- 一种资源约束下的AUV编队系统动态任务规划方法
- 2014年
- 动态任务规划是协调复杂环境、自主水下航行器(AUV)有限资源以及动态任务之间耦合,提高编队协同能力的关键技术。针对资源约束下的AUV编队系统动态任务规划问题,提出了一种基于不公平度的资源均衡方法,兼顾资源均衡和效能最大2个目标,建立了基于合同网的多约束多目标任务规划数学模型,基于着色Petri网实现了系统的形式化建模/仿真/验证一体化。仿真结果表明,该方法能够有效地解决以效能最大为目标的资源选择原则导致的优者负载过重和以平均执行任务数为核心的负载平衡算法带来的任务等待时间延长问题,提高了系统的效能。
- 郝莉莉顾浩康凤举杨惠珍
- 关键词：着色PETRI网资源均衡
- 基于Jacobi几何向量的多AUV编队控制方法
- 2012年
- 研究了多自主水下航行器(MAUV)系统的水平面动力学建模和系统编队控制问题。从单个自主水下航行器的动力学和运动学模型出发,通过引入Jacobi几何向量建立了MAUV系统的水平面动力学模型;结合典型水下航行器全方位智能导器(ODIN)的流体动力参数,将系统模型解耦为3个线性子系统——编队队形、编队运动(即编队中心点的运动)及航行器转向子系统,并采用线性状态反馈法设计了运动控制器和转向控制器。仿真结果表明,该算法可以控制MAUV系统在保持编队队形的基础上跟踪已知路径。
- 张静杨惠珍郝莉莉康凤举
- 关键词：编队控制线性反馈控制
- 深度模拟器实时控制系统及控制方法
- 本发明公开了一种深度模拟器实时控制系统及控制方法，液压泵站提供油源使压力腔产生相应的压力，压力一路加载到用户传感器上，另一路加载到双量程压力传感器上，将PCI-1716采集的双量程传感器反馈电压信号输送到工业控制计算机，...
- 杨惠珍康凤举郝莉莉李家宽
- 仿真可信性/可信度评估与VV&A
- 文章回顾了仿真可信性和可信度评估以及VV&A研究的国内外研究历史和现状,对仿真可信性和仿真可信度的概念进行了分析,指出了二者的区别。结合国内仿真系统的发展状况分析了仿真可信性评估与WW&A、仿真可信度评估与VV&A的区别...
- 杨惠珍张静郝莉莉康凤举
- 文献传递
- 基于Simulink/Stateflow的AUV群体协作合同网快速原型仿真
- 郝莉莉杨惠珍顾浩康凤举
- 关键词：STATEFLOW合同网
- 深度模拟器实时控制系统及控制方法
- 本发明公开了一种深度模拟器实时控制系统及控制方法，液压泵站提供油源使压力腔产生相应的压力，压力一路加载到用户传感器上，另一路加载到双量程压力传感器上，将PCI-1716采集的双量程传感器反馈电压信号输送到工业控制计算机，...
- 杨惠珍康凤举郝莉莉李家宽
- 文献传递
- CPN在FCM形式化建模与验证中的应用被引量：1
- 2011年
- 联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证方法,给出了用CPN建立与验证FCM的步骤,并以一制造系统为例,利用CPN Tools建立了系统的FCM,验证了所建模型的活性、家态和公平性。研究表明,CPN能够为FCM的形式化建模和验证提供有效的支持。
- 郝莉莉杨惠珍谢攀
- 关键词：联邦概念模型形式化建模形式化验证
- 不确定条件下AUV编队决策系统的WIFTCPN形式化建模
- 2015年
- AUV编队系统受测量不精确、水下通信时延、粒度不一致等不确定条件作用,针对其决策系统离散、时延、分层、信息模糊等特点,提出了一种具有严格的数学基础、集形式化建模、仿真与验证为一体的方法—加权直觉模糊时间着色Petri网(weighted intuitionistic fuzzy timed colored petri net,WIFTCPN),给出了模糊时间延迟、不确定信息、模糊知识以及加权直觉模糊推理等与WIFTCPN之间的映射关系,利用CPN Tools工具构建了不确定信息的推理决策的仿真模型,并通过仿真分析检验了模型的正确性、活性和安全性等。
- 郝莉莉顾浩康凤举杨惠珍
- 关键词：不确定信息形式化建模
- Simulink/Stateflow的AUV群体协作合同网快速原型仿真被引量：2
- 2013年
- 基于合同网的AUV群体协作系统是一个混合系统,既包括合同网任务分配这一离散事件驱动模型,又包括AUV运动学模型。在研究合同网任务分配方法的基础上,提出了基于Simulink/Stateflow的AUV群体协作合同网快速原型的建立与仿真方法,实现了基于Stateflow的合同网任务分配模块与基于Simulink的AUV运动学模块的混合仿真,并给出了有、无合同网的仿真对比。仿真结果表明,该方法能够简单、快速和形象地模拟AUV系统的协同作业过程,是验证任务分配方法和分析效能的有效手段。
- 郝莉莉顾浩杨惠珍康凤举
- 关键词：STATEFLOW合同网
- 基于Simulink/Stateflow的AUV群体协作合同网快速原型仿真
- 在研究合同网任务分配方法的基础上,提出了基于Simulink/Stateflow的AUV群体协作合同网快速原型的建立与仿真方法,实现了基于Stateflow的合同网任务分配模块与基于Simulink的AUV运动学模块的混...
- 郝莉莉杨惠珍顾浩康凤举
- 关键词：STATEFLOW合同网
- 文献传递
