一个基于H.wang的谓词演算公式的机器证明的vc实现

相 关 资 源

• 一个基于H.wang的谓词演算公式的机器证明的vc实现免费下载

  资源简介：一个基于H.wang的谓词演算公式的机器证明的vc实现

  标签： wang 机器

  上传时间： 2014-01-17

  上传用户：colinal

• 这是一个基于H.263的视频压缩编码和解码的源代码免费下载

  资源简介：这是一个基于H.263的视频压缩编码和解码的源代码，供学习和参考用。

  标签： 263 视频压缩 编码 源代码

  上传时间： 2013-12-30

  上传用户：cjl42111

• 乐言新闻评论系统 1.0 是一个基于J2EE（Spring＋Hibernate）环境下开发的新闻评论坛系统。请自行下载Hibernate 3.0免费下载

  资源简介：乐言新闻评论系统 1.0 是一个基于J2EE（Spring＋Hibernate）环境下开发的新闻评论坛系统。请自行下载Hibernate 3.0，Spring 2.0，Jakarta Common等开源支持库。

  标签： Hibernate Spring J2EE 1.0

  上传时间： 2015-07-23

  上传用户：Avoid98

• 这是一个基于图书馆系统 主要是用struts hibernate oracle做的免费下载

  资源简介：这是一个基于图书馆系统 主要是用struts hibernate oracle做的

  标签： hibernate struts oracle 图书馆

  上传时间： 2014-01-24

  上传用户：凌云御清风

• 只是一个基于飞思卡尔十六位单片机编写的C一个例程SPI免费下载

  资源简介：只是一个基于飞思卡尔十六位单片机编写的C一个例程SPI，调试通过，大家放心使用

  标签： SPI 飞思卡尔 十六位 单片机

  上传时间： 2017-09-04

  上传用户：dancnc

• 只是一个基于飞思卡尔十六位单片机编写的C一个例程SPI免费下载

  资源简介：只是一个基于飞思卡尔十六位单片机编写的C一个例程SPI，调试通过，大家放心使用

  标签： SPI 飞思卡尔 十六位 单片机

  上传时间： 2014-01-01

  上传用户：cc1915

• 只是一个基于飞思卡尔十六位单片机编写的C一个例程SPI免费下载

  资源简介：只是一个基于飞思卡尔十六位单片机编写的C一个例程SPI，调试通过，大家放心使用

  标签： SPI 飞思卡尔 十六位 单片机

  上传时间： 2013-12-21

  上传用户：希酱大魔王

• 功能：返回双精度参数的反全余弦的三角函数值 返回返回双精度参数y和x的数值由公式y/x计算的反正切三角函数值免费下载

  资源简介：功能：返回双精度参数的反全余弦的三角函数值 返回返回双精度参数y和x的数值由公式y/x计算的反正切三角函数值

  标签： 精度 参数 三角函数 数值

  上传时间： 2014-10-31

  上传用户：dongbaobao

• 本程序为近景摄影测量的单像空间后方交会算法,采用VC++实现免费下载

  资源简介：本程序为近景摄影测量的单像空间后方交会算法,采用VC++实现

  标签： VC 程序 摄影测量 近景

  上传时间： 2013-12-19

  上传用户：frank1234

• 两次素数筛选算法源程序!先筛选sprt(n)内的素数,再选n内的素数,些算法更快~主要用VC实现免费下载

  资源简介：两次素数筛选算法源程序!先筛选sprt(n)内的素数,再选n内的素数,些算法更快~主要用VC实现

  标签： sprt 筛选算法 源程序 筛选

  上传时间： 2015-10-28

  上传用户：lanwei

• 用vc++实现的双踪示波器程序源码 用vc++实现的双踪示波器程序源码. 用vc++实现的双踪示波器程序源码免费下载

  资源简介：用vc++实现的双踪示波器程序源码 用vc++实现的双踪示波器程序源码. 用vc++实现的双踪示波器程序源码

  标签： vc 示波器 程序源码

  上传时间： 2013-12-27

  上传用户：chenjjer

• 这是一个基于PROTUES工作平台免费下载

  资源简介：这是一个基于PROTUES工作平台，存储并读取 AT24C02里的数据并通过数码管显示。

  标签： PROTUES

  上传时间： 2014-01-09

  上传用户：924484786

• 一本经典的实用机器学习的参考书免费下载

  资源简介：一本经典的实用机器学习的参考书，对于学习机器学习的人很有 帮助！

  标签： 机器学习

  上传时间： 2013-12-24

  上传用户：yt1993410

• 这是一个vc下的完成基于h。323协议的视频会议的代码免费下载

  资源简介：这是一个vc下的完成基于h。323协议的视频会议的代码

  标签： 323 协议 代码 视频会议

  上传时间： 2013-12-06

  上传用户：aa54

• 一个基于单片机proteus仿真子电路做的一个H型电机驱动电路免费下载

  资源简介：一个基于单片机proteus仿真子电路做的一个H型电机驱动电路

  标签： proteus 电路 单片机 H型

  上传时间： 2017-08-07

  上传用户：zhengjian

• 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题免费下载

  资源简介：基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。

  标签： 自动 机器学习 推理机 程序

  上传时间： 2013-11-30

  上传用户：GavinNeko

• EasyJF开源Blog系统是一个由EasyJF开源团队组织开发的基于Java平台的开源博客系统。当前Blog已经实现了基本的基本的博客的书写、流量统计、排名、个人像册、RSS、支持自定义模板、静态h免费下载

  资源简介：EasyJF开源Blog系统是一个由EasyJF开源团队组织开发的基于Java平台的开源博客系统。当前Blog已经实现了基本的基本的博客的书写、流量统计、排名、个人像册、RSS、支持自定义模板、静态html文件生成、权限系统、积分系统等功能。另外还将加入博客圈、音乐、专...

  标签： EasyJF Blog Java 开源

  上传时间： 2014-11-29

  上传用户：拔丝土豆

