期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种分析作战指控并发信息流的Petri网模型
被引量：
1
1
作者
张力
赵宗涛
+1 位作者
慕晓冬
邵军勇
《西北大学学报（自然科学版）》
CAS
CSCD
北大核心
2006年第1期33-35,共3页
目的对军事指挥控制系统进行评估和仿真。方法建立了一种描述系统的Petri网模型,进而分析在并发信息流中产生死锁的关节所在。结果为从理论上研究指控系统的效能、发现和排解死锁以及系统的评估和仿真等提供了可靠的根据,有效地保证了...
目的对军事指挥控制系统进行评估和仿真。方法建立了一种描述系统的Petri网模型,进而分析在并发信息流中产生死锁的关节所在。结果为从理论上研究指控系统的效能、发现和排解死锁以及系统的评估和仿真等提供了可靠的根据,有效地保证了对系统的应用与研究。结论经部队仿真演习试用,效果良好,对于提高部队应急反应能力与组建新的指控系统具有重要的价值。
展开更多
关键词
作战指控
petri
网
并发信息流
系统效能
在线阅读
下载PDF
职称材料
基于Petri网的作战指挥并发信息流模型研究与应用
2
作者
张力
赵宗涛
+1 位作者
慕晓冬
赵鹏
《计算机应用与软件》
CSCD
北大核心
2007年第7期52-53,共2页
在军事指挥系统中往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统的指挥效能。基于Petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究指挥系统的效能,例如,发现和...
在军事指挥系统中往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统的指挥效能。基于Petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究指挥系统的效能,例如,发现和排解死锁等,提供了可靠根据,有效地保证了系统的正常运行。经部队仿真演习试用,效果良好,对于提高部队应急反应能力具有重要的价值。
展开更多
关键词
petri
网
并发信息流
模型
死锁
作战指挥
在线阅读
下载PDF
职称材料
基于Petri网的指挥信息系统死锁防治算法
3
作者
张力
慕晓冬
赵宗涛
《计算机工程》
CAS
CSCD
北大核心
2009年第1期159-161,共3页
多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题,也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型,以抽取某级通信指挥系统与筹划作战方案的智能运作模型为实例,系统归纳了模型抽...
多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题,也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型,以抽取某级通信指挥系统与筹划作战方案的智能运作模型为实例,系统归纳了模型抽取方法,进而提出其死锁防治算法DLPCA,它能够防止系统出现的死锁等弊端,为组建一体化信息系统提供可靠的理论基础。经仿真试验,算法是有效可行的,在系统较长时间的工作中,可将死锁的次数减少50%左右。
展开更多
关键词
petri
网模型
信息系统
作战指挥
死锁防治
在线阅读
下载PDF
职称材料
题名
一种分析作战指控并发信息流的Petri网模型
被引量：
1
1
作者
张力
赵宗涛
慕晓冬
邵军勇
机构
西北大学信息科学与技术学院
西安高技术研究所计算机室
出处
《西北大学学报（自然科学版）》
CAS
CSCD
北大核心
2006年第1期33-35,共3页
基金
国防预研基金资助项目
文摘
目的对军事指挥控制系统进行评估和仿真。方法建立了一种描述系统的Petri网模型,进而分析在并发信息流中产生死锁的关节所在。结果为从理论上研究指控系统的效能、发现和排解死锁以及系统的评估和仿真等提供了可靠的根据,有效地保证了对系统的应用与研究。结论经部队仿真演习试用,效果良好,对于提高部队应急反应能力与组建新的指控系统具有重要的价值。
关键词
作战指控
petri
网
并发信息流
系统效能
Keywords
battle
command
and control
petri
net
concurrent
information
flow
potency of system
分类号
TP302.7 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于Petri网的作战指挥并发信息流模型研究与应用
2
作者
张力
赵宗涛
慕晓冬
赵鹏
机构
西北大学计算机科学系
西安高技术研究所计算机室陕西西安
西安高技术研究所计算机室
出处
《计算机应用与软件》
CSCD
北大核心
2007年第7期52-53,共2页
基金
国防预研(41327020405)。
文摘
在军事指挥系统中往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统的指挥效能。基于Petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究指挥系统的效能,例如,发现和排解死锁等,提供了可靠根据,有效地保证了系统的正常运行。经部队仿真演习试用,效果良好,对于提高部队应急反应能力具有重要的价值。
关键词
petri
网
并发信息流
模型
死锁
作战指挥
Keywords
petri net concurrent information flow model deadlock battle command
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于Petri网的指挥信息系统死锁防治算法
3
作者
张力
慕晓冬
赵宗涛
机构
第二炮兵工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第1期159-161,共3页
基金
国家部委预研基金资助项目
文摘
多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题,也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型,以抽取某级通信指挥系统与筹划作战方案的智能运作模型为实例,系统归纳了模型抽取方法,进而提出其死锁防治算法DLPCA,它能够防止系统出现的死锁等弊端,为组建一体化信息系统提供可靠的理论基础。经仿真试验,算法是有效可行的,在系统较长时间的工作中,可将死锁的次数减少50%左右。
关键词
petri
网模型
信息系统
作战指挥
死锁防治
Keywords
petri
net
model
information
system
battle
command
prevention and cure of
deadlock
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种分析作战指控并发信息流的Petri网模型
张力
赵宗涛
慕晓冬
邵军勇
《西北大学学报（自然科学版）》
CAS
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
2
基于Petri网的作战指挥并发信息流模型研究与应用
张力
赵宗涛
慕晓冬
赵鹏
《计算机应用与软件》
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
3
基于Petri网的指挥信息系统死锁防治算法
张力
慕晓冬
赵宗涛
《计算机工程》
CAS
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
