EXPLORE / 06
术语索引
AI 与软件开发中的专用名词及其说明
实体记录
4552 条记录 · 112/114
- 4441
AI 智能体
能够自主感知环境、决策并执行任务以达成目标的 AI 系统
官网待补 - 4442
多智能体编排
协调多个 AI 智能体分工协作以解决复杂任务的技术架构
官网待补 - 4443
概念验证
用于证明漏洞存在或技术可行性的最小化可执行代码片段
官网待补 - 4444
分布式训练
利用多台机器或 GPU 并行处理大规模数据的技术
官网待补 - 4445
混合精度训练
结合 FP16 和 FP32 以加速训练并减少显存占用的技术
官网待补 - 4446
智能体客户端协议
一种标准化协议,用于不同 AI 智能体与宿主环境之间的通信与控制。
官网待补 - 4447
自动定理证明
利用算法和逻辑推理自动寻找或验证数学定理证明的技术
官网待补 - 4448
形式化证明
使用计算机可验证的逻辑语言严格表述并验证数学定理的过程
官网待补 - 4449
物理一致性
模型生成的动态场景符合现实世界物理规律的程度
官网待补 - 4450
音频同步
生成视频中声音与画面动作、口型严格对齐的技术能力
官网待补 - 4451
Elo评分系统
基于胜负概率计算相对实力的积分方法,常用于模型盲测排名
官网待补 - 4452
自托管
用户在自己的服务器上部署和维护软件,而非依赖第三方云服务
官网待补 - 4453
上下文窗口
模型在一次推理中能处理的最大文本长度限制
官网待补 - 4454
盲测评估
评审者在不知晓模型身份的情况下对输出结果进行偏好投票的方法
官网待补 - 4455
文生视频
根据文本提示词自动生成动态视频内容的生成式 AI 技术
官网待补 - 4456
令牌预算
限制用户在特定时间内可消耗的大模型输入输出字符数量上限
官网待补 - 4457
视频世界模型
能够根据动作指令生成连续、一致场景视频的生成式模型
官网待补 - 4458
Elo 评分
基于成对比较结果动态计算模型相对排名的统计方法,常用于竞技场类评测。
官网待补 - 4459
双盲评测
评估者与受测者均不知晓具体模型身份,以消除偏见并客观比较性能的方法。
官网待补 - 4460
零样本学习
模型在未针对特定任务微调的情况下直接执行新任务的能力
官网待补 - 4461
大语言模型
基于海量数据训练、具备强大文本生成与逻辑推理能力的深度学习模型
官网待补 - 4462
零代码开发
无需编写传统代码即可构建软件或应用的方法
官网待补 - 4463
提示词工程
设计输入文本以引导AI模型生成特定结果的技术
官网待补 - 4464
内容过滤/拦截
识别并阻止生成有害或违规内容的算法机制
官网待补 - 4465
双用途技术
既能用于合法防御也能被恶意利用的技术特性
官网待补 - 4466
推理工作流
模型处理输入并生成输出的结构化执行流程
官网待补 - 4467
端侧部署
在用户本地设备而非云端服务器运行 AI 模型
官网待补 - 4468
多模态嵌入
将不同模态数据映射到同一向量空间的表示方法
官网待补 - 4469
方言适应
使模型能够理解并生成特定地区或社群使用的语言变体
官网待补 - 4470
模型评估
通过特定指标衡量 AI 系统在任务上的表现与可靠性
官网待补 - 4471
基准测试
用于标准化评估模型性能指标的数据集或任务集合
官网待补 - 4472
内容溯源
追踪数字内容的创建、编辑历史及来源信息的过程
官网待补 - 4473
文本水印
在生成的文本中嵌入不可见信号以标识来源的技术
官网待补 - 4474
多步工作流
需按顺序执行多个子任务才能完成的复杂业务流程
官网待补 - 4475
长周期任务
需要多步推理、持久记忆和复杂协调的长时间跨度工作
官网待补 - 4476
知识图谱
以图结构存储实体及其关系的语义网络
官网待补 - 4477
智能体
能够自主感知环境、决策并执行任务的 AI 系统
官网待补 - 4478
Lean
一种用于编写和验证数学证明的交互式定理证明器语言
官网待补 - 4479
形式化验证
使用数学方法和计算机工具严格证明程序或系统正确性的技术
官网待补 - 4480
RLCD
带校准决策的强化学习(Reinforcement Learning for Calibrated Decisions,RLCD)是一种专为决策与分类模型设计的强化学习训练方法。与面向对话生成、优化人类主观偏好的 RLHF 不同,RLCD 专注于概率分布的数学校准,使模型输出的置信度严格对应实际判定正确率,确保下游软件系统能够安全设立判定阈值。
官网待补