注意：三步所用公式的精度必须相同。
通基本思想，四阶Adams显式公式，四阶Adams隐式公式，预测校正公式，四阶Adams显式公式与四阶Runge-Kutta公式的比较，会使用公式，了解多步法的收敛性和稳定...
通基本思想，四阶Adams显式公式，四阶Adams隐式公式，预测校正公式，四阶Adams显式公式与四阶Runge-Kutta公式的比较，会使用公式，了解多步法的收敛性和稳定...
2025/6/6 12:14:06
718B
1
包含：3D简介矢量矩阵线性变换三维变换存储坐标实现矩阵系统实现三角法系统创建变换矩阵如何创建透视变换对象多边形填充多边形结构发现三角形绘制三角形隐面消除Dilemna底面消除Z-缓冲3D纹理映射三维明暗计算法向量计算叉乘使用光线表计算法向量
2025/6/6 7:39:04
92KB
1
《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。
从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。
狭义地，形式化方法是软件规格和验证的方法。
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。
从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。
狭义地，形式化方法是软件规格和验证的方法。
2025/6/5 18:40:51
10.93MB
1
Flink资料整理思维导图，包含Flink的基础概念、进阶概念地址、应用场景资料的地址。
绝对干货。
绝对干货。
2025/5/31 12:55:01
5.35MB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB