基于量子逻辑的模糊线性时序逻辑的模型检测

模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象...     

半平面函数空间上复合算子的差分

本文刻画半平面Korenblum空间上复合算子差分的有界性、紧性和序有界性,并探究复合算子差分的相应性质在半平面Bergman空间与Korenblum空间之间的差异性.     

模型空间上截断Toeplitz算子的范数和本质范数

借助分布函数不等式,本文得到模型空间上截断Toeplitz算子的范数和本质范数的一个上界和下界.作为应用,本文给出有界符号的截断Toeplitz紧性的一个充分必要条件.     

基于深度学习的3D分子生成模型研究进展

分子生成作为药物设计领域的一个基本问题,旨在以低成本和高效率的方式设计出具有理想生物活性和药代动力学属性的新颖分子.近年来深度生成模型在药物设计中得到了广泛应用,大量的模型结构和优化策略得到探索,其中大多是生成一维或二维的分子结构.随着深度学习在处理几何图形数据上的快速发展,面向3D分子的生成模型被提出,因其在直接生成3D分子构象和基于结构的药物设计上的优势和潜力而越来越受到关注.本文对近年来国内外学者在3D分子生成上取得的成果进行了系统的总结和分析,从3D分子生成算法输入的角度将其分为基于隐变量的生成、基于2D分子图的生成和基于3D分子构象的生成;接着从3D分子生成算法输出的角度将其分类为定向生成和非定向生成;随后总结了相关生成模型在主要的公开数据集上的性能,以探究各种生成模型的优缺点;最后对未来可能的研究方向进行了展望.     

基于近红外光谱智能反演的三羟甲基丙烷合成过程在线监测

本文发展了近红外光谱技术的智能反演方法,建立三羟甲基丙烷(TMP)生产过程中产品及其副产物的定量分析模型,实现其产物及其副产物含量的快速检测,同时定量监测TMP的工艺合成过程,构建TMP合成过程的在线监控系统.首先采用气相色谱法测定TMP合成过程中产品及其副产物含量,然后采集大量样品的近红外光谱图,最后调用TQ Analyst软件的偏最小二乘回归法(PLS)建立产品TMP、副产物双三羟甲基丙烷、2-乙基-2-己烯醛、2-乙基丙烯醛的4种智能预测模型.结果表明,所建立的TMP、双三羟甲基丙烷、2-乙基-2-己烯醛、2-乙基丙烯醛的4种定量分析模型的校正均方根误差(RMSEC)分别为0.744、0.300、1.500、1.280,相关系数(R)分别为0.9868、0.9840、0.9945、0.9113;预测均方根误差(RMSEP)分别为1.290、0.588、1.440、1.180, R分别为0.9797、0.9209、0.9960、0.9323.最终证实了所建立的TMP合成过程中产品及其副产物的近红外智能反演模型具有较好的预测精度与预测稳定性,可用于三羟甲基丙烷的合成过程的在线监测.     

管子模型在高分子纽结体系中的构建和应用

纽结是链状物中的常见现象,既存在于耳机线等宏观物体,也存在于微观链状分子,包括DNA和蛋白质.近年来,实验观察到高分子纽结能显著改变力学、流变、催化、生物功能等性质,但是对高分子纽结的理论认识和解析推导较少,导致对纽结现象机理理解不足.理论研究的难点在于,纽结构象空间复杂,难以用统计物理理论进行严格解析推导.为解决该问题,我们发展纽结管子模型对纽结体系进行理论简化,将纽结问题转化成管子限制问题,使理论推导变得可行.基于该管子模型,结合蒙特卡洛模拟、分子动力学模拟、链生长法以及特定管子生成算法,我们将理论模型中的管子实物化、可视化和定量化,并得到管子形状和直径等参数.我们发现纽结管子是优美协调的心形.另外,基于该管子模型,结合受限链的标度行为,我们推导各种条件下高分子纽结的自由能、概率、纽结大小分布等性质,与模拟和实验结果吻合.在本专题论述中,我们将介绍本课题组近几年得到的高分子纽结研究结果.     

周期性梯度折射率多层膜的软X射线反射率

由于界面互扩散的存在,实际的超薄多层膜很难具有清晰的界面结构.假设超薄多层膜为具有周期性梯度折射率的多层膜结构,用直线模型和余弦模型模拟了周期性梯度折射率多层膜的软X射线反射率.结果证明,折射率余弦渐变的多层膜虽然不具有清晰的界面,但它同样具有很高的反射率.     

H2O2络合凝胶法制备纳米TiO2/SiO2复合催化剂及其光催化性能

采用H2O2络合凝胶法获得钛的络合物[TiO(H2O2)]2 水溶胶,并与SiO2水溶胶包覆复合,制备了纳米TiO2/SiO2复合半导体催化剂,其结构经XRD和BET表征。以含阳离子艳红染料模拟废水降解为模型反应,考察了复合催化剂的光催化性能。实验结果表明:经650℃焙烧后的复合催化剂中TiO2粒径为9.8 nm,光催化活性最好,SiO2的最佳掺杂量为25%。     

含过程变量的K模型最优正交区组设计

混料试验设计是研究混合物成份比例的试验设计,最优设计则是混料试验设计中重要的研究方向,其中以D-最优设计应用最为广泛.文中对K模型混料试验与最优准则进行介绍,对其含过程变量的3分量二阶K模型给出满足D-最优准则的正交区组设计,最后推广至q分量情形并证明.