期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
约束满足问题求解途径之比较与分析
被引量:
4
The Comparison and Analysis of Solving Approachs to Constrain Satisfaction problems
下载PDF
职称材料
导出
摘要
本文从逻辑、自动机理论、代数方法、连接主义框架和遗传算法的角度深入地探讨了CSP问题的不同表示框架和求解风范,详细分析和讨论了不同表示和求解方法的特点以及它们之间的内在联系和可能的结合。
作者
陈源
史忠植
机构地区
中国科学院计算技术研究所智能计算机科学开放实验室
出处
《计算机科学》
CSCD
北大核心
1998年第1期8-12,共5页
Computer Science
关键词
线性规划
遗传算法
NP问题
约束满足问题
分类号
O22 [理学—运筹学与控制论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
17
引证文献
4
二级引证文献
24
同被引文献
17
1
陈英武,豆亚杰,程贲,赵青松,姜江.
基于作战活动分解的武器装备体系能力需求生成研究[J]
.系统工程理论与实践,2011,31(S1):154-163.
被引量:17
2
滕克难.
舰空导弹反导作战拦截射击次数的建模方法[J]
.弹箭与制导学报,2004,24(3):21-23.
被引量:25
3
黄拙,张健.
由一阶逻辑公式得到命题逻辑可满足性问题实例(英文)[J]
.软件学报,2005,16(3):327-335.
被引量:7
4
刘林源,朱海滨.
协同系统中的角色及转换机制[J]
.计算机工程,2006,32(19):103-104.
被引量:1
5
甘应爱.运筹学[M].清华大学出版社,1990,3..
6
谭浩强,程序设计与开发技术,1991年
7
甘应爱,运筹学,1990年
8
李善飞. 基于蚁群算法的武器装备体系能力需求指标优化设计方法研究[D].长沙:国防科技大学,2010.
9
DoD Architecture Working Group. DoD architecture frameworkversion1.0[R]. US Department of Defense,2003.
10
孙吉贵,朱兴军,张永刚,李莹.
一种基于预处理技术的约束满足问题求解算法[J]
.计算机学报,2008,31(6):919-926.
被引量:11
引证文献
4
1
吴志斌,陈淑珍,孙晓安.
回溯算法与计算机智能排课[J]
.计算机工程,1999,25(3):79-80.
被引量:17
2
陈乙雄,吴中福,冯永,朱郑州.
基于CSP的学习智能导航服务模型与算法研究[J]
.计算机科学,2010,37(12):41-46.
被引量:2
3
滕少华,张红,刘冬宁,朱海滨,张巍,梁路.
E-CARGO模型在CSP问题中的描述[J]
.计算机科学,2015,42(2):241-246.
4
许俊飞,邢昌风,吴玲.
水面舰艇防空作战能力的需求生成方法[J]
.火力与指挥控制,2016,41(2):128-131.
被引量:5
二级引证文献
24
1
陈强.
通用高校排课算法研究[J]
.科技广场,2006(7):15-16.
被引量:3
2
石菁,李洪波.
排课算法比较[J]
.福建电脑,2007(8):136-137.
被引量:1
3
胡洪新.
基于WEB的智能排课系统研究与设计[J]
.苏州市职业大学学报,2007,18(3):76-77.
被引量:1
4
孙瑶琴.
实验室排课系统的设计与具体实现[J]
.中国科技信息,2009(9):195-196.
5
魏丽丽.
几种自动排课算法的比较[J]
.大众科技,2009,11(9):170-171.
被引量:7
6
钱德凤.
TTP在高校排课中的研究与应用[J]
.福建电脑,2009,25(12):154-155.
7
龚莎.
基于回溯法的自动排课算法[J]
.硅谷,2010,3(15):144-144.
被引量:3
8
鄢靖丰,郭红宾,李梅莲.
基于演化算法的高校课程排课系统的研究与实现[J]
.许昌学院学报,2011,30(5):84-86.
9
张海涛,李俊杰,严伟榆,高润琴,邢晓庆,赵家松.
基于学分制的排课冲突检测优化算法研究[J]
.电子设计工程,2013,21(15):8-10.
被引量:1
10
张慧宁.
基于web技术和人工智能算法的高校智能排课系统研究[J]
.山东工业技术,2013(15):225-225.
被引量:2
1
陈恩红,蔡庆生,顾振梅.
基于遗传算法的概念学习中的约束满足预处理方法[J]
.计算机研究与发展,1997,34(7):497-501.
2
张凌霜,邓方安.
指派问题的置换矩阵解法[J]
.福建电脑,2007,23(8):20-21.
3
陈恩红,薛瀚宏.
基于约束满足的Job-Shop调度问题求解方法研究[J]
.软件学报,1998,9(12):946-948.
被引量:13
4
许碧娟,刘海军,孙尚.
一种遗传算法求约束优化问题的新方法[J]
.辽宁工程技术大学学报(自然科学版),2006,25(S2):141-143.
被引量:2
5
卜东波,白硕,邓晶.
3-SAT问题相变现象的统计描述[J]
.模式识别与人工智能,1997,10(4):285-292.
被引量:2
6
崔明义.
模拟退火法进化玻耳兹曼机的实现策略[J]
.计算机应用与软件,2006,23(7):28-29.
被引量:1
7
Lorna V. Rosas-Tellez,Jose L. Martinez-Florest,Vittorio Zanella-Palacios.
Solution to the Balanced Academic Curriculum Problem Using Tabu Search[J]
.Computer Technology and Application,2012,3(9):630-635.
8
王家.
生产调度的一种启发式规则[J]
.清华大学学报(自然科学版),1995,35(5):27-32.
被引量:10
9
李朝阳.
一类约束满足问题的LINGO算法[J]
.科技广场,2006(7):13-14.
被引量:1
10
姜英新,孙吉贵.
约束满足问题求解及ILOG SOLVER系统简介[J]
.吉林大学学报(理学版),2002,40(1):53-60.
被引量:15
计算机科学
1998年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部