基于集成LSTM自编码器的多维时间序列异常检测

针对长短时记忆网络自编码器(LSTM-AE)在多维时间序列(MTS)上异常检测效率低的问题,提出一种基于集成LSTM-AE(LAE)的MTS异常检测模型。该模型集成多个LSTM-AE分别重构正常MTS各子序列,并将各重构误差作为MTS的局部特征;利用全连接网络自编码器(FCAE)对各重构误差数据进行拟合,学习MTS数据的全局特征;根据FCAE的重构误差进行异常检测。在三个公共MTS数据集上的实验表明,与基准方法相比,在Precision、Recall和F1_score三个评价指标下分别最大提升0.0584、0.1184和0.0786。

基于时间STM的软件形式化建模与验证方法

状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用.针对这一问题,提出了一种基于时间STM(time STM,简称TSTM)的形式化建模方法,通过为STM各单元格增加时间语义和约束,使其适用于实时软件行为刻画.此外,针对TSTM给出了一种基于界限模型检测(bounded model checking,简称BMC)技术的时间计算树逻辑(time computation tree logic,简称TCTL)模型检测方法,以验证TSTM时间及逻辑属性.最后,通过对某型号列控制软件进行TSTM建模与验证,证明了上述方法的有效性.

基于因特网的STM远程实时控制系统的设计与实现

在分析因特网信息传输机制的基础上，采用TCP/IP协议和客户机/服务器模式实现了多用户远程分权控制STM(扫描隧道显微镜)仪器。分析了远程实时控制系统对设备硬件及网络带宽的要求，初步探讨了因特网远程实验过程中的网络与设备安全问题与解决方案。应用本软件系统可以对远程设备进行实时控制，同时用户与操作者之间可以进行任意两者之间的语音与视觉交流，从而实现了科学实验的设备无关性，突破了现有科学研究对操作时间与地点的限制，为大幅度提高现有设备的使用效率和创建新的科研模式奠定了基础。本系统成功地实现了北京-上海两地之间的远程演示。

我国货币供应量预测:基于STM模型

基于标准的结构时间序列模型,将原序列分解得到趋势、周期、季节及不规则成分,在此基础上增加干预成分,将其扩展为复杂结构时间序列模型。应用1997年1月—2015年6月的中国货币供应量进行了预测,比较了STM和ARIMA预测效果。实证研究表明,STM模型具有良好的预测效果。

一种多现场生产线状态监测系统的设计

针对企业跨地域多现场生产线状态数据实时监测需要,提出了一种基于CAN工业现场总线与互联网技术的数据监测系统并进行了架构设计。系统采用以STM32单片机为主控制器的现场数据采集器实现生产线状态采集,并通过CAN总线发送到所在地域计算机,各地域计算机之间利用互联网技术实现数据转存备份与实时访问。实验结果表明,该系统能可靠获取多现场生产状态数据。

扫描隧道显微镜系统的优化研究

对扫描隧道显微镜(STM)系统进行了优化研究,实现了对环境振动的隔绝和电噪声的屏蔽,并在此基础上,设计并完成CCD显微监测系统,实现了对样品—探针逼近过程的实时临控。对整个系统进行了联合调试,成功获得高定向热解石墨和金表面的结构图像。

基于SDH设备的定时实现方案

本文讨论了一般的SDH设备的定时信号的提取,定时的工作方式,以及利用FPGA对SSM控制来实现定时的方案.

Al_(0.26)Ga_(0.74)As/GaAs(001)表面形貌的热力学分析

采用分子束外延(MBE)技术在GaAs衬底上生长Al_(0.26)Ga_(0.74)As外延层,并在相同的退火条件下,分别退火0,10,20,40 min。利用扫描隧道显微镜对不同退火时间下Al_(0.26)Ga_(0.74)As/GaAs样品表面进行了扫描,得出不同退火时间Al_(0.26)Ga_(0.74)As/GaAs表面形貌特点。在40 min的热退火后,Al_(0.26)Ga_(0.74)As/GaAs表面完全熟化。本文采用基于热力学理论的半平台扩散理论模型估测获得平坦Al_(0.26)Ga_(0.74)As/GaAs薄膜表面所需退火时间,根据理论模型计算得到Al_(0.26)Ga_(0.74)As/GaAs平坦表面的退火时间和实验获得平坦表面所需退火时间一致。

指针调整过程中候时抖动的减小

本文主要分析SDH的STM通信网中指针调整引起的候时抖动的频谱,并采用两过程法进行指针调整,减小候时抖动。

THALES雷达监控系统校时的改进方案

随着THALES雷达系统的运行和设备的老化,一些故障点也不断出现,针对THALES雷达监控系统在运行过程中出现的问题,分析并经过试验,找到了造成监控系统故障的原因,对监控系统校时的原理进行了深入分析,同时发现了监控校时方案存在某些方面的缺陷,针对监控系统出现的故障和校时方案存在的缺陷,提出了一种对监控系统校时的改进方案,有效弥补了监控系统的缺陷。

我国广义货币供应量M2的结构时间模型实证分析及预测

我国的M2是传统的货币政策调控中介目标,也是用来综合反映经济系统中现实和潜在购买力的重要经济指标。本文使用STM模型将M2这一可观测时间序列分解为趋势、周期、季节、不规则成分等不可观测的成分,通过对其构成成分的分析和对其变化的预测了解经济的动态特性。通过实证分析,发现STM预测性能总体上高于ARIMA模型,STM模型借助状态空间的表达形式,通用性更强,能够更加灵活的表达真实的经济系统。