【摘 要】
：
约束求解技术已在世界范围内产生了巨大的影响.从N-皇后、图着色等学术问题,到作业调度、资源分配、图形显示等实用问题,它都发挥着巨大的作用.通常,针对某种具体的应用设计
论文部分内容阅读
约束求解技术已在世界范围内产生了巨大的影响.从N-皇后、图着色等学术问题,到作业调度、资源分配、图形显示等实用问题,它都发挥着巨大的作用.通常,针对某种具体的应用设计专门的算法可以得到更好的效率,但缺乏通用性."明月"约束求解平台采用约束程序设计的思想,可以快速有效地求解大多数问题,而不必依赖于具体的应用.该文首先介绍了约束程序设计的方法,并给出了其分支约束满足问题的概念及求解技术.然后,该文概述了"明月"约束求解平台的总体思想.最后,分别简述了约束求解系统中整型和浮点型部分的设计和实现,给出了一些典型问题的实验结果,运行效果良好.
其他文献
中科院软件所并行中心研制的并行油藏模拟器PRIS_1.0已成功地运行于各种并行环境下,而且其线性解法器的性能已达到国际先进水平.此PRIS_1.0的解法器是基于结构网格上的,为能
作为一种节省带宽和提供方便的传输手段,网络组播将网络和主机的负载分担到分布在不同地域和网段的路由器上.在带来方便的同时它也带来了新的安全问题：在一个逻辑地址上属于一
在该文,我们把分布对象技术和Web集成,建立基于CORBA/JAVA的ObjectWeb计算模型.新模型由各种商务对象组成,包括实体、过程和规则.对象之间使用IDL定义的接口,通过对象请求代
大规模植被场景的真实感模拟是计算机图形学研究中的一个重点方向。而草地和森林场景是大规模植被场景的重要组成部分,他们在构建真实感场景中起到至关重要的作用。由于草地
论文研究成果如下：设计并初步实现了一个可应用于虚拟场景建模的基于图像的建模系统.该系统恢复的模型真实感强,并且建模过程对用户透明,仅需要用户少量的手工操作.大大降低了
该文对Undo／Redo机制的实现进行了深层次的探讨,利用设计模式思想提供架构,针对现有常见交互式排版软件Undo／Redo机制对于事务化操作和Selective Undo等存在的缺陷,提供一个切
该文首先介绍了IPSec协议的基本体系和应用情况,通过试验引出了IPSec和NAT/NAPT之间的不兼容问题,并对其原因进行了详尽的分析.该文接Realm-Specific IP（RSIP）和UDP封装法两种
工作流技术是近年来计算机应用研究领域中迅速发展的一项新技术,工作流管理系统的应用,可以加速企业内部商务和管理流程处理的速度,提高处理的效率,实现处理的自动化或部分自
随着信息技术的飞速发展,计算机安全问题变得日益严峻.该文关注的是单个计算机上文件系统的安全,尤其是WindowsNT/2000系统下的安全.实现文件系统安全的核心是访问控制.该文