论文部分内容阅读
描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．
CLP编译系统中非线性约束求解的算法与优化
【摘 要】
：
描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够以较高效率处理经典的非线性约束问题．
【机 构】
：
北京工业大学计算机学院
【出 处】
：
北京工业大学学报
【发表日期】
：
2004年期
其他文献
Ｍｏｎｔｅ－Ｃａｒｌｏ仿真方法通常用于复杂装配组件的公差分析，其主要缺点是计算量大、效率低。对此，提出以基于数论方法产生的伪随机数代替由Ｍｏｎｔｅ－Ｃａｒｌｏ方法所产生的随机数进行仿真。与随机数相比，伪随机数的
为了改进泵站出水流道的水力设计方法,采用三维紊流数值模拟的方法,模拟了虹吸式、直管式和斜式三种型式出水流道内的流动形态;发现出水流道平面方向上的扩散情况较好,而立面
本文从材料、构造设计和现场施工三个方面分析了外墙外保温面层裂缝的产生原因,并针对这三个方面分别提出了外墙外保温面层裂缝的控制措施,以完善外墙外保温体系施工工艺,确
水锁导致渗透率下降是低渗透油气层损害的主要机理之一。对低渗透砂岩储集层的水锁效应进行了实验研究，定量评价了气测渗透率、孔隙度、初始水饱和度。驱替压差和油水界面张力
信息传播系统的科学构建与维护是促进计算机软件完善开发的必要保证,也是提升软件开发水平的重要前提.因此从加强软件开发的重要性入手探讨当前软件开发实践中信息传播系统存
分析一款WCDMA数据卡同时支持WIFI的无线路由器,在进行W2100频段上功率测试的同时,跑WIFI吞吐量时出现的WIFI掉线的现象原因。
Analysis of a WCDMA data card at the same
MI5S系统为企业提供生产过程透明化管理,监控制造现场执行情况,通过信息的传递对从生产命令下发到产品完成的整个生产过程进行优化管理,帮助企业不断改善产品品质,从而达到企
“未来驾驶”展品原仓门升降系统在运行时易发生零件断裂等故障,通过对该系统的受力分析和对比,使用气压元件代替电动机、减速箱等,优化设计并制作新的仓门升降系统,解决展品
用轧制———再结晶方法制备立方织构镍片 .研究了不同的轧制工艺对立方织构形成的影响 ,用极图和三维取向分布函数 (ODF)对织构进行了测量 .分析表明对纯镍 ,在大变形量下 ,
通过对时变电导(或电阻)作适当处理，可较方便地使领域内的 输电线路电磁暂态计算既能考虑线路参数的频变又可考虑过渡电阻的时变，从而做到对发 展性短路故障的精确数字仿真。本