铌酸锰-还原氧化石墨烯复合光催化剂的构建以及可见光下降解亚甲基蓝

通过水热法和光还原方法成功地制备了铌酸锰-还原氧化石墨烯复合光催化剂。这种复合光催化剂可以明显地提高光催化降解亚甲基蓝的光催化活性,降解效率在60 min内达到了78.2%,是单体铌酸锰降解效率的2倍。通过活性物质捕获实验的研究,增强的光催化性能可以归因于还原氧化石墨烯加速了光生电子-空穴的分离效率,进而解决了低光催化活性的问题。     

含季鏻阳离子的[Mo6O19]2-多酸化合物的合成、结构及光催化性能研究

通过使用季鏻盐与钼酸铵在常温条件下合成了含季鏻阳离子的(n-PentylPh₃P)₂[Mo₆O₁₉]多酸化合物,并通过X-射线单晶衍射、红外光谱、紫外光谱、热重分析和电化学对其进行了表征。产物中的季鏻配体上的氢原子通过与多酸阴离子端基氧原子形成氢键而构筑了一维链状结构,并且季鏻配体上的苯环与相邻季鏻配体上的苯环通过π-π作用形成三维层状结构。此外,对该多酸化合物的光催化降解亚甲基蓝的性能进行了研究。     

3-芳亚甲基吲哚-2-酮类化合物的合成及其抑菌活性研究

在超声辐射和哌啶催化反应条件下,1,3-二氢吲哚-2-酮(1)与芳香醛2a~2m发生Knoevenagel缩合反应,合成了一系列3-芳亚甲基吲哚-2-酮衍生物3a~3m。该方法具有产率高、反应时间短、后处理简单和环境友好等优点,产物通过~1H NMR、~(13)C NMR和HRMS手段进行结构表征,并通过核磁2D NOESY确定了所有化合物几何构型。初步抑菌活性测试结果表明,化合物3d对革兰氏阳性菌具有较好的抑制作用,最小抑菌浓度(MIC)为15.6μg/m L,化合物3f、3g、3h和3k对油菜菌核病菌表现出良好的抑制活性,MIC为62.5μg/m L,与阳性对照多菌灵相当。此外,对此类化合物的构效关系进行了讨论。     

4-甲基-4-氮杂-21E-苯亚甲基-5-孕烯-3,20-二酮类化合物的合成

报道了一种以KF/Al_2O_3催化合成4-甲基-4-氮杂-21E-苯亚甲基-5-孕烯-3,20-二酮类化合物的方法。以黄体酮为原料,经NaIO_4/KMnO_4氧化裂解、胺解关环得到重要中间体4-甲基-4-氮杂-5-孕烯-3,20-二酮,后者在KF/Al_2O_3催化下经克莱森缩合得到目标产物。考察了不同的催化剂、反应温度、催化剂用量对目标产物的影响。条件优化的结果为:n(3)∶n(KF/Al_2O_3)=1∶1,回流状态下反应4 h,产率为56%~68%。此方法适用性好,为4-氮杂甾体苯亚甲基衍生物的合成提供了一种方便而有效的方法。     

贵金属负载的棒状ZnO复合光催化剂的制备及其提升的光催化性能

以水热制备的ZnO纳米棒为基底,通过乙二醇液相还原法负载不同贵金属颗粒(Pt、Pd、Ru)构筑贵金属负载的ZnO纳米棒复合光催化剂。实验结果表明在制备条件相同时,Pt/ZnO样品中Pt颗粒尺寸较小,分布均匀;Pd/ZnO样品中Pd颗粒尺寸较大且团聚严重;Ru/ZnO样品则几乎没有Ru颗粒负载。在紫外光照射下降解亚甲基蓝的反应中,Pt/ZnO表现出最高的光催化性能,Pd/ZnO样品次之,而Ru/ZnO则表现出与ZnO纳米棒相似的光催化活性;表明小尺寸和大小均匀的贵金属颗粒对ZnO纳米棒的催化性能有着显著的提升作用。对Pt/ZnO来说,当Pt载量为3.2%时Pt/ZnO催化剂的光催化活性最高。     

矩阵代数收敛至球面与非交换度量几何

介绍了Rieffel定义的紧致量子度量空间与量子Gromov-Hausdorff距离和近来Latrémolière定义的量子Gromov-Hausdorff邻距,分别讨论了矩阵代数如何在这两种量子距离下收敛至球面.     

椭圆PDE-约束优化问题的一个预条件子

针对由Galerkin有限元离散椭圆PDE-约束优化问题产生的具有特殊结构的3×3块线性鞍点系统,提出了一个预条件子并给出了预处理矩阵特征值及特征向量的具体表达形式.数值结果表明了该预条件子能够有效地加速Krylov子空间方法的收敛速率,同时也验证了理论结果.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

经方量化归经研究中的向量矩阵应用

在经方量化归经研究中发现,药物组成的归经量化问题,若以五维向量表示更能体现其药物的归经方向和归经比例.利用向量矩阵分析方法给出了方剂归经量化的一种全新的量化模型体系,并以此研究方剂归经的量化规律及其应用特点.     

基于严格α-双链对角占优矩阵的非奇H-矩阵的判定准则

研究了非奇H-矩阵的判定问题.先给出了几个判定严格α-双链对角占优矩阵的充要条件,进一步利用矩阵对角占优理论得到了判定非奇H-矩阵的一些充分条件,推广和改进了已有的相关结果,并用数值算例说明了这些判定方法的有效性.