基于专利分析的煤炭清洁高效转化技术发展态势分析

实现碳达峰碳中和目标要求加快推进能源绿色低碳转型与创新发展。本文围绕煤炭清洁高效转化技术及相关能源政策，从专利分布、技术来源地、领先专利申请人等方面分析了相关专利的整体发展趋势。专利布局情况分析结果表明，我国是煤炭清洁高效转化技术领域专利的主要研发力量和目标市场国家；中国煤炭清洁高效转化技术各领域的专利技术构成揭示了我国当前的重点研究领域；结合煤炭转化利用领域近年获得国家科技进步奖的项目中具有自主知识产权的关键核心技术来深入分析专利布局情况。在此基础上，提出煤炭转化关键专利技术应向生产力转化，抓住“一带一路”机遇以提升我国现代煤化工产业国际竞争力。     

基于知识论的科技成果转化影响因素研究

科技成果转化一直是创新发展领域研究的一个关键问题,然而对其影响因素的系统分析往往是针对市场环境和制度因素进行的,存在不足。本文基于技术知识论,从技术知识的特点出发,提出科技成果转化的两种形式,分析技术知识的特征对科技成果转化的影响。在此基础上,提出一个科技成果转化的分析框架,从技术知识主体(企业)和外部环境两个层次对影响科技成果转化的要素进行了分析,认为科技成果的转化政策要从资金支持、激励制度改革等向构建更高效的知识网络方向转变。     

我国高校科技成果转化的主导模式、共性问题及对策分析

科技成果转化是我国高校服务社会的重要方式。高校因地制宜地选取转化路径和交易形式,对提高其转化效率、实现转化价值至关重要。本文基于高校转化能力和意愿、科技成果价值及教师行为决策,提炼出我国高校科技成果转化实践层面存在的四类主要模式,技术超市、重大攻关、技术秘密转让、体外循环,并归纳得出每种模式的典型特征与不足。在此基础上,结合当前高校科技成果转化的政策环境,从专利数量失控、过程管理缺位、权利下放过快三方面分析成果转化的共性问题及其负面效应。最后,针对具体不足和共性问题提出了相应的政策建议。     

缩减MAX SAT问题中变元个数的多项式时间算法

针对ＭＡＸ ＳＡＴ问题，提出一个缩减变元个数的多项式时间算法，若Ｔ是ＭＡＸ ＳＡＴ问题的任何一个实例，该处法将其转化为另一个实例Ｐ，具Ｐ中的变元个数小于Ｔ中的子句个数，在采用其他算法求出Ｐ的最优解后，可用Ｐ的最优解构造Ｔ的最优解。此算法可作为一个有效的预处理处理。     

地质科学研究中的方法论

地质作用代表关睛种自然界中永恒的物质运动开矿它以不同的作用形式存在于无限的空间 时间内，并有着特圾的运动历史，它的研究属于自然界中较高级的物质运动形态，不应等同于立意的１初级的物理和化学的运动开矿但又 它们为基础，基于自然 观察，地持科学研究的方法主要是外延法，是在认为过程中，通过归纳和演绎，对推是和撮佳解释。揭示地质作用的内在矛盾及其转化的争论是地质科学研究中的驱动力。通过论争，找出关键，而达到     

高压微区流动与聚乙烯伸直链晶体束状成核模型

从分析聚乙烯伸直链晶体形成的动力学条件出发，结合乙基纤维素液晶能诱导聚合烯ＥＣＣ生成和高压结晶试样出现分层现象的流动痕迹的实验事实，得出了高压微压流动是ＥＣＣ形成的重要因素这一迄今未见报道的结论，为ＥＣＣ的束状成核模型找到了动力学基础和实验依据，根据晶核形成一消失是相互转化的随机过程这一特点，讨论了束状成核的生长速率Ｇ和表面成速率Ｊ的数学表达式。     

岷江源头区水土流失模拟计算与动态分析

