基于演化传播模型的本体内聚程度分析

本体演化是本体工程领域的研究热点之一,当前研究大多侧重于演化策略或演化过程中使用的技术的研究,对于如何最化本体适应变化的能力至今没有明确结论,本文从一个全新的角度来解决这一问题,通过计算给定本体的内聚程度来量化本体适应变化的能力.本文提出了一种包含本体变更影响信息的演化传播模型;定义了能使该模型形式化表示的编码ETMC...     

EPCCL理论的并行知识编译算法

基于超扩展规则，证明了EPCCL（Each Pair Contains Complementary Literal）理论的合并过程是可并行执行的，并设计了针对多个EPCCL理论的并行合并算法PUAE（Parallel computing Union of Any number of EPCCL）.通过对EPCCL理论原始子句集的利用，提出了另一种高效的EPCCL理论并行合并算法imp-PUAE（improvement of PUAE）.UKCHER（computing Union sets of maximum terms for Knowledge Compilation based on Hyper Extension Rule）是一种可并行的EPCCL理论编译算法，分别利用PUAE和imp-PUAE设计了两个并行知识编译算法P-UKCHER（UKCHER with PUAE）和impP-UKCHER（UKCHER with imp-PUAE）.实验结果表明：P-UKCHER算法虽然没有提升UKCHER算法的效率，但能够提升UKCHER算法编译结果的质量，最好情况下可提升4倍；而impP-UKCHER算法能够提高UKCHER算法的效率，同时也能够提升编译结果的质量，同样最好情况下可提升4倍.     

一维ZnO表面可控构建Co3Mn1纳米晶及其催化CO氧化性能

利用热分解法制备了结构明确的负载型纳米晶催化剂。在纳米晶成核和生长过程中加入一维Zn O纳米棒作为晶种,调控不同组分的纳米晶在Zn O纳米棒表面均匀生长,从而获得了结构明确的Mn O/Zn O、Co₃O₄/Zn O、Co₃Mn₁/Zn O催化剂。透射电子显微镜(TEM)与X射线粉末衍射(XRD)结果显示,不同组分纳米颗粒都均匀分散在Zn O纳米棒表面。相对于Mn O/Zn O和Co₃O₄/Zn O催化剂,Co₃Mn₁/Zn O催化剂在CO氧化反应中具有最佳的催化性能。在200 L·g^-1_cat·h^-1的气时空速下,Co₃Mn₁/Zn O催化剂起活温度为50℃,其T₁₀₀(CO转化率达到100%时的温度)为200℃;利用X射线光电子能谱(XPS)对不同催化剂进行了分析,结果显示,Co<...     

高比表面积双孔SiO2负载钴基催化剂费托合成反应性能研究

载体的结构可以显著影响钴基费托合成催化剂的活性和产物选择性。大孔结构载体可以改善反应物和产物的传质情况,提升CO转化活性和C₅₊产物选择性;高比表面积载体有利于使负载的金属分散,提高催化剂的金属利用效率和稳定性。然而,要获得同时具备高比表面积和大孔结构特征的载体相对困难。本研究采用结构导向水解法,合成了一种比表面积达1103.2 m²/g的介孔(2.9 nm)-大孔(63.8 nm)双孔二氧化硅(BP-SiO₂)载体,研究了其负载钴催化剂的费托合成反应性能。结果表明,相对规整介孔SBA-15分子筛负载的钴催化剂Co/SBA-15,210℃反应时,催化剂Co/BP-SiO₂的CO转化率提高33.3%,CH₄选择性降低30.1%,C₅₊选择性增加到80.0%,稳定性显著增强。     

一种基于MBR的不确定区域间方向关系建模方法

现实世界中的区域多具有不确定边界,现有基于确定区域的建模方法无法直接处理此类不确定区域间的方向关系.用宽边界表示区域的不确定边界,以区域的最小边界矩形(minimum bounding rectangle,简称MBR)为模型,提出一种基于MBB的不确定区域间方向关系建模方法.利用基于MBB的主方向关系和矩形代数表示不确...     

