查询词典 faithful representation

In the former representation, if no restrictions are imposed on formulas, then there is no algorithm to realize the reasoning in the resulted knowledge base; in the latter representation, the reasoning in the ontology represented by the description logic is decidable, while in general, for mathematical knowledge described by the first order logic which contains the ontology represented by the description logic, there is no algorithm to realize its reasoning.

在前者的表示中，如果对公式不作任何限制，那么得到的知识库中的推理不是可算法化的；在后者的表示中，以描述逻辑描述的本体中的推理是可算法化的，而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的。

The main contributions are as follows:(1) The decoherence suppression of N level Markovian systems is investigatedby the optimal control in the coherence vector representation. The N level Markoviansystem can be described by the master equation, and possesses a standard bilinear formin the coherence vector representation.

本论文利用密度矩阵相干向量表示研究了退相干效应的抑制和相应的纠缠控制问题，论文主要工作包括：(1)在密度矩阵相干向量表示下，利用最优控制研究N能级Markov系统的退相干抑制问题。N能级Markov系统可以用主方程模型描述，在相干向量表示下具有标准的双线性形式。

From Representation to Action Naturalism Approaches of Intentionality Abstract: Through the discussion of intentionality in the cognitive science and the analyses about representation intentionalism, interpretationism intentionalism and intentionalism of philosophy of action, this dissertation depicts the naturalism approaches of intentionality and discloses the defection about them.

从表征到行动——意向性的自然主义进路摘要：本文目的是把意向性放置在认知科学的背景中讨论，通过考察表征意向论、解释主义意向论和行动哲学意向论，揭示意向性的自然主义进路及其存在的问题。

Overcomplete sparse representation can obtain the sparsest possible representation of the object and a resolution of sparse objects that is much higher-resolution than that possible with traditional non-adaptive approaches.

超完备稀疏表示能够获得最可能稀疏的图像表示，能获取比传统的非自适应方法更高分辨率的信息。

Create the explicit representation of the dimension model from the parametrical representation.

2根据尺寸的参数表示生成尺寸的显式表示。

The dimension model is represented by both explicit representation and parametrical representation.

第六章讨论VP系统采用的尺寸表示、尺寸关系的描述、零件模型和装配模型的参数控制。

The result revealed that 1 From the cultural point of view, the tension between Tayal culture's "speech-based representation system" and Chinese culture's "character-based representation system" cause Tayal students difficulties carry out the transformation of representations. 2 Tension formed between Tayal students'"wholeness and conferring of meaning" thinking framework, and "partialness" presented in teaching material and teaching activities, is unfavorable for their understanding of mathematical concepts. 3 Tension is formed between Tayal culture's "open ended discussion" style and "close ended discussion" style in mathematics class, which lowered the opportunity for Tayal students to communicate mathematical knowledge.

研究结果发现：从文化的角度来看，泰雅文化的「言说表徵系统」与汉文化的「文字表徵系统」之间的张力，导致泰雅学生不易进行数学表徵的转换；泰雅学生「整体观及意义赋予」的思考方式与教材或教学方式所呈现的「部分观」所形成的张力，不利於泰雅学生理解数学概念；泰雅文化的「开放式对谈模式」与数学教室的「封闭式对谈模式」所形成的张力，减低了泰雅学生沟通数学知识的机会。

The phonemic representation and the phonetic representation of the following sentence can show the complex relationship.

代表性的音位和拼音代表性以下一句可以显示的复杂关系。

Also, prajna is the individual phase of representation, and vipasyana is the general phase of representation.

所以，般若是个人的表现阶段，毗婆舍那是表现的一般阶段。

The "daVinci representation"(right panel of Figure 6) is a comprehensive visual representation of the scoliotic spine that illustrates the orientation of the planes of maximum curvature of the 3 spine segments in the transverse view. The center of the circular plot is the point where the central hip vertical axis (CHVA, CHVA is a true vertical bisecting the bi-femoral head axis, often considered to represent the physiological center of balance of the spine-pelvic unit) intersects the transverse plane and every arrow radiating from the center represents a spine segment (PT, MT, and TL/L).

圆的圆心是位于髋中心的Z轴与横断面相交点(CHVA，CHVA是双侧股骨头连线重点的垂线，通常作为脊柱-骨盆单元生理平衡的中点)及每个箭头发自表示脊柱节段的中心。

He studied their excrement for evidence of livestock hair.

他为家畜毛的证据研究他们的粪便。

Loneliness is not grounds for deportation, deportation of the people are not all lonely people.

寂寞也不是放逐的理由，放逐的人也并不都是孤独的人。