查询词典 universal bundle

bounded universal quantifier：有界全称量词

不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,

To brainstorm：腦力激盪

19. territory: 地域 | to brainstorm: 腦力激盪 | 1. universal: 世界性的

upset butt welding：端压对头焊接

使用性能试验 usability test | 端压对头焊接 upset butt welding | 万能螺旋扳手 universal screw wrench

neat and buxom：整洁漂亮

at once sufficient to oneself and of universal charity既知足常乐又有普世情怀 | neat and buxom整洁漂亮 | abscure and circuitous难以理解而迂回曲折

Card reader：阅读器

现在的许多数码相机使用USB接口(Universal Serial Bus)与计算机相连,USB比并口更快、更容易使用,但是如果计算机没有USB端口,则需要一个卡阅读器(Card Reader)来连接数码相机和计算机,或者可能要考虑换另外一种数码相机了.

Cascade：串联

对负责管理业务永续服务、复制、和灾难复原策略的资管经理人而言,新3 Data Center Universal Replicator串联(cascade)pass-through解决方案是一种区域外(out-of-region)防护策略,在中介站(intermediate site)提供动态配置储存群组,

cashbox：钱箱, 金库

universal meter 通用电表, 万用表 | cashbox 钱箱, 金库 | negative interest [经] 逆利率

up cast header：升流管集箱,升流管头箱

10 水下装具 under water fittings | 11 升流管集箱,升流管头箱 up cast header | 12 万向接头 universal joint

coordinates of celestial sphere：天球座标

coordinated universal time 协调世界时 | coordinates of celestial sphere 天球座标 | coordinates of ecliptic system 黄道座标系

Centering ball：定心钢球

球叉 ball yoke | 定心钢球 centering ball | 三球销万向节 tripod universal joint

Proceed：进行

按上下箭头可增减器械的制造数目,决定 后按"进行"(Proceed)按钮. 经过一段时间的制造、完工后就可开战. 用鼠标右键点击部队时,会出现部队的控制窗口,或者当你在城堡资讯窗口中按中间的向右 箭头也能进入驻防部队的控制窗.

ile foundation：桩基础

设计:Pile foundation design | 桩基础:ile foundation | 构筑物:structure foundation