非空性相关论文
无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计......
为判定由多个线性不等式围成的空间是否为空,给出了判定算法. 利用空间中的投影矩阵将一个射线投影到约束空间的一个向量,使得算法......