电脑软件高级词汇英汉对照

[世界著名旅游胜地中英对照]世界五大洲著名旅游胜地名中英对照亚洲the himalayas 喜马拉雅山great wall, china 中国长城forbidden city, beijing, china 北京故宫mount fuji, japan 日本富士山taj mah...+阅读

软件经验数据 software experience data

软件风险 software hazard

软件库管理员 software librarian

软件库 software library

软件生存周期 software life cycle

软件维护员 software maintainer

软件监控程序 software monitor

软件操作员 software operator

软件产品 software product

软件采购员 software purchaser

软件质量 software quality

质量保证 quality assurance

质量度量学 quality metrics

软件度量学 software metrics

软件质量保证 software quality assurance

软件质量评判准则 software quality criteria

软件可靠性 software reliability

软件注册员 software registrar

软件储藏库 software repository

软件复用 software reuse

软件安全性 software safety

软件潜行分析 software sneak analysis

软件单元 software unit

软件验证程序 software verifier

规约语言 specification language

规约验证 specification verification

稳定性 stability

供方 supplier

支持软件 support software

符号执行 symbolic execution

系统体系结构 system architecture

系统设计 system design

系统文档 system documentation

系统库 system library

系统可靠性 system reliability

系统软件 system software

系统确认 system validation

系统验证 system verification

终止性证明 termination proof

测试用例生成程序 test case generator

测试覆盖[率] test coverage

测试数据生成程序 test data generator

测试驱动程序 test driver

测试阶段 test phase

测试过程 test procedure

测试可重复性 test repeatability

测试报告 test report

分时 time sharing

计时分析程序 timing analyzer

追踪程序 tracer

培训 training

类型 type

软件性能 software performance

自适应性 adaptability

内聚性 cohesion

模块性 modularity

可复用性 reusability

部分正确性 partial correctness

完全正确性 total correctness

有效性 validity

用户合同管理员 user contract administrator

用户文档 user documentation

实用软件 utility software

版本控制 version control

更改控制 change control

基线 baseline

原型 prototype

原型制作 prototyping

原型速成 rapid prototyping

领域建模 domain modeling, DM

体系结构建模 architecture modeling, AM

黑箱 black-box

白箱 white-box

领域工程师 domain engineer

软件体系结构 software architecture

软件再工程 software reengineering

软件过程 software process

可复用构件 reusable ponent

基于构件的软件开发 ponent-based software development, CBSD

基于构件的软件工程 ponent-based software engineering, CBSE

3C模型 concept, content and context 3C 3C指概念、内容和语境。

特定领域软件体系结构 domain-specific software architecture, DSSA

软件体系结构风格 software architectural style, SAS

合法性撤消 revocation又称“合法性取消”。

版本升级 version upgrade

向下兼容 downward patibility

向上兼容 upward patibility

管理过程 management process

获取过程 acquisition process

供应过程 supply process

维护过程 maintenance process

支持过程 supporting process

剪裁过程 tailoring process

软件工程经济学 software engineering economics

计算机软件的法律保护 legal protection of puter software

软件版权 software copyright

事务分析 transaction analysis

人工认知 artificial cognition

脑功能模块 brain function module

脑成像 brain imaging

脑模型 brain model

脑科学 brain science

知识块 chunk

认知 cognition

认知映射 cognitive mapping

认知过程 cognitive process

认知心理学 cognitive psychology

认知仿真 cognitive simulation

认知系统 cognitive system

思维科学 noetic science

认知科学 cognitive science

感知 perception

认知模型 cognitive model

动态记忆 dynamic memory

情景记忆 episodic memory

认识学 epistemology

智能 intelligence

智能科学 intelligent science

群体智能 swarm intelligence

宏理论 macro-theory

记忆组织包 memory anization packet, MOP

记忆表示 memory representation

心智能力 mental ability

心智图像 mental image

心智信息传送 mental information transfer

心智机理 mental mechanism

心智状态 mental state

心智心理学 mental psychology

微理论 micro-theory

机器智能 machine intelligence

物理符号系统 physical symbol system

DS理论 Dempster-Shafer theory

框架语法 frame grammar

知识工程 knowledge engineering, KE

