基于抑制弧Petri网的离散事件系统的监控理论综述

利用Petri网的抑制弧实现离散事件系统的监控是离散事件系统监控理论的一个新进展。对抑制弧Petri网作了简单的介绍，并给出了该监控理论的基本原理．详细地回顾和总结了该理论的四种方法，即：结合自动机的字符串避免方法、抑制弧方法、基于抑制弧的状态避免控制器方法以及加权抑制弧方法，分别分析了这几种方法各自的利弊。最后对其可能的发展作了展望。     

逻辑控制器设计与离散事件系统监控理论

物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上"维数灾"问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题.而离散事件系统监控理论旨在研究复杂控制规范的设计和实现问题,将连锁、互斥、字符串语言等复杂控制逻辑描述为自动机或Petri网,然后转换为可编程逻辑控制器或现场可编程门阵列上执行的程序代码.本文综述了现有的逻辑控制器的形式化设计方法,主要涉及如何利用监控理论(自动机或Petri网)来缩短程序开发周期、提高程序可重用性和确保程序可靠性和安全性等问题.     

基于深度强化学习的交通信号控制方法

针对基于深度强化学习的交通信号控制方法存在难以及时更新交叉口信号控制策略的问题,提出基于改进深度强化学习的单交叉口交通信号控制方法. 构建新的基于相邻采样时间步实时车辆数变化量的奖励函数,以及时跟踪并利用交叉口交通状态动态的变化过程. 采用双网络结构提高算法学习效率,利用经验回放改善算法收敛性. 基于SUMO的仿真测试结果表明,相比传统控制方法和深度强化学习方法,所提方法能明显缩短交叉口车辆平均等待时间和平均排队长度,提高交叉口通行效率.     

数控模具零件的铣夹具设计

随着模具工业的不断发展，形成了一些专业化的模具生产方式，数控模具在冲压行业中已经形成了行业上的一些标准。它主要是为多工位数控冲床配套使用，故称之为数控模具，数控冲床厂家有自己的模具标准，对于具有标准特征的零件，就需要以高效经济为目的来进行制造。本文提到的一种数控模具上的零件是导套，主要作用有两个，一是保护内部的冲头，二是与外部的机床连接，故其配合精度要求较高。     

浅埋综放工作面放煤方式及放煤步距研究

为了确定山西泽州天泰坤达煤业3202综放工作面合理放煤方式及放煤步距,采用PFC2D模拟软件,对3202综放工作面不同放煤方式下的煤、矸复合介质流运动特征进行了模拟分析,并对不同方式的应用效果进行了验证,以放煤量及煤体含矸率为评估指标,得出3202综放工作面最优放煤方式为两采一放,放煤步距为1.2 m。     

坤达煤业3203工作面回采巷道支护方案数值模拟分析

以坤达煤业3203工作面为对象,采用数值模拟方法,分析了浅埋深矩形巷道在近水平煤层中采用锚杆索联合支护时的巷道围岩变形特征。结果表明,锚杆索支护后围岩破坏以顶板、底板、两帮表面中部最大,顶板破坏范围大于底板;巷道表面位移量在左帮、右帮和顶板都是随运算步数增大逐渐增加,增长趋势减缓,底板巷道稳定速度比顶板和两帮快;围岩位移量的变化趋势是随距巷道表面距离增大,变形量减小,减小速度由大变小,逐渐趋于零。但巷道整体位移量较小,说明锚杆索支护对巷道破坏产生了较好的抑制作用。     

低压电器铜触头少废料级进模设计

通过实际生产中的低压电器铜触头零件来说明少废料连续模具的设计方法。通过合理的排样和模具设计来达到高效率、经济的目的，为产品降低了成本，节约了贵重材料成本。     

离散事件系统的混合型Petri网控制器

考虑由具有不可控变迁的受控Petri网建模的DES的控制器综合问题.提出了兼具 DES的逻辑型和结构型二种控制器优点的混合型Petri网控制器:在系统状态的获取和跟踪上具 有结构型控制器的优点,而在控制作用的实施上则具有逻辑型控制器的优点.全文通过实例说明 了混合型Petri网控制器的设计方法.     

标签Petri网的路径信息在故障诊断中的应用

针对一类由标签Petri网模拟的离散事件系统的故障问题,提出一种利用网结构中路径信息的诊断方法.假设标签Petri网模型的网结构是已知的,隐藏在系统传感器或者执行机构中的故障用不可观测的变迁或者可观测且标记不可分辨的变迁模拟.首先,在故障诊断过程前,提出网结构转化规则转化原始Petri网;随后,在转化后Petri网的子网中,划分出若干条特定路径,解析多种路径间的约束关系;最后,利用路径间约束关系制定相应的约束规则,导出系统故障诊断的结果,并针对其中不确定的情况分析故障发生的概率大小.该方法基于路径信息的全新视角进行故障诊断,其贡献之一是得益于网结构转化规则,删除冗余结点,缩减内存成本.另一个贡献是由于网结构中路径数量有限,该故障诊断方法无需遍历系统状态空间,具有多项式级计算复杂性,满足实时性要求.     

莫具加工中电极材料的含理选择及应用

在模具加工中,特别是成形模具的型腔加工中,采用电火花加工技术目前仍然是不可替代的加工手段。其中工具电极的合理选择是一项重要的工作,这点在生产实践中并没有得到足够的重视。一般来说,对于模具本身材料,在设计之初就根据所成形材料特点和生产要求等条件来合理选择。对于需要电火花加工的型腔,由于被加工模具材料性能和工具电极材料性能将影响电火花加工性能（材料去除率、工具损耗率及工件表面质量等）,因此对于需要采用电火花加工的型腔来说,所用的工具电极也需要慎重对待,这样才能制造出高质量的模具。