排序方式: 共有12条查询结果,搜索用时 296 毫秒
1.
轨道交通系统作为大容量公共交通运输工具,其安全性直接关系到广大乘客的生命安全,而安全分析是保障系统安全的必要手段。传统的安全分析技术,极大地依赖于分析人员的技能和经验,使得结果不够完备,甚至错误。本文提出了一种基于模型检测的安全分析新技术,并研发了集FTA和FMEA于一体的安全分析工具,通过遍历系统全部可达状态,自动识别导致某顶事件发生的最小割集,并以轨道交通的信号系统为例,说明此方法的过程及可行性。 相似文献
2.
基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event—B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event—B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估. 相似文献
4.
5.
6.
[目的]研究永定河河滨带土壤机械组成特征及异质性分析,为河滨带土壤改良及生态修复提供理论参考.[方法]采用室外定点采样与室内测定分析相结合的方法,研究了永定河河滨带不同地段上下层(0~10、10~20cm)土壤的机械组成.[结果]永定河河滨带土壤机械组成中主要以砾石含量为主,黏粒含量较少,均低于5%.在砾石类组分上,10~20cm含量大于0~10cm含量,沙粒、粉粒则表现出0~10cm含量大于10~20cm含量,黏粒含量上下层间变化不明显.上、中、下游砾石、沙粒、粉粒含量变化幅度较大,而黏粒变化不明显.[结论]应根据土壤状况合理施肥,改良中要注意土壤机械组成恢复的合理结构. 相似文献
7.
针对无源雷达压缩感知成像,该文提出一种基于稀疏贝叶斯学习的高分辨成像算法。基于一次快拍模式下的无源雷达回波模型,文中首先考虑目标散射系数的统计特性及其对微波频率的依赖关系,将无源雷达成像转化为MMV(Multiple Measurement Vector)联合稀疏优化问题;然后对目标建立了级联形式的稀疏先验模型,并利用稀疏贝叶斯学习技术进行求解。相比之前基于目标确定性假设的稀疏恢复方法,所提算法更好地利用了目标的统计先验信息,具有能够自适应调整参数(目标模型参数和未知噪声功率)和高分辨反演目标等优点。仿真结果验证了该算法的有效性。 相似文献
8.
9.
介绍了GB/T 176 0 0 .1- 1998标准的产生过程 ,与国际上现行伸长率换算标准的比较 ,与ISO2 5 6 6 / 1- 1984的差异 ,说明了标准中的主要参数n值的验证、试验结果 ,讨论了应用问题 ,文中的附录详细介绍了Oliver公式 ,以及用于伸长率换算的各种表达式。 相似文献
10.