可定义性

Then we define the notion of adoptability of the diagnostic system and prove that the consistency-based diagnosis is adoptable.

为找到故障系统的真实诊断，讨论了候选诊断和真实诊断之间的关系，定义了诊断系统的可采纳性并证明基于一致性的诊断是可采纳的。

It also gets a unified condition which has a wider range than regulated function and comes to the conclusion that the function of bounded variation is the integrable function of Riemann.

通过定义多维零测度集将可积函数的特征扩展到多维情形，同样统一了多维情形的充分条件，建立了多维情形的可积性理论。

The paper states the distinctions between Riemann integral and Lebesgue integral from the aspects of the definition of integral,the continuity of integrable function,the additivity of integral,integral limitation theorems and Newton-Leibnitz formula.

从积分的定义，可积函数的连续性，积分的可加性，积分极限定理，牛顿-莱布尼兹公式五个方面阐述了黎曼积分与勒贝格积分的区别。

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

In the paper, the kinds of reachability notions are defined and charactered firstly in their matrices and graphs. By the discussion of the matrix standard form and its transitive closure, the relation among the maximum partial reachability sets, the standard form of the matrix and its transitive closure are posted and the network partial reachability is based. The standard form provides methods for the improvement of the network reachability.

本文首先定义了诸可达概念及其等价刻画，通过布尔阵标准型及其传递闭包的讨论，揭示了网络极大局部可达集与矩阵标准型、传递闭包的关系，建立了网络局部可达的框架结构，并通过标准型为改善网络可达性提供方法。

This method and its process defining users' requirements apply viewpoints and viewpoint templates to define users' requirements so that readability and reviewability of requirements specifications can be enhanced.

提出了一个结合多视点的快速原型化方法，该方法及其需求定义过程主要使用视点和视点模板来定义用户的需求，从而提高了需求规格说明的可读性和可审查性。

Rock drillability index is a very key parameter in selection of drill bit type and determination of productivity in petroleum, mining and geology. Unfortunately, there are many limits in the current definition as well as experimental methods.

岩石可钻性指标是石油、矿山及地质部门广泛用于钻头选择和制定生产定额的重要参数，但现行可钻性指标的定义及参数获取的实验方法还存在许多问题。

Approval;Approved organizations;Bend testing;Butt welding;Definition;Definitions;Design;Dimensions;Electric welding;Flash welding;Inspection;Materials;Metal sections;Order indications;Performance tests;Permanent ways;Profile;Quality;Rail joints;Rails;Railway applications;Railway rails;Railways;Resistance welding;Sections;Specification;Steel welding;Steels;Suitability;Testing;Tracks;Travel ways;Vignol rail;Weldability;Welded joints;Welding;Welding engineering;Welding equipment;Welding processes;Weldings

中文主题词认可；受批准组织；弯曲测试；对接焊；定义；设计；尺寸；电焊；闪光焊；检验；材料；金属型材；顺序示度；性能试验；永存性铁路；轮廓；质量；钢轨接头；钢轨；铁路设施；铁路钢轨；铁路；电阻焊接；型材；规范；钢件焊接；钢；适宜性；测试；轨道；旅行线路；丁字形铁轨；可焊性；焊接接头；焊接；焊接工程；焊接设备；焊接工艺；焊接法

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

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

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

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

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