数学

Equilibrium; continuous selection; the fixed point theorem; variational inequality; minimax theorem; H-space

基础科学，数学，数学分析均衡；连续选择；不动点定理；变分不等式；极小极大定理； H-空间

Based on classical theory of mechanics, analytical procedure was developed to predict initial stiffness, plastic stiffness and plastic ultimate moment capacity of top-and-seat angle minor axis connections.

根据本文的理论计算结果，使用三参数幂函数和指数函数两种数学模型模拟了钢框架梁柱弱轴顶底角钢连接的弯矩—转角曲线，理论分析得出的数学模型和试验结果吻合较好。

He was a tutor in mathematics at Christ Church, Oxford, and Alice's search for a beautiful garden can be neatly interpreted as a mishmash of satire directed at the advances taking place in Dodgson's field.

他是基督教堂的一个数学辅导教师，牛津和爱丽丝寻找美丽的花园的经历可以被巧妙地描述为发生在道森奇对数学领域讽刺的混合体。

Until now, there are many kinds of machine language systemwhich are use to prove mathematical theorems, and several of them are recognized bythe mathematician and computer experts, such as HO1, Mizar, PVS, coq etc.

迄今为止，世界已有多种可用来进行数学命题证明和逻辑推理的机器语言系统，但其中只有少数几种语言可被普遍接受并受到数学家与计算机专家的认可，如HOL、Mizar、PVS、Coq等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

Mathematics is a technical subject, and students should learn a modicum of technical skills because these skills are the source of its power.

数学是一门技术学科，学生应该掌握适当的技巧，因为这些技巧是数学力量的源泉。

A mathematical model of interceptor missile was constituted based on moment of momentum theorem. And with a view to mathematical model and fire logic of thrusters, a neural network controller of attitude motion system was designed for interceptor missile: acquiring basal controller based on simple method, and adjusting control parameters of simple controller using neural network.

首先基于动量矩定理建立了拦截弹姿态运动的数学模型，然后针对数学模型和推力器点火逻辑的特点，设计了拦截弹姿态运动系统的神经网络控制器。

The catalytic performance of cobalt complexes which contain mono- or bidenate phosphorus, nitrogen ligand on displacement reaction have been studied.

用建立的喷雾反应过程数学模型计算所得结果也与实验数据相吻合，验证了该数学模型的普遍性。

Second order differential inclusion; boundary condition; usc multivalued map; fixed point; monotone map; Yosida approximation; solution tube; upper-lower solutions; critical point; PS-condition; C-condition; Sobolev space

基础科学，数学，数学分析二阶微分包含；集值边界；上半连续集值映照；不动点；单调算子； Yosida逼近；解管道；上下解；临界点； PS-条件； C-条件； Sobolev空间

In mathematics, a morphism is an abstraction derived from structure-preserving mappings between two mathematical structures.

数学上，一个态射是两个数学结构之间保持结构的过程的一种抽象。

Delay differential equations; variational structure; Minimax theory; Morse theory; multiple periodic solutions; subharmonic solutions; Z_p geometrical index

基础科学，数学，数学分析时滞微分方程；变分结构；极小极大理论； Morse理论；多重周期解；次调和解；广义Z_p几何指标

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.

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