Translation Terminology (Draft)
Most of the translations below are given according to the standard published by CNCTST(China National Committee for Terms in Science and Technology).Some of the translations are not decided yet which are marked with (??). Whenever we decide the final version, that mark should be eleminated.
Let us continually refine this terminology without duplicating them elsewhere.
-----------------------------------------------------------------------------------
A
acquirer 需方
activity
alphanumeric characters 字母数字字符 % C10, XJW (C: Chapter)
agent 主体
ambiguity 歧义
applicative 应用式
assignment statement 赋值语句 % C10, XJW
arity 参数数目 %KWQ
atomic 原子 % C10, XJW
atomic designation 原子标志 % C10, XJW
automated reasoning 自动推理
B
bay 排位; 又称“行位” (名词委审定，英汉航海科技名词，1996) % C10, XJW
bug 隐错 %在汉语后附上英文。
C
case 范例 % LX
change management 变更管理
channel 通道
choice pattern 选择模式
clause 子句
cohesion 内聚性
combinator 组合子
comment 注释
Communicating Sequential Processes 通信顺序进程
comprehended expression 包含表达式(注:标准未给出)
component 分量；构件
composition 复合 %数学名词委
concatenation 拼接
concurrency 并发
configuration 配置;格局
connective 联结词
constraint 约束
constraint satisfaction 约束满足
constructor 构造器（不同于C++,Java语言中的构造函数）
constant 常量
rather construed = somewhat artificial;somewhat constructed;construted for a purpose 专门构造的
context free grammar 上下文无关语法 % LX
D
decimal digit 十进制数字 % LX
deduction rule 演绎规则
delimiter 定界符 % XJW
dependability 可信性
dependable computing 可信
divide and conquer 分治[法]
disjoint 不相交[的]
distributed union/intersection 分布并/分布交(??注：标准未给出)
domain 领域
domain acquisition 领域获取
domain elicitation 领域引出
domain engineering 领域工程
demand certificate 活期存单
demand deposit 活期存款
designation 标志（参见 atomic designation） % XJW
E
elaboration 细化
elastic deformatio 弹性形变
enumerated token 枚举标记 % XJW
equality 相等;等式 % XJW
equivalence 等价 % XJW
evaluation 求值(注:非标准)
existential quantifier 存在量词
F
facet 刻面
final state 终结状态
fitting 拟合
% Note : formal should not be translated into "形式化", instead we use "形式"
formal 形式
formal description 形式描述
formal method 形式方法 % XJW
formal system 形式系统
formal specification 形式规约 % XJW
formal specification language 形式规约语言 % C10, XJW
functionality 功能性
G
generalization 泛化
general token 普通标记 % C10, XJW
generator 生成器
grammar 语法
ground clause 基子句
I
identification 标识 % XJW
imperative 命令式
indication 指示
intuition 直观理解；直觉
inequality 不相等，不等式 % C10, XJW
inequivalence 不等价 % C10, XJW
inference rule 推理规则
instantiation 例示
intrinsics 内在
invariant 不变式
iteration 迭代
L
label 标号
lexicographic 字典式
literal 文字(注:标准未给出)
logistics 物流
loose specification 宽松规约 % XJW
M
membership 隶属关系
metalanguage 元语言
model checker 模型检验器
models of model-oriented specifications 面向模型规约的模型 % XJW
models of property-oriented specifications 面向属性规约的模型 % XJW
model-oriented abstraction 面向模型抽象 % XJW
model-oriented representation 面向模型表示 % XJW
model-oriented specification 面向模型规约 % XJW
model-oriented specification style 面向模型规约的风格 % XJW
modus ponens 肯定前件的假言推理
modus tollens 否定后件的假言推理
N
notation 记法
network database 网状数据库
O
observer 观测器
ontology 本体，本体论
open set 开集
operator 操作符operand 操作数
overlap 重叠
overload 重载（过载）？% XJW
operator overloading 操作符重载？% XJW
overloaded operator 重载的操作符？% XJW
P
partial function 部分函数
petri net 佩特里网
phase 时期 %特定于本书，与stage，step区别
postulate 公设
pop 退栈
project management 项目管理
prescription 规定
pre/post condition 前置/后置条件 %KWQ
production cell 生产单元
proper value 本征值, 固有值, 特征值
property oriented specification 面向属性规约 % XJW
property-oriented abstraction 面向属性抽象 % XJW
property-oriented representation 面向属性表示 % XJW
property-oriented specification style 面向属性规约的风格 %XJW
push 进栈
Q
quantification 量化
quatified expression 量化表达式
R
reduction 归约
refinement 精化；细分
refresh 刷新
regular grammar 正则语法 %标准为正规文法，但是与 regular language, grammar 等相关其他词条的标准冲突，因此我们采用更加一致的翻译。
regular grammar 正则语言
rendezvous 会合
repertoire 字汇
requirements acquisition 需求获取
requirements elicitation 需求引出
retrieve function 取还函数 %标准给出 retrieve 为检索，但这里表示从具体值到抽象值的取还函数。
routine 例程
S
sequence 序列
sequentiality 顺序
side effect 副作用
sign 记号
signature 基调(代数学中的翻译) % XJW
single assignment 单一赋值
sort 分类
specialization 特化
specification 规约 % XJW
speech act theory 言语行为理论
stack 栈
stage 阶段 %特定于本书，与phase, step区别
state 状态
step 步骤
step-wise refinement 逐步求精
substitution 代入
subtyping 确定子类型 %KWQ
synchronism 同步[性]
syntax 句法
syntax sugar 句法糖
synopsis 提纲 % XJW
T
tail recursive 尾递归
thereom prover 定理证明器
token 标记；令牌（仅用于网络） %XJW
total function 全函数
trace 迹
transducer 转换器 %LBC 没有采用 计算机标准委员会的 传感器
transformation 变换
transition 变迁
trace semantics 迹语义
triptych 三部曲 %XJW %LBC:本书中取trilogy的意思，作为triptych的翻译，便于读者的理解。
typing 类型给定
U
underspecification 不充分规约 % XJW
unique existential quantifier 唯一存在量词
universal quantifier 全称量词
universe of discourse 论域 % XJW
V
valid 永真的 % eg.谓词是永真的，对于所有的解释
validation 确认
value 值 % XJW
variable 变量
valuation 赋值
verification 验证
W
well-formed 良构的
well-formedness 良构[性]
well-formedness constraints 良构性约束
wildcard 通配符
posted by Liu Bochao @ 12:20 AM
2 Comments
