他的首页
他的馆藏
他的动态
馆友反馈
关于他
| 共 1425 篇文章 |
|
折纸设计问题的结果比折纸可折叠性问题的结果更容易理解。德梅因说：“现在有成百上千的人在使用我们开发的所有折纸数学和算法来设计新的机械结构。” 因此，“我们越是做这样的事情，”赫尔说，“我认为我们就越有机会在折纸和成熟的数学分支之间建立深度交叉。”补充内容利尔法折纸解三次方程在数学中，利尔法是一种寻找任意次幂一元多项式实... 阅3 转0 评0 公众公开 24-04-08 12:04 |
n节点无序标号树有多少种：拉格朗日反演的应用。有序树还是无序树：对于有根树来说，根节点连接了若干子树，修改这些子树连接到根的顺序，所形成的新树如果视为不同的树，则称为有序树；标号树还是无标号树：树的节点是否可区分，如果不可区分，称为无标号树；本文的推导基于拉格朗日反演，首先介绍了拉格朗日反演定理的描述，然后用该定理重新... 阅1 转0 评0 公众公开 24-02-11 10:39 |
使用cv2.goodFeaturesToTrack()函数检测第一帧中的好的特征点，并将它们存储在prev_pts中。使用cv2.calcOpticalFlowPyrLK()函数估计prev_gray到gray的光流，并返回当前帧中的特征点位置和状态信息。prev_gray: 前一帧的灰度图像。使用前一帧的特征点位置 prev_pts 和当前帧的灰度图像 gray，通过金字塔建立图像金字塔。cv2.goodFeaturesToTrack... 阅17 转1 评0 公众公开 24-02-07 16:19 |
计算机不是只会 “计算”，图灵机也不是一台“机器”图灵机是一台可以逐个处理一列符号的装置，如下图所示。这两个图灵机尽管简单，但却已经揭示了一个普遍的误解：一个 “图灵机” 不是指一台“机器”，而是指一台机器的一个特定的运行过程或使用方式，包括对初态和终态的划分。在这种情况下，相对于这个输入而言，这台装置就不是一个图灵机，... 阅1 转0 评0 公众公开 24-02-06 09:05 |
【译】CMake 构建工具。除了构建系统，CMake 还发展出一系列工具：CMake 是构建工具，CTest 是用于回归测试的测试工具，CPack 是用于为用 CMake 构建的软件创建指定平台安装器的打包工具，CDash 是展示测试结构和执行持续集成测试的 web 端应用。The ability to generate IDE project files is a strong selling point for CMake, but it also ... 阅7 转0 评0 公众公开 24-01-12 07:29 |
void USART(QString port, QString baud, QString data, QString stop, QString ch); 阅3 转0 评0 公众公开 24-01-11 21:28 |
C 之RTTI机制RTTI简介。RTTI与typeid.typeid当作用于指针时，该指针必须是有效的，若是空指针，将返回bad_typeid异常。if(typeid(*base) == typeid(Derived)){ std::cout << ''''''''base的运行类型是Derived'''''''' << std::endl; } else{ ... 阅1 转0 评0 公众公开 23-12-20 18:37 |
1. **字符串处理和文本解析**：Boost提供了强大的字符串处理工具，比如`boost::string_algo`，以及正则表达式库`boost::regex`。3. **泛型编程**：Boost的`Boost.Proto`和`Boost.Hana`等库为泛型编程提供了强大的支持。8. **数学和数值计算**：Boost提供了数学库`boost::math`，其中包括了许多数学函数和数值计算工具。10. **测试和基准测试**... 阅4 转0 评0 公众公开 23-12-19 08:58 |
T @ np.asmatrix(np.exp(2j*np.pi*0.01e6*t)) + \ a2.T @ np.asmatrix(np.exp(2j*np.pi*0.02e6*t)) + \ 0.1 * a3.T @ np.asmatrix(np.exp(2j*np.pi*0.03e6*t)) n = np.random.randn(Nr, N) + 1j*np.random.randn(Nr, N) r = r + 0.04*n # MUSIC Algorithm (part that doesn''''''''t change with theta_i) num... 阅126 转2 评0 公众公开 23-12-11 10:57 |
方法包括使用分类器引导采样的迭代去噪过程、将策略表示为扩散模型以捕获多模态分布、使用无分类器指导的低温度采样来消除分布偏移的风险、提高扩散模型对RL的生成能力、保证规划轨迹的安全生成、解决长期决策问题、计划准确地匹配期望的轨迹、利用一致性模型进行快速训练和采样、通过使用单步模型预测作为动作近似来获得加速，以及用于提取奖... 阅50 转1 评0 公众公开 23-12-09 15:26 |
