【摘 要】
：
针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强，提出了一种基于规则推理的军事概念模型验证方法，并详细介绍了该方法的原理、框架、实施步骤、验证内
论文部分内容阅读
针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强，提出了一种基于规则推理的军事概念模型验证方法，并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家，在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性，减少非形式化验证方法的主观性和不确定性，提高概念模型验证的质量和效率。
其他文献
实践和理论的关系问题是贯穿整个德国古典哲学的一条基本线索。康德、费希特、谢林和黑格尔对理论和实践辩证关系的阐释表明，实践高于理论思想的发展是一个合乎逻辑的历史进程
目的探究牙列拥挤患者接受拔牙矫治期间辅以四手操作护理干预的效果。方法本次研究选取2018年2月~2019年2月于我院接受拔牙矫治治疗的牙列拥挤患者42例作为观察对象,根据抽签
在初中函数内容中,模型的思想、变化和对应的思想、数形结合思想和分类讨论思想是核心的数学思想方法.与模型的思想、数形结合的思想和分类讨论思想在具体函数内容学习中存在
本文从技术角度出发,基于对第四代国际海事卫星地面站射频系统的建设研究,着重对GEO卫星移动通信系统的RFS架构、天线及伺服系统、上下行射频链路、AFC设计、系统关键性能指
<正> 1 引言 类风湿关节炎是一种以关节慢性炎症为主要表现的自身免疫性疾病,随着病情的反复活动、病程进展,最终可导致关节破坏、畸形和功能障碍。有报道类风湿关节炎患者5～1
目的 :探讨前列腺增生所致膀胱出口梗阻的主要诊断参数及如何结合应用于临床的诊断问题。方法 :对 15 6例前列腺增生患者进行国际前列腺症状评分问卷调查 ,并行直肠B超和尿流
目的探讨心理护理干预在小儿拔牙中的应用效果。方法选择2018年1月至2018年12月在我院接受拔牙的患儿77例作为研究对象,随机分为两组,观察组38例,对照组39例,对照组进行拔牙
结合城市道路绿化现状,分析了栾树作为行道树在应用中存在的问题。从树叶滴油入手,找出根本原因,并提出防控技术措施,防止和控制栾树蚜虫危害,达到“控油”目的。
本文以新疆公共图书馆新型智库建设为研究样本,从梳理新疆智库建设的基本定位入手,系统分析新疆公共图书馆智库服务地方政府决策的基本方向、任务工作实践和存在问题,并结合
分析了天玛控制系统的技术原理、系统网络结构、子系统组成及功能设计,并将其应用于阳煤集团一矿S8303厚煤层综采工作面,成功实现了采煤机远程一键操控启停、自动化运行管理,