证明用的

The Majestic

电影人生

2001年,由弗兰克.德拉邦特导演的>(The Majestic)又重整旗鼓准备向奥斯卡进发了--金.凯瑞打算用本片向学院奖的评委们讨个说法. 事实证明,尽管他的表演尚未得到奥斯卡评委的青睐,至少他已经征服了大部分普通观众.

number system

数系

代数方面强调数系(number system)概念,用较严密的逻辑方法以证明数学上的定理. 前人依赖欧几里德几何来训练逻辑思维,在新数学课程里,主要是削减欧氏几何的非基本命题或非基本而繁复的命题而致力于更有趣的项目. 课程中加入集合论的概念逻辑,

prolongation

延拓

用延拓(Prolongation)方法分析耦合色散方程的隐对称结构,给出了它的无限维李代数表示. 并从理论上导出了该系统的线性谱一般形式,从而证明了它是严格可解的. (共4页)

rashness

轻率

再者,不要把勇气和轻率(rashness)相混淆. 假装有勇气可能最终只不过是用来补偿一个人的潜意识恐惧和证明一个人的男子气概的虚张声势而已,就像在第二次世界大战中所流行的"热门"冒险飞跳一样. 这种轻率举动的最终结果是使自己送命,

return on investment,ROI

投资回报率

非财政投资回报率(Return On Investment ROI)指标可以用来补充公司现有的非常有限的财政衡量方法,以证明上马VoIP的确具有商业价值. 我已经与上百位网络管理者谈过有关VoIP部署的问题,但是我发现很少有公司能够准确的说清楚部署的ROI是什么.

logic theorist

逻辑理论家

这个程序称为"逻辑理论家(Logic Theorist)"的程序,能用来证明形式逻辑中的各种定理. "逻辑理论家"采用了人类在问题解决活动中所使用的一些处理方法,但它只能解决一些特定类型的问题. 纽厄尔与西蒙在1972年又设计了一种更为精细的问题解决系统,

utilization factor

利用系数

不仅如此, 他们还把系统的利用系数(utilization factor)和系统可调度性联系起来, 推导出用RM调度所能达到的最小系统利用率公式. 同时, 这篇论文中透露出来的证明思想和方法也被人们所效仿. 下面就让我们来看看这篇文章中关于RM调度算法的重要结论.

warble tone

颤音

可以用"颤音"(Warble tone)和声压电平表来进行测试,如果将音箱摆放在某一位置时能够听到较多的300Hz以下的声音,便证明已摆放好音箱了. 要是有条件使用一台RTA频谱分析仪,便更易于确定音箱的摆位. 对于音箱的摆放位置,应当有耐心,

wholesale market

批发市场

有查验及证明食用动物体内存有违禁化学物和农业及兽医用化学物方面的状况的权力;"含有"(contain)就食用动物而言,指存在于食用动物的任何组织、体液或奶内;"批发市场"(wholesale market)指在其内出售食用动物以供再销售的市场;

avena test

燕麦试法

这证明促进生长的影响可从鞘尖传到琼胶,再传到去顶胚芽鞘,这种影响与某种促进生长的化学物质有关,温特将这种物质称为生长素.根据这个原理,他创立了植物激素的一种生物测定法--燕麦试法(avena test),即用低浓度的生长素处理燕麦芽鞘的一侧,

tranquil flow：平静怜

train 列 | tranquil flow 平静怜 | transceiver 无线电收发机

The Marschallin's Major-Domo：瑪莎琳元帥夫人管家 男高音

A police inspector 警官 男低音 | The Marschallin's Major-Domo 瑪莎琳元帥夫人管家 男高音 | An innkeeper 客棧老闆 男高音