主动复制和被动复制各有优缺点。分析主动复制和被动复制的过程,得出两者在响应进程的副本数目、处理时间上存在对立性。引入处理模糊信息的中介数学系统,将主动复制和被动复制视为一对反对对立面。提出副本协调时间、副本更新时间和副...主动复制和被动复制各有优缺点。分析主动复制和被动复制的过程,得出两者在响应进程的副本数目、处理时间上存在对立性。引入处理模糊信息的中介数学系统,将主动复制和被动复制视为一对反对对立面。提出副本协调时间、副本更新时间和副本恢复时间的概念。在此基础上应用中介真值程度的数值化度量MMTD(Measure of Medium Truth Degree)设计出了一种新的复制算法,新算法结合了主动复制和被动复制的优点,更具有实用性和有效性。展开更多
对综合模块化航空电子系统(integrated modular avionics,IMA)架构安全性进行准确客观的评估是民机安全性评估乃至适航工程的重要研究内容。提出了一种面向适航认证的IMA架构安全性定性与定量相结合的综合评估方法。首先,提出了IMA架构...对综合模块化航空电子系统(integrated modular avionics,IMA)架构安全性进行准确客观的评估是民机安全性评估乃至适航工程的重要研究内容。提出了一种面向适航认证的IMA架构安全性定性与定量相结合的综合评估方法。首先,提出了IMA架构安全性评估框架,在此基础上建立了安全性多维属性评估模型与评估指标体系;然后,利用中介真值程度度量(measure of medium truth degree,MMTD)理论对指标得分进行综合处理与评估;最后,给出架构安全性评估实例,表明该方法可操作性较强,评估结果可量化且有可比性,能有效保障IMA架构安全性评估过程的客观性和评估结果的准确度。展开更多
文摘主动复制和被动复制各有优缺点。分析主动复制和被动复制的过程,得出两者在响应进程的副本数目、处理时间上存在对立性。引入处理模糊信息的中介数学系统,将主动复制和被动复制视为一对反对对立面。提出副本协调时间、副本更新时间和副本恢复时间的概念。在此基础上应用中介真值程度的数值化度量MMTD(Measure of Medium Truth Degree)设计出了一种新的复制算法,新算法结合了主动复制和被动复制的优点,更具有实用性和有效性。
文摘对综合模块化航空电子系统(integrated modular avionics,IMA)架构安全性进行准确客观的评估是民机安全性评估乃至适航工程的重要研究内容。提出了一种面向适航认证的IMA架构安全性定性与定量相结合的综合评估方法。首先,提出了IMA架构安全性评估框架,在此基础上建立了安全性多维属性评估模型与评估指标体系;然后,利用中介真值程度度量(measure of medium truth degree,MMTD)理论对指标得分进行综合处理与评估;最后,给出架构安全性评估实例,表明该方法可操作性较强,评估结果可量化且有可比性,能有效保障IMA架构安全性评估过程的客观性和评估结果的准确度。