模数的

The injective rings play an important role in the study of rings and categories of modules . First , we introduce the notion of ann-injective rings and CT-injective modules .Second,we make an inquiry into a series of their properties.Third,we give the definition of homological dimension of CT-injective modules.At last,we give the definition of FGT rings which is the extension of cogenerator rings.

本文对环与模范畴中一重要的模类—内射模进行了延拓，引入了ann -自内射环以及CT -内射模的概念，探讨了它们一系列的性质，并定义了CT -内射模的同调维数，最后对余生成子环进行推广得到了FGT -环，讨论了它与CT -内射环的关系以及它的一些性质。

Moreover,using Ito differential formul a to the constructed Lyapunov function along solutions of lto stochastic differential systems,Lyapunov method is adopted to set up the fundamental theory of dissipativity in the module corresponding to the theory on the dissipativity of deterministic ordinary dif- fere.

提出了有关Ito型随机微分系统耗散性理论的新概念：按模耗散、按模等度耗散和按模一致耗散，并利用Lyapunov方法，借助于Ito 微分公式沿着Ito型随机微分系统的解对所构造的Lyapunov函数求导数，给出了Ito型随机微分系统有关按模耗散理论的一些代数判据，获得了与确定性常微分系统耗散性理论相对应的结论，最后的算例证明了该方法的有效性和可行性。

It is often seen that only lower order modes of the beam without large overallmotions are chosen to reduce the number of the generalized coordinates,the simulation,however,is able to reach certain accuracy.

本章对不同转速和中心刚体半径下模态截断法和有限元法的仿真结果进行比较，根据两种方法的振动基频的相对误差确定了模态截断的阶数与转速、中心刚体半径的关系，提出了模态截断的准则，解决了模态截断法的精度问题。

By replacing pseudo-Mersenne numbers with generalized Mersenne numbers, we propose a new notion-Generalized Optimal Extension Fields, and study the fast arithmetic about multiplication and modular arithmetic in GOEFs.

利用广义Mersenne数代替伪Mersenne数，提出了广义最优扩域的概念，并研究其上的快速乘法运算和取模运算，为乘法运算给出了通用的复杂度公式，为取模运算给出了具体的运算公式，推广了Bailey，Mihailescu和Woodbury等在最优扩域上的相应结果。

The results show that the entanglement of field-atom reduced to a stationary value with time evolution and the entanglement between two modes increase to another stationary value with intrinsic decoherence, and the values only depend on the two-mode photon number and mean photon number.

结果表明，存在内禀退相干时，随着时间的演化，场一原子纠缠逐渐减小到一个确定值，而模间纠缠逐渐增大到一个确定值，两者演化的最终值只取决于双模光子数差和平均光子数，而与内禀退相干因子无关。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Some new conceptions are presented about the dissipativity theory of Ito stochastic differential systems as follows:dissipativity in module,equi-dissipativity in module and uniform dissipativity in module.

提出了有关Ito型随机微分系统耗散性理论的新概念：按模耗散、按模等度耗散和按模一致耗散，并利用Lyapunov方法，借助于Ito微分公式沿着Ito型随机微分系统的解对所构造的Lyapunov函数求导数，给出了Ito型随机微分系统有关按模耗散理论的一些代数判据，获得了与确定性常微分系统耗散性理论相对应的结论，最后的算例证明了该方法的有效性和可行性。

The working principle of a novel short st roke linear DC motor wit h permanent magnet s is presented. Mixed digital - analog cont rol approach based on DSP ( TMS320L F2407A) is proposed. Displacement detecting and cont rol technique are discussed. Displacement detecting circuit s , digital - to - analog converter (DAC7641) expanded circuit s and cont rol software are given.

阐述了一种新研制的短行程永磁直流直线电机的工作原理，提出了基于DSP ( TMS320L F2407A)的短行程直流直线电机数、模混合伺服控制系统方案，重点对直线电机的位置检测及控制技术进行了研究，给出了DSP 控制器的位置检测接口电路、16 位双极性数模转换器(DAC7641)的扩展电路和控制软件的实现方法。

We also propose program optimization technologies: removing integer DIV and MOD, upraising common code for reducing the complex array subscription effectively.

为此本文进一步研究了数据变换和重构手段，提出通过直接扩展数组范围、构造松弛数组范围和循环扭曲变换等技术，使数据变换后的数据规模尽量小；同时，通过采用整数模和整数除消除优化技术、代码上提优化等程序优化技术，简化了数组下标表示，有效地减少了数组下标计算开销。

The digital users signals comprising in-phase component and quadrature component are converted to analog baseband signals by digital-to-analog converters 104 and 114, which are followed by lowpass filters 106 and 116 for removing harmonics at unwanted frequencies.

包括同相分量和正交分量的数字用户信号通过数模转换器104和114转换成模拟基带信号，在数模转换器104和114的后面具有低通滤波器106和116，低通滤波器106和116用于去除在不期望频率处的谐波。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。