数理逻辑是基础工具，研究PLT必备。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。
2024/9/15 4:54:40
4.96MB
1
1、根据流程控制自动化技术工程实训的实验获得的对象广义传递函数，建立Simulink仿真模型。
2、建立双容液位闭环控制系统及流量前馈液位反馈控制系统仿真模型。
3、采用传统的理论分析法，结合仿真实验整定PID控制器的参数，绘制仿真结果曲线。
4、采用Simulink控制系统设计工具箱SISODesignTool设计和优化PID控制器的参数，绘制仿真结果曲线。
5、结合工程实训，比较实际系统行为与仿真结果的偏差，分析仿真结果。
2、建立双容液位闭环控制系统及流量前馈液位反馈控制系统仿真模型。
3、采用传统的理论分析法，结合仿真实验整定PID控制器的参数，绘制仿真结果曲线。
4、采用Simulink控制系统设计工具箱SISODesignTool设计和优化PID控制器的参数，绘制仿真结果曲线。
5、结合工程实训，比较实际系统行为与仿真结果的偏差，分析仿真结果。
2024/9/15 3:56:55
367KB
1
深入研究灰度共生矩阵算法,结合和差统计法对其进行改进。
编码实现改进的图像纹理提取算法,并采用基于径向基内积函数内核的支持向量机方法对图像分类效果进行实验。
通过训练和测试证明,该系统能减少特征提取的计算时间和存储空间,并可达到良好的图像分类效果
编码实现改进的图像纹理提取算法,并采用基于径向基内积函数内核的支持向量机方法对图像分类效果进行实验。
通过训练和测试证明,该系统能减少特征提取的计算时间和存储空间,并可达到良好的图像分类效果
2024/9/15 2:45:17
315KB
1
在开始这段旅程之前我们先了解一下OpenGL到底是什么。
一般它被认为是一个应用程序编程接口(ApplicationProgrammingInterface,API)，它包含了一系列可以操作图形、图像的方法。
然而，OpenGL本身并不是一个API，仅仅是一个规范，由Khronos组织制定并维护。
OpenGL严格规定了每个函数该如何执行，以及它们该如何返回。
至于内部具体每个函数是如何实现的，将由OpenGL库的开发者自行决定(注：这里开发者是指编写OpenGL库的人)。
因为OpenGL规范并没有规定实现的细节，具体的OpenGL库允许使用不同的实现，只要其功能和结果与规范相匹配(亦即，作为用户不会感受到功能上的差异)。
实际的OpenGL库的开发者通常是显卡的生产商。
每个你购买的显卡都会支持特定版本的OpenGL，通常是为一个系列的显卡专门开发的。
当你使用苹果系统的时候，OpenGL库是由苹果自身维护的。
在Linux下，有显卡生产商提供的OpenGL库，也有一些爱好者改编的版本。
这也意味着任何时候OpenGL库表现的行为与规范规定的不一致时，基本都是库的开发者留下的bug。
。
。
。
一般它被认为是一个应用程序编程接口(ApplicationProgrammingInterface,API)，它包含了一系列可以操作图形、图像的方法。
然而，OpenGL本身并不是一个API，仅仅是一个规范，由Khronos组织制定并维护。
OpenGL严格规定了每个函数该如何执行，以及它们该如何返回。
至于内部具体每个函数是如何实现的，将由OpenGL库的开发者自行决定(注：这里开发者是指编写OpenGL库的人)。
因为OpenGL规范并没有规定实现的细节，具体的OpenGL库允许使用不同的实现，只要其功能和结果与规范相匹配(亦即，作为用户不会感受到功能上的差异)。
实际的OpenGL库的开发者通常是显卡的生产商。
每个你购买的显卡都会支持特定版本的OpenGL，通常是为一个系列的显卡专门开发的。
当你使用苹果系统的时候，OpenGL库是由苹果自身维护的。
在Linux下，有显卡生产商提供的OpenGL库，也有一些爱好者改编的版本。
这也意味着任何时候OpenGL库表现的行为与规范规定的不一致时，基本都是库的开发者留下的bug。
。
。
。
2024/9/14 12:38:42
9.8MB
1
用arduino控制步进电机，按键控制步进电机正反转，按下按键一，电机正传，按下按键二，电机反转，不按按键时电机静止，按键以及正反转代码已经写成独立的函数
2024/9/14 12:57:23
1KB
1
这是我早些时候编的小游戏，使用了OPENGL来画图，源代码里面还有拼音做函数名的，不好意思。
但可以拿来大概学习下OPENGL在单文档视图的MFC中的使用。
但可以拿来大概学习下OPENGL在单文档视图的MFC中的使用。
2024/9/14 4:45:44
10.24MB
1
顺序拟合动机如果我们有一个只能采样的未知函数f(x)，我们可以选择一个以参数向量p特征的已知函数g(x,p)。
用最小二乘法，我们可以找到p最小化的总和-的平方误差\sum_{x\inX}(g(x,p)-f(x))^2以设定的采样点的X。
如果评估f昂贵，那么仔细选择采样点符合我们的利益。
假设我们的模型已经很不错了，我们可以使用它来找出下一步要采样的地方。
猜测要采样的点是x^*，其中g(x^*,p)的p梯度尽可能大（这是我们最有可能从采样中学到的东西）的地方。
我们还希望避免在同一位置多次采样。
该程序包实现了这种顺序采样方法。
使用范例usingSequentialFit,Plotsgaussian(x,mu,sigma)=exp(-((x-mu)/sigma)^2)functionexpensiveFunction(x
用最小二乘法，我们可以找到p最小化的总和-的平方误差\sum_{x\inX}(g(x,p)-f(x))^2以设定的采样点的X。
如果评估f昂贵，那么仔细选择采样点符合我们的利益。
假设我们的模型已经很不错了，我们可以使用它来找出下一步要采样的地方。
猜测要采样的点是x^*，其中g(x^*,p)的p梯度尽可能大（这是我们最有可能从采样中学到的东西）的地方。
我们还希望避免在同一位置多次采样。
该程序包实现了这种顺序采样方法。
使用范例usingSequentialFit,Plotsgaussian(x,mu,sigma)=exp(-((x-mu)/sigma)^2)functionexpensiveFunction(x
2024/9/13 15:18:32
143KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB