性质

So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.

在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。

In order to know the character of them,the contact between them and the crack, and their forming process,we designed a special experiment- prefabricate crack in the shaped blank.

为了弄清此类异质颗粒的性质及其与裂纹之间的联系，以及具有该相同特征的裂纹组织的形成过程，特设计预制裂纹实验方案进行验证，通过试验研究，发现了异质颗粒的性质及其与裂纹之间的联系，判断出具有该相同特征的裂纹组织的形成过程，总结出了影响异质颗粒形成及大小的主要因素。

Because of the ambiguity of inspection authority property, kinds of constitutes and laws in world prescript its entity structure without definite its property.

世界各国的宪法或法律都规定了检察权的实体构造，但都没有明确指出检察权的性质，检察权性质具有法理上的不明确性。

And then with the help of the IP -groups' constructions, studies will be centered on its nature, and its relations with the finite solvable subsimple group and the finite groups in which every element has prime order and applying the two principles on IP -groups.

随后利用IP -群的结构，重点来研究其性质，指出它与可解有限次单群、质元群之间的包含关系，并且将质元群中的两个重要性质推广到IP -群中。

Based on twenty yearss research, Chen Lin developed the holistic processing hypothesis of Gestalt psychology into topology property perception theory, and thought of the human perception as a processing from holistic property to local property of perceptual object. From the viewpoint of Chen, a primitive and general function of the visual system is the perception of topological properties, and perceptual organization should be understood in the perspective of transformation and perception of invariance over transformation in the topological approach.

基于二十余年的研究积累，陈霖的拓扑性质知觉理论从格式塔心理学的整体加工思想出发，试图结合拓扑学的相关研究，对人类的知觉加工给出一个"大范围到局部"的说明，认为视觉系统的基本单元和一般功能是拓扑性质的知觉，知觉组织应当从变换和变换中的不变性知觉的角度进行理解。

In this paper, the primitivity of n-th order transition matrices An are studied, this topics related to the mixing property of 2-dimensional shift of finite type.

在这篇论文中，讨论n阶置换矩阵An的原始性质。而这些主题与2维有限型的移位之混合性质有关。

It chooses the logit probability unit of allocation cash dividend as the substitute variable of allocation inclination, the ratio of ownership to control rights, the properties of the controlling shareholders and the character of group controlling as the substitute variables of the controlling shareholders' characteristics. Based on these variables, the regression model is established.

在股利分配倾向研究中，本文采用Logistic回归分析方法，以是否分配现金股利的logit概率单位作为股利分配倾向的替代变量，以所有权／控制权比例、控股股东性质和集团控制性质作为控股股东特征的替代变量，并加入其他影响因素构建回归模型进行分析。

Bankruptcy properties are similar to foreclosures and probate properties are usually those being sold after the original owner's death.

破产性质类似于赎及遗嘱性质通常是那些被出售后，原来的主人的死亡。

A parametric study graphic nature of the projection, that is, they read the projective transformation, remained the same graphic nature of the geometry, the branches. 2D projective transformation is a more common transform method, used in the camera lens of the camera plane, and applied to various fields of study.

射影几何是研究图形的射影性质，即它们经过射影变换后，依然保持不变的图形性质的几何学分支学科。2D射影变换是一种较为常见的变换方法，发生在用透视摄像机对平面摄像的时候，并应用于各个研究领域。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。