【摘 要】
：
在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方
【基金项目】
：
国家自然科学基金资助项目(71901217,KYZYJJGJ1207)
论文部分内容阅读
在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。
其他文献
编者的话村规民约作为村民自我管理、自我约束的手段,是实现乡村治理的一种有效方式。然而,现实中有的村规民约脱离实际难执行、有的流于形式不落实。在推进乡村治理中,如何
以培养25d的狗头枣试管苗叶片为材料，研究了不同酶液浓度；不同甘露醇浓度对狗头枣组培苗叶片原生质体分离的影响。结果表明适合狗头枣组培苗叶片原生质体分离的适宜酶液配比为1
本文简要概述了将变径五通钢制管件合理几何分解,首先分解为两个等径、异径90°三通,等径、异径90°三通再分解成由两个相同尺寸的等径、异径90°弯头被切割加工
主要介绍了江苏濒危植物珊瑚菜的特征特性、生存现状。江苏沿海野生珊瑚菜种群被证实已灭绝,并探析了其灭绝的原因,为内在因素和外在因素的结合,但人为的外在因素对其生存的
一、背景本文基于以下背景：首先，在当前县级以上政府难以采取倾斜政策引导大量资本输入的情况下，推进小城镇建设面临的首要问题是，如何正确认识土地在三大生产要素中的地位并使之
随着水文巡测工作的不断发展以及中小河流水文自动测报系统的建设实施,水文站原有的测验手段、测验方式难以完成新时期水文测验工作。因此,改变原有的水文测验方式,进行水文
综述了锦葵科植物的简单苯丙素、木脂素、香豆素，木脂素并香豆素等苯丙素类化学成分、药理作用等方面的研究进展。
1994年4月中旬,美国格里菲斯空军基地的混凝土地下室里,6位特工小组成员一直在耐心地等待着。几周来有一位未知底细的“黑手”不断闯入五角大楼的电脑网络,解开安全密码,下载
文章利用2007-2010年中国2447个站点的逐小时降水观测数据对同期CMORPH和TRMM 3B42卫星降水估计产品进行了检验和评估。经过对比分析得出:CMORPH和TRMM 3B42卫星降水资料与地