基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
正在学数字信号处理,感觉上学期信号与系统学得不扎实，因为当时只是死记公式，这学期数信老师提倡动手实践，觉得自己在编程中对公式理解得更加深刻了。 以下是我写的FFT，欢迎指教。
上传时间： 2014-01-11
上传用户：zhangjinzj
用Java写的报表.功能如下: 0.内建网络打印,网络预览功能！ 1.文件操作。包括url 指定的文件。 2.全功能打印支持。包括打印预览。 3.Undo 和 redo。 4.合并单元格。 5.Cell selection using the mouse or keyboards（快捷键支持）。 6.单元格高宽调整 。 7.丰富的前景刷支持，前景可以是单色，双色渐变，JPG,PNG,GIF图形 。 8.背景刷支持，前景可以是单色，双色渐变，JPG,PNG,GIF图形 。 9.每个单元格支持空心字体，各其他一般字体。 10.每个单元格可设置为只读。 11.每个单元格上下左右可分别高设置边框，边框线的宽度，颜色可调。 12.拖放操作。可在一个应用中的不同单元格拖放，也可在两个应用的之间进行拖放。支持剪切和COPY两种方式。 13.剪贴板功能。支持文本方式和全格式两种方式。剪贴也允许在两个应用之间进行。可以从EXCELL单元格中复制到本应用中。 14.单元格线，滚动条，行头，列头显示可选. 15.支持公式定义,公式定义采用？作标记，如?sum(A1:B1)。 16.数字格式可自由定义，如 12345678, 可自动化为 12,345,678.00 。 17.丰富的页脚页眉属性。具有以上3，4，5，6?，8，9，10，11，12，13，15,16，17各项功能。
上传时间： 2015-03-15
上传用户：熊少锋
电机温升测试系统,适用于工作频率为50/60Hz的单/三相小功率异步电机（≤5KW）、串级电机、电动工具的绕组温升测量。适用于工作频率为50/60Hz的电源变压器、充电器、电感镇流器的绕组温升测量。带电原理：在带电工作情况下测量绕组的直流电阻，并用公式折算成温升。专为电动工具定子，转子温升测量而开发，其中定子采用带电法，转子采用断电法
上传时间： 2015-04-01
上传用户：gut1234567
基本基础的欧式期权价格计算程序，使用最基本的布莱克斯科尔斯公式
上传时间： 2015-04-03
上传用户：123456wh
数值计算方法网络课件系统是浙江大学过程装备与控制工程专业2001级本科生毕业设计成果。本系统采用ASP＋ACCESS架构，在微软Windows Server 2003和IIS6.0平台上测试运行良好。 1. 安全性保证 2. 所见即所得的在线编辑器 3. 数学公式的完美输入和显示 4. 尽力遵循WEB设计标准 5. 随机无重复选题 题库系统的一个重要特点即是从数据库中随机选取给定数量的题目。 另一个特点是题型全面，涵盖了数值计算方法课程中几乎所有常见题型，如单选、多选、判断、填空、简答、计算等。 6. 课件所含功能：试题库、在线自我考试、留言板、信息发布、教学资源发布、用户管理 后台管理初始用户名密码是：admin admin 具体功能看压缩包内readme.txt
上传时间： 2014-01-04
上传用户：王者A
one tool 自定义 Microsoft Visio 可以配合开发 Microsoft Visio 解决方案，该解决方案是创建解决方案以解决特定绘图问题的完善指南。您可以获得有关使用公式设计模仿真实物体和行为的 SmartShape 符号的详细信息。
上传时间： 2014-08-25
上传用户：xinyuzhiqiwuwu
通信中，erlangC公式的程序实现。具体代码注释程序中自带。
标签： 通信
上传时间： 2015-04-14
上传用户：youlongjian0
用Doolittle方法求解此方程组； 1．先由U[1][i]=a[1][i] 求的U的第一行，在根据L[i][1]=a[i][1]/U[1][1] 求的L的第一列；2..然后根据公式求得U，L其他的值； 3 回带求解得到X
上传时间： 2013-12-10
上传用户：洛木卓
生成图象文件，运用公式将YCbCR彩色系统表示成RGB彩色系统象素。
标签： 图象
上传时间： 2015-05-22
上传用户：kbnswdifs
