基于Petri网分析技术的BPMN2.0过程模型的语义分析

信息技术的发展推动组织商务模式的变革,业务协作日益频繁,为谋求组织利益的最大化,对部分资源与流程的共享提出更高的要求。如何满足交互需求的新的商业过程,是组织关注的热点问题。业务流程建模标注(BPMN)是业务流程管理领域的一种标准符号。在发布的BPMN2.0中,对象管理组织首次提出编排的概念。但是BPMN2.0编排中,具有多样性的元素组合特点,增加了语义分析的难度,可能出现不同结构与相同语义对应的情况,有必要对BPMN2.0进行形式化定义。

5G技术在气象专网备份链路中的创新应用与性能分析

在气象数据的传输过程中,通常依赖内网有线宽带进行。然而,面对设备故障、人为失误或自然灾害等不可预见因素,有线专网可能会出现中断,导致数据传输受阻。这种情况下,急需一种可靠的应急通信手段来替代内网有线通信,以确保数据的连续性和实时性。此外,随着气象高质量发展需要,如何实现移动应急观测数据、水文数据、交通数据等外部数据与气象内部数据的交互,成为了一个亟待解决的问题。为了应对这些问题,文中研究了5G技术在气象专网备份链路中的创新应用。通过性能分析和实际测试,验证了5G技术在气象数据传输中的可行性及显著优势。研究结果表明,5G技术以其高带宽和低时延的特性,能有效增强气象专网的备份能力和扩展能力。这不仅保证了气象数据通信的连续性和稳定性,还提升了气象服务的可靠性和准确性。

基于随机Petri网的民机审定试飞实施流程建模与分析

审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形式化建模与性能分析,无法检验流程中的关键环节。为解决上述问题,文中研究了审定试飞3个阶段的实施流程,并利用随机Petri网构建了该流程的仿真模型;通过建立与该模型同构的马尔可夫链,对实施流程进行了性能分析,识别出了流程中耗时较多的关键环节,进而分析了关键环节的实施速率对流程平均运行时间的影响。最后通过一个案例验证了模型与方法的可行性。结果表明,制造符合性检查环节与试飞数据处理环节是流程中耗时较多的关键环节,应将其作为流程优化的重点,同时提升上述两个关键环节的实施速率相比提高单环节速率,成本更低且流程运行效率提升幅度更大。

基于广义随机Petri网的装备战场抢修建模与分析

装备战场抢修是装备保障工作的重要内容,传统的装备战场抢修已经不满足现代条件下作战需要。为提高信息化条件下装备战场抢修的决策科学性和决策效率,运用广义随机Petri网对装备战场抢修过程进行建模分析,通过不变量判断模型的有效性,并根据广义随机Petri网和马尔可夫链同构特性求解模型主要性能指标。最后通过实例分析说明,该方法可以有效求解装备战场抢修的主要性能指标,验证了模型的有效性和合理性,同时也为装备战场抢修决策提供了一定的参考依据。

基于Petri网的鲍店煤矿主运系统可靠性分析

煤矿井下皮带运输系统的健康状态直接影响矿井生产效率。健康状态下的煤矿井下皮带运输系统能提高主运系统的可靠性,保证产煤效率,促进煤矿增产增效。本文针对鲍店煤矿七采区主运系统,首先分析七采区主运系统的组成部分,建立主运输系统的Petri网分析模型,并对其进行可靠性分析,求解鲍店煤矿主运系统的可靠度,分析主运系统薄弱环节,为煤矿主运系统升级和改造提供理论依据。

配网运维中配网自动化技术的应用分析

配网自动化技术在配网运维中发挥着重要作用,可以提高配网的运行效率和管理水平。介绍了配网自动化技术的应用优势,提出部分配网自动化技术在配网运维的实施要点与措施,旨在为电力行业提供参考。

基于三网融合背景的广电网络技术分析

在三网融合背景下,广电网络技术正经历数字化和双向化改造,以适应光纤通信技术的发展。软件技术的进步为网络 信息安全提供了新策略,同时推动了IP技术的应用。融合业务平台的建设促进了智能终端和多媒体终端的研发,以满足用 户对多样化服务的需求。这些技术革新推动了广电网络向更高效、安全和互动的方向发展。

