查询词典 simple algebra

If A is D-simple, i. e., A doesn't have any nontrival D-stable ideal, we have the generalized Weyl type simple algebra A .

Der为A上所有F-结合导子组成的李代数。D为Der的任一非零交换李子代数。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Week 3 Simple vibrator model- spring vibrator, kinetic equation of simple vibrator and its solution, illustration method of simple vibration with rotating vector, energy of simple vibrator.

第3周 简谐振子模型——弹簧振子；简谐振子的动力学方程及其解；简谐振动的旋转矢量图示法。简谐振子的能量。

Result: The thyrotoxic hepatic damnification on patients with hyperthyroidism is significant different compared with simple viral hepatitis and simple hyperthyroidism（P＜0.05）,the treatment of hyperthyroidism with viral hepatitis recovered liver function significantly, the T3、T4 in hyperthyroidism with viral hepatitis were higher than that in simple viral hepatitis or simple hyperthyroidism.

结果：甲亢合并病毒性肝炎肝功能损害比单纯甲亢及单纯病毒性肝炎都明显，且有显著性差异（P＜0.05），抗甲亢治疗能改善甲亢合并病毒性肝炎患者肝功能的恢复，甲亢合并病毒性肝炎比单纯甲亢血中T3、T4升高明显，导致甲亢加重。

According to the algorithmic characteristics of video coding, general video decoder can be classified by three classic tasks. First is the low-leveled task for simple control, which focuses on calculation. It is called dense-calculation task when the requirement for calculation is higher. Second is the data-dependence task for simple calculation but sophisticate control, which belongs to middle-level task. More sub-states exist inside the task and the transition of the sub-states depends on input data and lacks of rules. Third is the simple-system task, part of advanced tasks, with simple calculation but no rules, the complexity of which mainly lies in the control of multi-tasks to complete certain function coordinately.

根据视频的编解码算法特性，一般的视频解码器可以分为三种典型的任务：以运算为主，控制简单的低级任务，当运算要求很高的时候我们可以称之为运算密集型任务；运算简单，但是控制复杂，任务内部子状态繁多，而且跳转依赖于输入数据而无规律，这类任务我们可以称之为数据依赖型任务，属于中级任务；运算简单而无规则，复杂度主要集中在控制多个任务协同进行以完成某一特定功能的简单系统型任务，属于高级任务。

After rain of the morning is simple, also beautiful; the young girl who has no face-painting is simple, also beautiful; the kid's language is simple, also beautiful; the mother's concern is simple, also beautiful.

雨后的清晨是简单的，也是美的；素面的少女是简单的，也是美的；孩童的语言是简单的，也是美的；母亲的关切是简单的，也是美的。

Using the main result, we also obtain a simple criterion to check if a given C(superscript *)-algebra A is Abelian, that is, A is Abelian if and only for any two positive elements a, b∈A, there is a'∈A such that ab=ba'.

利用文中的主要结论，还得到了判断C-代数A是交换一个简单条件，即A是交换的当且仅当对A中的任何两个正元a，b存在a'∈A使得ab=ba'。

Using the main result, we also obtain a simple criterion to check if a given mathrm C^*-algebra A is Abelian, that is, A is Abelian if and only for any two positive elements a, bin A, there is a'in A such that ab=ba'.

利用文中的主要结论，还得到了判断 mathrm C^*-代数 A 是交换一个简单条件，即 A 是交换的当且仅当对 A 中的任何两个正元 a， b 存在 a'in A 使得 ab=ba'。

The algorithm is simple and fast as compared with the Boolean algebra algorithm of adjacency matrix .

本文给出一种判断有向连接图中节点是否可达的算法，与一般相邻矩阵的布尔代数算法相比，具有简便快速的优点。

This simple result is at the root of the arithmetic and algebra of Brownian motion and particle diffusion.

这个简单的结果是粒子扩散和布朗运动的算术和代数基础。

Anna: No, I've got a hangover.

不是，我昨晚宿醉了。

We head into the mountains in Su's new Land Cruiser, stop for lunch at a scenic restaurant and then hang around drinking beer and eating fruit as two of his employees attempt to lure the birds with a tape recording of the fowl's mating call.

我们坐上苏的巡逻车向山顶出发，在一家风景优美的餐馆吃了中饭。然后我们喝着啤酒吃着水果四处逛。