一种基于网线传感器网络的数据补全算法

无线传感网络在人类社会生活中的应用越来越广泛。同时,无线传感网络在应用中也存在诸多问题,其中包括数据异常和和数据丢失的问题。由于分布环境的影响,加上无线传感网络自身的局限性,如何有效地实现丢失数据的补全成为了重要的研究课题。传统的无线传感网络数据补全方法针对缺失数据,根据时间或空间的相关性,主要从其单一属性进行缺失估计,而不是从整体上对数据样本进行多个属性的缺失估计。据此,文中提出一种基于Opt Space的改进算法—Ioptspace算法,同时考虑时间相关性和空间相关性,把传感网络收集的数据规范化为矩阵,并从整体上对其进行补全。实验结果表明,与线性插值算法、基于空间相关性算法相比,所提出的Ioptspace数据补全算法估计准确率更高,具有更好的效果。

一种基于STPA的软件安全性分析与验证方法

安全性苛求系统的安全性关系关系着人们生命财产安全,而软件与系统的安全性紧密相关。形式化验证方法可以证明软件的正确性,但并不能保证软件的安全性性。系统理论危害分析方法(System-Theoretic Process Analysis,STPA)是一种基于系统理论的危害分析方法,它可以识别系统中的危害并得到软件相关的安全性需求。本文提出一个结合STPA与模型检测的软件安全性分析与验证方法:使用STPA对系统进行危害分析得到软件安全性需求,形式化描述软件安全性性质,最后使用模型检测的方法验证软件安全性。

基于模型的综合航电平台初步设计

现代航电系统越来越复杂,平台设备越来越多,依赖于IMA集成者经验的资源分配方法易出错且不方便检验。本文提出一种基于模型的综合航电平台初步设计方案。系统结构模型根据系统结构元模型进行定义,平台结构模型根据平台结构元模型进行定义,系统和平台结构模型具有特定格式,使得结构定义更加清晰规范,进而为分配约束的提取、分配方案的验证提供了条件。从普通需求及从安全性需求提取资源分配的约束,并将约束转化约束求解器ILOG输入格式OPL进行求解,对得到的候选分配方案进行安全性分析,判断是否接受此分配方案。最后对座舱显示系统进行实例分析,结果验证了所提方法的实用性和有效性。