公开(公告)号：CN106682844A

公开(公告)日：2017-05-17

申请号：CN201710009506.2

申请日：2017-01-06

Applicant: 安徽理工大学

Inventor： 方欢 ,  何路路 ,  方贤文 ,  王丽丽

IPC: G06Q10/06

CPC classification number: G06Q10/0633

Abstract: 本发明公开了一种带cost标签的Petri网业务流程模型抽象化简新方法。本发明通过建立业务流程模型Petri网系统，在流程模型控制流约束的条件下，通过设置业务流程模型Petri网系统变迁带cost标签，达到将业务流程模型中控制流和数据信息的抽象化简的目标。本发明将业务流程的一类抽象问题，从一般的寻找模型中结构方面所含控制流信息的方法，转换到通过变迁带cost标签来进行模型的抽象化简，再结合业务流程模型Petri网系统的结构特征，考虑变迁所含cost标签抽象化简的设置算法，通过算法就可以得到这类系统的控制流和数据信息两个方面同时进行抽象化简的目标。本发明提出的业务流程模型抽象化简方法可以实现流程模型中控制流和数据信息的抽象化简，拓展已有业务流程模型抽象问题相关结论的应用范围。

公开(公告)号：CN105844389A

公开(公告)日：2016-08-10

申请号：CN201610157483.5

申请日：2016-03-17

Applicant: 安徽理工大学

Inventor： 方欢 ,  张源 ,  方贤文 ,  王丽丽

IPC: G06Q10/06

CPC classification number: G06Q10/06315

Abstract: 本发明公开了一种含有相关资源约束的FMS无死锁调度控制方法。本发明通过建立产品流水线Petri系统，在两种相关资源约束的条件下，通过设置产品流水线Petri系统的初始资源配置，达到系统无死锁调度的目标。本发明将工业应用的一类柔性生产系统的无死锁调度问题，从一般的添加控制库所和进行结构控制的方法，转换到通过配置系统资源来进行无死锁控制，通过产品流水线Petri系统的结构特征，考虑无死锁调度的最大标识边界设置算法，通过算法就可以得到这类系统无死锁调度的最大标识Mmaxset，保证该类系统无死锁调度的目标。本发明提出的无死锁调度控制方法可以降低该类FMS无死锁调度问题的分析和控制难度，拓展已有柔性生产系统无死锁调度相关结论的应用范围。

公开(公告)号：CN204576767U

公开(公告)日：2015-08-19

申请号：CN201520231159.4

申请日：2015-04-16

Applicant: 安徽理工大学

Inventor： 单蒙蒙 ,  王天骄 ,  陈雅 ,  杨光 ,  王丽丽

IPC: G08B21/24

Abstract: 本实用新型公开了一种头戴式智能防近视坐姿矫正器，属于智能控制技术领域。本头戴式智能防近视坐姿矫正器包括用于佩戴在头部的带状矫正器本体，所述矫正器本体上安装有三轴加速度传感器，微处理器，提示模块，开关电源电路；所述三轴加速度传感器的信号输出端与所述微处理器的信号输入端相连，所述微处理器的信号输出端与所述提示模块的信号输入端相连，所述开关电源电路分别与所述三轴加速度传感器、微处理器、提示模块电联接。本实用新型为端正坐姿及保护视力创建一个良好的硬件平台，本实用新型还具有结构简单，成本低廉，准确度高，佩戴方便的优点。