简介:本程序为朱福喜、朱三元、伍春香编著的《人工智能原理》（清华大学出版社）一书的关于合一算法的演示程序。
合一算法：文字L1和L2如果经过执行某个代换s,满足L1s=L2s，则称L1与L2可合一，s称为其合一元。
本程序可判断任意两个文字能否合一，若能合一，则给出其合一元。
1.合一：文字1和文字2必须是有效的（目前没有对非法的文字做判别）；
2．谓词项中首字母为大写的为常量，小写为变量，函数名首字母应该为小写；
3．表格化：将文字表格化，为合一算法的基础算法。

武汉大学伍春香软件工程课的全套课件。
教材是张海藩《软件工程导论》，第五版第六版都可以。

（含源码及报告）本程序分析了自2016年到2021年（外加）每年我国原油加工的产量，并且分析了2020年全国各地区原油加工量等，含饼状图，柱状图，折线图，数据在地图上显示。
运转本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运转。
文件含6个excel表，若干个csv文件以及一个名字为render的html文件（需要用浏览器打开），直观的数据处理部分是图片以及html文件，可在地图中显示，数据处理的是excel文件。
不懂可以扫文件中二维码在QQ里面问。

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。