依赖公理约简的经典规划方法

 基于可满足性的规划方法通过将经典规划问题转换为一系列可满足性问题进行求解.几乎所有基于可满足性的规划编码都存在着大量的重叠公理和冗余公理,直接决定了编码理论的编码大小与求解难度.通过分析基于Graphplan的编码方式,分别提出了重叠公理的判定策略和冗余公理的删除策略.在SATPLAN2006规划系统中实现相应的编码方式并与原系统进行比较,实验结果表明:该约简方法能够在不降低规划性能的前提下有效地压缩转换理论的编码大小.通过分析基于状态的编码方式,提出了重叠公理的判定策略.重叠公理与冗余公理的约简容易实现,且并未改变知识库的结构模式,为进一步提高规划系统处理更大规模问题的能力提供了可能.     

钴锰比对CoMnNa催化剂费-托合成催化性能的影响

利用热分解法制备了一系列钴锰比例不同、粒径均一的CoMn纳米晶,基于此结构明确的催化材料,考察了钴锰比例对催化剂的费-托合成活性与产物选择性的影响.研究结果表明,随着Mn含量的增加,催化剂还原性降低,随着钴锰比例由1∶1增加到5∶1,费-托合成产物的α值(链增长概率)由0.39增加到了0.59.低碳烯烃选择性由66.5...     

基于MOVR启发式的求差知识编译算法

DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设计了一种新的启发式策略MOVR（maximum occurrence number of variables in middle result）,用于动态地从输入子句集中选择所包含变量在中间结果中出现次数最多的子句.将MOVR启发式策略与DKCHER算法相结合,设计了MOVR_DKCHER算法.实验结果表明,MOVR启发式策略能够显著提高DKCHER算法的编译效率和编译质量,编译效率平均可提升70倍左右,最高可以提高237倍.     

浴霸中的问题

1 问题的提出 随着人们对能源问题及环境污染认识的加深,人们逐渐抛弃煤炭、石油等常规能源,转而把目光投向光能等清洁的可再生资源.于是,大力修建发电设施,并且探索利用太阳能,从而促使利用太阳能、电能的机器得到飞速的发展,比如太阳能热水器、电饭锅、浴霸等.前不久,我父亲也买了一台浴霸,可当我使用时,发现并不像想象中的那样暖和.我重新翻看一遍说明书,发现该型号浴霸的安装高度为1.8-2.5m,而我家浴室有2.65m高,也就是说,浴霸的实际安装高度为2.65m.     

在一维ZnO表面可控构建Co3Mn1纳米晶及其催化CO氧化性能

利用热分解法制备了结构明确的负载型纳米晶催化剂。在纳米晶成核和生长过程中加入一维ZnO纳米棒作为晶种,调控不同组分的纳米晶在 ZnO纳米棒表面均匀生长,从而获得了结构明确的 MnO/ZnO、Co₃O₄/ZnO、Co₃Mn₁/ZnO催化剂。透射电子显微镜(TEM)与 X 射线粉末衍射(XRD)结果显示,不同组分纳米颗粒都均匀分散在 ZnO 纳米棒表面。相对于 MnO/ZnO 和Co₃O₄/ZnO催化剂,Co₃Mn₁/ZnO催化剂在CO氧化反应中具有最佳的催化性能。在200 L·g_cat^-1·h^-1的气时空速下,Co₃Mn₁/ZnO催化剂起活温度为 50 ℃,其 T100(CO 转化率达到 100% 时的温度)为 200 ℃;利用 X 射线光电子能谱(XPS)对不同催化剂进行了分析,结果显示,Co₃Mn₁/ZnO催化剂的氧空位比MnO/ZnO催化剂提高了30%以上,从而使其具有较高的CO氧化催化性能。更为重要的是,Co₃Mn₁/ZnO复合纳米晶催化剂的活化能(39.4 kJ·mol^-1)远低于其它负载型纳米晶催化剂。