元

Xu Ting is very clear when taking money its are not had overdraw functional bank has more than yuan 170 only on card, the input when he takes a money for the first time takes an instruction 1000 yuan pure belong to innocently, after be being buckled 1 yuan, his much 999 yuan are belonged to civil those who go up is undeserved benefit; But, he knows perfectly well these 999 yuan not only later is not he deserved belongings will still its glom on to, and the identifying that uses an ATM is wrong, occupy promising purpose to be inputted intentionally 170 times continuously again with ill will exceed its the instruction ill will of amount of real bank savings takes a money, its behavior is belonged to trade by the contract the crime that behavior derives, accord with " criminal law " the 224th of the 5th regulation " it is a purpose with detinue, in sign, in fulfilling contract process, with property of the opposing party of other method diddle " of contract crime of fraud make important document.

许霆在取钱时很清楚其不具备透支功能的银行卡上只有170余元，他第一次取款时输入1000元取款指令纯属无意，被扣1元后，他多得的999元属于民事上的不当得利；但是，之后他不仅明知该999元不是自己应得财产仍将其据为己有，而且利用柜员机的识别错误，以恶意占有为目的又连续170次故意输入超出其实际存款数额的指令恶意取款，其行为属于由合同交易行为衍生出的刑事犯罪，符合《刑法》第224条第5项规定的"以非法占有为目的，在签订、履行合同过程中，以其他方法骗取对方当事人财物的"合同诈骗罪的构成要件。

The quaternion calculation for spacecraft attitude determination is investigated in this paper,including the transformation between quaternion and the direction cosine matrix,the quaternion differential equation,the selection of time steps for integrating the quaternion equation,and the compensation methods for the noncommutativity error in high dynamic motion.

介绍了四元数计算中的相关问题，包括四元数与方向余弦阵之间的转换、四元数运动方程、求解四元数运动方程时积分步长的选取和高动态应用中非互易误差的补偿，此外还介绍了对偶四元数的发展。

Said cell resorting method includes using sorting label generating module inserting time mark and serial number mark into cell, then transmitting cell from source port to target port; resorting module according to received cell carried time mark and serial number mark resorting cell enqueue information.

该信元重排序方法包括以下步骤：使用排序标签生成模块将时间标记和序号标记插入信元，然后将信元从源端口发送到目的端口；重排序模块根据在目的端口接收到的信元携带的时间标记和序号标记，重排序信元的入队信息。

Based on the prior information obtained by qualitative inversion, the two stages inversion method was put forward. That is, the first stage is that distinguishing the high-quality element and non- high-quality element, and determining the initial iteration value of element sound velocity reasonably. The second stage is that treating differentially the constraint weights of the high-quality element and non- high-quality element, and then quantitatively inversing the final sound velocity distribution. The results of two concrete specimens indicate that the two stages inversion method can inhibit artifacts effectively and has better defect identification effect than normal one stage inversion.

在获取定性反演先验信息的基础上，提出了两阶段反演的方法：第一阶段，区分优质像元和非优质像元，合理确定像元声速的迭代初值；第二阶段，区别对待优质像元和非优质像元的约束权重，定量反演最终的速度分布。2个混凝土试件的模型试验表明，两阶段反演能有效抑制伪像，具有比常规的一阶段反演更好的缺陷识别效果。

Firstly, it's proved that the base of free monoid is unique, and that the equation of a base, a generating set and a irreducible generating set in the semigroup with length; Secondly, it's given the relation of a primitive word and a word of indecomposable--Let and is indecomposable, then is primitive ;And by using the length's method and chart,some properties of primitive word have been proved and the solutions of the equation , are discussed; Lastly, on the base of some proposition in Free monoids and Languages ,the proofs of some properties are improved by instruction. For example: Let be a primitive word over X, where .Then is a code. And let then if and only if {} is a code.

首先，讨论了含幺半群中基的基本性质及基与最小生成元集的联系，并给出了含幺半群中基、生成元集、不可约生成元集三者之间的关系；证明了在有唯一长度的半群S中，不可约生成元集、基、最小生成元集三者之间的等价关系；其次，讨论了字的组合与分解性，得出了字的本原性与不可分解性之间的关系---若为不可分解的，则一定是本原的，反之，不一定真；并运用图示法证明了字的可补性理论，讨论了方程，的可解性；在此基础上，用归纳法进一步证明了本原字与码的有关命题--若是X上的一个本原字，其中，则是一个码；若则当且仅当{}是一个码。

The reason why quaternion is used in flight simulation of fighter aircraft and the geometric meaning of quaternion are described,according to axis system used in flight simulation of fighter aircraft in China,three problems are introduced as follows:(1) quaternion kinematic equations,(2) relationship of quaternion and coordinate transformation matrix,(3) Euler angles in terms of quaternion.

阐述了在战斗机的飞行仿真中采用四元数的原因和四元数的几何意义，并按照中国战斗机飞行仿真中采用的坐标系，介绍了三个问题：四元数运动学方程；四元数与坐标变换矩阵的关系；用四元数表示的欧拉角。

The method transfers the observed data from space domain to 2-D space-time domain by exploiting the cross-correlation of the array outputs,and a large amount of virtual elements are generated through space-time processing.Therefore the constraint over the array configuration and the element identity can be significantly weakened,which means the matching subarray is no longer needed and the advantage of the traditional DOA matrix method,such as automatical parameter alignment and no need of 2-D search,is still available.

该方法在保持原DOA矩阵方法无需二维谱峰搜索和参数配对等优点的基础上，利用阵元输出之间的互相关关系将空域的阵列观测数据变换到时空域，通过空时二维处理在时空域中衍生出大量虚拟阵元，从而大大减弱了传统方法中对阵列结构、排布方式和阵元一致性的约束，不需要匹配子阵，无冗余阵元与孔径损失，并适用于阵元排列不规则的阵列。

In vector optimization one investigates optimal elements such as minimal, strongly minimal, properly minimal or weakly minimal elements of a nonempty subset of a partially ordered linear space.

前言在向量最优化中，人们研究偏序线性空间中非空子集的最优元，比如极小元，强极小元，真极小元或者弱极小元。

Finite element methods are analyzed, where the stress is approximated by the discontinuous Raviart-Thomas element of lowestorder,and the velocity by the piecewise constant element,and the Lagranian multiplier by the trace space of the piecewise continuous linear element.

然后发展其有限元方法：对应四变量分别用间断型Raviart-Thomas最低阶元，分片常数元，连续线性元和连续线性元的迹空间，我们获得了稳定性和最优误差界，通过后处理办法，我们得到一个适合于计算的速度-压力格式，该格式可视为"mini"元方法的一个变形（本文格式中引用了局部投影算子）。

A renaming is a function mapping propositional variable to itself or its complement, a variable renaming is a permutation over the set of propositional variables of a formula, and a literal renaming is a combination of a renaming and a variable renaming.

许道云 ，董改芳，王健改名是一个将变元映射到变元本身或它的补的函数，变元改名是公式变元集合上的一个置换，文字改名是一个改名和一个变元改名的组合。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。