收藏本站
《国防科技大学学报》 2003年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

指挥控制的形式化描述与性质验证

邓小妮  袁卫卫  曾熠  罗雪山  
【摘要】:在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 代建民,齐欢;C~4ISR系统的指挥控制认知模型[J];兵工自动化;2005年04期
中国博士学位论文全文数据库 前1条
1 宋一兵;计算机生成兵力中智能体技术与应用研究[D];哈尔滨工程大学;2006年
中国硕士学位论文全文数据库 前2条
1 梁浩;系统体系结构设计的一致性约束和检验[D];华中科技大学;2006年
2 马永进;中小学信息技术等级证书考试阅卷系统的设计与实现[D];国防科学技术大学;2005年
【参考文献】
中国期刊全文数据库 前1条
1 罗雪山,朱德成,沈雪石;IDEF0方法在军事综合电子信息系统分析设计中的应用[J];国防科技大学学报;2001年03期
【共引文献】
中国期刊全文数据库 前2条
1 段采宇;张维明;余滨;;C~4ISR需求模型化框架[J];国防科技大学学报;2007年05期
2 修胜龙,罗雪山,沙基昌;一种C~3I系统仿真模型生成方法[J];系统工程与电子技术;2003年10期
中国硕士学位论文全文数据库 前2条
1 王首臻;基于功能模拟的装备维修规划方法研究[D];国防科学技术大学;2006年
2 梁浩;系统体系结构设计的一致性约束和检验[D];华中科技大学;2006年
【同被引文献】
中国期刊全文数据库 前10条
1 代建民,齐欢;C~4ISR系统的指挥控制认知模型[J];兵工自动化;2005年04期
2 修胜龙,罗雪山,罗爱民;C~4ISR体系结构的可执行模型生成方法研究[J];湖南工程学院学报(自然科学版);2005年01期
3 侯锋,陈洪辉,罗雪山;基于多Agent的C~4ISR系统建模与仿真方法研究[J];光电技术应用;2004年03期
4 罗雪山,朱德成,沈雪石;IDEF0方法在军事综合电子信息系统分析设计中的应用[J];国防科技大学学报;2001年03期
5 黄力,罗爱民,罗雪山;C~4ISR体系结构工程概念研究[J];国防科技大学学报;2004年01期
6 高云,沙基昌,罗雪山;建模仿真主计划及其关键技术[J];火力与指挥控制;2001年01期
7 梁颖达,曹群,罗雪山,朱德成;几类C~4ISR系统模型的可用性和局限性[J];火力与指挥控制;2004年01期
8 黄力,罗爱民,邱涤珊,罗雪山;C~4ISR体系结构框架研究进展[J];火力与指挥控制;2004年03期
9 朱小军,袁卫卫,黄光奇,罗雪山;C~4ISR体系结构设计方法[J];火力与指挥控制;2005年03期
10 石双元,刘高峡;IDEF1X信息建模与逻辑设计[J];华中理工大学学报;1997年04期
中国重要会议论文全文数据库 前1条
1 王志良;解仑;刘冀伟;薛为民;魏哲华;;基于人工心理理论的情感模型建立及其数值仿真[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
中国博士学位论文全文数据库 前3条
1 刘秀罗;CGF建模相关技术及其在指挥控制建模中的应用研究[D];国防科学技术大学;2001年
2 孙珠峰;舰艇CGF协同反潜技术研究[D];哈尔滨工程大学;2004年
3 陈中祥;基于BDI Agent的CGF主体行为建模理论与技术研究[D];华中科技大学;2004年
【二级引证文献】
中国硕士学位论文全文数据库 前2条
1 张鸿雁;空中电子对抗仿真系统兵力生成技术研究[D];西北工业大学;2007年
2 王波;基于“心智操作”的知识作业过程表征方法研究[D];电子科技大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 王晖娟;严明;;E-8C参加网络战试验[J];飞航导弹;2011年06期
2 马凌;莫雨;;MBDA公司验证垂直发射型麦卡导弹对抗防区外武器的能力[J];飞航导弹;2011年07期
3 蒋琪;宋怡然;;激光制导型JDAM打击移动目标能力得到验证[J];飞航导弹;2011年06期
4 ;全球快讯[J];飞航导弹;2011年06期
5 凌云翔;叶挺;陆锡高;谈益兴;;基于触摸自然手势的指挥所业务映射与验证方法研究[J];系统仿真学报;2011年07期
6 江南;;江南旧事之模拟舱[J];现代舰船;2011年10期
7 董晨阳;朱参世;靳顺尧;;基层级航空弹药技术保障中保障人员的配置优化[J];航空维修与工程;2011年03期
8 周翠平;徐亚栋;;基于虚拟仪器技术的复合材料身管动态试验[J];淮阴工学院学报;2011年03期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前2条
1 曾利伟;吕川;;通信装备可靠性指标的确定及其验证[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
2 邱江升;建占一;范锦锋;;FMEA失效分析及失效的防止[A];第三届河南省汽车工程科技学术研讨会论文集[C];2006年
中国重要报纸全文数据库 前1条
1 晓航;诺·格公司开发海军型无人战斗机[N];中国航空报;2001年
中国硕士学位论文全文数据库 前2条
1 杜斌;工业电雷管在电磁环境下的受作用机理与安全性研究[D];安徽理工大学;2008年
2 邢云燕;小子样条件下武器装备可靠性与维修性指标验证方法[D];国防科学技术大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026