查询词典 forms

A manner is presented with which complex curves including polylines, conics or free curves can be precisely represented, and corresponding algorithm is designed. The curve can be C〓 or C〓 continuous. So all type of curves and their composites can be represented in NURBS. A deep research is paid to skinning surface. Different forms of the formation of knots vector are applied to different section forms.

对由多段直线、二次曲线、自由曲线进行任意组合的这类复杂曲线，提出了一种用一条NURBS曲线进行精确表示的方法，并设计了相应的算法，曲线段连接处根据需要可为一阶连续或形成尖点，从而使所有类型的曲线及由它们任意组合所生成的复杂曲线统一用NURBS表示。

Choose cards from the set according to a couple of very simple rules, arrange them in numerical order (as shown in the code number of each card) and make them interlocked to form "a chain of S-shaped links", and a somewhat formulaic manifestation of one of the several hundred forms of any one of the English verbs, including those conjugational forms showing person, number, tense, voice and even the word order of the affirmative, negative, declarative or interrogative sentence, appears.

各卡片上标有构成英语动词全套变化的一种基本成分或基本组合形式，其语法意义和用途，以及分组代号，只须按一种非常简单的规则，选取卡片，顺序套排成一种"S形活络链条"式的卡片序列，就可得出任何一个动词包括人称、数、时态、语态、语气以及肯定、否定、陈述、疑问等数百种变化形式中任何一种形式的公式化表示。

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

In the traditional grammar of Wester languages, words are arranged to make a sentence according to their parts of speech; and those words which show special forms for their parts of speech, and may change their forms according to the rules of declension and conjugation.

在欧美语言的传统文法观念里，语辞依照它的词类，适宜排列来形成文章；而这些语辞，常有特定形态以供辨认其词类之外，也依照数时变化而作适当的形态变化。

Its"classical framework"has been shaped in The struggle for recognition: intersubjects has three recognition forms of love, rights and solidarity; accordingly, the development process of individual identity assumes three disrespect forms: violation of body, denial of rights and insult (denigration and degradation of one's way of life); the historical process of social conflict and change can be explained in terms of inner moral logic of the mutual recognition relations.

在《为承认而斗争》中，霍耐特承认理论的"经典框架"得以形成：①主体间存在爱、法权、团结三种承认形式；②相应地，在个体同一性的发展中，强暴、剥夺权利和侮辱表现为三种蔑视形式；③从相互承认关系内在的道德逻辑，可以解释社会冲突和变革的历史过程。

There is a single solution included with this download, the solution contains a Win Forms project called "LinqToObjects"; this project contains two forms the main form (frmContactBook and a form used to display the total list of contacts, a serializable class called Contact (used to contain contact related data), and a class entitled, Serializer which contains two static methods used to serialize and deserialize the contact data (writing it to and reading it from a file).

有一个单一的解决方案，此下载包含的解决方案包含一个双赢窗体项目名为"LinqToObjects"，这个项目包含两种形式（主要形式和用于显示的联系人总清单，一表一序列化类的所谓联系方式，以及一个名为，其中包含用于串行序列化和反序列化的联系资料两个静态方法类（书面形式并从文件中读取它）。

2Nd, thorough analysis: The Earth may say is an extremely marvelous thermonuclear reactor, when the earth interior pressure achieved certain critical, in the Earth material may decay the nuclear matter is called as the thermonuclear material, can have the thermonuclear reaction, thus has the huge energy, then the melted partial materials, form the rock magma are the liquid state materials, this response stratification plane is possibly many stratification planes, first possibly is located between the earth's crust and the mantle, upward next two transfers, displays for the light density material diastrophism as well as density upper mantle material phenomena and so on solidification; Under second possibly is located between the mantle and the core, the pressure is more formidable, causes not not easily to have the thermonuclear reaction thermonuclear material to have the response, forms the relative quite stable liquefied material level, simultaneously is upward next two transfers, forms the counter-flow phenomenon which the high density under mantle as well as the high density core material contact liquefies and is far away cools; These material periodicity regular movements and so on convection as well as Earth polar axis rotation are possibly the basic source powers which the terrestrial magnetic field produces.

深入剖析：地球可以说是一个非常奇妙的热核反应堆，当地球内部的压力达到一定的临界，地球物质中可衰变的核物质统称为热核物质，就会发生热核反应，从而产生巨大的能量，进而融化部分物质，形成岩浆即液态物质，这个反应层面可能是多个层面，第一层可能位于地壳与地幔之间，向上下两边对流，表现为轻密度物质的地壳运动以及中密度上地幔物质的固化等现象；第二层可能位于下地幔与地核之间，压力更为强大，引起不易发生热核反应的热核物质发生反应，形成相对比较稳定的液化物质层，同时向上下两边对流，形成中高密度的下地幔以及高密度地核物质的接触液化和远离冷却的对流现象；这些对流以及地球极轴自转等物质周期性规律性运动可能是地球磁场产生的根本源动力。

This book is intended to provide a working knowledge of those parts of exterior differential forms, differential geometry, algebraic and differential topology, Lie groups, vector bundles, and Chern forms that are essential for a deeper understanding of both classical and modern physics and engineering.

本书试图提供外微分形式、微分几何、代数拓扑、微分拓扑、李群、向量丛、Chern公式等前沿知识，它们对于深入理解经典物理、现代物理以及工程都是必需的。

The first part gives the general theory of modular groups, modular forms and Hecke operators, with emphasis on read.freeduan.com the Hecke-Weil theory of the relation between modular forms and Dirichlet series.

第一个部分给标准化的组的一般的理论，标准化的形式和Hecke 操作者，重点在read.freeduan.com在标准化的形式和Dirichlet 系列之间的关系的Hecke-韦尔理论。

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。