在矿井运输监控系统中任务级联锁的实现方法——基于自主驾驶矿井运输监控系统中的研究及应用

涉及一种基于自主驾驶的矿井运输监控系统中的任务级联锁实现方法的研究及应用。包括不同机车司机操作下联锁进路及信号的开放,并且考虑多车同时申请任务时的进路开放。本文提出的区域任务级联锁,提高了运输效率,同时避免了过多的人员操作,减少了作业的安全隐患,一定程度上保障了井下作业的安全性。

基于单轨吊车监控系统中道岔控制研究及应用

本文通过分析当下矿井辅助运输的现状,浅谈单轨吊车在辅助运输的作用和优势,并介绍远程道岔控制在单轨吊车监控系统中的应用。通过分析远程道岔控制在应用过程中出现的问题,提出与之相应的解决办法和安全设计。除此之外,针对系统的应用场景及其操作安全性的考虑,提出可扩展的多种道岔控制模式协同控制的方案。

无线传感器网络数据传输可靠性研究综述

无线传感器网络在资源受限和环境因素影响下数据传输的可靠性较低,然而在国防军事、工业控制等应用领域中数据传输的可靠性是评价网络性能的重要指标。首先介绍了无线传感器网络可靠性的研究意义,从可靠性评估和可靠的数据传输技术两个方面介绍了近年来的研究成果,对这些成果进行了分类、比较,进一步展望了无线传感器网络可靠性未来的研究方向。

VANET中基于不经意传输和群签名的强隐私保护方案

隐私保护是部署VANET的重要需求,事故责任判定要求隐私可揭露,因此给出可追踪的VANET隐私保护方案。为解决已有方案中权威伪造签名和权威妥协后隐私泄露问题,采取不经意传输为车辆颁发私钥,基于秘密共享联合揭露身份。为确保高效的匿名通信,采用了群签名、批验证、撤销预处理方法。安全分析表明,方案在匿名性和健壮性方面优于已有方案;性能分析表明,方案通信和计算代价与已有方案相近,可有效应用于有强隐私保护需求的VANET安全通信。

基于贪心策略的EDF调度算法优化

最早截止期优先(EDF)调度算法在系统过载的情况下会产生"多米诺效应",导致无法满足多数任务的实时性要求。针对该问题,提出一种基于贪心策略的最优调度集选择方法。通过引入一个表示任务价值的因子与任务的截止时间共同决定任务的优先级,当系统过载时,在EDF算法的可调度范围内选取重要任务作为优先调度对象。理论性能分析和实验结果表明,该算法不仅能在过载时降低实时系统的任务截止期错失率,而且能保证关键任务的优先调度。

基于蚁群算法的二进神经网络学习算法

本文提出一种实现任意布尔函数的二进神经网络学习算法,该算法首先借助蚁群算法优化选择核心节点及节点访问顺序;其次,根据优化的节点访问顺序给出扩张分类超平面的步骤,减少了隐层神经元的数目,同时给出隐层神经元及输出元的表达形式;并进一步通过理论分析了该算法的收敛性。该算法成功地改进了已有学习算法的不足,并通过典型实例验证了该算法的有效性。

Markov决策过程不确定策略特征模式

马尔科夫决策过程可以建模具有不确定性特征的复杂系统,而在进行模型分析时需要采用策略对不确定性进行处理。首先,研究不同策略下时空有界可达概率问题,给出不确定性解决策略的定义及分类方法。其次,在时间无关策略下,证明基于确定性选取动作和随机选取动作的时空有界可达概率的一致性,并且论证了时间依赖策略相对于时间无关策略具有更好的时空有界可达概率。最后结合实例简要阐述了结论的正确性。

基于Petri网的复杂空竭休假排队系统的性能评价

针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数据,得到相关的性能指标结果和期望收益.仿真结果表明这种基于Petri网模型的近似求解方法是有效的,建立的模型和基于模型的性能分析方法具有可扩展性、复用性和界面友好性.

