1) subdirect product decomposition
次直积分解
2) direct product decomposition
直积分解
1.
Boole complement elements and the direct product decomposition of R_0-algebra;
R_0-代数的Boole可补元与直积分解
2.
Further study is made on pseudo-t-norms and implication operators on a complete lattice, their direct products and direct product decompositions.
讨论了完备格上的伪 t-模与剩余蕴涵算子以及它们的直积与直积分解 ,给出了积格上伪 t-模或蕴涵的偏单调性的定义以及正则伪 t-模和正则蕴涵的定义 ,最终得到了积格上伪 t-模或蕴涵可以直积分解的充分条件以及积格上正则伪 t-模或正则蕴涵可以分解的充要条件 ,完全解决了 DeBaets提出的直积分解条件问题 。
3) factorization of direct product
直积分解
1.
In the group theory,the direct product is an important concept and the factorization of direct product is an important studying method.
直积分解是群论中的一种重要研究方法 。
2.
In this paper,the author studies the factorization of direct product of the finite commutative group Z*n.
研究了有限交换群Zn*的直积分解,同时给出分解的方法和例子。
4) weak direct product decomposition
弱直积分解
1.
In this paper, we establish the weak direct product decompositions of lattices generated finite-wisely by co-primes, and solve the problem of direct product decompositions of complete Heyting algebras generated by co-primes in a new way.
本文建立了并素元有限生成格的弱直积分解，并给出一个解决并素元生成的完全Ｈｅｙｔｉｎｇ代数的直积分解问题的新方法；作为弱直积分解的应用，证明了并素元有限生成的完全Ｈｅｙｔｉｎｇ代数必然同构于有限个既约的完全Ｈｅｙｔｉｎｇ代数的直积， 证明了并素元有限生成格是Ｂｏｏｌｅ代数的充要条件是它同构于某有限集的幂集格。
5) m-times integrated solution family
m次积分解类
1.
Time optimal control of infinite dimensional systems described by m-times integrated solution family;
被m次积分解类刻画的无限维系统的时间最优控制
6) dual direct product decomposition
对偶直积分解
补充资料：《金匮要略直解》
《金匮要略直解》
《金匮要略直解》 金匮著作。三卷。清·程林编注。刊于1673年。本书主要征引《内经》、《神农本草经》、《伤寒论》、《脉经》、《甲乙经》等古典医籍，并参考六朝、唐、宋有关著作，对《金匮要略》加以诠解。所谓直解，即“以经证经，要在直截简明，义理详明，期于取用”（见凡例）。种以经解经的注释方法虽避免了以往某些注家囿于主观臆测，但却反映出程氏学术思想趋于保守而很少发挥出人创见。现存清刻本。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条