基于改进频谱叠加算法的多间谐波检测方法

为提高多组非对称间谐波的检测精度,对多分量频谱叠加算法加以改进,基于一元高次方程韦达定理,提出了对基波及谐波附近多个非对称间谐波的统一计算公式。首先将多个间谐波DFT后在基波及谐波附近的频谱泄露值进行矢量叠加,得出间谐波相关方程组;然后根据统一计算公式求解该复杂方程组,得出间谐波估计频率;最后结合估计频率和初始假设信号,能够得到各个频率对应的幅值及相位。实验算例表明,该间谐波检测方法能准确识别基波及谐波附近的多个非对称间谐波,能够有效解决传统检测识别间谐波时对间谐波存在个数及类型的限制。     

基于小波分解和IIR滤波器的最优均衡器设计

图示均衡器实质上是一组带宽和中心频率固定且增益可控的滤波器,以补偿的方式修补传输系统的固有缺陷,降低传输系统对输入信号造成的失真程度。图示均衡器一般采用高阶滤波器,存在计算量大、时延高以及相邻频带相互干扰等问题。针对这些问题,从优化的角度出发,提出一种基于小波分解和无限脉冲响应(Infinite Impulse Response,IIR)滤波器的图示均衡器设计方法。仿真结果显示,该方法设计出的均衡器能将衰减至-30 dB的信号恢复至大约20 dB,提供有效均衡化,同时降低时延和计算量,避免相邻频带相互干扰。     

集成偏好的高维多目标最优软件产品选择算法

在基于搜索的软件工程研究领域,高维多目标最优软件产品选择问题是当前的一个研究热点.既往工作主要采用后验方式（即先搜索再选择）处理软件工程师或终端用户的偏好.与此不同,将用户偏好集成于优化过程,提出了一种新算法以定向搜索用户最感兴趣的软件产品.在算法中,运用权向量表达用户偏好,采用成就标量化函数（achievement scalarizing function,简称ASF）集成各个优化目标,并定义一种新关系比较个体之间的优劣.为了增强算法快速搜索到有效解的能力,分别采用DPLL/CDCL类型和随机局部搜索（SLS）类型可满足性（SAT）求解器实现了替换算子和修复算子.为了验证新算法的有效性,采用21个广泛使用的特征模型进行仿真实验,其中最大特征数为62482,最大约束数为343 944.实验结果表明,基于DPLL/CDCL类型SAT求解器的替换算子有助于算法返回有效软件产品;基于SLS类型SAT求解器的修复算子有助于快速搜索到尽可能满足用户偏好的最终产品.在处理带偏好的高维多目标最优软件产品选择问题时,综合运用两类SAT求解器是一种行之有效的方法.     

基本并行进程活性的限界模型检测

基本并行进程是一个用于描述和分析并发程序的模型,是Petri网的一个重要子类.EG逻辑是一种在Hennessy-Milner Logic的基础上增加EG算子的分支时间逻辑,其中的AF算子表示从当前的状态出发性质最终会被满足,因此EG逻辑是能够表达活性的逻辑.然而,基于基本并行进程的EG逻辑的模型检测问题是不可判定的.由此,本文提出了基本并行进程上EG逻辑的限界模型检测方法.首先,给出了基本并行进程上EG逻辑的限界语义,然后采用基于约束的方法,将基本并行进程上EG逻辑的限界模型检测问题转化为线性整数算术公式的可满足性问题,最后利用SMT求解器进行求解.     

广西西江流域经济-社会-生态系统协调发展研究

对广西西江流域经济、社会、生态系统综合发展能力及协调发展水平进行了探讨。结合广西西江流域经济、社会、生态系统三者之间的内在关系,构建出了能够反映复合系统及子系统的时空变化特征、相互作用的评价指标体系,并选取了2006～2016年的统计数据,对广西西江流域经济、社会、生态系统的发展指数、协调水平、协调状态和时序变化情况进行了研究。研究结果表明:①2006～2016年,广西西江流域综合发展指数呈波动上升的趋势,经济发展指数呈"三级阶梯"发展的格局,社会发展两极分化严重,生态发展指数时空差异大;②广西西江流域经济-社会-生态系统耦合协调度提升明显,以中低度协调为主;③经济-社会系统耦合协调度较经济-生态系统、社会-生态系统要稳定,经济-生态系统、社会-生态系统耦合协调水平偏低。研究结果可为广西西江流域生态文明建设的开展提供理论参考。     

