在实际的拜占庭容错中，如果N = 3F + 1，N个节点的系统可以容忍F个故障节点。 实际拜占庭容错系统中的每个决策都需要2F + 1批准，其中Fare是故障节点。 我们现在将在数学上证明上述两个定义，它们是彼此的推论。以下计算是斯坦福大学笔记中数学的
2019-08-09 11:48
卡尔曼滤波是一种用于估算线性动态系统状态的优化算法，其基础数学理论为贝叶斯定理，将传感器测量值和系统模型的预测值进行融合，得到对系统状态的估计。贝叶斯定理是基于条件概率的公式，用于计算给定某些证据
2023-08-30 10:18
数学计算库是使能处理器在数值计算领域的基础软件库，是工程计算、科学计算、AI 计算的基石。大部分物理、工程问题都能转化成线性方程组求解问题，而高效的数学计算库是发挥硬件算力的基石。
2023-05-19 11:49
建立上述的这种联系需要建立弹性模型的通用数学法则。Tobasco多年来一直在研究这个问题，即研究描述薄的弹性材料（试图通过恢复其原始形状来响应变形的材料）的“方程式”。
2023-01-16 15:04
数学和代码在机器学习研究中通常是高度混合的。大多数情况下，代码都是直接从数学逻辑中形成，并且能用代码语法展示出数学表示法。其实现在一些数据科学框架（例如NumPy）就能直接将数
2018-08-05 09:00
在几周前的互联网将走向哪里？这篇文章中，我提到了好几个看好的 2018 年方向。这几周，我又多做了一些讨论和思考，今天就来讨论下传统产业的机会。
2018-01-10 09:07
我们许多在实际工作中成功地应用了数学、取得相当突出成绩的校友都有这样的体会：在工作中真正需要用到的具体数学分支学科，具体的数学定理、公式和结论，其实并不一定很多；学校里学过的一大堆
2018-05-02 10:13
开始机器学习之旅，需要什么层次的数学功底？ 尤其是对于那些没有学过数学和统计学的同学们来说，这个问题当前不甚清楚，在这篇文章中，我将要为那些使用机器学习技术来开发产品或做学术研究的人们提供一些数学背景方面的建议。
2019-02-02 17:10
在现代高速数字电路的设计过程中，工程师总是不可避免的会与DDR或者DDR2，SDRAM打交道。DDR的工作频率很高，因此，DDR的布线（或者Layout）也就成为了一个十分关键的问题，很多时候，DDR的布线直接影响着信号完整性。下面本文针对DDR的布线问题（Layout）进行讨论。
2019-06-08 14:35
本文将首先讨论广泛使用的峰值电流模式(PCM)的连续电流(CCM)DC-DC转换器的平均小信号数学建模。然后使用了ADI公司的开关电路仿真工具ADIsimPE/SIMPLIS进行仿真，以最大程度减少复杂的计算工作。
2018-03-28 16:35
