期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
11
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
空间信息网格的资源共享框架研究
被引量:
4
1
作者
陈洪辉
芮红
+1 位作者
郭得科
罗雪山
《计算机应用研究》
CSCD
北大核心
2008年第5期1422-1424,共3页
为了支持用户在空间信息网格内对空间资源进行半自动化的定位、选择、使用以及集成操作,并促使形成空间资源的规模应用,提出了SIG资源共享框架的思想。首先论述了SIG资源共享策略及框架的关键组成部分,并介绍了空间信息网格UDD I中心的...
为了支持用户在空间信息网格内对空间资源进行半自动化的定位、选择、使用以及集成操作,并促使形成空间资源的规模应用,提出了SIG资源共享框架的思想。首先论述了SIG资源共享策略及框架的关键组成部分,并介绍了空间信息网格UDD I中心的顶层设计。最后结合国家地质调查局的应用需求,验证了SIG资源共享框架在解决多源异构分布式数据动态集成和系统集成问题方面所起的关键作用。
展开更多
关键词
资源共享
空间信息网格
信息网格
WEB服务
统一描述、发现和集成
在线阅读
下载PDF
职称材料
抽鞭现象研究综述
被引量:
5
2
作者
秦子增
郭鹏
+1 位作者
陶午沙
夏刚
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2010年第6期64-70,共7页
介绍了抽鞭现象的理论与试验研究情况,着重介绍了试验研究结果及抽鞭过程的能量方法与动量方法,以及近年来抽鞭过程理论研究的最新进展,总结出抽鞭现象的一般特点及影响因素,并指出抽鞭现象与大型柔性结构中存在的部分现象如大型伞伞衣...
介绍了抽鞭现象的理论与试验研究情况,着重介绍了试验研究结果及抽鞭过程的能量方法与动量方法,以及近年来抽鞭过程理论研究的最新进展,总结出抽鞭现象的一般特点及影响因素,并指出抽鞭现象与大型柔性结构中存在的部分现象如大型伞伞衣顶部抽打、空中加油机软管的摆动等存在相似性,对抽鞭现象的研究有助于深化对该类现象的机理认识。
展开更多
关键词
抽鞭
大型柔性结构
甩动
在线阅读
下载PDF
职称材料
装备维修技术的发展及表面工程技术的应用
被引量:
6
3
作者
马世宁
游光荣
孙晓峰
《中国表面工程》
EI
CAS
CSCD
2005年第4期1-5,12,共6页
在研究未来维修技术发展特点及趋势的基础上,提出装备维修技术的发展方向和重点是装备状态监测、故障诊断与预测技术,装备修复关键技术,装备维修保障综合化信息化关键技术,装备延寿与再制造技术,装备维修技术创新性研究以及装备现场抢...
在研究未来维修技术发展特点及趋势的基础上,提出装备维修技术的发展方向和重点是装备状态监测、故障诊断与预测技术,装备修复关键技术,装备维修保障综合化信息化关键技术,装备延寿与再制造技术,装备维修技术创新性研究以及装备现场抢修技术。指出纳米颗粒复合电刷镀技术、高速电弧喷涂技术、纳米固体润滑干膜技术、纳米减摩与原位动态自修复技术等先进而实用的表面工程新技术、新材料、新设备、新工艺,对实现装备维修的快速化、自动化、智能化、信息化将发挥重要作用。
展开更多
关键词
维修技术
表面工程
综合保障
发展
应用
在线阅读
下载PDF
职称材料
面向装备全寿命保障的约束规划框架
被引量:
3
4
作者
张子丘
郑宇军
王侃
《计算机工程与设计》
CSCD
北大核心
2006年第14期2677-2679,共3页
提出了一个约束规划框架,用于支持装备全寿命保障过程中各类约束满足问题的求解。框架包括问题规约、业务领域、寿命周期和求解策略4个相互正交的剖面,分别针对问题的目标函数和约束条件,业务领域中的保障内容,寿命周期各阶段的任务划分...
提出了一个约束规划框架,用于支持装备全寿命保障过程中各类约束满足问题的求解。框架包括问题规约、业务领域、寿命周期和求解策略4个相互正交的剖面,分别针对问题的目标函数和约束条件,业务领域中的保障内容,寿命周期各阶段的任务划分,以及问题求解的策略和算法进行组织。通过对问题规约、业务领域、寿命周期剖面的正交组合,用户能够方便地对问题规约进行定义、复合和精化。框架中还提供了一组启发式规则,用于帮助用户在问题求解剖面中快速确定一个有效的算法,并将之应用于具体的问题规约。
展开更多
关键词
装备保障:寿命周期
约束规划
规约
问题求解
在线阅读
下载PDF
职称材料
降落伞开伞过程正交试验研究
被引量:
3
5
作者
郭鹏
王立武
+1 位作者
秦子增
陶午沙
《航天返回与遥感》
2011年第3期9-15,共7页
降落伞开伞过程存在的偏差因素可能会导致开伞动压峰值及开伞力峰值出现极大值,从而对回收过程可靠性造成影响。文章以开伞动压峰值及开伞力峰值为试验指标,采用正交试验方法对比分析了不同水平数情况偏差因素对试验指标的影响度大小,...
降落伞开伞过程存在的偏差因素可能会导致开伞动压峰值及开伞力峰值出现极大值,从而对回收过程可靠性造成影响。文章以开伞动压峰值及开伞力峰值为试验指标,采用正交试验方法对比分析了不同水平数情况偏差因素对试验指标的影响度大小,得到了试验指标极值及对应的偏差因素取值条件,并分析了忽略系统初始偏航角、初始滚转角、初始角速度等次要偏差因素对试验结果的影响,研究表明,在给定的试验条件下,不同水平正交试验结论基本一致。
展开更多
关键词
正交试验方法
降落伞
充气过程
因素水平
回收技术
在线阅读
下载PDF
职称材料
装备维修规划的多目标优化模型和求解算法
被引量:
2
6
作者
张子丘
郑宇军
《计算机集成制造系统》
EI
CSCD
北大核心
2010年第10期2174-2180,共7页
为有效地刻画和求解军事装备系统的维修规划问题,建立了一个以维修费用和任务能力为目标的约束优化模型,提出了一种求解装备维修规划问题的多目标禁忌搜索算法。模型考虑了维修器材和工时两种费用指标,并在数质量评估的基础上通过二次...
为有效地刻画和求解军事装备系统的维修规划问题,建立了一个以维修费用和任务能力为目标的约束优化模型,提出了一种求解装备维修规划问题的多目标禁忌搜索算法。模型考虑了维修器材和工时两种费用指标,并在数质量评估的基础上通过二次回归方程来分层评估装备系统的任务能力指标。算法采用两阶段搜索策略,第一阶段从维修数量下限出发,以任务能力为演化目标进行搜索,直至找到一个可行解;第二阶段以任务能力/维修费用比为演化目标进行搜索,不断改善整个非支配解集。实验表明,算法能够求解型号≥500种,数量≥45000的大规模问题,模型和算法求解的质量也在实际应用中得到了验证。
展开更多
关键词
装备
维修规划
多目标优化
禁忌搜索
任务能力
在线阅读
下载PDF
职称材料
基于组件的C^4ISR系统需求开发方法
被引量:
2
7
作者
陈洪辉
芮红
罗雪山
《火力与指挥控制》
CSCD
北大核心
2009年第4期45-48,51,共5页
如何获得完整、准确的需求文档以及如何提高需求描述的重用性一直是C4ISR系统需求研究的重点,是C4ISR需求工程研究的重要组成部分。从研究C4ISR需求文档的现状出发,提出了基于组件的C4ISR系统需求开发方法,即将组件化封装、重用的思想...
如何获得完整、准确的需求文档以及如何提高需求描述的重用性一直是C4ISR系统需求研究的重点,是C4ISR需求工程研究的重要组成部分。从研究C4ISR需求文档的现状出发,提出了基于组件的C4ISR系统需求开发方法,即将组件化封装、重用的思想引入到C4ISR系统需求的开发。对C4ISR需求组件体系的外部结构和内部结构进行了研究,并对需求组件的重用性进行了研究,给出了基于组件的C4ISR系统需求开发过程框架。该方法提高了需求的可用性和重用性,为撰写高质量的C4ISR需求文档提供了一条有效的途径。
展开更多
关键词
C4ISR需求
需求文档
需求组件
需求重用
在线阅读
下载PDF
职称材料
基于IDEF3的指挥控制任务描述方法
被引量:
2
8
作者
陈洪辉
陈涛
芮红
《火力与指挥控制》
CSCD
北大核心
2009年第6期24-27,31,共5页
指挥控制任务的描述是实现任务和资源优化匹配的基础。给出了指挥控制任务的形式化定义,提出了一种基于IDEF 3的指挥控制任务描述方法。在IDEF 3的过程流网中可能存在死锁和同步丢失这两类结构性冲突。为了确保所建立的指挥控制任务描...
指挥控制任务的描述是实现任务和资源优化匹配的基础。给出了指挥控制任务的形式化定义,提出了一种基于IDEF 3的指挥控制任务描述方法。在IDEF 3的过程流网中可能存在死锁和同步丢失这两类结构性冲突。为了确保所建立的指挥控制任务描述模型的正确性,提出了基于图化简方法的IDEF 3过程流网检验方法,其主要思路是利用三条规则对过程流网进行化简,如最终能将模型规约为空则表示不存在这两类冲突。最后给出了一个简单的示例。
展开更多
关键词
指挥控制任务
IDEF3
检验
在线阅读
下载PDF
职称材料
C^4ISR系统需求一致性开发方法
被引量:
1
9
作者
陈洪辉
付广胜
芮红
《火力与指挥控制》
CSCD
北大核心
2009年第11期118-121,共4页
C4ISR系统是复杂大系统,C4ISR系统需求工程的建设需要建立一套完整的C4ISR系统需求体系框架和开发方法论。对C4ISR系统需求的开发方法进行了研究,按照C4ISR系统需求的层次,结合系统体系结构的开发方法,提出C4ISR系统需求的分析开发过程...
C4ISR系统是复杂大系统,C4ISR系统需求工程的建设需要建立一套完整的C4ISR系统需求体系框架和开发方法论。对C4ISR系统需求的开发方法进行了研究,按照C4ISR系统需求的层次,结合系统体系结构的开发方法,提出C4ISR系统需求的分析开发过程和基于UML的模型表述方法;为保证需求模型的一致性,提出C4ISR系统需求开发的一致性策略。
展开更多
关键词
一致性
需求
C^4ISR
UML
在线阅读
下载PDF
职称材料
面向任务C2组织的多层次评价描述模型
10
作者
杨春辉
芮红
+1 位作者
陈洪辉
罗雪山
《火力与指挥控制》
CSCD
北大核心
2008年第12期49-52,共4页
现代战场环境下,要求能够根据作战任务迅速的进行兵力调配,设计相应的C2组织结构。不同的设计方法可能设计出完全不同的C2组织结构,那么如何对这些C2组织进行评价是一个重要的问题。在对组织评价的各种方法、理论进行了综述后,依据计算...
现代战场环境下,要求能够根据作战任务迅速的进行兵力调配,设计相应的C2组织结构。不同的设计方法可能设计出完全不同的C2组织结构,那么如何对这些C2组织进行评价是一个重要的问题。在对组织评价的各种方法、理论进行了综述后,依据计算数学组织理论和组织结构权变理论,提出了一个对面向任务C2组织进行评价的多层次描述模型,从组织与任务环境的交互关系,组织内信息流与命令流结构以及组织内的决策者实体的功能3个层次分别对C2组织进行了描述,为建立评价的定量模型和仿真模型奠定了基础。
展开更多
关键词
指挥控制组织
评价
多层次描述模型
在线阅读
下载PDF
职称材料
基于B方法的弹道计算机程序设计技术
被引量:
2
11
作者
张子丘
郑宇军
李海英
《计算机工程与设计》
CSCD
北大核心
2005年第12期3295-3297,3300,共4页
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参...
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生成的程序具有良好的重用性和可扩展性。
展开更多
关键词
B方法
形式化方法
弹道计算机
抽象机
不变式
在线阅读
下载PDF
职称材料
题名
空间信息网格的资源共享框架研究
被引量:
4
1
作者
陈洪辉
芮红
郭得科
罗雪山
机构
国防科学技术大学C^
武器装备论证研究中心
出处
《计算机应用研究》
CSCD
北大核心
2008年第5期1422-1424,共3页
基金
武器装备重点预研基金资助项目(6140538)
国防科学技术大学博士研究生创新基金资助项目(0615)
文摘
为了支持用户在空间信息网格内对空间资源进行半自动化的定位、选择、使用以及集成操作,并促使形成空间资源的规模应用,提出了SIG资源共享框架的思想。首先论述了SIG资源共享策略及框架的关键组成部分,并介绍了空间信息网格UDD I中心的顶层设计。最后结合国家地质调查局的应用需求,验证了SIG资源共享框架在解决多源异构分布式数据动态集成和系统集成问题方面所起的关键作用。
关键词
资源共享
空间信息网格
信息网格
WEB服务
统一描述、发现和集成
Keywords
resource sharing
spatial information grid
information grid
Web service
UDDI
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
抽鞭现象研究综述
被引量:
5
2
作者
秦子增
郭鹏
陶午沙
夏刚
机构
国防科技大学航天与材料工程学院
总
装备
部
武器装备论证研究中心
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2010年第6期64-70,共7页
基金
国家部委资助项目(2009HK10015)
文摘
介绍了抽鞭现象的理论与试验研究情况,着重介绍了试验研究结果及抽鞭过程的能量方法与动量方法,以及近年来抽鞭过程理论研究的最新进展,总结出抽鞭现象的一般特点及影响因素,并指出抽鞭现象与大型柔性结构中存在的部分现象如大型伞伞衣顶部抽打、空中加油机软管的摆动等存在相似性,对抽鞭现象的研究有助于深化对该类现象的机理认识。
关键词
抽鞭
大型柔性结构
甩动
Keywords
whipcrack
large flexible structure
swing
分类号
V476.2 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
装备维修技术的发展及表面工程技术的应用
被引量:
6
3
作者
马世宁
游光荣
孙晓峰
机构
全军
装备
维修表面工程
研究
中心
武器装备论证研究中心
出处
《中国表面工程》
EI
CAS
CSCD
2005年第4期1-5,12,共6页
文摘
在研究未来维修技术发展特点及趋势的基础上,提出装备维修技术的发展方向和重点是装备状态监测、故障诊断与预测技术,装备修复关键技术,装备维修保障综合化信息化关键技术,装备延寿与再制造技术,装备维修技术创新性研究以及装备现场抢修技术。指出纳米颗粒复合电刷镀技术、高速电弧喷涂技术、纳米固体润滑干膜技术、纳米减摩与原位动态自修复技术等先进而实用的表面工程新技术、新材料、新设备、新工艺,对实现装备维修的快速化、自动化、智能化、信息化将发挥重要作用。
关键词
维修技术
表面工程
综合保障
发展
应用
Keywords
maintenance technique
surface engineering
synthesized guarantee
development
application
分类号
TG17 [金属学及工艺—金属表面处理]
TH16 [机械工程—机械制造及自动化]
在线阅读
下载PDF
职称材料
题名
面向装备全寿命保障的约束规划框架
被引量:
3
4
作者
张子丘
郑宇军
王侃
机构
武器装备论证研究中心
中国科学院软件
研究
所
装甲兵工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2006年第14期2677-2679,共3页
文摘
提出了一个约束规划框架,用于支持装备全寿命保障过程中各类约束满足问题的求解。框架包括问题规约、业务领域、寿命周期和求解策略4个相互正交的剖面,分别针对问题的目标函数和约束条件,业务领域中的保障内容,寿命周期各阶段的任务划分,以及问题求解的策略和算法进行组织。通过对问题规约、业务领域、寿命周期剖面的正交组合,用户能够方便地对问题规约进行定义、复合和精化。框架中还提供了一组启发式规则,用于帮助用户在问题求解剖面中快速确定一个有效的算法,并将之应用于具体的问题规约。
关键词
装备保障:寿命周期
约束规划
规约
问题求解
Keywords
materiel support
life cycle
constraint programming
specification
problem solving
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
降落伞开伞过程正交试验研究
被引量:
3
5
作者
郭鹏
王立武
秦子增
陶午沙
机构
国防科技大学航天与材料工程学院
北京空间机电
研究
所
总
装备
部
武器装备论证研究中心
出处
《航天返回与遥感》
2011年第3期9-15,共7页
基金
国家部委资助项目(2009HK10015)
文摘
降落伞开伞过程存在的偏差因素可能会导致开伞动压峰值及开伞力峰值出现极大值,从而对回收过程可靠性造成影响。文章以开伞动压峰值及开伞力峰值为试验指标,采用正交试验方法对比分析了不同水平数情况偏差因素对试验指标的影响度大小,得到了试验指标极值及对应的偏差因素取值条件,并分析了忽略系统初始偏航角、初始滚转角、初始角速度等次要偏差因素对试验结果的影响,研究表明,在给定的试验条件下,不同水平正交试验结论基本一致。
关键词
正交试验方法
降落伞
充气过程
因素水平
回收技术
Keywords
Orthogonal experimental method Parachute Inflation process Factor's level Recovery technology
分类号
V244.2 [航空宇航科学与技术—飞行器设计]
V445 [航空宇航科学与技术—飞行器设计]
在线阅读
下载PDF
职称材料
题名
装备维修规划的多目标优化模型和求解算法
被引量:
2
6
作者
张子丘
郑宇军
机构
武器装备论证研究中心
中国科学院软件
研究
所
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2010年第10期2174-2180,共7页
基金
国家自然科学基金资助项目(60773054)~~
文摘
为有效地刻画和求解军事装备系统的维修规划问题,建立了一个以维修费用和任务能力为目标的约束优化模型,提出了一种求解装备维修规划问题的多目标禁忌搜索算法。模型考虑了维修器材和工时两种费用指标,并在数质量评估的基础上通过二次回归方程来分层评估装备系统的任务能力指标。算法采用两阶段搜索策略,第一阶段从维修数量下限出发,以任务能力为演化目标进行搜索,直至找到一个可行解;第二阶段以任务能力/维修费用比为演化目标进行搜索,不断改善整个非支配解集。实验表明,算法能够求解型号≥500种,数量≥45000的大规模问题,模型和算法求解的质量也在实际应用中得到了验证。
关键词
装备
维修规划
多目标优化
禁忌搜索
任务能力
Keywords
equipment
maintenance planning
multi-objective optimization
tabu search
mission capability
分类号
C934 [经济管理—管理学]
在线阅读
下载PDF
职称材料
题名
基于组件的C^4ISR系统需求开发方法
被引量:
2
7
作者
陈洪辉
芮红
罗雪山
机构
国防科技大学C^
武器装备论证研究中心
出处
《火力与指挥控制》
CSCD
北大核心
2009年第4期45-48,51,共5页
基金
武器装备预研基金资助项目(513060102)
文摘
如何获得完整、准确的需求文档以及如何提高需求描述的重用性一直是C4ISR系统需求研究的重点,是C4ISR需求工程研究的重要组成部分。从研究C4ISR需求文档的现状出发,提出了基于组件的C4ISR系统需求开发方法,即将组件化封装、重用的思想引入到C4ISR系统需求的开发。对C4ISR需求组件体系的外部结构和内部结构进行了研究,并对需求组件的重用性进行了研究,给出了基于组件的C4ISR系统需求开发过程框架。该方法提高了需求的可用性和重用性,为撰写高质量的C4ISR需求文档提供了一条有效的途径。
关键词
C4ISR需求
需求文档
需求组件
需求重用
Keywords
C^4ISR requirement,requirement documents ,requirement components,requirement reuse
分类号
TP399 [自动化与计算机技术—计算机应用技术]
E211 [军事—军队指挥学]
在线阅读
下载PDF
职称材料
题名
基于IDEF3的指挥控制任务描述方法
被引量:
2
8
作者
陈洪辉
陈涛
芮红
机构
国防科技大学C
武器装备论证研究中心
出处
《火力与指挥控制》
CSCD
北大核心
2009年第6期24-27,31,共5页
基金
装备预研重点基金资助项目(6140538)
文摘
指挥控制任务的描述是实现任务和资源优化匹配的基础。给出了指挥控制任务的形式化定义,提出了一种基于IDEF 3的指挥控制任务描述方法。在IDEF 3的过程流网中可能存在死锁和同步丢失这两类结构性冲突。为了确保所建立的指挥控制任务描述模型的正确性,提出了基于图化简方法的IDEF 3过程流网检验方法,其主要思路是利用三条规则对过程流网进行化简,如最终能将模型规约为空则表示不存在这两类冲突。最后给出了一个简单的示例。
关键词
指挥控制任务
IDEF3
检验
Keywords
command and control task, IDEF3, verification
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
C^4ISR系统需求一致性开发方法
被引量:
1
9
作者
陈洪辉
付广胜
芮红
机构
国防科技大学信息系统与管理学院
武器装备论证研究中心
出处
《火力与指挥控制》
CSCD
北大核心
2009年第11期118-121,共4页
基金
国家高技术研究发展计划(863)基金资助项目(2002AA131010)
文摘
C4ISR系统是复杂大系统,C4ISR系统需求工程的建设需要建立一套完整的C4ISR系统需求体系框架和开发方法论。对C4ISR系统需求的开发方法进行了研究,按照C4ISR系统需求的层次,结合系统体系结构的开发方法,提出C4ISR系统需求的分析开发过程和基于UML的模型表述方法;为保证需求模型的一致性,提出C4ISR系统需求开发的一致性策略。
关键词
一致性
需求
C^4ISR
UML
Keywords
concordance, requirement, C^4ISR, UML
分类号
E96 [军事—军事通信学]
在线阅读
下载PDF
职称材料
题名
面向任务C2组织的多层次评价描述模型
10
作者
杨春辉
芮红
陈洪辉
罗雪山
机构
海军工程大学
国防科技大学C~
总
装备
部
武器装备论证研究中心
出处
《火力与指挥控制》
CSCD
北大核心
2008年第12期49-52,共4页
基金
武器装备预研基金资助项目(6140538)
文摘
现代战场环境下,要求能够根据作战任务迅速的进行兵力调配,设计相应的C2组织结构。不同的设计方法可能设计出完全不同的C2组织结构,那么如何对这些C2组织进行评价是一个重要的问题。在对组织评价的各种方法、理论进行了综述后,依据计算数学组织理论和组织结构权变理论,提出了一个对面向任务C2组织进行评价的多层次描述模型,从组织与任务环境的交互关系,组织内信息流与命令流结构以及组织内的决策者实体的功能3个层次分别对C2组织进行了描述,为建立评价的定量模型和仿真模型奠定了基础。
关键词
指挥控制组织
评价
多层次描述模型
Keywords
command and control organization,evaluation,multi-level descriptive model
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
基于B方法的弹道计算机程序设计技术
被引量:
2
11
作者
张子丘
郑宇军
李海英
机构
武器装备论证研究中心
中国科学院软件
研究
所
工程
装备
系统工程
研究
所
出处
《计算机工程与设计》
CSCD
北大核心
2005年第12期3295-3297,3300,共4页
文摘
针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生成的程序具有良好的重用性和可扩展性。
关键词
B方法
形式化方法
弹道计算机
抽象机
不变式
Keywords
B-method
formal methods
ballistic computer
abstract machine
invariants
分类号
TP391.8 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
空间信息网格的资源共享框架研究
陈洪辉
芮红
郭得科
罗雪山
《计算机应用研究》
CSCD
北大核心
2008
4
在线阅读
下载PDF
职称材料
2
抽鞭现象研究综述
秦子增
郭鹏
陶午沙
夏刚
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2010
5
在线阅读
下载PDF
职称材料
3
装备维修技术的发展及表面工程技术的应用
马世宁
游光荣
孙晓峰
《中国表面工程》
EI
CAS
CSCD
2005
6
在线阅读
下载PDF
职称材料
4
面向装备全寿命保障的约束规划框架
张子丘
郑宇军
王侃
《计算机工程与设计》
CSCD
北大核心
2006
3
在线阅读
下载PDF
职称材料
5
降落伞开伞过程正交试验研究
郭鹏
王立武
秦子增
陶午沙
《航天返回与遥感》
2011
3
在线阅读
下载PDF
职称材料
6
装备维修规划的多目标优化模型和求解算法
张子丘
郑宇军
《计算机集成制造系统》
EI
CSCD
北大核心
2010
2
在线阅读
下载PDF
职称材料
7
基于组件的C^4ISR系统需求开发方法
陈洪辉
芮红
罗雪山
《火力与指挥控制》
CSCD
北大核心
2009
2
在线阅读
下载PDF
职称材料
8
基于IDEF3的指挥控制任务描述方法
陈洪辉
陈涛
芮红
《火力与指挥控制》
CSCD
北大核心
2009
2
在线阅读
下载PDF
职称材料
9
C^4ISR系统需求一致性开发方法
陈洪辉
付广胜
芮红
《火力与指挥控制》
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
10
面向任务C2组织的多层次评价描述模型
杨春辉
芮红
陈洪辉
罗雪山
《火力与指挥控制》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
11
基于B方法的弹道计算机程序设计技术
张子丘
郑宇军
李海英
《计算机工程与设计》
CSCD
北大核心
2005
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部