基于相邻子句规约的求差知识编译算法

利用规约规则可以约简EPCCL理论的规模,从而提高扩展规则知识编译算法的编译质量。为此,设计了约简EPCCL理论相邻子句的算法(reducing adjacent clauses in EPCCL,RACE),用于约简EPCCL理论中满足规约规则的相邻子句,进而降低了基于超扩展规则的求差知识编译算法(computing the difference set for knowledge compilation based on hyper extension rule,DKCHER)的中间结果EPCCL理论和最终结果EPCCL理论的规模。结合RACE算法和DKCHER算法,设计并实现了改进的DKCHER算法(improved DKCHER,imp-DKCHER)。实验结果表明:imp-DKCHER算法能够显著提高DKCHER算法的编译质量,平均可提高17.3%,并在大部分实例上能够提高DKCHER算法的编译效率。

C2E:一个高性能的EPCCL编译器

提出一个新的基于DPLL的编译算法KCDP,从而成功地将EPCCL理论和SAT求解联系起来,使得目前很多应用在基于DPLL的SAT求解器中先进的技术都能被引入到EPCCL理论的编译中以提高编译效率;提出规约规则,并基于该规则,提出能在多项式时间内终止的REDUCE算法对EPCCL理论进行规约;结合KCDP和REDUCE算法,实现了编译器C2E,并在随机问题和国际通用的测试用例上测试了C2E的编译效率和编译质量,实验结果表明,无论从编译效率还是编译质量来说,C2E都是一个高性能的EPCCL编译器.

基于LCC的交叉编译器的研究与实现

嵌入式系统的飞速发展使得必须快速地为之开发相应的编译器。LCC是一款可重定向的开源小型C编译器,基于LCC为嵌入式系统实现交叉编译器是种有效的途径。首先分析了LCC编译器的体系结构,然后说明了基于LCC的交叉编译器移植技术及其实现,并详细讨论了实现中的关键技术:交叉C编译器ABI的制定和DAG归约规则的制定。并根据实践经验总结出了3条对规约规则的制定具有指导作用的原则。