一种高低压输送混合联动的空压机组节能系统及方法

    公开(公告)号:CN115596651A

    公开(公告)日:2023-01-13

    申请号:CN202211302438.6

    申请日:2022-10-24

    IPC分类号: F04B49/06 F04B49/10 F04B51/00

    摘要: 本申请公开了一种高低压输送混合联动的空压机组节能系统及方法,系统包括:监测模块、分析模块和调节模块;监测模块用于监测空压机组中各空压机的运行参数,判断所有空压机的故障类型并得到监测结果;分析模块用于对监测结果进行分析,得到出现故障的空压机的数量;调节单元用于根据监测结果和故障类型,调节输送压力并对提醒工作人员对出现故障的空压机进行维修。本申请能够完成空压机组内各空压机运行状态的监控与调节工作,根据空压机组内出现故障的空压机数目调节输送压力,防止能源浪费,也防止由于输送压力未进行调节导致其余空压机负荷过大,导致其他空压机发生故障,影响生产工作的正常进行,带来经济损失,提高系统整体工作的可靠性。

    一种矩形巷道的组合式快速封堵装置及方法

    公开(公告)号:CN111502759B

    公开(公告)日:2022-02-01

    申请号:CN202010363724.8

    申请日:2020-04-30

    IPC分类号: E21F17/107

    摘要: 本发明涉及一种矩形巷道的组合式快速封堵装置及方法,装置包括组合防火板、耐火气囊、温度传感器、控制器、电动抽水泵、水箱、电源和小型充气瓶,温度传感器、电动抽水泵与控制器电连接,电源为整个装置供电;所述组合防火板包括第一防火板、第二防火板、第三防火板和第四防火板,由以上四种防火板通过T型导轨和T型凹槽拼接而成,能够上下移动实现矩形巷道顶、底方向的封堵,耐火气囊与组合防火板左右两侧连接,实现矩形巷道两侧壁的封堵。本发明的装置强度高、质量轻、便于搬运,能够自身调节散热方式,使用时能够通过波浪形橡胶密封条和气囊紧贴矩形巷道内壁进行封堵,降低封堵装置被气压顶开的风险。

    一种基于类型petri网的过程分析方法

    公开(公告)号:CN108090720A

    公开(公告)日:2018-05-29

    申请号:CN201711282464.6

    申请日:2017-12-07

    发明人: 刘伟 冯新 杜玉越

    IPC分类号: G06Q10/08

    摘要: 本发明公开了一种基于类型petri网的过程分析方法,属于类型petri网过程分析领域,具体包括以下步骤:提出类型petri网理论;在网中定义类型库所,在变迁输出弧上定义分类函数,对托肯进行分类;在变迁上定义转型函数,以解决变迁的输入库所与输出库所类型不同的问题;在变迁上添加常使能表达式和计数函数来定义变迁引发规则;联合定义时间函数和人力函数,针对实际问题进行求解。分析配送系统的两种方案,利用类型petri网理论建立配送系统模型,根据实际情况给定时间和人力参数表,针对两种配送方案进行状态转换分析并构建过程转换图,使用类型petri网理论分析不同配送方案下的时间资源消耗和人力资源消耗,找出较优解。

    基于服务簇的服务组合与替换方法

    公开(公告)号:CN104902018B

    公开(公告)日:2018-01-09

    申请号:CN201510259703.0

    申请日:2015-05-20

    IPC分类号: H04L29/08

    摘要: 本发明公开了一种基于服务簇的服务组合与替换方法。本发明借助已有的服务聚簇方法构建服务簇,并基于Petri网提出服务及服务簇的形式化描述方法;将服务的输入输出参数抽象表示,通过参数矩阵来描述服务的输入输出参数;本发明中的服务匹配方法使服务簇中的服务间能够充分共性与个性,通过缩小服务查找范围,从而提高服务发现与组合效率;通过对服务簇模型的改进,提出Web服务组合替换方法;对服务簇内服务的并行组合与串行组合分别进行了描述,在服务簇内实现快速服务组合,进而实现高效率的服务组合替换;本发明中的服务替换方法,不仅能实现服务簇内单一服务替换,而且能实现服务簇内服务组合替换。

    一种自由单循环结构的过程挖掘方法

    公开(公告)号:CN107391715A

    公开(公告)日:2017-11-24

    申请号:CN201710635987.8

    申请日:2017-07-31

    IPC分类号: G06F17/30 G06Q10/06 G06Q10/00

    摘要: 本发明公开了一种自由单循环结构的过程挖掘方法。该过程挖掘方法为解决平行结构中的短循环的挖掘的问题,在α算法的基础上,针对自由单循环的结构提出了αfsl算法。该算法重新定义了包含循环结构的日志的完备性,并在基本活动次序关系的基础上添加了新的循环次序关系。通过预处理日志,提取日志中重复出现的活动,列出重复活动的相邻关系,从中发现日志中存在的循环结构,以后期添加循环结构的方式来挖掘工作流过程模型。最后,本发明通过对某电脑维修公司的实例分析验证αfsl算法挖掘的有效性与正确性。

    一种基于语义Web的服务簇构建方法

    公开(公告)号:CN104317853B

    公开(公告)日:2017-06-30

    申请号:CN201410543279.8

    申请日:2014-10-15

    IPC分类号: G06F17/30

    摘要: 本发明公开了一种基于语义Web的服务簇构建方法,包括如下步骤:S101、构建基于语义的服务空间;S102、建立Web服务与服务空间的映射关系;S103、构建服务簇及其动态库;S104、逻辑Petri网对服务簇的组织结构描述。本发明生成所有服务簇只需对n个概念进行量化,则查找本体树的次数为n次,在生成服务簇的时间复杂性上有了很大提高;本发明通过语义的概念融合明确了服务端口及服务质量的种类,使服务簇的构建较为合理;本发明服务簇是在服务空间内生成的,面向用户需求的服务簇匹配运算转化为坐标的查询,则服务簇构建依据越多,服务簇的构建精度越高,且系统根据用户需求匹配服务簇的时间复杂性较小,解决了一般服务聚类方法的局限性。

    一种基于可达标识的过程模型修复方法

    公开(公告)号:CN106021642A

    公开(公告)日:2016-10-12

    申请号:CN201610291898.1

    申请日:2016-05-05

    IPC分类号: G06F17/50

    摘要: 本发明公开了一种基于可达标识的过程模型修复方法,该过程模型修复方法首先对校准提出了扩展,加入了Petri网的可达标识,提出了扩展校准的概念,并对试图通过扩展校准来识别可能出现的各类扩展动作。最优扩展校准则能为各类偏差的修复提供支持。通过对扩展日志动作和扩展模型动作分别进行分析,本发明分别提出了算法对这两类偏差进行了修复。通过某医院胸外科的事件日志对这一方法进行仿真实验发现,本发明方法在精确度和泛化度上均有提升。相较于现有方法,本发明方法在各个维度上均有着较好的表现。

    基于工作流网模型的事件日志审计方法

    公开(公告)号:CN105069306A

    公开(公告)日:2015-11-18

    申请号:CN201510508731.1

    申请日:2015-08-18

    IPC分类号: G06F19/00

    摘要: 本发明公开了一种基于工作流网模型的事件日志审计方法。基于合法模型和历史日志,以对事件日志的审计为目的,参照程序语言的分析方法,提出一种全新的事件日志审计方法,它可以针对块结构的过程模型,确定无回溯地进行日志审计。该方法包括以下步骤:(1)根据块结构模型的特点,分析日志审计中存在的问题;(2)针对这些问题,给出相应的解决方法,得到可进行确定无回溯日志审计的模型应满足的条件;(3)给出审计方法。与现有技术相比,本发明不再局限于概念模型,而是针对块结构过程模型,给出具体的日志审计方法;本发明给出了可进行确定无回溯日志审计模型应满足的条件;给出了具体的审计算法,满足条件的模型可以高效地进行日志的审计。

    基于服务簇的服务组合与替换方法

    公开(公告)号:CN104902018A

    公开(公告)日:2015-09-09

    申请号:CN201510259703.0

    申请日:2015-05-20

    IPC分类号: H04L29/08

    CPC分类号: H04L67/02

    摘要: 本发明公开了一种基于服务簇的服务组合与替换方法。本发明借助已有的服务聚簇方法构建服务簇,并基于Petri网提出服务及服务簇的形式化描述方法;将服务的输入输出参数抽象表示,通过参数矩阵来描述服务的输入输出参数;本发明中的服务匹配方法使服务簇中的服务间能够充分共性与个性,通过缩小服务查找范围,从而提高服务发现与组合效率;通过对服务簇模型的改进,提出Web服务组合替换方法;对服务簇内服务的并行组合与串行组合分别进行了描述,在服务簇内实现快速服务组合,进而实现高效率的服务组合替换;本发明中的服务替换方法,不仅能实现服务簇内单一服务替换,而且能实现服务簇内服务组合替换。