查询词典 derivable

At a formal level, an axiom is just a string of symbols , which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system .

在正式一级，公理只是一个字符串的符号，它的内在含义只有在所有derivable公式的公理化体系。

We prove that the Jordan semi-triple derivable maps of the algebra of all n×n matrices over a 2-torsion free commutative ring with unity is the sum of an inner derivation and A_φ, where A_φis the image of A underφapplied entrywise andφis an additive derivation over R.

证明了作用在一个包含单位元的可交换的2-无挠环上的矩阵代数上的拟三重Jordan可导映射是一个内导子与A_φ的和(这里A_φ是A在φ下逐点作用的像)。

The paper studied how to structure a kind of counterexample function in the analysis and widespread application emphatically, further pointed out the misunderstandings easily appeared in the concept and theorem of continuity, derivable, integrable, and other analytic properties of the function and gave the corresponding counter-example finally.

研究了一类函数在分析学相关反例构造中的应用，进一步指出有关函数的连续、可导、可积等分析性质的概念与定理中容易出现的误区，并给出相应的反例，希望能引起高校师生对该类函数的重视，进一步提高教学效果。

These results are derivable from the theory of quantum mechanics.

这些结果是根据量子力学理论推导出来的。

When there is one harmonic source in electric power system, the harmonic component could be derivable.

当电力系统中只有一个谐波源时，各点的谐波电压可以方便的求出。

Derivable mappings play an important role in the study of the structure of operator algebras.

引言导子是算子代数领域的一类重要映射，它对认识算子代数的结构有着重要的作用，如文献[2-3]。

The sharing with derivable CAPP is discussed in theory.

并对系统与派生型CAPP系统之间的信息共享问题，进行了初步的理论探讨。

In chapterⅡ, Firstly, we research the derivable mappings at unit and the anti-derivable mappings at zero point on Von Neumann algebra M.

证明了在单位可导和在单位反可导的范数连续的线性映射是M上的内导子，在零点反可导的范数连续的线性映射是M上的广义内导子。

Subsequently, we discuss the generalized derivable mappings at zero point on standard operator algebras and show that every generalized derivable mapping at zero point on standard operator algebras is a generalized inner derivation.

其次又对标准算子代数上的在零点广义可导的线性映射进行了讨论，证明了标准算子代数上的在零点广义可导的线性映射是广义内导子。

Secondly, we discuss generalizedderivable mappings at unit and Jordan derivable mappings at unit on Von Neumannalgebra, and we prove that every norm continuous linear mapping generalized deriv- able at unit is a generalized inner derivation, every norm continuous linear mappingJordan derivable at unit is a inner derivation.

其次对Von Neumann代数M上的在单位广义可导和在单位Jordan可导的线性咉射进行了讨论，证明了在单位广义可导的范数连续的线性映射是M上的广义内导子，在单位Jordan可导的范数连续的线性映射是M上的内导子。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