期刊文献+
共找到848篇文章
< 1 2 43 >
每页显示 20 50 100
基于模型的安全性分析技术研究 被引量:13
1
作者 车程 刘轶斐 《航空工程进展》 CSCD 2016年第3期369-373,共5页
基于模型的安全性分析技术(MBSA)经过十余年发展,其理论基础和工程应用技术已日趋成熟。首先阐述了传统的安全性分析技术存在的不足,分析了MBSA的技术优势;然后结合传统系统安全性分析流程,初步构建了基于模型的安全性建模与分析流程,... 基于模型的安全性分析技术(MBSA)经过十余年发展,其理论基础和工程应用技术已日趋成熟。首先阐述了传统的安全性分析技术存在的不足,分析了MBSA的技术优势;然后结合传统系统安全性分析流程,初步构建了基于模型的安全性建模与分析流程,最后给出了MBSA分析技术在飞机研制过程中的安全性评估案例。结果表明:MBSA可以解决传统安全性分析中飞机级安全性评估不足以及安全性分析结果正确性得不到客观保证的问题。 展开更多
关键词 基于模型的安全性分析技术 安全性 功能危险分析 特殊风险分析 初步系统安全性评估
在线阅读 下载PDF
电力通信网分组传送技术的可靠性与安全性分析
2
作者 张斯扬 《通信电源技术》 2025年第2期70-72,共3页
随着电力系统的现代化,电力通信网在保障系统稳定与安全运行中起着关键作用。分组传送技术以其高效、灵活的数据传输特性,广泛应用于电力通信网。然而,当前其在可靠性与安全性方面仍面临诸多挑战,如数据传输成功率不足、网络拓扑脆弱及... 随着电力系统的现代化,电力通信网在保障系统稳定与安全运行中起着关键作用。分组传送技术以其高效、灵活的数据传输特性,广泛应用于电力通信网。然而,当前其在可靠性与安全性方面仍面临诸多挑战,如数据传输成功率不足、网络拓扑脆弱及网络安全威胁等。文章深入分析电力通信网分组传送技术的可靠性与安全性,探讨影响因素,并提出优化策略与技术方案。研究表明,所提的优化策略有效提高了分组传送技术的可靠性与安全性,保障了电力系统的稳定运行。该研究成果为电力通信网分组传送技术的进一步优化提供了理论依据与实践指导,具有重要意义。 展开更多
关键词 电力通信网 分组传送技术 可靠性分析 安全性分析
在线阅读 下载PDF
食品包装材料的安全性和安全检测分析技术研究
3
作者 陈小兰 《现代食品》 2025年第2期146-148,共3页
通过文献调研和技术分析,阐述了食品包装材料的分类及其特点,深入探讨了影响包装材料安全性的因素,重点介绍了包装材料安全检测的几类关键技术。研究表明,建立完善的检测技术体系,加强生产过程控制,采用先进的检测方法是确保食品包装材... 通过文献调研和技术分析,阐述了食品包装材料的分类及其特点,深入探讨了影响包装材料安全性的因素,重点介绍了包装材料安全检测的几类关键技术。研究表明,建立完善的检测技术体系,加强生产过程控制,采用先进的检测方法是确保食品包装材料安全性的重要保障,这对于提高食品包装材料的质量控制水平,保障食品安全具有重要意义。 展开更多
关键词 食品包装材料 安全性 安全检测分析技术
在线阅读 下载PDF
基于模型的民用飞机配电网络安全性评估方法
4
作者 张媛 韩渭辛 《西北工业大学学报》 北大核心 2025年第1期84-91,共8页
随着航空技术的不断发展和革新,民用飞机配电网络系统的复杂化和综合化程度越来越高,因此其安全性对飞机的安全飞行起着至关重要的作用。传统的安全性评估方法极度依赖工程设计人员的经验,而配电网络的复杂交联结构极大地降低了传统系... 随着航空技术的不断发展和革新,民用飞机配电网络系统的复杂化和综合化程度越来越高,因此其安全性对飞机的安全飞行起着至关重要的作用。传统的安全性评估方法极度依赖工程设计人员的经验,而配电网络的复杂交联结构极大地降低了传统系统安全性分析的有效性和评估效率。基于模型的安全性分析方法(MBSA)能够有效降低安全性评估的复杂程度及迭代困难等问题,提升安全性评估工作效率及准确度。文中对MBSA方法进行介绍,对某民机配电网络进行基于模型的安全性评估,构建基于故障逻辑建模的分析及评估流程并给出评估结果,将评估结果结合专家权重进一步进行综合评价。证明MBSA对实际系统的安全性评估是行之有效的。 展开更多
关键词 安全性评估 配电网络 基于模型的安全性分析 民用飞机
在线阅读 下载PDF
评价机电引信设计安全性的基本要素
5
作者 王发林 施坤林 +1 位作者 汪仪林 宁波 《探测与控制学报》 北大核心 2025年第1期33-40,共8页
针对如何评价引信设计安全性的难题,提出引信安全设计逻辑、故障模式分析及安全失效率计算、安全裕度三个方面的基本要素架构。通过剖析机电引信全寿命周期解除隔离前、解除隔离后、未爆弹处理三个阶段分别导致安全问题的可能原因以及... 针对如何评价引信设计安全性的难题,提出引信安全设计逻辑、故障模式分析及安全失效率计算、安全裕度三个方面的基本要素架构。通过剖析机电引信全寿命周期解除隔离前、解除隔离后、未爆弹处理三个阶段分别导致安全问题的可能原因以及开展引信安全性分析的方法和手段,可从该架构的三个方面覆盖GJB 373B—2019《引信安全性设计准则》的所有具体措施,并对更多关于安全的裕度问题的量化分析提出验证的方向,提出引信安全性潜通路分析的路径,为构建引信安全性评价体系提供参考,为系统开展机电引信安全性评估提供思路。 展开更多
关键词 引信安全性分析与评估 全寿命周期 机电引信 技术评价体系
在线阅读 下载PDF
基于分析化学的药物检测技术在健康教育中的应用——评《药物分析化学》
6
作者 巨鲜婷 《应用化学》 北大核心 2025年第1期I0002-I0002,共1页
基于分析化学的药物检测技术在健康教育中具有重要作用,尤其在提高公众对药物安全、质量和有效性的认识方面。分析化学通过提供精确的药物成分分析和质量控制方法,不仅保障了药物的安全性,还可以通过教育公众理解这些技术的作用,从而促... 基于分析化学的药物检测技术在健康教育中具有重要作用,尤其在提高公众对药物安全、质量和有效性的认识方面。分析化学通过提供精确的药物成分分析和质量控制方法,不仅保障了药物的安全性,还可以通过教育公众理解这些技术的作用,从而促进合理用药和健康行为的养成。虽然《药物分析化学》的主要焦点是药物分析和检测技术,但它在健康教育方面也具有重要作用。通过对书中内容的学习和普及,可以有效地增强公众和专业人士对药物安全性、质量控制以及药物合理使用的认知,从而促进健康教育。 展开更多
关键词 分析化学 药物安全性 健康行为 合理用药 药物检测技术 药物成分分析 公众理解
在线阅读 下载PDF
网络态势系统信息分析与展现技术探析
7
作者 熊刚 张小龙 +1 位作者 李东风 曾生 《数字技术与应用》 2025年第1期37-39,共3页
网络空间作为迅速发展的新质力量,在未来扮演着至关重要的角色,与其相关的问题也日益成为研究者们关注的热门课题。网络态势系统信息分析与展现能力是网络空间的一项关键能力,本文围绕网络空间的主要特性、基本模型等进行了论述,并从态... 网络空间作为迅速发展的新质力量,在未来扮演着至关重要的角色,与其相关的问题也日益成为研究者们关注的热门课题。网络态势系统信息分析与展现能力是网络空间的一项关键能力,本文围绕网络空间的主要特性、基本模型等进行了论述,并从态势信息分析模型、态势信息采集、挖掘以及态势信息多维展现等多个方面深入分析了网络空间态势分析处理的关键技术,为我国网络空间态势信息综合能力建设提供了借鉴。 展开更多
关键词 网络空间 信息采集 空间态势 态势分析 网络态势 技术探析 基本模型 关键技术
在线阅读 下载PDF
基于kriging代理模型的碰撞安全性稳健性分析 被引量:8
8
作者 崔杰 张维刚 +1 位作者 谢伦杰 常伟波 《汽车工程》 EI CSCD 北大核心 2013年第1期51-55,共5页
针对材料和制造工艺等不确定因素,并为提高汽车碰撞安全性稳健性分析的效率,采用基于kriging代理模型的稳健性分析方法,研究材料不确定性对某款轿车前纵梁碰撞安全性能的影响。结果表明,材料特性的不确定性对前纵梁峰值碰撞力影响较大;... 针对材料和制造工艺等不确定因素,并为提高汽车碰撞安全性稳健性分析的效率,采用基于kriging代理模型的稳健性分析方法,研究材料不确定性对某款轿车前纵梁碰撞安全性能的影响。结果表明,材料特性的不确定性对前纵梁峰值碰撞力影响较大;基于kriging模型的稳健性分析的精度和效率比采用有限元模型时要高。 展开更多
关键词 KRIGING模型 碰撞安全性 稳健性分析
在线阅读 下载PDF
基于模型检验的飞机系统安全性分析方法研究 被引量:6
9
作者 吴海桥 刘超 +1 位作者 葛红娟 王华伟 《中国民航大学学报》 CAS 2012年第2期17-20,共4页
传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,... 传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖。将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的。 展开更多
关键词 飞机系统 安全性分析方法 模型检验 NUSMV
在线阅读 下载PDF
基于熵权法和改进灰色聚类模型的雷达软件安全性需求分析 被引量:7
10
作者 夏亮 杨江平 +2 位作者 邓斌 余娟 宋若愚 《兵器装备工程学报》 CAS 北大核心 2019年第9期94-98,168,共6页
针对现有的构造软件安全性需求指标体系研究,客观定量分析较少,提出了一种基于熵权法和改进灰色聚类模型的分析方法,该模型可以解决传统灰色聚类模型中各灰类综合聚类系数取值相近的问题;以某型雷达软件系统的安全性需求分析为例进行了... 针对现有的构造软件安全性需求指标体系研究,客观定量分析较少,提出了一种基于熵权法和改进灰色聚类模型的分析方法,该模型可以解决传统灰色聚类模型中各灰类综合聚类系数取值相近的问题;以某型雷达软件系统的安全性需求分析为例进行了评估,结果表明:该方法可以有效提高评估的准确性和科学性。 展开更多
关键词 熵权法 灰色聚类模型 雷达软件系统 安全性需求分析
在线阅读 下载PDF
高效液相色谱技术(HPLC)在食品营养及安全性分析中的应用 被引量:6
11
作者 牛乐 李建科 《食品研究与开发》 CAS 北大核心 2005年第2期120-123,共4页
综述了高效液相色谱技术在分析食品中营养成分和食品安全性等方面的应用。
关键词 高效液相色谱技术 安全性分析 食品营养 应用 食品安全性 营养成分
在线阅读 下载PDF
一种基于场景模型的安全性分析算法研究 被引量:2
12
作者 王曦 徐中伟 《铁道学报》 EI CAS CSCD 北大核心 2012年第11期67-76,共10页
为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时... 为了确保安全苛求系统的安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成系统的形式化模型,通过故障自动注入与形式化模型扩展,采用扩展的启发式广义büchi自动机判空检测算法自动验证与分析系统的安全性。通过铁路车站联锁系统中基本进路建立的安全性分析实例,验证了该方法的正确性与实际可行性。与已有的安全性分析方法相比,本文提出的方法从效率和安全质量方面改善了安全苛求软件的设计与开发,为安全苛求系统的安全性保障与安全评估提供了有力的技术支撑。 展开更多
关键词 场景模型 安全性分析 模型检测
在线阅读 下载PDF
基于故障树的计算机安全性分析模型 被引量:4
13
作者 张涛 胡铭曾 +2 位作者 云晓春 张永铮 郑明 《高技术通讯》 CAS CSCD 北大核心 2005年第7期18-23,共6页
提出了通过分析计算机系统的资源实体、访问者权限、安全需求和弱点等安全属性,按照不同的安全需求构造出安全故障树来直观地反映攻击者可能选取的攻击手段的安全状况评价方法;分析安全故障树,使用潜在攻击路径和系统安全失效概率从定... 提出了通过分析计算机系统的资源实体、访问者权限、安全需求和弱点等安全属性,按照不同的安全需求构造出安全故障树来直观地反映攻击者可能选取的攻击手段的安全状况评价方法;分析安全故障树,使用潜在攻击路径和系统安全失效概率从定性和定量两个方面表达计算机系统的安全状况,为系统的安全改进提供指导和建议. 展开更多
关键词 故障树 分析模型 安全性 计算机系统 安全状况 安全属性 评价方法 攻击手段 安全需求 失效概率 系统安全 攻击者 实体 权限
在线阅读 下载PDF
基于计算模型的安全协议Swift语言实施安全性分析 被引量:1
14
作者 孟博 何旭东 +2 位作者 张金丽 尧利利 鲁金钿 《通信学报》 EI CSCD 北大核心 2018年第9期178-190,共13页
分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包... 分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包含SubSwift语言的语句、类型到Blanchet演算的语句及类型的映射关系与规则;再次根据Sub Swift语言到Blanchet演算的映射模型,提出从安全协议Sub Swift语言实施生成安全协议Blanchet演算实施方法;最后应用Antrl4工具和Java语言开发安全协议Blanchet演算实施生成工具SubSwift2CV,分析OpenID Connect协议、Oauth2.0协议和TLS协议的SubSwift语言实施安全性。 展开更多
关键词 安全协议 实施安全性 Swift语言 形式化分析 模型抽取
在线阅读 下载PDF
数字图像加密技术及其安全性分析 被引量:4
15
作者 刘为超 《科学技术创新》 2020年第18期104-105,共2页
随着我国科学技术的快速发展,互联网的快速普及,无论是在人们的日常生活中还是在人们的工作中,数字图像信息都是人们沟通交流的重要形式之一。现如今,很多的企业和个人都使用数据图像将信息进行保存,因此提高数字图像加密技术的安全性... 随着我国科学技术的快速发展,互联网的快速普及,无论是在人们的日常生活中还是在人们的工作中,数字图像信息都是人们沟通交流的重要形式之一。现如今,很多的企业和个人都使用数据图像将信息进行保存,因此提高数字图像加密技术的安全性成为当下急需解决的问题,而数字图像加密技术及其安全性研究已经引起世界各国的高度重视。 展开更多
关键词 数字图像 加密技术 安全性分析
在线阅读 下载PDF
数字图像加密技术及其安全性分析 被引量:2
16
作者 刘为超 《科学技术创新》 2020年第17期86-87,共2页
随着我国科学技术的快速发展,互联网的快速普及,无论是在人们的日常生活中还是在人们的工作中,数字图像信息都是人们沟通交流的重要形式之一。现如今,很多的企业和个人都使用数据图像将信息进行保存,因此提高数字图像加密技术的安全性... 随着我国科学技术的快速发展,互联网的快速普及,无论是在人们的日常生活中还是在人们的工作中,数字图像信息都是人们沟通交流的重要形式之一。现如今,很多的企业和个人都使用数据图像将信息进行保存,因此提高数字图像加密技术的安全性成为当下急需解决的问题,而数字图像加密技术及其安全性研究已经引起世界各国的高度重视。本文将对数字图像加密技术及其安全性分析进行深入的探讨。 展开更多
关键词 数字图像 加密技术 安全性分析
在线阅读 下载PDF
深井锚网巷道安全性判别模型及机理分析
17
作者 张军 王建鹏 《中国矿业》 北大核心 2014年第1期95-99,共5页
为了依据巷道围岩临界塑性区范围、应力及位移等参数对深井巷道安全性进行判别,基于弹塑性理论及摩尔库仑准则,建立了经过等效变换处理的巷道安全性判别力学模型;以大屯煤电公司孔庄矿7432工作面轨道巷为研究对象,对有无采动影响、是否... 为了依据巷道围岩临界塑性区范围、应力及位移等参数对深井巷道安全性进行判别,基于弹塑性理论及摩尔库仑准则,建立了经过等效变换处理的巷道安全性判别力学模型;以大屯煤电公司孔庄矿7432工作面轨道巷为研究对象,对有无采动影响、是否支护条件下的塑性区范围、应力及位移进行解算、对比和机理分析;结果表明,采动会影响塑性区半径、巷道位移临界值,不会影响塑性区应力临界值;支护会提高塑性区破坏的应力临界值,降低塑性区范围及位移临界值。判别模型解算结果与工程实际相符,等效变换后的深井锚网巷道安全性判别模型有效、实用,能为深井锚网巷道的初步设计及安全判别提供理论参考依据。 展开更多
关键词 深部锚网巷道 安全性 判别模型 机理分析
在线阅读 下载PDF
基于高斯混合模型的自适应隐写安全性分析
18
作者 奚玲 平西建 张昊 《信息工程大学学报》 2011年第3期333-337,362,共6页
信息隐藏安全性研究可用以指导隐写算法设计,对信息隐藏来讲具有重要的意义。近年来,为了提高算法的安全性,自适应隐写算法层出不穷,但自适应隐写算法安全性的理论研究并未同步展开。以自然图像的高斯混合模型为基础,论证了在图像复杂... 信息隐藏安全性研究可用以指导隐写算法设计,对信息隐藏来讲具有重要的意义。近年来,为了提高算法的安全性,自适应隐写算法层出不穷,但自适应隐写算法安全性的理论研究并未同步展开。以自然图像的高斯混合模型为基础,论证了在图像复杂度不同的区域采用不同嵌入率的自适应隐写算法的安全性高于非自适应隐写算法,并对论证结果的实际意义进行了分析,得出几点对隐写算法参数设计及图像载体的选择具有指导意义的结论。 展开更多
关键词 自适应隐写 安全性分析 高斯混合模型 嵌入率
在线阅读 下载PDF
预制开洞深弯梁安全性分析S&T模型法的应用
19
作者 林琳 《佳木斯大学学报(自然科学版)》 CAS 2018年第5期689-692,共4页
对预制混凝土开洞深弯梁安全性进行研究,基于有限元理论提出可行的分析方法。通过有限元分析软件的虚拟仿真计算方法,结合预制开洞深弯梁实际工程案例来说明S&T模型法在安全性分析中的应用,并利用S&T模型法计算预制开洞深弯梁... 对预制混凝土开洞深弯梁安全性进行研究,基于有限元理论提出可行的分析方法。通过有限元分析软件的虚拟仿真计算方法,结合预制开洞深弯梁实际工程案例来说明S&T模型法在安全性分析中的应用,并利用S&T模型法计算预制开洞深弯梁的内力情况,从而解决实际工程问题,总结出可行的开洞深弯梁理论设计方法。 展开更多
关键词 开洞深弯梁 S&T模型 有限元分析 安全性分析
在线阅读 下载PDF
基于角色访问控制系统中角色结构安全性分析问题的模型检测验证 被引量:4
20
作者 邹林 潘理 《上海交通大学学报》 EI CAS CSCD 北大核心 2010年第9期1192-1196,共5页
提出了一种与角色结构相关的安全性分析问题(RRA-SAP),分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法,并验证了其有效性.结果表明,该算法可以在期望的时间内... 提出了一种与角色结构相关的安全性分析问题(RRA-SAP),分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法,并验证了其有效性.结果表明,该算法可以在期望的时间内自动解决RRA-SAP问题. 展开更多
关键词 角色结构 安全性分析问题 模型检测
在线阅读 下载PDF
上一页 1 2 43 下一页 到第
使用帮助 返回顶部