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

描述了一个优化的约束逻辑程序设计（ＣＬＰ）系统的编译方法和编译优化策略．该系统是一个多重论域的ＣＬＰ系统，以区间算术和约束传播作为离散域和实数域上约束求解的统一方法，具有求解非线性约束的功能．实现为一个基于扩充的ＷＡＭ指令集的编译系统．在国内外已有的ＣＬＰ系统中，我们尚未见到同时具有多重论域，非线性约束求解和编译实现这３项特征的类似系统．

原油管道输运工艺评价实验仿真系统研究

基于流程仿真技术设计了管输工艺评价仿真系统的设计,包括仿真系统的功能与组成、实验方案编译器的设计、仿真控制器的设计、以及采用甘特图方法实现对实验方案的时序调整。该系统可实现管输工艺评价实验方案的流程仿真,为验证及优选管输工艺评价实验方案提供了技术平台。