专题研究
文章平均质量分 58
treewater
这个作者很懒,什么都没留下…
展开
-
MD5 算法的java实现
import java.io.*;public class MD5{int flength;//原报文长度byte fbytes[];//原文件字节数组byte sourcebytes[];//文件字节数组,其中包括补充的内容int byteslength;//sourcebytes 长度int sourceints[];//将字节数组转换为整数数组,这样一个整数是32位,满足分组需要int in原创 2005-05-19 22:46:00 · 1129 阅读 · 0 评论 -
自动定理证明(引子)
1956年AI研究另外一个重大的突破,是纽厄尔、赫伯特·西蒙等人合作编制的《逻辑理论机》数学定理证明程序(简称LT),从而使机器迈出了逻辑推理的第一步。 在卡内基—梅隆大学的计算机实验室,纽厄尔和西蒙从分析人类解答数学题的技巧入手,让一些人对各种数学题作周密的思考,要求他们不仅写出求解的答案,而且说出自己推理的方法和步骤。通过大量的观察实例,纽厄尔和赫伯特·西蒙广泛收集了人类求解一般性问题的各种方原创 2005-05-14 22:16:00 · 3069 阅读 · 1 评论 -
自动定理证明算法设计(-)
由于本问题的难度,目前先降低实现目标。初步定为:1.支持基本运算 取反,括号处理2.支持 蕴涵,交换律,结合律,摩根定律3.支持复杂组合,只要仅通过上面规则就可以化简最后的合取式或析取式基本想法是对于公式L1,L2,先将其二者化简到最简的合取式或最简的析取式,再通过交互律验证二者是否相等。算法:bool processing(L1,L2){1执行L1所有蕴涵2执行L2所有蕴涵3执行L1所有取反4执原创 2005-05-14 23:25:00 · 2268 阅读 · 0 评论 -
性能优化总结
1.基于统计的自动机优化,if else is else中判断条件的先后,经常出现的放前面。可以使用状态机来总结。2.缓存 cache: 经常使用的信息放cache,加快读取速度3.缓冲 buffer:一次读取文件,写入文件多个字节,减少cpu/IO切换时间 ,4096为一个页面大小,所以要一次操作4096的倍数。4.API 性能:c>c++>java fstream 就没有FILE效率高5原创 2005-11-29 16:56:00 · 1546 阅读 · 0 评论 -
数据库索引小结
正文内容本身就是一种按照一定规则排列的目录称为“聚集索引”,在正文之外建立的目录称为“非聚集索引”。对于索引的优化,从索引实现本身:1.对于等职查询使用哈希结构的索引,对含非等值查询的使用B树。2.压缩索引键值,减少索引层数对于用户的选择来说:1.对于查询一个范围的值,或者多个记录的值时使用聚集索引,而对于经常查询少数记录的使用非聚集索引2.对于插入,删除,更新操作多的尽量不使用聚集索引,对于比较原创 2005-12-05 16:16:00 · 1691 阅读 · 0 评论 -
组播
最近偶然的研究了一下组播。看到这个词,我脑海里只有广播,以为大同小异,其实大不相同。广播:发送信息,网内所有用户都接受到信息组播:发送信息,只有本组内的用户接受到信息下面只关注IP组播组播的好处:服务器发送信息,只需要发一份,所有成员都可以收到,减少了服务器端的网络流量组播的缺点:ip组播使用udp协议,不能保证可靠传输组播的原理:基于IGMP协议,我的理解是这样的,服务器发送信息到他原创 2006-06-02 16:35:00 · 3043 阅读 · 0 评论