工作流网的资源正确性检查方法

工作流模型在运行过程中不仅要保证结构正确,还要保证资源使用正确,因此在建模阶段保证资源模型正确很重要。本文以工作流网为工作流建模方法,然后对其扩展,加入了资源的使用定义,并给出了关于资源正确性使用的一些基本定义与相关概念,在此基础上对其资源正确性使用给出了判定方法,最后讨论了关于资源使用冲突的解决方法。     

基于Petri网的中继级仓库航材出入库流程设计

工作流管理技术是90年代初新兴起的软件技术,其实现的关键在于工作流概念模型的建立。论文选择Petri网作为工作流建模的主要工具,并探讨了工作流程的路由结构、触发机制等,然后尝试运用Petri网建模方法对中继级仓库航材出入库流程进行设计,从而实现对中继级仓库航材出入库流程的管理。     

基于Petri网的定制型企业供应链优化

根据定制型制造企业的业务流程及供应链构成特点构建Petri网模型,进而采用基于变迁时间的研究方法,针对企业工作流、物料流,逐个触发变迁,考察整个系统完成时间,查找不合理变迁,并进行改善,从而达到优化定制型制造企业供应链结构的目的,最后通过典型企业实例验证方法的实用性和有效性。     

基于轻量级工作流建模的研究与设计

业务过程建模是整个工作流管理系统的基础,一种高效灵活的建模技术对工作流管理系统起着至关重要的作用。笔者通过研究Petri网等现有的工作流建模技术,结合工作流系统的实际需求,提出了基于节点、迁移的轻量级工作流建模设想,并通过一个实际工作流建模过程进行了实践和验证。     

基于着色Petri网的跨组织工作流建模研究

全球经济化一体化的发展使得现代企业需要通过跨组织协作来增强竞争力。本文提出一种基于着色Petri网的跨组织工作流协同建模方法,针对厂家线上直销这个典型的跨组织业务流程进行工作流建模,并通过可达图对所建立的模型进行了合理性验证。应用结果表明基于着色Petri建模可以对复杂的跨组织业务流程进行有效的描述,而且大大降低了模型的复杂性,使模型更加简约清晰。     

论股票交易印花税对我国股票市场的影响

本文将首先通过对股票交易印花税征收情况和上证指数的历史走势的观察对比,分析了印花税对股票价格水平的影响;然后利用GARCH模型研究了印花税对沪市股价波动性的影响.所得结论验证了某些现有相关理论的正确性.最后,笔者对股票交易印花税政策制定提出了一些建议.     

区块链中电商冷链溯源系统Petri网建模与分析

华东交通大学交通运输与物流学院;华东交通大学高铁与区域经济发展研究中心;福建商学院工商管理学院;摘要电商的快速发展,为冷链产品开辟了新的流通路径,冷链电商市场成为新的增长点。同时,食品安全问题已成为人们关注的焦点,食品若不安全会影响社会经济的发展,威胁人们的身心健康。本文基于Petri(佩特里)网理论,围绕区块链技术在物流溯源领域应用的实际情况,分析了冷链溯源系统的整体业务流程,建立了冷链溯源系统的Petri网模型,利用关联矩阵和不变量分析模型的有界性、可达性、活性和安全性,并使用HIPS工具,进行了仿真验证。设计了基于区块链技术的电商冷链溯源系统,为实现全民监督,保障电商冷链食品质量安全和精准定位,提供了有效的途径。研究对降低电商冷链企业运营成本和农民增收具有理论价值和实践意义。     

基于工作流的B/S模式自来水公司OA系统设计与实现

本文根据现代化办公的要求,通过对OA系统中工作流的分析,提出一个基于工作流的OA系统模型,在.NET环境下,利用工作流技术和Web服务技术实现了OA系统的开发。     

基于Petri网的项目管理流程化研究

研究在实施规范项目管理的企业中,如何将企业同类型项目的管理由项目管理方式转换成流程管理问题,即项目管理流程化问题。文章通过分析两种管理方法的差异与联系,利用Pet ri网建立两个管理模型的定义和描述,采用Pet ri网做为两个模型之间过程和规则转换的实现和检验手段,给出基于工作流XPDL架构和项目管理Proj ect软件相结合的系统实现方式和算法。     

基于Petri网的物流配送系统建模方法及健壮性研究

提出了基于Petri网的物流配送系统建模方法,并对配送过程中的业务流程进行建模。给出了配送模型健壮性定义,并基于工作流和Petri网的相关理论给出了健壮性的判定算法,最后通过应用实例证明了该方法的有效性。     

供应链中物流网络的运输优化模型研究

本文通过对文献的研究,从供应链的一般结构中,抽象出供应链物流网络图,并总结了该网络图的特点。鉴于该供应链物流网络的复杂性,笔者将该网络的运输系统分为两部分,分别构建运输优化模型,介绍了一些求解方法;并引用实例,应用MicrosoftExcel电子建模方法和LINDO数学规划软件进行求解,从而验证了该运输优化模型的正确性。     

