约束求解问题相关论文
提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的......
3D模型资源一般是静止封闭的网格，无法为3D打印提供可活动的输入结构。针对非专业用户创建可打印的活动模型，进行了活动关节共性参数......
