模

Finally, after defining an evaluation module of the corresponding Loop superalgebra (Section 4), two major results of the paper -Theorem 4.land Theorem 4.2 are proved: Theorem 4.1 reduces the irreducibility of the tensor product of finitely many evaluation modules to the irreducibility of the tensor product of finitely many irreducible modules of a nilpotent Lie superalgebra; Theorem 4.2 gives a criterion for the tensor product of such modules to be irreducible.

第4节在定义了相应的Loop超代数的赋值模之后，证明了本文的两个主要结论：定理4.1和定理4.2。定理4.1将有限多个赋值模其张量积的不可约性归结为一幂零李超代数的限多个不可约模其张量积的不可约性；定理4.2利用不可约指标给出了一幂零李超代数的限多个不可约模其张量积仍不可约的判别准则。

Then we discuss comodule algebra on the Hopf algebroid. If L is finite generated as a left R-projective module, left L-comodule category is equivalent to the left L〓-module category.

然后讨论Hopf代数胚的余模代数，如果L是有限生成的左R-投射模，那么左L-余模范畴与左L〓-模范畴是等价的。

The pattern of camber die-drawing are optimized. The physical innate character of drawing with camber die is analyzed thoroughly. For the first time, the periodical relation between the limit drawing coefficient and the large longitudinal stress in dangerous section is established. Furthermore, the rationale to judge limit deforming degree is developed. Then, the limit drawing coefficient of drawing with camber die is proposed. Based on the criterion that the large stress in flange is smaller than that of limit value, the formula of drawing with camber die without wrinkles is deduced.

对拉深凹模的型式进行了优化；深入地分析了曲面凹模拉深成形的物理本质，首次定量地确定了极限拉深系数与危险断面最大径向应力的关系，提出了判断极限变形程度的依据，分析了极限承载能力，建立了曲面凹模拉深的极限拉深系数的表达式；以凸缘切向最大压应力小于凸缘切向压应力临界值为准则，推导出了曲面凹模拉深不起皱的理论表达式。

The paper summerizes several general pratical new techniques, such as the analyzers of program profiles, maximum potential parallelism, array privatizability, loop parallelism; the visualizers of the statement data dependence graph, procedural callgraph, loop iteration space graph and interactive tools of array privatization and unimodular transformation; the automatic techniques of array privatization combined data dependence and coverage, the computation of parallelizing unimodular transforming matrix for mult-nested loops, enhanced unimodular transformation with array reduction recognition, non-loop level parallelism revealing technique, dynamic dataflow analysis and optimization of cross-loop local cache reuses, etc.

本文从而概括了若干具有一般性的实用新技术，如：程序计算量分析、最大潜在并行性分析、数组私有化分析、循环并行性分析等动态程序分析技术；语句数据相关图、过程调用图、循环迭代空间相关图、交互数组私有化、交互幺模变换等可视化语义交互分析变换技术等等；总结了若干自动并行化新技术，如：结合相关和覆盖的数组私有化方法、对多层嵌套循环计算幺模并行化变换矩阵的循环幺模变换方法、结合数组规约识别增强幺模变换的技术、发掘非循环级并行性的技术、动态数据流分析技术、优化利用循环间Cache数据局部性的技术等等。

Firstly, the 3D solid model of the analyzed object is built directly in the FEM software ANSYS 8.0 without using other CAD software. The influence of the side sizes of solid elements on computing results and the influence of coupling ways between different parts on the modal parameters are researched by simply modeling. And a new connecting method about joints in ANSYS is proposed and applied to finite element modeling of the test-bed for spindle system. Furthermore, several different computing techniques for modal parameters extraction are compared in solving the finite element model of spindle system test-bed. Many modal solutions are also done to achieve the relationships between the whole or part stiffness value and computed modal parameters. The laws about joint rigid parameters" influences on modal parameters are discussed by means of altering their values for conjoint parts. And by changing local rigid parameter values, the different location selections" influence on computed modal parameters is also studied.

本文通过使用ANSYS 8.0软件直接建立研究对象的实体结构模型，而没有借助其他的CAD软件；通过构建简单的模型研究实体单元边长大小对计算结果的影响，部件之间不同的联结方式对模态参数的影响，探讨在ANSYS中实现结合部的方法，提出一种新的联结方法，并建立主轴系统试验台的有限元模型；对建立的主轴系统试验台有限元模型求解，比较几种不同模态提取方法；通过改变结合部联结单元的刚度参数进行的计算，寻找联结刚度对模态参数变化的影响规律；改变局部联结单元的刚度参数，研究刚度值位置差异对计算模态参数的影响。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

The results show that corresponding to the positive / negative phase of interdecadal modes of the North Pacific SST, the anomalous patterns of the atmospheric circulation and climate in positive phase are opposite to that in negative phase, it indicates an important impact of these interdec...

其结果极为清楚地表明，对应北太平洋SST的年代际模的正、负位相，大气环流和气候异常的形势都近乎相反，充分说明SST年代际模的重要作用；由于北太平洋SST的两个年代际模有十分相近的水平结构特征，它们对大气环流和气候的影响也有十分相似的特征；北太平洋海温年代际模对大气环流的影响在中高纬度地区呈正压结构特征，而在热带地区的响应主要有斜压结构特征。

