supported by National Natural Science Foundation of China (Grant Nos. 60736011, 61073023 and 60603002);the National Basic Research Program of China (973 Program) (Grant No. 2009CB320701)
We study the direct product decomposition of quantum many-valued algebras (QMV algebras) which generalizes the decomposition theorem of ortholattices (orthomodular lattices).In detail,for an idempo- tent element of a ...
the National Natural Science Foundation of China for Distinguished Young Scholars (Grant No. 60625204);the Key Project of National Natural Science Foundation of China (Grant Nos. 60736011, 60496324 and 60603002)
The first part of this paper reviews our efforts on knowledge-based software engineering, namely PROMIS, started from 1990s. The key point of PROMIS is to generate applications automatically based on domain knowledge ...