【摘 要】
：
指挥控制协同性是实现信息化条件下联合作战指挥的关键。针对当前对指挥控制协同能力需求缺乏形式化描述和分析方法等问题,提出一种指挥控制协同能力需求形式化描述框架,运用
【基金项目】
：
国家自然科学基金（No.61273210）
论文部分内容阅读
指挥控制协同性是实现信息化条件下联合作战指挥的关键。针对当前对指挥控制协同能力需求缺乏形式化描述和分析方法等问题,提出一种指挥控制协同能力需求形式化描述框架,运用进程代数方法对能力之间的关系以及操作进行形式化定义,消除了采用自然语言描述协同能力合成过程中可能产生的语义二义性。案例分析验证了该方法的可用性和有效性。
其他文献
标题是党政公文(以下简称为公文)应具备的基本数据,是一篇公文极其重要的组成部分,因此,应准确规范拟制公文的标题。本文通过梳理某网公文实例,从多方面分析了公文标题拟制的
错误是在理解和语言生成方面与目标语规则产生的系统偏差。就学习者所犯13＂语错误的特点和规律，研究相应的纠错策略，对提高学习者的口语技能将产生明显的积极作用。教师对此应采
本文就工业上所用的或者正在开发中的不同煤气化系统,讨论了煤的工艺性质,如挥发分产率和灰分的特性,结焦性,可磨性及反应性。然后,评述了影响烟煤煤焦和褐煤煤焦对不同气化
我国广大的西部民族地区旅游资源极其丰富，旅游地之间的形象遮蔽现象比较常见，破解民族地区的旅游地形象遮蔽和促进旅游业健康发展具有重要的理论意义和实践价值。本文以渝怀铁
如何提升英语学习者的写作能力,一直是英语课堂上亟需解决的问题。尽管老师和学生都投入了大量精力和时间来进行写作操练,但学生的语言输出效果却不令人满意。本研究中,笔者
作为一种新颖的智能响应型生物材料,形状记忆高分子材料(SMP)已用于骨缺损修复研究。该类材料可在温度、水分等外界刺激下发生“初始态”与“临时态”之间的三维形状转变,可
一、引言"9·11"事件发生之后,美国总统布什的军事助手们曾竭力劝说其进驻夏延山地下指挥中心,一是因为这里是美军对付核威胁和恐怖袭击最安全的地方,二是因为在这里可以
<正>临近毕业季,当中国的大学应届毕业生为了公务员考试、招聘会、笔试面试等疲于奔命时,美国大学生也在经历着非常相似的考验。制作简历、参加校园招聘会、通过网络、报刊等
目的：通过建立压力负荷型和容量负荷型心脏肥大大鼠模型，比较各种评价大鼠心脏结构和功能的方法。方法：采用腹主动脉-下腔静脉造瘘法和主动脉缩窄法分别复制容量负荷型和压力负
蒋士生教授是享受国务院政府特殊津贴的专家,从医30余年,对脾胃病研究颇深,尤对消化系统疾病如慢性萎缩性胃炎的中医药治疗有独到的见解。慢性萎缩性胃炎（CAG）是以胃黏膜萎缩变