金属有机框架材料在光催化领域的应用

金属有机框架(MOFs)材料具有比表面积大、结构可调控、孔隙度高等特点,在许多领域都有潜在的应用价值.本文综述了近年来MOFs在光催化制氢、CO₂的还原、光催化降解方面的研究.此外,本文还探讨了MOFs作为催化材料的优点,对其应用前景进行展望.     

弱半鞅的Doob不等式及收敛定理的应用

首先给出弱上鞅的定义,从而完整了弱鞅的概念,并指出弱鞅、弱半鞅(即弱下鞅)和弱上鞅之间的关系.然后利用弱半鞅的Doob极大值不等式得到了弱半鞅的Doob不等式.最后对Newm an和W right的弱半鞅的基本收敛定理给出了一个应用.     

一类非线性退化波动方程整体解的存在性

应用致密性方法和D.H.Sattinger的“位势井”理论,研究了一类非线性退化波动方程初边值问题整体解的存在性.     

解四阶抛物型方程的若干新的差分格式

利用加耗散项的方法,提出解四阶抛物型方程的若干新的差分格式,研究它们的局部截断误差阶及稳定性.数值例子表明,格式是有效的.     

γ-条件下求解带不可微项方程的一种迭代格式

给出了求解带不可微项方程的一种迭代格式,利用优序列技巧,在γ-条件下,给出了该迭代格式的存在性与收敛性定理,并给出了误差估计.得到的结果为:当判据a≤3-L-2 2-L时,该迭代格式所产生的向量序列{zn}与{wn}均收敛于方程f(z) g(z)=0的唯一解z*,且有误差估计为:|z*-zn|≤t*-tn,|z*-wn|≤t*-sn.     

模糊拓扑半群

引入模糊拓扑半群的概念,给出模糊拓扑半群的等价定义,得到了一些模糊拓扑半群的一些性质;并定义、研究了模糊拓扑子半群以及模糊拓扑半群族的直积性质.     

步长为1和n/2循环图的导出匹配可扩性研究

如果一个图的任何一个导出匹配都能包含在一个完美匹配当中,就称之为导出匹配可扩的.对有2n个顶点x1,x2,…,x2n的图,如果对于i-j≡±1(mod2n)或者i-j≡±n2(mod2n)的i和j,均有xixj∈E(G),则称其为步长为1和n2的循环图,记为C2n(1,2n).本文的主要结论为:C2n(1,2n),n#4,是导出匹配可扩的.     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

构造Hermite型插值函数的新格式

基于牛顿插值方法,本文提出了构造具有高阶导数插值条件或缺少函数值插值条件的Hermite型插值的新格式,具有构造简单,应用广泛等优点.     

一种计算冲压零件轮廓相似度的快速算法

为了适应网络应用对轮廓相似度计算在速度和数据传输量方面的要求,文中提出了一种非离散的快速算法,该算法采用直线和圆弧来表达轮廓曲线．在对图形进行范化处理后,将待匹配轮廓按照一定步距进行旋转．然后依次以待匹配轮廓或目标轮廓作为模板,计算模板的所有顶点与其在另一个轮廓中对应点的距离平方的平均值．在所有角度中,平均值之和的最小值即为两个轮廓的匹配度．该算法同时适用于凸多边形和凹多边形,并具有较好的区分度和匹配准确性．和以往的离散方式相比,该算法减少了需要传递的数据量．提高了运算速度．