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.考虑度有界图的同构测试问题,我们
本文给出了一种基于归结原理的反向搜索法，该方法完全避免了到目前为止人们所使用的各种归结法的盲目性，从而从根本上保证了该方法是一种基本最优方法。
本文说明自然语言研究中几个与逻辑有关的问题，自然语言的可学习问题，基于模型论的语义问题，自然语言所属r.c.(c.e.)语言层级问题，说明问题的由来、相关的研究进展，探讨可能的
AsIA257是本实验前期通过抑制差减杂交技术,分离克隆的紫云英共生特异表达的二磷酸核苷磷酸酯酶(Diphosphonucleotide phosphatase, PPD)基因。核苷酸和氨基酸序列均与紫色酸性磷酸酶(Purple acid phosphatase, PAP)家族成员特别是来自黄羽扇豆的PPD1高度相似,推测其编码蛋白属于PAP中的PPD亚家族。本文通过构建AsIA257融合红色荧光
写实油画创作的众多题材中,很多题材都会涉及多个人物的场景。如何处理人物造型使画面更为和谐美观,人物与人物之间的造型关系如何处理。本文通过三个小节,从三个不同方面去
微生物是土壤生态系统中的重要生物组成部分,是土壤有机物循环和利用的主要驱动力。土壤团聚体是由矿物质、有机质和生物质相互作用形成重要的土壤结构体,不同团聚体中养分分
近年来,超疏水材料因其所取得的一系列成就和广阔的应用前景受到人们的广泛关注。其制备方法包括化学气相沉积法、模板法、电化学法、自组装、等离子体刻蚀、溶胶-凝胶法等等
MEL型沸石分子筛膜拥有优良的孔道结构、较高的硅铝比、良好的热稳定性和选择吸附性，将其应用于渗透汽化分离混合溶液，具有高效、环保、节能等优势。本文制备了全硅及杂原子掺