约束满足问题 约束满足问题的“状态”必须满足若干约束和限制的一组对象，实体表示为对变量进行有限约束的同质集合，通过约束满足方法加以解决 约束满足问题通常呈现出高复杂性，需要将启发式与组合搜索方法相结合 基本概念 变量（Variable）：CSP中需要进行求解的对象，通常用字母或数字来表示，比如X、Y、Z、1、2、3等等。 域（Domain）：变量可以取的所有值的集合。比如在解...

PyTorch 训练模型的流程如下： 定义模型 定义损失函数和优化器 迭代训练数据集，并进行前向传播、计算损失、反向传播和更新参数 评估模型在验证数据集上的性能，直到达到预定的停止条件 graph LR A[定义模型] B[损失函数] C[优化器] D[训练] A-->D B-->D C-->D E[验证] D-->E E-->D F[...

什么是机器学习？ 机器学习是人工智能的一个分支，从事构建和研究可以从数据中学习的系统。通过算法使计算机能够从数据中学习和改进，而无需显式地进行编程。它的目标是通过训练数据来预测或分类未知数据，从而自动完成某些任务。 与其他学科的关系 Statistical Learning 统计学习 Pattern Recognition 模式识别 Data Mining 数据挖掘 Compu...

线性代数 向量和矩阵的基本概念 矩阵运算，如加、减、乘、转置和求逆 线性方程组的求解 特征值和特征向量的计算 概率论和统计学 基本概念 概率：$P(A)$ 条件概率：$P(A\mid B)$ 期望：$E(X)$ 方差：$Var(X)$ 协方差：$Cov(X,Y)$ 相...

add_compile_options( /Zc:__cplusplus /ZI ) add_compile_options( /JMC ) target_precompile_headers(Main PRIVATE "$<$<COMPILE_LANGUAGE:CXX>:Libraries/OpenGL.h>" PRIVATE "$<$<COMPIL...

链接 链接库项目 链接文件：静态链接库、头文件 静态链接库 VS2022 In All Configurations All Platforms VS Configuration Properties => General => Configuration Type = .lib CMake add_library([lib] STATIC [src]) ...

介绍 考虑大部分物体都是小质量物体的情形（类似于稳定的恒星系统），在多体模拟中，可以将整个系统划分成多个引力区域，通过二体问题的求解来模拟物体运动。 二体问题是为数不多的能被求解的复杂运动，二体问题的运动微分并不复杂，即最为经典的万有引力公式，在忽略小质量物体的质量后，可以写作 [\ddot{x}=-\frac{\mu}{|x|^3}x] 使用迭代计算计算此算式的计算量并不大，但迭代...

几种设计模式的实现 参考https://refactoringguru.cn/design-patterns/catalog 抽象工厂模式结构 抽象产品 （Abstract Prod­uct） 为构成系列产品的一组不同但相关的产品声明接口。 具体产品 （Con­crete Prod­uct） 是抽象产品的多种不同类型实现。 所有变体 （维多利亚/...

This tutorial will guide you how to write a post in the Chirpy template, and it’s worth reading even if you’ve used Jekyll before, as many features require specific variables to be set. Naming and...