给出廖山涛一个关键的组合引理一个几何式的证明。
It is given a geometrical proof of an essential combinatorial lemma of Liao.
平面几何式架构的简约，特殊角度形状受屋顶和外墙的限制，使流线和内部组织清晰、灵活。
The plan geometry is deceptively simple, the characteristic angled shapes are limited to the roof and the external wall, making the circulation and internal organisation clear and flexible.
迪特·容格的艺术作品中的几何式视觉诗，是与光、动力、时间和空间有所关联，但是参观者才是“实境中视觉影像的指挥”。
The visual geometric poem in Dieter Jung's artistic works connects the light, drive, time and space, but only the viewers are "the commander of the visual image in the real situation".
实际上，众多网站对几何形状的使用量非常之大，以至于总的来看web倾向于一种“框式”美学设计。
In fact, so many sites make such heavy use of geometric shapes that the web tends to have a "boxy" aesthetic overall.
不断地检查ifxin otherlist 会导致效率成 big-O 式几何级数递减；在两个固定排序的列表之间进行平行匹配的效率要高得多。
Constantly asking if x in otherlist runs into geometric big-O inefficiencies; marching in parallel between two stably-sorted lists is more efficient. For example
单元的刚度矩阵和几何刚度矩阵全部显式给出。
The element siiffness matrix and the geometric stiffness matrix etc. are explicitly presented.
分析横轴式截割头摆动截割时截齿的运动轨迹，建立了其几何模型和运动方程。
By analyzing motion orbits of picks when a horizontal cutting head cuts, geometry models and motion equations are set up in the paper.
应用此方法，以制动时间最短为目标，在几何约束、强度约束、温度约束等条件下，对盘式制动器的主要设计参数进行了优化设计。
The improved PSO is then applied to optimal design of disk brake in order to minimize the brake time under the conditions of geometry constrain, intensity constrain and temperature constrain.
你会发现与西方园林的规则几何型园林不同，中国的园林建造者努力使园林看上去显得自然天成，宛如天然的自然式山水风光。
You may find that different from the western gardens with regular geometry designs, Chinese garden designers strive to make the gardens appear naturally formed, like natural landscape scenery.
“起居空间设计成开放式的布局，但是由于空间上几何形体的组成，在视觉上得到保护并保证一定的隐私，”他补充道。
"The living room area is also designed in open layout but is likewise protected from view and enjoys a degree of privacy thanks to the spatial geometric play," he added.
研究了具有固定敲定价格的几何型亚式期权在任意有效时刻的定价问题。
This paper studies the pricing on Asian geometric average options with fixed strike price at any valid time.
分析钉柱高度、基座高度、钉柱个数和钉柱直径等几何参数对叉指式散热器综合散热性能的影响。
The heat transfer performance which effected by the main geometrical parameters such as the height of circular pin, the base height o.
还通过数值模拟分析比较了传统再装期权与几何亚式一再装股票期权在经理激励中的作用。
This article also compares reload stock option with geometric Asian-reload stock option in the manager's role by numerical simulation.
该文介绍了门式仿真培训系统中系统几何模型的建立过程以及利用固定方向包围盒(FDH)实现系统的碰撞检验。
This article discusses the construction of geometrical modeling in simulation training system for portal crane and the implementation of collision detection by the use of fixed direction hull (FDH).
本文介绍了若干种综合使用了几何描述法并应用于直接式训练对准工具的新型技术。
New Developments in Vision Technology for Object Location and Inspection Several new techniques for directly training alignment tools synthetically using geometric descriptions are described.
本文介绍了FCAD系统中三类家具零件几何模型与层次式数据结构的设计考虑。
In this paper, the design considerations of the geometric modelling for three types of furniture parts and the hierarchical data structure of the FCAD system are presented.
具体地分析了指针式仪表的几何特征参数，在此基础上提出指针式仪表视觉检测系统的测量原理。
On the basis of concrete analysis of the geometric feature parameters of the gauge, the measuring theory of the computer vision test system is suggested.
利用几何非线性的应变-位移关系式，在小变形假设条件下确定单元耦合形函数。
The element coupling shape function meatrices are derived by means of geometrically nonlinear strain displacement relation un-der small deformation assumption.
建立WW B型脉动式无级变速器的几何模型。
Firstly, the geometry model of WWB Impulse stepless speed variator is presented.
本文介绍了FCAD系统中三类家具零件几何模型与层次式数据结构的设计考虑。
In tills paper, the design considerations of the geometric modelling for three types of furniture parts and the hierarchical data structure of the FCAD system are presented.
讨论黑体燕尾腔的设计原理，写出它的黑体模拟数学式，给出适用腔体的几何参数。
The design principle of blackbody swallow tail cavity is discussed, its blackbody simulating mathematic equations and the geometric parameters of cavity are given.
实践证明，应用最长距离法筛选地面控制点，是提高遥感影像多项式几何校正精度的有效途径。
Practices prove that applying LDM to filter GCP is to raise the precision of geometric rectifying effectively.
几何约束系统可以分为陈述式和构造式两类。
Geometric constraint systems can be divided into two categories: declarative and constructive systems.
根据渐伸线型线圈的特点和几何关系，推导出求解渐伸线条式线圈的计算公式和方法。
According to the characteristics and geometrical relationship of involute coils, the writer derives the formula and obtains a method for calculating the involute coils.
这是用于表面几何量测量的激光干涉式轮廓仪的软件部分源代码。
This is the surface geometry for measurement of laser interferometric Profiler part of the software source code.
以抛物面壳为例，介绍了用节点坐标为未知量分析复杂剪式铰结构几何问题的方法和几何设计的步骤。
Geometry analysis and design procedure of complex pantograph structures are studied with joint coordinates as variables and parabolic shell is taken as an example.
本文针对单线铁路混凝土重力式桥墩，研究了考虑材料非线性和几何非线性的分析方法。
In this paper, an analysis method in consideration of the nonlinearity of materials and geometry for gravity concrete piers in railway Bridges is studied.
本文针对单线铁路混凝土重力式桥墩，研究了考虑材料非线性和几何非线性的分析方法。
In this paper, an analysis method in consideration of the nonlinearity of materials and geometry for gravity concrete piers in railway Bridges is studied.
应用推荐