查询词典 substitute stealthily ... for

As a personal recommendation (me being the author of a book entitled "New York's Opera Society") why not substitute a film with a passionate opera such as "La Traviata" or "La Boheme".

作为个人的建议（我是作者的一本书，题为"纽约歌剧社"），为什么不能取代电影的热情，如歌剧"茶花女"或"波希米亚人"。

But if you're really the rebellious type, you may want to substitute [3] Christian Lacroix's hot pink for virginal white.

但是如果你真的是那种叛逆型性格的人，那么，也许你会很想用Christian Lacroix设计的热辣辣的粉色婚纱来替代无暇的白色婚纱。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Typical red colored Lauan and for construction,furniture,plywood,cabinets and many general purposes,substitute for Mahogany.

高级门皮合板用旋切面板？装黄便料？门斗用材？可代替桃花心木部份用途。

The lead singer was ill and her substitute wasn't nearly as good.

主音歌手病了，代替她的人没有她那么好。

Gamers often substitute numbers and symbols for the letters they resemble, said Morse, creating what they call "l33t speak," that's "leet" when spoken, short for "elite" to the rest of the world.

莫斯说，游戏玩家通常用类似的数字和符号来代替字母，创造他们自己的「l33t speak」。「l33t」的读音是「leet」，是「elite」的缩写，对世界上其他人来说就是菁英的意思。

Gamers commonly substitute numbers and symbols for the letters they resemble, Morse says, creating what they call "l33t speak"- that's "leet" when spoken, short for "elite" to the rest of the world.

莫斯说，游戏玩家通常用数字和符号来代替字母。他们创造出了一种"l33t speak""精英语言"，"l33t"读作"leet"，是elite一词的缩写。

Various foundations telecommunication enterprise must carry on, the serious cleaning up comprehensively immediately to the substitute charge cooperation service, and signs the information security letter of undertaking with the cooperation unit, does not carry out the cooperation unit to the content management responsibility, should stop the cooperation immediately and make winding processing to the related service.

各基础电信企业要立即对代收费合作业务进行全面、严肃清理，并与合作单位签订信息安全承诺书，对内容管理责任不落实的合作单位，应立即停止合作并对相关业务作下线处理。

The molecular charge distribution of the reactivator is affect the reactivating efficacy directly. Moreover its association with hydroximic acid dissociation constant pAa closely, and it will have a great impact on reactivating ability indirectly.(3) There is likely to exist front molecular interaction between Cholinesterase Reactivators and OPC-inhibited AChE, the action sites mainly lie on the aromatic ring, the substitute R and the hydroixic acid group. They act on the aromatic residues of AChE by Π-Π conjugation .(4) The reached results by Comparative Molecular Field Analysis is useful to design new higher efficacy derivatives for 1, 2, 4-oxadiazole class nonquaternary Cholinesterase Reactivators.

2复能剂分子的电荷分布直接影响复活活性，同时对肟酸解离常数pKa具有重要影响，间接影响复活能力；(3)复能剂与磷酰化酶可能存在前线轨道作用，作用部位可能主要在芳香环及其取代基R和肟基上，与AchE的芳香族残基发生л-л电子作用；(4)通过比较分子力场法研究可以指导1，2，4-oxadiazole类非季铵肟胆碱酯酶重活化剂新化合物的合成，可能得到活性更高的复能剂。

It can replace the idolatrous and immoral Hindu rites with its own imposing liturgy, and substitute the Cross for the abominable linga.

它可以取代盲目崇拜和不道德的印度教礼仪与自己强加礼仪，并替代横的可恶的林加。

The statistical analysis of this large set of mutations has led us to propose a diagnostic strategy that should help with the molecular work-up of optic neuropathies.

这一大系列基因突变的统计学分析引导我们提出一个诊断策略，可以帮助我们对视神经病变进行分子学的诊断检查。

The results show that the pipe grouting changes the mechanical parameters of surrounding rocks to achieve the security of engineering objectives by reinforcing surrounding rocks and bolcking the water.

研究表明：小导管注浆一方面改变了围岩的力学参数，另一方面利用浆液的固结特性可以实现堵水和加固围岩的工程目标，使隧道在开挖过程中的安全得到保障。