命题逻辑的求解器,2004年SAT竞赛第一名的求解器
上传时间： 2013-12-16
上传用户：gundamwzc
采用现场可编程门阵列(FPGA)可以快速实现数字电路，但是用于生成FPGA编程的比特流文件的CAD工具在编制大规模电路时常常需要数小时的时间，以至于许多设计者甚至通过在给定FPGA上采用更多的资源，或者以牺牲电路速度为代价来提高编制速度。电路编制过程中大部分时间花费在布线阶段，因此有效的布线算法能极大地减少布线时间。 许多布线算法已经被开发并获得应用，其中布尔可满足性(SAT)布线算法及几何查找布线算法是当前最为流行的两种。然而它们各有缺点：基于SAT的布线算法在可扩展性上有很大缺陷；几何查找布线算法虽然具有广泛的拆线重布线能力，但当实际问题具有严格的布线约束条件时，它在布线方案的收敛方面存在很大困难。基于此，本文致力于探索一种能有效解决以上问题的新型算法，具体研究工作和结果可归纳如下。 1、在全面调查FPGA结构的最新研究动态的基础上，确定了一种FPGA布线结构模型，即一个基于SRAM的对称阵列(岛状)FPGA结构作为研究对象，该模型仅需3个适合的参数即能表示布线结构。为使所有布线算法可在相同平台上运行，选择了美国北卡罗来纳州微电子中心的20个大规模电路作为基准，并在布线前采用VPR399对每个电路都生成30个布局，从而使所有的布线算法都能够直接在这些预制电路上运行。 2、详细研究了四种几何查找布线算法，即一种基本迷宫布线算法Lee，一种基于协商的性能驱动的布线算法PathFinder，一种快速的时延驱动的布线算法VPR430和一种协商A
上传时间： 2013-05-18
上传用户：ukuk
状态机设计:8.1.1 数据类型定义语句TYPE语句的用法如下：TYPE 数据类型名IS 数据类型定义OF 基本数据类型;或TYPE 数据类型名IS 数据类型定义;TYPE st1 IS ARRAY ( 0 TO 15 ) OF STD_LOGIC ;TYPE week IS (sun，mon，tue，wed，thu，fri，SAT) ; 8.1.1 数据类型定义语句TYPE m_state IS ( st0，st1，st2，st3，st4，st5 ) ;SIGNAL present_state，next_state : m_state ;TYPE BOOLEAN IS (FALSE，TRUE) ；TYPE my_logic IS ( '1' ，'Z' ，'U' ，'0' ) ;SIGNAL s1 : my_logic ;s1 <= 'Z' ;SUBTYPE 子类型名IS 基本数据类型RANGE 约束范围;SUBTYPE digits IS INTEGER RANGE 0 to 9 ;
标签： 状态
上传时间： 2013-11-05
上传用户：nem567397
Embest S3C44B0X Evaluation Board RTC Test Example RTC Check(Y/N)? y Set Default Time at 2004-12-31 FRI 23:59:59 Set Alarm Time at 2005-01-01 00:00:01 ... RTC Alarm Interrupt O.K. ... Current Time is 2005-01-01 SAT 00:00:01 RTC Working now. To set date(Y/N)? y Current date is (2005,01,01, SAT). input new date (yy-mm-dd w): 5-2-23 3 Current date is: 2005-02-23 WED RTC Working now. To set time(Y/N)? y Current time is (00:00:21). To set time(hh:mm:ss): 19:32:5 Current Time is 2005-02-23 WED 19:32:
标签： Evaluation RTC S3C44B0X Default
上传时间： 2014-01-03
上传用户：baiom
人工智能的一个重要方法，随机SAT问题，即一种复杂的组合优化方法，算法清晰，简单，易懂，但涉及较深的数学知识，（该源码基于linux平台的C程序）
标签： 人工智能
上传时间： 2015-12-25
上传用户：Altman
数字图像处理基础理论，英文资料Restoration and Enhancement Space Pictures (blurred, noisy, distorted) Computerized Tomography Coding Transmission – Teleconferencing Storage – Land SAT Images Pattern Recognition Blood Cell Analysis Remote Sensing Robotic Vision Computer Graphics Flight Simulation Auto Body Design Special Effect in Movie
标签： 数字图像处理
上传时间： 2014-06-30
上传用户：plsee
i2c配置tw2815，可以对techwell2815进行4路ad 的hue，SAT，cont，brt gain进行配置
上传时间： 2016-06-17
上传用户：541657925
非常精彩的2D碰撞检测引擎教程，英文flash格式，作者为N totorial的站长。该教程应该也是最早提出MTD最小退回距离应用的教程，之后与SAT分离轴定理共同应用于3D的OBB检测。
上传时间： 2013-12-14
上传用户：xuanjie
用pascal编一个年历具体要求是：设计电子月历的程序 一、任务内容（task） 1．设计的程序应具有以下功能： （1）任意输入某年的某一月份，屏幕应能显示该月的月历； （2）应允许多次从键盘输入某月份,并自行设置结束标志。 （3）如在屏幕上输入2007年12月份的信息,屏幕的显示形式如下： month Sun. Mon. Tue. Wed. Thu. Fri. SAT. 12 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 （4）备注：输出界面也可以是其它形式，另外还可对输出界面进行必要的修饰（如：加入表格线）。 2．程序设计要求： 1）采用结构化的程序设计方法进行编程； 2）用case控制语句实现选择分支结构； 3）用while \repeat…until\for语句实现循环结构； 4）利用标准过程readkey实现程序执行暂停； 5）利用标准过程 clrscr实现清屏操作。
上传时间： 2014-01-07
上传用户：franktu
自己编写的，SAT问题的Johnson算法源代码，请多多指教
标签： 编写
上传时间： 2017-07-05
上传用户：rocwangdp
