郝莉莉

作品数：12被引量：20H指数：3
导出分析报告
供职机构：西北工业大学更多>>
发文主题：AUV着色PETRI网CPN形式化建模与验证多AUV更多>>
发文领域：自动化与计算机技术交通运输工程兵器科学与技术理学更多>>
发文期刊：《系统仿真学报》《系统工程与电子技术》《计算机仿真》《计算机测量与控制》更多>>
所获基金：水下信息与控制国防科技重点实验室开放基金国家重点实验室开放基金国家教育部博士点基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
不确定条件下AUV编队决策系统的WIFTCPN形式化建模
《系统仿真学报》2015年第8期1740-1746,共7页郝莉莉 顾浩 康凤举 杨惠珍 
AUV编队系统受测量不精确、水下通信时延、粒度不一致等不确定条件作用,针对其决策系统离散、时延、分层、信息模糊等特点,提出了一种具有严格的数学基础、集形式化建模、仿真与验证为一体的方法—加权直觉模糊时间着色Petri网(weighted...
关键词：不确定信息 决策 形式化建模 加权直觉模糊时间着色Petri网 
一种资源约束下的AUV编队系统动态任务规划方法
《鱼雷技术》2014年第4期277-281,共5页郝莉莉 顾浩 康凤举 杨惠珍 
船舶预研支撑技术基金(11J4.1.1)
动态任务规划是协调复杂环境、自主水下航行器(AUV)有限资源以及动态任务之间耦合,提高编队协同能力的关键技术。针对资源约束下的AUV编队系统动态任务规划问题,提出了一种基于不公平度的资源均衡方法,兼顾资源均衡和效能最大2个目标,...
关键词：AUV编队 任务规划 着色PETRI网 资源均衡 
多AUV编队分布式仿真系统设计与实现被引量：1
《计算机仿真》2013年第11期356-360,共5页翟楠楠 杨惠珍 郝莉莉 赵冬磊 
西北工业大学基础研究基金(2011JC0242)
为了对多AUV编队系统的体系结构、编队控制策略等进行演示和验证,设计并实现了多AUV编队仿真系统。系统由三个节点组成,模拟了三个AUV组成的编队系统,每个节点由一台工控机和反射内存卡组成;各个节点间通过光纤连接成环形实时网络,并兼...
关键词：自主水下航行器 编队系统 反射内存 分布式仿真 
可组合的鱼雷作战效能评估仿真系统研究被引量：1
《鱼雷技术》2013年第2期146-152,共7页杨惠珍 朱远军 张建春 郝莉莉 康凤举 
船舶预研基金(11J4.1.1)
鱼雷作战效能评估仿真系统涉及发射平台、鱼雷武器、目标、对抗器材等复杂实体以及风场、海浪、水声场等复杂环境的建模和仿真问题,实现不同领域的实体和环境仿真模型的重用与组合是作战效能仿真系统开发面临的挑战。本文探讨了仿真可...
关键词：鱼雷作战效能 仿真可组合性 仿真系统 本体 
基于情景驱动的军事概念模型的开发被引量：3
《系统工程与电子技术》2013年第4期880-884,共5页张建春 康凤举 郝莉莉 由延军 
水下信息处理与控制国家重点实验室基金(9140C2305041001);船舶预研支撑技术基金(11J4.1.1)资助课题
针对当前军事仿真系统开发的复杂性和应用的广泛性,研究了军事概念模型的开发方法。在确定概念模型的评价指标的基础上,提出了基于情景驱动(scenario-driven,SD)的仿真概念模型开发方法,给出了概念模型的格式化描述方法,并利用一般概念...
关键词：仿真系统 概念建模 情景驱动 语法 语义 
Simulink/Stateflow的AUV群体协作合同网快速原型仿真被引量：3
《火力与指挥控制》2013年第2期26-30,共5页郝莉莉 顾浩 杨惠珍 康凤举 
国家重点实验室基金资助项目(9140C2305041001)
基于合同网的AUV群体协作系统是一个混合系统,既包括合同网任务分配这一离散事件驱动模型,又包括AUV运动学模型。在研究合同网任务分配方法的基础上,提出了基于Simulink/Stateflow的AUV群体协作合同网快速原型的建立与仿真方法,实现了基...
关键词：STATEFLOW 合同网 任务分配 AUV群体协作 快速原型 
基于CPN的联邦概念模型形式化建模与验证(英文)被引量：3
《系统仿真学报》2012年第7期1361-1365,1372,共6页杨惠珍 郝莉莉 
提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助...
关键词：着色Petri网(CPN) 验证 联邦概念模型(FCM) 形式化模型 
基于Jacobi几何向量的多AUV编队控制方法
《鱼雷技术》2012年第2期111-116,共6页张静 杨惠珍 郝莉莉 康凤举 
水下信号与控制重点实验室基金资助(9140C2305041001)
研究了多自主水下航行器(MAUV)系统的水平面动力学建模和系统编队控制问题。从单个自主水下航行器的动力学和运动学模型出发,通过引入Jacobi几何向量建立了MAUV系统的水平面动力学模型;结合典型水下航行器全方位智能导器(ODIN)的流体动...
关键词：多自主水下航行器(MAUV) 编队控制 Jacobi几何向量 全方位智能导航器(ODIN) 线性反馈控制 
一种换能器阻抗测试分析及数据管理系统的设计与实现被引量：3
《计算机测量与控制》2012年第1期231-233,共3页张静 杨惠珍 郝莉莉 李家宽 
设计并实现了一种换能器阻抗测试分析及数据管理系统;基于LabWIndows/CVI开发的换能器阻抗测试软件运行在PC机上,通过GPIB通信接口控制Agilent4294A高精度阻抗分析仪对换能器进行阻抗参数测试,并在PC机上实时显示测试数据和测试曲线,同...
关键词：虚拟仪器技术 LABWINDOWS/CVI 精密阻抗 测控系统 
CPN在FCM形式化建模与验证中的应用被引量：1
《计算机仿真》2011年第6期113-116,共4页郝莉莉 杨惠珍 谢攀 
西北工业大学翱翔之星项目资助
联邦概念模型(FCM)是整个联邦系统开发的依据。针对当前FCM建模能力差、可重用性低,以及很难实现FCM的动态行为验证的缺陷,分析了国内外形式化建模与验证方法研究的现状,提出了一种基于着色Petri网(CPN)的联邦概念模型形式化建模与验证...
关键词：联邦概念模型 形式化建模 形式化验证 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部