[其它资源] WangHao

说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
<harveysharp> 在 2008-10-13 上传 | 大小：1.28mb | 下载：0

[其它资源] astar

说明：A*算法，用来寻路，非常有用的，我历尽千辛万苦才找到的
<wangchunli> 在 2008-10-13 上传 | 大小：70.9kb | 下载：0

[其它资源] FFT2410_uart

说明：s3c2410ads下uart的测试程序，包含启动代买
<bird> 在 2008-10-13 上传 | 大小：66.41kb | 下载：0

[其它资源] cjcx

说明：学生管理系统，简单实用，老师、学生可同时使用
<gogoo> 在 2008-10-13 上传 | 大小：349.26kb | 下载：0

[其它资源] FFT2410-AD

说明：s3c2410ads下AD转换的测试程序，包含启动代码
<bird> 在 2008-10-13 上传 | 大小：34.75kb | 下载：0

[其它资源] fft2410-IIS

说明：s3c2410ads下IIS的测试程序，包含启动代码
<bird> 在 2008-10-13 上传 | 大小：399.08kb | 下载：0

[其它资源] ha0110s

说明：• 直接PWM 输出控制马达转速 • PWM 频率可达31kHz • 三种输入型态控制转速：PWM 输入，VR 输入以及热敏电阻输入 • 操作电压：12VDC • 过电流保护 • 霍尔采集器输出控制转速反馈 • 马达转子锁定保护 • 马达转速可调
<easy> 在 2008-10-13 上传 | 大小：2.59kb | 下载：0

[其它资源] vc

说明：VC编程高手的笔记，对新手学习有很大帮助的，很多经验借鉴
<于洋> 在 2008-10-13 上传 | 大小：9.74mb | 下载：0

[其它资源] 3.Input-Output

说明：This program demonstrates the usage of the select() routine.
<dan> 在 2008-10-13 上传 | 大小：3.64kb | 下载：0

[其它资源] fft2410-Rtc

说明：s3c2410ads下rtc的测试程序，包含启动代码
<bird> 在 2008-10-13 上传 | 大小：37.15kb | 下载：0

[其它资源] ha0105s

说明：本装置是一个以HT46R71D 为主芯片，配合传感器组成的汽车轮胎气压检测装 置，最终取高三位有效值于LCD 显示，有四种显示单位供切换（Psi、Bar、Kpa、 Kgf/cm2）。本装置仅为参考范例，使用时，为提高准确度，建议多量测些组数 据来构建Sensor Output Voltage - Discharge Time (V-T)表格，并作相应校准。
<easy> 在 2008-10-13 上传 | 大小：7.7kb | 下载：0

[其它资源] best4+test

说明：UC/OS 的移植，以及驱动两个task，分别完成lcd的驱动，以及LED的驱动
<guomin> 在 2008-10-13 上传 | 大小：875.97kb | 下载：0