理论上的

Though in general the verification problem for parameterized systems is undecidable, decision procedures have been discovered for verification of subclasses where systems consist of many identical, finite state processes.

分布式模型检测方法是一种能从根本上解决状态爆炸问题的方法，它利用分布主存环境，理论上存在一个容量无限的存储环境，因此在解决状态爆炸问题上具有一定的潜力。

The number and function of INGOs are experiencing an unprecedented development, which makes any theory and summary on INGOs unperfected as time passes by. However, the INGOs issue has become a inevitable and pressing task, which makes the related theoretical and practical research more challenging.

当今国际非政府组织的数量和功能都处在裂变之中，因此任何对国际非政府组织的概括性论述和理论总结都难免存在局限和偏颇，但它又是一个无法回避，且迫切需要研究的问题，正因如此，对其做理论和实践上的探索也就更具有挑战意义。

Therefore,the theoretical discussions on the basic concept of deformation laws withen the elastic limit of conventional solid mechanics are not only still necessary for the systimatization of theory, but also can be benficial for the design words of structure element and the development of new materials.

因此从理论上探讨传统固体力学对弹性极限范围内变形规律的一些基本概念不但对理论的系统化是必要的，而且对构件的设计和新材料的开发也有参考价值。

The phase-space of a gas dynamic system can be rebuilt by using the time series measurement of gas concentration in the working environment of a mine. It is discovered from fractal analysis that the variation of a gas dynamic system in an underground mine posse...

通过分形分析发现井下瓦斯动力系统的变化具有混沌特性，从而揭示了瓦斯动力系统安全状态变化遵循某种结构化规律，理论上其状态的变化是可以被确定性预报的，从而为瓦斯爆炸灾害系统的辨识与控制提供了理论依据。

Considering non-spherical particles, starting from particle size distribution, the concept of the number of equivalent spherical particles was put forward, and the theory formula to calculate mass concentration of non spherical panicles was derived. The validity of the formula for non-spherical particles was verified. On this basis, aerosol mass concen-trations algorithm baaed on the number of equivalent spherical particles was proposed.

考虑非球形颗粒，从颗粒群粒度分布概念出发，提出了统计意义上的等效球形颗粒数概念，给出了非球形颗粒物质量浓度的理论公式，并利用该理论公式阐明了OPC测量非球形颗粒物质量浓度计算公式的合理性，进而给出了基于等效球形颗粒数的悬浮颗粒物的质量浓度算法。

The paper points out the approaches of accomplishing organizational knowledge harmony on the basis of analyzing the theoretical characteristics and the academic value of organizational knowledge harmony, and expounds the six kinds of functions and establishes the elementary framework of knowledge harmony circumfusing the two level subjects of organizational knowledge and personal knowledge.

在分析组织知识和谐的理论特征和理论价值的基础上，指出组织知识和谐的实现途径，并围绕组织知识和个人知识两级主体，阐述了知识和谐的六种功能，给出知识和谐的基本框架。

The denominating of Socialist Modernity not only remedies the failing of the west concept of Mod...

社会主义现代性的命名，不仅可以在现代性概念系统内部弥补西方现代性概念之不足，直接呼应潜藏于西方现代性理论内部的、尚处于萌芽和预想状态的社会主义现代性言述，而且能够从理论上揭示与描述20世纪中国文学文论为社会主义事业服务这一特殊而本质的现代性规定。

The denominating of Socialist Modernity not only remedies the failing of the west concept of Modernity in response to the discourse of Socialist Modernity in an undeveloped stage which hides behind the west concept of Modernity,but also uncovers and describes in theory the character of Modernity serving the socialism in Chinese literature and literary theory of the 20th century.

社会主义现代性的命名，不仅可以在现代性概念系统内部弥补西方现代性概念之不足，直接呼应潜藏于西方现代性理论内部的、尚处于萌芽和预想状态的社会主义现代性言述，而且能够从理论上揭示与描述20世纪中国文学文论为社会主义事业服务这一特殊而本质的现代性规定。

The near-field electrical distribution formed when the illumination light diffracts as it propagates through the sample is very sensitive to the optical properties of the sample such as geometrical structure, refractive index and absorptivity distribution.

当前近场光学显微学迫切需要解决的一个重要问题是要从理论上对近场成象过程有清楚的认识，从而为近场光学显微学中图象的正确解释及新仪器的开发提供理论依据。

First, analyzing based on a case, expatiating why is organizational structure.

研究首先以一个来自实践的案例为引导，从实践的角度分析为什么是组织结构，接着试图构建一个组织管理的理论框架，从理论上证明为什么是组织结构，在此过程中一并厘清了与组织结构相关的种种概念及其相互关系。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。