导读:本文包含了事件序列图论文开题报告文献综述及选题提纲参考文献，主要关键词:事件序列图,跑道入侵,场景事件
事件序列图论文文献综述
李欢,夏洪山,高阳,梁的达[1]（2019）在《基于事件序列图ESD的跑道入侵危险性分析》一文中研究指出随着机场交通量的增大,跑道入侵事件增长迅速,对于机场的安全造成一定的影响,对跑道入侵进行危险性分析显得尤为重要。采用动态的基于事件序列图ESD的方法对跑道入侵进行分析,详细描述了不同跑道使用情况和管制流程下的机场跑道运行情况,研究动态因素对于系统和事故发展进程及其后果的影响。研究表明在无法消除危险源的情况下,能够及时把握场景事件的发生,能够有效避免跑道入侵事件的发生,因此为预防跑道入侵事件提供了新的思路和方向。(本文来源于《华东交通大学学报》期刊2019年02期）
张广文,王延平,张婷[2]（2016）在《时间和事件序列图分析技术在石化事故分析中的应用》一文中研究指出利用时间和事件序列图分析技术,对某一具体事故进行了系统分析,展示了事故的具体发展过程,找到导致事故的关键事件,通过对关键事件进行深入分析,得出事故的直接原因、间接原因和系统存在的问题。(本文来源于《安全、健康和环境》期刊2016年06期）
张祎民[3]（2012）在《UML2.0序列图到事件确定有限自动机转换的研究》一文中研究指出复杂系统的建模往往需要进行严格的形式化分析和验证，而UML却是半形式化的，因为其语法结构虽然采用了形式化的规约，但其语义部分则是用自然语言描述的，缺乏精确的语义描述，因此会导致一些问题。为了在软件开发早期阶段对UML2.0序列图模型进行分析和验证，本文给出了基于UML2.0序列图的一种事件确定有限自动机模型的定义以及序列图到该自动机的转换算法。文中首先给出了UML2.0序列图，事件确定有限自动机在语法和语义上的形式化描述，然后提出了一种用事件确定有限自动机来描述每个对象在序列图描述的场景中所参与的事件序列的转换方法，并扩展到带有组合片段的UML2.0序列图，接着将该转换方法付诸算法实现，并给出一个实例进行分析，最后本文设计并实现一个序列图到自动机的转换工具，验证了将UML2.0序列图转换为事件确定有限自动机的可行性。(本文来源于《西安电子科技大学》期刊2012-02-01）
张琛,段振华,田聪[4]（2011）在《基于事件确定有限自动机的UML2.0序列图描述与验证》一文中研究指出为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性.(本文来源于《软件学报》期刊2011年11期）
谢海燕,蔡琦,张杨伟[5]（2010）在《事件序列图分层次建模用于反应堆动态可靠性分析》一文中研究指出采用事件序列图方法对复杂系统建模时,为了避免事件序列图过于庞大,其事件对研究对象的结构和状态描述较少,不能直接反映出系统设计和运行中的缺陷。根据船用核动力装置在结构构成上的层次特点,提出了分层次建立事件序列图的方法,并引入故障树分析方法,将事件序列图与故障树结合起来,利用故障树分析的优势,获得系统的薄弱环节。通过分层次建模建立的事件序列图层次分明,规模适当。该方法适合于反应堆动态PSA研究。(本文来源于《舰船科学技术》期刊2010年05期）
文华,刘红宇,谢海燕[6]（2009）在《用于反应堆动态概率风险评价的事件序列图研究》一文中研究指出动态概率风险评价的研究方法理论性强、技术难度高、掌握运用困难,从而限制了其实际应用。在Cassini任务PRA的基础上,对事件序列图方法进行拓展和完善,采用事件序列图方法进行反应堆动态概率风险评价,研究反应堆事故中动态因素对系统和事故发展进程及其后果的影响。通过对反应堆冷却剂系统失流事故的分析,阐述事件序列图法在反应堆事故分析中的应用过程。事件序列图分析提供了足够的系统动态信息,易于工程技术人员理解、掌握和应用,适合于大型系统的动态概率风险评价。(本文来源于《中国舰船研究》期刊2009年01期）
郝爱民[7]（2008）在《农产品供应链事件序列图模型及其应用——以河南小麦为例》一文中研究指出建立分析大宗农产品供应链约束条件的事件序列图模型,以小麦供应链为案例进行模型应用和分析,通过测定这条供应链上的速度、成本、资源利用率等性能指标,挖掘出影响供应链整体绩效发展的约束条件,分析影响农产品供应链集成化的障碍。(本文来源于《安徽农业科学》期刊2008年34期）
谭林,王文峰,郭波[8]（2007）在《基于事件序列图方法的供应链建模与分析》一文中研究指出介绍了事件序列图的概念及基本图符,提出了基于事件序列图的供应链建模方法,给出了其建模步骤,并结合示例说明该方法的建模过程。讨论了模型的应用情况,对供应链的速度、成本、资源利用率等性能测度进行定义。最后,运用蒙特卡罗仿真方法对模型模拟运行并对结果进行分析。(本文来源于《工业工程与管理》期刊2007年06期）
谭林,龚时雨,郭波[9]（2007）在《计算机辅助故障模式影响分析与事件序列图综合分析方法研究》一文中研究指出故障模式影响分析(Failure Mode Effect Analysis,FMEA)和事件序列图(Event Sequence Diagram,ESD)是分析系统故障因果关系的两种常用技术,在分别独立应用时,既有各自的优点,也存在着一定的缺陷和不足,主要体现为:FMEA不能展示故障模式到故障后果的推演过程;ESD模型的合理性很大程度上取决于初始事件的确定,而该方法本身不能实现这一功能。本文综合FMEA与ESD的优点,阐述了复杂动态系统FMEA与ESD综合分析的思路,对现有FMEA进行了一定的改进,并进一步分析计算机辅助FMEA和ESD综合方法建模的原理和实现技术。(本文来源于《安全与环境学报》期刊2007年03期）
龚时雨,谭林[10]（2006）在《基于事件序列图法的装备故障风险分析》一文中研究指出利用事件序列图建立装备故障风险模型的基本方法是:将故障事件作为引发事件,并通过相关问答开发环节事件,直至到达终态。同时,采用条件、逻辑门、参数、限制、规则等要素建立事件间的交互作用和时序关系,描述出故障事件发生并导致影响的可能发展过程。模型中,任何1个自引发事件开始至不期望终态结束的事件序列即构成1个事故链。将事故链及其发生概率、损失构成1个叁元组,用以描述该事故链的风险。(本文来源于《兵工自动化》期刊2006年12期）
事件序列图论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
利用时间和事件序列图分析技术,对某一具体事故进行了系统分析,展示了事故的具体发展过程,找到导致事故的关键事件,通过对关键事件进行深入分析,得出事故的直接原因、间接原因和系统存在的问题。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
事件序列图论文参考文献
[1].李欢,夏洪山,高阳,梁的达.基于事件序列图ESD的跑道入侵危险性分析[J].华东交通大学学报.2019
[2].张广文,王延平,张婷.时间和事件序列图分析技术在石化事故分析中的应用[J].安全、健康和环境.2016
[3].张祎民.UML2.0序列图到事件确定有限自动机转换的研究[D].西安电子科技大学.2012
[4].张琛,段振华,田聪.基于事件确定有限自动机的UML2.0序列图描述与验证[J].软件学报.2011
[5].谢海燕,蔡琦,张杨伟.事件序列图分层次建模用于反应堆动态可靠性分析[J].舰船科学技术.2010
[6].文华,刘红宇,谢海燕.用于反应堆动态概率风险评价的事件序列图研究[J].中国舰船研究.2009
[7].郝爱民.农产品供应链事件序列图模型及其应用——以河南小麦为例[J].安徽农业科学.2008
[8].谭林,王文峰,郭波.基于事件序列图方法的供应链建模与分析[J].工业工程与管理.2007
[9].谭林,龚时雨,郭波.计算机辅助故障模式影响分析与事件序列图综合分析方法研究[J].安全与环境学报.2007
[10].龚时雨,谭林.基于事件序列图法的装备故障风险分析[J].兵工自动化.2006