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

作品数：47被引量：172H指数：6
导出分析报告
相关作者：王立松陈海燕张育平曹子宁谷青范更多>>
相关机构：南京航空航天大学中国航空无线电电子研究所空军工程大学西北工业大学更多>>
相关期刊：《弹箭与制导学报》《科技纵览》《航空计算技术》《计算机技术与发展》更多>>
相关主题：AADL安全性链路预测中介复杂网络更多>>
相关领域：自动化与计算机技术航空宇航科学技术兵器科学与技术环境科学与工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种面向SCR需求模型的形式化验证方法研究被引量：2
《小型微型计算机系统》2022年第1期193-202,共10页张漾 胡军 王立松 康介祥 王辉 高忠杰 
国家“九七三”重点基础研究发展计划项目(2014CB744900)资助。
在需求层级进行建模分析与验证是复杂安全关键软件开发过程中的核心关注点.本论文工作面向航空领域中典型安全关键软件的需求层级,提出了一种基于形式化模型检验技术的需求模型验证方法.首先分析了形式化需求模型(SCR)的建模工具(T-VEC...
关键词：安全关键系统 nuXmv模型 模型映射 安全性验证 
基于模型的故障树自动生成方法被引量：6
《计算机科学》2021年第12期159-169,共11页展万里 胡军 谷青范 荣灏 祁健 董彦宏 
国家重点基础研究发展计划(973计划)(2014CB744900)。
基于模型的安全性分析方法能够提高复杂安全关键系统的建模与分析能力。目前故障树被广泛应用于系统安全及可靠性分析中。故障树分析(Fault Tree Analysis,FTA)是一种自上而下的演绎式失效方法,根据故障树分析系统中不希望出现的状态,...
关键词：故障树分析 AltaRica 平展化GTS 划分算法 可达图 断言传播算法 
一种基于形式化规则的航电需求规范化方法被引量：1
《小型微型计算机系统》2021年第9期1992-1998,共7页沈翔宇 王立松 康介祥 高忠杰 王辉 尹伟 仇智鹏 
国家“九七三”重点基础研究发展计划项目(2014CB744900)资助。
随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包...
关键词：自然语言需求 形式化转换规则 规范化需求 规范化方法 
一种基于改进PCFG句法分析的需求模板符合性检查优化方法
《小型微型计算机系统》2021年第9期1999-2003,共5页曹步展 王立松 康介祥 高忠杰 王辉 尹伟 于梦元 
国家“九七三”重点基础研究发展计划项目(2014CB744900)资助。
需求模板是对需求的一种规范描述,能够减少自然语言需求中的歧义.在进行需求分析之前,检查需求是否符合模板显得尤为重要.由于传统的手工检查非常耗时,为此许多学者展开了相关研究,并提出了一些自动的需求模板符合性检查方法.然而,现有...
关键词：需求模板 PCFG 句法分析 符合性检查 
一种面向形式化表格需求模型的测试用例生成方法被引量：6
《计算机科学》2021年第5期16-24,共9页汪文轩 胡军 胡建成 康介祥 王辉 高忠杰 
国家重点基础研究发展计划(973计划)项目(2014CB744900);2020年度重庆市出版专项资金资助项目。
现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求。为此文中提出了一种兼具可读性和可自动分析的形式化表格需...
关键词：测试用例生成 表格需求模型 形式化需求模型 安全关键性系统 
一种AltaRica 3.0模型中类的平展化方法被引量：1
《计算机科学》2021年第5期51-59,共9页祁健 胡军 谷青范 荣灏 展万里 董彦宏 
国家重点基础研究发展计划(973计划)项目(2014CB744900);2020年度重庆市出版专项资金资助项目。
AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模...
关键词：ANTLR AltaRica 3.0 GTS 模型转换 类的平展化 
导弹攻击过程的STAMP/STPA任务失效及仿真研究被引量：2
《弹箭与制导学报》2019年第3期53-57,68,共6页李俊 胡剑波 王应洋 邢晓波 
国家重点基础研究发展计划(2014CB744900);国家社会科学基金(17GGL270)资助
在采用传统的安全分析方法进行安全性分析时,常常关注系统的组件可靠性,很难避免由于组件交互、软件设计缺陷等引起事故的发生。STAMP把安全问题看作是控制问题,认为事故是由于控制不足导致的。文中以导弹攻击过程为例,建立导弹攻击过程...
关键词：安全性 STAMP 导弹攻击过程 STPA 任务失效 不安全控制行为 关键原因 仿真分析 
一种连续可导的近似滑模控制及其仿真研究
《火力与指挥控制》2018年第9期84-88,共5页邢晓波 胡剑波 王应洋 李俊 
国家重点基础研究发展计划基金资助项目(2014CB744900)
针对一般的滑模变结构控制方法的不连续和不可导,结合饱和函数和继电特性连续化函数的特性,提出了一种连续且可导的改进型符号函数近似算法,同时设计了一种近似滑模控制方法,该方法有效地削弱了一般的滑模变结构控制中存在的抖振现象,...
关键词：非线性系统 滑模变结构控制 符号函数 近似滑模控制 
复杂系统安全性建模、分析、控制与仿真研究被引量：9
《火力与指挥控制》2018年第7期1-9,13,共10页胡剑波 李俊 郑磊 邢晓波 
国家重点基础研究发展计划基金(2014CB744900);国家社会科学基金资助项目(17GGL270)
复杂系统安全性的分析与控制要解决复杂系统危险源识别、不安全动作分析、危险致因因素识别、控制策略制定等任务,是一个包括系统建模、行为分析、控制作用设计以及系统仿真模拟等在内的复杂动态迭代过程。以系统安全性为主题,用系统思...
关键词：安全性分析 安全性控制 安全性模型 安全性仿真 
链路预测中的一种局部结构相似度算法被引量：2
《小型微型计算机系统》2018年第1期27-31,共5页尹永超 徐敏 傅皇麟 孙胜男 
国家"九七三"重点基础研究发展计划项目(2014CB744900)资助
随着复杂网路理论的不断完善,对网络结构及演化模型的研究具有重要的应用价值,而链路预测作为复杂网络的研究热点越来越受到人们的重视.由于在大规模网络中,节点的属性等信息较难获取且相对不完整,因此现有的链路预测算法大都基于局部...
关键词：复杂网络 链路预测 共同邻居 结构相似度 局部信息 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部