基于PWA模型安全诊断方法在CSTR系统中应用

提出了一种基于云模型的主机安全评估方法,方法全面考虑影响主机安全的连续型及离散型因素,设计了一套完整的指标因素集,并把离散参数加入云的不确定推理器,改进了单纯依靠连续型参数进行评估的推理算法.通过推理算法可以实现云的不确定性评估,解决评估知识表达的不确定性,实现定性概念与定量数据之间的不确定性转换,为用户提供可靠的决策信息,并且通过实验仿真验证了方法的可行性.

0引言信息安全是我国信息产业发展中比较重要的一个问题,它影响着我国信息网络的发展前景。要做好信息安全保护,必须要进行信息安全评估。根据信息安全评估发现信息安全风险并采取防范措施,是目前我们研究的重要的信息安全保护手段。而要对信息安全进行评估,必须要先进行信息安全关系模型的构建,然后根据信息安全评估的模型,采取相应的评估方法进行信息安全评估。随着国家经济的发展,我国信息网络技术也逐渐得到了迅速

为完善安全理论模型构建方法论体系,论述安全理论模型的定义、内涵与结构等基础问题,并提炼安全建模方法论理论基础和构建原则.从系统粒度、安全科学原理研究路径与模型表达形式抽象程度3维度厘清安全理论模型的研究取向,并构建安全理论模型体系空间.提炼安全理论模型构建的一般方法,从已知与未知2个视角探析安全理论建模步骤.基于此,建立安全模型构建方法论的范式体系.

演化算法在求解大型、复杂的工程优化问题时,由于大量耗时的详细分析计算,导致算法的优化效率很低。文中将均匀设计、径向基神经网络技术以及演化算法结合起来,发展了一种“基于均匀设计的逐步修正近似模型构造方法”。利用该方法可以建立目标及约束的近似模型,不仅避免了耗时的详细分析计算,而且提高了演化算法的效率。演化算法采用粒子群优化算法,以六峰值驼背测试函数以及某载人返回舱气动布局优化设计作为算例,验证了该方法的有效性。

\"工业4.0\"和\"中国制造2025\"为制造业产业结构调整提供了新方向,针对制造业发展的多视角研究现状,确定了以产业能源安全角度对实现\"智造强国\"新路径进行探析的新思路。基于系统分析的\"物理-事理-人理\"理论和方法,构建了制造业能源安全的wsr三维解锁模型,并对制造业能源安全的物理(人类社会-能源系统状态)、事理(制造业能源安全预警)、人理(制造业能源立法)进行辩证分析,为制造业能源安全的系统研究提供了理论和方法支撑。

针对信息系统安全评价现有方法中各评价指标由研究者主观提出的实际情况,提出了一种新的综合层次分析法并结合德尔菲法的a-delphi方法构建分层结构评价体系,运用该评价体系建立了一个适用于信息系统安全评价的通用数学模型。最后利用模糊综合评价法在该模型基础上对一个实际信息系统进行了安全等级评估。

针对传统故障模式及影响分析（failuremodeandeffectsanalysis,简称fmea）不能识别装备或零部件的故障机理,其故障原因分析、故障影响推理及潜在故障模式识别能力较弱,故障信息描述不规范等导致的分析效率低、可信度差、分析结果重复使用性差等问题,提出一种新的故障机理、模式及影响分析（failuremode,mechanismandeffectsanalysis,简称fmmea）方法。首先,根据系统结构、功能及其内部物质流、能量流、信号流、部件故障等信息建立系统的功能-结构-故障模型;其次,采用模糊认知图推理分析各故障模式的传播途径及影响,得到规范化的故障模式及影响分析表格,可为系统的可靠性、测试性设计与分析提供基础数据;最后,以某燃油供给系统为例进行了fmmea分析,验证了该方法的可行性和有效性。

介绍了基于模型参考故障诊断的闸门优化维护系统的设计思想及构成。结合清江隔河岩水利枢纽闸门传动系统,介绍了监测量的选择标准。考虑到液压传动系统的非线性特性,为了提高模型的准确性,采用了分布式物理图网建模方法建立液压系统模型。以油缸为例说明了建模方法及状态观测器的设计方法。实践证明该系统能够有效地检测液压传动系统的典型故障

该文把静态分析技术与基于模型的演绎验证结合起来提供了一个框架,分析应用源代码,自动生成一个分析器,它能够推断关于给定程序行为的逻辑约束方面的信息。该文引入了一阶逻辑断言来描述api调用语义。这些断言构成分析器使用的模型。通过实验,该方法可被用来识别java程序中的关于安全的逻辑错误。

为了保障水下无人潜器的安全,降低潜器工作时损坏或丢失的风险,水下无人潜器上都会配备安全系统。它可以在潜器遭遇险情时,如设备故障、舱室浸水等,准确定位故障,评估危险形势并决策应急措施,帮助水下无人潜器实现自救。故障诊断专家系统是一种基于知识的故障诊断方法,十分适用于知识不完整的复杂系统设计。但由于水下无人潜器的工作环境十分复杂,故障类型十分多样且是实时变化的,传统的故障诊断专家系统因需要花费较长的响应时间,可能无法满足安全系统的响应时间要求。为此,将有限状态机技术应用到诊断专家系统中,以提高诊断专家系统的响应速度,同时使系统变得更加灵活,功能拓展更为方便。此外,应用基于模型的设计方法,在stateflow中建立安全系统的模型,进行模型验证工作,借助plccoder工具生成目标控制器的代码完成算法部署工作。

为了使电路故障诊断系统更加智能化、高效化,将基于模型诊断的故障诊断技术应用在智能消防小车电路中。根据小车的系统行为信息对小车进行建模,利用串口模块将描述文件在线输入到计算机中,再根据isds算法以及带有终止节点的csse-tree算法调用minisat求解器求解诊断结果。实验表明,该系统能够迅速指示故障元件,诊断效率较高,具有较好的应用前景。

