基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
资源简介：基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
资源简介：capon是阵列信号处理的一个经典算法。本程序用VC6.0实现了Capon波束形成算法，基于MFC开发了个一界面，输入参数包括期望信号入射角度、干扰噪声角度和信噪比，以图形方式显示了估计的结果
上传时间： 2013-12-22
上传用户：黑漆漆
资源简介：经典的多点法形状复原算法中的2点法的程序。本程序用频域法和积分法2种方法复原了同一形状。数据则由csv文件读入。
上传时间： 2013-12-16
上传用户：hn891122
资源简介：一个航空订票系统。航空客运订票的业务活动包括：查询航线、客票预订和办理退票等运订票系统。本程序用计算机来完成航空客运订票的业务活动（包括：查询航线、客票预订和办理退票等运订票系统）。
上传时间： 2016-05-05
上传用户：qq1604324866
资源简介：根据解空间的维数可以将优化问题分为一维空间优化和多元优化问题。本程序以求函数：f(x)=x+10*sin(5x)+7*cos(4x),0=<x<=9为例说明遗传算法的源程序
上传时间： 2014-01-02
上传用户：ynsnjs
资源简介：本程序用汇编16位语言实现字符串匹配的问题。很好的解决了这一类似的问题。
上传时间： 2013-12-11
上传用户：llandlu
资源简介：tsp问题,对于求解TSP问题设计的算法来解决TSP问题是一个很基本的算法.
上传时间： 2013-12-15
上传用户：开怀常笑
资源简介：本程序在文本显示方式下实现了显示字符图形“阳泉学院”。 按回车键即可返回操作系统。
上传时间： 2014-01-27
上传用户：wys0120
资源简介：基于AVR的数码管显示程序。是学习单片机入门级程序。 本程序出自高手之手，通俗易懂。
上传时间： 2017-03-20
上传用户：hgy9473
资源简介：人工神经网络(ANN)的泛化特性是神经网络最重要的特性,同时也是最不容易保证的特性。本程序对改进泛化的神经网络算法以及新兴的机器学习算法——支持向量机算法进行研究,
上传时间： 2017-04-01
上传用户：ainimao
资源简介：C#知识库是在学习C#时积累的一些知识。本软件用C#编写,运行需要Microsoft .NET框架支持。打开树状节点，双击可查看知识
上传时间： 2013-12-22
上传用户：熊少锋
资源简介：基于KEIL C的RTXTiny操作系统的电话振铃检测程序。单片机为LPC900系列。 本程序并不能直接使用，但足以说明问题。如果您要使用您还需要定义相关变量等内容。 同时您还需要了解KEIL C的RTXTiny操作系统的使用。 有问题请MAIL ：xy-mcu@163.com
上传时间： 2013-12-18
上传用户：agent
资源简介：本程序为某企业的税控机固件程序.基于东芝TMP93CS41 16位单片机编写,符合国家标准.该程序已经经过多次长期调试.
上传时间： 2014-08-16
上传用户：trepb001
资源简介：一个滚齿机 程序生成软件。里面无密码。 本程序是本人在改一般滚齿机为数控机而写的一个程序生成软件。
上传时间： 2015-04-12
上传用户：hasan2015
资源简介：平缝机的单片机伺服控制系统源代码。本程序为用单片机控制永磁同步电机的低成本方案
上传时间： 2014-01-26
上传用户：lanhuaying
资源简介：可以自动更换墙纸的小程序。此程序用vb来实现，并且有详细注释。
上传时间： 2015-05-02
上传用户：秦莞尔w
资源简介：简单的ds18b20温度采集上位机程序。本程序采用labview编写,读取命令为r,单片机得程序为<ds18b20的应用>在网站中可以找到
上传时间： 2014-01-02
上传用户：gtzj
资源简介：针对多DSP 共享总线的通用信号处理板卡, 介绍了基于PCI9054 和CPCI 总线的接口设计, 分析了通用WDM总线驱动程序的开发。采用Verilog HDL 用CPLD 设计控制时序实现了DSP 和 CPCI 总线桥接器PCI9054 之间的普通传输和高速DMA 传输。驱动程序采用DriverWorks ...
上传时间： 2013-12-24
上传用户：tedo811
资源简介：分别用人工控制和自动搜索的方法找到迷宫出口。 蹭经听说过一个走迷宫的诀窍：顺着墙沿一侧走。 （一直沿左侧或一直沿右侧）。本程序实现了这一思想，小人一直沿左侧走。 迷宫是随机生成的。
上传时间： 2016-05-28
上传用户：lizhizheng88
资源简介：基于标量量化的图像多描述编码（MDSQ）是提高信息传输质量的一种有效方法,本程序利用Matlab 工具在处理矩阵上的灵活性,实现了MDSQ 算法, 并通过解码后的图像证明该方法良好的多描述性能。
上传时间： 2016-06-14
上传用户：123456wh
资源简介：基于梳状导频的OFDM信道估计程序。 该程序用matlab仿真了基于梳状导频序列的OFDM信道估计，内插采用了线性内插法。
上传时间： 2017-01-03
上传用户：lijianyu172
资源简介：用.net开发AutoCAD生成dll文件。本程序可以启动AutoCAD并自动加载相应的dll文件。
上传时间： 2014-06-10
上传用户：youth25
资源简介：基于AVR的模数转换程序。是开发单片机必备的基本技巧。 本程序出自高手之手，通俗易懂。 基于AVR的数模转换程序。利用AVR单片机自身的AD功能进行转换。 本程序出自高手之手，通俗易懂。
上传时间： 2013-12-21
上传用户：aysyzxzm
资源简介：很强大用java语言实现一个基于UDP的聊天室。本程序是利用数据报协议传送信息的聊天程序，由三个简单的组件构成，分别是一个List，用于接收信息，一个JComboBox，用于输入对方ip地址，和一个JTextField,用于编辑信息。
上传时间： 2017-05-23
上传用户：jackgao
资源简介：学习顺序存储结构的链式实现。本程序能实现四则运算和简单的混合运算。
上传时间： 2014-01-13
上传用户：koulian
资源简介：该文档为基于机器学习对销量预测的研究简介资料，讲解的还不错，感兴趣的可以下载看看…………………………
上传时间： 2021-11-05
上传用户：
资源简介：说明：本程序用于矩形截面偏心受压构件对称配筋的设计和复核以及不对称配筋的复核。本程序有文件支持，但无需建立数据文件，请按屏幕提示输入数据，并注意单位。本程序可在此文件同目录上自动生成下列文件：设计数据文件“design.dat”，设计结果文件“design...
上传时间： 2015-03-19
上传用户：xinzhch
资源简介：有序样品的最优分割程序。本程序优点在于分类齐全，使用方便、直观。供大家学习参考。
上传时间： 2013-12-26
上传用户：ma1301115706
资源简介：这个是用DELPHI7开发的串口调试助手。本程序完全参照龚建伟《串口调试助手V2.2》制作而成，原软件是用VC编写的，将它改用Delphi编写，作为学习串口编程的一个例子与工具使用。
上传时间： 2016-05-09
上传用户：huannan88
资源简介：本书介绍了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序写作的方法。这些程序用C语言编写并使用原始的Windows Application Programming Interface（API）。如在本章稍后所讨论的，这不是写作Windows程序的唯一方法。然而，无论最...
上传时间： 2014-11-29
上传用户：haohaoxuexi