通过对卫星遥感图片的解译以及ArcGIS软件的应用,借助已有水文数据和通用水土流失方程(USLE)模拟计算了岷江源头区1974年、1994年以及2002年的年水土流失总量。同时,按照国家水利部公布的水土流失强度标准,将该区域分为无流失区、轻度流失区、中度流失区和强度流失区四个水土流失等级。结果表明:(1)该区域年水土流失总量从1974年到2002年呈下降趋势,1994年~2002年减少的速度远远大于前20年。(2)研究区域的水土流失强度有从流失严重的等级向流失轻微的等级转化的趋势,从转化面积来看,主要是由轻度流失区向无流失区转化以及中度流失区向轻度流失区转化。从转化比例来看,强度流失区减少得最多,大多转化为中度流失区。     

多元合金枝晶生长形态转变及显微偏析的相场法研究

采用多元合金相场模型及耦合真实热力学参数，对Ni-Al-Nb三元单相合金在不同过冷度及不同成分条件下的枝晶生长形态转化及显微偏析进行了研究．结果表明：在成分相同改变过冷度以及过冷度相同改变Nb含量两种条件下，随着无量纲过冷度U（U=△T／△T0，其中△T为过冷度，△T0为结晶温度间隔）的增大，两种条件下均出现枝晶形态由典型枝晶形态向球状晶形态转化，而枝晶显微偏析程度在两种条件下均呈现为先增大后减小的规律．     

基于区域分解的有限元分裂外推法

有限元分裂外推是并行计算大型科学和工程问题新技术，大型多维问题经过区域分解被转化为有多个网参数的离散问题。证明了线性及非线性二阶椭圆型偏微分方程和本征问题的有限元近似解的误差关于独立网参数有多变量渐近展开，从而通过并行解若干规模大略相同的小问题，经分裂外推系数组合得到在型问题的全局细网格上高精度近似解。     

基于专利分析的甲醇生物利用及转化技术趋势研究

以Thomson Innovation数据库和国家知识产权局的中国专利数据库收录的甲醇生物利用及转化相关专利文献作为研究对象,探讨了该技术领域专利申请的整体态势、重点技术分布、地域分布、主要申请人和在华专利申请,全面揭示了甲醇生物利用及转化技术创新现状和发展趋势。研究发现:以1999年为界,甲醇生物利用及转化技术全球专利活动分为两个阶段;日本是全球最大的技术输出国;日、美、欧是最受重视的市场保护地;methan*或methy*类菌株及其基因改造手段是一直以来的研发热点;甲醇生物利用及转化技术专利申请人集中度较高;在华技术分布与全球基本一致。     

Epistemic benefits of the material theory of induction

C. D. Broad famously labelled the problem of providing our inductive practices with a proper justification “the scandal of philosophy” (Broad, 1952). Recently, John Norton has provided a dissolution of this problem (2014). According to Norton, inductive inference is grounded in particular facts obtaining within particular domains (J. Norton, 2003b, 2010, 2014). Because the material theory does not involve a universal schema of induction, Norton claims it dissolves the problem of induction (which implies that such universal schemas cannot be justified).In this paper, I critically evaluate Norton's dissolution. In particular, I argue that the problem of induction is an epistemological problem, that Norton's material theory entails an externalist epistemology, and that it is a common feature of such epistemologies that they dissolve the problem of induction. The upshot is that the material theory is not unique in its ability to reap the specifically epistemic benefits of dissolving the problem of induction, and thus that the epistemic advantages of the material theory over extant alternatives in this regard are fewer than it may appear at first sight.     

Prelude to dimension theory: The geometrical investigations of Bernard Bolzano

This paper treats Bernard Bolzano's (1781–1848) investigations into a fundamental problem of geometry: the problem of adequately defining the concepts of line (or curve), surface, solid, and continuum. Bolzano's interest in this problem spanned most of his creative lifetime. In this paper a full discussion is given of the philosophical and mathematical motivation of Bolzano's problem as well as his two solutions to the problem. Bolzano's work on this part of geometry is relevant to the history of modern mathematics, because it forms a prelude to the more recent development of topological dimension theory.     

The quantum vacuum and the cosmological constant problem

The cosmological constant problem arises at the intersection between general relativity and quantum field theory, and is regarded as a fundamental problem in modern physics. In this paper, we describe the historical and conceptual origin of the cosmological constant problem which is intimately connected to the vacuum concept in quantum field theory. We critically discuss how the problem rests on the notion of physically real vacuum energy, and which relations between general relativity and quantum field theory are assumed in order to make the problem well-defined.     