第三方物流参与的VMI供应链利润分配模型

在VMI系统中引入第三方物流企业可以有效降低物流成本从而提高整条供应链的利润,如何建立合理的利润分配机制,维持供应链上节点企业的长期合作,成为至关重要的研究课题。文中在前人研究成果的基础上,利用博弈论理论建立了零售商、供应商和第三方物流企业三方的利润分配模型。最后通过算例验证了模型的正确性及有效性。     

基于IOWA-FAHP的物流需求组合预测模型

面向物流需求的预测问题,提出了一种基于诱导有序加权平均算子和模糊层次分析法相结合的组合预测模型。首先,采用诱导有序加权平均算子建立组合预测模型,并基于历史数据解算各单项预测模型的加权系数;然后,针对组合预测模型中各单项模型的加权系数确定问题,引入模糊层次分析法,得到各单项预测模型的公平排序,进而确定各单项预测模型在预测年的诱导值序列,从而预测出相应物流需求量;最后通过应用算例验证了该模型的正确性和可靠性。     

基于IOWA-FAHP的物流需求组合预测模型

面向物流需求的预测问题,提出了一种基于诱导有序加权平均算子和模糊层次分析法相结合的组合预测模型.首先,采用诱导有序加权平均算子建立组合预测模型,并基于历史数据解算各单项预测模型的加权系数;然后,针对组合预测模型中各单项模型的加权系数确定问题,引入模糊层次分析法,得到各单项预测模型的公平排序,进而确定各单项预测模型在预测年的诱导值序列,从而预测出相应物流需求量;最后通过应用算例验证了该模型的正确性和可靠性.     

潜孔锤原理与设计

本文首先介绍了潜孔锤钻孔方法的原理和特点,冲击器结构方案的确定等内容,然后对于具有活塞和气缸联合配气的无阀冲击器结构的潜孔锤进行了理论分析和相关参数计算,最后通过有限元的方法对潜孔锤钻头进行了分析,验证了设计的正确性。     

Petri网的角色扩展探讨

Petri网具有严格的数学表述方式和直观的图形表达方式,在软件设计、工作流管理、工作流模式、数据分析、并行程序设计、协议验证等方面得到广泛的应用。随着Petri网的研究和应用的发展,产生了许多扩展Petri网的建模表达方式,包括:着色Petri网、时间Petri网、层次Petri网。现时的软件设计方法以面向对像为主流,在需求分析阶段要对业务流程进行建模工作,需要对业务过程中的人和事进行表述。使用Petri网对业务流程进行建模,一方面,Petri网可以很好地表现业务数据的变迁,却未能表达出相关业务数据变迁所涉及到的实际操作角色。另一方面,使用基于UML和Petri网的混合设计,要做大量的规则映射,不便于最终用户阅读。文章尝试讨论在经典Petri网的基础上,不改变Petri网的数学性质,为Petri网的变迁增加角色属性的描述,使之更有效地适应具体业务流程建模。     

垃圾压缩机压缩机构的动力学仿真与优化设计

简要介绍了垃圾压缩机及其压缩机构的组成和工作原理,建立了垃圾压缩机压缩机构的三维模型,运用机械系统动力学分析软件ADAMS对该机构进行动态仿真分析,得到垃圾压缩机压缩机构主要运动部件的运动规律和各铰接点的载荷曲线,验证了油缸选型的正确性,为压缩机构的结构优化设计提供了重要参数。利用有限元分析软件,对推铲进行结构优化计算,使得推铲总质量得到显著降低。     

基于UML时序图的自动化验证方法与应用

UML统一建模语言已成为当今软件设计中的标准方法。而由于其缺乏严密的逻辑性,使得模型中存在的潜在缺陷无法在早期被发现。本文提出一种将UML时序图转换为Promela语言描述的方法,并利用SPIN自动化验证工具检验模型的正确性。从而使开发人员在软件设计阶段就能快速检测出模型中存在的缺陷,并避免错误的设计进入开发阶段。经过试验,证明了此方法的可行性和有效性。     

基于配网自动化的供电可靠性提升研究

城市配网实行三遥自动化技术是大势所趋,是提升10kV供电可靠性的技术手段。文章首先阐述了配网供电可靠性的评价指标和配网自动化的技术,然后分析了配网自动化的实施对供电可靠性的影响方面,最后利用IEEE RBTS BUS6算法进行仿真验证,从定量的角度更加精确评估配网自动化对配网供电可靠性的提升。     

半挂运输车脉冲路面输入的平顺性仿真

本文利用ADAMS/VIEW软件对散装物料半挂运输车建立整车多刚体动力学模型,进行脉冲路面输入的平顺性仿真分析。仿真结果符合要求,验证了整车模型建立的正确性,为进一步的设计分析提供了依据。