本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的...本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。展开更多
为了研究管制员飞行冲突调配的人因差错问题,进而有效评估管制员解决飞行冲突的可靠性,以保障空中交通的安全运行,提出系统理论过程分析(System Theoretic Process Analysis, STPA)与认知可靠性与失误分析方法(Cognitive Reliability an...为了研究管制员飞行冲突调配的人因差错问题,进而有效评估管制员解决飞行冲突的可靠性,以保障空中交通的安全运行,提出系统理论过程分析(System Theoretic Process Analysis, STPA)与认知可靠性与失误分析方法(Cognitive Reliability and Error Analysis Method, CREAM)相结合的人因可靠性分析方法。首先,通过STPA方法构建系统控制模型,识别不安全控制行为(Unsafe Control Action, UCA)以及致因因素,找到管制员在调配飞行冲突过程中可能存在的差错行为;其次,基于CREAM扩展法对管制员的差错行为进行定量分析,得到管制员调配飞行冲突的人因失误概率。研究显示:使用该方法能够系统、全面地识别出管制员在调配飞行冲突过程中出现的差错行为,进而计算管制员飞行冲突调配的人因失误概率。实例分析表明该方法可以预测管制员在飞行冲突调配过程中的人因失误概率及可靠性,为管制员人因可靠性分析提供了新思路。展开更多
本刊讯：HACCP是危害分析关键控制点（Hazard Analysis Critical Control Point）的首字母缩写，它的基本定义是：鉴别、评价和控制对食品安全有重要危害的一种系统性管理制度，保证食品和饲料安全而对生产过程所实行的来前预防性控制...本刊讯：HACCP是危害分析关键控制点（Hazard Analysis Critical Control Point）的首字母缩写，它的基本定义是：鉴别、评价和控制对食品安全有重要危害的一种系统性管理制度，保证食品和饲料安全而对生产过程所实行的来前预防性控制体系，就是通过对食品和饲料加工关键环节实施有效监控，从而将安全卫生危害消除或降低至安全的水平。HACCP是一个预防体系，但不是零风险，是预防性的，而不是反映性的，它的特点是：预防策略，可有效减少损失。应用HACCP系统论方法全面控制生产过程，通过建立严格档案制度，使生产商、销售商、消费者、政府部门分清责任，从而最终确保产品的安全。在国际上，HACCP被认为控制由食品引起疾病的最有经济效益的方法，并获得FAO、WHO、CAC（食品法典委员会）的认可。展开更多
文摘本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。
文摘为了研究管制员飞行冲突调配的人因差错问题,进而有效评估管制员解决飞行冲突的可靠性,以保障空中交通的安全运行,提出系统理论过程分析(System Theoretic Process Analysis, STPA)与认知可靠性与失误分析方法(Cognitive Reliability and Error Analysis Method, CREAM)相结合的人因可靠性分析方法。首先,通过STPA方法构建系统控制模型,识别不安全控制行为(Unsafe Control Action, UCA)以及致因因素,找到管制员在调配飞行冲突过程中可能存在的差错行为;其次,基于CREAM扩展法对管制员的差错行为进行定量分析,得到管制员调配飞行冲突的人因失误概率。研究显示:使用该方法能够系统、全面地识别出管制员在调配飞行冲突过程中出现的差错行为,进而计算管制员飞行冲突调配的人因失误概率。实例分析表明该方法可以预测管制员在飞行冲突调配过程中的人因失误概率及可靠性,为管制员人因可靠性分析提供了新思路。
文摘本刊讯：HACCP是危害分析关键控制点（Hazard Analysis Critical Control Point）的首字母缩写，它的基本定义是：鉴别、评价和控制对食品安全有重要危害的一种系统性管理制度，保证食品和饲料安全而对生产过程所实行的来前预防性控制体系，就是通过对食品和饲料加工关键环节实施有效监控，从而将安全卫生危害消除或降低至安全的水平。HACCP是一个预防体系，但不是零风险，是预防性的，而不是反映性的，它的特点是：预防策略，可有效减少损失。应用HACCP系统论方法全面控制生产过程，通过建立严格档案制度，使生产商、销售商、消费者、政府部门分清责任，从而最终确保产品的安全。在国际上，HACCP被认为控制由食品引起疾病的最有经济效益的方法，并获得FAO、WHO、CAC（食品法典委员会）的认可。