You can find out it is the major temporary work, such as formwork, rebar jig, equipment etc. during the FPLM construction, in which the cost of the inner mould and outer form of box girder, the steel form of pier and pierhead of substructure, the rebar jig as well as the launching equipments are quite high. The quantity of those equipments was always depended on experience in the pass time. Therefore the more of the form quantity is used the higher of direct costs would be spent. On the other hand it would be reduced the capacity of production if the equipments are insufficient.

在全跨预铸工法中所使用的生产设备仔细观察可发现，预铸工法中假设工程(如模版、钢筋加工架以及施工机具等)所占比例相当高，其中有箱型梁的内模与外模床、下构的柱钢模、帽梁钢模、钢筋加工架、吊装机具等所占的成本相当高，以往设备数量多寡均以经验来取决，因此假如模版数量过多直接成本随之提升，反观模版资源数量不足时又会造成生产力降低情况发生。

An instantaneous optimal semi-active control method is put forward. Combined sliding mode control with lyapunov's stability theory, the control weights matrix, which can minimize structural instantaneous energy, is designed. Simulation and shaking table test is conducted to validated the method's effectiveness. To solve combination explosion of controlled structural state encountered in high-rise building control, the semi-active control strategy, which can drive structural state point to reach the sliding mode switching band, is designed by using sliding mode control theory, and genetic algorithm is used to find the optimal semi-active switching to drive the structural state point to sliding mode switching band at prestissimo speed.

提出了一种瞬时最优半主动结构控制方法，利用滑模变结构控制理论和Lyapunov稳定性理论设计使结构瞬时能量最小的半主动控制权矩阵，仿真实例和振动台试验验证了本文所提方法的有效性和实用性；为解决在高层建筑半主动控制中半主动控制器状态组合爆炸的问题，利用滑模变结构控制理论设计在Lapunov稳定意义下使结构在运动状态空间中任一相点于以最快速率到达滑模切换带的半主动控制策略，并用遗传算法找出了最快到达滑模切换带的半主动控制切换组合。

In this topic, the dynamic analysis methods for piezoelectric vibrator are studied systematically based on the theoretical model, FEM numerical experimentation and FEM governing equation for given compound-mode vibrator, and some valuable conclusions are obtained. The main work accomplished is summarized as follows: 1.Elaborate the main modeling methods for piezoelectric vibrator and the significance and necessity to study the dynamic characteristics of piezoelectric vibrator which emphasize the urgency of this paper. 2.Take the bending deformation induced by piezoelectric ceramic as example, the energy transfer mechanism of electric energy to mechanical energy are analyzed; the motion and force transfer mechanism are analyzed for the longitudinal-bending vibrator. 3.Based on mode assumption and Hamilton principle, the coupling model of piezoelectric vibrator of linear USM is built; moreover, the equivalent circuit model is obtained and a coupling equation represents the relation between electric parameters and mechanical parameters is derived which provides foundation to match the vibrator and driving circuit. 4.Combine the constitutive equation of piezoelectric ceramic with elastic-dynamical equation, geometric equation in force field and the Maxwell equation in electric field and the corresponding boundary condition equation, the FEM control equation for piezoelectric vibrator of USM to solve dynamic electro-mechanical coupling field is established by employing the principle of virtual displacement. The equation lays the foundation to study the non-linear constitutive equation of piezoelectric ceramic driven by high-power. 5.Define the dynamic indexes of characteristic of vibrator and carry out variable parameters simulation by calculating the model parameters and the electric characteristics of vibrator are simulated according to the equivalent circuit model. By numerical experimentation, the working mode of vibration of vibrator and the shock excitation results of the working frequency band which provides the mode frequency to realize bimodal are analyzed. Detailed calculation of the electro-mechanical coupling field parameters is made by programming the FEM control equation.

本课题从理论模型、有限元数值试验、有限元控制模型等方面以复合振动模式振子为例对超声电机压电振子的动力学特性及其分析方法进行了全面系统地研究，得出了许多有价值的结论，主要概括如下： 1、阐述了目前针对超声电机压电振子的主要建模方法，对压电振子动态特性的研究意义和必要性进行了论述，突出了本文研究内容的迫切性； 2、以压电陶瓷诱发弹性体发生弯曲变形为例，分析了压电陶瓷通过诱发应变来实现机电能量转换的机理；对基于纵弯模式的压电振子的运动及动力传递机理进行了分析； 3、基于模态假定，利用分析动力学的Hamilton原理，建立了面向直线超声电机压电振子的机电耦合动力学模型，并据此建立了压电振子的等效电路模型，导出了电参量与动力学特性参量的耦合方程，为压电振子与驱动电路的匹配提供了依据； 4、从压电陶瓷的本构方程出发，综合力场的弹性动力学方程、几何方程、电场的麦克斯韦方程以及相应的边界条件方程，采用虚位移原理，建立了压电振子动态问题机电耦合场求解的有限元控制方程，为研究其大功率驱动下的非线性本构模型奠定了基础； 5、界定压电振子的动力学特性指标，对压电振子的机电耦合动力学模型参数进行计算及变参数仿真；依据等效电路模型，对压电振子的电学特性进行了仿真分析；通过有限元数值实验，对压电振子工作模态附近的模态振型及工作频率附近的频段进行了激振效果分析，找出了实现模态简并的激振频率；利用有限元控制方程，通过编程计算，对压电振子的力电耦合场参数进行了详细计算，得出了一些有价值的结论。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失