归约策略相关论文
模型检测是保证程序正确性的一条重要途径,它最大的优点就是验证过程完全自动化。然而,模型检测在规模大、复杂度高的系统的应用中......
在必要集、必要位置等概念基础上，定义了必要平行最外归约策略，基于最小化必要集思路，该策略适用于正则系统全集，并接近按需调用策略的......
参数化设计在现代CAD 技术中占据着越来越重要的地位,几何约束系统的建模、管理与求解是该技术的关键,对约束如何进行方便、有效的......
