在描述逻辑中加入认知运算符k可以得到认知描述逻辑。
By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.
完成这些修改之后，您就可以在您的卷组中扩展逻辑卷了，正如之前描述的。
With these changes finished, you should be able to extend the logical volumes in your volume group, as described shortly.
在本文描述的示例应用程序中，保护业务逻辑ejb，以使只有通过认证的用户可以调用特定的EJB方法。
In the sample application described in this article, the business logic EJB is secured so that only authenticated users can invoke specific EJB methods.
考虑到本文的目的，显示在SOAP消息中的任何数据类型编码是多么容易就已足够了，您可以用XML模式逻辑地描述该消息。
For the purposes of this article, it is sufficient to show how easy it is to encode any data type in a SOAP message that you can logically describe in an XML schema.
在逻辑数据模型中，要描述一些事物及其属性。
In a logical data model you are describing things and properties about these things.
组件的逻辑模型在较高级别描述项，但是Jazz使用较低级的存储模型来了解数据。
A component's logical model describes items at a high level, but Jazz USES a lower-level storage model to learn about the data.
描述数据元素在信息模型的逻辑上下文中的位置。
Place data elements within the logical context of the information model.
在描述Servlet请求和响应处理逻辑之前，让我们先讨论以下实用类HTTPOut put(下面的清单2显示了其中的一部分代码)。
Before describing the servlet request and response processing logic, let's discuss the utility class HTTPOutput, partially shown in Listing 2 below.
另外还描述了用于在“模糊”逻辑不正确地确定某个客户在规定名单中时覆盖错误的确定信息的管理员功能(OverrideAdministrationTool)。
Also depicted are administrator functions to override false positives that occur when the "fuzzy" logic incorrectly identifies a customer on the prescribed lists (override Administration Tool).
在逻辑模拟中用波形作为电路状态的描述工具，通过对波形的计算和检查实现精确的模拟。
Waveforms are used as a tool for describing circuits during logic simulation and accurate simulation is achieved by computing and checking waveforms.
在低层框架上构建应用逻辑层，并用元数据文件描述模块功能。
Application logic layer was established in lower layer frame, function module was described with metadata file.
在没有一个标准逻辑描述集体目标的今天，在某些约束下，给出集体目标的形式规范是可行的。
Since collective goals can't be described with norm logic, it is feasible to present the formal norm of collective goals in some restriction.
在句法阶段，他的整个工作可以描述为寻找一个逻辑—数学陈述的有效性标准(分析性的定义)的努力。
In the syntactic stage, his whole work can be described as attempts to build criteria of validity-analytic definitions - for logic-mathematical statements.
现代逻辑产生以来，名称问题上的学术论争集中在描述理论和因果理论之间。
Disputes about names since modern logic are between Descriptivist theory of names and Causal theory of names.
现代逻辑产生以来，在名称问题上的学术争议发生在描述理论和因果历史理论之间。
Disputes over names since modern logic are between Descriptivist Theory of names and Causal Theory of names.
后来，由库克描述了在维多利亚晚期时候的形式逻辑的重要性和提出图解的信息视觉推理的数学先驱，如维恩、马歇尔和拉罗尔等人。
Cook describes the importance of late Victorian logic in the form of diagrammatical information put forth by visual reasoning and mathematical pioneers such as Venn, Marshall, and Carroll.
目前在服务构件的组装过程中，大多采用手工描述业务逻辑，过程复杂、繁琐并容易出错。
In the assembly process of service component, manual description of business logic is very tough, complicated and error-prone.
考虑该实体认证协议的特点，采用改进语义的SVO逻辑对其进行合理性描述，并对其运行过程进行形式化的具体分析，发现该协议在认证过程中存在着双方认证不确定的缺陷。
Considering the characteristics of the entity authentication protocol, augment semantics SVO logic was used to describe its rationality and analyze its operation, and a flaw was found.
本文将研究属性探索算法在粗描述逻辑RALCQ系统有穷基问题的应用。
In this paper we will also study on finite base problem of rough description logic RALCQ by using our improved attribute exploration algorithms.
在银行信贷业务中，用CBDL对商业银行信贷业务逻辑进行描述，建立银行信贷业务模型，零码语言描述其非业务逻辑。
CBDL is used to modeling commercial bank credit business to establish bank credit model, then the business logic is modeled by zero-coded language in the bank credit application.
现代逻辑产生以来，名称问题上的学术论争集中在描述理论和因果理论之间。
Disputes over names since modern logic are between Descriptivist Theory of names and Causal Theory of names.
给出了一种单字节输入输出带记忆逻辑具体实例，并描述了这类逻辑在序列密码算法设计中的应用。
A detailed example which is byte-oriented was presented and the usual ways of application was exemplified.
在本文中，作者试图通过将赛义德定位为一名颠覆型的知识分子进行考察，以其作为其理论的内在逻辑主线，对他关于东方的理论进行系统的描述。
This paper tries to give a more systematic study of Said's theories concerning the conception and representation of the Orient through examining his positioning as a subversive intellectual.
现代逻辑产生以来，在名称问题上的学术争议发生在描述理论和因果历史理论之间。
Disputes about names since modern logic are between Descriptivist theory of names and Causal theory of names.
在描述性分析的基础上，本文的运用了二项逻辑斯谛回归模型进行了回归统计分析。
Based on a descriptive analysis, this paper adopts the 2-logistic regression model for regression statistical analysis.
在描述性分析的基础上，本文的运用了二项逻辑斯谛回归模型进行了回归统计分析。
Based on a descriptive analysis, this paper adopts the 2-logistic regression model for regression statistical analysis.
应用推荐