我们允许他们输入这项研究的元数据，并使用它们从Ruby里调用Prolog，Prolog善于 约束求解 （ constraint solving ），于是Ruby会定义所有这些约束，然后Prolog会核对所有事情发生的理想时间并把结果转换到病人的日历里。
基于36个网页-相关网页
文章详细信息 关键词： 冲模CAD;;面向对象方法;;动态设计;;约束求解 [gap=366]Keywords: die CAD, object_oriented method, dynamic design, constraint solution
基于8个网页-相关网页
GASA (genetic annealing simulated algorithm) is introduced into GCS (geometry constraint solving).
提出了将遗传模拟退火算法应用于约束求解中。
参考来源 - 约束求解中若干关键技术的研究A time based lock-adding algorithm is conceived to manage all the problems above. Furthermore, the solving process of the distributed constraint is realized by the use of middleware-based remote constraint solving algorithm.
此外,采用基于中间件技术的远程约束求解算法实现了分布式约束的求解。
参考来源 - 多学科协同设计中的一些关键技术研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