地下金属矿山采掘作业计划优化模型

为了实现地下金属矿山采掘作业计划编制的实时准确与科学有效性,针对矿山作业地点分散、生产组织复杂、矿石质量难以控制等特征,构建了基于0-1整数规划的作业计划优化模型.通过分析开采技术经济指标及空间逻辑关系,以最小品位偏差为目标,将产量均衡、出矿能力以及品位高低结合开采等转化为约束条件,考虑各采场作业工序、回采顺序、生产能力以及其他生产要素等,运用计算机技术和整数规划方法,得出地下矿山采掘作业计划最优方案.以国内某大型金矿为案例进行了模型的有效性验证,解算出矿山最优的采掘作业计划,并得出作业计划甘特图.结果表明,模型能够指导完成生产作业任务,且满足作业计划连续性和均衡性要求.     

地下金属矿山生产规模优化确定方法

为了更加客观地确定合理的矿山生产规模,提出一种可靠简洁的优化确定矿山生产规模的方法.研究矿山资源承载能力使矿山生产经营情况、安全生产压力、可持续发展程度等因素对合理生产规模的影响.结合某大型地下金属矿山实际情况,在分析矿山现有资源情况的基础上,采用泰勒公式确定矿山合理的产能范围.构建地下金属矿山生产规模优化指标体系,并采用模糊综合评价方法,优化确定矿山生产规模.研究结果表明:泰勒公式在研究大型矿区合理生产规模决策要素时可供参考,采用提出的方法确定的生产规模符合矿山实际,具有较高的可靠性.     

我国地下金属矿山采矿技术的发展与展望

介绍了目前我国地下金属矿山采矿新技术和新工艺,探讨了21世纪我国地下金属矿山采矿技术的主要研究方向和茛展趋势,为地下金属矿山采矿新工艺和新技术的进一步研究提供了理论依据。     

我国地下金属矿山采矿技术的发展与展望

介绍了目前我国地下金属矿山采矿新技术和新工艺,探讨了21世纪我国地下金属矿山采矿技术的主要研究方向和发展趋势,为地下金属矿山采矿新工艺和新技术的进一步研究提供了理论依据。     

基于Petri网的仓库火灾预警系统建模优化分析

对业务流程进行建模分析是业务流程管理的重要内容之一。文章通过形式化建模,用Petri网对传统的仓库火灾预警系统模型进行了优化分析。首先,给出传统仓库火灾预警系统的Petri网模型,通过模型模拟实际场景,找出模型中的缺陷;然后,通过增加相关的变迁和库所对模型进行优化,达到尽可能减小企业损失的目的;最后使用PIPE软件实验仿真验证优化后模型的可行性,实验结果表明,该优化后的模型可有效对仓库火灾进行预警。     

基于Petri网的运输流程系统建模优化

通过Petri网对货拉拉运输流程的建模进行了优化,对传统货拉拉运输流程进行建模,并发现模型中存在一些不足,针对其不足进行相应的优化,加入了物品分类别运输和订单异常问题处理的方法,对其运输中产生纠纷的现象提出了一种解决方法。Petri网作为一种用于描述离散的、分布式系统的数学建模工具,它在货拉拉运输中的运用不仅提高了运输的效率,也同时提高了客户的满意度和服务的质量。将所构建的模型在PIPE软件中进行仿真,验证了该优化的合理性和可行性。     

论小型金属矿山安全生产现状及整改措施

分析了目前我国小型金属矿山在安全生产方面存在的问题,提出了相应的整改措施。     

基于混杂Petri网的食品加工生产过程建模

根据食品加工过程的混杂特性,提出了一种基于时延混杂Petri网与微分方程机理建模相结合的方法,并对某食品加工过程进行了建模和分析,其模型体现了连续过程和离散事件共存的特性,具有一般性.此模型可以应用于生产过程的优化调度.     

基于Petri网的项目外包实施流程建模与优化

