基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
ADT BinaryTree 的实现及验证程序采用的主要数据结构：二叉树、栈、队算法思想：1、 先序建树、输出树、后序遍历用递归方法。性能分析：O( n )2、 先序遍历、中序遍历：性能分析：O( n )(1) 若遇到新节点非空则先入栈，然后访问其左子树。(2) 若为空则将栈顶结点出栈，访问其右子树。(3) 循环1、2直到栈为空且无节点可入栈。先序与中序的区别是：先序在入栈时访问节点，中序在出栈时访问节点。3、 层遍历：性能分析：O( n )(1) 根节点入队(2) 节点出队并访问(3) 若节点有左孩子，则左孩子入队；有右孩子，则右孩子入队。(4) 重复2、3直到队列为空。4、 线索树：算法与先序遍历、中序遍历一样，只是将访问节点的Visit函数改为连接前驱与后继的操作。性能分析：O(
标签： BinaryTree ADT 性能分析 树
上传时间： 2014-12-20
上传用户：SimonQQ
verilog，4、5分频器，5分频器占空比3：2
标签： verilog
上传时间： 2015-03-12
上传用户：wanghui2438
图书管理系统v1.0是使用JAVA语言开发的解决图书基本管理的一个应用程序。 该系统能够实现简单的图书和用户管理，包括添加图书，删除图书，修改图书信息，添加用户， 删除用户，修改用户信息，外借图书，归还图书，罚款计算等等。该系统的前台界面采用JAVA的 SWING开发，具有简洁美观的外观，直观的用户使用界面十分方便上手使用；后台采用MS-ACCESS 数据库，采用JDBC-ODBC数据库连结方式，使用前须在控制面板中的数据库（ODBC）中的用户 DSN里将ACCESS数据库文件添加到用户数据源，数据源名为JLibrary,登陆名称和密码设置为空。注意：该程序正常运行需要安装JAVA运行环境（Java Runtime Environment v1.4.1_05）
上传时间： 2014-01-10
上传用户：yd19890720
程序版本: 专业的C文件格式化源码 1.0 程序功能: 仅对C源文件行首空格及Tab进行整理，不拖拽大括号改变原有风格: 1).格式对齐, 删除行首的Tab或空格 2).格式缩进, 以Tab或空格填充行首 安全性能: 只对行首的空格和Tab操作，不添加空行， 不操作单行注释语句/多行注释段，不修改任何执行语句
上传时间： 2015-03-16
上传用户：zycidjl
支持多用户有不同的权限采用MDI界面由于没有打包，所以要配置ODBC别名：nthouse初始化密码均为空
上传时间： 2015-03-17
上传用户：kikye
大型商业学分统计系统原代码说明 1.如果在向导设置班级数为8时,此数值为班级总数，所以添加录入班级时,请检查1至8个班级是否已全部录入,如果数据是经过导入而来,在保存前请将班级数大于8的数据删除. 2.在保存新数据前，请将多余的空数据删除. 3.对于无考试分数的学分只能用0来输入,不可用空. 4.学籍中,打勾表示在籍生,不打勾则表示编外生。保存之前检查数据录入是否符合条件,否则统计报表将会出错!
上传时间： 2013-12-24
上传用户：阿四AIR
RSA加密算法，界面操作，可以很方便的对文件的内容进行加密，而且为了能加密更长的内容，算法中采用了分段加密的手段。其算法步骤如下：1. 读取公钥e和n，作加密之用。 2. 从DecText中读取一大段明文，转化成明文字节数组Byte[]。 3. 再把Byte[]分成若干小段明文字节数组sectByte[]。 4. 使用e和n对所有的sectByte[]进行加密，并合成一大段密文,添加到EncText。 5. 读取下一大段明文，若明文为空，完成加密；否则转2
上传时间： 2013-12-26
上传用户：bruce
RSA加长分段解密算法，界面操作。算法步骤如下：1. 读取私钥d和n，作解密之用。 2. 从EncText中读取一大段密文，再把该大段密文分成若干小段密文。 3. 使用d和n把所有小段密文进行解密成对应的小段密文sectByte[]，再合成一大段明文字节数组Byte[]，并转化成大段明文添加到DecText。 4. 读取下一大段密文，若密文为空，完成解密；否则转2
上传时间： 2015-03-25
上传用户：稀世之宝039
一个很漂亮的FLASH的源代码。文件为 .fla格式，FLASH的名字就空山鸟语。
上传时间： 2013-12-21
上传用户：lacsx
