一个可求解非线性约束的CLP编译方案及其优化

来源 :北京工业大学学报 | 被引量 : 0次 | 上传用户:whbniuniu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略.该系统是一个多重论域的CLP系统,以区间算术和约束传播作为离散域和实数域上约束求解的统一方法,具有求解非线性约束的功能,实现为一个基于扩充的WAM指令集的编译系统.在国内外已有的CLP系统中,我们尚未见到同时具有多重论域,非线性约束求解和编译实现这3项特征的类似系统.
其他文献
弹塑性压扭复合应力波在薄壁管中的传播特性,已得到较为深入的研究,但为得到简单波解 ,大部分研究忽略了薄壁圆管中与径向惯性有关的周向应力σθ的影响.该文采用便于动态数
软X射线光学系统需要在超光滑曲面上均匀镀膜。我们将超光滑曲面看作由若干个小平面拼接而成,通过小角衍射仪测量出各个小平面的周期膜厚,并拟和出整个曲面的镀膜速率。为提
介绍了保偏光纤埋人碳纤维复合材料结构成型后光学性能的变化、将光纤埋人碳纤维复合材料结构时遇到的一些问题及为提高光纤成活率所采取的措施等的实验研究结果.
引言增压流化燃烧用的高固相浓度煤水混合物(又称水煤膏,CWM)是一种由水和一定粒度分布的煤颗粒(有时也加入脱硫剂)直接混合而成的高浓度多级分散悬浮体系,影响其流变我的因
The formation of the barrier layer of anodic porous alumina film has been investigated in phosphoric acid solution. The results show that with the increase of p
本文用数值模拟证明 Airy光束或 Airy斑 (Airy Pattern)经零场截取后 ,其中央亮斑或 Airy芯(Airy disc)甚至在远场也不会产生新的衍射旁瓣 (在 10 - 3~ 10 - - 6 以下 )。尔后
本文首次用碳酸铯与NTO直接合成新的Cs NTO配合物。采用元素分析和化学分析法确定了配合物的组成。用红外光谱法 ,热分析法和X ray粉末衍射法进行了物理化学表征 In this pa
本文基于牛顿 -欧拉法建立了一类 PSS副、带柔性铰链的六自由度并联微机器人的逆动力学方程 ,这是设计、控制微机器人的前提和基础 .所建模型不仅考虑了因柔性铰链的特殊性 ,
在野外爆炸焊接现场,用压电式传感器测试了粘土和砂土两种地基的应力波波形.分析得出:应力波峰值在粘土和砂土中的衰减系数α分别为19.305和10.670;在同一水平面上压力的分布
以准维现象学多区喷雾燃烧模型和碳粒生成预测子模型为基础,建立了缸内空间辐射多区(多维)模型,并以G4135直喷式柴油机为研究对象,用蒙特卡洛(Monte-Carlo)法计算和分析了燃