基于IAPS的扩展规则局部搜索算法

ERACC（Extension Rule Based on Accurate Configuration Checking）算法由杨洋等人基于扩展规则和格局检测提出,具有较高的推理效率.为进一步提高ERACC算法在大规模SAT（Satisfiability）问题求解上的性能,本文在搜索由极大项组成的空间时,首先利用IMOM（Improved Maximum Occurrences on Clauses of Maximum Size）思想生成初始极大项,接着设计了适用于扩展规则推理的CCA_ER（Configuration Checking with Aspiration for Extension Rule-Based Reasoning）启发式策略,为极大项中格局信息未发生变化的变量对应文字提供一定的翻转机会.同时,为进一步提高扩展规则推理算法在k-SAT问题求解上的性能,设计了适用于扩展规则推理的PAWS_ER（Pure Additive Weighting Scheme for Extension Rule-Based Reasoning）策略,并且给出变量的Subscore_ER（Subscore for Extension Rule-Based Reasoning）,CScore_ER（Comprehensive Score for Extension Rule-Based Reasoning）和HScore_ER（Hybrid Score for Extension Rule-Based Reasoning）属性.在此基础上,提出了ERACC_IAPS（ERACC with IMOM,CCA_ER,PAWS_ER and Subscore_ER）和CERACC_IAPS（ERACC with IMOM,CCA_ER,PAWS_ER,CScore_ER and HScore_ER）算法.实验结果表明：ERACC_IAPS和CERACC_IAPS算法的效率明显优于ERACC算法,最高可将其求解效率提高1000多倍.     

超临界 CO2萃取辣椒籽油的动力学研究简

A mathematical model for extraction of red pepper seed oil with supercritical CO2 was proposed. Some factors influencing the process were investigated, including operation pressure, temperature and extraction yield Xe （%）. The model was solved by the method of weighted residuals and used to simulate the process numerically. The kinetic equation is expressed as Xe =-16.8606exp（-t/9.98177） ＋ 16.95457 and the simulation results are in excellent agreement with the experimental data. The optimal operating parameters are 30 MPa, 318 K and 60 min.     

PMI泡沫材料的制备及性能研究

采用偶氮二异庚腈(ABVN)为引发剂,尿素/甲酰胺为复合发泡剂制备了一种高性能聚甲基丙烯酰亚胺(PMI)泡沫材料。重点考察了不同配比的混合发泡剂用量对PMI泡沫材料性能的影响。结果表明:通过改变两种发泡剂的用量可以获得泡孔均匀且密度为38.39⁷5.99 kg/m3的PMI泡沫材料,而PMI泡沫的力学性能和热性能与泡沫密度呈正相关。当尿素和甲酰胺的用量都为1 phr时,所得PMI泡沫材料具有最佳综合性能,其拉伸强度和压缩强度分别为2.0 MPa和1.42 MPa,玻璃化转变温度(Tg)为217.7℃。     

基于MOVR启发式的求差知识编译算法

DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设计了一种新的启发式策略MOVR（maximum occurrence number of variables in middle result）,用于动态地从输入子句集中选择所包含变量在中间结果中出现次数最多的子句.将MOVR启发式策略与DKCHER算法相结合,设计了MOVR_DKCHER算法.实验结果表明,MOVR启发式策略能够显著提高DKCHER算法的编译效率和编译质量,编译效率平均可提升70倍左右,最高可以提高237倍.     

山区中小河流存在的问题和治理对策

在我国的水利工程建设过程中,河道的建设工作一直受到多方面的重视。河道建设在我国的水利工程建设中占据的比重不是非常大,但是河流的建设以及治理工作一直是一项非常重要的水利建设工作。这一项工作在我国的山区中更加的重要和明显,我国的山区中有数量众多的小河流。因此小河流的治理问题就显得较为重要。文章主要针对小河流存在的主要问题进行阐述,通过阐述来给出具体的治理对策,希望通过文章的阐述以及分析能够有效的提升我国小河流的治理工作,同时也为我国的水利工程进一步的完善以及发展贡献力量。     

同步电动机励磁装置改造后的效果探讨

结合济三煤矿对通风机要求的实际情况,对同步电动机可控硅励磁装置进行了改造,取得了给定范围内调整励磁参数、电动机不会失步、励磁装置不会失控等较好的效果,确保了同步电动机的安全可靠运行。     

主体间性:理解"建构主义"文学性的一种方法

关于什么是文学本质的观点大致有三种,本质主义的、反本质主义的和建构主义的."主体间性"作为一种新的美学范式,对"建构主义"的文学性有着重要的影响,二者之间也存在着密切的关系.同时,"建构主义"文学性的提出也有着十分重要的意义.     

汽车轮胎起子调头模锻成形工艺

以多种汽车轮胎起子的其中之一模锻件为研究对象，制定了汽车轮胎起子调头模锻成形工艺的优化方案，介绍了锻模优化设计的要点，达到了优质、高效和低耗的效果。     

轴向梯度折射率TFCCD监视镜头设计

设计了焦距26mm,F2.8的适用于1024×1024pixels,像元15μm×15μm面型硅TFCCD的工厂车间监视镜头。分别设计了传统的全球面镜头和包含两片轴向梯度折射率材料镜头,轴向梯度折射率监视镜头比原普通全球面镜头减少了两片透镜。经过像质评价,后者像质有所提高。RMS从12.67μm减小到8.86μm;最大视场35lp/mm处最小MTF从0.18提高到0.43;畸变从-5.21%减小到0.76%。