您的当前位置：领域 > 技术 领域
可达性图 （计算机科学技术）
可达性图（reachability graph），计算机科学技术名词，将一个有界
量子电路 （计算机科学技术）
量子电路（quantum circuit），计算机科学技术名词，一个（通过输入输
歧义文法 （计算机科学技术）
歧义文法（ambiguous grammar），计算机科学技术名词，若上下文无关
顺序算法 （计算机科学技术）
顺序算法（sequential algorithm），计算机科学技术名词，与并行
跳段限制 （计算机科学技术）
跳段限制（hop limit），计算机科学技术名词，IPv6分组的基本头中的一个
协同设计 （计算机科学技术）
协同设计（collaborative design），计算机科学技术名词，以计算
需求诱导 （计算机科学技术）
需求诱导（requirements elicitation），计算机科学技术名词
中序遍历 （计算机科学技术）
中序遍历（inorder traversal），计算机科学技术名词，遍历二叉树的
逐段训练 （计算机科学技术）
逐段训练（epochwise training），计算机科学技术名词，某给定时段
综合属性 （计算机科学技术名词）
综合属性（synthesized attribute）是2018年公布的计算机科
约束推理 （计算机科学技术名词）
约束推理（constraint reasoning）是2018年全国科学技术名词
软件故障 （计算机科学技术名词）
软件故障（software fault）是2018年公布的计算机科学技术名词。软
内核服务 （计算机科学技术名词）
内核服务（kernel service）是2018年公布的计算机科学技术名词，出
难解问题 （计算机科学技术名词）
难解问题（intractable problem）是2018年公布的计算机科学技
页面替换 （计算机科学技术名词）
页面替换（page replacement）是2018年公布的计算机科学技术名词
引线接合 （计算机科学技术名词）
引线接合（wire bonding）是2018年公布的计算机科学技术名词。用铝、
提交单元 （计算机科学技术名词）
提交单元（commit unit）是2018年公布的计算机科学技术名词。在乱序执
数据划分 （计算机科学技术名词）
数据划分（data partitioning）是2018年公布的计算机科学技术名
函数问题 （计算机科学技术名词）
函数问题（function problem）是2018年公布的计算机科学技术名词
算术上溢 （计算机科学技术名词）
算术上溢（arithmetic overflow）是2018年公布的计算机科学技
阿达马门 （计算机科学技术）
阿达马门（Hadamard gate），计算机科学技术名词，量子逻辑门的一种。作
冰山查询 （计算机科学技术）
冰山查询（iceberg query），计算机科学技术名词，将数据按照一个属性或
等价操作 （计算机科学技术）
等价操作（equivalence operation），计算机科学技术名词，一种
动态冗余 （计算机科学技术）
动态冗余（dynamic redundancy），计算机科学技术名词，采用标准模
统计约束 （计算机科学技术）
统计约束（statistical constraint），计算机科学技术名词，数
直推学习 （计算机科学技术）
直推学习（transductive learning），计算机科学技术名词，在训
最佳实践 （计算机科学技术）
最佳实践（best practice），计算机科学技术名词，在实践中总结出来并被
0型语言 （计算机科学技术名词）
0型语言（type-0 language）是2018年全国科学技术名词审定委员会
增量编译 （计算机科学技术名词）
增量编译（incremental compilation）是2018年公布的计算
程序隔离 （计算机科学技术名词）
程序隔离（program isolation）是2018年公布的计算机科学技术名
可判定性 （计算机科学技术名词）
可判定性是2018年全国科学技术名词审定委员会公布的计算机科学技术名词，出自《计
链式感染 （计算机科学技术名词）
链式感染（chain infection）是2018年公布的计算机科学技术名词。
任务处理 （计算机科学技术名词）
任务处理（task processing）是2018年公布的计算机科学技术名词，
瞬时变迁 （计算机科学技术名词）
瞬时变迁（immediate transition）是2018年公布的计算机科学
鄂登引理 （计算机术语）
在形式语言理论中，Ogden 引理提供了在上下文无关语言的泵引理上灵活性的扩展。
叠加演算 （计算机科学技术）
叠加演算（superposition calculus），计算机科学技术名词，对
封锁方法 （计算机科学技术）
封锁方法（locking scheduler），计算机科学技术名词，一种并发控制
伽博变换 （计算机科学技术）
伽博变换（Gabor transform），计算机科学技术名词，短时傅里叶变换中
耦合度量 （计算机科学技术）
耦合度量（coupling metrics），计算机科学技术名词，软件各模块耦合
文语转换 （计算机科学技术）
文语转换（text-to-speech convert），计算机科学技术名词，把