查询词典 translated

Originally published by Einaudi in 1947. Published by Beacon Press, 1957. Translated by Archibald Colquhoun.

第一版由Einaudi在1947年出版。1957年由Beacon Press出版英文版，Archibald Colquhoun翻译。

Originally published by Einaudi in 1951 and 1959. Published by Random House, 1962. Translated by Archibald Colquhoun.

Einaudi出版社1951年和1959年初版，1962年兰登书屋英语第一版，Archibald Colquhoun翻译。

Reminiscent of Voltaire's satirical romances, The Baron in the Trees displays to dazzling effect Italo Calvino's sure sense of the sublime and the ridiculous. Originally published by Einaudi in 1959. Published by Random House, 1959. Translated by Archibald Colquhoun.

对比伏尔泰讽刺性的虚构作品，卡尔维诺的《树上的男爵》在对崇高和荒谬的把握上展示了非凡的效果。1959年Einaudi出版社第一版。1959年兰登书屋英文第一版， Archibald Colquhoun翻译。

Published by Harcourt Brace Jovanovich, 1983. Translated by William Weaver, Archivald Colquhoun, and Peggy Wright.

Harcourt Brace Jovanovich1983年英语第一版，William Weaver， Archivald Colquhoun，和Peggy Wright翻译。

Originally published by Einaudi in 1947. Published by Beacon Press, 1957. Translated by Archibald Colquhoun.! u2 R r; R0 x4 V

第一版由Einaudi在1947年出版。1957年由Beacon Press出版英文版，Archibald Colquhoun翻译。

Reminiscent of Voltaire's satirical romances, The Baron in the Trees displays to dazzling effect Italo Calvino's sure sense of the sublime and the ridiculous. Originally published by Einaudi in 1959. Published by Random House, 1959. Translated by Archibald Colquhoun.$ b. k5 b8 t w r! i" m; \" v% j

对比伏尔泰讽刺性的虚构作品，卡尔维诺的《树上的男爵》在对崇高和荒谬的把握上展示了非凡的效果。1959年Einaudi出版社第一版。1959年兰登书屋英文第一版， Archibald Colquhoun翻译。

Operating system course, command line interpreter. Users can input the orders translated into computer language can be implemented.

操作系统课程中，命令行解释程序，可以把用户输入的命令翻译为计算机可以执行的语言。

But the result of improvement soil translated alkaline soil into alkalier soil. Not onlu it is unavoidable and subsisted of stabilization in commix tier of gypsum, but also it destroyed direct improvement process. It is imported find what solved seepage problem of gypsum in the study. In configured duality structure of improvement soil, it needs abundance seepage gypsum in commix tier into noncommix tier in order to losing seepage capacity reduce in all deepness of improvement soil.

碱土改良过程中石膏渗漏损失最高可达到石膏施入量的40%以上，而改良结果碱土只转化为重碱化土；在石膏混合层内，它是一种不可避免的、稳定存在的且直接破坏土壤改良进程逆流；因此解决石膏渗漏问题亦是在本文研究工作中的重要发现：配置二元结构改良碱土中，正需要石膏混合层中大量石膏渗漏，以改良非石膏混合层，并使整个计划改良深度内的渗漏损失降为零。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后，证明了该方法的可靠性和完备性； 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究，给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法，把α-归结原理转换成矩阵的列变换。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。