拉格朗日中值定理的证明及应用

中值定理是微分学的基本定理,是应用导数研究函数在区间上整体性态的有力工具,其中拉格朗日中值定理是核心内容.给出拉格朗日中值定理的三种证明方法及其在级数散敛性方面的应用.     

动态GPS测量的误差分析

根据动态GPS数据传输的特性,结合实验数据,多路径的影响,进行误差分析。阐述动态GPS的高程的制约因素,并对如何提高高程成果精度进行说明。     

汽轮机油在线再生净化装置在临汾热电的应用

针对山西大唐国际临汾热电有限责任公司汽轮机油旋转氧弹值下降快、T501抗氧剂含量也降至较低水平的情况,通过用QZZ-6型汽轮机油在线再生净化装置对汽轮机油进行处理,处理后添加0.08%的T551,使汽轮机油旋转氧弹值、抗氧化性均符合GB/T 14541《电厂用运行矿物汽轮机油维护管理导则》中规定,油质各项指标稳定,无异常,适合推广应用。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

京津冀大气污染治理省际合作博弈模型

首先，结合目前京津冀区域大气污染的实际情况，提出了通过省际合作达到大气污染治理的 3 个基本假设. 其次，通过构建区域优化模型和 Shapley 值合作收益分配方案，建立了京津冀大气污染治理省际合作博弈模型. 通过求解区域优化模型得到各省份最优去除量和去除成本，进而利用 Shapley 值法获得相对公平的合作收益分配方案. 最后，以 2009 年京津冀各省份 SO₂ 去除为例进行了实证分析，结果显示了京津冀省际合作博弈模型的有效性和实用性，而且模型最优化模拟结果可作为区域决策的重要参考，促使各省份合作共赢.     

基于模糊评价理论的农路建设项目绩效评价

为了推进农村公路建设项目的发展，把握未来农村公路规划的建设方向，有必要对农村公路建设项目进行绩效分析和评价。首先按照“价值-目的-目标-标准和指标”逻辑思路，构建出农村公路绩效评价的初选指标体系；其次，引入因子分析法，对初选指标进行筛选，确立一套较为全面的指标体系结构；然后，采用集值统计法，确定指标体系的权重；最后，使用模糊综合评价法，对农村公路建设项目进行绩效评价。以河南省“四好农村路”为例，确定了资金管理、工程效果、规划与执行、环境影响、社会经济效益、与新农村建设关系、对基层执政能力影响7个评价领域，构建了绩效评价的指标体系，采用多级模糊综合评价法得到绩效水平为73.16,属于“较好”等级。研究表明，该绩效评价体系对于农村公路建设项目评价有一定的参考意义，能够根据绩效结果，给出提升农村公路规划发展的建议和方向。     

基于旋转变换的灰值形态算子

在二值旋转形态算子研究的基础上,研究了基于旋转变换的灰值形态算子的相关理论及方法,通过引入本影集合上的点积运算和灰值旋转变换等方法,将本影变换与表面算子应用于构建灰值旋转形态算子,提出并建立了基于空间旋转变换的灰值腐蚀、膨胀及开、闭算子,论证了一系列重要的性质,这些结论充实了基于旋转变换的形态学理论.     

基于α-β优势关系的区间值信息系统属性约简方法

区间值信息系统是单值信息系统的一种扩充,如何对其进行属性约简是区间值多属性决策中的一个重要的问题.在已有的优势关系基础上,定义了α-β优势关系,得到基于新的优势关系的可辨识矩阵,进而对区间值信息系统进行属性约简,给出了约简算法.最后通过一个算例验证了新方法的可行性,并与已有方法进行了比较,结果表明所提出的方法更为简单有效.     

Higher-order principal component pursuit via tensor approximation and convex optimization

Recovering the low-rank structure of data matrix from sparse errors arises in the principal component pursuit （PCP）. This paper exploits the higher-order generalization of matrix recovery, named higher-order principal component pursuit （HOPCP）, since it is critical in multi-way data analysis. Unlike the convexification （nuclear norm） for matrix rank function, the tensorial nuclear norm is stil an open problem. While existing preliminary works on the tensor completion field provide a viable way to indicate the low complexity estimate of tensor, therefore, the paper focuses on the low multi-linear rank tensor and adopt its convex relaxation to formulate the convex optimization model of HOPCP. The paper further propose two algorithms for HOPCP based on alternative minimization scheme： the augmented Lagrangian alternating direction method （ALADM） and its truncated higher-order singular value decomposition （ALADM-THOSVD） version. The former can obtain a high accuracy solution while the latter is more efficient to handle the computationally intractable problems. Experimental results on both synthetic data and real magnetic resonance imaging data show the applicability of our algorithms in high-dimensional tensor data processing.     

基于熵值法和线性加权模型的承德市新型城镇化路径研究

基于承德市2006—2015年的时间序列数据,采用熵值法和线性加权模型对其新型城镇化路径进行实证研究.结果表明,环保、经济、人类系统和社会建设水平在推进新型城镇化进程中所占地位和影响力度不同.其中人类系统发展水平是加速新型城镇化进程的主要因素和薄弱环节,特别是户籍人口城镇化率和常住人口城镇化率影响最为突出.