• 本文设计实现了一个基于5l单片机的嵌入式WEB服务 器。由于5l单片机系统资源的限制免费下载

  资源简介：本文设计实现了一个基于5l单片机的嵌入式WEB服务 器。由于5l单片机系统资源的限制，本文使用c5l编程实现了简化后 的TCP／IP协议并在此基础上实现了H耵P协议。硬件设计采用8052 单片机和RTL8019AS以太网接口芯片。整个系统可以通过Internet进 行低成本远程...

  标签： WEB 5l单片机 设计实现 嵌入式

  上传时间： 2016-08-20

  上传用户：2404

• 一个基于GTK+的单词数值计算器免费下载

  资源简介：一个基于GTK+的单词数值计算器，1、 按照规则计算单词的值，如果 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 26个字母（全部用大写）的值分别为 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，如： WINJACK这个单词的...

  标签： GTK 数值 计算器

  上传时间： 2014-01-11

  上传用户：康郎

• ColorPicker是一个基于对话框的应用程序免费下载

  资源简介：ColorPicker是一个基于对话框的应用程序，它具有以下功能： 1. 色彩编辑功能 用户可以通过可以调整R、G、B的值来编辑颜色，亦可通过调整H、S、V的值来选取颜色。颜色编辑的结果会马上反馈到颜色面板和颜色预览框中。 2.RGB颜色空间和HSV颜色空间的转换 当...

  标签： ColorPicker 对话框 应用程序

  上传时间： 2014-01-01

  上传用户：hewenzhi

• 基于H.264编解码的算法优化研究及FPGA的硬件实现.rar免费下载

  资源简介：H.264/AVC是由ITU和ISO两大组织联合组成的JVT共同制定的一项新的视频压缩技术标准，在较低带宽上提供高质量的图像传输是H.264/AVC的应用亮点。在同样的视觉质量前提下，H.264/AVC比H.263和MPEG-4节约了50％的码率。但H.264获得优越性能的代价是计算复杂度的增...

  标签： FPGA 264 编解码

  上传时间： 2013-07-18

  上传用户：zukfu

• 基于H.264的无线传输差错控制及解码器的ARM实现免费下载

  资源简介：信息化社会的到来以及IP技术的兴起，正深刻的改变着电信网络的面貌以及未来技术发展的走向。无线通信技术的发展为实现数字化社区提供了有力的保证。而视频通信则成为多媒体业务的核心。如何在环境恶劣的无线环境中，实时传输高质量的视频面临着巨大的挑战，因...

  标签： 264 ARM 无线传输 差错控制

  上传时间： 2013-06-18

  上传用户：也一样请求

• 基于H.264的网络视频监控的FPGA实现研究免费下载

  资源简介：随着科学技术的发展与公共安全保障需求的提高，视频监控系统在工业生产、日常生活、警备与军事方面的应用越来越广泛。采用基于 FPGA 的SOPC技术、H．264压缩编码技术和网络传输控制技术实现网络视频监控系统，在稳定性、功能、成本与扩展性等方面都有着突出的...

  标签： FPGA 264 网络视频监控 实现研究

  上传时间： 2013-08-03

  上传用户：88mao

• 基于H.264的嵌入式实时视频采集与传输系统的设计与实现免费下载

  资源简介：·基于H.264的嵌入式实时视频采集与传输系统的设计与实现

  标签： 264 嵌入式 实时视频 传输系统

  上传时间： 2013-07-09

  上传用户：zjt20011220

• 基于H.263的图像压缩编解码的C源码免费下载

  资源简介：·详细说明：基于H.263的图像压缩编解码的C源码，在CPU为586以上的PC上能够实时完成压缩、解压缩算法，并可以很容易地移植到TI的DSP上.文件列表:   h263   ....\decode   ....\......\CHANGES   ....\......\config.h   ....\......\DISCLAIM   .

  标签： 263 图像压缩 编解码 源码

  上传时间： 2013-07-01

  上传用户：bjgaofei

• 一个基于51系列单片机和CPLD结合完成的项目免费下载

  资源简介：一个基于51系列单片机和CPLD结合完成的项目

  标签： CPLD 51系列 单片机 项目

  上传时间： 2013-08-09

  上传用户：小儒尼尼奥

• 这是一个基于FPGA的加密/解密算法的简单介绍免费下载

  资源简介：这是一个基于FPGA的加密/解密算法的简单介绍，并阐述了它的好处。

  标签： FPGA 加密 解密 算法

  上传时间： 2013-08-10

  上传用户：懒龙1988

• 一个基于FPGA的串口程序免费下载

  资源简介：一个基于FPGA的串口程序,已经经过验证,对用FPGA做串口的朋友提供参考和借鉴!

  标签： FPGA 串口程序

  上传时间： 2013-09-02

  上传用户：a82531317

• 一个基于单片机proteus仿真的俄罗斯方块程序免费下载

  资源简介：一个基于单片机proteus仿真的俄罗斯方块程序

  标签： proteus 单片机 仿真 俄罗斯方块

  上传时间： 2013-09-22

  上传用户：脚趾头

• 一个基于C++的语法分析类免费下载

  资源简介：一个基于C++的语法分析类，可以用来定制自己的编译器

  标签： 分

  上传时间： 2015-01-03

  上传用户：mpquest