可定义性

To maintain its internal structure and maintainability, evolution steps should be performed in a disciplined way, and consistency conditions should be explicitly and formally defined, and thus can be verified and maintained during the evolution process.

为避免破坏开发系统的内部结构和降低系统的可维护性，软件演化应当以规范的方式进行，一致性条件应该有显式的严格定义，并应该在演化过程中得到检查和维护。

Based the new definition of double chord-power intergral which the pair of lines intersect the convex body in integral geometry, this paper studies the relationship of double chord-power intergral and chord-power intergral.

本文给出了积分几何中的最新定义：随机直线偶与凸体相交的双弦幂积分概念，利用积分几何的分析方法，研究了双弦幂积分的对称性，次可加性等性质及双弦幂积分与弦幂积分的相互关系。

However, the above definition of rearrangeability and the results of Das are for electronic MINs.

然而，上述的可重排性的定义以及Das的结果，皆只适用於电子的多级式连接网路。

The thesis puts forward intensive definitions of three types of relations and their consistency. By building the corresponding model based on graph theory, it studies the consistency property of relations, and brings forward three static consistency validation methods with the assistance of graphic connectivity, directed path, accessibility et al.

论文对这三种类型的关系及其一致性进行了详细定义和研究，通过建立相应的图论模型，借助于图的连通性、有向路、可达性等，研究了各种关系的一致性性质，提出了三种静态一致性的检验方法。

To tackle this problem, a novel Complete Disjunctive Normal Form algorithm was presented to check the satisfiabilities of acyclic ALCN-concepts.

为此，提出了一个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式算法。

Besides, it gives a convenient tantamount definition to progressive measurability.

此外，还给出了循序可测性的一个便于应用的等价定义。

Nessus's architecture allows network administrators to craft their own vulnerability checks for exploits that do not yet have associated plug-ins.

Nessus中采用的插件技术提高了整个系统的可扩充性，网络管理员可以根据自身需要编写自定义插件。

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.

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

Therefore the definition of damage defines the reparable damage from the aspect of object.

笔者试图指出，侵权法上的损害并不仅仅指利益受损，还需要符合权利或者法益受到侵害的要件，从而对损害本身的定义就意味着从客体上对具有可赔偿性的损害作了限定。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。