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