您的当前位置：领域 > 科技 领域
软件验证程序 （计算机科学技术名词）
软件验证程序（software verifier）是2018年公布的计算机科学技
伺服道录写器 （计算机科学技术）
伺服道录写器（servo track writer，STW），计算机科学技术名词
基本编码规则 （计算机科学技术）
基本编码规则（basic encoding rule，BER），计算机科学技术名
量子因式分解 （计算机科学技术）
量子因式分解（quantum factoring），计算机科学技术名词，利用舒尔
逻辑驱动程序 （计算机科学技术）
逻辑驱动程序（logical driver），计算机科学技术名词，一种驱动程序。
新接入路由器 （计算机科学技术）
新接入路由器（new access router，NAR），计算机科学技术名词，
最大—最小堆 （计算机科学术语）
最大堆和最小堆是二叉堆的两种形式。不失一般性，只讨论根结点为最小层的情况。
动态共享内存 （可以由计算机自动调节以提高资源利用率）
动态共享内存，就是指系统内存是动态划分的，会按照当前系统的要求划给系统所需要的内
网站预警系统 （计算机程序）
网站预警系统，即网站预警机。针对网站中存在的页面监控、敏感内容（文字、链接、源代
远程终端服务 （计算机术语）
远程终端服务是计算机术语。
execvp （计算机函数）
execvp是一个计算机函数。
IBM小型机 （IBM品牌旗下小型计算机）
IBM小型机，小型计算机。
从处理机 （计算机科学技术）
从处理机（slave processor），计算机科学技术名词，在逻辑上处于从属
exec函数族 （计算机术语）
exec函数族提供了一个在进程中启动另一个程序执行的方法。它可以根据指定的文件名
NAT负载均衡 （计算机网络术语）
随着访问量的上升，当一台服务器难以胜任时，就必须采用负载均衡技术，将大量的访问合
计算机数据系统 （计算机科学学科术语）
在计算机数据系统中，主要的对象是数据，基于对数据的统一管理、组织，根据特定结构，
波斯特-图灵机 （计算机术语）
Post-图灵机是一种特别简单类型的图灵机的程序公式化，由下面描述的Emil P
小型电子计算机 （计算机术语）
小型电子计算机简称“微型机”、“微机”，由于其具备人脑的某些功能，所以也称其为“
存储互操作性 （计算机科学技术）
存储互操作性（storage interoperability），计算机科学技术
连接操作优化 （计算机科学技术）
连接操作优化（join optimization），计算机科学技术名词，对多个连
错误恢复过程 （计算机科学技术）
错误恢复过程（error recovery procedure），计算机科学技术
以只读方式打开 （计算机程序）
以只读方式打开的Word、Excel、PowerPoint等Office文档会限
自适应软件开发 （计算机科学技术）
自适应软件开发（adaptive software development，AS
公共仓库元模型 （计算机科学技术名词）
公共仓库元模型（common warehouse metamodel）是2018
基于位置的服务 （计算机科学技术）
基于位置的服务（location-based service，LBS），计算机科
数据库设计方法 （计算机科学技术名词）
数据库设计方法（database design method）是2018年公布的
LR(0)文法 （计算机科学技术）
LR(0)文法（LR(0) grammar），计算机科学技术名词，上下文无关文法
受限的双端队列 （计算机术语）
end1端无异议，end2端可以这样理解：输出受限队列指end2端禁止输出；输入
手写体汉字识别 （计算机科学技术名词）
手写体汉字识别（handwritten Chinese character re
汉字控制功能码 （计算机科学技术名词）
汉字控制功能码（Chinese character control functi
光学字符阅读器 （计算机科学技术名词）
光学字符阅读器（optical character reader）是2018年公
双时态数据模型 （计算机科学技术）
双时态数据模型（bi-temporal data model），计算机科学技术名
数据库性能优化 （计算机科学技术）
数据库性能优化（database performance tuning），计算机
xclock （计算机术语）
xclock 命令从系统时钟获取时间，然后以数字或模拟时钟的形式显示并更新它。选
军工便携计算机 （计算机）
军工便携计算机是为适应各种恶劣环境需要随时移动而设计的计算机。在计算机设计时，对
显示器点阵尺寸 （计算机专业术语）
显示器点阵尺寸（max slze in dispIays）是指显示单个字符的发光
量子动态逻辑 （计算机科学技术）
量子动态逻辑（quantum dynamic logic），计算机科学技术名词，
人工信息系统 （计算机科学技术）
人工信息系统（made information system），计算机科学技术名
共享执行系统 （计算机科学技术名词）
共享执行系统（shared executive system）是2018年公布的
多智能体推理 （计算机科学技术）
多智能体推理（multi-agent reasoning），计算机科学技术名词，