出云

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

You can adopt lizbeth , which will log you in as lizbeth , and log you out from your existing classifier.

您可以采用lizbeth ，那样您即为 lizbeth 登入，而从您现在用的云形状分级器登出。

The cloud model gives a complete structure of the partical microphysics of a convective cloud system over Chinese Mainland.

云模式给出了中国陆地上两个对流系统的粒子微物理特征的完整结构。

This paper intends to introduce and discuss some fundamental and important physics mechanism for cosmic ray influence on the atmosphere, including chemical reaction and cloud microphysics etc, and give some observational results of these effects.

对宇宙线影响地球气候的一些观测结果和物理机制的研究进行了总结和概述，主要讨论了宇宙线对大气中化学反应、云形成过程等的影响，并给出了羊八井宇宙线观测站对宇宙线流强和大气参量日变化的初步观测结果。

By adopting atmospheric condition of the midlatitude summer model in the daytime, no clouds urban aerosols, spring-summer aerosol profiles and background stratospheric profiles extinct model, the typical spectrum characters of target background radiance, contrast and transmittance are computed by the radiative transfer computation software MODTRAN, and then the spectrum characters in the wavelength bands are analyzed.

选择中纬度夏季白天、无云城市气溶胶模式、春夏季气溶胶廓线以及背景平流层廓线和消光的大气条件，利用辐射传输计算软件MODTRAN计算了目标背景亮度、对比度以及透过率的典型光谱特征，并进行光谱特征分析，然后在其他大气模式下对所选波段进行了验证，从而选择出目标探测的最优波段。

You can adopt NoNo , which will log you in as NoNo , and log you out from your existing classifier.

您可以采用NoNo ，那样您即为 NoNo 登入，而从您现在用的云形状分级器登出。

Using computer to control camera to shot the object continually and process the image timely, the pels coordinates of the laser can be get accurately. The 2-D coordinate can be changed to 3-D coordinate based on the arithmetic model builded and the automatic measurement is completed after the object can be rebuild as point cloud.

利用计算机控制摄像头对实物进行连续拍摄，并对图像进行实时处理，从而获得精确的激光线上的像素点坐标，利用建立的算法模型，将已知的二维坐标转换成三维坐标，以点云信息的形式重构出物体，完成三维自动测量。

You may think that you'll be on Cloud 9 for days after finally popping your cherry...

你可能会认为你会为后9天云终于弹出你的樱桃。。。

You are shooting star that traverd the sky,bursting out your pulchritude which made heart broken for a instant;you are a cloud of

你是划过的流星，在刹那间爆发出令人心碎的美丽；你是一朵桃云，点燃了那一片天，留那一抹永恒的美丽在人间。

A quadrantal point infilling strategy is developed to generate point and combine clouds of points automatically. The implicit time-stepping scheme and AUSM+up method have been introduced and extended into gridless method.

本文提出了一种按区域进行填充布点的离散点云自动生成方法，把AUSM+-up格式和一种近似隐式时间推进格式引入到无网格算法之中，发展出了一种迎风型隐式无网格算法。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