期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
导弹测试发控系统可靠性研究
被引量：
3
1
作者
许忠
高玉水
+1 位作者
徐振辉
段丰安
《火力与指挥控制》
CSCD
北大核心
2006年第S1期9-11,共3页
通过对某型导弹测试发控系统故障数据的收集和分析,对故障进行深入的电气原理分析和故障失效机理分析,并进行了系统可靠性试验,提出了相应的纠正措施和工具备附件的预测与管理等措施,提高了装备的可靠性,取得了可靠性增长的效果。
关键词
导弹武器系统
发控系统
可靠性
在线阅读
下载PDF
职称材料
基于系统理论过程分析的软件安全性需求分析与验证方法
被引量：
2
2
作者
秦楠
马亮
黄锐
《计算机应用》
CSCD
北大核心
2020年第11期3261-3266,共6页
针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描...
针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描述软件安全控制行为逻辑,并将其转化为程序可读的形式化语言;最后,采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性,结果表明,该方法能够实现安全需求分析的自动化生成与形式化验证,解决了传统方法对于人工干预的依赖问题及自然语言描述问题。
展开更多
关键词
系统理论过程分析
软件安全需求
形式化方法
模型检验
武器发射控制系统
在线阅读
下载PDF
职称材料
潜在电路分析在航空武器发射控制电路的应用
被引量：
1
3
作者
王先超
杜向辉
陈晓东
《舰船电子工程》
2012年第9期126-129,共4页
为了保证某型航空武器发射的可靠性,该文在潜在电路分析(SCA)理论的基础上,着重讨论了航空武器系统发射控制电路的工作机制,得出其拓扑结构并建立了线索表,成功确保了已设计的导弹发射控制电路不存在安全隐患。以此方法为基础,可以进一...
为了保证某型航空武器发射的可靠性,该文在潜在电路分析(SCA)理论的基础上,着重讨论了航空武器系统发射控制电路的工作机制,得出其拓扑结构并建立了线索表,成功确保了已设计的导弹发射控制电路不存在安全隐患。以此方法为基础,可以进一步开发计算机辅助潜在电路分析系统。
展开更多
关键词
潜在电路
发射控制电路
航空武器系统
在线阅读
下载PDF
职称材料
某便携式防空导弹发控系统的设计
被引量：
3
4
作者
张庆茂
《仪器仪表用户》
2019年第1期22-24,共3页
根据某近程车载防空导弹武器系统的研制需要,设计出导弹发控系统,用以完成武器系统上安装的8发便携式防空导弹的发射任务。发控系统通过与上级指控系统进行数据交互,响应指控系统的作战命令,实现对8发便携式防空导弹射前信息处理及发射...
根据某近程车载防空导弹武器系统的研制需要,设计出导弹发控系统,用以完成武器系统上安装的8发便携式防空导弹的发射任务。发控系统通过与上级指控系统进行数据交互,响应指控系统的作战命令,实现对8发便携式防空导弹射前信息处理及发射条件判断,最后成功完成导弹发射。本文介绍了发控系统的总体设计方案、硬件设计原理与软件设计流程,通过实弹飞行试验验证,发控系统能实现导弹发控任务。
展开更多
关键词
武器系统
发控系统
导弹发控
在线阅读
下载PDF
职称材料
基于DeltaOS的发控系统的设计与实现
5
作者
杨娜
邹勇
康隽睿
《弹箭与制导学报》
CSCD
北大核心
2010年第4期231-233,共3页
针对武器系统中发控系统要求的高可靠性及较强的实时响应能力，提出了某武器系统的发控系统的软硬件设计方案。在该设计方案中．发控系统以PowerPC微处理器为基础，采用了MPC8280微处理器，操作系统选用嵌入式实时操作系统DeltaOS。最...
针对武器系统中发控系统要求的高可靠性及较强的实时响应能力，提出了某武器系统的发控系统的软硬件设计方案。在该设计方案中．发控系统以PowerPC微处理器为基础，采用了MPC8280微处理器，操作系统选用嵌入式实时操作系统DeltaOS。最后给出了发控系统软件的调试工具。经实验测试表明，所设计的发控系统具有高可靠性和较强的实时响应能力，完全满足武器系统设计要求。
展开更多
关键词
武器系统
发控系统
POWERPC处理器
DELTAOS
在线阅读
下载PDF
职称材料
题名
导弹测试发控系统可靠性研究
被引量：
3
1
作者
许忠
高玉水
徐振辉
段丰安
机构
装甲兵工程学院兵器工程系
出处
《火力与指挥控制》
CSCD
北大核心
2006年第S1期9-11,共3页
文摘
通过对某型导弹测试发控系统故障数据的收集和分析,对故障进行深入的电气原理分析和故障失效机理分析,并进行了系统可靠性试验,提出了相应的纠正措施和工具备附件的预测与管理等措施,提高了装备的可靠性,取得了可靠性增长的效果。
关键词
导弹武器系统
发控系统
可靠性
Keywords
missile
weapon
system
launch
control
system
reliability
分类号
TJ765 [兵器科学与技术—武器系统与运用工程]
在线阅读
下载PDF
职称材料
题名
基于系统理论过程分析的软件安全性需求分析与验证方法
被引量：
2
2
作者
秦楠
马亮
黄锐
机构
海军潜艇学院
出处
《计算机应用》
CSCD
北大核心
2020年第11期3261-3266,共6页
基金
国家自然科学基金资助项目(51377169)。
文摘
针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描述软件安全控制行为逻辑,并将其转化为程序可读的形式化语言;最后,采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性,结果表明,该方法能够实现安全需求分析的自动化生成与形式化验证,解决了传统方法对于人工干预的依赖问题及自然语言描述问题。
关键词
系统理论过程分析
软件安全需求
形式化方法
模型检验
武器发射控制系统
Keywords
system
Theoretic Process Analysis(STPA)
software safety requirement
formal method
model checking
weapon launch control system
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
TJ63 [兵器科学与技术—武器系统与运用工程]
在线阅读
下载PDF
职称材料
题名
潜在电路分析在航空武器发射控制电路的应用
被引量：
1
3
作者
王先超
杜向辉
陈晓东
机构
海军驻洛阳地区航空军事代表室
空军驻洛阳地区军事代表室
出处
《舰船电子工程》
2012年第9期126-129,共4页
文摘
为了保证某型航空武器发射的可靠性,该文在潜在电路分析(SCA)理论的基础上,着重讨论了航空武器系统发射控制电路的工作机制,得出其拓扑结构并建立了线索表,成功确保了已设计的导弹发射控制电路不存在安全隐患。以此方法为基础,可以进一步开发计算机辅助潜在电路分析系统。
关键词
潜在电路
发射控制电路
航空武器系统
Keywords
sneak circuit
launch
ing
control
circuit
aero-
weapon
system
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
某便携式防空导弹发控系统的设计
被引量：
3
4
作者
张庆茂
机构
桂林电子科技大学电子工程与自动化学院
柳州长虹航天技术有限公司研究所
出处
《仪器仪表用户》
2019年第1期22-24,共3页
文摘
根据某近程车载防空导弹武器系统的研制需要,设计出导弹发控系统,用以完成武器系统上安装的8发便携式防空导弹的发射任务。发控系统通过与上级指控系统进行数据交互,响应指控系统的作战命令,实现对8发便携式防空导弹射前信息处理及发射条件判断,最后成功完成导弹发射。本文介绍了发控系统的总体设计方案、硬件设计原理与软件设计流程,通过实弹飞行试验验证,发控系统能实现导弹发控任务。
关键词
武器系统
发控系统
导弹发控
Keywords
weapon
system
launch
and
control
system
missile
launch
control
分类号
TJ765.2 [兵器科学与技术—武器系统与运用工程]
在线阅读
下载PDF
职称材料
题名
基于DeltaOS的发控系统的设计与实现
5
作者
杨娜
邹勇
康隽睿
机构
中国兵器工业第
出处
《弹箭与制导学报》
CSCD
北大核心
2010年第4期231-233,共3页
文摘
针对武器系统中发控系统要求的高可靠性及较强的实时响应能力，提出了某武器系统的发控系统的软硬件设计方案。在该设计方案中．发控系统以PowerPC微处理器为基础，采用了MPC8280微处理器，操作系统选用嵌入式实时操作系统DeltaOS。最后给出了发控系统软件的调试工具。经实验测试表明，所设计的发控系统具有高可靠性和较强的实时响应能力，完全满足武器系统设计要求。
关键词
武器系统
发控系统
POWERPC处理器
DELTAOS
Keywords
weapon
system
launch
control
system
PowerPC
DeltaOS
分类号
TJ768.4 [兵器科学与技术—武器系统与运用工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
导弹测试发控系统可靠性研究
许忠
高玉水
徐振辉
段丰安
《火力与指挥控制》
CSCD
北大核心
2006
3
在线阅读
下载PDF
职称材料
2
基于系统理论过程分析的软件安全性需求分析与验证方法
秦楠
马亮
黄锐
《计算机应用》
CSCD
北大核心
2020
2
在线阅读
下载PDF
职称材料
3
潜在电路分析在航空武器发射控制电路的应用
王先超
杜向辉
陈晓东
《舰船电子工程》
2012
1
在线阅读
下载PDF
职称材料
4
某便携式防空导弹发控系统的设计
张庆茂
《仪器仪表用户》
2019
3
在线阅读
下载PDF
职称材料
5
基于DeltaOS的发控系统的设计与实现
杨娜
邹勇
康隽睿
《弹箭与制导学报》
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
