检索结果-内蒙古大学图书馆

高技术通讯 2008年第1期18卷 47-53页

作者：马福民王坚同济大学CIMS研究中心上海200092

针对企业能效评估对能源消耗系统模型的需求,在分析企业能耗过程的组成因素及其相互作用关系的基础上,提出了一种将企业的生产过程、物料移动、资源配置、余能回收利用等数字化的,基于模糊高级 Petri 网的企业能源消耗过程建模方法,并... 详细信息

针对企业能效评估对能源消耗系统模型的需求,在分析企业能耗过程的组成因素及其相互作用关系的基础上,提出了一种将企业的生产过程、物料移动、资源配置、余能回收利用等数字化的,基于模糊高级 Petri 网的企业能源消耗过程建模方法,并详细地给出了模型的形式化定义、运行规则以及建模原则。实例分析表明,该方法独立于特定的能源类型和用能设备,实现了能耗过程结构和动态行为方面信息的全面描述,是企业能源消耗过程分析与优化的基础。

关键词：能源消耗能效评估模糊高级Petri网过程建模

来源：评论

学校读者我要写书评

暂无评论

基于抑制弧Petri网的移动商务过程建模及重构

引用

管理工程学报 2009年第1期23卷 88-92,127页

作者：乔爽顾宏王伟大连理工大学管理学院辽宁大连116024 大连理工大学电子与信息工程学院辽宁大连116024

针对引入无线信息技术的移动商务过程数学描述和过程重构问题,从信息的决策作用以及信息与实体区分入手,构建了一种颜色抑制弧时间Petri网过程模型。模型适于描述无线信息的决策作用对商务过程的影响,在分析Petri网信息获取组件以及相... 详细信息

针对引入无线信息技术的移动商务过程数学描述和过程重构问题,从信息的决策作用以及信息与实体区分入手,构建了一种颜色抑制弧时间Petri网过程模型。模型适于描述无线信息的决策作用对商务过程的影响,在分析Petri网信息获取组件以及相关子网串行、并行结构变化的基础上,提供一种过程重构方法,并评估分析过程绩效在时间方面的改进。用无线自动售货机物流配送过程重构实例验证了模型和方法的有效性。

关键词：移动商务过程建模过程重构 Petri网

来源：评论

学校读者我要写书评

暂无评论

一种业务过程建模方法研究

引用

科技管理研究 2006年第11期26卷 242-247页

作者：蒋国银李德洪湖北经济学院信息管理学院湖北武汉430205

根据业务过程的特征和要求,总结当前建模技术的不足之处,在经典Petri网和对象Petri网建模技术的基础上,提出了扩展对象Petri网建模方法,以提高模型的可重用性,降低建模过程的复杂度,加强对动态流程的描述能力,解决临界资源的共享问题。... 详细信息

根据业务过程的特征和要求,总结当前建模技术的不足之处,在经典Petri网和对象Petri网建模技术的基础上,提出了扩展对象Petri网建模方法,以提高模型的可重用性,降低建模过程的复杂度,加强对动态流程的描述能力,解决临界资源的共享问题。通过一个具体实例阐述了如何建立扩展对象Petri网模型,通过设计时间映射机制,控制资源的有效调度和流程的正常运行;引入有色令牌思想,提高模型对动态过程的描述能力;利用死锁检测机制,验证模型对流程描述的正确性和有效性。

关键词：过程建模扩展对象Petri网时间映射

来源：评论

学校读者我要写书评

暂无评论

工作流协同过程建模

引用

计算机应用研究 2007年第4期24卷 120-124,135页

作者：储静辉宋斌恒清华大学软件学院北京100084

首先分析了生产流程和管理流程的特点,给出了协同过程模型的形式化定义,最后用一个例子说明该方法与现有过程建模方法的差异。

关键词：工作流协同过程建模异常柔性

来源：评论

学校读者我要写书评

暂无评论

基于循环迭代的飞机虚拟拆装过程建模方法

引用

计算机工程与设计 2020年第2期41卷 494-499页

作者：董健康杨柳耿宏中国民航大学电子信息与自动化学院

将循环迭代法应用于飞机虚拟拆装,研究飞机的拆装过程,提出一种基于循环迭代的虚拟拆装过程建模方法。结合飞机拆装过程动态循环的特性和虚拟人拆装行为并行相似的特点,建立虚拟人拆装行为参数化模型,规范虚拟人拆装行为的统一表达;在... 详细信息

