基于事件序列图ESD的跑道入侵危险性分析

随着机场交通量的增大,跑道入侵事件增长迅速,对于机场的安全造成一定的影响,对跑道入侵进行危险性分析显得尤为重要。采用动态的基于事件序列图ESD的方法对跑道入侵进行分析,详细描述了不同跑道使用情况和管制流程下的机场跑道运行情况,研究动态因素对于系统和事故发展进程及其后果的影响。研究表明在无法消除危险源的情况下,能够及时把握场景事件的发生,能够有效避免跑道入侵事件的发生,因此为预防跑道入侵事件提供了新的思路和方向。

基于事件确定有限自动机的UML2.0序列图描述与验证

为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性.

基于ESD的船用核动力装置一回路系统失水事故的事件序列

针对船用核动力装置事故分析的特点,从核动力装置运行安全的角度出发,采用基于事件序列图(ESD)和运行安全分析的联合分析方法,建立船用堆一回路系统失水事故的ESD模型。分析研究事故的演变过程和后果,获得完整的事件序列。

基于事件序列图法的装备故障风险分析

利用事件序列图建立装备故障风险模型的基本方法是:将故障事件作为引发事件,并通过相关问答开发环节事件,直至到达终态。同时,采用条件、逻辑门、参数、限制、规则等要素建立事件间的交互作用和时序关系,描述出故障事件发生并导致影响的可能发展过程。模型中,任何1个自引发事件开始至不期望终态结束的事件序列即构成1个事故链。将事故链及其发生概率、损失构成1个三元组,用以描述该事故链的风险。

计算机辅助故障模式影响分析与事件序列图综合分析方法研究

故障模式影响分析(Failure Mode Effect Analysis,FMEA)和事件序列图(Event Sequence Diagram,ESD)是分析系统故障因果关系的两种常用技术,在分别独立应用时,既有各自的优点,也存在着一定的缺陷和不足,主要体现为:FMEA不能展示故障模式到故障后果的推演过程;ESD模型的合理性很大程度上取决于初始事件的确定,而该方法本身不能实现这一功能。本文综合FMEA与ESD的优点,阐述了复杂动态系统FMEA与ESD综合分析的思路,对现有FMEA进行了一定的改进,并进一步分析计算机辅助FMEA和ESD综合方法建模的原理和实现技术。

基于事件序的UML序列图语义规范

UML缺乏准确的语义 ,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对 UML序列图 ,给出了形式定义、基于事件序的语义规范及其消息间关系 ;并定义了基本序列图 ,证明其具有全序的消息关系的性质 ,为序列图的语义分析与验证提供了基础。

事件序列图分层次建模用于反应堆动态可靠性分析

采用事件序列图方法对复杂系统建模时,为了避免事件序列图过于庞大,其事件对研究对象的结构和状态描述较少,不能直接反映出系统设计和运行中的缺陷。根据船用核动力装置在结构构成上的层次特点,提出了分层次建立事件序列图的方法,并引入故障树分析方法,将事件序列图与故障树结合起来,利用故障树分析的优势,获得系统的薄弱环节。通过分层次建模建立的事件序列图层次分明,规模适当。该方法适合于反应堆动态PSA研究。

时间和事件序列图分析技术在石化事故分析中的应用

利用时间和事件序列图分析技术,对某一具体事故进行了系统分析,展示了事故的具体发展过程,找到导致事故的关键事件,通过对关键事件进行深入分析,得出事故的直接原因、间接原因和系统存在的问题。

基于案例推理和事件序列图的电子设备故障诊断技术

本文提出了一种基于案例推理和事件序列图的故障诊断技术,可以极大的提高部队外场航空电子设备排故效率,有效满足部队对装备的使用需求。

农产品供应链事件序列图模型及其应用——以河南小麦为例

建立分析大宗农产品供应链约束条件的事件序列图模型,以小麦供应链为案例进行模型应用和分析,通过测定这条供应链上的速度、成本、资源利用率等性能指标,挖掘出影响供应链整体绩效发展的约束条件,分析影响农产品供应链集成化的障碍。

用于反应堆动态概率风险评价的事件序列图研究

动态概率风险评价的研究方法理论性强、技术难度高、掌握运用困难,从而限制了其实际应用。在Cassini任务PRA的基础上,对事件序列图方法进行拓展和完善,采用事件序列图方法进行反应堆动态概率风险评价,研究反应堆事故中动态因素对系统和事故发展进程及其后果的影响。通过对反应堆冷却剂系统失流事故的分析,阐述事件序列图法在反应堆事故分析中的应用过程。事件序列图分析提供了足够的系统动态信息,易于工程技术人员理解、掌握和应用,适合于大型系统的动态概率风险评价。

ESD方法在船用压水堆事故序列分析中的应用

