|
|
|
 |
|
|
|
|  | | 为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。 | |
In the case of 4-dimensional anticommutative algebras a construction is given that links the associated cubic surface and the 27 lines on it with the structure of subalgebras of the algebra.
|
| 例句来源 | |
The aim of this paper is to discuss a construction of a class of linear isomorphisms σ:S(g)→U(g) which commute with the adjoint representation.
|
| 例句来源 | |
However, there are many examples that do not arise from this construction.
|
| 例句来源 | |
Using the properties ofn-Hopf algebras we show that certain spaces do not admit the structure of ann-valued group and that certain commutativen-valued groups do not arise by applying then-coset construction to any commutative group.
|
| 例句来源 | |
We give complete proofs of the K-theoretic construction of the quantized enveloping algebra of affine gl(n) sketched in [GV].
|
| 例句来源 | | 更多 |
|
We construct essentially all the irreducible modules for the multiparameter quantum function algebraF?φ[G], whereG is a simple simply connected complex algebraic group, and ? is a root of unity.
|
| 例句来源 | |
In [Ka1] its geometric counterpart was applied to construct contractible smooth affine varieties non-isomorphic to Euclidean spaces.
|
| 例句来源 | |
For each compact Lie algebra g and each real representationV of g we construct a two-step nilpotent Lie groupN(g, V), endowed with a natural left-invariant riemannian metric.
|
| 例句来源 | |
We give the classification of all finite dimensional Levi-Tanaka algebras of CR codimension two and construct the corresponding standard homogeneous CR manifolds.
|
| 例句来源 | |
We modify the Hochschild φ-map to construct central extensions of a restricted Lie algebra.
|
| 例句来源 | | 更多 |
|
The distribution characteristics of protective relaying data flow and the constitution of the end-to-end delay of messages were analyzed.
|
| 例句来源 | |
Constitution and Properties of Nanocomposites Prepared by Thermal Decomposition of Silver Salts Sorbed by Polyacrylate Matrix
|
| 例句来源 | |
This study involves 72 young men with various levels of working efficiency and elucidates the relationship between human morphological constitution by the type of age-related evolution of the organism and parameters affecting hemostasis.
|
| 例句来源 | |
Interrelations between the Constitution Type and Features of Muscular Activity Energetics in Sprinters and Stayers
|
| 例句来源 | |
There was a difference in the distribution of constitution types between the sprinters and the stayers.
|
| 例句来源 | | 更多 |
|
|
|

| | Two classes of universal automata are given. An automaton in the first class consists of six registers, namely, input-output register v, tape address register a, halt sign register b, "arithmetic" registers c and d, and instruction register e, and m tapes, namely, program tape, working tape, and others. All the instructions are address-less, they are "load instruction" instruction e0. access instructions e1-e6, output instruction e7, input instruction e8, optional halt instruction e9, and "arithmetic" instr... | | 本文利用有穷集合上变换分解的性质和自动机归约的方法,构造两类通用自动机。 | | 文摘来源 | | This paper presents a method for checking syntactic errors of ALGOL 60 source programs. This method consists in reducing the handling of recursivity of syntactic definitions to that of the structures without boldface type words and the combinations of the connective boldface type words of structured statements. It is simple and easy, and has been implemented on the computer PALLAS in Nanking University (i. e. version 1555 of PALLAS ALGOL 60 Checker). As a result of applying this Checker to so many user prog... | | 本文介绍检查 ALGOL 60 源程序语法错误的一种方法。该方法在于把处理语法定义的递归性问题约化为处理无粗体字结构及构造型语句连接粗体字的组合问题。它平易简捷,已在南京大学PALLAS计算机上实现(即1555 ALGOL 60错误检查程序)。对数十个用户程序的应用表明:它一次可查出几乎所有的编译时刻错误。文中简略叙述了1555版本的特点,并就实例与原有编译系统进行对照。本文也指出了这版本的不足之处与改进方向。 | | 文摘来源 | | This paper presents a method for checking syntactic errors of ALGOL 60 source programs. This method consists in reducing the handling of recursivity of syntactic definitions to that of the structures without boldface type words and the combinations of the connective boldface type words of structured statements. It is simple and easy, and has been implemented on the computer PALLAS in Nanking University (i.e. version 1555 of PALLAS ALGOL 60 Checker). As a result of applying this Checker to so many user progr... | | 本文介绍检查ALGOL 60源程序语法错误的一种方法。该方法在于把处理语法定义的递归性问题约化为处理无粗体字结构及构造型语句连接粗体字的组合问题。它平易简捷,已在南京大学PALLAS计算机上实现(即1555 ALGOL 60错误检查程序)。对数十个用户程序的应用表明:它一次可查出几乎所有的编译时刻错误。文中简略叙述了1555版本的特点,并就实例与原有编译系统进行对照。本文也指出了这版本的不足之处与改进方向。 | | 文摘来源 | |   | | << 更多相关文摘 |
|
相关查询: | |
对查询结果不满意
|
|
|
|