机车运输调度系统的HCPN模型及性能测量方法

机车的运输调度管理是安全关键工业系统中的一个重要的研究方向,如何建立一个形式化的先验模型,利用模型对调度策略的安全性、正确性以及运输调度系统进行性能分析是本文研究的主要目的。使用分层Petri网的建模方法,以调度策略为框架建立整体的矿井机车运输调度控制系统模型,模型结构独立于运行路线结构。通过对模型的运行状态报告进行分析,给出调度策略的安全性和正确性的判定条件;同时,通过分析模型的标识状态图信息得到系统性能参数指标,在此基础上,给出机车运输速度和采区的开采速度是否匹配、进路区段的规划是否合理的评估方法和准则。     

采用三次通信的TOF与TDOA联合定位算法

通常基于超宽带(UWB)的定位系统采用的主要技术是TOA和TDOA算法,但是TOA算法定位速度低,TDOA算法定位精度不稳定,这些情况均限制了它们在UWB定位系统中的应用。为了权衡这两种算法在定位速度和精度方面的不足,提出了一种新的TOF与TDOA联合定位算法(CTT)。该算法仅需要3次UWB通信便可测量TDOA算法所需的所有时间差信息和一个TOF距离值,并可以此计算出该定位区域内所有基站与单个标签的距离,定位速度比TOA算法提升至少50%。使用DW1000分别对TOA、TDOA与CTT算法进行定位精度对比,结果表明CTT算法在二维情况下的平均定位误差<20 cm,标准差<10 cm,接近于TOA的精度并解决了TDOA算法精度不稳定的问题。     

无线传感器网络虚拟力覆盖控制及节能优化研究

综合考虑无线传感器网络的能量约束、覆盖要求,结合天线理论,将无线传感器网络的覆盖控制问题归结于一个多目标非线性规划问题,从而推导并建立了一个多目标非线性规划问题的数学模型。解决方法上,提出了一种基于节能的虚拟力优化算法。将传感器节点与目标覆盖区域的虚拟力操作和节点之间的虚拟力操作按节约能耗的约束同时进行,从而达到覆盖控制技术的优化目的。仿真实验表明,该策略对解决多目标非线性规划问题有着良好的收敛性与普适性,可以满足无线传感器网络的覆盖控制要求,并可以将网络的生命周期最大化,提高了系统的性能。     

25Cr35NiNb合金表面Al-Si-Cr涂层抑制结焦性能

采用固体粉末包埋渗方法在25Cr35NiNb合金表面制备Al-Si-Cr涂层,通过乙烯裂解模拟装置中的结焦实验,对涂层抑制结焦性能进行分析评价。运用金相显微镜、扫描电子显微镜(SEM)和能谱仪(EDS)等方法分析了涂层显微组织及结焦层形貌特征。结果表明,采用粉末包埋共渗可以得到厚度在130 mm左右的Al-Si-Cr涂层,涂层具有多层结构且组织致密,外层为富铝硅层,内层为富铬硅层;Al-Si-Cr涂层具有良好的抗结焦性能,可有效抑制催化结焦,抑制结焦率达72.5%。     

基于多隐层Gibbs采样的深度信念网络训练方法

深度信念网络（Deep belief network,DBN）作为一类非常重要的概率生成模型,在多个领域都有着广泛的用途.现有深度信念网的训练分为两个阶段,首先是对受限玻尔兹曼机（Restricted Boltzmann machine,RBM）层自底向上逐层进行的贪婪预训练,使得每层的重构误差最小,这个阶段是无监督的;随后再对整体的权值使用有监督的反向传播方法进行精调.本文提出了一种新的DBN训练方法,通过多隐层的Gibbs采样,将局部RBM层组合,并在原有的逐层预训练和整体精调之间进行额外的预训练,有效地提高了DBN的精度.本文同时比较了多种隐层的组合方式,在MNIST和ShapeSet以及Cifar10数据集上的实验表明,使用两两嵌套组合方式比传统的方法错误率更低.新的训练方法可以在更少的神经元上获得比以往的训练方法更好的准确度,有着更高的算法效率.     

LA_AODV路由协议的仿真与性能分析

AODV协议以源到目的的最短路径或最短跳数作为路由度量参数。LA_AODV协议综合考虑无线移动自组织网络的路由层和物理层,提出了一种新的路由度量参数。首先介绍了LA_AODV协议,然后讲述在NS2中实现LA_AODV的方法,并详细分析仿真中的关键问题。仿真结果表明LA_AODV协议在保持AODV协议特点的基础上,具有吞吐量高、路由开销低、延时小的特点。     

基于LONWORKS技术的智能控制器及其应用

局部操作网络ＬｏｎＷｏｒｋｓ技术以及采用该技术实现的“啤酒发酵罐群计算机监控系统”。该系统可对各啤酒罐进行生产过程控制，对各罐的温度、液位及罐压进行检测，并对发酵过程进行实时控制。     

一种面向现场总线的时分同步MAC协议模型框架

现场总线是计算机网络技术向工业控制领域发展的必然结果,MAC子层协议是其网络协议的重要部分。本文提出一种时分同步多重访问（TSMA）协议,它以多频FSK技术为基础,实现总线无冲突访问。     

MEPG视频图像版权保护方法的研究

基于数字水印技术和图像频域加密算法针对MEPG视频图像提出了一个版权保护方案，该方案利用频域加密算法对图像进行有选择的加密，并且利用频域数字水印算法嵌入能够鉴定和跟踪图像版权的有关信息，有效保护了MEPG视频的版权。     

面向软件演化的可靠性分析代数方法

环境和需求的改变导致软件演化发生,并通常会使软件架构(Software architecture,SA)产生变化.现有的结构化软件可靠性模型对评价软件初始结构设计有不错的效果,但在软件演化时的实时分析方面有局限性.从软件结构建模出发,通过使用代数方法将软件演化描述为原子操作序列,并跟踪分析序列中每一步操作对可靠性的影响...