电脑软件高级词汇英汉

软件经验数据

软件风险

软件库管理员

软件库

软件生命周期

软件维护者

软件监视器

软件操作员

软件产品

软件购买者

软件质量

质量保证

质量度量质量度量

软件度量软件度量

软件质量保证

软件质量标准

可靠性软件可靠性

软件注册商

软件存储库

软件复用

软件安全

软件秘密分析

软件单元

软件验证程序

规范语言

验证规格验证

稳定性稳定性

供应商供应商

支持软件

符号执行

系统架构

系统设计

系统文档

系统库

系统可靠性

系统软件系统软件

系统确认系统验证

验证系统验证

终止性证明

测试用例生成器

测试覆盖率[比率]测试覆盖率

测试数据生成器

测试驱动程序

测试阶段

测试程序测试程序

测试重复性

测试报告

分时

定时分析器

跟踪程序跟踪器

培训培训

类型

软件性能

适应性

内聚性

模块性

可重用性

部分正确部分正确

完全正确

有效期

用户合同管理员用户合同管理员

用户文档

实用软件

版本控制

变更控制

基线

原型

样机研究

快速原型

领域建模

建筑建模

盒子黑盒

白盒

领域工程师

软件架构

软件再工程

软件过程

可重用成分

基于组件的软件开发

基于组件的软件工程(CBSE)

3C概念，内容和背景3C 3C指的是概念，内容和背景。

特定领域软件架构，DSSA

软件架构风格

撤销合法性也叫“撤销合法性”。

升级版本升级

向后兼容性向下兼容性

向上兼容性兼容

管理过程

获取程序采集流程

过程供应过程

维护过程

支持过程

剪裁过程

工程经济学软件工程经济学

计算机软件的法律保护

软件版权

交易分析

人工识别

大脑功能模块

脑成像

大脑模型

脑科学脑科学

知识块组块

认知认知

映射认知映射

过程的认知过程

认知心理学

模拟认知模拟

认知系统

思维科学

认知科学

感知知觉

认识模型

动态存储器

情节记忆

学习认识论

智力

科学智能科学

群体智能

宏观理论

存储器组织包，MOP)

记忆表征

心智能力

感觉像

心理信息传递

心理机制

精神状态

精神心理学

微观理论

机器智能

物理符号系统

登普斯特-谢弗理论

框架语法

工程知识工程，柯

知识知识

领域知识

启发式知识

常识的

表示知识表示，KR

陈述性知识

性知识的程序性知识

知识表示模式

知识图式

框架表示框架知识表示。

概念节点

脚本知识表示脚本知识表示。

状态之间的状态空间空

状态图

元知识

元规则元规则

面向对象表示法

黑板黑板

黑板结构

知识源知识源

知识结构

问题问题

诊断问题诊断

问题重构

问题之间的问题空间空

问题状态

分析程序分析

过程定性推理过程定性推理

规则条款

规则

启发式规则

前提先行词

条件条件

产生式规则

生产系统

独立于领域的规则

类规则表示类似规则的表示。

规则集Rule set

state 空表示状态空间表示。

符号智能

重言式规则

传递依赖性

传递约化传递约化

不确定的证据，阿姨的证据

不确定知识

手动约束人工约束

经验法则

特征抽出

继承遗产

举例说明了实例化

意义域

规划规划

元规划

自我规划

自动调节的

贝叶斯分类器

贝叶斯决策规则

贝叶斯决策方法

贝叶斯推理贝叶斯影响

贝叶斯推理网络贝叶斯影响网络

贝叶斯逻辑

贝叶斯定理

黑板体系结构

黑板协调

黑板存储组织

黑板模型

协商黑板协商

黑板策略

黑板系统

智能系统

解决问题

问题简化

解决方案图

解决方案树

候选解决方案

子目标

有限目标

无限目标

通用问题解决程序，GPS

目的用方法分析手段-目的分析法

启发式搜索

评价函数

弱方法

爬山法

α-β修剪

价值函数

定向搜索波束搜索

盲目搜索

分支限界搜索

深度优先搜索优先

搜索最佳-先搜索先搜索

搜索双向搜索

图形搜索

交叉搜索交叉搜索

有序搜索

并行搜索

尝试搜索试错法搜索

搜索路径搜索

搜索图

搜索规则搜索规则

搜索空之间的搜索空间

搜索策略

搜索树搜索树

派生树

凯斯也叫“凯斯”。

范例库案例库

案例相关相似度

示例案例表示

示例保存案例恢复

样本检索案例检索

范例检索网

示例重用案例重用

修正案例修订示例

示例结构案例结构

示例验证案例验证

基于案例的推理

因果推理

因果关系

冲突歧视

冲突调解

解决冲突解决方案

设置冲突集

一致性实施者

知识的相容性和一致性

估计一致性估计

约束约束条件

约束方程

约束函数

约束矩阵

规则约束规则

合同网

正确性

决策逻辑

做出决策

决策矩阵

决策计划

判定问题

决定程序

决策之间的决策空间空

决策符号

论决策理论

相关规则的依赖规则

动态世界规划

证据推理

全球知识全球知识

全局优化全局优化

全球搜索全球搜索

目标库的目标案例库

目标条款

目标事物

目标回归

目标集合

目标导向行为

探试算法

启发式方法

启发式函数

启发式信息

探试程序

启发式技术

完备论中的不完备论

不合逻辑的

统一统一

亚统一者

普遍统一

最一般的统一者

推理，推论

启发式推理

推理策略

推理模型，推理模型

自动推理

形式推理

基于知识的推理系统

自动逻辑推理自动逻辑影响

演绎推理

演绎推理；演绎推论

假设

断言断言

自动演绎

基于规则的推理

正向推理，正向链式推理

驱动目标驱动

反向推理，反向连锁推理

双向推理

目标导向推理

基于知识的推理基于知识的影响

逻辑推理

自顶向下推理

自下而上的推理

元推理

不确定推理，不确定推理

模糊推理

类比推理

单调推理

非单调推理

推理限制推理