形式

Although the localic Urysohn lemma was proved by Papert in 1958 early, and then Dowker and Papert improved this proof, but the localic Tietze extension theorem, which is stronger in form and is more convenient to be used, has not been proved for more than thirty years.

虽然Locale形式的Urysohn引理早在1958年即已由Papert证明，9年后Dowker和Papert又对此证明加以改进，但形式上更强、更便于应用的Locale形式的Tietze扩张定理却三十余年未获证明。

Aesthetic perceiver and creator stand outsider character\'s life-word and make use of extra-view to draw the outline of the whole life of the character. The concept of other, exteriority, and extra-view drive from the thought of "form is outline", which is the formation of Bakhtin\'s aesthetic creative theory.

他者—外位—超视原则是巴赫金审美创造理论的基本原则，这一原则来自于"形式即边缘"的观念，本文以"形式即边缘"这一观念为中心，从以下三个方面考察巴赫金的审美创造理论：一、形式即边缘的哲学基础。

Formalism can be said to be of the light quality, since its aim is formal, nothing else.

确切地说，我们有两种不同类型或质量的形式："轻"的形式和"重"的形式。

We give some equivalent characterizations of Bloch type functions in term of fractional derivative, via studying the relative of growth of the different order fractional derivatives of holomorphic function, including the form of supremum and limit, the form of integral and Carleson measure, which are the generalizations of some known results in the unit disc and in the unit ball.

我们从研究全纯函数分数次导数的增长性入手，利用分数次导数给出了它的一类刻画，包括上确界和极限形式的特征，积分形式的特征以及Carleson测度形式的特征，推广了单位圆盘和单位球上一些已有的结论。

Provided that the initial prior intensity of the states is Gaussian or can be identified as a Gaus- sian sum, the analytical results of the algorithm show that the posterior intensity at any subsequent time step remains a Gaussian sum under the assumption that the state noise, the measurement noise, target spawn intensity, new target birth intensity, target survival prob- ability, and detection probability are all Gaussian sums.

分析的结果表明，当初始的先验强度满足高斯或者可以表示成高斯和的形式时，通过将状态噪声、观测噪声、目标的繁衍、新目标的产生、目标的存活概率和检测概率表示成高斯和的形式，之后每个时刻的后验强度均能表示成高斯和形式。

Thirdly, there is a detailed review of the new ideas and styles in post-modernist landscape architecture, including new understanding on the relationship between function and form, the combination of classical and modern, the pursuance of the allusionism and meanings, the recognition of genius loci and contextualism.

而后现代园林多元化的设计风格主要从设计形式和设计内涵两个方面来分析，多元化的设计形式主要包括布局与构图、造型形式、材料和技术、色彩关系等四个层面，而多元化的设计内涵主要包括对传统的借鉴与对现代艺术的借鉴的两个层面，对设计作品进行多角度、多层次的分析和阐述。

The asterisk in this form is not a generalized glob or regular expression pattern, it is a special syntactic form.

这种形式中的星号不是一个通用形式的 glob 也不是正则表达式的模式，它是一个特殊的语法形式。

Different types and levels of development of the countries generally have taken a different political systems, but may also in some ways have the same or similar system; the same type and level of development of the countries generally have the same or similar political systems, but in some areas there may be very different:(1) according to state management form, namely the form of state power points, there is absolute monarchy system of slave society, the nobility republican, democratic republic; State has the absolute monarchy of feudalism, class representative of the monarchy, republican (little city-state has adopted); capitalist countries have constitutional monarchy and democratic republic two types of constitutional monarchy is divided into the dual monarchy such as the Hashemite Kingdom of Jordan, and a parliamentary monarchy like the United Kingdom, democratic republic is divided into parliamentary cabinet system, the presidential system and the committee system in three forms; of the socialist countries of the Soviet system of the former Soviet Union, former Yugoslavia, the delegation system, China and Cuba and other countries of the people's congress system and so on.

不同类型和发展程度的国家一般都采取不同的政治制度，但也可能在某方面有相同或相似的体制；同一类型和发展程度的国家一般都有相同或类似的政治制度，但在某些方面也可能有很大差异：（1）按国家管理形式即政权组织形式分，奴隶社会有君主专制制、贵族共和制、民主共和制；封建主义国家有绝对君主制、等级代表君主制、共和制；资本主义国家有君主立宪制和民主共和制两大类型，君主立宪制又分为二元君主制如约旦哈希姆王国和议会制君主制如英国，民主共和制又分为议会内阁制、总统制和委员会制三种形式；社会主义国家有原苏联的苏维埃制，原南斯拉夫的代表团制，中国和古巴等国的人民代表大会制等。

We present two novel schemes of the interpolatory volumetric subdivision over the hexahedron lattice.

我们基于多元B形式曲面及B网表示的方法，通过对L及W曲线性质的讨论，证明了三变量的B样条曲面是多元B形式中的曲面，并进一步证明和讨论了多元B形式中的有理W曲面及其相关性质。

In order to reasonably depict four basic problems with friction, one Coulomb friction new form in first Kirchhoff stress is proposed to deal with finite deformation problems, other Coulomb friction form in incremental mode to elastoplastic flow theory; Hilbert function spaces concerning elastoplastical problems with friction are established, so it makes all operations and calculations in the treatise standardized within the scope of reasonably topologic structure; In view of functional extremum, the equivalence between generalized variational inequalities principles in elastoplasticity with friction and corresponding basic problems are testified by inducing Lagrangian multipliers, so it provides a rationally theoretical basis for numerical methods in elastoplasticity with friction; From the viewpoint of variational inequality, the theory of generalized variational inequalities in elasticity and elastoplasticity with frictional constraint is studied, and the uniqueness and existence of the solution of FEM is proofed under the proposed conditions of stress compatibility, and them FEM approximation and a discrete solution are discussed; Based on the principles of generalized variational inequalities in elastoplasticity with friction, direct generalized variational inequalities methods is pretended, which is a natural generalization and development of direct variational methods; Using generalized variational inequalities methods, some examples in metal forming including plane deformation, upset and extrusion are analyzed and the results prove that all the theories and methods in the paper are right, feasible, accurate and advanced.

主要内容有：为了合理地描述金属塑性成形中摩擦约束弹性、弹塑性基本问题，提出和研究了有限变形下以Kirchhoff第一应力表示的Coulomb摩擦定律形式和弹塑性流动理论下以增量形式表示的Coulomb摩擦定律表示形式；系统建立了摩擦约束弹塑性问题的Hilbert函数空间，使本文规范在一个具有合理的代数拓扑结构内进行一切操作和运算；利用Lagrange乘子，从泛函极值的角度系统地阐述和论证了一系列摩擦约束弹性、弹塑性广义变分不等原理与相应的实际问题之间的等价性，它为处理摩擦约束的弹塑性力学数值方法提供了合理的理论基础；从变分不等式的角度出发，阐述了对应于摩擦约束弹性、弹塑性问题的广义变分不等式理论，首次提出了在应力相容性条件下，它的有限元解具有存在唯一性，进而讨论了其有限元近似及离散解法；基于摩擦约束弹塑性广义变分不等式原理，首次提出了直接广义变分不等式方法，这一方法是直接变分法的合理推广和发展；利用直接广义变分不等式方法对金属压力加工中的平面变形问题、镦粗、挤压等塑性成形问题进行了分析计算，验证了该理论和数值算法的正确性、实用性、精确性和优越性。

It seems likely that Kraft will return with a better offer.

看起来卡夫要重新考虑一个更好的出价了。

But he'd rather burn off my feelers and watch me squirm.

可他却放任那个家伙对我为所欲为！