检索结果-内蒙古大学图书馆

提出了一个约束规划框架,用于支持装备全寿命保障过程中各类约束满足问题的求解。框架包括问题规约、业务领域、寿命周期和求解策略4个相互正交的剖面,分别针对问题的目标函数和约束条件,业务领域中的保障内容,寿命周期各阶段的任务划分,以及问题求解的策略和算法进行组织。通过对问题规约、业务领域、寿命周期剖面的正交组合,用户能够方便地对问题规约进行定义、复合和精化。框架中还提供了一组启发式规则,用于帮助用户在问题求解剖面中快速确定一个有效的算法,并将之应用于具体的问题规约。

关键词：装备保障:寿命周期约束规划规约问题求解

来源：评论

学校读者我要写书评

暂无评论

基于B方法的弹道计算机程序设计技术

引用

计算机工程与设计 2005年第12期26卷 3295-3297,3300页

作者：张子丘郑宇军李海英武器装备论证研究中心北京100034 中国科学院软件研究所北京100080 工程装备系统工程研究所北京100093

针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参... 详细信息

针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生成的程序具有良好的重用性和可扩展性。

关键词： B方法形式化方法弹道计算机抽象机不变式

来源：评论

学校读者我要写书评

暂无评论

浅论模型验证在西方科学哲学中的反映

引用

装备指挥技术学院学报 2004年第6期15卷 99-103页

作者：周威常显奇谷奇平装备指挥技术学院北京101416 总装备部武器装备综合论证研究所北京100034

分析了模型的本质和模型方法的逻辑特征;简要介绍了西方科学哲学中,具有代表性的哲学流派的逻辑及其与模型验证问题的联系,以期在科学认识论和方法论上对模型验证有所指导.

关键词：模型方法指导联系本质方法论哲学流派科学认识论逻辑特征问题分析

来源：评论

学校读者我要写书评

暂无评论

数学规划在航天装备体系建设规划计划辅助决策系统研究中的应用

数学规划在航天装备体系建设规划计划辅助决策系统研究中的应用

引用

第五届中国青年运筹与管理学者大会

作者：陈勇罗小明谷奇平装备指挥技术学院(北京) 总装备部武器装备综合论证研究所(北京)

针对在航天装备体系建设和发展中的规划问题,本文通过运用数学规划的方法,对航天装备体系建设进行规划、优化与寻优,使航天装备体系建设能够在满足需求的条件下达到所需的费用最少和效能最大.

关键词：航天装备数学规划效能规划计划

来源：评论

学校读者我要写书评

暂无评论

常规战争的高技术化

引用

科学 1992年第5期44卷 26-30页

作者：孙志安中国人民解放军总参谋部武器装备综合论证研究所

虽然目前各军事强国所拥有的核生化武器足以将地球毁灭好几次,但据军事家们预测,未来战争的主要形式仍然是常规战争。而且,随着高技术的长足发展,常规战争的高技术化已经成为未来战争的必然趋势,高技术常规武器将极大地改变未来战争的... 详细信息

虽然目前各军事强国所拥有的核生化武器足以将地球毁灭好几次,但据军事家们预测,未来战争的主要形式仍然是常规战争。而且,随着高技术的长足发展,常规战争的高技术化已经成为未来战争的必然趋势,高技术常规武器将极大地改变未来战争的面貌。

关键词：常规战争高技术

来源：评论

学校读者我要写书评

暂无评论

从网络中心战、人员中心战到综合集成研讨厅

引用

装备指挥技术学院学报 2002年第3期13卷 44-48页

作者：马广武周威常显奇总装武器装备综合论证研究所北京100091 装备指挥技术学院研究生队北京101416 装备指挥技术学院北京101416

在信息技术飞速发展的今天,介绍了网络中心战的概念、体系结构、优缺点和人员中心战的含义和紧迫性;从军事力量是系统对抗的观点出发,认为能够体现和融合网络中心战和人员中心战的有效方法是采用综合集成研讨厅体系的方法.这对如何在未... 详细信息

在信息技术飞速发展的今天,介绍了网络中心战的概念、体系结构、优缺点和人员中心战的含义和紧迫性;从军事力量是系统对抗的观点出发,认为能够体现和融合网络中心战和人员中心战的有效方法是采用综合集成研讨厅体系的方法.这对如何在未来高技术信息战条件下搞好航天力量的理论研究和作战应用,具有一定的意义.

关键词：网络中心战人员中心战综合集成研讨厅信息化战争

来源：评论

学校读者我要写书评

暂无评论

航空发动机备份量面向对象仿真研究

引用

装备指挥技术学院学报 2000年第6期11卷 34-38页

作者：段宝君孙志安张恒喜空军工程大学工程学院航空机械工程系总装备部武器装备综合论证研究所

对航空发动机有寿备件的备份问题进行了研究和探讨。指出了航空发动机使用、周转的运行体系是一个离散事件系统，需要使用离散事件建模分析技术进行研究。进而提出了用于离散事件系统分析的层次化面向对象仿真建模框架，并以此为基础和... 详细信息

对航空发动机有寿备件的备份问题进行了研究和探讨。指出了航空发动机使用、周转的运行体系是一个离散事件系统，需要使用离散事件建模分析技术进行研究。进而提出了用于离散事件系统分析的层次化面向对象仿真建模框架，并以此为基础和工具对航空发动机的备份问题进行了分析。基于系统的相似性，该框架也适用于其他有寿备件的研究和分析。

关键词：备份离散事件系统面向对象仿真建模仿真研究框架层次化航空发动机建模分析备件

来源：评论

学校读者我要写书评

暂无评论

新时期海军科技信息工作转型的几点思考

新时期海军科技信息工作转型的几点思考

引用

中国国防科学技术信息学会第十届学术年会

作者：王海珍彭廷华海军装备研究院科技信息研究所海军装备研究院武器装备系统论证研究所

进入21世纪，加速推进军队建设转型，已成为世界各军事强国的战略选择。为适应这一大趋势，我军确立了建设信息化军队、打赢信息化战争转型的战略目标。海军科技信息工作作为海军装备建设的重要方面，必须适应新形势新要求，坚持以科学... 详细信息

进入21世纪，加速推进军队建设转型，已成为世界各军事强国的战略选择。为适应这一大趋势，我军确立了建设信息化军队、打赢信息化战争转型的战略目标。海军科技信息工作作为海军装备建设的重要方面，必须适应新形势新要求，坚持以科学发展观为指导，解放思想，改革创新，增强转型的自觉性和主动性，大力推进科技信息工作方向、工作重点、工作模式和工作手段的转型，提供高质量的信息服务，不断地满足海军装备建设和部队对科技信息的需求。

关键词：海军建设科技信息工作工作模式工作手段

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：