查询词典 parallel axis theorem

Here the Y axis was set to the standard axis system Y axis, and a 15 degrees angle was set in relation to an edge parallel to the X axis.

这里Y轴的设置方式如同标准轴系统Y轴的设置方式，15度表示绕X轴转动的角度。

Disclosed is a leaky-wave dual polarized slot type antenna, including: first and second feeding circuit sections comprised of N-first strip lines and N-second strip lines with a loop every first period along the X-axis on the first dielectric layer and a second period along the Y-axis, in which the N-first strip lines and the N-second strip lines are parallel to each other being alternate, and each length of Ls1 and Ls2 for the first period satisfies the equation of , first and second multi-channel dividers formed at once and the other sides of the first dielectric layer, to connect the N-first strip lines and the N-second strip lines parallel with each other; and first and second central ports formed in the opposite direction of the cavity, each of the feeding circuit sections being connected to the first and second multi-channel dividers; and first and second slot sections being formed by patterning the second shielding layer, in which M-first and M-second slots are arrayed along the direction of the X-axis and each of the first and second slots forms N-row first and N-row second slot arrays, respectively, which cross the first and second strip lines for each, the first slot and the second slot being orthogonal to each other.

公开了一种漏泄波双偏振槽型天线，包括：第一和第二馈电回路部分，其具有沿着X轴在第一介电层每第一周期以及沿着Y轴的第二周期形成具有环路的N第一带状线和N第二带状线，其中N第一带状线和N第二带状线彼此平行并交替，并且对第一周期的各Ls1和Ls2的长度满足等式，第一和第二多通道分配器寻形成在第一介电层的一侧和另外一侧上，以连接彼此平行的N第一带状线和N第二带状线；以及形成在腔的相对方向中的第一和第二中心端口，每个馈电回路部分连接到第一和第二多通道分配器；以及第一和第二槽部分，所述第一和第二槽部分通过对第二屏蔽层形成模式而形成，其中M第一和M第二槽沿着X轴的方向安置，各第一和第二槽分别形成N行第一和N行第二槽阵列，其对每个横过第一和第二带状线，第一槽和第二槽彼此正交。

Currently, research of parallel databases mainly focuses on relational database, and parallel environments are always based on special parallel architectures. With the rapid expanding of the markets of object-relational database, requests to parallel processing are increasing screamingly Certainly it will be significant to build a parallel objectrelational database. But it is a challenging work too.

本文分析了我国电力系统运行特点及其对短期调度与运行优化提出的要求，针对调度中心能量管理系统的重要组成部分——短期调度与运行优化，应用数学规划的理论和方法，解决复杂水火系统短期经济调度中的水火电计划与调度和电网络运行优化问题。

Kinematics and dynamics modeling and analyzing method of a 3-RRRT parallel robot was studied. Kinematic model of the 3-RRRT parallel robot was set up with both the branch bar's relative coordinates and movable platform's absolute coordinates used as it's generalized coordinates. On the base of Kane's equation, dynamics model of the 3-RRRT parallel robot was built. Dynamic Numerical simulation of the 3-RRRT parallel robot was finished by using Matlab software, and so it provides valuable reference for motion control strategy of the 3-RRRT parallel robot.

研究一种3-RRRT新型高速搬运机器人运动学与动力学建模及分析方法，以支链构件相对运动坐标和动平台绝对运动坐标作为广义坐标，建立了3-RRRT型并联机器人的运动学模型，结合带乘子的凯恩方程建立了3-RRRT型并联机器人的动力学模型，并利用Matlab软件平台进行了动力学数值仿真，进而为3-RRRT型并联机器人的控制策略研究提供参考。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

To the problem of unbiasedness of L 1 estimation,basing on uniqueness of solution,Zhou Shijiang proved it according to dual theorem of linear programming; and Wang Zhizhong proved it according to probability statistics theorem by using the method from special to general; also,basing on error distribution theorem and probability statistics theorem,the authors proved it.

对于L1 估计的无偏性问题，周世健基于解法的惟一性，根据线性规划的对偶理论，证明了L1 估计的无偏性[5] ；王志忠根据数理统计理论，采用由特殊情形推广到一般情形的方法，证明了L1 估计的无偏性[6] 。

Based on much knowledge, contrasting to linear programming; we extend duality theorem (including weak duality theorem and strong duality theorem), complementary slack theorem to conic optimization. Hence we find out some significative conclusions and existing conditions under which their duality gap is zero of two optimizations.

在此基础上，通过与线性规划作对比，将对偶定理、互补松弛定理等推广到锥规划问题中，得到了一些有意义的结论，并且得到了这两个规划的零对偶间隙的存在条件。

By using the partition theorem of unity, a continuous selection theorem for a multimap from a compact Hausdorff topological space to a finitely continuous topological spaces (simply, FC-spaces) without any convexity structure was obtained, and from which and Tychonoff fixed point theorem, a collectively fixed point theorem for a family of multimaps on the product space of compact FC-spaces and several collectively fixed point theorems for a family of multimaps on the product space of non-compact FC-spaces were given.

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间的集值映射的连续选择定理，并从该结果和Tychonoff不动点定理，得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理，对文献中的相应结果进行了改进和一般化。

Chapter 2 deals with some refinements of the central limit theorem for a class of non-uniformly hyperbolic dynamical systems called Youngs system, such as local central limit theorem and so-called Berry-Esseen theorem giving the rate of convergence in the central limit theorem.

在第二、三章中，我们考虑一类重要的非一致双曲动力系统的统计性质-中心极限定理，及其进一步的精细结果如局部中心极限定理，带有收敛速度的中心极限定理。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。