基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
此程序在matlab环境下运行，适于求解线性规划一类问题。（单纯形法）
上传时间： 2015-03-12
上传用户：netwolf
TLC1543 AD采样子程序，提供了PORT作为采样通道号的形参。
上传时间： 2014-01-23
上传用户：410805624
这个程序是在windows平台下运行game of life最好的平台。它不仅对细胞空间没有限制、运行速度非常快、界面很友好，而且能够为你提供大量的初始细胞分布图案，你还可以任意组合这些图案达到你象要的构形，然后让这些构形动起来组合出更加神奇的生命游戏的世界。
上传时间： 2014-01-07
上传用户：xiaoxiang
本程序为malab的卡尔曼滤波器，用于雷达信号处理中航迹形
上传时间： 2013-12-01
上传用户：qq1604324866
此为编译原理实验报告 学习消除文法左递规算法，了解消除文法左递规在语法分析中的作用 内含 设计算法 目的 源码 等等.... 算法:消除左递归算法为: （1）把文法G的所有非终结符按任一种顺序排列成P1,P2,…Pn 按此顺序执行 （2）FOR i:=1 TO n DO BEGIN FOR j:=1 DO 把形如Pi→Pjγ的规则改写成 Pi→δ1γ δ2γ … δkγ。其中Pj→δ1 δ2 … δk是关于Pj的所有规则； 消除关于Pi规则的直接左递归性 END （3）化简由（2）所得的文法。即去除那些从开始符号出发永远无法到达的非终结符的 产生规则。
上传时间： 2015-03-29
上传用户：极客
本软件是集成式的输入平台，是一个输入法整合软件，除了本有的拼音输入外，可以挂接 各种形码输入方案，如五笔98、86、郑 ... 由于使用只有50多K的单线矢量字库，从体积而 言是目前最小的汉字系统，当然显示效果会打个折扣,直接键入xzl.com进行加载即可。
上传时间： 2015-04-02
上传用户：zmy123
用Burg算法估计AR模型参数，进而实现功率谱估计. 形参说明： x——双精度实型一维数组，长度为n，存放随机序列。 n--整型变量,随机序列的长度。 p--整型变量,AR模型的阶数。 a--双精度实型一维数组，长度为(p十1)。存放AR模型的系数a(0),a(1),...,a(p)。 v--双精度实型指针,它指向预测误差功率，即AR模型激励白噪声的方差。
上传时间： 2013-12-21
上传用户：330402686
计算ARMA(p，q)模型的功率谱密度。 形参说明： b——双精度实型一维数组，长度为(q+1),存放ARMA(p，q)模型的滑动平均系数。 a——双精度实型一维数组，长度为(p+1),存放ARMA(p,q)模型的自回归系数。 q——整型变量,ARMA(p,q)模型的滑动平均阶数。 p——整型变量,ARMA(p,q)模型的自回归阶数。 sigma2——双精度实型变量,ARMA(p,q)模型白噪声激励的方差。 fs——双精度实型变量,采样频率(Hz)。 x——双精度实型一维数组,长度为len。当sign＝0时，存放功率谱密度；当sign＝ 1时，存放用分贝表示的功率谱密度。 freq——双精度实型一维数组，长度为len。存放功率谱密度所对应的频率。 len——整型变量，功率谱密度的数据点数。 sign——整型变量,当sign＝0时，计算功率谱密度；当sign＝1时，计算用分贝表 示的功率谱密度。
上传时间： 2015-04-09
上传用户：qiao8960
用matlab编的koch曲线，此程序画出了类似雪花的分形曲线
上传时间： 2015-04-17
上传用户：朗朗乾坤
