英汉词典

1.Theorem 3 Any enveloping Lie superalgebra of a solvable Lie triple supersystem is solvable, and if a Lie triple supersystem has some solvable enveloping Lie superalgebra, it is solvable.

定理3 可解李三超系的任意包络李超代数是可解的，而且若李三超系有可解的包络李超代数，则它也是可解的。

2.Theorem 3 Any enveloping Lie superalgebra of a solvable Lie triple supersystem is solvable, and if a Lie triple supersystem has some solvable enveloping Lie superalgebra, it is solvable.

定理3 可解李三超系的任意包络李超代数是可解的，而且若李三超系有可解的包络李超代数，则它也是可解的。

3.Although we had about ten big subsystems in the supersystem, representatives from only seven of these subsystems routinely showed up for the weekly architecture checkpoint.

尽管我们在这套超级系统中拥有大约10个大型的子系统，但只有7个子系统对于每周的构架检查点具有代表性。

4.When considered as the primary OS or part of a mixed-OS supersystem, Linux is now present in 469 of the supercomputer sites, 93.8% of the Top500 list.

当被看作是超级系统的基本操作系统或者混合操作系统的组成部分时，Linux现在占有469个位置，即占Top500超级计算机的93.8％。

5.The development team on a BPI project is actually a team of teams, each responsible for a large subsystem of the supersystem.

BPI项目的开发团队实际上是一个拥有很多团队的团队，每个团队负责超级系统中的一个大型的子系统。

6.Even a "new" application is not likely to introduce brand new functionality into the supersystem.

3即使一个新应用软件也不可能将完全崭新的功能引入到超级系统中来。