排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event—B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event—B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估. 相似文献
2.
轨道交通系统作为大容量公共交通运输工具,其安全性直接关系到广大乘客的生命安全,而安全分析是保障系统安全的必要手段。传统的安全分析技术,极大地依赖于分析人员的技能和经验,使得结果不够完备,甚至错误。本文提出了一种基于模型检测的安全分析新技术,并研发了集FTA和FMEA于一体的安全分析工具,通过遍历系统全部可达状态,自动识别导致某顶事件发生的最小割集,并以轨道交通的信号系统为例,说明此方法的过程及可行性。 相似文献
4.
随着5G商用的推进,涌现出大量依赖高速率、低时延的新应用,混合现实(Mixed Reality,MR)就是其中之一。考虑到从中心云传输服务内容到MR设备会带来很大时延和能耗问题,引入移动边缘计算(Mobile Edge Computing,MEC)技术,通过在MEC服务器上缓存用户的预渲染环境帧,以减少延迟和能耗。针对MEC服务器上有限的缓存资源,提出了一种基于内容流行度的深度强化学习(Deep Reinforcement Learning,DRL)方法来做缓存决策,并构造一个新的效用函数来衡量缓存方案的性能;仿真结果表明基于所提算法得到的缓存决策能使目标效用函数达到最大值。 相似文献
5.
针对无源雷达压缩感知成像,该文提出一种基于稀疏贝叶斯学习的高分辨成像算法.基于一次快拍模式下的无源雷达回波模型,文中首先考虑目标散射系数的统计特性及其对微波频率的依赖关系,将无源雷达成像转化为MMV(Multiple Measurement Vector)联合稀疏优化问题;然后对目标建立了级联形式的稀疏先验模型,并利用稀疏贝叶斯学习技术进行求解.相比之前基于目标确定性假设的稀疏恢复方法,所提算法更好地利用了目标的统计先验信息,具有能够自适应调整参数(目标模型参数和未知噪声功率)和高分辨反演目标等优点.仿真结果验证了该算法的有效性. 相似文献
6.
[目的]研究永定河河滨带土壤机械组成特征及异质性分析,为河滨带土壤改良及生态修复提供理论参考.[方法]采用室外定点采样与室内测定分析相结合的方法,研究了永定河河滨带不同地段上下层(0~10、10~20cm)土壤的机械组成.[结果]永定河河滨带土壤机械组成中主要以砾石含量为主,黏粒含量较少,均低于5%.在砾石类组分上,10~20cm含量大于0~10cm含量,沙粒、粉粒则表现出0~10cm含量大于10~20cm含量,黏粒含量上下层间变化不明显.上、中、下游砾石、沙粒、粉粒含量变化幅度较大,而黏粒变化不明显.[结论]应根据土壤状况合理施肥,改良中要注意土壤机械组成恢复的合理结构. 相似文献
7.
8.
9.
10.