期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于UML&OPN的C^4ISR系统体系结构仿真验证研究
被引量:
11
1
作者
柏晓莉
姜军
+1 位作者
罗雪山
张耀鸿
《系统工程与电子技术》
EI
CSCD
北大核心
2008年第4期671-676,共6页
基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时...
基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效、合理地评估系统的性能。
展开更多
关键词
C^4ISR系统
体系结构验证
UML
对象PETRI网
仿真
下载PDF
职称材料
基于对象Petri网的防空反导建模与仿真
被引量:
4
2
作者
卢聪
凌云翔
张耀鸿
《火力与指挥控制》
CSCD
北大核心
2015年第11期39-44,共6页
针对防空反导要素多、过程复杂的特点,详细分析了导弹预警与防御拦截流程,结合对象Petri网建模方法,对防空反导建模中涉及到的关键节点、信息流、影响因素等要素进行分析,应用指挥控制、冲突处理等机制,自底向上建立防空反导的对象Petr...
针对防空反导要素多、过程复杂的特点,详细分析了导弹预警与防御拦截流程,结合对象Petri网建模方法,对防空反导建模中涉及到的关键节点、信息流、影响因素等要素进行分析,应用指挥控制、冲突处理等机制,自底向上建立防空反导的对象Petri网模型,并通过简单案例,初步验证了所用方法与模型对研究防空反导信息优势的可行性与适用性。
展开更多
关键词
防空反导
对象PETRI网
建模仿真
下载PDF
职称材料
基于Petri网的工作流模型的研究
被引量:
12
3
作者
杨雯
刘厚泉
《计算机工程与设计》
CSCD
北大核心
2007年第17期4149-4151,4164,共4页
介绍了一般Petri网及工作流网的基本定义,在基本的工作流网系统定义的基础上,引入面向对象技术及分层技术,提出了一种面向对象的工作流网的模型,以提高模型的可读性和重用性,实现流程的分层建模,降低建模复杂度。通过一个具体实例阐述...
介绍了一般Petri网及工作流网的基本定义,在基本的工作流网系统定义的基础上,引入面向对象技术及分层技术,提出了一种面向对象的工作流网的模型,以提高模型的可读性和重用性,实现流程的分层建模,降低建模复杂度。通过一个具体实例阐述了如何建立扩展工作流网模型,并通过简化技术和可达树分析方法,验证了模型的活性。
展开更多
关键词
工作流
PETRI网
面向对象
可达树
化简
下载PDF
职称材料
作战事件跟踪描述建模及验证方法研究
被引量:
3
4
作者
刘刚
罗爱民
皇甫先鹏
《计算机科学》
CSCD
北大核心
2012年第5期291-294,共4页
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的...
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法。在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例。最后,结合防空作战过程给出该方法的一个应用案例。
展开更多
关键词
对象PETRI网
作战事件跟踪描述
验证评估
下载PDF
职称材料
基于知识的工件物流系统调度模型构造与实现
被引量:
2
5
作者
杨敏
叶邦彦
牟丽
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2003年第9期26-30,共5页
将Petri网与专家系统相结合 ,采用面向对象的方法 ,建立了工件物流系统模型 .文中还介绍了基于模型的各种策略实现方法并开发了相应的软件 ,最后给出了仿真实验 .仿真实验结果表明 ,该模型结构简单 ,且建模方法容易实现专家系统与Petri...
将Petri网与专家系统相结合 ,采用面向对象的方法 ,建立了工件物流系统模型 .文中还介绍了基于模型的各种策略实现方法并开发了相应的软件 ,最后给出了仿真实验 .仿真实验结果表明 ,该模型结构简单 ,且建模方法容易实现专家系统与Petri网相结合 ,容易实现调度策略的柔性化和专家系统基于知识的分析咨询功能 .
展开更多
关键词
柔性物流系统
调度规则
面向对象
PETRI网
专家系统
下载PDF
职称材料
基于Petri网模型的主动对象研究
被引量:
1
6
作者
吕丽民
陈火旺
《计算机工程与科学》
CSCD
1997年第2期16-20,共5页
本文分析了Petri网及其动态行为特性,扩充了事件、条件、动作等成份的内涵,引入了基于Petri网事件驱动的主动对象模型,并分析了该主动对象的性质。
关键词
对象
PETRI网
预测
模型
下载PDF
职称材料
基于面向对象着色Petri网的FMS仿真研究
被引量:
5
7
作者
李晓鸥
余文
徐心和
《计算机科学》
CSCD
北大核心
1995年第5期61-65,共5页
<正>1引言 柔性制造系统(F Ms)的控制问题是当今Petri网应用研究的热点,也是难点~[1].研的主要困难在于Petri网的复杂性随着系统规模的增加呈指数倍地增长.在当前激烈的市场竞争环下。
关键词
FMS
仿真
PETRI网
面向对象
下载PDF
职称材料
面向对象Petri网继承性的研究
被引量:
2
8
作者
于秀宾
任爱华
《计算机工程与设计》
CSCD
北大核心
2008年第20期5190-5194,共5页
面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题。针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模...
面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题。针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活。
展开更多
关键词
PETRI网
面向对象
面向对象PETRI网
继承性
并发
多态性
状态爆炸
建模语言
下载PDF
职称材料
基于AGV柔性物流系统调度策略的实现
被引量:
3
9
作者
杨敏
吴振彪
+1 位作者
陈冬珍
李梦卿
《湖北工学院学报》
2001年第1期52-55,共4页
讨论了在柔性物流系统中各种工件的流动调度策略 ,使用面向对象的高级 Petri网给工件物流系统建模 。
关键词
柔性物流系统
面向对象高级Petri网
调度策略
柔性制造系统
工件流动
启发式调度
下载PDF
职称材料
多媒体信息表现中资源竞争的研究
10
作者
方幼林
矫文成
+1 位作者
陈致明
朱琳杰
《计算机科学》
CSCD
北大核心
1997年第4期43-46,共4页
多媒休信息的表现与同步是多媒体系统,特别是多媒体电子邮件、计算机支持的协同工作虚拟现实模拟及分布式多媒体计算的关键技术。应用Petri网理论描述多媒体的同步技术刚刚起。
关键词
资源竞争
AOCPN
多媒体
信息表现
下载PDF
职称材料
题名
基于UML&OPN的C^4ISR系统体系结构仿真验证研究
被引量:
11
1
作者
柏晓莉
姜军
罗雪山
张耀鸿
机构
国防科学技术大学信息与管理学院C
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2008年第4期671-676,共6页
基金
装备预研重点基金资助课题(9140A06020306kG01)
文摘
基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品。根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型。通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效、合理地评估系统的性能。
关键词
C^4ISR系统
体系结构验证
UML
对象PETRI网
仿真
Keywords
C^4ISR system
architecture validation
uniform modeling language
object
-based
petrinet
s, simulation
分类号
TP392.1 [自动化与计算机技术—计算机应用技术]
E96 [军事—军事通信学]
下载PDF
职称材料
题名
基于对象Petri网的防空反导建模与仿真
被引量:
4
2
作者
卢聪
凌云翔
张耀鸿
机构
国防科技大学信息系统工程重点实验室
武警警官学院
出处
《火力与指挥控制》
CSCD
北大核心
2015年第11期39-44,共6页
基金
国家自然科学基金资助项目(61272336)
文摘
针对防空反导要素多、过程复杂的特点,详细分析了导弹预警与防御拦截流程,结合对象Petri网建模方法,对防空反导建模中涉及到的关键节点、信息流、影响因素等要素进行分析,应用指挥控制、冲突处理等机制,自底向上建立防空反导的对象Petri网模型,并通过简单案例,初步验证了所用方法与模型对研究防空反导信息优势的可行性与适用性。
关键词
防空反导
对象PETRI网
建模仿真
Keywords
antimissile aerial defense
object petrinet
modeling and simulation
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于Petri网的工作流模型的研究
被引量:
12
3
作者
杨雯
刘厚泉
机构
中国矿业大学计算机学院
出处
《计算机工程与设计》
CSCD
北大核心
2007年第17期4149-4151,4164,共4页
文摘
介绍了一般Petri网及工作流网的基本定义,在基本的工作流网系统定义的基础上,引入面向对象技术及分层技术,提出了一种面向对象的工作流网的模型,以提高模型的可读性和重用性,实现流程的分层建模,降低建模复杂度。通过一个具体实例阐述了如何建立扩展工作流网模型,并通过简化技术和可达树分析方法,验证了模型的活性。
关键词
工作流
PETRI网
面向对象
可达树
化简
Keywords
workflow
petrinet
object
-oriented
reachabilitytree
reduction
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作战事件跟踪描述建模及验证方法研究
被引量:
3
4
作者
刘刚
罗爱民
皇甫先鹏
机构
国防科学技术大学信息系统工程重点实验室
出处
《计算机科学》
CSCD
北大核心
2012年第5期291-294,共4页
基金
国家自然科学基金项目复杂信息系统功能活动模型集成分析方法(71071160)资助
文摘
为了对体系结构设计中的作战事件跟踪描述进行建模分析,提出了用扩展时序图模型对作战事件跟踪描述进行建模的方法。定义时序图的生命线为时间消息,研究了时序图模型与Petri模型之间的同构关系,以此为依据给出了时序图转换为Petri网的算法。在此基础上,研究了扩展时序图和对象Petri网之间的转换算法,并处理了扩展时序图中的自环消息特例。最后,结合防空作战过程给出该方法的一个应用案例。
关键词
对象PETRI网
作战事件跟踪描述
验证评估
Keywords
object
-based
petrinet
s
Operational event-trace description
Validation and evaluation
分类号
TP392 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于知识的工件物流系统调度模型构造与实现
被引量:
2
5
作者
杨敏
叶邦彦
牟丽
机构
华南理工大学机械工程学院
出处
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2003年第9期26-30,共5页
文摘
将Petri网与专家系统相结合 ,采用面向对象的方法 ,建立了工件物流系统模型 .文中还介绍了基于模型的各种策略实现方法并开发了相应的软件 ,最后给出了仿真实验 .仿真实验结果表明 ,该模型结构简单 ,且建模方法容易实现专家系统与Petri网相结合 ,容易实现调度策略的柔性化和专家系统基于知识的分析咨询功能 .
关键词
柔性物流系统
调度规则
面向对象
PETRI网
专家系统
Keywords
flexible material flow system
scheduling rule
object
-oriented
petrinet
expert system
分类号
TP11 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于Petri网模型的主动对象研究
被引量:
1
6
作者
吕丽民
陈火旺
机构
浙江工业大学
国防科技大学
出处
《计算机工程与科学》
CSCD
1997年第2期16-20,共5页
基金
浙江省科委重点项目
浙江省基金
文摘
本文分析了Petri网及其动态行为特性,扩充了事件、条件、动作等成份的内涵,引入了基于Petri网事件驱动的主动对象模型,并分析了该主动对象的性质。
关键词
对象
PETRI网
预测
模型
Keywords
object
,
petrinet
,prediction
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于面向对象着色Petri网的FMS仿真研究
被引量:
5
7
作者
李晓鸥
余文
徐心和
机构
东北大学自动控制系
出处
《计算机科学》
CSCD
北大核心
1995年第5期61-65,共5页
文摘
<正>1引言 柔性制造系统(F Ms)的控制问题是当今Petri网应用研究的热点,也是难点~[1].研的主要困难在于Petri网的复杂性随着系统规模的增加呈指数倍地增长.在当前激烈的市场竞争环下。
关键词
FMS
仿真
PETRI网
面向对象
Keywords
FMS,
object
-oriented,Colored
petrinet
,Simulation.
分类号
TH165 [机械工程—机械制造及自动化]
下载PDF
职称材料
题名
面向对象Petri网继承性的研究
被引量:
2
8
作者
于秀宾
任爱华
机构
北京航空航天大学软件工程研究所
出处
《计算机工程与设计》
CSCD
北大核心
2008年第20期5190-5194,共5页
基金
航空基础科学基金项目(2005ZJ51075)
文摘
面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题。针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活。
关键词
PETRI网
面向对象
面向对象PETRI网
继承性
并发
多态性
状态爆炸
建模语言
Keywords
petrinet
s
object
-oriented
object
-oriented
petrinet
s
inheritance
concurrent
polymorphism
state explosion
modeling language
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于AGV柔性物流系统调度策略的实现
被引量:
3
9
作者
杨敏
吴振彪
陈冬珍
李梦卿
机构
湖北工学院机械工程系
出处
《湖北工学院学报》
2001年第1期52-55,共4页
文摘
讨论了在柔性物流系统中各种工件的流动调度策略 ,使用面向对象的高级 Petri网给工件物流系统建模 。
关键词
柔性物流系统
面向对象高级Petri网
调度策略
柔性制造系统
工件流动
启发式调度
Keywords
flexible material flow sysem
object
oriented
petrinet
scheduling strategies
分类号
TH165.1 [机械工程—机械制造及自动化]
下载PDF
职称材料
题名
多媒体信息表现中资源竞争的研究
10
作者
方幼林
矫文成
陈致明
朱琳杰
机构
军械工程学院
出处
《计算机科学》
CSCD
北大核心
1997年第4期43-46,共4页
文摘
多媒休信息的表现与同步是多媒体系统,特别是多媒体电子邮件、计算机支持的协同工作虚拟现实模拟及分布式多媒体计算的关键技术。应用Petri网理论描述多媒体的同步技术刚刚起。
关键词
资源竞争
AOCPN
多媒体
信息表现
Keywords
Multimedia synchronization,Advanced
object
composite
petrinet
,Role Rule
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于UML&OPN的C^4ISR系统体系结构仿真验证研究
柏晓莉
姜军
罗雪山
张耀鸿
《系统工程与电子技术》
EI
CSCD
北大核心
2008
11
下载PDF
职称材料
2
基于对象Petri网的防空反导建模与仿真
卢聪
凌云翔
张耀鸿
《火力与指挥控制》
CSCD
北大核心
2015
4
下载PDF
职称材料
3
基于Petri网的工作流模型的研究
杨雯
刘厚泉
《计算机工程与设计》
CSCD
北大核心
2007
12
下载PDF
职称材料
4
作战事件跟踪描述建模及验证方法研究
刘刚
罗爱民
皇甫先鹏
《计算机科学》
CSCD
北大核心
2012
3
下载PDF
职称材料
5
基于知识的工件物流系统调度模型构造与实现
杨敏
叶邦彦
牟丽
《华南理工大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2003
2
下载PDF
职称材料
6
基于Petri网模型的主动对象研究
吕丽民
陈火旺
《计算机工程与科学》
CSCD
1997
1
下载PDF
职称材料
7
基于面向对象着色Petri网的FMS仿真研究
李晓鸥
余文
徐心和
《计算机科学》
CSCD
北大核心
1995
5
下载PDF
职称材料
8
面向对象Petri网继承性的研究
于秀宾
任爱华
《计算机工程与设计》
CSCD
北大核心
2008
2
下载PDF
职称材料
9
基于AGV柔性物流系统调度策略的实现
杨敏
吴振彪
陈冬珍
李梦卿
《湖北工学院学报》
2001
3
下载PDF
职称材料
10
多媒体信息表现中资源竞争的研究
方幼林
矫文成
陈致明
朱琳杰
《计算机科学》
CSCD
北大核心
1997
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部