约束满足问题求解途径之比较与分析被引量：4

The Comparison and Analysis of Solving Approachs to Constrain Satisfaction problems

下载PDF

导出

摘要本文从逻辑、自动机理论、代数方法、连接主义框架和遗传算法的角度深入地探讨了CSP问题的不同表示框架和求解风范,详细分析和讨论了不同表示和求解方法的特点以及它们之间的内在联系和可能的结合。

作者陈源史忠植

机构地区中国科学院计算技术研究所智能计算机科学开放实验室

出处《计算机科学》 CSCD 北大核心 1998年第1期8-12,共5页 Computer Science

关键词线性规划遗传算法 NP问题约束满足问题

同被引文献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.
9DoD Architecture Working Group. DoD architecture frameworkversion1.0[R]. US Department of Defense,2003.
10孙吉贵,朱兴军,张永刚,李莹.一种基于预处理技术的约束满足问题求解算法[J].计算机学报,2008,31(6):919-926. 被引量：11

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
7Lorna 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期

内容加载中请稍等...