极客百科全球领先的中文百科全书

首页分类最近更改图库随机

加载中...

极客百科

关于条款隐私帮助分类最近更改

© 2026 极客百科 — 自由开放的在线百科全书

百科>分类>计算理论

分类导航

全部分类域名124 技术60 服务器328 网站169 翻墙167 论坛23 软件425 AI186 程序38 术语22 网络黑话287 科技名词245 知名人物217 知名公司172 AI术语219 前端技术170 热门产品56 编程语言130 开发工具186 数据库200 网络协议431 网络安全203 加密货币368 互联网平台46 计算机硬件407 算法与数据结构254 操作系统140 设计模式120 软件工程120 前沿科技45 通信与半导体34 后端框架96 大数据62 开源软件125 编程概念114 计算理论127

计算理论

127 个词条

计算理论与计算机基础

PACELC 定理

PACELC 定理

CAP 定理的扩展：无分区时系统还需在延迟与一致性之间权衡，即 PA/EL 等设计取向。

Ryan2,5412026/02/09 00:51

对极几何

对极几何

描述同一场景两个视角图像之间几何约束的理论，核心是基础矩阵与本质矩阵，是立体视觉的数学基础。

陈默2,5332026/05/22 00:51

精化类型（Refinement Types）

精化类型（Refinement Types）

在基础类型上附加逻辑谓词约束的类型，配合 SMT 求解器自动验证，代表实现有 Liquid Haskell 与 F*。

王小帅2,4322026/01/15 00:51

Roofline 模型

Roofline 模型

以计算强度为横轴判断程序受算力还是带宽限制的直观性能模型,是 GPU 内核优化的常用分析工具。

陈默2,3492025/11/29 00:51

确定有限自动机(DFA)

确定有限自动机(DFA)

每个状态对每个输入符号仅有唯一转移的有限状态机,是正则表达式匹配与词法分析的执行模型。

Ryan2,3302026/06/01 00:51

拜占庭将军问题

拜占庭将军问题

Lamport 等人提出的容错模型：部分节点可任意作恶时，系统如何仍就一致行动达成共识。

老周2,3232025/12/21 00:51

阿姆达尔定律 (Amdahl's Law)

阿姆达尔定律 (Amdahl's Law)

描述并行加速上限的经典定律:程序中串行部分的占比决定了无论加多少处理器,整体加速比的天花板。

管理员2,3062026/05/01 00:51

关系代数

关系代数

以选择、投影、连接等算子操作关系的形式化代数系统,是 SQL 语义与查询优化的理论基础。

林夕2,2962026/04/01 00:51

代数效应

代数效应

把副作用声明为可拦截操作、由处理器决定语义的效应管理机制,OCaml 5 与 Koka 已落地。

苏小满2,2822026/06/26 00:51

图灵完备

图灵完备

描述计算系统能否模拟图灵机、具备通用计算能力的核心概念。

老周2,2022026/03/21 00:51

函子(Functor)

函子(Functor)

可以被映射的容器抽象:提供 map 操作把函数应用到上下文内的值,概念源自范畴论。

管理员2,1672026/06/04 00:51

LR 分析

LR 分析

自底向上的移进-归约语法分析技术,由 Knuth 提出,能处理比 LL 更广的文法类,是 Yacc 等工具的基础。

Ryan2,1312026/04/24 00:51

登纳德缩放定律 (Dennard Scaling)

登纳德缩放定律 (Dennard Scaling)

晶体管缩小时功率密度保持不变的经验定律,曾与摩尔定律共同驱动主频提升,2005年前后失效引发多核转向。

陈默2,0472025/11/20 00:51

Feistel 网络

Feistel 网络

将输入分为左右两半交替迭代的分组密码结构，加解密共用同一电路，DES 是最著名实例。

一只鱼2,0082026/05/14 00:51

GADT（广义代数数据类型）

GADT（广义代数数据类型）

允许构造子返回精确类型参数的 ADT 扩展，可让类型跟踪值的内部性质，典型应用是类型安全的解释器。

林夕1,8812026/05/05 00:51

HAMT(哈希数组映射字典树)

HAMT(哈希数组映射字典树)

按哈希值分段索引、用位图压缩稀疏子节点的宽字典树,是函数式语言持久化映射的标准实现。

Ryan1,7722026/04/06 00:51

线性类型

线性类型

要求值必须恰好使用一次的类型系统，源自线性逻辑，是资源管理与 Rust 所有权的理论近亲。

苏小满1,7472026/03/27 00:51

古斯塔夫森定律(Gustafson's Law)

古斯塔夫森定律(Gustafson's Law)

对阿姆达尔定律的重要修正:问题规模随算力增长时,并行加速比可随处理器数近似线性增长。

王小帅1,6922026/05/13 00:51

正则语言

正则语言

可由有限状态机识别或正则表达式描述的最简单形式语言类。

Aki1,614计算机基础计算理论2026/06/14 02:51

布尔检索模型

布尔检索模型

最早的信息检索模型,用 AND、OR、NOT 布尔运算符组合词项精确匹配文档集合。

王小帅1,5812026/06/22 00:51