智能合约函数的建模与验证研究

针对智能合约对安全性方面的相关性质的极高要求,有必要改进已有的建模算法,提出将智能合约函数的函数体语句建模为DTMC的算法,并对生成的DTMC进行验证.通过为状态迁移添加概率,实现了对随机现象的关注.通过对调用函数的分类处理,精细化了对函数调用函数情况的处理.通过添加标识符,实现了对智能合约所有控制语句的支持.对常被用于判定函数是否可以被触发的require语句,提供了差异化的处理方式从而改善算法的处理能力.同时对智能合约应保障的部分性质进行规约以验证模型效果.实验结果表明,建模方法可以实现对智能合约所有控制结构语句建模的支持,能够实现对合约函数的建模并完成验证.     

小波变换在故障检测中的应用

提出一种基于小波分析的动态系统故障检测方法.该方法不需要模型,具有灵敏度 高、克服噪声能力强的特点.仿真研究取得了满意的效果.     

基于噪声测量的主轴承间隙状态监测

提出了基于噪声和正交小波检测往复式活塞发动机滑动主轴承磨损故障的一种新方法。利用小波分析将测得的机体噪声信号变换到时频域，选择合适的频带加以提取并进行包络分析，可实现通过机体噪声信号监测主轴承的磨损状态。并说明了这种方法的有效性和应注意问题。     

焦炉烟气SDS脱硫脱硝技术探讨

SDS脱硫除尘技术在140℃以上低硫烟气工况下具有较好的脱硫效率,可实现SO2的超低排放;中低温SCR催化剂具备在160~400℃间低硫工况下NOX超低排放条件。以上两种技术的组合实现了焦炉烟道气脱硫脱硝除尘超低排放改造的目标。对“SDS脱硫除尘+中低温SCR脱硝”技术的探讨,可为后续项目提供参照,更可扩展到其他行业相似工况。     

基于小波分析的输油管道泄漏检测

文章首先简要介绍了小波变换的原理和特点，及其在输油管道泄漏检测中的应用．其后，文 章介绍了一项基于小波变换的输油管道泄漏检测技术，并以实验结果说明了该项技术的应用 效果．     

双泵自动循环互备水压控制系统的实现

在企业供水系统中,由于用水量的变化,使供水压力发生变化,通过时压力信号的检测,并经过控制器的运算以及程序的设计,构成了双水泵自动循环且互相作为备份的系统,调整变速泵转速或水泵运行台数,使供水压力重新回到设定值,满足用水要求.     

基于广义相关分析的泄漏定位

为提高基于相关分析方法的管道泄漏监测系统的性能,通过引入信号传播通道的模型,将影响定位精度的因素分解为两个方面,即：泄漏点处负压波源信号的自相关函数和负压波信号传播过程的衰减;在此基础上,采用广义相关分析方法进行泄漏定位．该方法通过前置滤波,降低了负压波信号衰减和噪声对定位结果的影响,提高了泄漏点的定位精度．     

一种基于最优鲁棒故障检测滤波器的网络化控制系统故障检测方法

研究了时延可能大于采样周期情况下的网络化控制系统的故障检测问题. 首先, 时延造成的影响被转化成了范数有界的不确定性, 接下来现有的基于参考模型的连续系统故障检测方法被推广到离散系统, 并应用于前面得到的含参数有界不确定性的系统. 本文提出的算法可以通过 Matlab LMI 工具箱实现. 仿真结果证实了算法的有效性.     

混沌理论在电力系统负荷预测中的应用

混沌理论适合描述确定性非线性系统的内在随机性,具有对初始条件敏感,遍历性、规律性等特点,作为确定论和概率论的桥梁,其特性符合电力系统负荷预测的内在要求。因此,近年来,混沌理论在电力系统负荷预测中得到了越来越广泛的应用。在总结和归纳传统预测方法的基础上,对混沌理论应用于电力系统负荷预测中的研究现状进行了综述,其中包括混沌时间序列的主要思想、混沌时间序列分别与传统预测技术、神经网络以及模糊理论相结合在负荷预测中的应用,并指出了这一技术的研究动向及应用前景。     

AGV路径规划及避障算法研究综述

自动导向车(Automated Guided Vehicle, AGV)目前被广泛应用于物流、仓储、制造业和仓储等领域.AGV的路径规划和避障算法是实现AGV自主导航的关键技术,决定了AGV在复杂环境中能否高效、安全地完成任务,近年来成为AGV领域的重要研究热点之一.本文根据AGV路径规划及避障算法的原理与特点,将主流AGV路径规划及避障算法划分为局部避障路径规划算法、基于几何模型的路径规划算法、智能路径规划算法和混合算法4类,对算法的原理、工作流程、优缺点进行了深入分析,并介绍了相应的改进算法.最后,本文对AGV路径规划及避障的未来发展趋势进行展望,为AGV路径规划及避障算法的研究指出了方向.