搜索筛选:
搜索耗时1.2819秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：邢逆舟,
来源：南京航空航天大学 年份：2015
资源配置是综合模块化航空电子系统(IMA)设计的重要环节,配置信息的安全性分析是保障整个航空电子系统安全性的关键。传统的安全性分析方法得到的结果往往不能展示其安全性属...
[期刊论文] 作者：邢逆舟, 王立松,,
来源：计算机与现代化 年份：2015
针对综合化航空电子系统安全性分析存在的失效模式完备性和动态失效问题以及数据一致性问题,将航电系统分为应用操作层、功能层和资源层3个层次,采用形式化方法分别对每个层...
[期刊论文] 作者：邢逆舟,王立松,
来源：计算机与现代化 年份：2014
民航业务系统正确处理民航业务逻辑是民航企业运行的必要条件，因此民航业务系统的安全性十分重要，形式化验证方法是保障系统安全性的重要技术手段。本文结合故障树分析技术提取......
[期刊论文] 作者：孙权,王立松,邢逆舟,,
来源：计算机与现代化 年份：2015
应用网络演算（ Network Calculus ）理论中到达曲线和服务曲线，研究AFDX网络延迟包络，发现流的序列化是获得更紧致上界的重要因素，基于这一事实提出多链路分组技术。最后通过实验表......
相关搜索：
