陶小燕
- 作品数：17 被引量：6H指数：1
- 供职机构：安徽理工大学更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术环境科学与工程电子电信理学更多>>
- 基于Petri网的业务流程模型变化域分析与优化
- Petri网具有丰富的实用背景，其作为建模工具能将业务流程问题投影成网络模型，从而将对业务流程问题的分析转化为对流程模型的分析。在以电子商务业务流程分析为代表的模型应用中，不仅要分析模型的可达性，还要对其执行行为进行研究...
- 陶小燕
- 关键词：PETRI网
- 文献传递
- 一种基于行为模式的模型变化区域责任分析系统
- 一种基于行为模式的电子商务Petri模型变化区域责任分析系统，按对象拆分模型，引入动作模式的概念，构建行为动作模式来确定模型中存在的变化区域。对确定变化区域的模型进行片段分解，根据片段的等级构建模型的结构树，结合行为轮廓...
- 方贤文杨艳陶小燕刘祥伟方新建
- 文献传递
- 一种煤矿井下环境监测设备
- 本发明属于环境监测技术领域，具体的说是一种煤矿井下环境监测设备，包括集气管，集气管上均匀开设有多个集气槽，集气槽内设有滤网；扇叶，扇叶位于集气管内部靠近与监测设备的一端；振动片，振动片位于集气槽内，振动片与滤网相接触；转...
- 方娜方贤文陶小燕卢可
- 基于微分Petri网的业务流程模块适配方法被引量：3
- 2017年
- 为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础,提出了微分控制Petri网和微分数据Petri网的概念,分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测,利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析,以达到业务流程模块适配分析.理论分析结果表明,所建立的微分表达式能够反映模型活性与稳定性,模块适配效果较好.最后基于平台数据进行仿真分析,实验结果表明本文所提的方法有一定的可行性.
- 方贤文陶小燕刘祥伟
- 关键词：控制流数据流
- 一种寻找流程模型中最小变化区域的精确方法
- 一种基于Petri网动力学表达式寻找业务流程模型中最小变化区域的精确方法，涉及基于动力学表达式的疑似非有效行为序列的确立和基于行为轮廓的最小变化区域的精确确定。首先由流程网的执行语义，对模型的所有发生序列进行匹配。然后利...
- 方贤文陶小燕杨艳刘祥伟方新建
- 文献传递
- 一种煤矿预警联动保护设备
- 本发明属于煤矿预警技术领域，具体的说是一种煤矿预警联动保护设备，包括：通风装置、降尘装置、检测器和控制器，所述通风装置包括固定架和电机，所述电机的输出轴上固连有扇叶；所述降尘装置包括水箱和喷头，所述水箱设置在所述通风装置...
- 王丽丽方贤文卢可陶小燕
- 文献传递
- 一种矿区外来人员监控系统
- 本发明属于监控系统技术领域，具体的说是一种矿区外来人员监控系统，该系统包括监控模块、数据处理模块、显示模块和信号供给模块，所述信号供给模块通过信号塔将矿区数据信号进行覆盖，所述信号塔包括塔体、信号发射接收平台、避雷针、减...
- 方新升方贤文陶小燕卢可方娜
- 基于模态Petri网寻找业务流程最优路径的新方法
- 一种基于模态Petri网的寻找最优行为执行路径的新方法，涉及业务流程行为有效区间的确立和基于分支有效区间的路径优化。首先根据流程网的结构特征确立分支区域集。对分支区域中的每个分支子流程，通过映射活动变迁的约束关系来计算分...
- 方贤文陶小燕杨艳刘祥伟方新建
- 文献传递
- 基于WFT-net验证合理性的动态数据精炼策略被引量：1
- 2021年
- 带有数据表的工作流网(WFT-net)用于验证业务流程的合理性,包括正确的行为逻辑和满足的数据需求。在某些情况下,静态数据精炼策略存在无法反映流程中所有可能执行路径的情况,这会导致检测正确率不理想等问题。为此,文中提出了一种新的动态数据精炼策略。首先,提出了在流程运行当前状态下评估与被写数据元素相关联的数据表和谓词状态的方法,捕捉数据流状态的实时变化,全面反映流程执行所有可达的状态,避免执行路径的丢失。此外,当流程执行陷入会导致数据流状态无限更新的循环时,通过适当调整赋值精炼规则的方式,来避免状态的无限延伸。然后,基于所有可能执行路径来检测流程的合理性。最后,在不同业务流程实例上的实验结果表明,该动态数据精炼策略能够有效提高合理性检测的正确率。
- 陶小燕闫春钢闫春钢
- 关键词：PETRI网
- 一种煤矿井下环境监测设备
- 本发明属于环境监测技术领域，具体的说是一种煤矿井下环境监测设备，包括集气管，集气管上均匀开设有多个集气槽，集气槽内设有滤网；扇叶，扇叶位于集气管内部靠近与监测设备的一端；振动片，振动片位于集气槽内，振动片与滤网相接触；转...
- 方娜方贤文陶小燕卢可
