期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到450篇文章
< 1 2 … 23 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
引信软件安全性与引信安全系统软件安全性探讨
1
作者 秦栋泽 《装备环境工程》 CAS 2024年第8期25-31,共7页
首先结合相关标准探讨了引信软件安全性与引信安全系统软件安全性的概念以及内涵,讨论了引信软件安全性的不同维度。进而对引信安全系统软件安全性进行了分析,明确了引信安全系统软件主要特点。最后对当前引信系统软件安全性存在的部分... 首先结合相关标准探讨了引信软件安全性与引信安全系统软件安全性的概念以及内涵,讨论了引信软件安全性的不同维度。进而对引信安全系统软件安全性进行了分析,明确了引信安全系统软件主要特点。最后对当前引信系统软件安全性存在的部分问题给出了建议与改进措施。 展开更多
关键词 兵器科学与技术 引信 安全性 引信软件 引信软件安全性 引信安全系统软件安全性
下载PDF
基于Petri网的某引信安全系统软件安全性分析
2
作者 王卫民 齐杏林 +1 位作者 陈亚旭 段雪峰 《军械工程学院学报》 2003年第1期9-14,共6页
介绍了软件安全性和基于Petri网软件安全性分析技术.结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应... 介绍了软件安全性和基于Petri网软件安全性分析技术.结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施.总结了基于Petri网的系统软件安全性分析的特点. 展开更多
关键词 PETRI网 软件安全性 引信 安全系统
下载PDF
软件系统的安全性设计与漏洞防范技术研究
3
作者 徐成龙 《家电维修》 2024年第10期56-58,共3页
目前,软件系统在各个领域扮演着不可或缺的角色,随之而来的是日益复杂和多样化的网络威胁,软件系统的安全性设计愈发成为保障用户数据隐私和信息安全的迫切需求。为确保软件系统的稳健性、可用性和可信度,安全设计及漏洞防范技术成为当... 目前,软件系统在各个领域扮演着不可或缺的角色,随之而来的是日益复杂和多样化的网络威胁,软件系统的安全性设计愈发成为保障用户数据隐私和信息安全的迫切需求。为确保软件系统的稳健性、可用性和可信度,安全设计及漏洞防范技术成为当前信息技术研究的关键要点。本文分析了软件系统的特点、安全性的核心要求及实现方法,在此基础上提出软件系统漏洞防范技术的应用策略,为软件系统的安全性设计与漏洞防范技术的高效实施提供了建设性意见。 展开更多
关键词 软件系统 漏洞防范 安全性设计 防范技术 方法探究
下载PDF
基于MBSE的鱼雷全电子安全系统安全性与任务可靠性分析
4
作者 王储 秦栋泽 刘瑜 《计算机测量与控制》 2024年第4期314-321,340,共9页
随着武器装备研究的深入推进,传统方法难以满足复杂系统安全性与可靠性分析的需求;为提升系统研发与评估效率,以形式化的系统建模语言分析鱼雷全电子安全系统的安全性、可靠性成为必然趋势;文章在传统安全性与可靠性分析的基础上,基于... 随着武器装备研究的深入推进,传统方法难以满足复杂系统安全性与可靠性分析的需求;为提升系统研发与评估效率,以形式化的系统建模语言分析鱼雷全电子安全系统的安全性、可靠性成为必然趋势;文章在传统安全性与可靠性分析的基础上,基于系统工程开展安全系统建模过程,以功能需求、系统架构、活动视图以及时序逻辑控制作为安全性与作用可靠性分析的构成元素,对系统功能模型进行故障传播建模;最后以安全建模语言构建事故树模型得出安全性与可靠性的影响因素,为引信系统的安全性与可靠性分析工作提供一定参考价值。 展开更多
关键词 引信 鱼雷 全电子安全系统 安全性 可靠性 MBSE
下载PDF
引信软件安全性仿真测试系统研究 被引量：1
5
作者 王静 齐杏林 吕静 《军械工程学院学报》 2005年第3期18-20,共3页
首先分析了引信软件的特点,结合引信的高安全性要求,对引信软件安全性进行分析.然后详细讨论了构建引信软件安全性仿真测试系统的难点,提出了系统工作原理,对其特点进行了分析,指出了系统要实现的功能,描述了系统体系结构.
关键词 引信 软件 系统研究 仿真测试 系统体系结构 安全性要求 测试系统 工作原理
下载PDF
引信软件安全性和可靠性仿真测试系统研究 被引量：2
6
作者 高聪杰 齐杏林 杜力民 《微计算机信息》 北大核心 2005年第11Z期70-71,共2页
引信作为弹药战斗部的起爆控制系统,它的安全性和可靠性对战斗部效能的发挥和人机安全性起着至关重要的作用。文章通过对引信软件安全性和可靠性测试的分析,利用虚拟仪器软件开发平台LabVIEW,设计出了一套仿真测试系统,较好地测试了引... 引信作为弹药战斗部的起爆控制系统,它的安全性和可靠性对战斗部效能的发挥和人机安全性起着至关重要的作用。文章通过对引信软件安全性和可靠性测试的分析,利用虚拟仪器软件开发平台LabVIEW,设计出了一套仿真测试系统,较好地测试了引信软件的性能。 展开更多
关键词 引信软件 安全性 可靠性 仿真测试
下载PDF
重庆邮电大学学报(自然科学版)“可靠可信安全系统”专题征稿启事
7
《重庆邮电大学学报（自然科学版）》 CSCD 北大核心 2024年第1期F0002-F0002,共1页
随着物联网、软件系统及人工智能等技术的高速发展,技术进步给人们生活带来改变的同时,其系统安全性也得到了研究人员的重视。可靠可信安全系统是保障个人隐私、商业机密和整体社会安全的基石,其对于现代社会和技术发展具有重要的关键... 随着物联网、软件系统及人工智能等技术的高速发展,技术进步给人们生活带来改变的同时,其系统安全性也得到了研究人员的重视。可靠可信安全系统是保障个人隐私、商业机密和整体社会安全的基石,其对于现代社会和技术发展具有重要的关键性意义。可靠可信安全系统构建在多个层面的基础上。 展开更多
关键词 可信安全 商业机密 人工智能 物联网 软件系统 重庆邮电大学 系统构建 系统安全性
下载PDF
基于三个环境信号的引信电子安全系统安全性分析 被引量：7
8
作者 何光林 李杰 李世义 《兵工学报》 EI CAS CSCD 北大核心 2002年第2期171-175,共5页
解除保险逻辑的设计是保证电子安全系统高安全性的重要步骤。本文针对实际设计中引信电子安全系统可能采用的五种解除保险逻辑模式安全性进行了分析、比较和排序。指出电子安全系统的三个独立的电子开关采用加两个时间窗、且同时闭合的... 解除保险逻辑的设计是保证电子安全系统高安全性的重要步骤。本文针对实际设计中引信电子安全系统可能采用的五种解除保险逻辑模式安全性进行了分析、比较和排序。指出电子安全系统的三个独立的电子开关采用加两个时间窗、且同时闭合的控制模式是这五种之中安全性最高的。 展开更多
关键词 引信 电子安全系统 安全性 逻辑保险
下载PDF
机动式引信安全性X射线检测系统研究 被引量：3
9
作者 齐杏林 高敏 +3 位作者 刘秋生 高俊国 王军波 李彦学 《探测与控制学报》 CSCD 北大核心 2002年第4期10-13,共4页
讨论了机动化引信安全性检测的必要性和作用 ,分析了机动式 X射线检测系统主要特点 ,提出了系统总体结构设计方案 ,给出了该系统典型引信的射线成象结果。该系统的应用表明系统能够满足机动化引信安全性检测的需要 ,从根本上解决了部队... 讨论了机动化引信安全性检测的必要性和作用 ,分析了机动式 X射线检测系统主要特点 ,提出了系统总体结构设计方案 ,给出了该系统典型引信的射线成象结果。该系统的应用表明系统能够满足机动化引信安全性检测的需要 ,从根本上解决了部队弹药野战条件下机动化保障的急需。 展开更多
关键词 机动式引信 机动式X射线检测系统 引信安全性检测 弹药保障 X射线检测 实时成象
下载PDF
基于改进AHP和云模型的雷达软件系统安全性评价 被引量：12
10
作者 夏亮 项建涛 +2 位作者 杨江平 王慧娟 张长聪 《兵器装备工程学报》 CAS 北大核心 2019年第8期145-150,共6页
针对雷达软件系统安全性评价的问题,提出了一种基于改进AHP和云模型理论评价方法,采用了一种改进AHP算法确定指标权重,利用云模型理论将指标权重与云模型有机结合得到综合云,将综合云与各标准云相比较,得到软件系统的安全性评价结果,通... 针对雷达软件系统安全性评价的问题,提出了一种基于改进AHP和云模型理论评价方法,采用了一种改进AHP算法确定指标权重,利用云模型理论将指标权重与云模型有机结合得到综合云,将综合云与各标准云相比较,得到软件系统的安全性评价结果,通过实例计算并和其他两种评价方法进行比较验证了该方法的可行性和科学性。 展开更多
关键词 软件系统 改进AHP 云模型 安全性评价
下载PDF
环境对引信软件安全性接口影响研究 被引量：3
11
作者 崔俊杰 周春桂 张明荣 《弹箭与制导学报》 CSCD 北大核心 2007年第2期401-402,F0003,共3页
文中在介绍引信软件安全性概念的基础上,主要研究了引信使用环境对软件、硬件接口影响,并对引信接口设计方法进行了分析。
关键词 引信 安全性 软件 接口
下载PDF
大型相控阵雷达软件系统安全性研究 被引量：4
12
作者 夏亮 杨江平 +1 位作者 常春贺 王安安 《系统工程与电子技术》 EI CSCD 北大核心 2019年第8期1755-1762,共8页
随着软件系统在大型相控阵雷达中的大量应用,软件系统带来的安全性问题也引起广泛关注。针对大型相控阵雷达软件系统的安全性问题,首先利用软件失效模式和影响分析方法进行安全性分析,找出软件系统的薄弱环节;然后进行针对性安全性设计... 随着软件系统在大型相控阵雷达中的大量应用,软件系统带来的安全性问题也引起广泛关注。针对大型相控阵雷达软件系统的安全性问题,首先利用软件失效模式和影响分析方法进行安全性分析,找出软件系统的薄弱环节;然后进行针对性安全性设计,提出有效的改进措施;最后利用改进模糊层次分析法进行安全性评价,得到安全性评价结果。实例证明,这种方法可以有效分析大型相控阵雷达软件的安全性问题、找出影响安全性的故障原因、对安全性薄弱环节加以改进设计、对整个大型相控阵雷达系统进行安全性评价。 展开更多
关键词 大型相控阵雷达 软件系统 软件失效模式和影响分析 安全性设计 模糊层次分析法
下载PDF
基于系统理论过程分析的软件安全性分析 被引量：3
13
作者 徐燕 钟德明 尹帅 《计算机应用》 CSCD 北大核心 2013年第A02期238-240,共3页
通过分析、总结已有的危险分析技术,将系统理论过程分析(STPA)方法与其他方法相比较,总结、形成了软件安全性技术框架。其次,对比已有的分析方法,明确了一种适合软件密集系统的危险分析方法。最后使用STPA方法对飞机除冰系统进行了分析... 通过分析、总结已有的危险分析技术,将系统理论过程分析(STPA)方法与其他方法相比较,总结、形成了软件安全性技术框架。其次,对比已有的分析方法,明确了一种适合软件密集系统的危险分析方法。最后使用STPA方法对飞机除冰系统进行了分析研究,证明了方法的可行性。 展开更多
关键词 软件安全性 系统理论过程分析 除冰系统
下载PDF
一种针对嵌入式系统的安全性分析方法
14
作者 杨波 刘振 +1 位作者 卫新洁 吴际 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2023年第8期1930-1939,共10页
嵌入式系统广泛应用于安全关键的工业领域,但目前嵌入式系统的安全性缺乏整体性的分析。为此,提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法,借鉴失效模式和影响分析的方法,构... 嵌入式系统广泛应用于安全关键的工业领域,但目前嵌入式系统的安全性缺乏整体性的分析。为此,提出了一种较为全面且融合了失效概率及失效路径的嵌入式系统的故障演化链分析方法。对系统采用层次分析法,借鉴失效模式和影响分析的方法,构建出故障的演化关系链条,即故障演化链。利用故障演化链可以对系统中可能包含的故障、故障产生的原因、故障带来的危害等级及故障的传播路径进行分析。在2个嵌入式软件系统上进行实验,结果显示:基于故障演化链方法比故障影响分析、功能危害性分析和故障树分析更全面,故障演化链的方法能较好地对嵌入式系统进行安全性分析。 展开更多
关键词 软件模型 嵌入式系统 安全性分析 故障传播 故障树
原文传递
基于系统思维的软件安全性需求开发框架 被引量：1
15
作者 褚文奎 丛伟 +1 位作者 樊晓光 顾文灿 《计算机科学》 CSCD 北大核心 2012年第B06期412-415,418,共5页
糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发... 糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发方法。该方法既能最大限度地约束安全性需求缺陷,防止其向同一分析等级内的其它领域或下一分析等级传播,并尽早重新生成安全性需求,又能够不断生成证据,支持安全性论据的构建。 展开更多
关键词 软件安全性 系统思维 需求工程 安全性分析 综合航电系统
下载PDF
动态系统安全性分析软件平台研究 被引量：1
16
作者 罗鹏程 颜兆林 +1 位作者 郑龙 周经伦 《计算机工程与设计》 CSCD 北大核心 2007年第8期1768-1771,共4页
装备系统的动态行为特征使其安全性分析工作复杂而困难。为满足装备系统动态安全性分析工程实际的需要,需开发集成化的软件平台并综合运用有关技术方法来进行。研究了动态系统安全性分析的主要工作内容,分析了动态系统安全性分析平台对... 装备系统的动态行为特征使其安全性分析工作复杂而困难。为满足装备系统动态安全性分析工程实际的需要,需开发集成化的软件平台并综合运用有关技术方法来进行。研究了动态系统安全性分析的主要工作内容,分析了动态系统安全性分析平台对基础数据、知识和模型的需求,提出了平台的结构和功能设计方案,并给出了分析流程。 展开更多
关键词 动态性 系统安全性 软件平台 危险分析 风险评估
下载PDF
引信安全系统及安全性现状与发展对策 被引量：8
17
作者 王雨时 《探测与控制学报》 CSCD 北大核心 2008年第6期1-4,7,共5页
我国引信定义弱化了引信安全系统和安全性的地位。对引信安全系统的发展需求主要是完备和提高安全性以及小型化和低成本化。形成我国引信安全系统及安全性差距的原因有引信安全系统设计理论不完善、对引信安全系统研制规律认识不够以及... 我国引信定义弱化了引信安全系统和安全性的地位。对引信安全系统的发展需求主要是完备和提高安全性以及小型化和低成本化。形成我国引信安全系统及安全性差距的原因有引信安全系统设计理论不完善、对引信安全系统研制规律认识不够以及科研管理体制等多方面的问题。针对这些问题,提出了借鉴美军《引信安全性设计准则》,建立引信安全性和爆炸物处理特性审查的专门机构和委员会等10余条对策建议。 展开更多
关键词 引信 安全系统 保险与解除保险装置 安全性
下载PDF
引信系统安全性设计中的“三防”原理 被引量：13
18
作者 路荣先 《探测与控制学报》 CSCD 北大核心 2002年第1期1-3,13,共4页
介绍基于“三防”原理的引信系统安全性设计方法 ,它把引爆武器所必须的关键件放在由能量势垒所包围的所谓“禁区”内 ,该区的门的关开只能由一个特定的电脉冲序列来控制 ,一旦能量隔离失效 ,禁区中的关键件自身就以一种安全的方式首先... 介绍基于“三防”原理的引信系统安全性设计方法 ,它把引爆武器所必须的关键件放在由能量势垒所包围的所谓“禁区”内 ,该区的门的关开只能由一个特定的电脉冲序列来控制 ,一旦能量隔离失效 ,禁区中的关键件自身就以一种安全的方式首先失效。这种设计方法有三个明显的优点 :一是进行安全性设计时不再需要知道异常环境的强度 ,二是可使关键件数最小 ,三是可使验证安全性的分析与使验证的成本控制在合理的范围内。虽然文中主要讨论“三防”原理 。 展开更多
关键词 引信系统 安全性设计 "三防"原理 禁区 强/弱链
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 23 下一页 到第 页
使用帮助 返回顶部