Four tails problems for dynamical collapse theories

The primary quantum mechanical equation of motion entails that measurements typically do not have determinate outcomes, but result in superpositions of all possible outcomes. Dynamical collapse theories (e.g. GRW) supplement this equation with a stochastic Gaussian collapse function, intended to collapse the superposition of outcomes into one outcome. But the Gaussian collapses are imperfect in a way that leaves the superpositions intact. This is the tails problem. There are several ways of making this problem more precise. But many authors dismiss the problem without considering the more severe formulations. Here I distinguish four distinct tails problems. The first (bare tails problem) and second (structured tails problem) exist in the literature. I argue that while the first is a pseudo-problem, the second has not been adequately addressed. The third (multiverse tails problem) reformulates the second to account for recently discovered dynamical consequences of collapse. Finally the fourth (tails problem dilemma) shows that solving the third by replacing the Gaussian with a non-Gaussian collapse function introduces new conflict with relativity theory.     

On the Everettian Epistemic Problem

Recent work in the Everett interpretation has suggested that the problem of probability can be solved by understanding probability in terms of rationality. However, there are two problems relating to probability in Everett—one practical, the other epistemic—and the rationality-based program directly addresses only the practical problem. One might therefore worry that the problem of probability is only ‘half solved’ by this approach. This paper aims to dispel that worry: a solution to the epistemic problem follows from the rationality-based solution to the practical problem.     

剩余型直觉模糊推理的三I方法

要本文研究了由左连续三角模所生成的直觉三角模的性质,给出了与直觉三角模相伴随的剩余型直觉蕴涵算子的等价刻画,揭示了直觉模糊蕴涵算子和模糊蕴涵算子的关系．结合模糊推理的三I方法,针对剩余型直觉蕴涵算子,提出直觉模糊推理IFMP问题的三I方法和分解方法,给出两种方法的求解公式,并讨论了它们的还原性,证明了三I方法和分解方法具有良好的还原性．最后提出了IFMP问题的a-三I方法．并给出相应的算例分析．     

基于粒子滤波的部分对应点集刚体配准算法

为了解决部分对应点集之间的刚体配准问题,本文提出了一种基于粒子滤波的刚体配准算法.该方法将部分对应点集配准问题转化成相应的状态估计问题,通过采用基于配准误差驱动的运动模型及设计基于迭代最近点原理的观测模型,从而提出了基于粒子滤波的配准算法解决部分对应点集的刚体配准问题.实验结果验证了本文所提出算法的有效性.     

电催化分解水研究进展

能源问题是当今世界的热点问题之一。作为最重要的可再生清洁能源之一,氢能是解决当前能源危机的重要途径之一。本文综述了电解水制氢原理和目前电解水制氢的发展现状,并预测了电催化分解水制氢的发展与应用前景。     

P_MOEA：一种多目标决策辅助遗传算法用于服务组合QoS优化

在服务组合场景下,SLA约束下的服务组合优选是实现服务质量管理的重要基础之一．服务组合优选既是一个组合优化问题同时也是多目标决策问题,需要高效的算法以支持大规模的候选组合方案集合,同时也需要有效的评价模型来明确定义候选方案的优劣程度,从而为决策者提供支持．现有的服务组合优选方法多基于两种模型定义其优化目标：线性效用函数和Pareto最优．前者需要量化权重配置以定义效用函数,但是对于用户来说精确的量化权重配置是一个非常困难的任务,特别是在涉及到的QoS维度较多时;后者无需权重配置,将Pareto最优的skyline集合作为优化结果返回给用户,然而skyline集合的规模是不可控的,最优结果集的规模会随着问题的规模增大而显著增大,过大的最优结果集显然难以为决策者提供有效参考,针对上述传统方法的不足,在本文中,我们将PROMETHEE方法弓I入服务组合优选问题,结合Pareto和PROMETHEE两种评价模型,将skyline集合基础上的Top—kPROMETHEE最优方案作为优化目标,提出并实现了一个高效的遗传算法：P—MOEA．算法可以针对大规模问题,高效地返回Top—kPROMETHEE最优组合方案集合,从而为进一步的决策提供有效的参考．我们实验验证了算法的效率和有效性．