排序方式: 共有34条查询结果,搜索用时 0 毫秒
31.
32.
利用Ignatyuk能级密度公式代替多步动力学模型(MSI)M)中的费米气体能级密度公式,并考虑壳效应对能级密度的影响,以改进其对质子引起散裂产物的形成截面研究。对1GeV p ^208Pb散裂产物的电荷、质量分布以及产物核同位素形成截面的计算结果好于利用费米气体能级密度的MSDM计算结果。利用该程序研究获得的散裂产物中的裂变核、散裂核以及二者之间的产物核的同位素形成截面和实验数据符合较好,并好于LAHET、YIELDX以及INCL4 KHSv3p模型计算结果。 相似文献
33.
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。 相似文献
34.