查询词典 first order

The canonic OC expansion of the first-order Boolean partial derivative of the OC type logic function was discussed.

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式。

The results demonstrated that the fractional conversion and reaction rate were rapidly increased in the initial curing reaction. The higher the curing temperature, the higher the fractional conversion and reaction rate was. With increasing of the curing temperature and time, the fractional conversion and reaction rate decreased and became constantly. The initial curing reaction was a first order reaction. The apparent activation energy and frequency factor of curing reaction used G- capryl ester was bigger than that of used G-oligomer.

结果表明：固化体系在研究的固化温度下，转化率和反应速率在固化反应初期增加快速，温度越高增加越快，随着固化时间的延长，这种变化逐渐变慢，并最终趋于恒定；初期固化反应为一级反应，反应初期的表观活化能和指前因子大小顺序为G-预聚体＞G-辛酯。

The result indicated that the process of coprecipitation foam separation could be regarded as a first order reaction.

结果表明该泡沫分离过程可等效为一级反应，结合停留时间分布测定对该过程的数学模型进行了分析讨论。

Kinetics analysis showed that the photochemical reaction kinetics of 4,4'-DI3B was pseudo-first order reaction in n-hexane solution, and the reaction was a process of debromination step by step.

动力学分析表明，4，4'-DBB在正己烷中的光化学反应为准一级反应，是一个逐步脱溴的反应过程。

Description logic is the decidable fragment of the first order logic and suitable for modeling the concept terminology of domain knowledge.

描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建模。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

1引言 描述逻辑是知识表示的一种形式化语言匡，适合表示关于概念和概念层次结构的知识，因此也叫做概念表示语言和术语逻辑。

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.

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

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.

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

Results show that ascorbic acid and dehydroascorbic acid of cloudy strawberry juice in the storage process are unstable to the heat treatment; the degradation of ascorbic acid and dehydroascorbic acid accords with first-order dynamic, which indicates that this degeneration dynamic model is logical and effective, and can be used in selection of storing temperature and prediction of storage period at different temperatures.

结果表明：草莓浑浊汁在贮藏过程中还原型维生素C和氧化型维生素C对热不稳定，还原型维生素C和氧化型维生素C降解符合一级反应动力学。经过验证表明该降解动力学模型有效，可用于草莓浑浊汁贮藏温度的选择和预测不同温度下的贮藏期。

Based on the first-order shear deformation theories of composite laminated plate and beam, a free vibration FEA model and method of the laminates with multiple through-width delaminations and that of the composite stiffened composite plates with multiple circle-embedded delaminations have been developed in this thesis and a linearity contact model to simulate the interacting of delaminate area was established during vibration analysis process.

目前对于含分层损伤结构的研究工作还大多停留在单分层模型上，因此建立更能反映实际损伤情况的多分层模型、建立具有广泛应用性的数值分析方法具有重要的理论意义和工程价值。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。