【摘 要】
:
本文给出了一种基于归结原理的反向搜索法,该方法完全避免了到目前为止人们所使用的各种归结法的盲目性,从而从根本上保证了该方法是一种基本最优方法。
论文部分内容阅读
本文给出了一种基于归结原理的反向搜索法,该方法完全避免了到目前为止人们所使用的各种归结法的盲目性,从而从根本上保证了该方法是一种基本最优方法。
其他文献
时序逻辑通常是命题逻辑或谓词逻辑的扩展。时序逻辑的一种重要用途是行为模型的规格说明。时序逻辑的语义决定了一个模型是否满足给定的时序逻辑公式。验证行为模型是否
在野外调查的基础上,以陕西关中盆地典型工业城市西安、宝鸡、渭南和铜川为研究区域,采集城市土壤与灰尘样品263个,以城市儿童环境铅暴露为研究核心,根据四个典型城市土
三氯生(TCS)和纳米二氧化钛(nTiO2)在防晒化妆品、涂料等领域广泛共同使用,由于其不可降解性及高蓄积性,导致环境生物和人体健康受到严重威胁.然而,现有研究大多停留在TC
有机小分子催化剂目前广泛应用于各类催化反应,已成为研究热点。设计出高效、高活性和适用于工业化生产的新型有机小分子催化剂是科研工作者努力追求的目标。在诸多的有机小分子催化反应中,Rauhut-Currier (RC)反应是一种重要的碳-碳键构成反应,该反应可以构建多个手性中心的多环化合物,原子经济性高,并且产物拥有能够进一步转化的官能团,符合现代绿色化学化工要求,RC反应的产物已经应用于精细化工生产
采用低温燃烧法制备纳米Bi2WO6,并表征了其晶体结构、形貌特征及紫外漫反射谱,同时以染料罗丹明B(RhB)为目标污染物,考察了制备材料Bi(NO3)3和C2H5NO2比例(6:10、6:6 和6:3)
迄今为止,用于拼黑的红黄兰三原色结构设计没有系统的理论指导。超分子化学已自觉或不自觉地在染料的生产得到了应用,但还没有提高到一门学问的高度系统研究。染料学术界对反映染料性能的十大参数也已开始给予关注,但至今尚未用来指导染料分子的设计。进行黑色活性染料用组分染料的设计,应该以超分子化学理论和补色原理为指导,参考染料的十大参数,设计组分染料的结构。 通过对活性黑G2RC的性能测定,从分子结构角度
各向异性的金属纳米颗粒特别是金纳米棒(Gold nanorods,AuNRs)由于其特殊的光学性质引起了人们的关注。本论文主要通过种子生长法制备AuNRs,然后以AuNR为核生长银壳,制备AuNR@Ag核壳纳米结构,研究了热敏聚合物修饰的核壳结构在催化、拉曼增强等方面的应用,研究了这种金属核壳结构掺杂的复合硅橡胶材料的光学性质。主要研究内容和结论如下:(1)利用种子生长法合成AuNRs,主要研究抗
For fixed positive integers k and s,a(k; s)-CNF-formula means that every clause has exactly k literals and each variable occurs at most s clauses in the for
本论文回顾了工艺过程先进控制技术的发展及聚丙烯工艺技术的发展,总结国内现有的聚丙烯工艺技术APC(Advancedprocesscontrol)特点,针对前郭石化公司HYPOL聚丙烯工艺的生产实际
在性质测试中,给定一个性质P和一个对象f,要求设计一个概率神谕算法A,询问关于f的局部信息,以较大概率正确区分f具备性质P与f远离性质P.考虑度有界图的同构测试问题,我们