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

来源 :国防科技大学学报 | 被引量 : 0次 | 上传用户：shashuang0126

【摘要】

：

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(Language of Temporal Ordering

【作者】

：

邓小妮袁卫卫曾熠罗雪山

【机构】

：

国防科技大学人文与管理学院

【出处】

：

国防科技大学学报

【发表日期】

：

2003年6期

【关键词】

：

指挥控制 C^4ISR 形式化描述验证 LOTOS command and controlC~4ISRformal specificationverifica

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(Language of Temporal Ordering Specification) 和基于动作的时序逻辑ACTL(Action Based Temporal Logical) 对系统进行了形式化描述和性质验证.这为C4ISR系统的需求描述和验证提供了一种新的思路和方法.

其他文献

青少年腰椎间盘突出症的治疗

目的探索青少年腰椎间盘突出症发生、发展的特点，提出治疗的观点。方法对经X线、CT造影等检查确诊的21例腰椎间盘突出症的患者进行保守治疗，均无明显的效果，之后积极手术。结果

期刊

青少年腰椎间盘突出症治疗

描绘器物:物质、时间与空间

在宇宙学视野下,器物文化的形状是涵盖物质、时间与空间在内的艺术宇宙。在物质层面,器物文化主要包括知觉材料文化与艺术材料文化,并在数量、质量、结构、造型、功能等层面

期刊

器物文化批评物质时间空间

基于分布式数据库的综合信息系统关键技术研究

在当今的信息发展异常迅速的时代,我国在这一领域也取得到了较为优异的成绩,信息技术的发展对于移动互联网技术以及物联网技术等等都起到了比较重要的推动作用,从而就对信息

期刊

分布式数据综合信息系统关键技术

魏长生续谈

【正】拙稿《谈魏长生》在我院学报一九七九年第一期发表后,颇引起留意乡邦文献、关心川剧史研究的同志们的注意。有同志就其中某些资料提出谘询。那篇文章本是旧稿的要删,

期刊

魏长生刘朗玉陈银官燕兰小谱

浅谈列管式钛管海水换热器的特点及设计经验

钛换热器凭借工业纯钛的各种优良性质,广泛应用于石油、化工、食品、医药、冶金、制冷、海水换热、盐水换热等行业和领域。本文就国内一沿海炼油厂,管束材质为钛管的列管式海

期刊

列管式换热器海水换热钛管

浅谈在小学数学教学中培养学生的创新意识

小学数学作为一门基础学科．在教学中培养学生的创新能力显得尤为重要。创新是一个民族进步的灵魂．是国家兴旺发达的不竭动力，一个没有创新能力的民族．难以屹立在世界先进民族之林

期刊

创新意识小学数学教学平行四边形长方体

战略导向下创新网络适应性演化模式研究

在构建环境不确定性程度框架的基础上,结合战略导向理论,分析不同环境状态下的企业行为模式,进而研究创新网络演化模式.

期刊

环境不确定性创新网络战略导向演化

论高校音乐学专业研究性学习的实施策略

由于新课程改革的不断推进,研究性学习已成为各大高校课程改革中的首选。研究性学习伴随现代教育的发展而生,能够体现出当代课程教学的科学性、专业性。在高校音乐学专业中进

期刊

高校音乐学专业研究性学习实施策略

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

与本文相关的学术论文