登录
首页 » Visual C++ » SAT

SAT

于 2010-11-06 发布 文件大小:712KB
0 220
下载积分: 1 下载次数: 23

代码说明:

  sat的合取范式与析取范式的可满足问题()(sat in the CNF and DNF of the satisfiability problem ())

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 12345
    严蔚敏和吴伟民的数据结构,是学习c语言必定要看的(吴伟民YAN Wei-min and the data structure, is to learn c language we must take account of the)
    2009-06-18 12:55:29下载
    积分:1
  • vc++6.0数据库编程大全(代码)
    vc++6.0数据库编程大全一书得各个章节得源码,比较详细.可以仔细参照学习!(Detail codes for each paragraph of <<Full-scale of VC++6.0 data base program>>)
    2020-06-26 08:20:02下载
    积分:1
  • waterprint
    关于图像水印,VC++语言运行程序,可以正常正常运行.希望有所帮助.
    2009-02-28 12:22:40下载
    积分:1
  • MFC
    MFC深入浅出,PDF格式,学习MFC的初学者可以看看。。(MFC easy, PDF format, learn the beginner can look at the MFC. .)
    2009-05-06 15:26:40下载
    积分:1
  • selsolutionsc5
    《C Primer Plus(第五版)中文版》的课后练习源代码(C Primer Plus (Fifth Edition) Chinese version of source code for after-school practice)
    2010-06-17 17:44:47下载
    积分:1
  • heikejiemijishu
    想做黑客就得学这个!!此书是很经典的黑客反调试技术!逆向汇编!黑客调试技术揭密(Hackers want to have to learn this! ! This book is a classic anti-debugging techniques hackers! Reverse compilation! Hacker debugging technology Unmasked)
    2008-07-04 12:25:47下载
    积分:1
  • videocompressionpaper
    本论文首先系统地介绍了视频压缩编码的基本原理和方法,以及各国际标准 化组织提出的压缩标准;其次分析了JPEG和MPEG-4的主要技术,据此提出 MPEG-4简单框架编码器的软件实现方案,给出流程图,在VC++环境下用C语言 程序实现了JPEG压缩及MPEG-4简单框架的视频压缩功能,采用测试序列验证 无误,并对两种标准的压缩比进行试验对比,突出压缩的关键技术为DCT和运动 估计算法;接着深入研究了DCT变换、运动估计和补偿算法并进行了优化改进, 给出了用于快速匹配块的自适应十字模式搜索算法,并给出了对各种块匹配估计 算法的仿真结果。然后详细介绍了TI公司TMS320C6711DSP的软硬件特性,并 在此基础上提出系统的硬件实现方案。接着介绍了基于系统软硬件环境的移植问 题和优化方法,并针对算法移植和仿真过程中的问题进行了说明。 最后就课题设计过程中研究的结果予以总结,并阐述了以后课题研究的要点。(In this thesis,an introduction to video compression principal,methods and central international video coding standards is done firstly.Then analyzing the core techniques of JPEG and MPEG-4 and proposing a scheme of MPEG-4 SP encoder,the coding function of JPEG and MPEG-4 is achieved in C successfully with test sequence Then compare the compressed ratio of two standards,point out the key of compression is DCT and Motion Estimation algorithm.Afterwards,studying the DCT/Motion Estimation/Motion Compensation algorithm in detail and giving an adaptive rood pattern search for fast Block-Matching motion estimation.Then the simulation of several motion estimation algorithms based block-matching is given.Accordingly,a scheme of a DSP-based video compression system is put forward,with the features of TI’s TMS320C6711 DSP.At last,the transplant and optimization are considered on the basis of soft and hard environments,also the simulation process. In the end,the summarization about the)
    2009-09-18 10:40:44下载
    积分:1
  • learnMFC
    mfc 入门级教程,给新手学习(mfc entry-level tutorial for novice learning)
    2008-01-05 17:44:33下载
    积分:1
  • MFC
    深入浅出mfc,介绍了MFC框架的基本技术,对于有一定MFC编程经验的人很有帮助,能更好的理解KFC框架(Introduce the MFC S basic techniques.it will help a lot for the people who have the experience of programming with the MFC.)
    2012-05-07 23:08:20下载
    积分:1
  • hhhhhh
    该编程使用VC++编写代码,该编程主要作用便是将灰度图像的各灰度值统计出来,以方便对该灰度图像的了解 (The programming code using VC++ The main role is to be programmed for each grayscale image gray value statistics out to facilitate the understanding of the gray image)
    2013-11-04 19:59:36下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载