根据船用压水堆的事故特点,提出采用ESD(事件序列图)方法进行事故序列分析,并以控制棒失控抽出事故为例进行应用研究,建立反应堆不同运行工况下、不同控制棒组(束)失控抽出后装置的动态响应图景,分析过程中考虑了功率调节系统状态、保护系统状态及人员手动干预的影响。结果表明,ESD提供了1种简单的方法来获得船用压水堆的动态事故序列,可以有效帮助运行人员理解反应堆复杂的事故过程。

基于消息序列图的协议交互过程构建方法

为了有效掌握协议的交互行为,提出一种基于消息序列图的协议交互过程自动构建方法。首先,根据协议交互过程的特点,定义依赖关系图来表示消息序列中事件的偏序关系,将网络流转换为依赖关系图;然后,使用基本消息序列描述协议的交互行为片段,通过定义事件最大后缀来挖掘基本消息序列;最后,搜索出最大依赖关系图并将其连接合并,构建出消息序列图。实验结果表明,该方法具有较高的准确性,构建出的消息序列图可以直观地表示协议的交互过程。

船用核动力装置事故分析中事件序列的确定方法研究

结合事件序列图方法和运行安全分析,提出一种联合分析的方法用于获得各类事故的真实的事件序列。运用该方法对蒸汽发生器传热管破损事故进行了分析研究,获得了完整的事件序列。结果表明联合分析方法是一种较好的事件序列确定方法,适合于船用核动力装置事故分析。

告别主板“静电门”事件 顶星ESD防静电技术简析

收到这封邮件后，MC编辑部GG们经过一番热烈的讨论，最终达成一致的看法：遇到这类问题，在排除了电源的故障之后，问题很可能出在主板上。只是由于这位读者没有交代进一步的问题特征，给我们排查故障带来了很大的麻烦。后来当我们与该读者取得联系，咨询了详细的情况后，其中一个细节引起了我们的注意，这位读者说：“我记得有两次在用键盘时被电到，后来也没出现过，非常奇怪。”这顿时让编辑部的GG们联想到当年ICH5南桥“静电门”事件……

基于ESD的动态系统安全性建模与实现

事件序列图(ESD)是系统安全性分析时采用的一种较新的手段,能有效地解决传统的安全性建模与分析在动态方面的不足。在对国内外动态系统安全性建模与分析方面的研究基础上,提出了一种扩展的ESD方法。对ESD的定义进行了完善,给出了ESD框架的动态逻辑图元表示形式及其数学描述,为提高其建模功能以及与系统结构关联的能力提出了层次化建模策略,并结合新的ESD算法开发了基于ESD的动态系统可视化建模与分析软件。最后,给出了一个实例以说明其有效性。

ESD_FT综合分析法在船用堆失水事故分析中的应用

ESD(事件序列图)方法常用于对事故发展进程及其后果进行分析,但在模型控制及图形建模能力方面存在不足。对较复杂的系统而言,用纯粹的ESD方法所产生的模型往往过于庞大、复杂且不直观。相反,在ESD方法的基础上,对ESD方法进行拓展和完善,采用ESD_FT(故障树)综合分析法所产生的模型比较简洁直观,且可以充分利用故障树分析技术的优势。探讨ESD_FT综合分析法在船用反应堆事故分析中的应用,提出一种新的由内部故障树展开的ESD基本事件,建立船用堆失水事故的ESD_FT分析模型,得到了事故的发生概率。从分析结果可知,ESD_FT综合分析法是一种有效而实用的事故分析方法。

基于GTST-DMLD-ESD的装备RMS建模仿真

装备的RMS是装备的重要设计参数,是影响战备完好和保障能力的关键因素。引入GTST-DMLD作为主要建模工具,建立起装备系统的RMS描述模型,以ESD为补充和扩展,对维修过程进行建模。并以GTST-DMLD-ESD模型作为装备RMS仿真的核心,对装备RMS仿真模型的总体框架进行了研究,并对各模块进行了较为详细的探讨。

基于GTST-DMLD-ESD的装备RMS仿真平台研究

装备的RMS是装备的重要设计参数,是影响战备完好和保障能力的关键因素。文章引入GTST-DMLD功能建模方法和ESD方法,以GTST-DMLD-ESD作为建模工具,建立起装备系统的RMS描述模型,提出了基于该模型的装备RMS仿真系统的框架和仿真流程。在此基础上,提出了仿真平台的初步构想,并对仿真平台的总体体系结构进行了较为详细的探讨。

基于事件序列图方法的供应链建模与分析

介绍了事件序列图的概念及基本图符,提出了基于事件序列图的供应链建模方法,给出了其建模步骤,并结合示例说明该方法的建模过程。讨论了模型的应用情况,对供应链的速度、成本、资源利用率等性能测度进行定义。最后,运用蒙特卡罗仿真方法对模型模拟运行并对结果进行分析。