借助于拓扑系统的思想和方法，对Heyting系统的H-空间化进行了再研究。
引入Heyting系统的H-同胚的概.念，证明了H-同胚的逆和复合还是H-同胚。
在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。
给出了Heyting系统是可H-空间化的等价刻画。
引入Heyting系统的H-同胚的概.念，证明了H-同胚的逆和复合还是H-同胚。
在可H-空间化的Heyting系统范畴与Heyting系统范畴之间建立了伴随.函子。
给出了Heyting系统是可H-空间化的等价刻画。
2024/8/1 2:16:50
256KB
1
一个典型的信息管理系统(MIS),其开发主要包括后台SQLserver2000数据库的建立和维护以及前端应用程序的开发两个方面。
对于前者要求建立起数据一致性和完整性强、数据安全性好的库。
而对于后者则要求应用程序功能完备,易使用等特点。
对于前者要求建立起数据一致性和完整性强、数据安全性好的库。
而对于后者则要求应用程序功能完备,易使用等特点。
2024/7/31 8:53:33
194KB
1
针对目前欠驱动船舶航迹跟踪控制难以实现跟踪任意可行航迹问题，提出一种运动规划方法。
利用多项式拟合，并结合船舶动力学模型，通过离散期望点规划出操作性可实现的全部期望姿态。
同时，为实现欠驱动船舶的航迹快速跟踪控制，提出一种全局指数航迹跟踪控制律。
引入微分同胚变换，建立两个级联的子系统构成的航迹跟踪误差动态方程；
基于反步法的设计原理，运用Lyapunov直接方法对变换后的误差系统设计了全局指数航迹跟踪控制律。
仿真结果验证了所提出的全局指数航迹跟踪控制律能够有效实现跟踪任意可行航迹。
利用多项式拟合，并结合船舶动力学模型，通过离散期望点规划出操作性可实现的全部期望姿态。
同时，为实现欠驱动船舶的航迹快速跟踪控制，提出一种全局指数航迹跟踪控制律。
引入微分同胚变换，建立两个级联的子系统构成的航迹跟踪误差动态方程；
基于反步法的设计原理，运用Lyapunov直接方法对变换后的误差系统设计了全局指数航迹跟踪控制律。
仿真结果验证了所提出的全局指数航迹跟踪控制律能够有效实现跟踪任意可行航迹。
2024/7/30 12:11:15
622KB
1
算法是建立在离线传播模型下，不考虑多径效应，反射，折射等对信号强度有损耗的情况，算法中选用了NN,KNN,WKNN等几种常用的指纹定位算法。
2024/7/30 11:25:27
3KB
1
C#写的TCP服务器端程序，支持多个TCP客户端连入，程序当中有一个监听进程不断监听来自客户端的TCP连接请求，请求建立后交由一个专门的处理进程来处理接收到的数据（在本程序当中只是简单的将收到的数据返回给客户端）。
全部源代码。
全部源代码。
29KB
1
为研究不同激光喷丸(LSP)工艺参数对强化效果的影响，以ISIGHT软件为平台，结合数值模拟软件ANSYS建立了激光喷丸参数化文件。
采用多岛遗传算法对激光工艺参数进行优化，获得一组最佳参数组合。
探讨了不同峰值压力及光斑半径对残余应力场及塑性变形的影响，结合实验对优化后激光参数下的塑性变形结果进行了验证。
结果表明：模拟结果和实验结果一致性较好，所设计的优化方法可行，对今后的研究具有指导意义。
采用多岛遗传算法对激光工艺参数进行优化，获得一组最佳参数组合。
探讨了不同峰值压力及光斑半径对残余应力场及塑性变形的影响，结合实验对优化后激光参数下的塑性变形结果进行了验证。
结果表明：模拟结果和实验结果一致性较好，所设计的优化方法可行，对今后的研究具有指导意义。
2024/7/27 8:37:54
4.83MB
1
根据三点在两个坐标系下的坐标，建立两个坐标系之间的旋转矩阵R和平移向量T，适用场景：求世界坐标系到相机坐标系的转换关系。
以其中一点建立世界坐标系，该点在相机坐标系中的坐标是世界坐标系到坐标系的平移向量（这些描述都是以相机坐标系为基准）
以其中一点建立世界坐标系，该点在相机坐标系中的坐标是世界坐标系到坐标系的平移向量（这些描述都是以相机坐标系为基准）
2024/7/26 11:06:28
32KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB