国家重点基础研究发展计划(2014CB744904)

作品数：40被引量：127H指数：6
导出分析报告
相关作者：周德新魏欧马腾达王凯樊智勇更多>>
相关机构：中国民航大学南京航空航天大学南京大学南京林业大学更多>>
相关期刊：《计算技术与自动化》《系统工程与电子技术》《自动化与仪表》《计算机仿真》更多>>
相关主题：AFDX机载概率模型检测中央维护系统四旋翼飞行器更多>>
相关领域：自动化与计算机技术航空宇航科学技术机械工程环境科学与工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种AltaRica3.0模型到NuSMV模型的转换方法被引量：1
《计算机科学》2020年第12期73-86,共14页陈朔 胡军 唐红英 石梦烨 
国家重点基础研究发展计划(973计划)(2014CB744904);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181607)。
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,缺乏时态属性的模型检验技术,不支持穷尽式的空间检验,而NuSMV支持穷尽式的模型检验技术,因此对AltaRica 3.0模型进行扩展,提出了基于语言解析器生成器ANTLR(Another Tool fo...
关键词：ANTLR AltaRica 3.0 GTS AST NUSMV 模型转换 
基于表格表达式的SCR需求模型转换被引量：1
《计算机科学》2019年第6期180-188,共9页李思洁 魏欧 战芸娇 王立松 
国家重点基础研究发展计划(973计划)(2014CB744904);航空科学基金项目(20155552047);校研究生创新基地(实验室)开放基金资助项目(kfjj20181602)资助
基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式化符号-表格的表达式,以多维表格化结构表示系统需求的形式化需求规约方法。针对形式化需求的自动化测试...
关键词：SCR方法 antlr工具 模型转换 T2N工具 
基于线性时间算法的故障树模块扩展分解方法被引量：4
《计算机科学》2019年第1期226-231,共6页宋俊花 魏欧 
国家自然科学基金项目(61170043);国家重点基础研究发展计划-973计划(2014CB744904)资助
故障树分析被广泛应用于核工业、航空航天和交通控制等安全攸关领域的安全性分析中。然而,像核电站等大型工业所使用的大型故障树的分析需要耗费大量的计算资源,导致分析效率低下,时间消耗过多。为了解决此问题,对现有的线性时间算法进...
关键词：故障树分解 模块扩展 等效事件 简化 
基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制被引量：1
《计算机科学》2018年第10期313-319,共7页刘爽 魏欧 郭宗豪 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973计划)(2014CB744904)资助
基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关于基因调控网络的控制理论成为了非常热门的研究主题。目前,作为一种重要的网络模型,带有干扰且上下文相...
关键词：基因调控网络 优化控制 概率模型检测 遗传算法 
面向模型检查的NuSMV统一建模方法被引量：3
《系统工程与电子技术》2018年第7期1654-1659,共6页陈露 焦健 魏钱锌 
国家重点基础研究发展计划(973计划)(2014CB744904)资助课题
以形式化建模和利用模型检查进行自动化分析验证为核心的基于模型的安全性分析(model based safety analysis,MBSA)技术能够提高工作效率和分析结果的客观性,已在复杂大型装备系统的安全性工作中得到广泛重视与应用。现有的MBSA框架下...
关键词：故障 模型检查 安全性分析 基于模型的安全性分析 
IMA分区间通信的一致性测试模型被引量：5
《计算机仿真》2018年第2期43-48,共6页周德新 牛亚月 崔海青 
国家重点基础研究发展计划("九七三"计划)(2014CB744904);中央高校基本科研项目(3122016A006)
为了确保IMA操作系统中的通信方行为的正确性,并减少系统测试的人力以及时间成本。提出了一种对于符合ARINC653接口的规范的IMA分区间端口行为一致性测试方法。首先,对IMA分区通信机制进行分析,使用架构分析与设计语言,建立不同模块上...
关键词：综合模块化航电系统 分区通信 一致性测试 
利用特征配置的SLIM安全性验证方法被引量：3
《小型微型计算机系统》2017年第10期2346-2351,共6页李宙洲 魏欧 黄鸣宇 
国家"九七三"重点基础研究发展计划项目(2014CB744904)资助;国家自然科学基金项目(61170043)资助;航空科学基金项目(20155552047)资助
安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这样的安全关键系统进行建模,不仅可以描述系统标定的软硬件行为,还可以描述系统的概率性故障、故障对系统...
关键词：安全关键系统 SLIM语言 F Promela语言 安全性验证 模型检测 
新型飞机的机载CMCF通讯模型实现
《计算技术与自动化》2017年第3期45-48,共4页樊智勇 闫小谦 
民航局重大专项(MHRD20130112);国家自然科学基金民航联合基金(U1533201);国家973计划专项(2014CB744904)
针对国内缺乏对新型飞机通讯模型研究的状况,本文在研究波音787和空客380通讯模型基础上,按照ARINC624规范,建立了一种中央维护计算功能(CMCF)系统的通讯模型,并经过搭建硬件测试平台和系统数据测试,验证模型符合ARINC规范,这对国内对...
关键词：ARlNC624规范 CMCF AFDX 通讯模型 
一种利用故障特征模型的系统安全性分析方法
《小型微型计算机系统》2017年第9期1950-1955,共6页黄鸣宇 魏欧 罗炜麟 
国家自然科学基金项目(61170043)资助;国家"九七三"重点基础研究发展计划项目(2014CB744904)资助;航空科学基金项目(20155552047)资助;江苏省研究生培养创新工程项目(SJLX15_0139)资助;南京航空航天大学研究生创新基地(实验室)开放基金项目(kfjj20161602)资助;中央高校基本科研业务费专项资金资助
系统安全性分析是系统安全工程的重要内容,但是传统安全性分析过程中面临着故障空间过大的问题.并且传统安全性分析中以故障列表的方式描述故障无法刻画故障间的约束关系.特征模型是软件产品线工程中描述软件产品家族共性和可变性特征...
关键词：特征模型 软件产品线 模型检测 安全性分析 
飞机航电系统故障测试点优化选择研究被引量：3
《计算机仿真》2017年第9期39-44,98,共7页孙毅刚 席佳睿 赵珍 
国家自然科学基金委员会中国民航局民航联合研究基金(U1533201);国家重点基础研究发展计划("九七三"计划)(2014CB744904);民航科技重大专项(MHRD20130112)
针对飞机航电系统升级改装后安全性测试过程中因测试点选择方法不当导致的测试精度不达标、故障修复时间过长、测试代价过大的问题,提出一种基于改进灰狼优化(GWO)算法的测试点选择新方法。首先在不影响测试精度的条件下,考虑测试单元...
关键词：航电系统 安全性测试 测试点选择 改进的灰狼优化 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部