现代计算机：下半月版
現代計算機：下半月版
현대계산궤：하반월판
Modem Computer
2012年
7期
14-16,36
,共4页
SAT%Johnson算法%遗传算法%模拟退火算法
SAT%Johnson算法%遺傳算法%模擬退火算法
SAT%Johnson산법%유전산법%모의퇴화산법
Independent College%Practical Teaching%Teaching Reformation
命题逻辑公式的CNF范式的可满足性问题（sAT）是计算机科学的非常重要的核心问题，能否快速求解SAT问题是目前的研究热点之一。介绍Johnson算法、遗传算法和模拟退火算法，比较三种算法的特性，提出综合GA、SA算法优点的一种混舍遗传和模拟退火算法的思想。数值计算结果表明，相对于Johnson算法，采用启发式（SA、GA）算法可以显著地提高3-SAT问题解的质量和求解速度。
命題邏輯公式的CNF範式的可滿足性問題（sAT）是計算機科學的非常重要的覈心問題，能否快速求解SAT問題是目前的研究熱點之一。介紹Johnson算法、遺傳算法和模擬退火算法，比較三種算法的特性，提齣綜閤GA、SA算法優點的一種混捨遺傳和模擬退火算法的思想。數值計算結果錶明，相對于Johnson算法，採用啟髮式（SA、GA）算法可以顯著地提高3-SAT問題解的質量和求解速度。
명제라집공식적CNF범식적가만족성문제（sAT）시계산궤과학적비상중요적핵심문제，능부쾌속구해SAT문제시목전적연구열점지일。개소Johnson산법、유전산법화모의퇴화산법，비교삼충산법적특성，제출종합GA、SA산법우점적일충혼사유전화모의퇴화산법적사상。수치계산결과표명，상대우Johnson산법，채용계발식（SA、GA）산법가이현저지제고3-SAT문제해적질량화구해속도。
Through the analysis of the characteristics of students in independent college, lists the comprehensive training problems existed in practical teaching. Proposes project oriented, task driven teaching mode of computer course and through the practical application to realize the teaching goals that cultivating applied talents.
