分享到:

基于主逻辑图的安全风险建模研究

1 引 言安全风险分析和评估是安全系统工程的核心内容 ,主要是通过风险分析鉴别系统潜在的危险及可能导致的事故 ,评估事故后果及发生的可能性 ,为对采取的安全措施提供决策依据 ,把系统安全风险控制在可接受的水平。目前 ,基于事件树 故障树模型的概率风险评估已成为广泛接受的对复杂系统进行安全风险研究的成熟方法。比如国内已应用概率风险评估研究航天系统的安全性[1 ] ,其分析是基于静态的、两状态逻辑的 (成功或失败 )。然而 ,复杂系统多呈现动态的特性 ,当需要重点考虑动态因素的情况下 ,采用这种传统的事件树 故障树模型 ,则难以提供对动态概率风险评估的支持。因此 ,需要建立不同于传统 (或静态 )事件树 故障树新的模型结构 ,以确保概率风险评估的完整性和精确性。对于大的复杂系统而言 ,分析和评估其安全风险 ,尤为需要建立动态因素的模型。基于事件树 故障树模型的概率风险分析通常假设基本事件之间是相互独立的 ,不考虑事件间的关联对风...  (本文共4页) 阅读全文>>

《中国社会保障》2015年03期
中国社会保障

全民参保登记逻辑图

2014年2015年下发通知。《人力资源社会保障部关于实施“全民参完善方案和措保登记计划”的通知》(人社部发【2014】40号)施,将试点扩时间进度安排《人力资源社会保障部办公厅关于确定浙江等50个大到50%左右地区作为全民参保登记计划试点单位的通知》(人社的地区厅发【2014】80号)全民登记(参保信息内...  (本文共2页) 阅读全文>>

《工业安全与环保》2005年12期
工业安全与环保

动态主逻辑图一种改进的安全风险建模方法

1引言对于非常复杂的系统而言(例如核能电厂、大型工程设备等),如想对整个系统做出模型进行可靠度分析或风险评估事实上是相当困难的,尤其是系统中的各个子系统之间又互相关联。因此,提出一套能对系统的各项功能及系统内的各个子系统之间的逻辑关系做出清晰描述的方法,有其实际意义上的需求。在系统的安全风险研究领域,传统概率风险评估采用的故障树、事件树等方法对事故序列中大量相关性问题的处理显得较为困难,于是采用主逻辑图(Master LogicDiagram)模型化技术,对复杂系统进行层次分解,生成系统的安全风险模型,快捷地鉴定那些能导致系统失效的可能的异常情况。但是主逻辑图分析模型是一种静态的分析模型,其分析理论是使用布尔代数,若要应用于具有动态行为的系统,有很大的难度。主逻辑图虽具有很多优点,但仍有一些限制:无法用以描述系统的动态物理特性、不确定行为、部分失效的情形和系统随时间改变状态的特性等。为了进一步扩充主逻辑图分析模型的应用途径,在主...  (本文共3页) 阅读全文>>

《Journal of Beijing Institute of Technology(English Edition)》1950年20期
Journal of Beijing Institute of Technology(English Edition)

高级综合中的逻辑图自动生成

高级综合中的逻辑图自动生成左京燕,刘明业(北京理工大学计算机科学与工程系,北京100081)摘要:讨论的逻辑图自动生成器是VHDL语言高级综合及混合模拟系统的一个子系统,它能从高级综合的结果提取出网表信息并在合理的时间内生成美观易读逻辑图,文中探讨了逻辑图的划分、布局及布线.最后给出了测试结果.关键词:划分/逻辑图;布局;布线分类号:Th391.72AutomaticGenerationofSchematicDiagramsinHigh-LevelSynthesis¥ZuoJingyan;LiuMingye(DepartmentofComputerScienceandEngineering,BeijingInstituteofTechnology,Beijing100081)Abstract:TheautomaticschematicdiagramgeneratorofBIT(ASG-BIT)discussedhereisasu...  (本文共11页) 阅读全文>>

《湖北汽车工业学院学报》1998年03期
湖北汽车工业学院学报

关于555单片定时器等效逻辑图的探讨

l引言在目前国内许多电子技术的教科书刊中所给出的555单片定时器的等效逻辑图不能反映和体现555芯片的触发端所具有的优先控制输出状态的功能,因此,根据555芯片的内部电路以及5天的真值状态表,本文绘出了一种改进的等效逻辑图。2555定时器的引脚功能和真值状态表555单片定时器的引脚排列见图1其引脚功能和真值状态表分别见表1、表ZI’]图1555芯片的引脚排列表1555芯片的引脚功能表2555芯片的真值状态表注:0表示低电平,1表示高电平,”表示为任意电平、Vc。为芯产的电源电压3问题的提出目前国内外许多电子书刊中给出的555芯片等效逻辑图如图2所示[‘]。在图2中,当触发端2的电位<上*_,阀值端6的23—·—””“电位>子L时,则比较器—一3—”’”””『———””A;、A。同时输出为高电平,使基本RS触发器的R—521、。又由基本RS触发器的真值功能表可知...  (本文共3页) 阅读全文>>

《炼油化工自动化》1976年02期
炼油化工自动化

过程逻辑图

描述控制设备(阀门、马达)彼此相互之间的关系,如用逻辑图解的方法代替繁长的文字说明,则可以更简单地加以表达。 化工厂内有很多设备独任何时间内仅基于两个之中的一个状态而存在。一个马达可以是停或运转,一个感应线圈可以是通电或不通电,一个阀门可以是开或关着辱等。因为这些设备是系统的一部分,如果一个设备的状态改变了,那么系统将怎样改变。因此知道他们彼此之间的关系,这是很重要的。 例如在管线上有两个截止阀A和B, 如果它们在同一管线上均关着。开其中的一个阀门明显地对系统无影响。必须打开两个阀流体才能通过。假如一个阀装在旁路上(如围绕着一个锐孔板)打开任何一个或两个徜若系统有压力,阀将使流体通过。这就要求戛传动设备启动泵使泵C运转。 我们可遇到各种情况的设计,一直到展开非常复杂的统系。逻辑图它对描述复杂的过程能找出操作规律来。 逻辑图的用途: 在简单和复杂的问题上,我们用逻辑图对任何过程,描述其相互作用提供了一个便利的途径。就两个阀门串联来...  (本文共5页) 阅读全文>>