《计算机专业词汇.docVIP

计算机专业词汇 信息技术 计算机技术 计算机应用技术 信息处理系统 数据处理系统 外围设备 自然语言 软件工程 数据通信 计算机控制 信息系统 单片系统 数字计算机 单板计算机 个人计算机 大型计算机 图形工作站 移动计算机 可穿戴计算机 多用户系统 绿色计算机 多媒体计算机 系统兼容性 平均存取时间 第一代计算机 第五代计算机 平台 计算机硬件 微处理器 多处理器 中央处理器 接口 适配器 地址总线 同步总线 并行计算 软件 微程序 文件 数据 容量 脚本 字 固定字长 串 八进制 十六进制 定点数 字符串 字母字符集 数字字符集 有效字 指令 精简指令 命令 代码转换器 微码 语句 周期 检索 排队 人机环境 人机对话 中断 流程图 数据项 运行 读 兼容性 可维护性 可扩充性 可管理性 机制 就绪 选项 识别 同步 栈下推 仿真 安装 权衡 故障 误动作 检查程序 证实 副本 回送 复位 函数 软件资源 重新启动 备用 结点 审查 行 语法 模型 单位 批 设施 参考 空间 图灵机 哥德尔配数 命题逻辑 布尔运算 真值表 合取范式 演绎数学 论域 关系系统 多值逻辑 子句 关系逻辑 逻辑系统 形式演算 程序设计逻辑 程序验证 构造性证明 等式逻辑 模态逻辑 证伪 条件逻辑 归纳公理 协调公式 本原演绎 逻辑程序 谓词演算 符号逻辑 下推自动机 上下文有关语言 开始符号 双栈机 正则序 可计算函数 句型 左匹配 右线性文法 多头图灵机 同态 有穷性问题 有效项 完全问题 状态 空集 固有多义性 非确定型有穷自动机 线性规划 单向栈自动机 带头 带符号 前缀 栈字母表 递归语言 确定型上下文有关语言 等价关系 道 输出字母表 米利机器 公理复杂性 哈密顿回路问题 旅行商问题 标签集 度量 时间有界图灵机 空间有界图灵机 非确定计算 线性加速定理 真值表归约 整数线性规划 可归约性 真值表可归约性 多项式可归约的 多项式对数时间 性能比 邻接表结构 近似算法 性态 双连通度 二元关系 边界条件 二叉排序树 随机存取机器 动态规划法 哈密顿回路 遗传规划算法 闭合式 凝聚 连通分支 回路 定义域 外路长度 反馈边集合 堆排序 插入排序 循环链表 归并 最优性 平面性 基数排序 替代选择 顺序搜索 空间需要量 稳定的排序算法 子集覆盖 树 并行算法 金字塔结构 混洗交换 异步算法 并行选择算法 分布式排序算法 划分算法 并行图论算法 预调度算法 树压缩技术 零知识交互式证明系统 交互式协议 加密协议 知识交互式证明系统 安全识别 身份验证 交互式证明 零知识交互式论证 证明 平方非剩余 图的非同构 无向网 逆网 公平网 有限网 子网 位置 多重集 前置条件 逆变迁 权函数 状态机 特殊网论 赋逻辑论 并发公理 可达标识集 可覆盖图 实施变迁 状态方程 守恒性 网变换 迹语言 死变迁 公平性 冻结标记 谓词-变迁系统 个性标记 情态集 向前可达性 网射 事件依赖性 跳 加权同步距离 扩张规则 广义随机佩特里网 实存状态 竞争变迁 随机高级佩特里网 标记变量 重复标识 确定和随机佩特里网 禁止状态 无死锁性 可达标识图 标号佩特里网 输入度 子网层次 二叉判定图 下载 区分序列 反向恢复 计算机辅助测试 主从复制 可存取性 可信计算 可靠性工程 可靠性统计 对角线测试 平均未崩溃时间 电平敏感扫描设计 边界检测 交互错误 全干扰 同步序列 多米诺效应 并发模拟 扫描输出 网知计算 自测试 设计差错 初级输出 报酬分析 时变布尔函数 系统诊断 诊断系统 运行剖面 单元测试 单事件锁定 卷回恢复 孤儿消息 构件软件工程 线性检测 软件量度 降级运行 信息冗余 屏蔽 差错潜伏期 故障包容 故障冻结 故障注入 故障测试 故障等效 故障模拟 测试仪 测试驱动器 测试综合 迷失消息 重定时变换 套具驱动器 消息日志 域 检查表 检验板测试 维修策略 循环冗余检验 黑箱测试 瑕点 错误扩散 演绎模拟 谱分析 避错 计算机体系结构 通用计算机 多地址计算机 嵌入式计算机 流水线计算机 主从计算机 分布式计算机 高性能计算机 超标量结构 面向对象的体系结构 精简指令集计算机 归约机 顺序推理机 松散耦合系统 虚拟处理器 无共享的多处理器系统 对称式多处理机 关联处理机 附属处理器 管理计算机 中断信号互连网络 网络带宽 异构计算 并行虚拟机 隐式并行性 耦合度 交换排列 细粒度 向量循环方法 标量流水线 线性流水线 流过时间 移位网 多级网络 分布式控制 基准网络 寻径函数 空间局部性 存储器层次 存储器停顿 处理单元存储器 多级高速缓存 交叉存储器 多端口存储器 内部寄存器 存储体冲突 内存保护 页面失效 高速缓存 动态地址转换 全相联映射 全相联高