查询词典 processes

In order to check bisimulation for value--passing processes with infinite data domain, the symbolic transition graph and the symbolic transition graph with assignment are introduced by Hennessy and Lin as semantic models of value-passing processes, and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程，Hennessy和Lin先后提出符号迁移图和带赋值符号迁移图作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

In order to check bisimulation for value-passing processes with infinite data domain,the symbolic transition graph STG and the symbolic transition graph with assignment STGA are introduced by Hennessy and Lin as semantic models of value-passing processes,and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程， Hennessy和Lin先后提出符号迁移图STG和带赋值符号迁移图STGA作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

Symbolic transition graph is proposed as a compact semantic model for the π-calculus processes. The rules which generate such STGs from finite-control π-calculus processes are presented.

提出以符号迁移图为π-演算进程的有穷表示模型，并给出了将有穷控制π-演算进程转换成有穷符号迁移图的全部产生规则。

These questions range from whether novel higher taxa result from as-yet undescribed radical genetic processes, to whether known processes such as genetic drift and small gene changes can plausibly accountfor the evolution of new genera, families, and orders.

许多问题是新类别的物种可能起源于还不确定的遗传过程，或者知道遗传过程，例如，遗传漂移和少量基因的改变可能是新属，科，目产生的原因。

The enhanced emission yields of secondary ions induced by Si2 clusters at the low energies are clearly seen and attributed to the vicinage effect of the nuclear collision processes of cluster constituents and the secondary ion emissions are still dominated by electronic stopping processes at high energies.

实验结果显示，在以上的生物样品中，MeV能量离子的能量损失值和TRIM程序模拟的结果相吻合，但是透射离子的能量离散值却与TRIM程序模拟结果有很大的不同。结合生物样品的结构不均匀的特性，对Bohr能量离散理论进行了修正，并发现修正后的Bohr能量离散理论计算结果与实验值符合得很好。

The Physical Earth; Minerals; Rocks; Internal Processes; Global Tectonics; Volcanology; Geologic Time; The Hydrosphere; Surface Processes; Astronomy and Space Science; Environment; Miscellaneous

地球；矿物；岩石；地球内部过程；全球构造；火山学；地质年代；水圈；地表过程；天文学和空间科学；环境；综合

Staring with the mathematic model of MoM, Introduce the processes of computing the PECs scattering with surface field integral equation and the inhomogenous dielectric bodies scattering with volume electronic field integral equation, then program to implement these processes as well.

从矩量法的数学模型出发介绍了用表面场积分方程计算PEC散射和用体电场积分方程计算非均匀介质体散射的实施过程，并编程实现之。

The use of cheap raw materials, simple processes and simple equipment, while in the legal system for a Zirconia-based ceramic materials of valuable hardware, through the precursor decomposition by zirconium oxide ceramic micro base, and on this basis, the use of dry-pressed shaped and without pressure sinter prepared for the implications for sinter explore sintering processes.

本文使用价格低廉的原料、简单的工艺和简易的设备，固相法制备出氧化锆基陶瓷粉体的前驱体，通过前驱体分解得到氧化锆基陶瓷粉体，并在此基础上，利用干压成型和无压烧结对所制备的粉体进行烧结，探讨烧结工艺。

This project was conducted starting with the three interrelated subjects the structural characteristics of desertification landscapes in different bioclimatic zones, desertification driving factors and their function mechanism, and the dynamic model of landscape space for the occurrence and development of desertification in representative desertification regions and on the basis of in-depth studies of the relations between landscape structural characteristics and processes of desertification and their stability; the driving force of different time-space scales of desertification and their proportion, manifestation form, and action mechanism in the desertification processes; and the establishment of threshold conditions for the surface wind erosion and has achieved important progress in the definition of desertification conception

本课题从三个相互联系的专题（即不同生物气候区荒漠化景观的结构特征、荒漠化驱动因素及其作用机理、典型荒漠化地区荒漠化发生与发展的景观空间动力学模型）入手，在深入研究荒漠化景观结构特征与过程的关系及其稳定性，不同时空尺度的荒漠化过程驱动力及其在荒漠化过程中所占比重、表现形式及作用机制，地表风蚀临界条件的确定等内容的基础上，虽未建立荒漠化景观空间动力学模型，但在沙漠化概念，末次间冰期以来沙漠化过程时间序列和特征冷暖时期沙漠、沙地空间分布格局，现代沙漠化过程中自然因素和人文因素的作用、贡献率、沙漠化土地对气候的反馈作用以及风蚀临界值，沙粒跃移轨迹参数和能量分布，我国沙漠化防治思路和对策，沙尘暴区划和沙尘暴指数等方面取得了重要进展。

The achievement of this project can be briefly summed up as following:(1)the carbon contributing to karst processes mainly comes from ecological system itself under the condition of existence of vegetation and soil covers;(2)results indicates that the depositing processes of rainfall to CO2 is an important "sink" to global carbon cycle;(3)owing to the differences of vegetation and surface covering, the adjusting effect of ecosystem to environmental humidity, temperature and CO2 concentration near surface air which indicates different benefit of preventing water and soil from lose is marked;(4)the preponderant species of vegetation in the karst ecosystems which have different kinds of carbonate rocks are obviously variant, and this situation results to the clearly differences of the micro － habitat , structure of surface cover and water holding capacity;(5) the relevant study showed that the carpophagous animals and birds make a important role in the spreading of vegetation seeds. The designed experience for the study of seed reservoir was not able to obtain a satisfactory result.

主要研究成果包括：通过对表层系统碳库的研究，认为在有土壤和植被覆盖时，岩溶作用过程中的碳主要来自生态系统本身而不是母岩；降雨对大气碳具有重要&沉淀&作用，是碳的一个重要汇；不同植被类型表层岩溶系统对系统水份、空气湿度、气温、土温和近地表 CO2浓度等具有明显调节作用，具有不同的水土保持效益；不同母岩的岩溶生态系统的植被优势种、属差异明显，由此形成的小生境、地被物及其持水性差异巨大；对典型岩溶表层系统种子库的试验研究没有取得满意结果，但食果动物、鸟类对种子传播起到一定作用。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。