SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

取代溴苯的钯催化偶联反应

以 4 -氟溴苯、3,4 -二氟溴苯、3,4 ,5 -三氟溴苯、4 -碘溴苯、4 -甲氧基溴苯、4 -丙基溴苯为原料 ,分别与 2 -甲基 - 3-丁炔 - 2 -醇发生钯催化偶联反应 ,合成了 6个苯基炔醇液晶用中间体 .分别在 4 0℃、70℃、89℃ ,用两种不同活性催化剂条件下 ,测定了 6种反应原料发生钯催化偶联反应所需时间及相应产率 .从而可分析出温度、催化剂、不同取代基团对取代溴苯发生钯催化偶联反应活性的影响     

中厚板轧制轧件头部弯曲模拟计算

在建立中厚板轧制轧件头部弯曲人工神经网络模型的基础上,计算分析了中厚板精轧过程上下辊转速比、压下率、来料厚度材质对轧件头部弯曲的影响,并给出了轧件头部弯曲控制参数下辊转速比和压下率的最优控制范围。     

中厚板平面形状控制的立轧参数神经网络识别

根据中厚板轧制过程平面形状立辊控制的原理和现场生产数据,采用人工神经网络方法,建立了立轧参数的识别模型,应用效果良好。并用该神经网络模型计算,得到了各影响因素驿立轧量设定值的影响。     

热油管道稳定运行过程热力模型

在考虑了恒温层及大气温度年周期变化影响的基础上,分别给出不同敷设方式下热油管道稳定运行时热力计算数学模型,介绍了验证的方法,测试管道首末站温度进行模型验证。通过模拟计算数据与测试数据的对比,误差均小于3%,满足工程要求,证明了模型正确。     

膨胀珍珠岩掺量对EPS泡沫混凝土性能的影响

为了解决建筑制冷、保暖所产生的建筑能源损耗问题,本文设计了一种新型、绿色、轻质、高强自保温泡沫混凝土砌块,即将聚苯乙烯(EPS)颗粒和膨胀珍珠岩颗粒这2种隔热轻质骨料与泡沫混凝土混合制成一种新型复合泡沫混凝土,并通过测试该复合混凝土的干密度、抗压强度、孔隙率、吸水率、导热系数、含水率和燃烧质量损失率,探讨膨胀珍珠岩掺量对复合泡沫混凝土性能的影响﹒研究结果表明：一定掺量膨胀珍珠岩能增加EPS泡沫混凝土的抗压强度,降低导热系数和燃烧质量损失率,且当膨胀珍珠岩掺量为12%时,其抗压强度最高为1.66 MPa;当膨胀珍珠岩掺量为21%时,其导热系数最低为0.133 W/(m·K);当膨胀珍珠岩掺量为18%时,其燃烧质量损失率最低为4.2%;当膨胀珍珠岩掺量为6%时,该配比满足A6等级,其干密度、导热系数和抗压强度等级达到C1,吸水率等级达到W10,燃烧性能等级达到A级不燃﹒     

谈如何克服建筑基础工程事故的方法和措施

本文剖析了近年来在我国发生的建筑基础工程事故的原因,提出了克服建筑基础工程事故的方法和措施。     

沉淀水热合成Al2O3载金催化剂及其CO氧化性能

为提高以惰性氧化铝为载体所担载的纳米金催化剂的CO氧化反应活性和稳定性，本研究设计了一种采用沉淀水热法合成的具有层状褶皱似的粗糙表面的氧化铝多孔载体，并以此为载体担载纳米Au粒子且用于CO氧化反应。系列表征结果表明，与直接沉淀法制得的氧化铝相比，沉淀水热法制备的氧化铝载体存在大量的褶皱似的粗糙表面且富含更多的羟基物种，促进了纳米金粒子在载体表面的高度分散，从而提高了其CO氧化反应活性和反应稳定性。     

基于时间相关性的梯度追踪多用户检测算法

为降低大规模机器类型通信基站端多用户检测的复杂度, 结合活跃设备在相邻时隙间的相关性和梯度追踪算法提出了相关性辅助的梯度追踪多用户检测(correlation-assisted gradient pursuit multi-user detection, CAGP-MUD)算法, 不仅避免了矩阵求逆的过程, 还减少了除第一时隙的其他时隙的迭代次数。为了进一步降低多用户检测算法的复杂度, 在CAGP-MUD算法框架内引入决策衰弱的思想, 对梯度最大值进行衰弱, 并以此作为阈值, 每次迭代可挑选出多个活跃设备, 以减少迭代次数, 称为相关性辅助的组梯度追踪多用户检测算法。对提出的两种算法进行了复杂度计算。理论分析和仿真实验表明, 和同类算法相比, 这两种算法的计算消耗降低了60%以上。     

基于BPNN/NSGA-Ⅱ的居住建筑节能改造多目标优化

为进一步推进居住建筑节能改造的发展，提出一种基于耦合BP神经网络和非支配排序遗传算法（NSGA-Ⅱ）的多阶段多目标优化框架，以提高节能效益并使经济效益最大化，并将该方法应用于西安某高层住宅能耗与经济性优化研究之中.在优化过程中利用BP神经网络预测建筑性能，将其作为响应面近似模型集成到多目标优化过程中能减少总仿真时间.同时分析算法参数对帕累托优化结果的影响，得到了可持续、成本最优、低投资的节能改造方案，为寒冷地区居住建筑节能改造多目标优化研究提供了一定的理论参考.