搜索资源列表
86verilog
- 以FPGA 芯片为平台构建了数字信号滤波实时处理模块, 给出了 50Hz 陷波器的切比雪夫Ê 型 IIR 数字 滤波器 4 阶级联的结构, 提出了对滤波器系数量化的逼近方法, 完成了基于 FPGA 的陷波器实现, 并成功地实现了 对含有工频 50Hz 噪声干扰的心电信号的滤波处理, 通过与M at lab 计算所得到的滤波处理效果进行比较分析, 结 果表明: 基于FPGA 采用切比雪夫Ê 型 4 级级联结构的 IIR 数字滤波器的误差满足设计要求- W ith t
sat-iridium
- 铱星网络TCL脚本,采用集中式路由算法。-TCL scr ipt Iridium network, the use of centralized routing algorithm.
Feature-tracking
- 根据摄像机透视投影模型, 通过提取特征点进行摄像机的运动估计, 提出一种基于FMA的补偿方法Z该方法针对图像连续帧间晃动幅度较大的情况, 通过均值滤波合成当前帧及其前几帧的运 动进行补偿。-A mo t ion model is p resen ted to est im ate the mo t ion param eters fo r im age stab ilizat ion by t rack ing featu re po in t s f rom con secu t iv
3SAT
- 3sat验证程序，算法验证，计算机算法设计与分析课程-3sat verification process, algorithm verification, program design and analysis of computer algorithms
2sat
- NP完全问题 2-SAT 算法 分析 详解 二元可满足探讨-NP complete problem 2-SAT algorithm analysis Detailed Discussion Dual meet
MIT_AI_lec_03
- 麻省理工的人工智能讲义第三章 约束满足问题 介绍了各种类型的约束满足问题-AI lecture-3 of MIT talking about Constraint Satisfaction Problems (CSPs)：N-Queens problem；line labelings；Graph coloring；3-SAT； Model-based recognition etc.
HandboSatisfiab_ebookw.net
- HANDBOOK OF SATISFIABILITY (sat problem)
barars
- ,（1）一个理发店接待室有n张椅子，工作室有1张椅子； （2）没有顾客时，理发师睡觉； （3）第一个顾客来到时，必须将理发师唤醒； （4）顾客来时如果还有空座的话，他就坐在一个座位上等待； （5）如果顾客来时没有空座位了，他就离开，不理发了； （6）当理发师处理完所有顾客，而又没有新顾客来时，他又开始睡觉。用条件变量实现(3张椅子)-, (1) a barber shop reception room with n chairs, studios have a chair (2) no cus
dvb_support
- EPG codding fix for polish SAT providers
AutoCAD-three-dimensiona-graphics
- 为了解决CAD水平测试的自动化阅卷问题，实现AutoCAD绘图题的计算机判分，提取CAD图形数据信息是关键。研究了三维几何造型开发工具ACIS的模型及其存储文件SAT的格式，给出了一种从SAT文件中提取CAD图形数据信息的方法，通过实例验证了该方法的有效性和正确性。-CAD proficiency test in order to solve the problem of automated scoring, AutoCAD drawing to achieve sub-sub-theme co
SAT-MMAS
- 蚁群算法 课程内容 比较详细 有文档分解 很不错-ACO course content in more detail with documents into a very good
GSAT
- 贪心算法求解SAT问题 3-SAT问题 比较详细 很好很强大-Greedy algorithm to solve SAT problem greedy algorithm greedy algorithm to solve SAT problem SAT problem
tio
- 基于海明距的改进免疫算法及其在SAT中的应用-Hamming distance based on improved immune algorithm and its application in the SAT.
RS-SAT
- 遥感卫星的介绍，包括轨道的计算、和常用遥感卫星参数等内容-The introduction of remote sensing satellites, including the calculation of the track, and used remote sensing satellite parameters, etc.
circle
- 约瑟夫问题的一种描述是：编号为1,2，...，n的n个人按顺时针方向围坐一圈，每人持有一个密码（正整数）。一开始任选一个正整数作为报数上限值m，从第一 个人开始按顺时针方向自1开始顺序报数，报到m时就停止报数。报m的人出列，将 他的密码作为新的m值，从他在顺时针方向上的下一个人开始重新从1报数，如此下去， 直至所有人全部出列为止。-Joseph a descr iption of the problem is: Numbers for 1, 2,... , n n personal
3SAT
- GA比起SA ，最大的优势在于对个初始解，而且存在杂交和变异，让SA具有非常强的跳出局部最优解的能力。而且简单通用，健壮性强。但是待定的参数很多，而且计算速度比较慢。选择，杂交，变异算子的选取也很关键。-GA than SA, the biggest advantage of an initial solution, and there is hybridization and mutation, so that SA has a very strong ability to jump out
the-use-of-.sat
- 这是ASCII码在三维视图中的标准文件格式的常用文件，是开发AutoCAD，ProE，UG，CATIA的常用格式。国内用的不是太多。-This is the ASCII code in a 3D view of the standard file format commonly used files, is the development of AutoCAD, ProE, UG, CATIA common format. Domestic use is not too much.
Paradox
- SAT-2 solution by Tarjan Algorithm / problem from spoj
Earth-center-ed-FiX-Coordi-nateSECF
- 此文档是摘要 针对预警卫星测量方程的非线性 利用传统方法 如EKF 不可避免地会带来线 性化误差.该文提出了几何定位 卡尔曼滤波 GL - KF 方法 在主动段弹道位于过地心 平面的假设下 根据2 颗卫星的角度测量解算出导弹位置 将测量方程转化为线性模-The t r adi ti onal met hod EKF Woul d 1ri ng a1out t he li neari Zati on err or of t he meaSur e ment eGuati on . Ba
SA
- 实现一个MAX 3-SAT 问题的解决。采用模拟退火算法。-to implement a max 3-SAT problem optimization algorithm using simulated annealing