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