清水沟水库溃坝对主河道行洪过程影响数值模拟研究

溃坝洪水危害巨大。为研究支沟溃坝对主河道洪水过程的影响,采用集成HLLC近似黎曼求解器的二维水动力模型,模拟研究了支沟清水沟水库溃坝洪水对主河道大理河行洪过程的影响。模拟结果表明:计算水位与实测洪痕吻合度较好,证实所建模型能较为精确地模拟溃坝洪水演进过程;清水沟水库溃坝对大理河上下游均有影响,上游会发生明显的壅水现象,流量具有先下降后上升再下降至稳定的趋势;最为关心的下游洪峰呈现出先增加再下降至稳定的过程,并不是简单的叠加计算,而与上下游关系密切。该成果对于防治支沟溃坝在主河道形成洪水具有一定的指导意义。     

煤矿井下人员安全监测定位算法仿真研究

实时精确监测井下人员位置,对安全生产非常必要。井下环境复杂、坑道狭长,不同于室内,一段坑道不会采集到太多较好信号节点,无线信号传播时易受反射、多径传播和噪声等因素影响,致使传统Wi-Fi定位算法定位精度低,提出一种基于局部极大似然、信号强度来遴选Wi-Fi信号节点,并利用六点四四组合混合定位算法。首先信标节点周期性扫描移动定位模块,筛选出较优信号强度,并求出待求节点与信标节点间距离;然后局部极大似然六点四四组合;最后质心法求解中心,估计最终的井下人员位置。经过仿真验证：所提出的混合定位算法,定位精度明显提高。同时分析了井下不同噪声、基站情况下,几种定位算法性能,新算法定位精度仍然较高;最后还分析了算法的实时性。     

在反卷积网络中引入数值解可视化卷积神经网络

经典的反卷积可视化模型通过反池化、反激活、反卷积将特征图像还原至原图像空间,可视化网络节点从输入图像学习到的特征,有助于探究卷积神经网络运行良好的机制,但是由于采用近似处理,还原特征不明显。本研究引入数值求解方法来代替原模型中直接用卷积核的反转近似反卷积核的方法。先构造数据集:随机生成大小、形状、位置不一的结构简单、角点特征明显的三角形和矩形,用于组成层次结构逐渐复杂的数据集,并利用该数据集测试模型的可视化效果。实验表明,改进后的可视化模型提取的特征更明显,引入的噪音更少,可以更为精确地将激活网络节点从原图像学习的特征可视化。在更大的数据库上进行实验来验证结果,并利用这种结果进一步探究准确率与网络结构之间存在何种关系。     

前置导管节能效果数值计算与分析

前置导管作为一种典型的船舶节能装置,被广泛地应用于商船。该文分别对带前置导管与不带前置导管的JBC(Japan Bulk Carrier)进行带桨与不带桨数值计算,研究前置导管的节能效果。文中数值计算采用的求解器为上海交通大学基于开源代码平台Open FOAM与重叠网格技术自主开发的求解器naoe-FOAM-SJTU。该文通过试验值和CFD计算值对前置导管的节能效果进行评估,表明数值模拟结果与试验值吻合较好。     

基于GM(1,1)灰色预测模型的改进与应用

针对传统的GM(1,1)模型预测精度不高,并且其求解优化与多项式拟合各有片面性的缺点,给出了基于求解优化和多项式拟合优化相结合的改进灰色等维动态预测方法。结合美国近两百年人口的相关统计数据,利用传统的GM(1,1)模型及其优化后的模型进行误差比较。结果表明改进后的灰色模型预测精度更高,说明改进后的灰色预测模型的可行性与可靠性更好。