命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
上传时间： 2013-12-31
上传用户：wxhwjf
研究心电信号去噪中小波基与阈值函数的选取规则
上传时间： 2013-12-20
上传用户：er1219
自己编写的自创的加密/解密算法的小程序,原理是将明文变成二进制,再按规则置乱二进制位,再变回文本,得到密文.是命令行运行方式的.
上传时间： 2016-10-19
上传用户：fandeshun
教材征订管理系统,业务操作流程:下达系部教学任务—〉教材征订—〉书商订单—〉入库—〉结算书商书费—〉出库（领书）—〉结算班级书费—〉为下个学期部门征订作准备。
上传时间： 2016-10-19
上传用户：chenlong
1.1 前言 2005-3-2公司开会并分给我一个任务：写一个程序从福建移动的BOSS系统取出一些相关数据。我得到的资料只有一个“福建移动BOSS与业务增值平台接口规范V1.2.2(新）.doc”，这个规范页数不多，一下就浏览完了。但之后依然不知所措，感觉到了一条河边，河前有一条大道(就是这份文档)能让我直达目的地，但却找不到过河的桥。这份文档只给出了数据的格式编码规范，但没有告诉你用什么技术，怎么去取这些数据，甚至连一个数据格式的XML例子文件也没有。 里面只有这样几句话：“交易消息(包括请求和应答)是以XML格式表达的，包括两个部分：Message Header(消息头)与Service Content(交易业务内容)。” “接口协议使用HTTP协议，落地方为发起方提供访问的URL，发起方使用HTTP POST方法发送请求报文并得到应答报文，发起方作为落地方的HTTP客户端，落地方作为发起方的HTTP服务器。因此，各个参与方需要同时实现HTTP客户端以及服务器的功能。” 这里面有两个关键字：XML、HTTP，再加上老大说用SOAP，我想这个BOSS系统和外界的信息交换技术也是基于SOAP实现的吧。于是我上网搜索了一些资料，始有此文。
上传时间： 2013-12-22
上传用户：coeus
提出了一种IEEE 802.16系统中基于预留的MAC层资源调度方法,可以有效的解决IEEE802.16系统中 高优先级业务过多占用优先级业务带宽而带来的不公平性问题。仿真结果表明,与原有资源调度算法相比,这种 算法能够在满足各种业务对QoS要求的同时,具有更好的公平性和更高的带宽利用率。
上传时间： 2014-01-03
上传用户：pompey
业务信息管理平台,适用于企业内部信息管理,合同管理，差旅管理
上传时间： 2014-01-05
上传用户：金宜
蚂蚁算法的matlab实现规则来源于大自然的进化。而大自然的进化根据刚才讲的也体现为多样性和正反馈的巧妙结合。而这样的巧妙结合又是为什么呢？为什么在你眼前呈现的世界是如此栩栩如生呢？答案在于环境造就了这一切，之所以你看到栩栩如生的世界，是因为那些不能够适应环境的多样性与正反馈的结合都已经死掉了，被环境淘汰了！
上传时间： 2014-12-06
上传用户：xcy122677
本文简单介绍了OSI 抽象语法符号（ASN.1）的子集——基本编码规则（BER）和可辨别编码规则（DER）。
上传时间： 2014-01-22
上传用户：Yukiseop
基于小生境遗传算法的分类规则数据挖掘算法
上传时间： 2016-10-26
上传用户：lizhen9880