为预测民航安全业绩发展趋势,通过散点图、相关系数、主因子分析等多种统计方法,筛选5大类、共计20项与民航安全运行关系密切的社会经济指标,建立民航综合安全指数mlr模型;依据中国民航在1995—2014年间的安全生产历史数据,分析其发展历史、现状、特征与存在的问题,并利用arima模型进行预测分析。结果表明,人员素质因子和技术能力因子对民航安全均有显著影响;民航安全综合指数预测值在2015—2017年间总体稳定;mlr方法和arima模型对民航安全趋势的耦合分析结果良好。

近年来,建筑结构的安全性问题已成为人们关注的焦点,对此展开全方面的安全评估是极为必要的,应用有效的模型修正方法实施结构安全评估,能够降低检测误差,有利于全面检测层刚度系数,提高识别对象的准确度.本文首先对模型修正算法及方法分类进行了基本介绍,然后通过数值研究对方法实施深入探究.

针对飞行安全风险问题,采用层次分析的方法(ahp)建立了评估模型。将飞行安全目标分解,建立层次结构模型;运用特尔非法构造评判矩阵;通过实例运算,层次总排序结果通过一致性检验,说明模型结构合理,具有很好的实际应用价值。

大坝工作性态影响因素众多、属性的特征多样、相互关系复杂,对其安全状况的综合评估是一个典型的不确定性问题.充分考虑大坝安全评估过程中的模糊性和随机性,组合应用云模型和d-s证据理论开展了大坝安全多指标综合评估方法研究.依据大坝安全评估多指标体系和安全等级划分标准,借助云模型实现d-s证据理论中基本概率赋值,进而基于d-s证据理论并加以改进,构建了大坝安全综合评估模型,并提出了相应的综合评估实现方法.应用于实际工程案例分析,验证了文中所述方法的合理性与可行性.实例表明,通过云模型和d-s证据理论在大坝安全综合评估中的组合使用,有效降低了评估过程不确定性对其结果的影响,为大坝安全多指标综合评估提供了一种可行的途径和思路.

土地生态安全是资源环境生态系统健康的基础。鉴于土地生态系统安全各项评价指标的不相容性,借助经典ees-psr模型在土地生态安全评价指标体系方面的优势,采用物元模型分析方法,构建了土地生态安全评价物元模型。以黑龙江省哈尔滨市的土地生态安全评价为例,利用物元评价模型,在gis技术支持下,实现了研究区土地生态安全评价与评价结果的可视化表达与分析。研究结果表明:2011—2015年哈尔滨市土地生态安全水平从“不安全”向“安全”水平不断转化,2013年后变化最为突出。造林面积、第一产业占gdp比例、万元gdp能耗标准煤、工业废水处理率、人均占有公共绿地面积连续多年处于“不安全”水平,是哈尔滨市土地生态安全水平的制约因素。2015年哈尔滨市中部、西南部地区土地生态安全水平较差,北部、东南部地区水平较高。研究表明物元模型分析对于地区土地生态安全评价工作具有一定的理论价值。

本文通过对既有隧道扩挖施工系统进行结构分析,确定了人、机、环境、管理和信息等五类15个致因,并考虑各个因素之间的交互作用,采用dematel/ism方法进行既有隧道扩挖施工安全影响因素建模。分析结果表明:安全文化薄弱,应变能力差和认识缺陷等是既有隧道扩挖施工安全风险关键因素。

随着网络技术的不断普及应用,网络安全也受到大众的高度重视。针对网络安全风险管理问题提出了一种基于博弈模型的网络安全最优攻防决策方法,结合网络脆弱点防控措施生成最优攻防策略。通过实例应用分析了该攻防决策的效果,结果显示基于博弈模型可生成最优的攻防决策方案。

随着社会信息化水平的不断提高,计算机技术目前在人们的生活当中发挥出至关重要的作用,同时人们也越来越依赖于计算机技术。在这样的背景下,对于网络安全的研究已成为最重要的问题之一,博弈模型就是在这样的条件下应运而生。简单说来,博弈模型就是依据计算机网络中的一些脆弱的信息,最终生成出网络状态攻防图,并根据这个攻防图总结出最优化的攻防策略,在最大程度上提升网络的安全性。基于此,本文以博弈模型为基础,总结出基于博弈模型的理论如何为提升网络安全生成最佳的决策方法。

从人件、硬件、软件、应急救援以及环境等方面对电梯建立安全评估体系,在genie上建立贝叶斯拓扑结构。利用维保部门的故障记录作为数据训练样本,得到根节点概率和条件概率。改变根节点的边缘概率,刷新贝叶斯模型对电梯安全做风险评估,找出影响电梯安全的最大风险因素。实验结果表明,电梯的硬件因素能对电梯安全产生最大影响。

为了评估某个网络的安全性,把网络当中的所有主机系统当作云滴,提出了一种基于云模型的分布式主机安全评估方法,该方法考虑不同主机系统在网络安全评估中的重要程度,利用云相似度算法,解决了决策层评估不确定型问题,实现定性概念与定量数据之间的不确定性转换,为用户提供可靠的决策信息,并且通过实例验证了该方法的可行性。

从人件、硬件、软件、应急救援以及环境等方面对电梯建立安全评估体系,在genie上建立贝叶斯拓扑结构。利用维保部门的故障记录作为数据训练样本,得到根节点概率和条件概率。改变根节点的边缘概率,刷新贝叶斯模型对电梯安全做风险评估,找出影响电梯安全的最大风险因素。实验结果表明,电梯的硬件因素能对电梯安全产生最大影响。