查询词典 mapping

Mapping program had two people, squad leader should be called the Ni library, from the Guanzhong Plain, the army six years; another Lance Corporal Libang Yu, born in 1989, Binzhou, Shandong, is the only son.

测绘班有两个人，班长叫倪应库，来自关中平原，当兵6年了；另一名上等兵李邦禹，1989年生于山东滨州，是独生子。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

1:250000 geological mapping has further revealed the mysteries of the tectonics of the Qinghai-Tibet Plateau. The Altun Mountains are not of the Tarim massif, but a part of the Kunlun-Qilian-Qinling orogenic system; the Altun fault is a large transform fault; the Muztag-Maqên suture zone and Jinshajiang suture zone are both Variscan ones; the Songpan-Garzê area in the Triassic was a huge turbidite basin on the southern margin of Laurasia; the Gangdise belt underwent the important Indosinian orogenic movement; an ocean basin that persisted from the Paleozoic to Triassic did not exist, i.e. the so-called Paleo-Tethys or permanent Tethys was not in existence in the Qinghai-Tibet Plateau. In the Paleozoic, most parts of China, including the Sino-Korean, Yangtze and Tarim massifs and the Qinghai-Tibet Plateau, were located in south of the main ocean basin—the Central Asian-Mongolian sea way—of the Paleo-Asia ocean, belonging to the northern margin of Gondwana. The Yarlung Zangbo and Bangong -Nujiang belts were twins in the Tethyan Ocean, which began to develop into two ocean rift belts in the Triassic. The Tethyan Ocean with the Yarlung Zangbo belt as the main ocean basin belt began to be subducted in the Late Triassic and experienced a process of pulsatory plate convergence orogeny including the Indosinian, Yanshanian and Himalayan stages.

1：25万地质填图进一步揭开了青藏高原地区大地构造的奥秘：阿尔金山是昆仑，祁连-秦岭造山系的一部分；阿尔金断裂确是一条大型转换断层；木孜塔格-玛沁缝合带和金沙江缝合带均是华力西缝合带；松潘甘孜三叠系沉积盆地是劳亚大陆南部边缘的浊积岩盆地；冈底斯带曾经历了重要的印支造山运动；不存在从古生代延续到三叠纪的大洋盆地，即不存在所谓古特提斯或永久特提斯；古生代时期，在青藏高原地区亦不存在具古生物，古地理分隔意义的大洋盆地，当时，包括中朝，扬子，塔里木以及青藏高原地区在内的中国大部分均位于古亚洲洋主洋盆——中亚-蒙古带之南，属冈瓦纳大陆结构复杂的北部边缘；雅鲁藏布江和班公湖-怒江带是特提斯洋中的孪生姊妹，它们均是从三叠纪起就发展成大洋裂谷带的；以雅鲁藏布江带为主洋盆带的特提斯洋，从三叠纪晚期开始消减，经历了印支，燕山，喜马拉雅3个阶段脉动式板块汇聚造山过程。

By using the conformal mapping technique and the Laurent series expansion, a group of equations to predict effective bulk modulus and transverse shear modulus of multiphase fiber composites was obtained.

通过解析函数的保角变换与罗朗级数展开，获得了相应问题的解。根据复合材料平均应力与应变关系，获得了混杂纤维复合材料横向剪切模量和体积模量的预测公式。

Taking mapping QTL that affect leaf age growth trajectories in rice of a DH population as an example, we used 3 biological meaningful submodels and 2 orders Legendre polynomial to model the mean vector of QTL genotypes and 11 stationary and non-stationary models to fit residual covariance matrix.

以水稻一个DH群体的叶龄性状为例，我们分别用3个具有生物学意义的子模型和2阶Legendre多项式去拟合QTL基因型的均方向量，用13个平稳和非平稳模型去描述剩余协方差的变化。

Based on this opinion, the effect of dynamic trait loci could also be explained by inserting a Legendre polynomial in each genetic factor, and so the mathematic model for mapping dynamic trait loci was constructed.

把表型值随着时间（生命时期、年龄、胎次等）或其他可以量化的因素（生理状态、生产水平、代谢率和环境条件等）变化的性状称为动态性状。

Based on the maximum likelihood analysis principle for dynamic trait QTL mapping, selecting three orders Legendre polynomial as sub-model, the effects of the individual number, the frequency of test day, the marker density and heritability on detecting power are investigated by Monte-Carlo simulation.

以远交设计群体为例，在推导出动态性状基因定位的似然法分析过程的基础上，选择3阶多项式为子模型，采用Monte Carlo方法模拟研究了不同个体数、测定日频数、标记密度和QTL遗传贡献率对两种分析方法检测QTL效率的影响。

It does not lend itself well to automatic code generation programs or Object Relational Mapping technologies such as Hibernate.

它并不适合自己很好的自动代码生成程序或对象关系映射如Hibernate技术。

Introduces the rationale and techniques of common normal length measurement in the test and mapping of parameters for gears.

介绍了齿轮精度检测和齿轮参数测绘中用公法线长度测量的基本原理和基本方法。

We also give some definitions for analyzing and describing some characters of chaotic mapping and mathematical tools in the letterpress.

在本文中，我们还给出了分析和刻划混沌映射的一些特性和数学工具。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了