查询词典 formalism

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

On one side, it criticizes the traditional way of value view education in our country including the critique to dualistic-opposition method, the rejection to formalism method and the sublating to indoctrination method. On the other side, it argues the application of value view education including both drawing lessons from traditional persuading methods, model demonstration method, edification method, self-cultivation method and applying to the dilemmatic story method, character-acting method, value-clarifying method.

最后，对价值观教育方法的运用进行了分析，一方面，对我国传统价值观教育方法进行了检讨，它包括对非此即彼二元对立方法的批判，形式主义方法的拒斥和灌输方法的扬弃；另一方面，论述了我国价值观教育方法的运用，它既包括对传统的说服教育法、榜样示范法、陶冶教育法和自我修养法的借鉴，又包括对两难故事法、角色扮演法和价值澄清法等新方法的运用。

This direction was in contrast to and broke with the restraints of a formalism engrained in him during his education in both Science and Architecture at Tianjin University (where he was to graduate in 1981), and has led to his current acclaim as a pioneer in the school of abstraction.

与他在天津大学学习科学和建筑学期间其脑海中留有深刻印象的方向相反，他打破了形式主义的约束力，从而使他成为一个抽象派先锋。

As the essential component of Chinese culture, traditional favonian pattern is a kind of formalism in the art field.

我们把这些具有历史渊源，富于民间特色，又蕴含吉祥祈盼的图案，称之为中国传统吉祥图案。

A density operator formalism is established to describe the behavior of a homonuclear two-spinsystem in rotating solids.The longitudinal magnetization transfer and single-quantum coherencetransfer between two different spins are analyzed well.

建立了描述旋转固体中同核自旋对行为的密度算符理论，分析了自旋对之间的纵向磁化转移和单量子相干转移的物理特性。

A new density operator formalism for describing thecoupled high-spin systems was proposed.The formula ofevolution of density operators under the effect of weakspin-spin coupling were derived.Some experiments wereanalyzed include refocused INEPT and homonuclear COSY(for2D nuclear).

五提出一种描述高自旋体系密度算符演化的新方法，推导了高自旋体系和自旋算符在弱偶合哈密顿作用下的演化公式，并以■核(2D)为例，计算了重聚INEPT和同核COSY实验谱。

The popularity that its generation always is aimed at overelaborate, empty formalism and flush, because this " is ancient,clumsy " style is containing critically consciousness.

梗概： &古拙&风格在中国绘画史中享有崇高地位。它的产生总是针对着繁缛、空洞的形式主义的流行和泛滥，因此&古拙&风格蕴涵着批判意识。

Films polybromide heatsealing layer extruded compound thin films, you can reduce production costs and putting it in the compound formalism·, heatsealing and putting it in, and automatic packaging suitable to their needs, and so on.

复合薄膜的热封层采用多层共挤复合薄膜，可以在降低生产成本的同时，兼顾其复合适性、热封适性和自动包装适性等。

The phase structure function and atmospheric coherent length based on Kolmogorov model is just the proximation of the formalism derived here.

基于科尔莫戈罗夫模型的大气相位结构函数和相干长度仅仅是本文推导结果的近似。

It is through a formalism way that the school pursues obj ectivity,positivism,preciseness and pat-tern of literary criticism,and this one -sidedness does not really make it scientific.

该流派是站在形式主义立场去追求文学批评的客观性、实证性、精密性乃至模式性的，但其片面性使它并不具有真正的科学性。

According to our present broadcasting situation,the thesis proposes using new technology to update and reform the present HFC. It also suggests broadcasting using self-advantage and arranging EPON in order to win the supermarket.

论文从我国广电的现状出发，结合实际，积极倡导采用新技术更新、改造我国现有的HFC网络；倡导广电现阶段利用自身优势，部署EPON网络来赢取市场。

A new general kinetic equation was derived in which the effect of the removal of condensation water was taken into account completely, and was applied to the polyesterification kinetic study of AA/HPHP and AA/NPG. It was found that the reaction order of self-catalyzed polyesterification was not constant. For these polyesterifications, the reaction order was 2.5 at a low temperature, while 3.0 at a high temperature.

考虑缩合水的排除对反应体系的影响，用体积浓度单位推导出一个新的聚酯反应总包动力学方程，并应用到AA/HPHP和AA/NPG两个聚酯化反应的动力学研究中，研究发现，自催化聚酯反应的反应级数并不是固定值，对于AA/HPHP和AA/NPG两个聚酯化反应而言，低温时反应级数为2.5，高温时反应级数为3.0。