知识 knowledge

领域知识 domain knowledge

启发式知识 heuristic knowledge

常识 monsense

知识表示 knowledge representation, KR

陈述性知识 declarative knowledge

过程性知识 procedural knowledge

知识表示方式 knowledge representation mode

知识模式 knowledge schema

框架知识表示 frame knowledge representation

概念结点 concept node

脚本知识表示 knowledge representation

状态空间 state space

状态图 state graph

元知识 metaknowledge

元规则 metarule

面向对象表示 object-oriented representation

黑板 blackboard

黑板结构 blackboard structure

知识源 knowledge source

知识结构 knowledge structure

问题 problem

问题诊断 problem diagnosis

问题重构 problem reformulation

问题空间 problem space

问题状态 problem state

过程分析 procedure analysis

进程定性推理 process qualitative reasoning

规则子句 rule clause

规则 rule

启发式规则 heuristic rule

前提 antecedent, premise

条件式 conditions

产生式规则 production rule

产生式系统 production system

领域无关规则 domain-independent rule

类规则表示 rule-like representation

规则集 rule set

状态空间表示 state space representation

符号智能 symbolic intelligence

重言式规则 tautology rule

传递相关性 transitive dependency

传递简约 transitive reduction

不确定证据 uncertain evidence

不确定知识 uncertain knowledge

人工约束 artificial constraint

经验法则 empirical law

特征提取 feature extraction

继承 inheritance

例示 instantiation

意义域 meaning domain

规划 planning

元规划 metaplanning

自规划 self-planning

自调整 self-regulating

贝叶斯分类器 Bayesian classifier

贝叶斯决策规则 Bayesian decision rule

贝叶斯决策方法 Bayesian decision method

贝叶斯推理 Bayesian inference

贝叶斯推理网络 Bayesian inference work

贝叶斯逻辑 Bayesian logic

贝叶斯定理 Bayesian theorem

黑板体系结构 blackboard architecture

黑板协调 blackboard coordination

黑板记忆组织 blackboard memory anization

黑板模型 blackboard model

黑板协商 blackboard negotiation

黑板策略 blackboard strategy

黑板系统 blackboard system

智能系统 intelligent system

问题求解 problem solving

问题归约 problem reduction

解图 solution graph

解树 solution tree

候选解 candidate solution

子目标 subgoal

有限目标 finite goal

无穷目标 infinite goal

通用问题求解程序 general problem solver, GPS

手段目的分析 means-end analysis

启发式搜索 heuristic search

评价函数 evaluation function

弱方法 weak method

爬山法 hill climbing method

α-β剪枝 α-β pruning

代价函数 cost function

定向搜索 beam search

盲目搜索 blind search

分支限界搜索 branch-and-bound search

深度优先搜索 depth-first search

佳优先搜索 best-first search

双向搜索 bidirectional search

图搜索 graph search

交叉搜索 intersection search

有序搜索 ordered search

并行搜索 parallel search

试凑搜索 trial-and-error search

路径搜索 path search

搜索图 search graph

搜索规则 search rule

搜索空间 search space

搜索策略 search strategy

搜索树 search tree

推导树 derivation tree

范例 case又称“案例”。

范例库 case base

范例依存相似性 case dependent similarity

范例表示 case representation

范例重存 case restore

范例检索 case retrieval

范例检索网 case retrieval

范例重用 case reuse

范例修正 case revision

范例结构 case structure

范例验证 case validation

基于范例的推理 case-based reasoning, CBR

因果推理 causal reasoning

因果性 causality

冲突鉴别 conflict discriminate

冲突调解 conflict reconcile

冲突消解 conflict resolution

冲突集 conflict set

一致性强制器 consistency enforcer

知识相容性 consistency of knowledge

一致估计 consistent estimation

约束条件 constraint condition

约束方程 constraint equation

约束函数 constraint function

约束矩阵 constraint matrix

约束规则 constraint rule

合同网 contract

正确性 correctness

判定逻辑 decision logic

决策制定 decision making

决策矩阵 decision matrix

决策计划 decision plan

决策问题 decision problem

决策过程 decision procedure

决策空间 decision space

判定符号 decision symbol

决策论 decision theory