蒸发和激子模型的(n,α)激发函数系统学研究

(n，α)反应截面对于反应堆，特别是对快堆和聚变堆工程设计是一种很重要的数据。在一些近似条件下，基于核反应蒸发和预平衡激子模型理论研究了入射能量小于20MeV的(n，α)激发函数。在靶核30≤A≤209范围内，基于(n，α)反应的截面实验数据对得到的半经验公式的参数进行了研究，得到了参数对靶核的N和Z以及中子入射能量的依赖关系。利用普适参数预言(n，α)反应的激发函数，预言值在其误差范围内与实验数据一致。     

利用MSDM分析1GeVP+208Pb散裂反应产物

利用Ignatyuk能级密度公式代替多步动力学模型(MSI)M)中的费米气体能级密度公式，并考虑壳效应对能级密度的影响，以改进其对质子引起散裂产物的形成截面研究。对1GeV p ^208Pb散裂产物的电荷、质量分布以及产物核同位素形成截面的计算结果好于利用费米气体能级密度的MSDM计算结果。利用该程序研究获得的散裂产物中的裂变核、散裂核以及二者之间的产物核的同位素形成截面和实验数据符合较好，并好于LAHET、YIELDX以及INCL4 KHSv3p模型计算结果。     

基于系统理论过程分析的安全关键软件安全性验证方法

现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析（STPA）的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。     

机载软件数据质量评价参数及验证方法

通过分析影响机载数据质量的因素,建立了机载软件数据传输模型。提出了机载软件数据质量的定性评价方法,按照机载软件对于数据的需求及相关工业标准要求,总结了层次化的机载软件数据质量评价参数。根据不同安全关键等级的数据需求,提出了针对性的数据质量确认、验证方法及其实现。本研究对于机载软件数据库的审定和机载软件数据质量的验证有一定的理论价值。