期刊文献+
共找到105篇文章
< 1 2 6 >
每页显示 20 50 100
农村运输安全性系统的综合分析与评价
1
作者 傅美贞 陈丽文 《中国农机化》 北大核心 2004年第5期39-42,共4页
介绍农村运输安全性系统的组成要素、特性及以系统主要素为参数的一定运输系统事故的数学模型。通过事故次数模型和质量指标评价模型的相应分析,揭示了发生事故的主要因素,提出了减少和控制事故发生的一些手段。通过实例分析,证明系统... 介绍农村运输安全性系统的组成要素、特性及以系统主要素为参数的一定运输系统事故的数学模型。通过事故次数模型和质量指标评价模型的相应分析,揭示了发生事故的主要因素,提出了减少和控制事故发生的一些手段。通过实例分析,证明系统事故次数模型和质量指标评价模型是适用的。 展开更多
关键词 农村运输 安全性系统 综合分析 质量指标
在线阅读 下载PDF
基于CLPN的系统安全性分析方法
2
作者 余新胜 朱丹江 罗论涵 《计算机工程》 CAS CSCD 北大核心 2024年第10期255-265,共11页
随着安全性攸关系统的智能化、自动化发展,系统规模和复杂度急剧增加,传统基于链式/树式安全性因果模型的安全性分析方法在非线性致危因素、非失效致危因素分析方面存在很大的局限性,现代基于系统理论的安全性因果模型虽然在航空航天、... 随着安全性攸关系统的智能化、自动化发展,系统规模和复杂度急剧增加,传统基于链式/树式安全性因果模型的安全性分析方法在非线性致危因素、非失效致危因素分析方面存在很大的局限性,现代基于系统理论的安全性因果模型虽然在航空航天、核电能源等多个领域得到有效性验证,但目前该类方法尚缺乏严格统一的分析步骤和自动化分析工具。为此,提出复杂系统控制过程的建模工具——控制逻辑Petri网(CLPN),对控制过程中的活动及其之间的交互影响关系进行形式化描述,并对系统CLPN模型的可达图进行失效扩展,在不影响安全性分析的前提下尽量避免因失效事件建模造成的分析模型规模激增。基于CLPN模型,以系统理论事故模型与过程(STAMP)系统安全性因果模型危险因素分类为标准,在可达性分析的基础上对作为系统致危因素的危险控制活动进行探索,实现系统安全性的自动化分析。最后,通过实例分析和方法对比,对所提方法的可用性和有效性进行验证。实验结果表明,基于CLPN的系统安全性分析方法在结果完备性和分析效率方面具有较大的优势。 展开更多
关键词 PETRI网 系统安全性 安全性分析 系统理论事故模型与过程 控制逻辑Petri网
在线阅读 下载PDF
提高电池与电缆系统安全性的技术探讨
3
作者 缪新招 谢志炜 +2 位作者 莫华朝 李华 林蔚 《电池》 CAS 北大核心 2024年第6期I0003-I0004,共2页
电池作为能源存储的关键组件,安全性直接关系到能源系统的稳定运行和用户的安全;而电缆作为电力和数据传输的主要媒介,安全性同样不可忽视。电池与电缆系统在运行过程中面临着过载、环境侵蚀和物理损伤等多种风险,会导致系统故障甚至引... 电池作为能源存储的关键组件,安全性直接关系到能源系统的稳定运行和用户的安全;而电缆作为电力和数据传输的主要媒介,安全性同样不可忽视。电池与电缆系统在运行过程中面临着过载、环境侵蚀和物理损伤等多种风险,会导致系统故障甚至引发事故。有鉴于此,采用新技术提升这些系统的安全性,是确保能源供应安全和促进科技进步的必要条件。 展开更多
关键词 科技进步 能源供应安全 电缆系统 物理损伤 能源系统 能源存储 系统安全性 数据传输
在线阅读 下载PDF
飞机整机级系统安全性指标分析 被引量:12
4
作者 宗蜀宁 端木京顺 +2 位作者 王青 赵瑞贤 汪建华 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2012年第1期10-14,共5页
针对整机级系统安全性评估中安全性指标的选择与确定问题,分析对比了国内常用安全性参数之间的区别,指出了其在系统安全性评估应用中的缺点;根据系统安全性的特点,提出了飞机整机级系统安全性指标的要求和维度;借鉴国外系统安全性评估... 针对整机级系统安全性评估中安全性指标的选择与确定问题,分析对比了国内常用安全性参数之间的区别,指出了其在系统安全性评估应用中的缺点;根据系统安全性的特点,提出了飞机整机级系统安全性指标的要求和维度;借鉴国外系统安全性评估的成功经验,结合可靠性,提出了指标选择和量化的具体方法,并举例说明安全性指标的应用时机和使用方法。研究表明,将安全性与可靠性相结合,选择影响飞机安全性的可靠性指标进行机整机级系统安全性评估,可以解决传统安全性参数量化困难、不适用等问题,是一种可行并且合理的方法。 展开更多
关键词 飞机 整机级 系统安全性指标 系统安全性评估
在线阅读 下载PDF
飞机整机级系统安全性评估方法探讨 被引量:13
5
作者 宗蜀宁 端木京顺 +1 位作者 汪建华 赵瑞贤 《中国安全科学学报》 CAS CSCD 北大核心 2011年第10期125-130,共6页
为提高飞机整机级系统安全性评估效果,在明确整机级系统安全性评估思想的情况下,详细描述了整机级系统安全性分析和整机级系统安全性验证的流程;运用故障树分析法和故障模式与影响分析法研究了能够满足整机级系统安全性要求的评估方法... 为提高飞机整机级系统安全性评估效果,在明确整机级系统安全性评估思想的情况下,详细描述了整机级系统安全性分析和整机级系统安全性验证的流程;运用故障树分析法和故障模式与影响分析法研究了能够满足整机级系统安全性要求的评估方法和关键技术。实例表明:整机级严酷等级评估方法能够定性地防止颠覆性的逻辑错误;功能故障树可以对安全性指标进行精确的分配和计算;结合故障树和故障模式与影响分析法而形成的两阶段指标分配法提高了个别安全性指标数值,但仍符合安全性要求。 展开更多
关键词 系统安全性评估 整机级 两阶段指标分配法 系统安全性分析 系统安全性验证
在线阅读 下载PDF
基于GO-FLOW法的苹果冷链物流系统安全性评价 被引量:12
6
作者 杨芳 谢如鹤 刘鹏飞 《湖南师范大学自然科学学报》 CAS 北大核心 2011年第5期41-45,共5页
应用系统可靠性理论,利用GO-FLOW方法对苹果冷链物流系统进行安全性分析和风险评价,进行GO-FLOW程序运算,分析系统各环节的可靠性和故障率,找出了影响系统安全性的关键环节并提出了解决思路.
关键词 GO-FLOW法 苹果冷链物流 系统安全性评价
在线阅读 下载PDF
矿井通风系统安全性的多层次模糊综合评价 被引量:35
7
作者 任松 王新胜 +3 位作者 姜德义 李林 李付胜 侯亚彬 《中国安全科学学报》 CAS CSCD 北大核心 2009年第10期127-131,共5页
按照事故致因理论,并进行系统安全分析和易发事故分析,建立了矿井通风系统安全性的多层次评价体系;应用层次分析法和Matlab软件,确定矿井通风系统安全性评价体系中各子系统及各指标的权重;结合实际经验,根据安全规范构造各指标隶属度;... 按照事故致因理论,并进行系统安全分析和易发事故分析,建立了矿井通风系统安全性的多层次评价体系;应用层次分析法和Matlab软件,确定矿井通风系统安全性评价体系中各子系统及各指标的权重;结合实际经验,根据安全规范构造各指标隶属度;进而根据评价集构造了梯形分布的隶属函数,并得到各指标对评价集的最终隶属度、模糊关系矩阵和综合评价矩阵;求得矿井通风系统安全状况的综合得分,进而划分安全评价等级,并提出了对应各等级的处理措施。将该评价方法应用到重庆开县桃园联合煤矿,取得了良好的效果。 展开更多
关键词 矿井通风系统安全性 层次分析法(AHP) 隶属度 隶属函数 模糊综合评价
在线阅读 下载PDF
多功能IC卡系统设计与系统安全性 被引量:12
8
作者 何大可 李晓航 饶伟 《计算机应用》 CSCD 1999年第9期13-16,共4页
西南交大校园卡′96 系统、清华大学校园 I C 卡系统是国内高校有代表性的校园 I C 卡系统。此类多功能 I C 卡系统的设计,特别是系统的安全设计,对企事业单位的( 单用途) I C 卡支付系统和实现“一卡通”多功能应用系统... 西南交大校园卡′96 系统、清华大学校园 I C 卡系统是国内高校有代表性的校园 I C 卡系统。此类多功能 I C 卡系统的设计,特别是系统的安全设计,对企事业单位的( 单用途) I C 卡支付系统和实现“一卡通”多功能应用系统的安全设计均有普遍参考价值。 展开更多
关键词 IC卡 集成电路卡 系统设计 系统安全性
在线阅读 下载PDF
系统安全性预测模型与系统的建立 被引量:5
9
作者 程卫民 苏绍桂 辛嵩 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2003年第4期533-535,共3页
系统安全性预测对预防事故起到至关重要的作用,而预测模型的正确选择是预测的关键。本文就目前安全性预测的原则、预测模型的复杂程度、特点和选择等若干问题进行了分析,并就系统安全性预测中如何处理这些问题进行了探讨。在综合分析的... 系统安全性预测对预防事故起到至关重要的作用,而预测模型的正确选择是预测的关键。本文就目前安全性预测的原则、预测模型的复杂程度、特点和选择等若干问题进行了分析,并就系统安全性预测中如何处理这些问题进行了探讨。在综合分析的基础上,建立了合理的预测系统。组合预测利用各种预测方法提供的有用信息,有效提高了预测精度,改变由于预测模型选择不合理而带来得预测误差。 展开更多
关键词 系统安全性预测 预测模型 预测系统 预测方法 预测误差 预测原则
在线阅读 下载PDF
电动汽车无线充电系统传导电磁干扰及其对安全性的影响 被引量:4
10
作者 郭彦杰 王丽芳 +3 位作者 张俊智 张玉旺 张云 李树凡 《汽车安全与节能学报》 CAS CSCD 2017年第4期374-380,共7页
为了明确电动汽车(EV)无线充电系统(WCS)的传导电磁干扰(EMI)特性及其对系统安全性的影响,该文分析系统等效传导电磁干扰源,建立传导电磁干扰等效电路模型。基于实际系统参数分析传导干扰传递函数在谐波频率处的增益,研究系统额定工作... 为了明确电动汽车(EV)无线充电系统(WCS)的传导电磁干扰(EMI)特性及其对系统安全性的影响,该文分析系统等效传导电磁干扰源,建立传导电磁干扰等效电路模型。基于实际系统参数分析传导干扰传递函数在谐波频率处的增益,研究系统额定工作状态、线圈发生较大偏移,以及整流电路工作在断续导通模式(DCM)的情况下,系统传导电磁干扰特性及其对安全性的影响,并对所建立的模型进行试验验证。结果表明:电动汽车无线充电系统线圈之间发生较大偏移及整流电路工作在断续导通模式时,会带来高频传导干扰,需要采取相应的措施进行抑制;在设计系统时应保证整流电路输入电感足够大,以避免断续导通模式带来的传导电磁干扰并提高系统电磁安全性。 展开更多
关键词 电动汽车 系统安全性 无线充电系统 传导电磁干扰 电磁兼容
在线阅读 下载PDF
安全性苛求系统中关于软件安全性评价的研究 被引量:9
11
作者 郦萌 《计算机工程与科学》 CSCD 2002年第2期59-61,69,共4页
安全性苛求系统由于其行为直接关系人身和大宗财产的安全 ,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质。由于安全性苛求系统的软件在开发时规定要采取一系列可靠性和安全性措施 ,到形成产品后 ,软件内部缺陷的暴露都... 安全性苛求系统由于其行为直接关系人身和大宗财产的安全 ,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质。由于安全性苛求系统的软件在开发时规定要采取一系列可靠性和安全性措施 ,到形成产品后 ,软件内部缺陷的暴露都是一些小概率事件 ,如果仅仅依靠测试数据进行安全性定量评估 ,由于测试开销的限制 ,依据似感不足。本文提出一种多元、多模型、多阶段进行安全性评价的方法。在系统开发和运用的不同阶段 ,从不同角度 ,利用历史的和当前的数据 ,依靠客观和主观的判断 ,对系统的安全性进行评价 。 展开更多
关键词 安全性苛求系统 软件安全性 评价 软件开发 计算机
在线阅读 下载PDF
动态系统安全性分析软件平台研究 被引量:1
12
作者 罗鹏程 颜兆林 +1 位作者 郑龙 周经伦 《计算机工程与设计》 CSCD 北大核心 2007年第8期1768-1771,共4页
装备系统的动态行为特征使其安全性分析工作复杂而困难。为满足装备系统动态安全性分析工程实际的需要,需开发集成化的软件平台并综合运用有关技术方法来进行。研究了动态系统安全性分析的主要工作内容,分析了动态系统安全性分析平台对... 装备系统的动态行为特征使其安全性分析工作复杂而困难。为满足装备系统动态安全性分析工程实际的需要,需开发集成化的软件平台并综合运用有关技术方法来进行。研究了动态系统安全性分析的主要工作内容,分析了动态系统安全性分析平台对基础数据、知识和模型的需求,提出了平台的结构和功能设计方案,并给出了分析流程。 展开更多
关键词 动态性 系统安全性 软件平台 危险分析 风险评估
在线阅读 下载PDF
信息系统安全性评估研究综述 被引量:4
13
作者 刘芳 戴葵 +1 位作者 王志英 吴丹 《计算机工程与科学》 CSCD 2004年第10期19-22,33,共5页
本文首先归纳了信息系统安全性评估技术的发展及其主要研究方向,分析了对系统安全性进行定量评估的必要性和可行性,探讨了安全性定量评估研究中的不足之处,并分析其原因,基于Petri网和随机模糊理论给出了相应的解决方案,最后提出了安全... 本文首先归纳了信息系统安全性评估技术的发展及其主要研究方向,分析了对系统安全性进行定量评估的必要性和可行性,探讨了安全性定量评估研究中的不足之处,并分析其原因,基于Petri网和随机模糊理论给出了相应的解决方案,最后提出了安全性定量评估与定性评估相结合的解决思路。 展开更多
关键词 信息系统安全 系统安全性 PETRI网 模糊理论 解决方案 随机 定量评估 原因 分析 可行性
在线阅读 下载PDF
模型驱动的嵌入式系统设计安全性验证方法研究 被引量:2
14
作者 刘雪 胡军 +3 位作者 黄志球 马金晶 程桢 石娇洁 《计算机工程与科学》 CSCD 北大核心 2015年第8期1498-1509,共12页
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型... 基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。 展开更多
关键词 系统安全性分析 模型驱动工程 SysML/MARTE 状态机模型 嵌入式系统
在线阅读 下载PDF
非致命武器系统安全性分析 被引量:3
15
作者 汪送 战仁军 《火力与指挥控制》 CSCD 北大核心 2017年第5期169-172,共4页
非致命武器在各类防暴和处突任务中发挥着重要作用,为提高非致命武器的系统安全性,给出了系统安全性的定义,明确了非致命武器系统安全性的组成,分析了非致命武器本质(固有)安全性和使用安全性的关系。在建立非致命武器系统安全性评价指... 非致命武器在各类防暴和处突任务中发挥着重要作用,为提高非致命武器的系统安全性,给出了系统安全性的定义,明确了非致命武器系统安全性的组成,分析了非致命武器本质(固有)安全性和使用安全性的关系。在建立非致命武器系统安全性评价指标的基础上,建立了适用于非致命武器的安全管理系统模型,为非致命武器的安全管理模式提供了一种新的思路。 展开更多
关键词 非致命武器 系统安全性 安全性分析 评价指标 安全管理系统
在线阅读 下载PDF
系统安全性与可靠性分析的故障树方法 被引量:4
16
作者 黄洪钟 《中国安全科学学报》 CAS CSCD 1993年第4期12-17,共6页
探讨了大型复杂系统安全性与可靠性分析的故障树技术。阐述了国外具有代表性的几种建树方法。针对实际应用情况,提出了将建树过程划分为5个阶段,应遵循的8条基本准則。导出了典型系统可靠度与故障率等可靠性参数计算的通用公式。论述了... 探讨了大型复杂系统安全性与可靠性分析的故障树技术。阐述了国外具有代表性的几种建树方法。针对实际应用情况,提出了将建树过程划分为5个阶段,应遵循的8条基本准則。导出了典型系统可靠度与故障率等可靠性参数计算的通用公式。论述了故障树分析方法的特点及发展动向。 展开更多
关键词 系统安全性 可靠性 故障树分析
在线阅读 下载PDF
基于故障树-蒙特卡罗模拟的航空发动机控制系统适航审定安全性分析方法 被引量:12
17
作者 闫锋 尚永锋 付继龙 《科学技术与工程》 北大核心 2019年第29期363-370,共8页
为航空发动机控制系统(FADEC系统)初始适航审定安全性分析提供一种方法.通过将FADEC系统出现故障导致发动机LOTC事件作为系统的失效状态,分析FADEC系统导致LOTC事件的系统单元,建立FADEC系统单元之间的可靠性模型,求出系统失效状态的最... 为航空发动机控制系统(FADEC系统)初始适航审定安全性分析提供一种方法.通过将FADEC系统出现故障导致发动机LOTC事件作为系统的失效状态,分析FADEC系统导致LOTC事件的系统单元,建立FADEC系统单元之间的可靠性模型,求出系统失效状态的最小割集,然后在时域内模拟系统状态的随机游走;通过计算机仿真来实现利用蒙特卡罗模拟对系统状态之间的转移时间和转移结果进行抽样来得到大量具体的系统状态,系统失效的概率用抽样得到的系统失效的频率来估计。计算单元修复率为1次/h、0. 8次/h和0. 5次/h三种情况下的FADEC系统瞬时LOTC率和平均LOTC率。结果表明单元修复率为0. 5次/h FADEC系统不满足适航要求的平均LOTC率水平,但其他情况均可以满足要求。可见该方法计算得到的保留故障要求与航空器MMEL适航文件一致。 展开更多
关键词 全权限数字电子控制系统 系统安全性评估 丧失推力控制事件 故障树分析 最小割集 蒙特卡罗模拟
在线阅读 下载PDF
系统安全性分析及预测 被引量:1
18
作者 付华 王大勇 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2008年第A01期169-171,共3页
为了提高安全性预测的可行性,对传统的系统安全性预测方法进行了分析和探讨,通过实例对比计算的方法,得出可不作逻辑图,直接利用实际系统连接图就可以进行系统可靠性计算;比其他方法的计算工作量都小得多,对越复杂的系统,该优点越突出;... 为了提高安全性预测的可行性,对传统的系统安全性预测方法进行了分析和探讨,通过实例对比计算的方法,得出可不作逻辑图,直接利用实际系统连接图就可以进行系统可靠性计算;比其他方法的计算工作量都小得多,对越复杂的系统,该优点越突出;元件的可靠度越高,计算结果精度越高,是复杂系统安全性的预测有效的数据模型。 展开更多
关键词 系统安全性 计算方法 安全性预测 数据模型
在线阅读 下载PDF
基于.NET的B2C电子商务系统安全性设计与实现 被引量:2
19
作者 施佺 柏方 +1 位作者 肖仰华 曹渠江 《计算机应用与软件》 CSCD 北大核心 2005年第9期118-120,共3页
在论证B2C电子商务安全性需求以及.NET平台安全性方案的优势的基础上,提出了基于.NET的电子商务系统的物理安全模型及其实现模型,讨论了这一安全模型在多端体系结构下的实现过程,并给出了.NET框架下通过身份验证、授权、加密等手段实现... 在论证B2C电子商务安全性需求以及.NET平台安全性方案的优势的基础上,提出了基于.NET的电子商务系统的物理安全模型及其实现模型,讨论了这一安全模型在多端体系结构下的实现过程,并给出了.NET框架下通过身份验证、授权、加密等手段实现B2C电子商务系统安全性的技术细节。 展开更多
关键词 NET B2C 电子商务 安全 电子商务系统 .NET平台 安全性设计 .NET框架 安全模型 系统安全性
在线阅读 下载PDF
一种系统安全性的形式化验证方法 被引量:1
20
作者 王海峰 吕永波 张仲义 《计算机工程与应用》 CSCD 北大核心 2003年第4期48-49,107,共3页
随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨... 随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨了系统安全性形式化验证的方法。 展开更多
关键词 计算机系统 系统安全性 形式化验证方法 有限自动机 模型检验
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部