在民机自动飞行过程中,飞行导引系统的模式转换是影响安全的重要因素,应对其进行充分的安全性分析。传统安全分析方法主要关注各个组件的失效因素,忽略了由组件间非线性交互产生的安全问题。为此,采用系统理论过程分析(System Theory Pr...在民机自动飞行过程中,飞行导引系统的模式转换是影响安全的重要因素,应对其进行充分的安全性分析。传统安全分析方法主要关注各个组件的失效因素,忽略了由组件间非线性交互产生的安全问题。为此,采用系统理论过程分析(System Theory Process Analysis,STPA)方法,对飞行导引系统模式转换进行系统且完整的分析。同时,鉴于STPA方法中存在需人工分析的部分,引入了基于时间自动机理论的形式化模型检查工具UPPAAL对系统进行建模与验证,以确保控制结构图的正确性,并识别真正不安全控制行为(Unsafe Control Action,UCA),从而避免资源的浪费。最后,提出规范化的致因因素分析框架对通过验证的UCA进行逐一分析。实例证明,所提方法对航空类复杂系统安全性分析具有较好的效果。展开更多
1 Introduction Sanjiang tectonic-magma belt is one of the most potential resources’metallogenic belts in China.Cenozoic alkali-rich porphyry-type gold polymetallic mineralization system is a significant characteristi...1 Introduction Sanjiang tectonic-magma belt is one of the most potential resources’metallogenic belts in China.Cenozoic alkali-rich porphyry-type gold polymetallic mineralization system is a significant characteristic of thisbelt.Chenghai-Binchuan tectonic belt,located in the western margin of the Yangtze block,is an important part展开更多
【目的】分析新疆圆环病毒2型(Porcine circovirus type 2,PCV2)和3型(Porcine circovirus type 3,PCV3)的流行状况。【方法】在2022年10月~2023年9月,采用荧光定量PCR对采集的7个规模化养猪场的1403份样品进行检测和测序。【结果】PCV...【目的】分析新疆圆环病毒2型(Porcine circovirus type 2,PCV2)和3型(Porcine circovirus type 3,PCV3)的流行状况。【方法】在2022年10月~2023年9月,采用荧光定量PCR对采集的7个规模化养猪场的1403份样品进行检测和测序。【结果】PCV2总体阳性率为3.20%(45/1403),PCV3总体阳性率为33.00%(463/1403),PCV2和PCV3混合感染率为7.84%(11/1403)。C场PCV2和PCV3阳性检出率最高,PCV2为7.46%(10/134),PCV3为64.18%(36/134),PCV2和PCV3混合感染率为3.73%(5/134)。乳猪睾丸液检出PCV2和PCV3阳性率最高,PCV2阳性率为4.78%(25/523);PCV3检出率为57.36%(300/523)。PCV2和PCV3在一年四季中检出率均较高,且PCV3毒株为PCV3b和PCV3c型。【结论】新疆部分规模化养猪场中存在PCV3感染,PCV3流行率远高于PCV2,PCV3流行毒株为PCV3b和PCV3c型。展开更多
文摘在民机自动飞行过程中,飞行导引系统的模式转换是影响安全的重要因素,应对其进行充分的安全性分析。传统安全分析方法主要关注各个组件的失效因素,忽略了由组件间非线性交互产生的安全问题。为此,采用系统理论过程分析(System Theory Process Analysis,STPA)方法,对飞行导引系统模式转换进行系统且完整的分析。同时,鉴于STPA方法中存在需人工分析的部分,引入了基于时间自动机理论的形式化模型检查工具UPPAAL对系统进行建模与验证,以确保控制结构图的正确性,并识别真正不安全控制行为(Unsafe Control Action,UCA),从而避免资源的浪费。最后,提出规范化的致因因素分析框架对通过验证的UCA进行逐一分析。实例证明,所提方法对航空类复杂系统安全性分析具有较好的效果。
基金financially supported by the geological survey program of China Geological Survey(1212011120607)the basic research program of Yunnan Nonferrous Metals Geological Bureau(20131300001)
文摘1 Introduction Sanjiang tectonic-magma belt is one of the most potential resources’metallogenic belts in China.Cenozoic alkali-rich porphyry-type gold polymetallic mineralization system is a significant characteristic of thisbelt.Chenghai-Binchuan tectonic belt,located in the western margin of the Yangtze block,is an important part
文摘【目的】分析新疆圆环病毒2型(Porcine circovirus type 2,PCV2)和3型(Porcine circovirus type 3,PCV3)的流行状况。【方法】在2022年10月~2023年9月,采用荧光定量PCR对采集的7个规模化养猪场的1403份样品进行检测和测序。【结果】PCV2总体阳性率为3.20%(45/1403),PCV3总体阳性率为33.00%(463/1403),PCV2和PCV3混合感染率为7.84%(11/1403)。C场PCV2和PCV3阳性检出率最高,PCV2为7.46%(10/134),PCV3为64.18%(36/134),PCV2和PCV3混合感染率为3.73%(5/134)。乳猪睾丸液检出PCV2和PCV3阳性率最高,PCV2阳性率为4.78%(25/523);PCV3检出率为57.36%(300/523)。PCV2和PCV3在一年四季中检出率均较高,且PCV3毒株为PCV3b和PCV3c型。【结论】新疆部分规模化养猪场中存在PCV3感染,PCV3流行率远高于PCV2,PCV3流行毒株为PCV3b和PCV3c型。
