切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
CLP编译系统中非线性约束求解的算法与优化
CLP编译系统中非线性约束求解的算法与优化
来源 :北京工业大学学报 | 被引量 : 0次 | 上传用户:cheqiu
【摘 要】
:
描述了一个高度优化的约束逻辑程序(CLP)编译系统解释实现中的算法和优化策略,并通过定义新的数据结构,采用多种优化策略,使该系统能够以较高效率处理经典的非线性约束问题。
【作 者】
:
周天山
刘椿年
等
【机 构】
:
北京工业大学计算机学院
【出 处】
:
北京工业大学学报
【发表日期】
:
2000年3期
【关键词】
:
WARREN抽象机
约束逻辑程序设计
多重论域
非线性约束
编译系统
算法
优化
WAM
CLP
multi_domain
nonlinear constr
【基金项目】
:
国家自然科学基金资助项目!(NS FC69883001),,国家“863”高科技计划资助项目!(863-306-ZT06-07-2
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
描述了一个高度优化的约束逻辑程序(CLP)编译系统解释实现中的算法和优化策略,并通过定义新的数据结构,采用多种优化策略,使该系统能够以较高效率处理经典的非线性约束问题。
其他文献
六溴环十二烷整理涤纶纤维的性能探讨
涤纶纤维(织物)丝门溴环十二烷整理后,随着HBCD浓度变化其热学性能发生了一些规律性的变化,其阻燃性也随HBCD浓度的增加而增加,使涤纶纤维从燃性材料生不同程度的阻燃性材料,另外,HBCD整理涤纶不
期刊
六溴环十二烷
纤维特性
聚酯纤维
织物
防火整理
羊毛陶瓷整理技术研究
阐述了作者对羊陶瓷整理技术上的研究成果,对羊陶瓷整理技术的机理探讨,工艺试验以及产品风格进行了全面的论述,并对红外辐射与保暖性增加问题提出看法。
期刊
羊毛
陶瓷整理
保暖性
纤维
整理
Wool Ceramic Finish Air and Moisture Permeability Warmth Reten
钛宝石自锁模激光器谐振腔特性分析
给出一种简单有效的计算钛宝石自锁模激光器中腔内各点光斑的归一变化率的计算方法。计算了腔内各点的光斑归一变化率,利用计算结果分析了其变化特性。在此基础上获得了晶体在
期刊
钛宝石
自锁模
激光腔
激光器
谐振腔
Ti:Sappire
self-mode-locked
normalized spot variation
球极投影变换在统计中的应用
为了拓展球极投影变换在数理统计中的应用,采用球极投影变换导出Box-Muller二维变换抽样公式.球极投影变换是建立Rd空间上的点与单位球面上的点的一一对应关系.对于d=2,通过
期刊
球极投影变换
Box-Muller公式
正态分布
均匀分布
stereographic projection transformation Box-Muller
试论广播电视无线发射技术的创新
我国正处于一个科技迅速发展的时代,广播电视已经成为传媒的一种方式,更是不断在人类的社会生活中起着越来越重要的作用。广播电视作为一种媒介手段,要不断在技术方面进行创
期刊
广播电视
无线发射技术
创新
非对称的多队列非抢占优先权排队系统分析
该文对非对称情形下多队列非抢占优先权排队系统的精确解析方法进行了探讨。利用嵌入马尔可夫链理论,以服务员到达队列的时刻为参考点构造出了系统的概率母函数,从而解析出非对
期刊
多站点通信
非抢占优先权排队
一阶特性
平均周期时间
multi-access communication non-preemptive priority qu
党把爱凝聚在旗帜上
春风把爱播在花枝上给我们七彩和芬芳;春雨把爱洒在田野上给我们生机和力量。太阳把爱交给小鸟唱给我们温暖和希望;月亮把爱交给小溪唱给我们温馨和吉祥。啊,党把爱凝聚在旗帜上
期刊
旗帜
凝聚
民富国强
论经济性住宅的市场定位及启动房地产市场的有效措施
在香港与内地服务产业链房地产比较研究基础上,针对内地房地产市场启动问题,从降低房地产总成本、经济性住宅的市场定位、政府角色、完善房地产二级市场结合倒抵押贷款方式的运
期刊
按揭
房地产二级市场
供求曲线
倒抵押贷款
物业管理
壳资源
the commercial creclit the second-market of real
单髁置换术与微创全膝关节置换术治疗老年膝关节骨性关节炎的临床效果
目的比较单踝置换术(UKA)及微创全膝关节置换术(MIS-TKA)治疗老年膝关节骨性关节炎的临床效果。方法选取2015年1月至2018年1月我院收治的84例膝关节骨性关节炎老年患者为研究
期刊
单踝置换术
微创全膝关节置换术
膝关节骨性关节炎
膝关节功能
unimalleolar knee arthroplastyminimally invasive
实习教学中渗透工学结合 着力培养学生综合职业能力
工学结合的本质是教育要与企业需求紧密结合,在工学结合的教学模式中,学习的内容是工作,通过工作实现学习。在实习教学中渗透工学结合能够提供真实的工作环境,让学生有机会完成与
期刊
工学结合
工作过程
学习任务
实习教学
综合职业能力
与本文相关的学术论文