不同的

axiomatic semantics

公理语义

公理语义(axiomatic semantics) 运用数学中的公理化方法给出的计算机语言的语义. 不同的人在了解程序的含义时有不同的要求. 例如,有的人只关心程序的数据输入和输出,而不关心程序是否正确终止. 公理语义就是研究如何将这些不同的要求形式化,

biome

生物群系

世界上不同的生态单元就叫做生物群系(biome),每个生物群系可以有自己的植物群落,动物群落,地理环境及天气类型. 生态系统与生物群系的概念是不同的. 在阿尔伯塔省就有六种不同的生物群系,每个群系都有其特定的动植分布区系,

blended

混纺

读作32支双).不管是公制还是英制,支数越大,表示纱线越细.第一节已提到了用于纺织的多种纤维,即使是同一成分的纤维经过不同的整理,也可得到不同性能的毛纱,再加上不同的成分按一定的比例加在一起混纺(Blended)成各式各样的毛纱,

BOMBER MAN

炸弹人

19、炸弹人(BOMBER MAN) >一款很好玩的游戏,由HUDSON公司出品. 主人公使用放置炸弹的方法来消灭敌人并寻找每局隐藏在墙里的暗门来过关. 不同外形的敌人具有不同的属性,需要使用不同的技巧来对付. 中途有若干种宝物可以拾得,

bookkeeping

记帐

你就会明白如何使用Bridge模式在影响最小的情况下往你的代码里添加前端和后端对象. 5.用bridge模式写一个类,连接不同种类的记帐(bookkeeping)程序(连同它们的接口和数据格式)和不同的银行(这些银行提供不同类型的服务和接口).

catalogue

目录

在很大程度上取决于所采用的检索语言的质量以及对它的使用是否正确. 不同的检索语言构成不同的检索标识和索引系统,提供不同的检索点和检索途径. 题录型检索工具在名称中常出现"题录"(title)、"目录"(catalogue)、"索引"(index)等字样.

complexities

复杂性

[18]所谓对简约置以怀疑,就是应了解简约背后覆盖了无尽的"复杂性"(complexities),而这些"复杂性"在不同观点下随时可揭示出新的面貌. 9."简约性"背后的"复杂性":哲学史的"复杂性"可涉及许多不同的情况:a)哲学史中标名不同的名家或传统就其理论元素而言,

context-sensitive help

(上下文相关帮助)

上下文相关帮助(Context Sensitive Help)可以根据用户选择显示相应的帮助,用于解决在操作过程中所遇到的疑难问题. 在实际当中,某个应用的使用者可能来自不同的国家和地区,使用着不同的语言文字,有着不同的习惯. 如果我们希望自己开发的应用获得最大的用户群,

Correspondence

对应

学校教育与社会经济结构、阶级结构之间存在着"对应"(Correspondence)关系. 与社会经济结构和阶级结构相对应,教育系统内部也存在着相应的层次和等级. 学校教育根据不同的阶级、社会地位、性别的区别,为不同的社会集团和个人获得相应的职业、社会地位提供不同的知识技能,

corresponding

对应

摘要:不同的生产方式、地理环境、饮食习惯、价值观念和宗教信仰构建成不同的社会文化环境,而不同的社会文化环境下形成的英汉习语往往带有鲜明的民族文化特征. 它们之间往往存在对应(corresponding)、半对应(semi-corresponding)和非对应(non-corresponding)的关系,

French Fifth Republic：法蘭西第五共和

Freight rate 运费率 | French Fifth Republic 法兰西第五共和 | Frequency 次数;频率

cartographic communication：地图传输 地図通信

■ cartographic analysis 地图分析 地図分析 | ■ cartographic communication 地图传输 地図通信 | ■ cartographic data 制图数据 地図データ