声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-2422/TN
国际刊号：1001-506X
发布日期:
作者：刘美凤, 杨文静
单位：国防科技大学信息通信学院, 湖北 武汉 430010
关键词：情境计算,需求,一致性,验证
基金：国家社会科学基金(18XGL023)
情境计算是目前军事信息系统发展的重要部分, 情境计算的需求涉及领域广泛、架构复杂。针对军事信息系统中情境计算需求论证需求不一致问题, 采用本体推理方法发现并消除需求中的冲突和矛盾, 构建了情境计算需求本体模型; 提出了情境计算需求一致性验证内容框架, 针对不一致的情况提出推理验证方法; 最后以一个典型的军事信息系统情境计算系统为例, 进行需求的本体构建和本体推理, 实现了需求的一致性验证。通过本体推理的方法进行需求一致性验证结果直观、修改方便, 对于军事信息系统中情境计算的需求分析具有重要作用。
来源：2023年第1期
《系统工程与电子技术》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。