若干

Several affect factors of cylinder part limiting drawing parameter in deep-drawing were summarized in detail. Some new and practically applicable equations for estimating the limiting drawing parameter in the cup-drawing of a cylindrical cup with a flat-nosed punch are derived separately based on the load-maximum principle for localization of the plastic flow.

目前，国内外对极限拉深系数进行的研究较多，文献中详细地总结了板料成形中圆筒件极限拉深系数的若干影响因素，并基于最大承载原则提出了一些计算圆筒件极限拉深系数的实用公式。

The compact minimal submanifold of a Locally symmetric and conformally flat Riemannian manifold are studied, and obtain the following intrinsic rigidity theorem.

研究了局部对称共形平坦黎曼流形的紧致极小子流形，即设M是局部对称共形平坦黎曼流形的n维紧致极小子流形，得到了这种子流形的若干内蕴刚性积分不等式，给出了流形全测地的限制条

By analyzing several currently-used visual displaying schemes for cranes simulation training, a display concept based on enhanced virtuality is proposed and some key issues in it are discussed. Manipulation based human-computer interaction technology is studied and two typical virtual controller are realized by associating the time or the location parameter of modeling with its movement parameters. A implement method of physical controller is presented based on virtual keyboard mapping technology and a compact and flexible control box prototype is obtained. Using it, users can operate the virtual crane conveniently.

分析了目前起重机模拟培训常用的几种视景显示方案，提出了一种基于增强现实的显示概念，并对其中若干问题的实现方法进行了探讨；研究了基于操纵的人机交互技术，通过时间或造型位置与起重机运动参数之间建立的联系，实现了两种典型的虚拟控制器；提出了一种基于虚拟键盘映射技术的物理控制器解决方案，设计了一个小巧、灵活的控制盒原型，可以方便地操作虚拟起重机并实现有关运动。

In this paper, many concepts and propositions in measure theory are described and characterized by nonstandard analysis in nonstandard saturation model, and some important conclusions in Loeb measure space are extended and developed to a certain extent.

本文在非标准饱和模型下，利用Loeb测度对测度论中的若干概念和命题进行了非标准描述和刻画，并在一定程度上推广和发展了Loeb空间的一些重要结论。

Parts of the log book were recognized.

航海日志的若干部分还是能被辨认出来的。

Are discussed. Logical test can identify and diagnose PCB's fault through the difference of logic voltage level.

本文第2章针对这种变化讨论了印刷电路板检测中的若干基本问题。

The concept of relative Γ-tautology degree of formulas in four important propositional logics, Lukasiewicz logic, L(superscript *) logic, Gdel logic and product logic, has been proposed, and basic properties of it are obtained.

基于广义重言式理论，在四种重要的命题逻辑系统Lukasiewicz系统，L系统，Gdel系统和Ⅱ系统中，引入了公式的相对Γ-重言度概念，给出了相对Γ-重言度的若干性质。

E Husserl, the scientist, logician, psychologist and philosopher, had founded several complicated systems, and kept changing the point on the basis of which he established his systems.

胡塞尔作为科学家、逻辑学家、心理学家和哲学家在其一生中建立了若干个理论体系，并且不断的改变着其体系的落脚点。

Some virtual interfere sources are set on the look-in domain, the proposed algorithm adjusts the intension of them iteratively and makes the designed main-lobe on arbitrary direction inosculated the reference main-lobe, then the steering-invariant constant beamwidth beampattern is obtained after some iterative calculations.

在整个观察区域内设置若干虚拟干扰源，用迭代方式不断调整干扰源强度，使任意波束指向上的波束主瓣都与相应的参考波束主瓣吻合，最终获取方向不变恒定束宽波束图。

At this point the impeller wheel and the water loop to form a crescent-shaped space between, and this space has been divided into the impeller and leaves an equal number of a number of small cavities.

此时叶轮轮毂与水环之间形成一个月牙形空间，而这一空间又被叶轮分成和叶片数目相等的若干个小腔。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。