期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于GSN的安全论证方法在产品功能安全评估中的应用
1
作者 徐征捷 殷源 +3 位作者 黄爱萍 谭琪 谭邵波 陈瑶 《控制与信息技术》 2019年第2期72-76,共5页
安全相关机构对产品安全可接受性的认识主要取决于安全论证过程中产生的安全证明文件是否全面、准确,文章采用目标结构表示法(goal structuring notation,GSN)构建基于IEC 62425标准的安全论证模型,在系统全生命周期中梳理安全目标与安... 安全相关机构对产品安全可接受性的认识主要取决于安全论证过程中产生的安全证明文件是否全面、准确,文章采用目标结构表示法(goal structuring notation,GSN)构建基于IEC 62425标准的安全论证模型,在系统全生命周期中梳理安全目标与安全证明文件间的论证推理关系,从而能够有效地整合安全分析中的安全证据材料,并在安全性需求和安全性证据间建立明确的论证关系。该方法被应用于构建轨道交通信号系统应答器车载设备的安全论证模型中,取得了良好的效果。 展开更多
关键词 目标结构表示法 功能安全 安全论证 安全证明文件 应答器车载设备
坪头水电站2#泄洪闸基础处理设计方案的优化与安全性论证 预览 被引量:2
2
作者 田启文 靳孟贵 +1 位作者 张敬 庞明亮 《安全与环境工程》 CAS 北大核心 2014年第3期159-164,共6页
为了能及时、有效地解决坪头水电站首部枢纽基础开挖时,工期紧以及2#泄洪闸基础土体开挖至原设计建基面高程时不能满足设计要求的问题,本文通过相关的勘探和试验工作,确定了2 #泄洪闸建基面高程,并采取了挖除、回填素混凝土换基的优化... 为了能及时、有效地解决坪头水电站首部枢纽基础开挖时,工期紧以及2#泄洪闸基础土体开挖至原设计建基面高程时不能满足设计要求的问题,本文通过相关的勘探和试验工作,确定了2 #泄洪闸建基面高程,并采取了挖除、回填素混凝土换基的优化处理措施来保证2 #泄洪闸闸室的安全.经过计算分析,处理后的2 #泄洪闸基底应力、抗滑稳定安全系数、抗浮稳定安全系数、地基最大沉降量等均能满足规范的要求,从而确保了2 #泄洪闸闸室的安全和工程整体施工的工期. 展开更多
关键词 水电站泄洪闸 基础处理 换土法 优化设计 安全性论证
在线阅读 免费下载
某均质土坝的安全评价 预览 被引量:1
3
作者 张永康 刘海军 《杨凌职业技术学院学报》 2010年第3期 1-4,共4页
通过对某水库运行以来存在的各种问题,结合土工试验和调查资料,从防洪标准复核、渗流安全分析、结构安全复核、现场调查等方面对该水库的安全状况进行了分析评价,可为同类工程提供参考。
关键词 水利工程 安全论证 均质土坝 资料分析 评价
在线阅读 下载PDF
基于安全论证法的铁路运营安全评价
4
作者 尹佳雯 左忠义 尹盼盼 《中国安全科学学报》 CSCD 北大核心 2018年第S2期155-160,共6页
为保障铁路运营安全,首先,构建铁路运营安全评价指标体系;然后,采用改进的层次分析(AHP)法与熵权法,以D市火车站为例,确定各影响因素的权重并加以修正;最后,筛选权重较大的影响因素,基于安全论证法,论证出根本致因风险,并论证风险防范... 为保障铁路运营安全,首先,构建铁路运营安全评价指标体系;然后,采用改进的层次分析(AHP)法与熵权法,以D市火车站为例,确定各影响因素的权重并加以修正;最后,筛选权重较大的影响因素,基于安全论证法,论证出根本致因风险,并论证风险防范方式。研究结果表明:影响铁路运营安全的权重占比较大的几个因素包括:车辆因素、轨道及设备因素及监督管理因素,行车技术、铁路人员及行车设备是影响这几大因素的根本致因;风险防范方式包括:根除风险、减小风险发生的概率以及减轻风险造成的负影响。 展开更多
关键词 铁路运营安全 改进的层次分析(AHP)法 熵权法 指标评价 安全论证法
小型均质土坝的安全鉴定方法与综合评价 预览
5
作者 宁振江 刘海军 《杨凌职业技术学院学报》 2010年第1期 20-23,共4页
通过对某水库运行以来存在的各种问题,结合土工试验和调查资料,从防洪标准复核、渗流安全分析、结构安全复核、现场调查等方面对该水库的安全状况进行了分析评价,本文可为同类工程提供参考。
关键词 水利工程 安全论证 均质土坝 资料分析 评价
在线阅读 下载PDF
安全论证方法及其在铁路信号开发安全保障中的应用 预览 被引量:6
6
作者 牛儒 唐涛 《铁道学报》 EI CSCD 北大核心 2014年第4期54-59,共6页
随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论... 随着我国铁路运行速度的提高和运行间隔的缩短,以及计算机和通信技术在信号系统中的大规模应用,安全问题显得越发重要和复杂。如何针对我国国情,保证新一代信号系统的安全性是当前必须面对的难题。本文以安全目标为主线,采用安全论证的方法对系统研发阶段的安全保障进行规划和验证。在此基础上,构建信号系统的论证驱动安全设计框架,以GSN论证语言为基础设计安全论证的软件系统。 展开更多
关键词 轨道交通信号系统 安全论证 系统开发安全保障 GSN(goal STRUCTURING notation)
在线阅读 下载PDF
Safety analysis and control of blasting mining area adjacent to infrastructure 预览
7
作者 Shi Fuqiang 《中国工程科学:英文版》 2014年第6期96-99,共4页
Systematic analysis of influence of blasting vibration on bridges,tunnels,slopes and the mechanical relationships between each other were drawn based on the example of safety argument between blasting mining area and ... Systematic analysis of influence of blasting vibration on bridges,tunnels,slopes and the mechanical relationships between each other were drawn based on the example of safety argument between blasting mining area and protected objects.The safety argument methods and technological means of controlling dangerous and harmful factors were proposed by the application of principle of risk analysis.And standard control system was established based on controlling the blasting parameters of division of blasting area. 展开更多
关键词 控制爆破 基础架构 安全分析 矿区 安全参数 控制系统 爆破振动 风险分析
在线阅读 下载PDF
基于需求的安全例证获取与管理方法研究 预览
8
作者 于小飞 陈邦兴 唐晨 《佳木斯大学学报:自然科学版》 CAS 2013年第6期863-866,共4页
基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event—B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同... 基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event—B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event—B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估. 展开更多
关键词 安全例证 安全论证 目标结构语言 Event—B形式化方法
在线阅读 下载PDF
危险化学品建设项目安全条件论证的探讨 预览
9
作者 牛星钢 《中国安全生产科学技术》 CAS 2007年第3期 97-100,共4页
安全条件论证是危险化学品新建、改建、扩建项目设立审查、安全许可、监督管理、项目选址时科学决策的依据。安全条件论证的编写是安全评价理论和方法的创新,如何准确、规范地编制安全条件论证,是建设单位、安全技术服务机构和安全监... 安全条件论证是危险化学品新建、改建、扩建项目设立审查、安全许可、监督管理、项目选址时科学决策的依据。安全条件论证的编写是安全评价理论和方法的创新,如何准确、规范地编制安全条件论证,是建设单位、安全技术服务机构和安全监督管理部门需要探讨的一个新问题。 展开更多
关键词 规范 安全条件论证 建设项目 危险化学品
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