一种公平有效的假名管理模型

匿名是实现隐私保护的有效方法。由于恶意用户的存在,一些应用需要匿名追踪。针对当前可追踪匿名方案存在的两个问题:管理员的权利过大,ID和秘密关联的追踪机制产生的存储和搜索开销随着用户数量的增加而增加,提出了一种公平有效的假名管理模型。模型由假名证书发行、应用和协同追踪组成;采用新的部分盲签名协议确保CA参与假名证书发行,但无权追踪;采用秘密共享机制确保追踪机构必须协同才可揭露假名。由于实现了发行和追踪的分离且追踪机构无需存储、搜索ID与秘密的关联,因此所提模型有效地解决了上述问题。分析表明,模型具有匿名性、可追踪性、不可伪造性、健壮性、公平性,可应用于有匿名追踪需求的Internet安全通信,且能够与传统的PKI应用较好地衔接。

基于扩展顺序图的多风格软件可靠性分析方法

传统UML顺序图模型在描述软件结构风格多样性方面存在不足,并且与基于离散时间Markov链的软件可靠性分析模型DTMC之间也存在差异。提出了一种基于扩展顺序图的多风格软件可靠性分析方法。首先通过分析不同软件结构风格的组成原理给出了对应的可靠性计算方法,然后通过对顺序图模型进行形式化扩展,使之具备了可靠性分析所必需的软件结构信息,最后将扩展的顺序图模型转换为能够处理多风格软件可靠性问题的DTMC模型。实例分析表明,这种模型和方法可以使得软件开发早期的可靠性分析工作变得更加方便、高效、合理。

实现故障无二义诊断的部分可观系统设计方法

针对故障无二义性诊断下的部分可观系统设计方法进行分析和研究,提出系统可见库所集SO的确定算法OPD,给出算法OPD解存在的充要条件,证明系统在SO可见的情况下,系统所有变迁都是可区分的,并指出该算法满足多项式级的时间复杂度。在OPD算法的基础上,提出系统运行状态诊断算法SOSD,SOSD是SO的一步前向标识计算方法,不需要已知系统的初始状态M0就可以进行系统状态诊断。证明所提出的部分可观系统设计方法满足最优监控条件,达到了优化监控的目的。

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟。分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析。提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程。

奇偶校验问题的二进神经网络学习算法

二进神经网络可以完备表达任意布尔函数,但对于孤立节点较多的奇偶校验问题却难以用简洁的网络结构实现。针对该问题,提出了一种实现奇偶校验等孤立节点较多的一类布尔函数的二进神经网络学习算法。该算法首先借助蚁群算法优化选择真节点及伪节点的访问顺序;其次结合几何学习算法,根据优化的节点访问顺序给出扩张分类超平面的步骤,从而减少隐层神经元的数目,同时给出了隐层神经元及输出元的表达形式;最后通过典型实例验证了该算法的有效性。

基于电子感应的鱼雷罐跟踪算法的设计与仿真

为了实现鱼雷罐的自动跟踪,提出了一种基于电子挂接器和车列检测器的鱼雷罐跟踪算法。该算法主要包括鱼雷罐自动挂接算法、下传点名信息算法和上传挂接信息包算法,使车列检测器能根据接收到的挂接信息包推算出车列信息,进而得到鱼雷罐的位置和状态,实现鱼雷罐的跟踪和摘挂故障自排查定位,提高了鱼雷罐的周转率。并使用C#的多线程编程技术和MapInfo工具实现算法的仿真,验证了算法的正确性和实用性。

软件可靠性关键参数判定的矩估计方法

已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建立各建模参数的矩估计量与系统可靠性预测结果之间的关系,量化各参数对于系统可靠性的影响,判定关键参数.为系统可靠性控制、系统结构优化及软件测试资源最优化分配等问题的解决提供了理论支持,通过对两个实际软件系统的分析验证了方法的有效性.