Linear programming ; Inequalities ; Simplex method ; Iterative methods ; Graphics ; Optimization ; Theorems;
机译:一种用于线性约束不一致系统最优校正的重构-线性化-凸化算法
机译:在概念图知识库中指定用于检测不一致的约束
机译:基于约束编程的本体不一致检测方法
机译:使用约束检测和修复UML模型不一致
机译:线性不适定问题和线性系统不一致的迭代方法。
机译:基于分类单元的约束的形式化以检测注释和本体开发中的不一致之处
机译:基于分类单元的约束的形式化,以检测注释和本体开发中的不一致之处
机译:从单纯形表中去除多余线性约束