外语教育网
您的位置:外语教育网 > 行业英语 > 计算机英语 > 专业词汇 正文
  • 站内搜索:

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

2006-08-09 11:23

  软件经验数据  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 component

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

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

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

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

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

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

  版本升级  version upgrade

  向下兼容  downward compatibility

  向上兼容  upward compatibility

  管理过程  management process

  获取过程  acquisition process

  供应过程  supply process

  维护过程  maintenance process

  支持过程  supporting process

  剪裁过程  tailoring process

  软件工程经济学  software engineering economics

  计算机软件的法律保护  legal protection of computer 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 organization 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

  常识  commonsense

  知识表示  knowledge representation, KR

  陈述性知识  declarative knowledge

  过程性知识  procedural knowledge

  知识表示方式  knowledge representation mode

  知识模式  knowledge schema

  框架知识表示  frame knowledge representation

  概念结点  concept node

  脚本知识表示  script 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 network

  贝叶斯逻辑  Bayesian logic

  贝叶斯定理  Bayesian theorem

  黑板体系结构  blackboard architecture

  黑板协调  blackboard coordination

  黑板记忆组织  blackboard memory organization

  黑板模型  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 net

  范例重用  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 net

  正确性  correctness

  判定逻辑  decision logic

  决策制定  decision making

  决策矩阵  decision matrix

  决策计划  decision plan

  决策问题  decision problem

  决策过程  decision procedure

  决策空间  decision space

  判定符号  decision symbol

  决策论  decision theory

  相关规则  dependency rule

  动态世界规划  dynamic world planning

  证据推理  evidential reasoning

  全局知识  global knowledge

  全局优化  global optimization

  全局搜索  global search

  目标范例库  goal case base

  目标子句  goal clause

  目标对象  goal object

  目标回归  goal regression

  目标集  goal set

  目标引导行为  goal-directed behavior

  启发式算法  heuristic algorithm

  启发式方法  heuristic approach

  启发式函数  heuristic function

  启发式信息  heuristic information

  启发式程序  heuristic program

  启发式技术  heuristic technique

  不完全性理论  incompleteness theory

  不合逻辑  illogicality

  合一  unification

  合一子  unifier

  泛合一  universal unification

  最广合一子  most general unifier

  推理  reasoning, inference

  启发式推理  heuristic inference

  推理策略  inference strategy

  推理模型  inference model, reasoning model

  自动推理  automated reasoning

  形式推理  formal reasoning

  基于知识[的]推理系统  knowledge-based inference system

  自动逻辑推理  automated logic inference

  演绎推理  deductive inference

  反绎推理  abductive reasoning

  假设  hypothesis

  断言  assertion

  自动演绎  automatic deduction

  规则推理  rule-based reasoning

  正向推理  forward reasoning, forward chained reasoning

  目标驱动  goal driven

  反向推理  backward reasoning, backward chained reasoning

  双向推理  bidirection reasoning

  目标导向推理  goal-directed reasoning

  基于知识[的]推理  knowledge-based inference

  逻辑推理  logical reasoning

  自顶向下推理  top-down reasoning

  自底向上推理  bottom-up reasoning

  元推理  metareasoning

  不确定推理  uncertain reasoning

  模糊推理  fuzzy reasoning

  类比推理  analogical inference

  单调推理  monotonic reasoning

  非单调推理  non-monotonic reasoning

  限定推理  circumscription reasoning

相关热词:英语 计算机 词汇
行业英语辅导课程
李 健协和医科大学医学博士,美国国立卫生研究院博士后……详情>>
李健:医学英语网上辅导名师
高 云澳大利亚注册会计师协会会员,会计专业硕士……详情>>
高云:财会英语网上辅导名师
李文沛中国政法大学博士,师从著名法学家周忠海教授……详情>>
李文沛:法律英语网上辅导名师

  1、凡本网注明 “来源:外语教育网”的所有作品,版权均属外语教育网所有,未经本网授权不得转载、链接、转贴或以其他方式使用;已经本网授权的,应在授权范围内使用,且必须注明“来源:外语教育网”。违反上述声明者,本网将追究其法律责任。
  2、本网部分资料为网上搜集转载,均尽力标明作者和出处。对于本网刊载作品涉及版权等问题的,请作者与本网站联系,本网站核实确认后会尽快予以处理。本网转载之作品,并不意味着认同该作品的观点或真实性。如其他媒体、网站或个人转载使用,请与著作权人联系,并自负法律责任。
  3、联系方式
  编辑信箱:for68@chinaacc.com
  电话:010-82319999-2371