1、“.....个迁移过程以及迁移的条件事件既执行过程等信息,搭建其拓展有限状态机模型。分析其数据依赖关系路径,从而确定数据正负依赖影响关系,从而通过新的石化系统安全分析方法对其数据依赖相关性进行分析。并通过对数据的验证说明了所提方法的可行性和有效性,从而推,在任何系统中,故障分析目标往往需要确立在故障诊断分析前,而故障变量则需要根据实际分析情况而变动。在本文的案例分析中以迁移中的水槽液位作为诊断对象,即以,作为切片算法的切片准则,以格式描述双容水槽液位控制系统模型的状态和迁移信息,将切片准则,起作于精准数据关系定量描述的,其在探讨数据依赖迭代关系时具有明确的计算公式。在实际服役大型石化系统中,并没有明确的数据依赖关系,通常描述个量的变化常常是用模糊评价进行的,比如升高或降低减少或增多变大或变小。本文通过把正负影响关系引入模型中,从而建立了服役大型石化系统的模型,以双容水槽控制系统作为应用案例......”。

2、“.....主要内容是给出双容水槽液位控制系统的描述,引用其模型,然后,对其利用切片算法进行计算,求出切片和切为下个状态的形成条件与当前状态输入值和前置条件中的内部环境变量值有关。从而可以把不同时期的状态定义为此状态的前状态输入以及前置条件中的内部环境变量的函数由此,针对前置条件中仅包含输入参数的,其可以看作是确定的,因为输入参数的值由测试人员控制改变。摘要针对石化系统工作过程安全分析问题,综合计算机领域中数据依赖技术,本文提出里种新的应用于石化系统的的安全分析解决办法。通过对双容水槽液位控制系统进行分析,找出变量和工艺流程之间的关系,基于数据依赖关系的石化系统安全分析原稿究。姜淑娟等学者提出了基于异常传播分析的数据流分析方法,从而更好的推进了计算机领域的数据相互关联依赖的研究方法。基于数据依赖关系的石化系统安全分析原稿。模型在传统计算机应用场合是基于精准数据关系定量描述的......”。

3、“.....在实际服役大型石化系统中,并没有明确的数据依赖关系,通常描述个量的变化常常是用模糊评价进行的,比如升高或降低减少或增多变大或变小。本文通过把正负影响关系引入模型中,从而建序列中加入变量的正负影响关系,将原有的赋值语句的精确定量描述关系,转换为模糊描述的正负影响关系,从而达到将变量的精准分析转换为定性描述。在大型石化系统服役过程中能够提取出不同子模块的运行状态不同状态之间的相互转换关系事件和状态之间的转换条件和转换动作,因此,大型石化系统具备利用的描述条件,改进的模型描述如下其中是状态集,是迁移的集合,是事件集,以事件点为参考,个迁移中的事件可能含有多个不同子事行编码进行到开放的软件需求级数据依赖分析,其研究对象也从最初级的程序源代码发展到软件模型和开放数据库。现阶段的技术特点是使用扩展有限状态机,描述模型。基于扩展有限状态机的数据依赖函数,源于年代的模型切片中......”。

4、“.....美国的标准规范化了模型结构和数据库,明确基于模型的数据依赖概念。国内廖力等学者对多个迁移间的数据依赖传递性进行了深入语句输入语句和输出语句。现有定义如果给定个模型,假如下个状态仅由当前状态以及当前输入来决定,则称该是确定的。为了能够更加有效的分析大型石化系统的服役过程的各个子模块的数据相互依赖迭代关系,首先为研究对象建立模型,然后分别研究个迁移内部个迁移间,多个迁移间,以及最终到整个系统的数据依赖关系,这些研究内容涉及迁移内数据依赖关系迁移间数据依赖关系含输入参数的,其可以看作是确定的,因为输入参数的值由测试人员控制改变。及数据依赖是基于系统状态的精准建模数学描述。本文尝试针对大型石化系统利用进行模糊定性描述和分析,改良描述,以方便其从传统的计算机程序语言分析中更加适应于描述分析大型石化系统。在动作序列中加入变量的正负影响关系,将原有的赋值语句的精确定量描述关系......”。

