Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).     

岩石薄片三维重建训练图像分析

基于二维图像的砂岩三维重建中,二维图像的空间结构分析是一个至关重要的环节.要成为三维随机模拟的训练图像,二维图像的空间结构统计特征必须满足平稳性和遍历性要求.本文通过多尺度纹理特征分析方法进行训练图像的平稳性分析,利用表征区域分析训练图像的遍历性.实验结果证明,满足平稳性和遍历性的训练图像能得到较好的三维重建结果,并提高了三维重建的效率.     

对转压气机三维掠动叶优化设计

为探索三维掠动叶降低对转压气机二次流损失的潜力,进一步提高对转压气机气动性能,基于近似函数与遗传算法,针对某对转压气机双排转子在整机环境下进行三维掠动叶优化设计,并对优化前后流场进行对比分析。优化成功的得到了双排“S”形掠动叶,结果表明:三维掠动叶有效改善了双排动叶吸力面径向二次流,减小了吸力面低速区,提高了对转压气机性能,优化工况点整机效率提高0.6%,全工况范围内效率均有所提高;三维掠动叶提高对转压气机效率的根本原因是其对径向负荷分配的重新调整,将叶展下方流动较差区域负荷移至叶展上方,改善流场的同时保证对转压气机负荷不变。      

3,3-二甲基丁醛的合成工艺研究

3,3-二甲基丁醛是合成新型强力甜味剂纽甜的重要中间体,其生产成本对纽甜的生产和应用影响重大.报道了一种简便和经济的3,3-二甲基丁醛合成工艺,以3,3-二甲基丁酸为原料,经氯化反应和常压催化氢化反应,合成了3,3-二甲基丁醛.研究了反应的工艺条件.3,3-二甲基丁酸的氯化反应以氯化亚砜为氯化剂,较为适宜的工艺条件为n(氯化亚砜):n(3,3-二甲基丁酸)=1.3:1,反应温度80℃、反应时间3 h,3,3-二甲基丁酰氯的收率为92%.3,3-二甲基丁酰氯的常压催化氢化反应在二甲苯溶剂中进行,以Pd/C为催化剂,较为适宜的工艺条件为m(二甲笨):m(3,3-二甲基丁酰氯)=6.5:1,催化剂用量w=15%(基于3,3-二甲基丁酰氯),氢气流量90 mL/min,搅拌转速500 r/min,反应温度120℃, 反应时间6 h, 3,3-二甲基丁醛的收率为73.4%.催化剂重复使用6次,3,3-二甲基丁醛收率仍达到71%,显示良好的稳定性.     

Fe_2O_3/TiO_2/蒙脱土光催化剂的制备及光催化性能研究

以TiCl4为原料采用溶胶凝胶法结合超临界流体干燥法(SCFD),制备了纳米级Fe2O3/TiO2/蒙脱土复合光催化剂.以亚甲基蓝为反应模型,对催化剂的催化活性进行了评价.结果表明,3 h亚甲基蓝降解率99.3%.采用XRD,TEM,UV和ICP等手段进行了表征,TiO2以锐钛矿型形式存在,催化剂粒径在15~21 nm.比较不同制备方法制得的复合催化剂,得出超临界干燥法制备的光催化剂具有粒径小,分散性好,光催化活性高等特点.     

OsNAC2转录因子介导生长素代谢通路调节水稻早期根的发育

NAC家族是植物特有的一类转录因子,在植物的生长发育和逆境胁迫等方面具有重要的功能.研究发现,OsNAC2基因的过表达(ON11)和RNAi(RNAi31)转基因株系,早期主根的长度有显著变化的特征.与野生型日本晴水稻(WT)相比,ON11植株的主根变短,而RNAi31的主根变长.通过对早期OsNAC2pro∶∶GUS株系根尖染色结果表明OsNAC2在根尖具有时序性表达.不同激素诱导OsNAC2表达谱和OsNAC2pro∶∶GUS株系对激素响应结果显示OsNAC2受生长素显著性诱导.结合芯片数据和qRT-PCR分析,OsNAC2转基因株系中生长素合成代谢及信号通路相关基因表达量变化较为明显.同时,ON11根尖淀粉粒发育及其向重力性受到抑制.因此,推测OsNAC2可能通过抑制生长素的合成代谢及信号通路相关基因的表达,降低生长素含量,并参与生长素响应通路,最终影响水稻根的生长.     

带状线性方程组的并行行作用方法

目的行作用方法具有直接法与迭代法两者的优点,适用范围较广,在串行算法的基础上给出行作用方法适合于分布式存储环境的并行实现方案。方法采用从三维投影技术推广为并行P维投影技术。结果在HP rx2600集群系统上进行了数值计算,与多分裂方法作了比较,结果表明行作用方法适用范围较广且具有良好的并行性,方法简便可行。结论通过实际算例表明,本文算法是一个较好的并行算法。     

采用4,6-二氨基间苯二酚-对苯二甲酸盐合成聚苯撑苯并二噁唑

以4，6-二氨基间苯二酚盐酸盐和对苯二甲酸为原料，制备了4，6-二氨基间苯二酚-对苯二甲酸盐(TA盐)，并采用傅里叶红外(FTIR)、质谱(MS)、差热分析(DSC)和元素分析等测试手段对其结构进行了表征；以多聚磷酸为介质，将TA盐缩聚得到具有较高粘度(特性粘数[η]＝24．5dL／g)的聚苯撑苯并二恶唑(PBO)，并通过FTIR、元素分析和热重分析(TGA)等对PBO合成工艺和热性能进行了研究．这种通过TA盐聚合的方法不仅缩短了反应时间，而且比较容易得到具有较高相对分子质量的PBO．     

考虑层间应力的复合材料层压板静强度分析

构建了由刚性元、弹簧元和二维板元构成的准三维有限元模型,发展了一种考虑层间应力的、多向层压板静强度分析方法,包括应力分析、失效分析及材料性能退化三个主要部分,能够模拟面内和层间损伤产生、发展直至层压板整体破坏的完整过程,并得到强度值.对两种复合材料层压板进行了实际计算,静强度预测结果与试验结果吻合较好,同时预测并给出了损伤的分布及其在不同载荷下的演变过程.     

建筑物重建中的三维激光扫描精度分析

针对三维激光扫描技术在建筑物重建中数据采集、处理方面存在的误差,从三维激光扫描仪测站定向误差、仪器扫描误差、数据拼接误差进行分析,并构建了点位误差模型,为三维激光扫描技术在建筑物的重建中测量成果的精度评定及测量方案的优化设计提供了理论基础.最后以脉冲式三维激光扫描仪为例对建筑物重建进行精度分析.