一种安全攸关嵌入式系统需求追踪方法

嵌入式系统在航空、航天、核能及交通等安全攸关领域中的广泛应用,使得保障其安全性至关重要.需求可追踪是安全攸关领域标准的基本要求,也是安全性分析与保障的重要前提.当前可追踪性的研究主要集中在需求与代码之间,缺乏需求与设计间可追踪性的研究,而且建立的追踪信息精确性和完整性不高,无法有效地应用于安全攸关领域.针对这一问题,该文提出了一种基于谓词逻辑的需求追踪方法,可以实现嵌入式系统需求内部横向追踪关系和需求与系统设计间纵向追踪关系的自动推导与检验,并通过两种广泛使用的标准语言SysML和AADL分别对系统需求与设计进行建模.首先,定义了一个基于谓词逻辑的形式系统描述制品间的追踪信息,分别给出了SysML需求的横向追踪关系和纵向追踪关系的语义,然后,基于语义模型给出了追踪关系的自动推导与检验规则,用以建立精确、完整的需求追踪关系,基于这些追踪关系可以有效地支持嵌入式系统的安全性分析以及系统的维护与演化.最后,通过一个案例分析说明了该文需求追踪方法的有效性和可行性.

语义驱动下的网络资源符号设计方法

网络空间资源是认知网络空间的基本单元。系统化和结构化的网络资源符号体系可为正确认知和理解网络空间态势,快速共享和辨识网络态势标绘,客观把握和了解网络资源分布情况、所处状态和归属关系提供至关重要的帮助。为此,文中参考语义驱动下的地图符号设计方法,将自然语义学理论引入网络资源符号设计过程中,提出了一种语义驱动的网络资源符号设计方法。首先,分析和梳理了网络资源的构成,给出了网络资源符号结构和符号语义模型;其次,具体阐述了网络资源符号设计流程与方法;最后,进行了网络资源符号认知实验,并与美军网络态势标号进行了对比评价。实验结果表明,文中所设计的网络资源符号具有形象化和系统化的特点。

基于图像学中组合对象的识别研究

本文的主要研究是集中在计算机视觉领域中的图像目标识别上，与以往的图像目标检测不同的是我们研究的对象不再是将对象看成是一个整体进行检测，而是通过将对象进行分解与组合来对对象进行识别。分级衍生语义检测语法通过将组合对象的部件分级后形成一个图形金字塔，再利用特定的概率公式对图形金字塔中的形状进行组合和匹配检测来进行目标检测。

实体造型图形数据库系统的设计与实现

本文提出了一个适于网状图形数据库设计的语义数据模型GSM,讨论了实体造型图形数据库系统在APOLLOCAD工作站上的设计与实现方案,以及基于GSM模型进行系统的中心图形数据库的设计方法.