丝网印刷网版关键技术专利分析及发展建议

本文对丝网印刷网版的专利申请情况进行了梳理,分析了丝网印刷网版全球专利的申请情况、布局区域、重要创新主体以及中国专利申请趋势、国内省域竞争力,对丝网印刷网版的重要技术分支进行了梳理,并对丝网印刷网版的不同技术分支下的重点专利技术进行了分析,提出了对我国丝网印刷网版技术的发展建议。

基于随机Petri网的突发火灾应急预案流程化研究

为提高突发火灾的应急响应效率,根据突发火灾的应急响应流程构建了基于随机Petri网(SPN)的仿真模型,通过仿真计算获取了该模型的状态可达集,由可达集构建与模型同构的马尔可夫链对模型进行计算分析,得到了突发火灾SPN模型所有可达状态的稳态概率,利用库所繁忙率、变迁利用率2个指标对模型进行性能分析。结果表明,突发火灾应急响应流程中应急专家、救援人员、救援物资3个业务单元的繁忙率高达35.36%、39.37%、38.25%,展开应急救援耗时在流程总耗时中占比高达27.74%,制定突发火灾应急预案时需着重对以上业务单元及流程环节进行优化,从而优化应急资源调配,提高应急响应整体效率。

IPv4/IPv6园区网隧道技术部署及性能分析

园区网是支撑企业业务的核心网络,通过手工配置隧道、6to4自动隧道、ISATAP自动隧道三种隧道技术实现园区网从IPv4升级为IPv4/IPv6双栈网络,对综合应用三种隧道技术后网络延迟、网络吞吐量及IPv4、IPv6数据包的收发情况进行了较为详细的分析,为IPv4向IPv6过渡阶段隧道技术的综合应用提供一种技术手段。

基于Petri网的工作流建模技术分析与应用

介绍了Petri网的基本知识,结合公文管理中收文、发文部分工作流应用环境,运用不变量的分析方法和工作流网的理论,提出了相对完整的基于Petri网的工作流模型,并对模型的可靠性进行了分析。

时间Petri网应用及其分析技术

利用带时间的P/T网建立了客户 /服务器系统的动态模型 ,并通过平衡方程分析其平均客户进程数和客户进程平均等待时间等参数 。

基于petri网的森林火灾应急救援流程网络模型及时效研究

为了对森林火灾的应急救援流程进行优化,以提升应急救援效率,依据森林火灾应急救援预案、有关规定与实际救援案例,从信息传递的角度对森林火灾应急救援流程进行了直观描述。基于petri网相关理论,运用PIPEv5.2.0,构建了森林火灾应急救援随机petri网模型与其同构马尔可夫链,在模型有界、活性、安全且可达的基础上,通过确定模型的库所繁忙率、变迁利用率、平均延迟时间,得到如下结果:①森林火灾应急救援活动早期的灾情信息多且复杂,随着森林火灾的发展呈现动态变化,火灾发生后如何高效地获取过火面积、火线长度、风向、风力、植被载量以及地形等关键信息是优化的重点。②避免信息堆积,基于火灾规模、强度、形式、火头方向等重要任务信息变量,实现实时快速决策、动态处置,是保证森林火灾应急救援活动的时效性的关键。

工作流技术及Petri网在教育管理软件建模中的分析及应用

为了实现教育管理中的各个组织部门间的协调工作,提出了在教育管理软件中引入工作流技术作为建模开发的基础,工作流技术是一种协同技术,能理想完成教育管理软件开发中业务流程的建模和业务逻辑的实现,而工作流描述需要一种工作流模型来支持;Petri网是一种适合于描述异步并发现象的系统模型,适合对业务流程建模,结合用Petri网对业务流程进行建模的方法探讨了如何在教育管理软件建模中应用工作流技术。

疫情下基于Petri网的国际航空货运进口流程建模与分析

国际航空货运进口流程是航空运输的重要组成部分,但在新冠疫情期间存在疫情输入的风险,为消除风险并缓解航空货运站拥堵情况,构造国际航空货运进口流程Petri网模型,利用工作任务分析法进行疫情传播风险的识别,并考虑疫情风险输入情况重构Petri网模型,进而引入随机Petri网及其同构的马尔可夫链,对模型进行性能分析,结合实际作业流程指出流程存在的问题,对提升疫情下国际航空货运进口流程的效率提出了建议。

