简介:本程序为朱福喜、朱三元、伍春香编著的《人工智能原理》（清华大学出版社）一书的关于合一算法的演示程序。
合一算法：文字L1和L2如果经过执行某个代换s,满足L1s=L2s，则称L1与L2可合一，s称为其合一元。
本程序可判断任意两个文字能否合一，若能合一，则给出其合一元。
1.合一：文字1和文字2必须是有效的（目前没有对非法的文字做判别）；
2．谓词项中首字母为大写的为常量，小写为变量，函数名首字母应该为小写；
3．表格化：将文字表格化，为合一算法的基础算法。
合一算法：文字L1和L2如果经过执行某个代换s,满足L1s=L2s，则称L1与L2可合一，s称为其合一元。
本程序可判断任意两个文字能否合一，若能合一，则给出其合一元。
1.合一：文字1和文字2必须是有效的（目前没有对非法的文字做判别）；
2．谓词项中首字母为大写的为常量，小写为变量，函数名首字母应该为小写；
3．表格化：将文字表格化，为合一算法的基础算法。
2023/9/22 1:26:03
196KB
1
此程序来源于我的一篇博客，欢迎访问。
http://blog.csdn.net/gamesdev/article/details/11994501-------------------------------------欢迎访问我的博客。
http://blog.csdn.net/gamesdev-------------------------------------Qt的QWidget大家族已经成熟，不会得到太大的发展了，而随着Qt5的发展，新的界面类会崭露头角，比如QWindow、QSurface、QScreen这些类。
但现在的状况（Qt5.2即将出了），这些类和模块并不会对现有的GUI模块造成威胁，更不用说取代Qt4的GUI（在Qt5是QtGui和QtWidgets）模块了。
自Qt4.4起，Qt拥有了Graphics-View框架，使用这个框架可以更加轻松地在窗口中嵌入任意你想要绘制的元素。
但是据我所知，Qt5的那些类无法和Graphics-View框架进行整合，对于想要利用Qt中Graphics-View框架的同行们，只能退回Qt4的类进行开发了，Qt5的这些类对于创建纯OpenGL还是有利的。
http://blog.csdn.net/gamesdev/article/details/11994501-------------------------------------欢迎访问我的博客。
http://blog.csdn.net/gamesdev-------------------------------------Qt的QWidget大家族已经成熟，不会得到太大的发展了，而随着Qt5的发展，新的界面类会崭露头角，比如QWindow、QSurface、QScreen这些类。
但现在的状况（Qt5.2即将出了），这些类和模块并不会对现有的GUI模块造成威胁，更不用说取代Qt4的GUI（在Qt5是QtGui和QtWidgets）模块了。
自Qt4.4起，Qt拥有了Graphics-View框架，使用这个框架可以更加轻松地在窗口中嵌入任意你想要绘制的元素。
但是据我所知，Qt5的那些类无法和Graphics-View框架进行整合，对于想要利用Qt中Graphics-View框架的同行们，只能退回Qt4的类进行开发了，Qt5的这些类对于创建纯OpenGL还是有利的。
2023/9/18 19:10:04
6.05MB
1
分多证明实现其花费的时间比较长，而且经过一定的验证，具有良好的正确性。
本人不才，这个程序做了3天，仍然存在bug，由于工作原因，暂且放下DeBug。
虽然有Bug,但是这个程序还是挺值得和各位分享的，而其中的益处就只有看了才知道了。
本人不才，这个程序做了3天，仍然存在bug，由于工作原因，暂且放下DeBug。
虽然有Bug,但是这个程序还是挺值得和各位分享的，而其中的益处就只有看了才知道了。
2023/8/15 5:30:12
238KB
1
我已经将Qrcode生成一个lib库，只需要调用导出函数intQRcodeRest(char*str)，就会在根目录下生成一个bmp位图，工程目录2也是一个演示程序。
2023/8/14 15:24:27
10.77MB
1
压缩包中有三个粒子滤波的演示程序，一个滤波，一个目标跟踪，一个机器人定位。
关于效果，大家可以先看看http://blog.csdn.net/heyijia0327/article/details/41142679。
再决定是否下载。
关于效果，大家可以先看看http://blog.csdn.net/heyijia0327/article/details/41142679。
再决定是否下载。
2023/8/3 3:11:35
1.8MB
1
1.Manual《GE连续轨迹运动控制器编程手册》《GE连续轨迹运动控制器用户手册》在使用运动控制器之前，请仔细阅读用户手册。
2.Windows运动控制器驱动程序，动态链接库和VC、VB、Delphi的函数声明文件3.DOSDOS系统下运动控制器函数库和头文件4.Engrave_Demo基于GE-300-SV运动控制器的雕刻机演示程序
2.Windows运动控制器驱动程序，动态链接库和VC、VB、Delphi的函数声明文件3.DOSDOS系统下运动控制器函数库和头文件4.Engrave_Demo基于GE-300-SV运动控制器的雕刻机演示程序
2023/7/23 22:44:55
4.13MB
1
网上搜集的最小二乘法曲线拟合演示程序，和对任意若干点进行曲线拟合，可选择拟合多项式次数网上搜集的最小二乘法曲线拟合演示程序，和对任意若干点进行曲线拟合，可选择拟合多项式次数
2023/7/15 5:13:31
51KB
1
运行时,可以用鼠标拖动图片,按自己的要求移动.拖动一张图的演示程序(VB6.0源代码)
2023/7/13 8:32:08
482KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB