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 given QMV algebra,if it commutes with every element of the QMV algebra,it can induce a direct product decomposition of the QMV algebra.At the same time,we introduce the commutant C(S) of a set S in a QMV algebra,and prove that when S consists of idempotent elements,C(S) is a subalgebra of the QMV algebra.This also generalizes the cases of orthomodular lattices.
LU Xian 1 ,SHANG Yun 1,& LU RuQian 1,2 1 Institute of Mathematics,Academy of Mathematics and Systems Science,Beijing 100190,China
针对增量式监测算法(IMA)的冗余搜索问题,提出一种基于IMA改进的移动对象连续k近邻(Continuous k Nearest Neighbor,CkNN)查询处理新算法。采用增量式查询处理机制;利用距离相近的查询其查询结果大部分相同这一特性,在以查询点为中心进行网络扩展之前,首先执行一个预处理过程,分析相近的其他查询的扩展树,并重用其中的有效部分,从而避免了对道路网的盲目扩展;且在节点的网络扩展中,通过应用具有相同扩展方向的其他查询的扩展结果,不仅减少了对道路网的重复扩展,还节省了计算代价。实验结果表明,所提算法同传统算法相比较,缩短了查询响应时间,提高了运行效率,并且适用于不同类型的k近邻查询。
