您的位置： 专家智库 > >

王连来

作品数：4 被引量：4H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术军事更多>>

合作作者

文献类型

  • 2篇会议论文
  • 1篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...
  • 2篇军事

主题

  • 2篇联勤
  • 2篇联勤保障
  • 1篇形式化
  • 1篇形式化方法
  • 1篇约束程序设计
  • 1篇知识发现
  • 1篇软件维护
  • 1篇数据仓库
  • 1篇数据挖掘
  • 1篇数据挖掘技术
  • 1篇维修管理
  • 1篇维修性
  • 1篇决策树
  • 1篇军事
  • 1篇军事装备
  • 1篇规约
  • 1篇程序设计

机构

  • 3篇中国科学院软...
  • 2篇江西师范大学
  • 1篇中国科学技术...

作者

  • 4篇王连来
  • 2篇薛锦云
  • 1篇郑宇军

传媒

  • 1篇南京大学学报...
  • 1篇2005’全...
  • 1篇2005年应...

年份

  • 3篇2005
  • 1篇2004
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
形式化方法与装备系统软件维护
本文对形式化方法与装备系统软件维护进行了探讨。文章对形式化方法的基本概念进行了介绍,并给出了三个典型的形式化软件开发和维护案例。
张子丘郑宇军王连来
关键词：军事装备软件维护
文献传递
数据挖掘技术及其在工程装备维修管理中的应用
随着计算机技术和信息技术的发展,信息的总量呈现指数增长,为了从数据中提取有用信息或知识为决策服务,传统的分析方法已远远不能满足现实的需求.结合了统计学、数据库、机器学习等技术的数据挖掘是目前一个新的重要的研究领域.该文介...
王连来
关键词：数据挖掘知识发现数据仓库决策树维修性
文献传递
面向装备联勤保障的约束程序设计框架被引量：2
2005年
提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合后,能够得到精确的具体问题规约;最后利用启发式规则在问题求解剖面中选择合适的算法,可实现联勤保障规划类问题的高效求解.
郑宇军郑宇军王连来
关键词：联勤约束程序设计规约
面向装备联勤保障的约束程序设计框架
本文提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交...
郑宇军王连来薛锦云
文献传递
全选 清除 导出
共1页<1>
聚类工具0