将循环迭代法应用于飞机虚拟拆装,研究飞机的拆装过程,提出一种基于循环迭代的虚拟拆装过程建模方法。结合飞机拆装过程动态循环的特性和虚拟人拆装行为并行相似的特点,建立虚拟人拆装行为参数化模型,规范虚拟人拆装行为的统一表达;在此基础上,分析虚拟人与部件的交互关系,构造虚拟人拆装行为、拆装次序、部件状态之间的迭代函数,建立虚拟拆装过程模型,实现虚拟人拆装行为的参数化描述和部件拆装过程的表达。以分布式虚拟维修训练平台中的集中故障显示接口组件拆装为例,对该方法进行仿真验证和比对,结果表明,以虚拟人拆装行为变化表示的部件状态变化使部件的拆装更易于表达,拆装训练效率有所提高。

关键词：虚拟拆装虚拟人行为模型循环迭代参数化过程建模

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的工作流过程建模与分析的关键技术研究

基于Petri网的工作流过程建模与分析的关键技术研究

引用

作者：葛季栋南京大学

学位级别：博士

面对变化迅速、竞争激烈的市场环境，现代企业需要有灵活、高效的业务过程来处理日趋复杂的业务。工作流技术利用计算机系统为现代企业提供了一种协同工作环境，可支持业务过程的自动执行、实时监控及优化改进，从而提高业务过程管理的... 详细信息

面对变化迅速、竞争激烈的市场环境，现代企业需要有灵活、高效的业务过程来处理日趋复杂的业务。工作流技术利用计算机系统为现代企业提供了一种协同工作环境，可支持业务过程的自动执行、实时监控及优化改进，从而提高业务过程管理的效率，缩减业务成本。业务过程的建模与分析是工作流技术应用的基础，而随着复合的、多视角的、跨组织的以及高时效性的复杂业务过程的出现，现有的过程建模与分析技术日显不足。传统的基于状态空间的分析方法难以处理复合过程模型的状态空间爆炸问题，基于对象网的多视角过程模型的直接分析较为困难，基于工作流网(Workflow Net)的过程模型难以直接估算其进度。此外，如何从已有的工作流系统的日志中挖掘出较为精确的过程模型，以此辅助过程建模并为过程改进提供依据，亦是一个有意义的问题。针对这些问题，本文基于Petri网理论，在工作流网及其扩展模型的基础上对工作流的业务过程建模与分析进行的研究，主要工作如下：\n (1)提出了基于不变量的工作流网的合理性的分析方法。对于工作流网的合理性，当多个业务过程通过组合得到一个复合过程(composite process)，传统的分析方法如状态空间方法，由于组合后的过程模型的规模变大，会使得其状态空间变得越来越大，不可避免的遇到状态空间爆炸问题。工作流网的合理性在本质上是活性(liveness)与有界性(boundedness)的组合条件，针对工作流网及其不变量的特点以及与活性和有界性之间的关系，不变量可以用于分析工作流网的合理性。基于工作流网的特点，本文提出了两种不变量：LMST-不变量(Legal Minimal Semi-positive T-invariants)与LMSP—不变量(LegalMinimal Semi-positive P-invariants)。LMST—不变量的可覆盖性与LMSP-不变量的可覆盖性是工作流网的1-soundness属性的必要条件。与状态空间方法相比，不变量方法可以避免状态空间爆炸问题。本文将不变量分析作为一种基本的分析技术，一个工作流网中的每两个变迁的出现次序关系可以依据不变量计算出来。针对在工作流网的任务精化中的1-soundness/k-soundness属性，本文基于LMsT-不变量给出了弱化的充分条件。此外该不变量分析方法在跨组织业务过程模型的合理性分析，过程挖掘以及过程模型的进度规划方面得到应用。\n (2)提出了多视角过程模型与跨组织过程模型及其相关的合理性分析方法。现代企业的业务过程管理呈现两个方面的特点：一方面企业内部的过程细节变得越来越复杂，一个完整的业务过程包含多个视角，为了清晰地描述业务过程的多个视角及其交互关系，本文提出了一种基于对象网的多视角过程模型(MOPN-WF-net)；另一方面，企业的规模变得越来越大，有很多分散的相对独立的组织机构，为了协同来自不同组织的业务过程，本文提出了一种面向交互的Petri网模型(IOPN)。本文分别考察了MOPN-WF-net与IOPN的1-soundness属性。在使用MOPN-WF-net建模时得到的多视角过程模型是一种多维网，直接分析这种多维网比较困难，为此本文提出了一种从对象网到平面网的等价转换规则，并证明转换前后的模型在1-soundness准则上保持等价。关于IOPN的1-soundness属性，本文基于序关系约束提出了一些必要条件。另外，在实际应用中，1-soundness对于IOPN略显严格，本文借用Relaxed 1-soundness的概念。一个IOPN模型如果满足Relaxed 1-soundness属性，那么它可以被分解成一组顺序图，本文提出了一种基于不变量的分解算法，并考察了IOPN的可分解性与Relaxed 1-soundness之间的等价关系。\n (3)提出了一种增强的过程挖掘算法。业务过程建模通常是一个需要很多经验、且复杂而耗时的技术工作，过程挖掘技术能够从已有的工作流系统的日志中挖掘出过程模型，即可\n 以辅助设计者进行过程建模。然而现有的过程挖掘算法(如α，α+与β算法)，缺少对结果工作流模型的反馈检查，从而丢失了一些库所向量，因此限制了挖掘算法的能力。为此本文在α算法的结果的基础上提出了一种增强的过程挖掘算法。本文中的新算法通过基于不变量分析的反馈检查，重新挖掘出丢失的库所向量并修改α算法的结果，这样可以增强现有算法的挖掘能力。这种增强算法的思想同样适用于α+与β算法。(4)提出了一种基于不变量的从工作流网到PERT(Programming Evaluation and ReviewTechnique)图的转换方法。为了有效管理业务过程的进度，需要提供一种针对工作流过程模型的进度估算方法。基于Petri网的工作流网模型难以直接估算