基于Petri网的高铁快运医药冷链作业流程优化及仿真

药品及医疗器械是高铁快运冷链业务的主要品类,目前既有的高铁快运医药冷链作业流程耗时较长、作业效率较低、运作成本较高,制约了铁路开拓医药冷链物流市场。以北京至上海高铁快运医药冷链全过程作业为例,基于Petri网对该作业流程进行建模,通过引入仿真工具对影响高铁快运医药冷链业务作业效率的因素进行诊断;根据诊断结果,提出前置冰板预冷环节、并行化提货作业与装箱准备环节、简化及并行化货物卸车与配送准备环节3大对策,构建优化后的高铁快运医药冷链作业模型,并对优化后的作业流程进行仿真分析。仿真结果表明,优化后的高铁快运医药冷链平均作业时间从1124.06min缩短至903.90min,作业时间减少220.16min。高铁快运医药冷链业务流程的优化研究,有助于铁路降本增效,提高自身竞争力。

九江网纹状红土地基基础的技术经济分析

文中基于九江县某安置小区高层住宅楼工程,从安全性、技术性和经济性三方面对网纹状红土天然地基及桩基础进行基础选型分析。比选结果表明,住宅楼工程采用浅基础形式,以网纹状红土层作为结构基础的持力层,满足工程经济及安全性指标。该高层住宅楼设计打破了网纹状红土天然地基不能应用于高层建筑工程的瓶颈。对该工程技术方案及经济性进行分析可知,合理应用网纹状红土,可保障工程应用的安全性并取得良好的经济效益。

基于广义随机Petri网的工业设计流程分析

作为产品设计过程管理研究的重要一环,工业设计流程建模同新产品的开发速度与过程成本有直接关联。针对这一问题,利用广义随机Petri网对工业设计流程进行建模,将设计流程中的执行状态与执行活动分别用库所与变迁表示,对每一变迁赋予一个实施速率,构建出可靠的工作流模型,根据转化规则,将该Petri网模型转换成与之等价的马尔可夫链模型,由马尔可夫链理论求解得到各可达标识的稳态概率,最后利用获得的稳态概率对模型主要性能进行分析,找出其中的冗余过程,为工业设计流程的设计、规划和评价提供支持。

大跨度异形索网天幕变形分析及施工工艺研究

城市大型地下空间施工面积大、施工周期长,施工期间可能对城市面貌和环境造成负面影响。此外,由于地下空间表面形式的不规则,对搭设临时覆盖体系带来了挑战。为此,本文提出一种新型大跨度异形索网天幕施工技术。以广州塔南广场项目为例,通过数值模拟对不同天幕支撑方案进行了计算对比,并对新型施工技术的关键要点进行分析,得出了以下结论:采用本文提出的钢索网与钢桁架结合的方案与仅采用钢索网方案相比,天幕支撑结构竖向变形大幅降低了83.11%;与钢结构屋盖相比,在达到相同最大竖向位移时,采用钢索网加钢桁架的方案能够显著降低96%钢材用量;网格布作为天幕不仅具有防尘、耐高温、防雨水冲刷、环保等诸多优点,还能最大程度降低建筑施工对周边居民生活和环境的负面影响,在城市内大型地下空间施工项目中具有广泛的应用前景。

源网荷储系统优化调度技术的应用研究

源网荷储系统优化调度技术已成为实现电力系统可持续发展和高效运行的关键,对于实现清洁能源转型、提高电力系统的效率具有重要意义。通过研究源网荷储系统的优化调度问题,提出源网荷储管理平台的技术架构和关键技术,即从线性规划模型、粒子群算法、遗传算法、模糊综合评判方法等方面剖析调度优化算法,平台通过数据采集与分析、实时调度方法、调度策略和调度优化算法等模块的协同配合,从而实现电力系统的高效和可靠运行。从清洁能源消纳、储能技术发展、智能化和自动化、协同调度和市场化等方面探讨源网荷储系统的发展方向与趋势,指出源网荷储系统未来将推动清洁能源的大规模消纳,提高电网的稳定性和经济性。