查询词典 make models

This paper presents a Tableau decision algorithm for the dynamic description logic D-ALCO.D-ALCO is a combination of the description logic ALCO,the dynamic logic,and an action theory based on the possible models approach.

以D-ALCO的构建过程为基础，将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来，给出了D-ALCO的Tableau判定算法，证明了算法的可终止性、可靠性和完备性。

The Tableau decision algorithm for D-ALCO forms an elaborated combination of the Tableau algorithm for ALCO,the decision algorithm for propositional dynamic logic,and the embodiment of the possible models approach.

1引言作为一类用于知识表示的形式化工具，描述逻辑在信息系统、软件工程、自然语言处理等领域得到了成功应用[1]。

In order to obtain the rigorous solutions, we often use the algebraical Bethe ansatz method to solve these models.

在求解模型的过程中除了解析Bethe ansatz方法外，最常用的方法就是代数Bethe ansatz方法，这种方法可以严格地给出模型哈密顿量的本征值和相应的Bethe ansatz方程。

In the procedure of solving those open non-six-vertex-liked models, we generalized the algebraical Bethe ansatz method.

同时利用代数Bethe ansatz方法求解了带非对角边界矩阵的XXZ模型。

In accordance with the functions of analytical solution and numerical solution for solving algebraical equation group,a design approach was introduced to conduct the pole placement of PI and PID controllers for first and second order controlled models using the symbolic operation.

利用符号运算，针对代数方程组求解的解析解功能和数值解功能，提出了1种对1阶被控对象和2阶被控对象模型进行PI控制器和PID控制器极点配置的设计方法，给出了相应控制器结构参数的解析解，并在算例中进行了数值仿真验证。

Additionally, it is further illustrated that the temporal object model can algebraically generalize various traditional static and temporal relational models.

同时，发现并例证了时态对象模型对各种传统静态或时态关系模型的代数综合。

ABSTRACT］ Objective To study the pharmacological effects of oral medical ice and to provide for its evidence for clinical application. Methods The anti-inflammatory effect of OMI was determined on three inflammatory models: swelling of mice ear induced by dimethylbenzene, hind paw edema and back granuloma caused by hypodermic injection of agar in rats. The an- algesic action of OMI was studied by observing the mice's reaction to the heat simulation. The effect of OMI on bleeding time was tested by tail-cutting method.

摘要］ 目的探讨口腔医用冰的药理作用，临床用药提供依据方法制备二甲苯致小鼠耳部炎症、琼脂致鼠足肿胀急性炎症模型，大鼠琼脂肉芽肿慢性炎症模型，观察口冰对炎症的作用；采用热板法进行小鼠热刺激性疼痛试验，断尾法测定小鼠出血时间，观察口冰对小鼠疼痛及出血时间的影响。

Methods the anti-inflammatory effect of omi was determined on three inflammatory models: swelling of mice ear induced by dimethylbenzene, hind paw edema and back granuloma caused by hypodermic injection of agar in rats. the an- algesic action of omi was studied by observing the mice's reaction to the heat simulation. the effect of omi on bleeding time was tested by tail-cutting method.

制备二甲苯致小鼠耳部炎症、琼脂致大鼠足肿胀急性炎症模型，大鼠琼脂肉芽肿慢性炎症模型，观察口冰对炎症的作用；采用热板法进行小鼠热刺激性疼痛试验，断尾法测定小鼠出血时间，观察口冰对小鼠疼痛及出血时间的影响。

ResultsShuangxin Nasal Spray could obviously improve each kind of allergic rhinitis symptoms of guinea pig allergia models. Compared in medication administration groups with the control group,the nasal secretions,the frequency of sneezing and the times of griping nose are obviously reduced.

结果复方双辛喷雾剂对实验性变态反应性鼻炎豚鼠模型的各种变应性鼻炎的症状和体征均有明显改善作用；与模型对照组比较，各给药组动物鼻腔分泌物量、喷嚏次数、抓鼻次数明显减少；复方双辛喷雾剂还能显著降低豚鼠鼻黏膜中组胺含量(P﹤0.01)。

Finally, based on Allometric models, we investigated the distribution of assimilation in winter wheat root system.

冬小麦苗期叶片分生以后，随着积温的增加，叶面积呈指数增加。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。