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

电脑软件高级词汇英汉对照 　　软件经验数据 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