项目实施是外包行业的重要组成部分,在整个项目的上线过程中起着重要的作用。目前已经存在大量的完整的项目实施流程,但这些业务流程存在着一些缺陷,无法适应不同客户对项目接受能力的差异,培训实际消耗时间与预期时间不一致,影响项目实施进度等问题。为了解决这一问题,利用Petri网对项目实施流程进行建模和分析,给出了优化的项目实施流程模型。优化后的模型缩短了项目实施周期,改善了项目外包的实施流程。     

一个基于RTBAC的Petri网工作流模型

以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri网进行更准确、形象的描述其工作流授权模型.该模型实现了访问控制授权流与工作流的同步,满足了公文审批业务工作流"面向任务"的访问控制要求;引入时间概念,使访问控制的授权约束与时间有关,从而满足审批业务工作流中任务的时效性要求,该模型还包含了其它安全约束如SOD(职责分离)以及角色层次关系结构等概念.最后,对所建模型进行了正确性验证.     

基于用例的层次Petri网建模

利用用例解决了层次Petri网建模中问题界定和问题细化的两个难点，同时也利用层次Petri网表现了用例中文本形式事件流所无法表现出事件自身的并发关系，由此建立的模型具有粒度可控和模块化良好的优点。     

基于工作流的企业过程的建模和仿真技术研究

过程集成是提高企业运行效率、增强企业柔性的一种全面集成方式 ,企业建模和仿真可以为企业过程的分析和优化提供依据 ,是实现过程集成的重要支持技术。工作流技术和集控 Petri网方法作为企业建模和仿真的支撑技术 ,各自都有着明显的优点和不足 ,而它们二者之间具有很强的互补性 ,如果能够将二者巧妙的结合起来 ,将为实现过程集成提供有效的帮助。首先给出了基于工作流的企业过程的建模、仿真、使能系统的模型和体系结构 ,然后介绍了将工作流模型转化为集控 Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法     

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

基于Petri网的工业互联网入侵检测流程建模与优化

针对工业互联网中日益凸显的安全问题,结合Petri网和行为轮廓的相关理论,建立了基于Petri网的工业互联网入侵检测流程模型。首先通过分析原模型中的行为弱序关系,探讨了模型中存在的活性问题。再从检测流程中数据的安全性和完备性方面对原模型进行优化。最后使用PM4PY编程和PIPE仿真软件验证了优化后的模型具有良好的性质。     

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法（简称EPN）将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统。由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模。同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真。本文主要对列车控制系统中的连挂和解编过程进行建模。通过模型验证采用EPN分析系统的有效性和便捷性。     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

基于装配的多机器人虚拟生产平台的系统建模

作为虚拟生产平台建立的重要组成部分之一 ,生产系统的建模对于多机器人虚拟生产环境的作业控制至关重要。基于系统具有并发性、柔性和不确定性的特点 ,提出了一个生产系统分块式有效 Petri网建模方法 ,保证了所生成的整体生产系统模型的有效性 ,可直接用于系统作业的控制 ,并且具有错误恢复能力 ,建模方法的有效扩充性也为深入地细化研究系统的某个加工单元和系统的扩展提供了可能。采用 C/ C++语言 ,基于 GL 图形库实现了平台的建立并给出了实例     

基于Petri网的机动车保险业务流程优化分析

机动车保险申请赔偿流程是保险理赔工作流程的一个重要组成部分,为了优化申请机动车保险赔偿流程和识别一些骗保异常行为,分析了基于Petri网的机动车保险业务流程优化.给出机动车保险申请赔付基本流程的Petri网模型,通过流程模型中库所和变迁之间的关系,以实际情况分析该过程可能存在的问题;通过增加一些验证控制结构对模型进行优...     

基于混合Petri网的农业生产工作流建模研究

根据农业生产的实际工作,建构一个基于混合Petri网的工作流模型.混合Petri网一般由连续和离散两个部分组成,模型连续的部分主要反映农田实际工作的进程,离散部分主要表示农机和劳动力等资源状况的变化,提出的模型还可以模拟在生产过程中的工作和间歇状态.仿真结果表明,混合Petri网模型能准确地描述农业生产的过程,在出现不确定因素的情况下能重新分配资源.该模型作为农业生产规划的参考模型,促进在不确定的环境中相关优化算法的发展.     

基于扩展ITCPN的UML状态图建模

在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止孤对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。