计算机专业词汇.doc

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