基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起.它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣.概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进行了综述.
推荐文章
一种快速收敛的非线性约束最优化程序
非线性约束
最优化程序
算法
基于时序逻辑的业务过程约束建模及验证
业务约束
时序逻辑
业务建模
约束逻辑程序的良基模型研究
正规逻辑程序
约束逻辑程序
回答集
最小不动点
良基模型
前缀幂集
基于命题逻辑的组件约束检测
组件约束
命题逻辑
真值表
检测算法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 逻辑、优化及约束程序的综述
来源期刊 武汉理工大学学报(信息与管理工程版) 学科 工学
关键词 优化 约束程序 约束逻辑程序 逻辑
年,卷(期) 2005,(1) 所属期刊栏目 自动化技术
研究方向 页码范围 42-47
页数 6页 分类号 TP309.6
字数 6542字 语种 中文
DOI 10.3963/j.issn.1007-144X.2005.01.011
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 钱积新 浙江大学工业控制国家重点实验室系统工程研究所 164 3326 26.0 51.0
2 张立炎 武汉理工大学自动化学院 36 196 9.0 12.0
3 徐华中 武汉理工大学自动化学院 74 562 12.0 19.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (0)
参考文献  (14)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1972(1)
  • 参考文献(1)
  • 二级参考文献(0)
1976(1)
  • 参考文献(1)
  • 二级参考文献(0)
1986(2)
  • 参考文献(2)
  • 二级参考文献(0)
1989(1)
  • 参考文献(1)
  • 二级参考文献(0)
1990(2)
  • 参考文献(2)
  • 二级参考文献(0)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
1993(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(2)
  • 参考文献(1)
  • 二级参考文献(1)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(3)
  • 参考文献(2)
  • 二级参考文献(1)
2005(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
优化
约束程序
约束逻辑程序
逻辑
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
武汉理工大学学报(信息与管理工程版)
双月刊
2095-3852
42-1825/TP
大16开
湖北省武汉市珞狮路205号
38-91
1979
chi
出版文献量(篇)
5275
总下载数(次)
13
总被引数(次)
43798
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导