中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	基于PAR的高可信装备保障算法推演学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2009 郑宇军 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2010/01/15 PAR 方法，装备保障，组合优化，算法形式化推演
	基于DSL的装备保障领域建模期刊论文 OAI收割计算机工程, 2008, 卷号: 34, 期号: 2, 页码: 66-68,71 王金全; 郑宇军; 王侃收藏 \| 浏览/下载：113/6 \| 提交时间：2011/06/10 需求工程领域专用语言装备保障模型转换装备保障元模型自动生成专用语言执行系统软件系统开发人员证明要素行为实验描述流程精化建模构建
	面向装备全寿命保障的约束规划框架期刊论文 OAI收割计算机工程与设计, 2006, 期号: 14, 页码: 2677-2679 张子丘; 郑宇军; 王侃 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/13 装备保障,寿命周期,约束规划,规约,问题求解
	基于Multi-Agent的装备保障决策支持系统会议论文 OAI收割第一届Agent理论与应用学术会议, 山东烟台, 2006 郑宇军; 李海英; 薛锦云 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/07/28 决策支持系统 Agent构件装备保障 A-Team 分布式体系结构动态控制
	基于Multi-Agent的装备保障决策支持系统期刊论文 OAI收割计算机研究与发展, 2006, 卷号: 43, 期号: z1, 页码: 480-484 郑宇军; 李海英; 薛锦云 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2011/07/13 决策支持系统 Agent 装备保障构件 A-Team 问题求解易于理解体系结构实现保障任务控制动态控制保障问题保障目标保障规划可靠性复杂度分布式组装组合战争应用效率维护
	面向装备联勤保障的约束程序设计框架期刊论文 OAI收割南京大学学报（自然科学版）, 2005, 卷号: 41, 期号: z1, 页码: 30-34 郑宇军; 王连来; 薛锦云 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/28 联勤约束程序设计规约问题求解装备联勤保障约束程序设计框架问题求解剖面保障资源保障任务保障对象问题规约剖面装备保障正交组合领域驱动抽象描述保障规划启发式选择算法目标规则