论文部分内容阅读
针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想.
静态SAT问题并行处理器的设计研究
【摘 要】
：
针对SAT问题的复杂性及求解速度缓慢的问题,采用可重构器件FPGA设计,实现了静态回溯搜索算法SAT问题并行处理器,提出了研制动态SAT并行处理器的设想.
【机 构】
：
深圳大学信息工程学院
【出 处】
：
深圳大学学报
【发表日期】
：
2002年3期
其他文献
近年来，不断追求本科升学率的高考压力，一方面激励学生不断向前推进，成为考上理想大学的动力；另一方面会对高中生的心理增加紧张和压力，若超过他们的生理负荷就可能引起心理障碍。
作文教学是语文教学的重头戏。然而目前作文教学普遍存在的现象是老师怕教作文，孩子怕写作文。教师在作文教学中只是对学生机械地灌输一些空洞的写作技巧，学生在写作文时只是套
《义务教育语文课程标准》指出：口语交际能力是现代公民的必备能力，应培养学生倾听、表达和应对的能力，使学生具有文明和谐地进行人际交流的素养。《夸家乡》这一教学内容是人教
词语是语言的基本材料，是语文的基础。从《义务教育语文课程标准》的要求来看，小学的低年段、中年段和高年段都有明确的要求，初中则要求“体味和推敲重要词句在语言环境中的意义
当今社会高速发展，在提高了物质生活水平的同时也带来了一些不良的社会现象，一些不良的现象正在逐渐进入校园，进入学生中间，从而引发许多问题。在这种前提下，初中思想品德更是在塑
“鱼”就是知识，“渔”就是方法，有效课堂教学不仅要求学生获得很多“鱼”，而且要求学生获得更多的“渔”。数学思想是数学的灵魂，只有让学生领会了蕴藏其中的数学思想方法，才能真
新课程特点之一，是突出学生学习方式的改革，由要我学转变为我要学。在市“六模块”建构式课堂中，“交流展示”这一环节是很重要的，因为，它既可以对学生的预习效果进行检测，又是课堂
新课标指出,语文教育是审美的、诗意的、充满情趣的。我们的语文课堂应以＂读＂贯穿始终,在读中培养学生的语文素养,在读中放飞学生的激情,不断提高学生的品德修养和审美情趣。在
通过周期调制与混沌系统的状态变量耦合可实现混沌和起混沌系统的控制，分叉图表明了混沌系统在周期调制幅度较宽的范围内是稳定的，文中给出了仿真实验结果。