方欢
- 作品数:98 被引量:166H指数:7
- 供职机构:安徽理工大学更多>>
- 发文基金:国家自然科学基金安徽省自然科学基金安徽省高等学校省级质量工程项目更多>>
- 相关领域:自动化与计算机技术文化科学理学农业科学更多>>
- 基于Petri网的多主体协作的研究
- 由于多主体系统(MAS)能体现人类的社会智能、具有很大的灵活性和适应性,可以广泛地运用于构建开放、动态的软件系统,所以成为人工智能研究的核心领域之一。而使用形式化工具对多主体系统中相关问题的形成、描述和分解以及结果的合成...
- 方欢
- 关键词:PETRI网多主体协作
- 文献传递
- 一种基于多视角数据属性的决策表Petri网挖掘方法
- 2023年
- 当处理高度可变的流程时,已有的自动过程挖掘技术产生的模型可能并不能真实反映流程运行中不同决策点之间规则的变化情况。从声明性过程挖掘的角度出发,提出了一种具备可视化规则的决策表Petri网挖掘方法,实现真实日志到声明性过程决策表Petri网模型的映射。首先,形式化了决策表Petri网模型及其携带的规则分析决策表,并对模型的静态语义和动态语义进行定义;其次,通过扩展属性的添加,分析流程内部属性和事件属性是否会对决策产生影响,并通过规则分析决策表的异常值属性,判断规则的异常程度;最后,在一组人工日志和真实事件日志的基础上进行实验仿真,并与数据Petri网的挖掘技术进行分析对比。实验结果表明所提方法在反映流程运行中规则的变化情况具有一定优势,并为数据流异常检测提供数值可解释性;同时,所设计的决策表Petri网挖掘方法可以将决策信息与模型结构整合在一起,为过程模型的可变性建模提供形式化基础。
- 张守政方欢
- 关键词:异常检测
- 基于微信小程序的八公山智行系统设计与实现被引量:1
- 2020年
- 旅游是当下热门的娱乐方式,在信息化的时代,为民众提供集旅游资讯、地图引导等功能为一体的一站式旅游网络平台是十分必要的。该文基于微信小程序,借助前端设计语言wxml,云开发控制台的数据库及后端设计语言js针对安徽省淮南市八公山景点设计和开发了一套八公山智行微信小程序。该系统结合地图指引、资讯共享、景点介绍、攻略安排等人性化功能并且遵循“互联网+”思想,特别设置线上特产购买平台、交流沟通板块,致力于满足用户的各方面需求。系统经过测试,结果显示具有可使用性。
- 于文贝方欢王勋
- 关键词:JS
- 一种基于Unity3D的井下机车数字孪生系统
- 本发明涉及一种基于Unity3D的井下机车数字孪生系统,包括有场景漫游模块、机车状态模块、实时监控模块和智能预警模块,用于对井下环境的传感器设备所返回的数据进行分析处理、异常检测、全域感知,并且通过三维空间将数据进行可视...
- 王赓方欢吴平
- 基于行为轮廓的系统故障变化域定位方法研究
- 2016年
- 在业务流程管理中,系统的故障是系统行为发生变化的重要原因,如何定位系统故障的影响范围是业务流系统的一项重要研究内容。本文基于Petri网的行为轮廓理论,对自由选择网进行分析和研究,通过捕捉系统行为的事件轨迹集合,对比源模型中变迁间的弱序关系,提出自由选择网故障变化域定位算法AFCRGL;通过分析流程中的行为变化,进一步精确寻找变化域的位置,可以控制并降低变化域对流程模型整体的影响。最后以一个柔性制造Petri网系统为例,验证本文提出方法的有效性。
- 张源方欢
- 关键词:PETRI网
- 保性的Petri网细化运算在多主体协作中的应用
- 2009年
- 针对多主体系统的构造复杂性问题,提出通过合成若干小系统来合成一个大系统,通过小系统的性质来分析合成后的系统性质。以基于合同网的动态任务分配为参考模型,逐层细化建立动态任务分配的宏观模型和主体BDI的内部结构微观模型,分别研究主体之间的协作关系和主体的内部心智状态变化,并分析了系统的有界性、无死锁性质,突出了主体的自治性和主动性的特点。
- 方欢
- 关键词:多主体BDI
- 一种基于Web日志的用户行为相似度的业务流分析新方法
- 本发明公开了一种基于Web日志的用户行为相似度的业务流分析的新方法。本发明利用网络用户的Cookies日志,考虑用户行为以及行为所持续的时间长度等因素,提出了用户行为相似度计算方法。本发明通过事件隶属度的概念,提出了基于...
- 方欢贾小贝
- 文献传递
- 基于拟间接依赖的过程模型挖掘的新方法
- 基于拟间接依赖的过程模型挖掘新方法,涉及事件日志的预处理、初始模型的建立和调整以及含有间接依赖模型的挖掘,属于过程挖掘领域。现存的大多数过程挖掘方法仅考虑任务间的直接依赖关系而忽视了任务间的间接依赖关系。本发明提出了基于...
- 方贤文化佩刘祥伟方欢殷志祥
- 文献传递
- 一种基于Petri网的事件协调控制方法
- 本发明公开了一种基于Petri网的事件协调控制方法。本发明通过Petri网结构的等价变换方法,考虑如何将库所变迁混合不等式约束条件转换为单一的库所不等式约束条件。转换为单一库所不等式约束条件后,就可以利用已有的活性控制器...
- 方欢王苏城方贤文方贤军
- 文献传递
- 混杂Petri网系统中同步距离的确定及同步控制器的设计被引量:4
- 2012年
- 目前,对于广义混杂Petri网的变迁公平关系和同步距离都只有极少结论,本文对广义混杂Petri网,给出了两个变迁(组)之间公平关系和同步距离的形式定义,并通过修剪的不变行为状态(invariant behavior,IB)演化图给出确定变迁同步距离的方法,得出了判定变迁公平关系的充要条件,还证明了变迁公平关系、同步距离和修剪的IB演化图之间的联系.本文的方法对简单离散Petri网不仅能得到已有的相关结论,而且推广了同步距离概念适用的范围.最后,以混杂运输控制系统为例,以同步距离为基础设计同步控制器,说明同步距离在实现同步控制结构设计上的有效性.
- 方欢陆阳黄镇谨杨娟
- 关键词:同步控制器