简介:本程序为朱福喜、朱三元、伍春香编著的《人工智能原理》（清华大学出版社）一书的关于合一算法的演示程序。
合一算法：文字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
英飞凌IGBTSpice模型
2023/9/7 6:04:56
216KB
1
计算机中丢失api-ms-win-crt-conio-l1-1-0.dll文件，百度网盘https://pan.baidu.com/s/1gk3efCm8LqaMNMncts5jzg
2023/8/5 0:57:57
6KB
1
纯正正弦波源程序//spwm信号调制//------------------------------------------------------------#include#include//系统配置__CONFIG(HS&PWRTEN&BOREN&PROTECT&WDTEN);//打开看门狗,选择高速晶振,上电延时复位,掉电复位使能,代码保护//------------------------------------------------------------//指示灯宏定义#defineL1_RED_ONRB1=1;RB2=0;//L1红灯亮#defineL1_OFFRB1=0;RB2=0;#defineL2_RED_ONRB4=1;RB3=0;//L2红灯亮#defineL2_OFFRB4=0;RB3=0;#defineL3_RED_ONRB7=1;RB5=0;//L3红灯亮#defineL3_OFFRB7=0;RB5=0;#defineL1_GREE_ONRB2=1;RB1=0;//L1绿灯亮#defineL2_GREE_ONRB3=1;RB4=0;//L2绿灯亮#defineL3_GREE_ONRB5=1;RB7=0;//L3绿灯亮
2023/8/2 15:42:34
94KB
1
我们平常使用一些绿色软件，不需要安装，就可以使用，确实方便，而且不会在系统分区留下LJ信息。
其实对于有些需要安装才能运行的软件，我们完全没有必要进行安装，只要将它安装后的文件夹打包即可，这样我们就制作出了软件的“绿色”包，哈哈。
如果运行软件主程序弹出缺少某某DLL文件的问题，不用着急，按下面的地址下载它们，并保存到软件的安装文件夹就是了，等到需要下载的DLL文件都下载完了，软件就能正常运行了。
这样一来，我们就不需要像安装程序那样向系统分区写入过多的DLL文件，造成系统分区的臃肿，而且，将补充了DLL文件的软件文件夹打包，放到哪台电脑上都无需再安装，解压后便可运行。
怎么样，不错吧！
其实对于有些需要安装才能运行的软件，我们完全没有必要进行安装，只要将它安装后的文件夹打包即可，这样我们就制作出了软件的“绿色”包，哈哈。
如果运行软件主程序弹出缺少某某DLL文件的问题，不用着急，按下面的地址下载它们，并保存到软件的安装文件夹就是了，等到需要下载的DLL文件都下载完了，软件就能正常运行了。
这样一来，我们就不需要像安装程序那样向系统分区写入过多的DLL文件，造成系统分区的臃肿，而且，将补充了DLL文件的软件文件夹打包，放到哪台电脑上都无需再安装，解压后便可运行。
怎么样，不错吧！
2023/7/23 14:22:37
8KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB