论文部分内容阅读
本文用遗传算法(GA)来求解3-SAT问题时在染色体的实现上采用新的方法;并且选用C#2.0作为实现工具实现该设计.最后用实验验证了该设计的可行性.
用遗传算法求解3-SAT问题
【摘 要】
：
本文用遗传算法(GA)来求解3-SAT问题时在染色体的实现上采用新的方法;并且选用C#2.0作为实现工具实现该设计.最后用实验验证了该设计的可行性.
【机 构】
：
徐州师范大学计算机科学科学与技术学院
【出 处】
：
福建电脑
【发表日期】
：
2005年7期
其他文献
C语言已成为当前比较流行的高级语言之一，高校教师要教好C语言应做到：强化课堂教学．注重培养学生的学习兴趣和思维方式；强化算法设计，注重培养学生良好的编程习惯；增进与学生的交流
本文分析了国土资源信息系统的特点,针对这些信息系统的共同特点,提出系统所需的基础设施以及基于这些主要基础设施的国土资源应用系统框架,并给出了利用Web Services实现的
本文详细介绍了在DM642EVM平台上实现H．263标准的实时编解码的过程，根据自己提出的测试方法得到峰值信噪比．时延等数据，证明我们的编解码软件达到了很高的效率，最后总结了在进行DS
本文通过对在计算机实验室管理当中，利用克隆技术进行管理维护工作站系统时存在问题的进行分析与研究。运用编程技术，解决了自动更改计算机名等信息的问题，从而提高了计算机实验
本文主要介绍了CAN总线的优点及其在电子皮带秤系统中的应用．其次阐述了电子皮带秤的动态称重原理以及电子皮带秤控制器的设计，同时说明了CAN总线通信技术在电子皮带秤系统中的
随着国际交流的深入,提供多语言支持的应用系统开发受到越来越多的重视.软件复用的发展使构件开发方式成为来发的主流.UNICODE是开发国际化软件首选的编码方武.目前多语言转
优先级逆转是实时系统中由于任务间需要共享资源以及同步而引起的高优先级任务被低优先级任务阻塞的现象.解决优先级逆转可采用优先级继承机制.通过对RTAI调度机制的深入分析
智能计算机辅助教学中一个重要问题是试题库的智能组卷。本文介绍的基于随机数的组卷算法简单、易行地解决了计算机智能组卷算法中抽题的随机性，难度可控性，知识点分布的合理性
本文对交通诱导信息室外显示系统的原理以度组成、结构、性能和功能进行详细的阐述，研究并提出了通用可行的设计方案，对具体和特定的变通公路、道路室外信息显示系统的方案选择