平均数构造的数列性质

对任意给出的m个正实数,通过连续计算其去掉一个实数后所得数组的算术平均数,得到新的m个无穷数列。讨论了这m个无穷数列的性质,得出这卅个无穷数列都收敛于初始数组的算术平均数,并将结论拓展到了通过计算几何平均数、调和平均数、平方平均数所得到的数列的情形。得出结论：对任意一个数组,连续计算去掉一个数据后所得数组的平均数,其数字特征不会发生变化,并且如果从每次计算平均数所得的数组中任取一个数据构成无穷子数列,必定收敛于相应的数字特征。     

军工院校大学文化与大学发展耦合度评价实证分析

大学文化在现代大学发展中的作用越来越突出,已成为提升大学核心竞争力的重要因素,越来越多的大学把大学文化建设作为学校建设的重要组成部分.因此,大学文化建设的效果评价十分重要.通过建立"大学文化与大学发展耦合度"评价模型,对军工院校大学文化建设的效果进行实证分析.结果表明,哈尔滨工程大学的大学文化与大学发展之间的耦合度较高,耦合作用较强,大学文化在促进学校自觉肩负服务国防使命、实现自身发展目标中的作用明显,大学文化系统与大学发展系统之间呈正相关关系.     

决策表中基于对象的μ-约简方法研究

研究了不协调决策表中基于对象的μ-约简问题,给出了μ-约简的一些性质及等价定义,得到了μ-约简的判定定理和相应的可辨识矩阵及辨识公式,从而提供了不协调目标信息系统知识约简的新方法。并通过实例将决策表中基于对象的约简与整体约简进行了对比,结果表明前者可以得到更简洁的知识。该方法也适用于协调目标信息系统。     

带有不同否定的模糊命题逻辑的形式演绎系统

对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom（fuzzy sets with contradictory negation, opposite negation and medium negation）,随后建立了一种改进的模糊集IFScom（improved FScom）。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。     

Fractional partial differential equation denoising models for texture image

In this paper,a set of fractional partial differential equations based on fractional total variation and fractional steepest descent approach are proposed to address the problem of traditional drawbacks of PM and ROF multi-scale denoising for texture image.By extending Green,Gauss,Stokes and Euler-Lagrange formulas to fractional field,we can find that the integer formulas are just their special case of fractional ones.In order to improve the denoising capability,we proposed 4 fractional partial differential equation based multiscale denoising models,and then discussed their stabilities and convergence rate.Theoretic deduction and experimental evaluation demonstrate the stability and astringency of fractional steepest descent approach,and fractional nonlinearly multi-scale denoising capability and best value of parameters are discussed also.The experiments results prove that the ability for preserving high-frequency edge and complex texture information of the proposed denoising models are obviously superior to traditional integral based algorithms,especially for texture detail rich images.     

基于模态分解和云粒子网络的大坝基岩地震动输入研究

在大坝抗震安全评价中基岩地震动输入多采用实测数据或人工生成等方式,而当坝址仪器损坏或历史震害资料不足时,确定基岩地震动就变得尤为困难。本文提出对大坝基岩地震动进行反演的研究思路,并开发了基于经验模态分解和云粒子网络的分解—训练—反演混合模型,在不依赖场地历史震害资料的情况下,仅用少量周边测站数据即可确定大坝的基岩地震动。首先,选取坝址周边地表及基岩的地震动实测记录,采用经验模态分解法将地震加速度序列分解;其次,通过粒子群算法建立与神经网络连接权值的映射,采用云理论优化粒子群算法的全局寻优能力,建立反演模型,将分解后的加速度序列作为训练集进行反演训练;然后,选取与大坝处于相似地质情况的地表实测地震动信息,结合反演模型对大坝基岩输入地震动进行反演;最后,以紫坪铺大坝为研究实例,通过对比传统输入方法,验证该模型的适用性。结果表明：本文所提的混合模型综合性能稳定,能较好地反演地震加速度序列,模型决定系数均大于0.9,平均绝对百分比误差均在11%左右;采用本文反演得到的基岩地震动进行计算,较已有研究成果计算误差降低0.79%~17.28%,与工程实际动力响应更为吻合。本文方法可为解决大坝基岩输入地震动的获取提供一条新途径。     

Evaluating the usage of fault localization in automated program repair: an empirical study

Fault localization techniques are originally proposed to assist in manual debugging by generally producing a rank list of suspicious locations.With the increasing popularity of automated program repair,the fault localization techniques have been introduced to effectively reduce the search space of automated program repair.Unlike developers who mainly focus on the rank information,current automated program repair has two strategies to use the fault localization information:suspiciousness-first algorithm(SFA)based on the suspiciousness accuracy and rank-first algorithm(RFA)relying on the rank accuracy.However,despite the fact that the two different usages are widely adopted by current automated program repair and may result in different repair results,little is known about the impacts of the two strategies on automated program repair.In this paper we empirically compare the performance of SFA and RFA in the context of automated program repair.Specifically,we implement the two strategies and six well-studied fault localization techniques into four state-of-the-art automated program repair tools,and then use these tools to perform repair experiments on 60 real-world bugs from Defects4J.Our study presents a number of interesting findings:RFA outperforms SFA in 70.02%of cases when measured by the number of candidate patches generated before a valid patch is found(NCP),while SFA performs better in parallel repair and patch diversity;the performance of SFA can be improved by increasing the suspiciousness accuracy of fault localization techniques;finally,we use SimFix that deploys SFA to successfully repair four extra Defects4J bugs which cannot be repaired by SimFix originally using RFA.These observations provide a new perspective for future research on the usage and improvement of fault localization in automated program repair.     

1951—2013年周口地区降水时空变化特征研究

为了研究区域降水的时空演变规律,根据周口地区28个雨量站1951—2013年的月降水量实测资料,利用经验正交函数(EOF)分析法、Mann-Kendall检验法及Morlet小波分析法,分析了周口地区63年来降水的空间分布、时间系数变化特征和时间序列的趋势性、突变性及周期性。结果表明,周口地区降水的空间分布有3种模式:全市丰(枯)一致型、南丰(枯)北枯(丰)型和东丰(枯)西枯(丰)型,其中全市丰(枯)一致型为周口地区降水的主要分布模式,其中1966年的全市降水偏枯和2003年的全市降水偏丰最为典型;周口地区降水量由东南向西北逐渐减小,各站点降水趋势变化不一,西南部呈下降趋势,中北部呈上升趋势,降水总体呈下降趋势;区域整体降水在1997年发生了突变,整体降水周期性变化明显,存在时间尺度为21 a的变化周期。研究结果可为周口地区的农业生产以及旱涝预警和减灾防灾提供理论支撑。     

不同选样方法下暴雨频率指数分布曲线的适用性

为了判定指数分布曲线是否适用于选取的样本系列,对不同选样样本系列的概率密度曲线和指数分布曲线之间的相似情况进行了理论分析,并结合实例采用指数分布曲线对不同选样方法下选取的样本系列概率密度直方图进行曲线拟合。结果表明：年最大值法选样从理论上不适宜选用指数分布曲线进行频率分析;年多个样法选取样本系列只有在概率密度曲线呈“捺”形时,才可以考虑采用指数分布曲线,否则不宜采用。     

落球法测量液体粘滞系数的实验研究

通过实验并利用 OriginP ro8.0软件对实验数据进行了线性拟合,给出了在实验室条件下斯托克斯公式的修正系数,并将计算结果与公认值进行了比较。结果表明,给出的修正公式的计算结果误差小,数据离散程度较小。在相同条件下对2种不同液体所做实验得到一致的结论。