简介:本程序为朱福喜、朱三元、伍春香编著的《人工智能原理》(清华大学出版社)一书的关于合一算法的演示程序。
合一算法:文字L1和L2如果经过执行某个代换s,满足L1s=L2s,则称L1与L2可合一,s称为其合一元。
本程序可判断任意两个文字能否合一,若能合一,则给出其合一元。
1.合一:文字1和文字2必须是有效的(目前没有对非法的文字做判别);
2.谓词项中首字母为大写的为常量,小写为变量,函数名首字母应该为小写;
3.表格化:将文字表格化,为合一算法的基础算法。
2023/9/22 1:26:03 196KB 合一 ,算法
1
该文档为截止2019年3月最新的GPSL1和L2频段的空间接口文档,方便GPS接收机开发人员查阅并进行开发。
2023/8/12 7:19:20 3.06MB GPS ICD 接收机
1
华为数通售前L2题库资源
2023/8/7 18:44:21 591KB 数通售前题库
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
L2正则化python实现案例(附代码),含图形展示,对于正则化理解又直观帮助
2023/7/6 7:19:36 4KB 机器学习 正则化
1
中国移动技术人员等级考试-核心网-L2-题库(CS、PS、IMS).rar中国移动技术人员等级考试-核心网-L2-题库(CS、PS、IMS).rar中国移动技术人员等级考试-核心网-L2-题库(CS、PS、IMS).rar
2023/6/15 6:54:46 7.9MB 移动 L2 核心网
1
把长度为l1,l2…ln的n个程序放在磁带T1和T2上,并且希望按照使用最大检索时间取得最小值的方式存储,即如果存放在T1和T2上的程序集合分别为A和B,则希望所选择的A和B使得max{∑li1,∑li2}(i1属于A,i2属于B)取得最小。
使用回溯法实现。
2023/6/2 16:32:35 1.05MB 算法设计 回溯法
1
MODIS数据的MODISReprojectionTool(MRT)是专门对高级别的MODIS产品,比如上面提到的文件名中带有h??v??的文件进行投影转换的一个软件,具有投影转换、拼接、格式转换的功能。
对于低级别的MODIS产品,还可以用MRTSwath实现,就是TemporalResolution为swath(scene)的产品,如MOD11_L2。
2023/5/30 22:39:51 3.62MB MRT Swath
1
cpu不同样patched里dsdtssdt,大概不能用,自己留意哦!(SSDT-Disable_DGPU.aml需使用)电脑型号TN15S条记本电脑操作体系Windows10业余版64位(DirectX12)处置器英特尔Corei7-4760HQ@2.10GHz四核主板ShinelonComputerTN15S(英特尔CrystalWell)显卡英特尔CrystalWellIntegratedGraphicsController(112MB)内存8GB(金士顿DDR3L1600MHz)主硬盘三星MZNTE128HMGR-000L2(128GB/固态硬盘)展现器京西方BOE062B(15.3英寸)声卡瑞昱ALC269@英特尔LynxPoint高保真音频网卡瑞昱RTL8168/8111/8112GigabitEthernetController网线无线网卡博通BCM94352ZEFI在这里⬇由于附件最大5MB所以驱动Other文件夹径自收缩自己放进kexts下。
2023/3/25 1:53:12 7.97MB 炫龙 炎魔T1 黑苹果 EFI
1
目录  第一章概论  1.1fourier分析到小波分析  1.2积分小波变换和时间-频率分析  1.3反演公式和对偶  1.4小波的分类  1.5多分辨分析、样条及小波  1.6小波分解与重构  第二章fourier分析  2.1fourier变换与fourier逆变换  2.2连续时间卷积和函数  2.3平方可积函数的fourier变换  2.4fourier级数  2.5基本收敛定理和poisson求和公式  第三章小波变换和时间-频率分析  3.1gabor变换  3.2短时fourier变换和测不准原理  3.3积分小波变换  3.4二进小波和反演  3.5框架  3.6小波级数  .第四章基数样条分析  4.1基数样条空间  4.2b-样条及其基本性质  4.3两尺度关系和插入图形显示算法  4.4基数样条的b-网表示与计算  4.5样条逼近公式的构造  4.6样条插值公式的构造  第五章尺度函数与小波  5.1多分辨分析  5.2无限两尺度关系的尺度函数  5.3l2(ir)的直接和分解  5.4小波和它们的对偶  5.5线性相位滤波  5.6紧支撑小波  第六章基数样条小波  6.1插值样条小波  6.2紧支撑样条小波  6.3基数样条小波的计算  6.4euler-frobenius多项式  6.5样条小波分解中的误差分析  6.6全正性、完全振荡及零交叉  第七章正交小波和小波包  7.1正交小波的例子  7.2正交两尺度符号的识别  7.3紧支撑正交小波的构造  7.4正交小波包  7.5小波级数的正交分解  注解  附录a  参考文献  索引
2023/3/11 19:02:13 7.69MB 小波分析导论 崔锦泰 PDF 书签
1
共 41 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