关键词： Petri网工作流过程建模过程挖掘软件质量

来源：评论

学校读者我要写书评

暂无评论

基于过程建模的纺织制造执行系统设计

引用

纺织高校基础科学学报 2017年第2期30卷 253-260页

作者：王志刚西安工程大学科技处

为解决纺织企业计划层与车间制造层之间信息无法衔接的现象,构建了面向制造层面的纺织制造执行系统体系框架.经过对制造过程中的数据流程分析,借助多Agent理论,提出基于多Agent的系统任务调度算法.在局域网环境下,开发一种面向制造层面... 详细信息

为解决纺织企业计划层与车间制造层之间信息无法衔接的现象,构建了面向制造层面的纺织制造执行系统体系框架.经过对制造过程中的数据流程分析,借助多Agent理论,提出基于多Agent的系统任务调度算法.在局域网环境下,开发一种面向制造层面的纺织制造执行系统.系统子功能的实际应用结果表明,制造执行系统实现了企业计划层与生产现场层间信息的有效衔接,解决了企业内部数据重复度高,利用率低的现象,而且体系结构简洁、易维护.

关键词：制造执行系统纺织企业数据集成过程建模

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的软件维护过程建模及应用分析

引用

系统仿真学报 2007年第A1期19卷 55-57,61页

作者：丁剑洁侯红郝克刚西北大学信息科学与技术学院陕西教育学院西安710061

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进... 详细信息

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。

关键词： Petri网软件维护过程建模决策

来源：评论

学校读者我要写书评

暂无评论

基于IDEF3的并行工程过程建模

引用

机械科学与技术 2000年第S1期 166-168页

作者：张维何卫平张定华西北工业大学CAD/CAM国家专业实验室!西安 710072

介绍过程建模在并行工程和业务过程重组中的重要性，并采用ＩＤＥＦ３方法对西飞公司的客舱内装饰并行工程的过程建模与重组的方法与步骤进行了研究。

关键词：过程建模 IDEF3 并行工程业务过程重组

来源：评论

学校读者我要写书评

暂无评论

基于过程建模的ERP自动配置方法

引用

机械科学与技术 2007年第9期26卷 1229-1232,1236页

作者：宋利康周儒荣张莉南京航空航天大学北京航空航天大学北京100083

目前一般企业的ERP系统往往缺乏灵活性,与不断变化的应用需求相脱节,使得企业在实施ERP过程中存在较大风险和困难。本文在对几种ERP配置方法分析比较的基础上,提出了基于过程建模的ERP自动配置方法,研究了ERP系统的可配置性,定义了企业... 详细信息

目前一般企业的ERP系统往往缺乏灵活性,与不断变化的应用需求相脱节,使得企业在实施ERP过程中存在较大风险和困难。本文在对几种ERP配置方法分析比较的基础上,提出了基于过程建模的ERP自动配置方法,研究了ERP系统的可配置性,定义了企业模型向ERP系统可配置模型的映射,并建立了这种方法的数学模型。在此基础上,开发了一个建模工具并建立了ERP系统的集成平台,以较小的代价实施和维护ERP系统,解决了企业因机构或业务流程的变更所造成的ERP系统不适用的问题。本文所提出的方法已在江西洪都航空工业集团公司得到成功的应用,取得了很好的效果。

关键词：过程建模企业模型 ERP自动配置

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：