国家重点基础研究发展计划(2014CB744900) 作品数:47 被引量:170 H指数:6 相关作者: 王立松 陈海燕 张育平 曹子宁 谷青范 更多>> 相关机构: 南京航空航天大学 中国航空无线电电子研究所 空军工程大学 更多>> 发文基金: 国家重点基础研究发展计划 中国航空科学基金 国家社会科学基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 兵器科学与技术 环境科学与工程 更多>>
航空四站气体保障过程的STAMP建模与STPA安全性分析 被引量:7 2017年 航空四站气体保障装备的可靠性在不断提高,而气体保障过程中的事故仍有发生,需要一种新的方法系统地去识别新的危险因素,从而提高系统的安全性。从控制的角度结合STAMP和STPA对航空四站气体保障过程进行安全性分析。首先,介绍STAMP/STPA的工作机理;然后,对航空四站气体保障过程构建STAMP模型,采用STPA安全分析方法对航空四站气体保障过程的安全性进行分析,识别不安全控制行为,对生成的不安全控制行为进行场景分析;最后,与事故树分析法(ATA)进行分析结果的比较,从而证实了该方法的优越性。结果表明:采用STAMP模型和STPA安全分析法可以更加全面地识别出不安全控制行为及其原因,更有利于保证航空四站气体保障过程的安全。 胡剑波 李俊 郑磊关键词:安全性 STAMP 新一代飞机任务系统概念与构架 被引量:2 2015年 新一代飞机是面向全球战略的空中力量组织,其任务系统是利用全球、全域和全空间能力组织,构建全球、全域和全空间警戒、到达和对抗的优势,实现面向全球的战略目标。从全球战略、战术和任务组织思想的角度,论述了新一代飞机任务系统战略需求和存在的挑战,描述了任务系统的"蝴蝶效应"及其形成过程等基本概念,构建了基于战略、战术、任务构架组织的战略云、战术云和任务云的系统框架组织,论述了相应的复杂系统、不确定性和智能化处理思路。 王国庆 谷青范 吴建民 王淼合成视景系统完整性与可用性的保证方法研究 被引量:2 2016年 合成视景系统(SVS)的完整性是SVS论证中重要的一部分,对SVS完整性的保证可以增加SVS的可信性,而SVS的可用性同样是SVS的重要性质,只有系统的可用性得到保证,系统才会发挥作用。SVS同时保证其完整性与可用性能使其成为一个关键系统而不仅仅是一个建议使用的系统。SVS的实时监控可以有效保证系统的完整性,但是却会降低系统的可用性。所以,本文对SVS的2种性质综合考量,主要先在架构层面对合成视景系统的可用性与完整性进行讨论,提出保证方法,然后以垂直方向的高度数据为例,讨论并提出基于架构层面的告警算法,最终进行模拟仿真,给出验证。本文提出的方法可以有效保证SVS的完整性和可用性,但是对其硬件及架构层面有所要求,同时产生数据资源的冗余。 周艳清 王立松关键词:完整性 可用性 数据冗余 新一代综合化航空电子系统构架技术研究 被引量:61 2014年 综合化航空电子系统根据应用的需求,基于已有的能力,采用综合技术,实现面向应用的任务合成,提升应用效能;面向能力的功能信息融合,提升能力品质;面向物理的操作模式综合,提升资源效率。针对新一代战机应用领域和战场作战的需求,围绕应用层面、能力层面和资源层面研究新一代综合化航空电子系统构架组成要素与建模技术,基于任务、功能、资源的生成与组织过程的分析,构建了面向现代战机不同任务目标、功能组织和系统能力的航空电子系统组织、实施构架,提出了分层的综合化航空电子系统构架——任务组织构架、功能组织构架和物理组织构架,实现了从应用空间-逻辑空间-物理空间信息处理的一致性,为新一代战机航空电子系统的综合化技术研究奠定了一定的技术基础。 王国庆 谷青范 王淼 张丽花关键词:物理综合 信息融合 一种基于并发的AADL建模方法 被引量:1 2017年 结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发及约束方面描述的不足,通过分析AADL的建模元素和建模流程,对AADL的行为附件进行扩充,将约束和并发的概念引入AADL,并给出形式化语义描述,丰富了AADL的建模元素,然后根据AADL和进程代数的建模特点,将经过扩充的AADL模型形式化转换为进程代数模型,为后续形式化的模型验证,开发大规模复杂、安全可靠的实时系统打下基础。 李揭阳 曹子宁关键词:并发 进程代数 基于DWL的合成视景系统数据库的完整性 2015年 合成视景系统(SVS)是解决可控飞行撞地(CFIT)事故的有效途径,近年来,国家实施的重点基础研究发展计划已经把SVS的相关研究纳入了计划研究的一部分。SVS数据库的完整性研究是SVS研究中比较重要的部分。基于现阶段大部分飞机上都配备GPS、雷达测高仪等设备,本文主要基于下视传感器(DWL)对SVS数据库的完整性进行研究。基于DWL对SVS数据库进行实时监控可以有效保证数据库垂直方向数据的完整性,但是对于飞机数据库水平方向数据的完整性保证能力还略显不足。 周艳清 王立松关键词:完整性 可控飞行撞地 实时监控 模糊数学与中介真值理论相结合的评价方法 被引量:1 2015年 针对模糊非确定现象的评价问题,提出了模糊数学与中介真值理论相结合的评价方法。模糊数学评价法和中介真值理论的方法都是从量的角度研究和处理模糊现象。但是,模糊数学评价法注重应用而缺乏系统理论的支持,其模糊合成算子在多因素情况下很难确定,且度量值域局限于[0,1];中介真值理论的评价方法在处理因素较多且权重难以细分的情况时,也具有一定的局限性。因此,将模糊数学与中介真值相结合,将模糊数学的评价方法运用到二级指标的评定,将中介真值理论的评价方法运用到一级指标的综合评定,由此确定最佳选择方案。最后,将该方法运用于软件质量评估,并分别与模糊数学评价法和中介真值理论的评价方法相比较,结果表明该方法是可行的、合理的,并具有一定优势。 潘茜 张育平 陈海燕关键词:指标体系 一种面向SCR需求模型的形式化验证方法研究 被引量:2 2022年 在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC)中所定义的递归结构形式的模型语法与语义,提出了一种对模型变量关系进行平展化的方法,将SCR表格关系模型转换为自动机状态迁移图,然后设计了从SCR模型到模型检验工具(nuXmv)的模型自动转换框架,并对模型转换规则给出了严格的定义证明;最后通过一个航空软件系统的需求实例展示了方法的有效性. 张漾 胡军 王立松 王立松 王辉 康介祥关键词:安全关键系统 模型映射 一种形式化组合式建模方法的研究 2017年 构件式系统是一种采用构件组合技术实现的结构系统,即在采用单个构件封装简单的业务功能基础上,通过集成多个构件逐步构造新的组合构件来实现比较复杂的业务功能。在开发构件式系统软件的过程中,正确的子构件模型组合方式才有可能构建安全可靠的总构件模型。计算树逻辑(CTL)能较为准确地描述状态迁移的时序性质,而擅长形式规格说明的Z语言在数据约束方面具有强大作用。因此,基于CTL和Z语言对体系结构分析设计语言(AADL)进行功能拓展,即可建立更为安全可靠的组合模型。为此,在分析研究AADL的建模元素和建模流程的基础上,提出了计算树逻辑CTL和Z语言对AADL行为附件进行扩充的思路与方法。该方法可有效保证构建模型的合理性和有序性。基于CZ_AADL建模规范和飞行管理系统实例进行了验证实验。实验结果表明,CZ_AADL建模规范增强了AADL建模的灵活性和多样性,也为采用不同建模方式的多模块间的融合提供了可能。 李勇 李揭阳 曹子宁关键词:计算树逻辑 Z语言 基于CUDA的并行K-近邻连接算法实现 被引量:2 2016年 针对大规模空间数据的K-近邻连接查询问题,设计了一种CUDA编程模型下K-近邻连接算法的并行优化方法。将K-近邻连接算法的并行过程分两个阶段:1)对参与查询的数据集P和Q分别建立R-Tree索引;2)基于RTree索引进行KNNJ查询。首先根据结点所在位置划分最小外包框,在CUDA下基于递归网格排序算法创建RTree索引。然后在CUDA下基于R-Tree索引进行KNNJ查询,其中涉及并行求距离和并行距离排序两个阶段:求距离阶段利用每一个线程计算任意两点之间的距离,点与点之间距离的求取无依赖并行;排序阶段将快速排序基于CUDA以实现并行化。实验结果表明,随着样本量的不断增大,基于R-Tree索引的并行K-近邻连接算法的优势更加明显,具有高效性和可扩展性。 潘茜 张育平 陈海燕关键词:CUDA 空间查询 并行计算