您的位置: 专家智库 > >

国家自然科学基金(60874068)

作品数:14 被引量:76H指数:6
相关作者:王明哲倪枫杨翠蓉廖晶静郭法滨更多>>
相关机构:华中科技大学中国人民解放军空军雷达学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术自然科学总论社会学经济管理更多>>

文献类型

  • 14篇中文期刊文章

领域

  • 11篇自动化与计算...
  • 3篇自然科学总论
  • 1篇经济管理
  • 1篇电子电信
  • 1篇社会学
  • 1篇军事
  • 1篇理学

主题

  • 4篇着色PETR...
  • 4篇PETRI网
  • 3篇矩阵
  • 3篇关联矩阵
  • 3篇仿真
  • 2篇体系结构
  • 2篇雷达
  • 2篇混杂系统
  • 2篇COGNIT...
  • 2篇FRAMEW...
  • 2篇MODELI...
  • 1篇拥挤
  • 1篇拥挤度
  • 1篇鱼群算法
  • 1篇设计方法
  • 1篇视距
  • 1篇特征值
  • 1篇群算法
  • 1篇子群
  • 1篇组件

机构

  • 11篇华中科技大学
  • 2篇中国人民解放...

作者

  • 11篇王明哲
  • 5篇倪枫
  • 4篇杨翠蓉
  • 4篇廖晶静
  • 3篇郭法滨
  • 2篇宋阿妮
  • 2篇周丰
  • 2篇严振华
  • 1篇王莉
  • 1篇杨兆民
  • 1篇龚浩华
  • 1篇方哲梅
  • 1篇方益
  • 1篇彭思勇
  • 1篇于洪辉

传媒

  • 3篇系统工程与电...
  • 3篇应用科学学报
  • 2篇兵工自动化
  • 2篇Journa...
  • 1篇系统工程理论...
  • 1篇计算机工程
  • 1篇计算机应用研...
  • 1篇空军雷达学院...

年份

  • 1篇2012
  • 3篇2011
  • 9篇2010
  • 1篇2009
14 条 记 录,以下是 1-10
排序方式:
用影响网分析复杂系统关键事件被引量:6
2010年
为分析复杂系统关键事件,将系统事件序列图转换为影响网图,通过着色Petri网进行建模和仿真,采用影响网分析系统事件的敏感性并搜索关键事件集合.统计着色Petri网模型的仿真输出结果,得出事件发生的条件概率和基准概率,将影响强度与条件概率值的关系线性化,从而推算出影响强度.该方法避免了影响强度、基准概率等参数由专家指定存在的主观性.以弹道导弹防御系统为例进行分析,结果表明所述方法直观实用,对复杂系统的决策有一定的参考价值.
杨翠蓉王明哲廖晶静
关键词:仿真模型着色PETRI网
Modeling of combined Bayesian networks and cognitive framework for decision-making in C2被引量:8
2010年
The command and control(C2) is a decision-making process based on human cognition,which contains operational,physical,and human characteristics,so it takes on uncertainty and complexity.As a decision support approach,Bayesian networks(BNs) provide a framework in which a decision is made by combining the experts' knowledge and the specific data.In addition,an expert system represented by human cognitive framework is adopted to express the real-time decision-making process of the decision maker.The combination of the Bayesian decision support and human cognitive framework in the C2 of a specific application field is modeled and executed by colored Petri nets(CPNs),and the consequences of execution manifest such combination can perfectly present the decision-making process in C2.
Li WangMingzhe Wang
基于着色Petri网的混杂监控系统建模分析
2012年
针对现有建模分析方法在混杂系统中系统建模和性能分析中表现的不足,提出一种基于离散事件监控框架的混杂系统仿真建模分析方法。应用着色Petri网技术构建混杂系统离散事件系统模型框架,内嵌连续系统模型,利用Petri网标识线性约束实现系统动态行为仿真分析和基于局部关联矩阵的Petri网监控设计。基于现有的离散事件动态理论的监控分析,采用离散事件系统Petri网监控方法实现混杂系统监控行为分析。并通过导弹拦截系统案例进行验证,实践结果证明了该混杂建模分析方法的可行性。
于洪辉严振华王明哲
关键词:混杂系统着色PETRI网
一种改进的Petri网S不变量计算方法被引量:3
2010年
用于计算Petri网S不变量的M-S算法将所有正负行两两做线性组合变换,增加了算法的复杂度,得到的最终结果也并不一定是最小S不变量支撑。针对该问题,提出一种改进算法。通过增加对Petri网关联矩阵的预处理步骤,减少线性组合运算的次数,并得到最小S不变量支撑。理论与实验结果证明,M-S算法的复杂度为s×t,而改进算法的复杂度为s+t,该算法能有效减少计算复杂度。
周丰王明哲王莉
关键词:PETRI网复杂度
大型Petri网模型最小trap(siphon)集合的快速求解算法被引量:1
2010年
为了快速确定大型Petri网模型中的trap(siphon)逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,提出一种二元操作算子,由此构造计算最小trap和siphon集合的矩阵求解算法,以实例详细阐述了算法的具体步骤。通过与已有求解方法的比较,进一步验证了该算法在求解大型Petri网系统最小trap(siphon)集合上的计算速度优势。
廖晶静王明哲倪枫郭法滨
关键词:PETRI网关联矩阵
着色Petri网的结构展开方法被引量:7
2011年
为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.
宋阿妮王明哲郭法滨倪枫
关键词:着色PETRI网关联矩阵
Modeling of cognitive framework in time-stressed decision making被引量:3
2009年
An approach for modeling a human cognitive framework in time-stressed decision making is presented. The recognitive and metacognitive processes that represent the cognitive framework are modeled by the colored Petri nets (CPNs). A structural and behavioral analysis method is adopted to obtain the static and dynamic property used to verify the CPNs model of the cognitive framework. Finally, an example from the command and control radar recognition system is used to evaluate the feasibility and availability of the CPNs model adopted in practical systems.
Wang Li Wang Mingzhe
一种战略预警系统体系结构研究的思路
2010年
为更科学合理地构建战略预警系统体系结构,从战略预警系统体系结构研究的重要性入手,确定了战略预警系统体系结构的设计、数据模型、互操作性和行动仿真4个主要研究内容,提出战略预警系统体系结构研究的一种技术思路,研究表明只有通过研究体系结构设计理论、建模方法和仿真检验技术,才能做到及早发现战略预警系统结构设计中的问题.
彭思勇杨兆民严振华
关键词:体系结构组件系统
基于面向对象思想的SoS体系结构设计方法被引量:13
2010年
针对一类由众多组件系统集结而成的系统之系统(system of systems,SoS),以美国国防部体系结构框架(DoDAF)为标准,提出了一种基于面向对象思想的SoS体系结构DoDAF作战视图产品五阶段迭代设计方法。利用UML静态和动态建模机制的特点,采用自顶向下、自底向上相结合的方式实现SoS体系结构作战视图产品的面向对象描述。以一个战术导弹防御(tactical missile defense,TMD)系统为例,详细说明SoS体系结构DoDAF作战视图产品的面向对象设计过程,并总结了该方法的两大优越特性:横向通用性与纵向可复用性,以及由此给SoS体系结构带来的"柔性"优势。这是传统设计方法所不能实现的。
倪枫王明哲郭法滨宋阿妮
关键词:面向对象设计方法
用关联矩阵特征值分析Petri网模型结构被引量:8
2010年
通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性.根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明.采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.
廖晶静王明哲
关键词:PETRI网关联矩阵特征值
共2页<12>
聚类工具0