【摘 要】
：
随着计算机软件技术的不断发展，计算机软件已广泛应用于国防建设的各个领域中。然而，很小的软件错误也可能导致整个系统的崩溃。在作战系统中，模型的不一致将导致执行过程中产生
论文部分内容阅读
随着计算机软件技术的不断发展，计算机软件已广泛应用于国防建设的各个领域中。然而，很小的软件错误也可能导致整个系统的崩溃。在作战系统中，模型的不一致将导致执行过程中产生错误，所以对作战系统模型一致性研究意义重大。作战系统领域模型包括作战使命和作战任务，由于多个需求分析人员分析不同的任务需求，导致需求模型间可能存在语义的不一致。为了保证系统建模的可靠性和稳定性，对需求模型进行一致性检测已显得十分必要。首先，本文结合作战系统的模型特点和已有的模型一致性检测方法，提出基于属性图文法的作战系统模型一致性检测方法：把作战系统模型转换成属性图文法并检测功能需求间的冲突和依赖，同时提出依赖检测算法来验证依赖关系的正确性。作战系统静态需求用类图表示，转换成属性图文法的类型图，类转换成类型图中的结点，类之间的二元联系用类型图中的边来表示。功能需求用对象图对活动图中的活动的前置和后置条件建模，转换成属性图文法的图转换规则，把前置条件转换成图转换规则的左部图，后置条件转换成图转换规则的右部图。再调用属性图文法分析工具AGG通过关键对分析技术得到功能需求间的冲突、依赖关系。循环依赖将导致模型无法执行，错误依赖则表示功能需求与动态模型的执行流程不一致。本文对此提出相应的依赖检测算法，循环依赖检测算法通过深度优先搜索找到依赖关系中的环，错误依赖检测算法通过遍历活动图来检测依赖关系与活动图的执行流程是否一致。接着，基于该检测方法设计并实现了作战系统需求分析工具。通过该工具可以检测作战系统需求模型的一致性，工具实现了作战系统模型到图文法的自动转换，再调用AGG分析冲突、依赖并用依赖检测算法检测依赖关系是否正确。同时，工具支持对作战系统进行需求分析，包括分解作战使命和作战任务以及分析作战系统的静态需求、作战任务的动态需求和功能需求。最后，论文对工具进行了实例分析及验证。使用该工具对复杂作战环境下的护航使命进行需求建模，且对需求模型进行一致性检测，根据检测结果修改模型，消除了模型中的错误。
其他文献
旅行商问题是数学组合优化领域最著名的问题之一,是一个非常典型的易于描述却难以大规模处理的NP-hard问题,如何有效地解决TSP问题,对组合优化问题的研究有重要的理论意义以
近年来,随着全国人民生活水平的不断提高,汽车数量的不断增加,与此同时政府也加快了建设基础设施的步伐。目前立交桥、停车场、高速公路越来越多,但是却缺乏合理有效的车辆管
随着社会的发展,人们不仅满足于对个体宏观层次的评价,而是希望能从被试的实际作答反应中获取更多的被试认知结构的信息,以便对被试做出更具体更客观的评价,从而给出相应的补
H.264由于采用先进的帧间预测与帧内预测、整数变换编码及量化、去块效应滤波等技术，获得了比以往标准都好的编码性能，但却增加了编码器的计算复杂度。作为视频编码系统的重要
伴随着Web2.0技术的发展，越来越多的用户更喜欢使用功能丰富、交互性强并且实用性良好的Web应用程序。它允许接收用户的输入值，并将用户输入的值与后台数据库进行交互。然而，如
计算机仿真作为计算机技术的一个重要应用,实际上经历了一个由简单到复杂、由单机到分布式、由同构到异构的一个发展过程。从以往的单独对某一局部的仿真到今天的对某一应用
近年来随着各种新型的传感器不断涌现,遥感技术的提升,我国的高分辨率遥感卫星技术取得了飞速地发展,高分辨率遥感影像的数据级别趋于海量化发展,数据类型也越来越多样化。海量的遥感影像数据带来更多信息的同时也给快速处理带来了很大的挑战。由于卫星周期性旋转的特点,同一个地区在不同时间将会被卫星拍摄到很多次。通过检测同一地区不同时间影像发生的变化,有利于发现该地区地面覆盖变化情况。变化检测算法根据影像分析的层
众所周知,自然界中种群并不是孤立存在的,它们时刻与其它的生物种群存在着相互竞争关系,合作关系以及捕获关系,通过结合种群生态学与传染病动力学建立的生态传染病动力学模型
长距离无线mesh网络LDmesh（Long-Distance wireless mesh networks）因其成本低、带宽高、覆盖广、易于部署的特点，在偏远地区的远程医疗、远程教育以及野外大区域的环境监控等领
随着多媒体技术的发展，以音频、视频和图像信息为主体的多媒体信息逐步取代了文本信息。基于文本标记的传统信息检索技术难以实现对多媒体信息的检索，如何有效、快速地检索多媒