- 博客(5)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 access 和sql server 复杂sql语句范例.
access @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@1CFG_ORGANselect mid(chraddressid,1,6)+0+mid(chraddressid,7,2)+0+mid(chraddressid,9,2)+mid(chraddressid,11,2) as ORG
2005-05-19 23:01:00
1653
原创 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
1109
原创 activex 控件的使用经验
第一次使用vc中的dbgrid control控件,可是发布到目标机器时,怎么都出错,明显是控件没有注册好.我一开始手动注册,后来又用install shield制作安装程序,依然解决不了问题.今天再次想添加这个控件时,意外加入了ms dbgrid (ole)控件,意外的发现,这个控件并不是我原来使用的.恍然大悟,我一直注册的msdatgrd.ocx控件对应的是ms dbgrid(ole) .
2005-05-19 22:31:00
1304
原创 自动定理证明算法设计（－）
由于本问题的难度，目前先降低实现目标。初步定为:1.支持基本运算 取反，括号处理2.支持 蕴涵，交换律，结合律，摩根定律3.支持复杂组合，只要仅通过上面规则就可以化简最后的合取式或析取式基本想法是对于公式L1，L2，先将其二者化简到最简的合取式或最简的析取式，再通过交互律验证二者是否相等。算法：bool processing(L1,L2){1执行L1所有蕴涵2执行L2所有蕴涵3执行L1所有取反4执
2005-05-14 23:25:00
2217
原创 自动定理证明（引子）
1956年AI研究另外一个重大的突破，是纽厄尔、赫伯特·西蒙等人合作编制的《逻辑理论机》数学定理证明程序（简称LT），从而使机器迈出了逻辑推理的第一步。 在卡内基—梅隆大学的计算机实验室，纽厄尔和西蒙从分析人类解答数学题的技巧入手，让一些人对各种数学题作周密的思考，要求他们不仅写出求解的答案，而且说出自己推理的方法和步骤。通过大量的观察实例，纽厄尔和赫伯特·西蒙广泛收集了人类求解一般性问题的各种方
2005-05-14 22:16:00
2916
1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人