基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。
上传时间: 2013-11-30
上传用户:GavinNeko
一种接口控制板的逻辑电路设计CPLD程序。
上传时间: 2014-11-16
上传用户:康郎
CVSD语音压缩的算法和程序流程.量阶δ能够自动地随输入信号平均斜率的大小而连续变化,译码输出信号实现了对输入信号的理想逼近,最后在可编程逻辑器件(FPGA)中实现了CVSD调制功能。
上传时间: 2015-03-12
上传用户:libenshu01
UPSD3200系列单片机CPLD逻辑功能C51开发包代码!
上传时间: 2015-03-12
上传用户:源弋弋
本设计主要由数字信号发生器和逻辑分析仪组成,其中数字信号发生器运用了89C51单片机系统,可以重复输出8路循环逻辑移位序列,逻辑分析仪用了89C55单片机系统,可以实现8路信号的采集和显示(时间域和空间域),3级触发字可调,有多种触发功能,可显示时标线,使逻辑分析仪能从大量的数据流中获得有分析意义的数据。
上传时间: 2013-12-29
上传用户:hphh
JSP的强大优势在于把一种应用的商务逻辑和它的介绍分离开来。用 Smalltalk的面向对象的术语来说, JSP鼓励MVC(model-view-controller)的web应用。JSP的classes 或 beans 是模型, JSP 是这个视图, 而Servlet是控制器。这个例子是一个简单的留言板
上传时间: 2013-12-20
上传用户:003030
实现ADT,可以实现两个二叉树的几种逻辑关系来显示它们之间的联系.如:求两个二叉树是否是等价的.它们的交集并集是怎样的.等等.这样这些都是ADT要实现的方法.
上传时间: 2015-03-22
上传用户:1079836864
题目:稀疏矩阵是指那些多数元素为0的矩阵.利用稀疏特点进行存储和计算可以大大节省存储空间,提高计算效率.实现一个能进行稀疏矩阵基本运算的运算器.基本要求:以带行逻辑连接信息的3元组顺序表表示稀疏矩阵,实现两个矩阵相加,相减和相乘的运算.矩阵的输入形式采用3元组表示,而运算结果的矩阵则以通常的阵列形式列出.概要设计:1.以带行逻辑连接信息的3元组顺序表表示稀疏矩阵2.本程序包含2个模块:(1) 各集合定义模块(2) 主程序模块
上传时间: 2013-12-18
上传用户:love_stanford
数据结构课程设计 程序开发平台:本程序的操作平台是WINDOS XP ,编程工具是VISUAL BASIC.NET。运行程序需要安装Microsoft.NET Framework 1.1。 硬件环境:P3以上处理器. 程序功能:将十进制数转换为2进制后进行逻辑运算。实现布尔表达式。
上传时间: 2013-11-26
上传用户:zhaiyanzhong
实现中值滤波的源程序 参数Hori是一个布尔变量,若为真,做水平中值滤波,否则,做竖直中值滤波。
上传时间: 2014-01-24
上传用户:zsjinju