咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 1 篇 控制科学与工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 3 篇 约束程序设计
  • 1 篇 工程训练
  • 1 篇 问题求解
  • 1 篇 约束建模
  • 1 篇 考试系统
  • 1 篇 优化
  • 1 篇 c#
  • 1 篇 联勤
  • 1 篇 规约
  • 1 篇 调度

机构

  • 1 篇 江西师范大学
  • 1 篇 工程装备系统工程...
  • 1 篇 吉林大学
  • 1 篇 中国科学院软件研...
  • 1 篇 广东工业大学

作者

  • 1 篇 孙吉贵
  • 1 篇 刘庆
  • 1 篇 礼欣
  • 1 篇 王连来
  • 1 篇 张居阳
  • 1 篇 郑宇军
  • 1 篇 薛锦云

语言

  • 3 篇 中文
检索条件"主题词=约束程序设计"
3 条 记 录,以下是1-10 订阅
排序:
面向装备联勤保障的约束程序设计框架
收藏 引用
南京大学学报(自然科学版) 2005年 第z1期41卷 30-34页
作者: 郑宇军 王连来 薛锦云 工程装备系统工程研究所 北京100093 中国科学院软件研究所 北京100080 江西师范大学计算机信息工程学院 南昌330027
提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合... 详细信息
来源: 维普期刊数据库 维普期刊数据库 评论
基于约束的调度研究和实现
收藏 引用
计算机工程与应用 2004年 第33期40卷 46-49页
作者: 张居阳 礼欣 孙吉贵 吉林大学计算机科学与技术学院 吉林大学符号计算与知识工程教育部重点实验室 长春130012
运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域。文章首先对CP和调度的相关领域知识进行了简要介绍;然后按照CP所倡导的问题建模和问题求解相分离的思想,建立起一般理论调度问题的约束模型,并设计实现了一个基于约束... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于Web的工程训练考试系统的设计和实现
收藏 引用
现代计算机 2010年 第1期16卷 168-171页
作者: 刘庆 广东工业大学射频识别工程技术研究中心 广州510006
结合工程训练中心的特点和考试系统的实际需求,构架一套适用于工程训练中心的考试管理系统。对工程训练考试系统进行流程分析和B/S的四层架构设计,并对考试系统中多约束组题关键问题进行研究,以C#语言对其进行优化实现。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论