-
印刷包装生产线的建模与仿真分析
印刷包装生产线是一个工序复杂的动态离散事件系统(DES),采用建模、仿真和优化相结合的研究方法,合理地安排生产系统的资源并提高生产线的生产率.在印刷包装生产系统框架的基础上,采用Petri网建立了系统的赋时PN模型,并将该模型直观地映射为e M-Plant仿真模型.通过该模型的仿真,分析了生产设备的性能和指标参数,运用约束理论(TOC)找到影响该系统生产率的生产瓶颈,提出了生产线的改进方案并验证其可行性,优化了生产过程.潘春荣,黎良 - 系统仿真学报文章来源： 万方数据 -
基于颜色Petri网的服务组合建模与验证
Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.余晓,吴剑章,王巍 - 计算机系统应用文章来源： 万方数据 -
城市公交故障抢修的随机Petri网建模及分析
针对城市公交运行过程中紧急抢修故障车的效率问题,本文基于随机Petri网建立了城市公交运行故障的抢修模型,利用随机Petri网与马尔可夫链的同构关系,得到了抢修模型稳定的状态空间及各状态出现的概率,进而分析了抢修过程各环节的利用率及各状态的时间属性,为抢修效率的提高提供了相关依据.实例验证模型分析的有效性,通过对某些抢修环节的改善和提高,进而提高公交故障抢修的效率.张四平,佘维,王梅 - 微电子学与计算机文章来源： 万方数据 -
基于GSPN的车电系统可靠性建模与分析
在深入分析车电系统故障模式的基础上,以广义随机Petri网为理论工具,提出一种基于GSPN的车电系统可靠性模型.通过仿真实验得到了系统可用度指标的动态变化曲线,分析了各个功能子系统对车电系统整体可用度的影响.该模型可为新型车电系统可靠性的分析、设计与优化提供理论依据.陈克伟,杨德志 - 火力与指挥控制文章来源： 万方数据 -
基于GSPN的数据中心动态能耗管理研究
随着云数据中心的大规模应用,其高能耗、高污染等问题日益突出.围绕数据中心的动态能耗管理(DEM,Dynamic Energy Management)问题,提出了一种基于广义随机Petri网(GSPN,Generalized Stochastic Petri Nets)的DEM建模、求解与分析的系统性能评价框架.该框架综合考虑了多种任务调度策略的联合应用与服务器工作模式的动态调整,设计了合理的能耗优化策略,在保证系统服务质量(Qo S,Quality of Service)的同时,降低了数据中心能耗.仿真实验表明,所建立的性能评价框架,在不同系统负载下,可实现最佳任务调度策略的动态选择和服务器工作模式的动态切换,相较于随机调度策略,所提出的均衡调度策略和集中调度策略,分别可降低28%和43%的能耗.王鸿鲁,陈昕,高潮欣,韩友 - 系统仿真学报文章来源： 万方数据 -
基于无线传输顺控系统的超滤系统性能分析与仿真
以电站化学水处理中超滤系统的顺序控制为背景,提曲无线分布式顺序控制系统.系统的特点是取消传统控制系统中集中的控制器,同时特控制逻辑分散到现场的无线节,占.系统的控制任务主要由现场控制级的无线节点完成,而且系统中的设备状态完全依靠无线网络进行传输.力分析无线传输中的误码和延时对系统性能的影响,建i7无线分布式顺序控制系统的Petri网模型,提出状态臊定的方法提高系统正确运行的概荦,并采用偏差补偿减小无线传输延时造成的秩态持续对问偏差.最后给出仿真对比结果证明方法的有效性.王仁书,白焰,李秋灵,朱耀春,琚赟 - 系统仿真学报文章来源： 万方数据 -
三维水下移动传感网多目标有向路径覆盖增强机制研究
水下传感网中实现多个移动目标的协同追踪任是一个技术难题,针对这个问题论文提出了一种分布式的多目标有向路径覆盖增强算法。在实际的三维水下传感网中,水下传感器节点会随着水流运动而移动,被追踪的目标具有自主行动能力。假设移动规律遵从Meandering Current Mobility模型,多个运动目标沿着基于概率的Random Walk移动模型轨迹运动。在论文提出的算法中,覆盖运动路径的传感器节点通过两跳邻居节点范围内的水下传感器节点协同决策来实现最大化路径覆盖,通过调整水下传感器节点自身的有向覆盖方向达到多目标轨迹路径有向覆盖率平均值最大,并使多目标轨迹路径有向覆盖率标准方差尽量小。最后论文通过MATLAB软件仿真来验证分布式覆盖增强算法的有效性,能够显著提高多个移动目标的路径覆盖率。张美燕,蔡文郁,周丽萍 - 传感技术学报文章来源： 万方数据 -
核电反应堆微型控制网稳定性分析
微型控制网作为核电站各厂房内设备定位的测量基准,应用于核岛土建结构施工和设备安装,是核电站测量控制系统的重要组成部分.在变形监测点稳定性分析中,较常用的方法为平均间隙法及单点假设检验法等.本文提出了结合秩亏自由网平差的拟稳平差方法及圆形控制网网点变形的切向偏差及径向偏差公式对变形监测网点进行稳定性分析.王偲迪,单意志,陈建华 - 工程勘察文章来源： 万方数据 -
不同基准下GPS网解算精度对比研究
为了得到可靠、可信的处理结果,有必要深入研究各种基准类型对网平差结果的影响.GPS观测网解算主要基准类型包括自由网解算、最小约束、约束参考测站和固定参考测站.利用一周的观测数据进行分析,涉及测站点包括五个中国大陆IGS测站和一个台湾IGS测站,即:BJFS,CHAN,KUNM,SHAO,WUHN和TWTF.采用四种基准对GPS观测网进行平差,客观地分析了各种基准对GPS观测网平差结果精度的影响.最后为选择一个合理的GPS观测网平差基准得出有益的结论.孔巧丽,郭金运,韩李涛,孙玉 - 工程勘察文章来源： 万方数据 -
网织红细胞血红蛋白含量诊断无贫血缺铁的临床价值
目的 探讨网织红细胞血红蛋白水平在诊断无贫血缺铁的临床价值.方法 研究对象为女性非贫血缺铁患者51例(观察组)及健康女性71例(对照组),检测两组网织红细胞血红蛋白含量(CHr)及铁蛋白(SF)、血清铁(SI)、转铁蛋白饱和度(TS)、总铁结合力( TIBC)、红细胞计数(RBC)、血红蛋白(HGB)、红细胞压积(HCT)、平均红细胞体积(MCV)及红细胞分布宽度(RDW)等指标,并制作各相关指标的ROC曲线.结果 观察组网织红细胞血红蛋白含量明显低于对照组(P<0.001).CHr在ROC曲线下面积明显高于RBC、HGB、HCT、MCV、RDW(P均<0.05).结论 CHr可以用于早期诊断女性无贫血缺铁.冯戟,罗丹,马红雨 - 山东医药文章来源： 万方数据
科创中国
