提出了利用正四面体的某些截面表示一定组成，得出相分离曲线和相分离曲面，并能较好地描述四元体系。
Some of the cross sections are used to stand for a certain component, and semiternary phase diagrams are ploted, then a quaternary phase diagram shown in a tetrahedron is obtained.
从命题逻辑的角度，以可拓论为基础，建立了命题表示的一种新方法，提出了物元命题、事元命题和事物元命题的概念；
In the viewpoint of proposition logic and based on extension theory, a new method for proposition representation is proposed.
应用推荐