【摘 要】
：
针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和
【基金项目】
：
国家高技术研究发展计划(863计划)(2007AA01Z126);“十一五”国防重点预研基金(9140A06040108JB8101)资助课题
论文部分内容阅读
针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。
其他文献
相继突然其来的南方大面积雪灾、汶川大地震等自然灾害，给我国带来了巨大的经济打击，同时也使我国的社会大物流系统和企业的物流服务遭受到严峻挑战。在灾害发生时，如何在有限的
大学英语课堂沉默现象表明师生间的互动失败，学生对抗、排斥英语学习的消极心理。它严重制约学生英语综合能力的培养以及教师英语教学水平的提高。本文通过问卷调查和访谈，试图
今年的6月6日是第19个全国“爱眼日”，今年爱眼日的主题是“关注眼健康，预防糖尿病致盲”。糖尿病会影响眼睛的各个部位，而糖尿病视网膜病变（以下简称糖网）是糖尿病眼病中最严重的
目的探讨集中护理干预对晚期胃肠恶性肿瘤患者负性情绪的影响。方法选取我院2016年2月~5月收治30例晚期胃肠恶性肿瘤的患者为观察组,给予集中护理干预,选取我院2015年9月~12
目的探讨分析中药穴位贴敷联合中药汤剂对糖尿病周围神经病变的临床效果。方法将80例患者分为对照组与实验组各40例,两组均常规降糖、营养神经治疗,对照组采用西药甲钴胺治疗
研究者通过自编问卷对艺术类高校大学生宗教信仰展开调查,总结了三方面的特征：信仰程度呈鲜明层次性,信仰水平并不高;信教态度趋向中立,且对宗教宽容度高;信教原因体现出较强
本文主要是针对企业成本控制应用全面预算管理的积极意义以及对企业发展的重要作用进行分析。企业在进行日常运营管理的环节中,需要强化对企业的成本控制就需要合理的应用全
文章首先对武警应急物资采购的地位及重要性进行了研究,在此基础上分析了传统应急物资采购方式的局限性,继而引出了实物期权模式的优越性,并对其优越性进行详细分析,为武警部
目的对脂质体包封体积的测定方法进行综述。方法查阅国内外相关文献57篇,对包封体积的测定方法进行归纳、总结和分析。结果基于不同原理,包封体积的测定方法分为理论模型和实
构造法在高中数学中具有重要地位,是解决数学问题的途径之一,比如可以通过构造斜率、距离、截距、复数、平面向量等求函数的值域,构造椭圆求解某类解三角形问题,构造向量或等