-
基于GSPN的车电系统可靠性建模与分析
在深入分析车电系统故障模式的基础上,以广义随机Petri网为理论工具,提出一种基于GSPN的车电系统可靠性模型.通过仿真实验得到了系统可用度指标的动态变化曲线,分析了各个功能子系统对车电系统整体可用度的影响.该模型可为新型车电系统可靠性的分析、设计与优化提供理论依据.陈克伟,杨德志 - 火力与指挥控制文章来源： 万方数据 -
基于GSPN的数据中心动态能耗管理研究
随着云数据中心的大规模应用,其高能耗、高污染等问题日益突出.围绕数据中心的动态能耗管理(DEM,Dynamic Energy Management)问题,提出了一种基于广义随机Petri网(GSPN,Generalized Stochastic Petri Nets)的DEM建模、求解与分析的系统性能评价框架.该框架综合考虑了多种任务调度策略的联合应用与服务器工作模式的动态调整,设计了合理的能耗优化策略,在保证系统服务质量(Qo S,Quality of Service)的同时,降低了数据中心能耗.仿真实验表明,所建立的性能评价框架,在不同系统负载下,可实现最佳任务调度策略的动态选择和服务器工作模式的动态切换,相较于随机调度策略,所提出的均衡调度策略和集中调度策略,分别可降低28%和43%的能耗.王鸿鲁,陈昕,高潮欣,韩友 - 系统仿真学报文章来源： 万方数据 -
城市公交故障抢修的随机Petri网建模及分析
针对城市公交运行过程中紧急抢修故障车的效率问题,本文基于随机Petri网建立了城市公交运行故障的抢修模型,利用随机Petri网与马尔可夫链的同构关系,得到了抢修模型稳定的状态空间及各状态出现的概率,进而分析了抢修过程各环节的利用率及各状态的时间属性,为抢修效率的提高提供了相关依据.实例验证模型分析的有效性,通过对某些抢修环节的改善和提高,进而提高公交故障抢修的效率.张四平,佘维,王梅 - 微电子学与计算机文章来源： 万方数据 -
印刷包装生产线的建模与仿真分析
印刷包装生产线是一个工序复杂的动态离散事件系统(DES),采用建模、仿真和优化相结合的研究方法,合理地安排生产系统的资源并提高生产线的生产率.在印刷包装生产系统框架的基础上,采用Petri网建立了系统的赋时PN模型,并将该模型直观地映射为e M-Plant仿真模型.通过该模型的仿真,分析了生产设备的性能和指标参数,运用约束理论(TOC)找到影响该系统生产率的生产瓶颈,提出了生产线的改进方案并验证其可行性,优化了生产过程.潘春荣,黎良 - 系统仿真学报文章来源： 万方数据 -
基于颜色Petri网的服务组合建模与验证
Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.余晓,吴剑章,王巍 - 计算机系统应用文章来源： 万方数据 -
一类不定仿线性二次型随机微分博弈的鞍点均衡策略
研究了一类连续时间不定仿线性二次型随机微分博弈的鞍点均衡问题,在It(o)微分的意义下,通过引入一个广义Riccati微分方程(GRDE),证明了该GRDE的可解性是相应随机微分博弈问题均衡策略存在的一个充分必要条件,同时给出了最优策略闭环形式的显式解以及最优性能指标值,所得的结论拓展了已有的有关确定性微分博弈和权系数矩阵正定情形下的随机微分博弈的结果.朱怀念,张成科,李云龙,杨超进 - 广东工业大学学报文章来源： 万方数据 -
基于无线传输顺控系统的超滤系统性能分析与仿真
以电站化学水处理中超滤系统的顺序控制为背景,提曲无线分布式顺序控制系统.系统的特点是取消传统控制系统中集中的控制器,同时特控制逻辑分散到现场的无线节,占.系统的控制任务主要由现场控制级的无线节点完成,而且系统中的设备状态完全依靠无线网络进行传输.力分析无线传输中的误码和延时对系统性能的影响,建i7无线分布式顺序控制系统的Petri网模型,提出状态臊定的方法提高系统正确运行的概荦,并采用偏差补偿减小无线传输延时造成的秩态持续对问偏差.最后给出仿真对比结果证明方法的有效性.王仁书,白焰,李秋灵,朱耀春,琚赟 - 系统仿真学报文章来源： 万方数据 -
一类在污染环境中单种群模型的动力学行为(英文)
在种群的增长率满足广义logistic方程的情况下,建立了在污染环境中一类新的单种群模型,给出了该模型中种群一致持续生存和灭绝的充分条件.这里建立的模型是He和Wang[Appl.Math.Modell.31(2007)2227-2238]中模型的改进.吕世良,赵建东 - 生物数学学报文章来源： 万方数据 -
肝脏管道参数化三维建模方法研究
为了提高虚拟手术的模拟价值,方便血管管道的医学研究,通过分析管道结构以及几何形态的相似性,将树木等多分枝物体的三维参数化建模思想应用于血管管道的三维建模上,在肝脏门静脉三维骨架提取的工作基础上研究了一种以B样条曲线为基元重建肝脏管道模型的方法.血管三维形态由广义柱模型来定义,以B样条曲线进行空间骨架线的三维拟合,绘制出以特征点为圆心且垂直于切线的横截圆,根据横截圆上的轮廓点进行表面重构绘制出血管管道.实验结果表明,利用该方法可以对重建的血管管道模型进行实时操控、变形及编辑,直观方便,对于需要用户进行频繁交互的虚拟手术有重要的指导意义.陈国栋,叶楠 - 系统仿真学报文章来源： 万方数据 -
基于突变理论的广义生物系统模型的定性分析
根据生物动力学原理和生态毒理学原理,在折叠突变模型的基础上建立了一个受农药控制的广义生物系统模型和相应的扰动模型.由微分方程定性理论对前者的平衡点进行定性分析.同时应用奇异扰动方法来分析后者,并对二者进行比较.利用模型仿真来验证结论的合理性.赵会斌,赵立纯,刘敬娜,吕沙 - 生物数学学报文章来源： 万方数据
科创中国