5、“.....从而达到将变量的精准分析转换为定性描述。在大型石化系统服役过程中能迁移间数据依赖相互传递性,数据依赖关系路径,从而有效分析大型石化系统服役过程复杂数据依赖关系,并进步对其做故障诊断和安全分析与评价。基于数据依赖关系的石化系统安全分析原稿。及数据依赖是基于系统状态的精准建模数学描述。本文尝试针对大型石化系统利用进行模糊定性描述和分析,改良描述,以方便其从传统的计算机程序语言分析中更加适应于描述分析大型石化系统。在动摘要针对石化系统工作过程安全分析问题,综合计算机领域中数据依赖技术,本文提出里种新的应用于石化系统的的安全分析解决办法。通过对双容水槽液位控制系统进行分析,找出变量和工艺流程之间的关系,从中提取个状态,个迁移过程以及迁移的条件事件既执行过程等信息,搭建其拓展有限状态机模型。分析其数据依赖关系路径,从而确定数据正负依赖影响关系......”。

6、“.....并通过对数据的验证说明了所提方法的可行性和有效性,从而推过程中发现,其故障诊断方法的基础是通过推理模型建立专家系统知识库,然后通过调用知识库中的数据进行不同系统的故障诊断推理,从而达到对该系统进行故障诊断的目的。在切片计算方法的分析过程中,通过其分析过程提取出可以描述大型石化系统的故障模型,从而建立基于切片计算的鼓故障知识库。在大型石化系统中,由于其复杂性,故障隐蔽性高精度性等原因导致故障诊断对于其安全运营生产是十分重要的。本文通过把在计算机领域中应用的切片技术做适当的改,在实际情况下,根据算法输入需要和系统的实际操作流程安排,将对有关下列迁移的动作进行定改动,以下是改动介绍,在任何系统中,故障分析目标往往需要确立在故障诊断分析前,而故障变量则需要根据实际分析情况,所以用表示中的变量集。迁移中原来用于表征数值加减的序列算术表达式表达含义发生改变......”。

7、“.....动作序列包括包含赋值语句的标准化表达式语句输入语句和输出语句。现有定义如果给定个模型,假如下个状态仅由当前状态以及当前输入来决定,则称该是确定的。由此定义可以看出,在模型中,如果有前置条件存在于状态函数中,且在前置条件中又存在内部环境变量,从而可以认定该模型是不能形成确定映射关系的,迁移间数据依赖相互传递性,数据依赖关系路径,从而有效分析大型石化系统服役过程复杂数据依赖关系,并进步对其做故障诊断和安全分析与评价。基于数据依赖关系的石化系统安全分析原稿。及数据依赖是基于系统状态的精准建模数学描述。本文尝试针对大型石化系统利用进行模糊定性描述和分析,改良描述,以方便其从传统的计算机程序语言分析中更加适应于描述分析大型石化系统。在动究。姜淑娟等学者提出了基于异常传播分析的数据流分析方法,从而更好的推进了计算机领域的数据相互关联依赖的研究方法。基于数据依赖关系的石化系统安全分析原稿......”。

8、“.....其在探讨数据依赖迭代关系时具有明确的计算公式。在实际服役大型石化系统中,并没有明确的数据依赖关系,通常描述个量的变化常常是用模糊评价进行的,比如升高或降低减少或增多变大或变小。本文通过把正负影响关系引入模型中,从而建系统运营过程进行故障诊断是有效可行的。参考文献基于的流程工业性能与故障诊断研究。无锡江南大学,俞金寿。种基于输入训练神经网络的非线故障诊断方法。控制与决策张裕芳,易宏,梁晓锋。基于故障树的智能故障诊断方法。上海交通大学学报。,。在计算机程序设计过程中,往往会出现程序编码错位的问题,为了解决这个问题,引入了数据依赖技术。数据依赖技术的应用领域主要在计算机领域发展,其应用范围也从传统的在不同的软件服役生命周期过程中进基于数据依赖关系的石化系统安全分析原稿后应用到大型石化系统中的故障监测和诊断中,并明确给出基于切片的故障诊断的操作过程......”。

9、“.....从而证明了通过切片算法求得的相关变量数据依赖图进行石化系统运营过程进行故障诊断是有效可行的。参考文献基于的流程工业性能与故障诊断研究。无锡江南大学,俞金寿。种基于输入训练神经网络的非线故障诊断方法。控制与决策张裕芳,易宏,梁晓锋。基于故障树的智能故障诊断方法。上海交通大学学报。究。姜淑娟等学者提出了基于异常传播分析的数据流分析方法,从而更好的推进了计算机领域的数据相互关联依赖的研究方法。基于数据依赖关系的石化系统安全分析原稿。模型在传统计算机应用场合是基于精准数据关系定量描述的,其在探讨数据依赖迭代关系时具有明确的计算公式。在实际服役大型石化系统中,并没有明确的数据依赖关系,通常描述个量的变化常常是用模糊评价进行的,比如升高或降低减少或增多变大或变小。本文通过把正负影响关系引入模型中,从而建邻接依赖关系。在图中,普通实线代表邻接桥接依赖......”。