一、Petri网模型的程序仿真(论文文献综述)
邵叱风[1](2021)在《基于受控日志的过程挖掘及优化》文中研究指明随着业务系统的广泛使用,系统模型复杂度及日志属性多样性随之提升。系统日志与业务过程的分析和研究趋于常态化。在过程发现、一致性检测和过程改进三方面主要问题有:1)由于企业或系统拥有者需保证用户隐私、系统流程的部分不可见,日志分析研究中经常会出现缺乏有效数据,对分析算法的验证及评估造成较大影响。目前的日志生成研究会产生大量冗余的日志,导致事件间的约束不可控;2)过程挖掘是通过当今信息系统中可用日志来提取有效信息以发现、模拟和改进真实过程。现有的过程挖掘算法基于事件日志,其中仅记录任务的执行情况,对于日志其余属性的利用较少。3)一致性检验是过程挖掘领域中检验日志与模型之间偏差的有效方法,对齐是众多先进方法之一。现阶段最优对齐的成本计算大多只与对齐中移动个数保持相关,缺乏对活动依赖的分析,即缺乏对活动重要程度的考虑;4)目前的业务流程优化主要是针对管理者或开发者给出的业务流程模型,其与实际运行中的系统可能存在些许偏差,从而影响了优化结果的可行性。针对日志生成、过程挖掘、对齐计算及模型优化中存在的部分问题,本文基于Petri网理论与应用方面的研究做出以下贡献:(1)针对动态算数计算Petri模型难以通过仿真软件进行模拟,在此提出一种基于Java编程,动态构建Petri网模型并模拟运行的方法,并用于幂次方算数计算模型分析验证中,该方法使动态结构Petri网模型的计算机模拟得以实现,并为下文的日志生成提供基本框架。(2)针对缺乏有效日志或包含指定结构的系统日志对过程挖掘算法进行验证,已有的方法是采用随机生成树并生成随机日志,在此提出基于增广Petri网生成受控日志的方法,此方法可对指定结构模型进行可编辑受控日志的生成,同时支持对多重集日志的转换,并应用于下文过程挖掘及对齐计算中。(3)针对现有日志除活动标签外有大量可用属性,现有过程挖掘算法大多缺乏对日志中活动标签外属性的利用,在此提出一种利用增强日志的额外信息识别任务之间结构关系的挖掘算法,该算法简化了挖掘的步骤,且利用有色Petri网表示了所获过程模型的场景信息。(4)针对现有对齐计算过程中出现不同的活动标签,已有的对齐计算方法对不同的活动采用相同成本,在此提出了基于动态规划增强活动依赖的最优对齐计算方法,并用于前面生成的日志与过程挖掘所获模型的对齐计算,该方法能够在最优对齐的计算中差异化不同活动权重并在计算结果中体现(5)针对流程优化过程中出现的模型不准确及忽视数据流的问题,已有的流程优化方法大多仅从控制流结构进行优化,在此提出一种基于过程挖掘的并行优化算法,通过过程挖掘的加入解决流程模型过时问题,并考虑活动间数据交互进行并行结构优化,在一定程度上提高了实际优化结果的可行性。图[74]表[13]参[94]
陈志[2](2021)在《基于随机模型的移动目标防御效能量化分析》文中进行了进一步梳理网络空间的攻防对抗和博弈近年来呈现愈演愈烈的趋势,频发的安全事件给社会经济带来了巨大的损失。传统的安全机制和防御手段(例如IDS、防火墙和防病毒软件等等)越来越难以抵御新形式的威胁。究其原因,信息系统中普遍存在的相对固化的静态属性为攻击者提供了天然的时间优势。在攻防对抗中,攻击者有足够的时间在实施攻击之前收集有关目标系统的弱点和信息,而防御方只能被动等待。为了消除防御者的这种劣势,改变网络空间“易攻难守”的局面,研究人员提出了移动目标防御的概念。作为一种主动防御技术,移动目标防御通过不断地变换目标系统攻击面,增加系统的不对称性和不确定性,以此混淆攻击者视野,减少攻击者探索系统、发现弱点的机会,从而有效降低系统被攻击的概率。近年来,围绕移动目标防御的概念,研究人员提出并实现了各种系统层面的具体防御机制。需要注意的是,在为系统引入动态变换特征,增强系统安全性的同时,移动目标防御技术还带来了额外的计算开销和成本。更重要的是,它对于系统中运行的任务也会产生影响。因此,我们需要一个合适的方案来综合分析移动目标防御技术对目标系统的影响。虽然当前已经存在一些针对移动目标防御效能分析的研究,但是大都只关注了防御机制带来的安全性,还缺少防御机制对目标系统,特别是对任务运行影响的分析。此外,移动目标防御机制对被保护系统的可靠性影响也通常被忽视。本文着重于从任务运行的角度量化分析移动目标防御技术的防御效能以及某些场景下对于目标系统或者服务可存活性的影响。根据具体的场景和分析目标,本文分别提出了以下四种分析方法:1.针对中断-重复型任务场景,提出了一个基于离散时间马尔可夫链模型的移动目标防御效能量化分析方法。在移动目标防御机制作用下,任务的运行过程因为系统的动态变换被分割成了多个运行阶段,并且受到攻击者攻击的干扰,因此实际任务完成时间通常要大于预期。中断-重复型任务表示任务在任意阶段被攻击者破坏都需要返回初始阶段重新运行。本文提出了一个基于马尔可夫链模型的移动目标防御效能量化分析方法,根据是否有固定执行时间需求将单个关键任务划分为长短期任务,并分别以长期任务平均失效时间、短期任务平均完成时间以及每阶段任务被攻击破坏概率为指标对移动目标防御技术进行效能量化分析。以模型为基础,本文给出了效能评估指标的求解方法并通过实验分析评估了不同系统参数对防御效能的影响。2.针对中断-恢复型任务场景,提出了一个基于随机回报网模型的移动目标防御效能量化分析方法。中断-恢复型任务表示任务运行过程如果被攻击者破坏,任务可以从被破坏阶段开始继续运行,也就是说攻击者的破坏只会造成当前阶段的运行损失。这种情况下,本文提出使用随机回报网模型进行移动目标防御效能分析,建立角色子模型分别表示任务运行过程中的行为和状态变化以及攻击者攻击过程中的行为和状态变换,再使用时间统计子模型跟踪任务每一阶段的实际运行时间并计算出总的任务完成时间。最后以任务总完成时间、被攻击次数、任务收益等为指标,分析了不同参数配置下移动目标防御技术防御效能。此外,本文针对不同类型攻击场景和不同防御系统规模提供了自动化模型生成程序。3.针对多任务流场景,提出了一个基于排队论模型的移动目标防御效能量化分析方法。本文提出了一个混合多任务流场景下的移动目标防御效能分析方案。该方案针对的场景中存在受移动目标防御技术保护的服务器以及等待服务器响应的混合任务请求流。其中混合任务由合法请求和恶意请求组成。由于防御技术需要定期对服务器进行攻击面变换,因此服务器存在服务中断的情况。在此基础上,本文分别为单服务场景下两种防御策略以及多服务场景下两种防御策略建立了对应的分析模型,并以任务平均等待时间和等待队列长度等为性能指标给出不同模型下的指标求解方案。特别是针对多服务器场景的分析模型,本文提出了分层计算方法,实现了将多维模型分解成服务器状态模型和队列模型两个一维模型并分步给出了指标解析解推导方案。此外,本文中分析了混合任务流中恶意请求的比例和服务器变换频率对攻击成功率的影响。4.提出了一个移动目标防御环境下云服务可存活性量化分析方法。现有移动目标防御量化分析研究只关注了防御效果和防御机制造成的性能损失,缺少了对于系统可靠性指标影响的分析。本文提出了基于连续时间马尔可夫链模型的移动目标防御系统可存活性量化分析方案。可存活性作为一个可靠性指标,用来表示系统或者服务在面临攻击、故障、灾害等问题时的持续服务能力或者及时恢复的能力。本文以部署在分布式云数据中心的服务为对象,使用连续时间马尔可夫模型描述了服务因为攻击、软件老化或者主动防御变换等导致的失效以及恢复过程中的状态变换。本文定义云服务在任意时刻的恢复概率以及因为失效造成的损失为可存活性分析指标,通过对模型进行求解并进行实验分析,得到了不同防御参数对系统可存活性的影响。
卢宇彩[3](2021)在《基于供应链协同的J公司采购优化问题研究》文中认为对于企业而言,采购成本在企业的生产经营总成本中始终占据着较大份额,采购成本的高低直接影响到企业最终产品及服务的定价和企业获利能力,所以降低采购成本能够有效的提高公司的利润。而随着经济全球化的进程不断加快,企业与企业之间的竞争日益加剧,逐渐演变成供应链与供应链之间的竞争,传统的采购模式越来越难适应日益加剧的市场竞争。只有实现企业内部各部门之间的协同运作,并加强与供应链节点企业之间的协同运营,才能及时响应市场需求变化,从而实现降本增效的目标,提升企业的核心竞争力。本文在总结采购管理、供应链协同、供应商管理、库存管理等理论的基础上,以J公司的采购管理活动为研究背景,采取实地调研和访谈相结合的方式获取相关数据,通过分析了解J公司采购管理的现状,总结出J公司在采购流程、供应商管理及库存管理三个方面存在的问题。然后针对这三个方面的问题,基于供应链协同的理念,分别提出相应的管理策略。首先,根据J公司的采购业务流程构建了J公司采购流程的Petri网模型,基于供应链协同的理念从信息集成和工作流优化两个方面提出优化措施,并对优化后的采购流程进行Petri网建模,随后引入时延数据,运用Tina仿真软件对优化前后的Petri网模型进行仿真对比分析。其次,通过文献分析和调查访谈的方式,选取供应商选择和供应商绩效评价的影响因素,基于供应链协同的理念构建J公司的供应商选择指标体系和供应商绩效评价指标体系,并且通过模糊层次分析法确定了各项指标的权重,完善J公司的供应商管理体系,根据供应商绩效评价结果对不同类型的供应商提出不同的关系管理策略。最后,对J公司库内物资采用ABC分类法对物资进行了划分,针对不同类型提出不同的库存控制策略,并基于供应链协同的理念提出管理措施的建议。本文通过理论研究和实际数据分析,基于供应链协同理念为J公司建立合理的采购流程、完善供应商管理体系、建立库存管理机制,一定程度上提高了采购效率,提高了供应商管理水平和仓库管理水平,对于J公司的实际工作起到了指导作用。
付锦超[4](2021)在《多品种晶圆重入加工的双臂组合设备调度分析》文中提出半导体制造行业是社会信息化、数字化和智能化发展的基石。晶圆作为半导体制造的基础元件,传统大批量生产模式已无法满足大尺寸晶圆加工要求。组合设备具备高效且可重构的单晶圆加工环境,以应对晶圆在加工过程中的苛刻约束条件。但是,晶圆尺寸不断增加,加剧市场对多品种、小批量定制化产品的需求。而不同类型的晶圆在组合设备生产过程中进行频繁批量切换,使得设备调度控制与运行更加困难,延长系统生产周期,加剧生产成本。为了提高设备生产效率,降低产业投入,多品种晶圆加工的组合设备调度策略研究必将成为焦点。本文选取双臂组合设备,研究了多品种晶圆流程模式相同、晶圆驻留时间约束、混合加工以及重入加工的调度问题,主要研究内容如下:(1)分析了相同流程模式下多品种晶圆重入加工的双臂组合设备运行过程。根据Petri网建模的基本定义以及性能特征,构建了任意类型晶圆i重入加工的双臂组合设备面向资源Petri网(Resource-Oriented Petri Net,ROPN)模型。基于该模型,提出了系统无死锁控制规则,并通过分析晶圆加工的时间约束获取系统活性。(2)基于改进机械手交换策略,分析了系统局部与全局循环过程,得出了机械手作业时间与晶圆在PM内逗留时间的关系。针对不同PM工作负载情形,分别提出了有效解析式获取系统稳态调度的方案,并验证了相关调度情形定理的可行性与最优性,实现了系统最小晶圆周期调度;(3)为了直观描述多品种晶圆重入加工的双臂组合设备动态运行过程,建立相应eM-Plant二维/三维仿真模型。通过内嵌Sim Talk 2.0语言程序实时控制机械手活动与类型晶圆加工,并实时统计相关作业时间点。最后,通过分析晶圆在不同PM中的驻留时间以及系统生产节拍,验证了系统调度策略的有效性。(4)为了简化eM-Plant仿真模型数据交互,设计了Python调度架构来确保相同流程模式下多品种晶圆重入加工的双臂组合设备稳态调度,并阐述了“算法-仿真”一体化拟态环境原理。以上研究表明,本文给出的调度方案、建立的eM-Plant仿真模型以及提出的Python数据交互理论,可适用于双臂组合设备调度分析并丰富智能化仿真理论。
朱红阳[5](2021)在《基于Petri网的CT扫描仪生产业务流程优化》文中研究表明伴随着科技手段的革新,医疗器械也从无到有,从简单的辅助机器演变成系统化的设备。以医疗影像设备为首的大型医疗器械,集成了成像装置和转换系统,让体内诊断成为可能。医疗影像设备的正常运作,除了各组件之间的相互配合外,还需要内部系统的支持,每台设备不仅要经过零部件组装环节,还要通过系统安装和测试环节。由于服务对象为人体,这些产品的交付更是要经过重重质量关卡。在产品技术性强和质量监管严的共同作用下,大型医疗器械的交付周期往往较长。全球大型医疗器械的生产商并不多,订单难以正常交付的情况常常出现。本文选取大型医疗设备——CT扫描仪的生产业务流程为研究对象,借助Petri网研究工具,对从订单生成到产品签收的整个流程开展了内部结构分析并提出了能够有效缩短产品交付周期、提高资源利用率的流程优化方案。本文首先详细刻画了CT扫描仪的生产业务流程,根据处理对象的不同将流程分解为四个阶段,通过绘制跨职能流程图表达出流程内部的逻辑关系和所涉及人员。为对流程进行分析以实现进一步优化,本文考虑到Petri网工具在流程优化上的可行性和有效性,搭建了CT扫描仪生产业务流程的Petri网模型,借助Petri网关联矩阵算法,验证了所建立模型的有效性并找出了存在并发关系和冲突关系的子网。将这些子网对应到实际流程中,整个CT扫描仪生产业务流程的可优化点也清晰可见。随后本文制定了针对不同优化点的优化方案,结合ECRSI流程优化原则,增设某些环节来避免冲突现象的发生,合并某些环节来提高流程运行的均衡度。同时,为完成后续对优化方案的评估工作,本文建立了优化后流程的Petri网模型,经关联矩阵验证为有效。优化方案的优化效果需要有数据来验证才更有说服力。本文最后为模型添加了时间和颜色集元素,并将完善后的两种Petri网模型映射到Flex Sim仿真软件中,经模型运行和数据计算得出,优化后流程在运行时间和资源利用率上有较明显的提升。仿真结果还验证了取消和合并子环节可有效缩短流程运行时间,增加子环节能有效降低流程运作中等待情况出现的概率。本文将Petri网研究方法用于医疗器械生产业务流程的分析和优化中,在拓宽该方法应用领域的同时也能帮助相关企业缩短产品交付周期,提高子流程资源利用率,进而提升顾客对产品交付时间的满意度。该论文有图46幅,表33个,参考文献77篇。
郭九霞[6](2021)在《新一代民航运输系统安全韧性理论与方法研究》文中指出随着空中交通的持续高速增长,新一代民航运输系统作为一个高分布、软件密集型、安全性为关键的社会技术系统,其复杂性和耦合性日益增加。云计算、大数据、人工智能等新一代信息技术在民航行业深化应用,尤其是空中交通控制系统,需要利用这些新技术解决复杂运行环境下安全、高效的保障服务难题。新技术的引入可能给空中交通控制系统带来新的事故致因,以组件故障模式为主导的传统安全分析方法在分析复杂的人为决策、软件错误、系统事故以及组织风险等因素时有很大局限性。运用安全韧性的系统思维方法解决复杂系统安全性问题,对提高新一代民航运输系统运行的安全和效率具有重要的意义。因此,本文主要研究在复杂运行环境下新一代民航运输系统安全韧性问题,构建新一代民航运输系统安全韧性体系概念框架,利用安全韧性事前分析方法对空中交通控制系统面对故障和/或中断时的承受能力、学习能力的韧性功能进行深入研究,利用自然语言处理算法实现对空中交通控制系统危险源自动分类,最后,利用安全韧性事后分析方法对大规模突发事件下民航运输网络的承受、吸收和优化能力的韧性功能度量问题进行研究。本文的主要研究内容有:1.针对新一代民航运输系统安全韧性理论,首先对韧性、韧性工程和安全韧性评估方法以及系统性事故模型进行了详细的探究;接着在公共安全三角形模型和系统安全体系塑造框架基础上,结合新一代民航运输系统的特点,提出了民航运输系统的安全韧性定义、系统安全韧性体系概念模型以及安全韧性评估方法。最后,本文构建了空中交通控制系统的安全韧性分析框架。2.针对空中交通控制系统安全韧性分析框架中新型的危险源识别及控制问题。首先,构建了空中交通控制系统运行控制过程中的不同管制席位的Petri网模型,采用形式化方法对仿真模型进行验证;其次,结合CPN模型,采用STPA危险分析方法,进行实例验证,通过识别系统级危险以及安全约束,使用状态空间可达图追踪系统的不安全控制原因,从而提高了STPA方法的适用性。3.针对空中交通控制系统安全韧性分析框架中危险源自动分类问题。首先,搭建基于改进HFACS模型的空中交通控制系统危险源分类指标体系,并构建空中交通控制系统安全领域专业词库。其次,提出改进TFIDF-Text Rank关键词提取的文本分类方法,解决了空中交通控制系统危险源文本数据少标签、小样本以及样本不均衡问题。然后,使用基于模型的文本分类方法进行对比实验,实验结果表明,面向空中交通控制系统,基于关键词提取的半监督学习文本分类方法效果优于基于模型的有监督学习文本分类方法。4.针对大规模突发事件下民航运输网络的安全韧性定量分析问题。首先,构建中国机场的复杂网络,并分析机场网络的基本结构特征。接着,构建机场网络韧性度量模型,基于拓扑和数据驱动的方法对机场网络韧性进行评估。最后,对中国和欧洲机场网络节点强度进行韧性评估,结果表明,实施不同的预防与控制策略,网络恢复的情况差异显着,机场网络的安全韧性能力也有很大区别。
钱瑞[7](2021)在《基于Petri网的雨刮传动组件装配生产线控制优化》文中指出在经济全球化和社会信息化的今天,产品竞争日趋激烈,要求企业不但能根据市场的要求快速设计出新产品,而且能柔性化生产多样化的产品。本文以某公司新建雨刮传动组件装配生产线为研究对象,在设计与制造阶段,采用建模与仿真方法,对装配生产线的工序节拍、生产线结构平衡利用率、故障停工时间进行了优化。首先分析了雨刮传动组件装配生产线设计、产能、控制需求,采用分层有色Petri网理论,使用CPN Tools软件对雨刮传动组件装配生产线工序流程进行建模、仿真,分析了生产线各工作站工序、生产线装配流程对生产线性能的影响。然后,针对装配工艺存在的问题,使用分层有色Petri网进行控制流程优化,改进了生产线工序结构、生产线控制工序方案以及生产线装配的机械结构,提高了生产线的工序节拍和生产平衡。使用Petri网的控制流程模型,结合软PLC模块化编程框架,采用一种基于Petri网的软PLC在线过程监控与诊断方法,对生产线的打断及故障进行快速定位、甄别,降低了装配生产线的停机时间。研究表明,基于Petri网的仿真模型可以对雨刮传动组件装配生产线进行控制优化,论文的研究成果在武汉某公司的雨刮传动组件装配生产线得到成功应用,有效地提高了装配生产线的生产效率,减少了企业生产成本,能够满足企业的自动化装配生产需求,研究成果具有一定的理论意义和实用价值。
郭一君[8](2021)在《基于Petri网的提花龙头装配线建模仿真及节拍优化研究》文中提出近年来,国内劳动力市场人力价格逐步攀升,企业为追求更高的效率、稳定性及尽可能地节约人力资源的开支,管理人员开始关注自动化生产线。自动化装配线的性能优劣正影响企业的健康发展。装配线建模仿真和节拍优化贯穿装配线设计的生命周期,装配线生产节拍直观反映于装配线平衡率。目前,在装配线平衡问题优化研究中少有关注装配工作站数量一定、求解最短生产节拍的平衡优化问题。并且,讨论装配线节拍优化问题时理论、模型、方法三者的结合不够紧密,少有同时建立理论与仿真模型,并采用数值计算方法对仿真结果进行分析的研究。针对以上问题,本文以提花龙头人工装配线作为研究对象,根据提花龙头装配线的生产工艺与装配特点,提出自动化装配模式下提花龙头装配线的装配单元次序及性能评价体系。本文依据优化目标,采用赋时变迁Petri网建立基于装配线与装配工序的理论模型,并采用关联矩阵与状态方程分析模型的守恒性与可逆性。然后,采用节拍均值优化算法分析装配线生产节拍的变化趋势与瓶颈工位的流程节拍之间的联系。本文以提花龙头装配线的赋时变迁Petri网模型为基础,采用Witness软件建立装配线数字化仿真模型,针对设定时间内机器的利用率等多个技术指标进行分析。本文对仿真结果采用节拍均值优化算法进行数值计算,得到工序流程节拍时间对比柱形图及装配线生产节拍变化趋势曲线,基于对以上图形的分析提出优化方案。通过搭建实验平台实现优化方案,验证瓶颈工序优化方案的正确性和可行性。对比优化前后仿真软件反映的机器元素的利用率以及装配工序流程节拍时间,数据表明本文的研究有助于提高生产线平衡率,能够协助企业提高生产效益。经计算,提花龙头自动化装配线的生产节拍由设计阶段的352s/个提高到208s/个。
孔志学,黄飘,穆英娟,李凌霄[9](2020)在《基于Petri网的单元控制系统及编程研究》文中提出针对舱体制造单元控制系统开发与调试周期长、控制逻辑正确性难以评估的问题,提出一种基于Petri网建模仿真与面向对象的PLC程序快速设计方法。该方法首先依据产品工艺流程,形成单元制造流程,并基于Petri网建立制造单元控制系统模型,通过Petri网仿真与优化,使得Petri网模型可达、有界、无死锁、无冲突,再通过在PLC程序设计中融入库所、变迁、托肯、有向弧的元素,实现Petri网并发、争夺、共享资源的特性,最后,面向Petri网模型中的对象,将Petri网模型中的对象快速映射至PLC程序中,使PLC运行逻辑与Petri网模型保持一致。本文以舱体制造单元为例,阐述了该方法的应用。
张玉琢[10](2020)在《列控安全计算机分区软件的形式化建模与验证方法研究》文中研究表明随着通信技术、控制技术和计算机技术在铁路领域的飞速进步和应用,列车运行控制系统(简称“列控系统”)不断向着综合化、模块化的方向发展。安全计算机作为列控系统的核心部件,承载其大部分的安全功能,是一个典型的安全苛求系统。现代安全计算机正由传统的电子机械密集型向着软件密集型逐步过渡,软件所占比例逐步上升,规模也越来越大,由此产生了模块化的概念。为了实现安全计算机的高容错能力,采用分区的方式实现不同分组的软件在时间和空间上互不影响,独立运行。由于分区软件具有并发性和共享性的特征,对系统安全性和可靠性带来了挑战。而形式化方法以形式或逻辑系统为基础,能够支持对计算机系统进行严格的建模和验证,在系统设计开发过程能够分析、处理、证明系统性质,提高和保障其可信性。论文阐述了列控安全计算机综合模块化的发展趋势、分区软件结构特性及管理机制,对列控安全计算机分区软件形式化研究作了梳理,根据安全计算机的建模需求,归纳总结了分区管理需要解决的安全性、实时性和可调度性三方面的研究重点。为了对这些指标进行定性和定量分析,本文从以下几个方面开展了研究:(1)论文针对并行程序安全性的问题,设计了基于事务内存的并发安全控制机制,利用并发分离逻辑设计了推理抽象机,并制订了推理规则。之后采用不变式证明方法对安全机制的可靠性进行推理验证,证明了该机制能保障并行程序的正确性。随后搭建了2乘2取2安全计算机平台,对并行应用操作共享内存的过程进行了安全性测试,验证了该安全控制机制可以保证并发安全地访问共享资源。(2)论文针对实时性的问题,对传统的时间Petri网进行拓展,考虑到非马尔科夫时间参数,提出了基于随机时间Petri网的建模方法,突破了列控系统Petri网模型要求时间参数为指数分布的限制。通过随机时间Petri网的定义和相关参数的引入,能够对非马尔科夫时间参数中的确定性分布、Erlang分布、超指数分布进行区分处理。为了利用随机时间Petri网模型进行实时性验证,提出了基于随机状态类的瞬态分析算法,通过随机状态树的构建和马尔科夫再生点的计算,对含有一般性分布的时间参数的模型进行瞬态分析。之后搭建了分区通信的随机时间Petri网模型,利用所提出的算法进行了实时性分析验证,对过程数据、消息数据和监督数据分别采用不同调度算法的时延进行了分析。随后利用2乘2取2安全计算机平台,结合开源实时以太网技术POWERLINK,对分区通信实时性能进行测试。(3)论文针对可调度性的问题,同样对传统的时间Petri网进行了拓展,提出了带有优先级时间Petri网的建模方法。针对时分多路复用全局调度和抢占固定优先级局部调度策略,克服了非确定性的执行时间和局部资源共享的难题,对包含有周期、偶发、抖动任务的双层调度机制进行了建模。并且提出了基于状态空间枚举的分析算法,识别从任务释放开始到任务结束的所有路径,提取最优完成时间和最差完成时间,检验任务截止时间是否满足,从而实现模型的可调度性分析。随后在2乘2取2安全计算机平台上,利用Vxworks的根任务调度实现了分区软件的调度,并对分区调度时刻信息进行了测试。最后在对全文工作和创新点总结的基础上,提出了下一步需要改进的地方和继续研究的问题。图37幅,表18个,参考文献116篇。
二、Petri网模型的程序仿真(论文开题报告)
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、Petri网模型的程序仿真(论文提纲范文)
(1)基于受控日志的过程挖掘及优化(论文提纲范文)
摘要 |
Abstract |
1 绪论 |
1.1 研究背景及意义 |
1.2 国内外研究现状 |
1.2.1 算数计算Petri网 |
1.2.2 日志生成方法 |
1.2.3 增强日志挖掘方法 |
1.2.4 加权对齐计算方法 |
1.2.5 关联并发优化方法 |
1.3 文章主要内容安排 |
2 算术计算Petri网模型及实现 |
2.1 算数计算的增广Petri网模型 |
2.1.1 基本四则运算增广Petri网模型 |
2.1.2 幂次方运算增广Petri网模型 |
2.1.3 复合算术运算增广Petri网模型 |
2.2 APNS插件的开发以及计算模型的分析 |
2.2.1 复合算术运算增广Petri网模型的模拟 |
2.2.2 复合算术运算增广Petri网模型的模拟配置 |
2.2.3 X的M次方对应算术运算Petri网模型的模拟实现 |
2.3 实验 |
2.4 小结 |
3 基于可达状态随机选择生成受控日志的方法 |
3.1 准备知识 |
3.2 日志生成方法及实现 |
3.2.1 输入矩阵 |
3.2.2 网的运行 |
3.2.3 多重集日志 |
3.2.4 XES标准日志 |
3.3 实验 |
3.3.1 耗时分析 |
3.3.2 日志有效性 |
3.3.3 编辑有效性 |
3.4 小结 |
4 基于增强日志的过程挖掘算法 |
4.1 准备知识 |
4.2 基于增强日志的过程挖掘方法 |
4.2.1 增强日志 |
4.2.2 基于增强日志的过程挖掘算法 |
4.3 实验 |
4.4 小结 |
5 基于依赖增强的最优对齐计算方法 |
5.1 准备知识 |
5.2 算法及其实现 |
5.2.1 序列对齐 |
5.2.2 对齐成本 |
5.3 实验 |
5.3.1 对齐耗时 |
5.3.2 可行性及有效性 |
5.4 小结 |
6 基于流程挖掘的并行优化算法 |
6.1 准备知识 |
6.1.1 动机例子 |
6.2 流程挖掘及修复 |
6.2.1 政府采购流程日志挖掘 |
6.2.2 政府采购流程日志修复 |
6.3 业务流程中关联严格并行优化算法 |
6.4 实验 |
6.4.1 实验设置 |
6.4.2 耗时分析 |
6.5 小结 |
7 结论 |
7.1 总结 |
7.2 展望 |
参考文献 |
致谢 |
作者简介及读研期间主要科研成果 |
(2)基于随机模型的移动目标防御效能量化分析(论文提纲范文)
致谢 |
摘要 |
ABSTRACT |
1 绪论 |
1.1 引言 |
1.2 研究背景 |
1.2.1 移动目标防御基本原理 |
1.2.2 移动目标防御技术与传统防御技术的比较 |
1.2.3 移动目标防御核心问题 |
1.2.4 防御效能评估定义 |
1.3 国内外研究现状 |
1.3.1 新防御机制研究 |
1.3.2 防御策略研究 |
1.3.3 移动目标防御效能评估研究 |
1.4 当前研究存在的问题 |
1.5 本文主要研究内容 |
1.6 论文结构 |
2 预备知识 |
2.1 马尔可夫链 |
2.1.1 离散时间马尔可夫链 |
2.1.2 连续时间马尔可夫链 |
2.2 随机回报网及相关演变过程 |
2.2.1 Petri网 |
2.2.2 广义随机Petri网 |
2.2.3 随机回报网 |
2.3 排队论 |
2.3.1 生灭过程 |
2.3.2 M/M/1和M/M/s队列 |
2.3.3 排队论小结 |
3 中断-重复型任务场景下MTD效能量化分析 |
3.1 引言 |
3.2 研究内容和主要贡献 |
3.3 系统描述和威胁模型介绍 |
3.3.1 系统描述 |
3.3.2 威胁模型 |
3.4 效能量化分析模型 |
3.5 指标量化公式 |
3.5.1 长期任务平均失效时间MTTF |
3.5.2 系统成本计算 |
3.5.3 短期任务平均完成时间JCT |
3.6 实验分析与验证 |
3.6.1 不同配置参数对长期任务MTTF的影响 |
3.6.2 系统总成本预测分析 |
3.6.3 短期任务完成时间分析 |
3.6.4 实验分析总结 |
3.7 本章小结 |
4 中断-恢复型任务场景下MTD效能量化分析 |
4.1 引言 |
4.2 研究内容和主要贡献 |
4.3 系统描述及模型介绍 |
4.3.1 系统描述 |
4.3.2 量化模型介绍 |
4.3.3 SRN模型的运行交互逻辑伪代码 |
4.3.4 规模化模型自动生成程序 |
4.4 实验分析与讨论 |
4.4.1 不同虚拟机数对任务完成时间的影响 |
4.4.2 不同任务阶段划分对总完成时间的影响 |
4.4.3 攻击者能力对任务完成时间的影响 |
4.4.4 模型数值解准确性验证 |
4.5 本章小结 |
5 多任务流场景下MTD效能量化分析 |
5.1 引言 |
5.2 研究内容和主要贡献 |
5.3 系统描述及模型介绍 |
5.3.1 系统描述 |
5.3.2 单服务器定时“移动” |
5.3.3 单服务器空闲时“移动” |
5.3.4 多服务器独立执行“移动” |
5.3.5 多服务器同时执行“移动” |
5.4 实验分析与讨论 |
5.4.1 仿真实验结果和模型解析解验证 |
5.4.2 不同任务到达率下的单服务器性能 |
5.4.3 不同“移动”频率下的单服务器性能 |
5.4.4 单服务器场景不同“移动”频率下的攻击成功概率 |
5.4.5 多服务器场景不同MTD策略性能分析 |
5.5 本章小结 |
6 MTD环境下云服务可存活性分析 |
6.1 引言 |
6.2 研究内容和主要贡献 |
6.3 系统描述及模型介绍 |
6.3.1 系统描述 |
6.3.2 可存活性分析模型 |
6.4 实验分析与讨论 |
6.4.1 初始概率分布对云服务可存活性的影响 |
6.4.2 宿主机内服务迁移速率对云服务可存活性的影响 |
6.4.3 虚拟机重启速率和服务重启速率对可存活性的影响 |
6.5 本章小结 |
7 总结与展望 |
7.1 论文的主要贡献 |
7.2 下一步研究方向 |
参考文献 |
作者简历及攻读博士学位期间取得的研究成果 |
学位论文数据集 |
(3)基于供应链协同的J公司采购优化问题研究(论文提纲范文)
摘要 |
abstract |
第1章 绪论 |
1.1 研究背景及意义 |
1.1.1 研究背景 |
1.1.2 研究意义 |
1.2 国内外研究现状 |
1.2.1 采购管理研究现状 |
1.2.2 供应商管理研究现状 |
1.2.3 供应链协同采购研究现状 |
1.2.4 库存管理研究现状 |
1.2.5 国内外研究现状述评 |
1.3 研究内容及方法 |
1.3.1 研究内容 |
1.3.2 研究方法 |
1.4 技术路线 |
1.5 本章小结 |
第2章 相关理论基础 |
2.1 采购管理相关理论 |
2.1.1 采购管理基本理论 |
2.1.2 供应链采购管理 |
2.2 供应链协同相关理论 |
2.2.1 供应链协同 |
2.2.2 供应链协同采购 |
2.3 供应商管理相关理论 |
2.3.1 供应商的选择 |
2.3.2 供应商的绩效评价 |
2.4 库存管理相关理论 |
2.4.1 库存管理 |
2.4.2 库存管理与采购管理的关系 |
2.5 Petri网理论 |
2.5.1 Petri网基础 |
2.5.2 Petri网的分析方法 |
2.6 模糊层次分析法 |
2.6.1 模糊层次分析法简介 |
2.6.2 FAHP的基本原理 |
2.6.3 FAHP的计算步骤 |
2.7 本章小结 |
第3章 J公司采购管理现状及存在问题分析 |
3.1 J公司简介 |
3.2 J公司采购管理现状 |
3.2.1 J公司采购业务现状 |
3.2.2 J公司供应商管理现状 |
3.2.3 J公司库存管理现状 |
3.3 J公司采购管理中存在的问题及分析 |
3.3.1 采购流程存在的问题 |
3.3.2 供应商管理存在的问题 |
3.3.3 库存管理存在的问题 |
3.4 本章小结 |
第4章 基于供应链协同的J公司采购流程管理 |
4.1 J公司采购流程的Petri网建模 |
4.1.1 J公司采购流程Petri网建模 |
4.1.2 J公司采购流程Petri网的正确性分析 |
4.2 基于供应链协同的J公司采购流程优化 |
4.2.1 优化原则 |
4.2.2 优化措施 |
4.3 基于供应链协同的J公司采购流程Petri网建模 |
4.3.1 基于供应链协同的J公司采购流程Petri网建模 |
4.3.2 基于供应链协同的J公司采购流程Petri网的正确性分析 |
4.3.3 优化前后Petri网模型的仿真 |
4.4 本章小结 |
第5章 基于供应链协同的J公司供应商管理 |
5.1 供应商的选择 |
5.1.1 供应商的选择流程优化 |
5.1.2 构建供应商选择指标体系 |
5.1.3 基于FAHP的供应商选择指标权重确定 |
5.2 供应商的绩效评价 |
5.2.1 构建供应商绩效评价体系 |
5.2.2 供应商绩效评价指标分析与评估标准 |
5.2.3 基于FAHP的供应商绩效评价指标权重确定 |
5.3 供应商的关系管理 |
5.3.1 供应商的分类 |
5.3.2 供应商关系管理策略 |
5.4 本章小结 |
第6章 基于供应链协同的J公司库存管理 |
6.1 物资分类 |
6.1.1 J公司采购物资的特点 |
6.1.2 基于ABC的库存物资分类 |
6.2 基于物资分类的J公司库存控制策略 |
6.2.1 A类物资 |
6.2.2 B类物资 |
6.2.3 C类物资 |
6.3 基于供应链协同的库存管理措施 |
6.3.1 实施基于供应链协同的库存策略 |
6.3.2 加强管理信息系统的应用,增强各部门之间信息沟通 |
6.3.3 树立供应链协同管理思想,建立战略合作伙伴关系 |
6.4 本章小结 |
第7章 总结与展望 |
7.1 总结 |
7.2 展望 |
参考文献 |
致谢 |
(4)多品种晶圆重入加工的双臂组合设备调度分析(论文提纲范文)
摘要 |
Abstract |
第一章 绪论 |
1.1 课题研究背景及研究意义 |
1.1.1 课题研究背景 |
1.1.2 课题研究意义 |
1.2 组合设备调度研究概述 |
1.2.1 组合设备 |
1.2.2 组合设备建模与分析 |
1.2.3 组合设备调度与控制现状 |
1.2.4 相关调度问题研究 |
1.3 本文的研究内容与文章框架 |
1.3.1 课题来源 |
1.3.2 研究内容 |
1.3.3 文章框架 |
1.4 本章小结 |
第二章 系统Petri网建模 |
2.1 引言 |
2.2 PN概述 |
2.2.1 PN的基本概念 |
2.2.2 PN的性能特性 |
2.2.3 PN在自动化制造系统的应用 |
2.3 多品种晶圆重入加工过程分析 |
2.4 系统PN建模 |
2.4.1 生产过程建模 |
2.4.2 活动时间分析 |
2.5 本章小结 |
第三章 多品种晶圆重入加工的双臂组合设备稳态调度分析 |
3.1 引言 |
3.2 系统周期调度策略 |
3.3 加工时间特性 |
3.4 调度情形分析 |
3.4.1 PM负载均衡 |
3.4.2 PM负载失衡 |
3.5 稳态调度求解 |
3.6 本章小结 |
第四章 基于eM-Plant的多品种晶圆重入加工仿真模型 |
4.1 引言 |
4.2 离散事件系统概述 |
4.2.1 离散事件系统 |
4.2.2 离散事件系统建模与仿真 |
4.3 系统仿真平台eM-Plant |
4.4 系统二维仿真模型设计 |
4.4.1 模型框架 |
4.4.2 事件触发与机械手控制原理 |
4.4.3 模型数据输入与初始化 |
4.4.4 仿真结果分析 |
4.5 三维模型设计 |
4.6 仿真实例 |
4.7 本章小结 |
第五章 基于Python的拟态平台设计 |
5.1 引言 |
5.2 程序设计语言Python |
5.3 系统Python调度架构设计 |
5.3.1 初始化模块 |
5.3.2 机械手等待时间求解模块 |
5.3.3 主模块 |
5.4 算法-仿真拟态环境原理 |
5.4.1 eM-Plant仿真模型改进 |
5.4.2 数据交互设计 |
5.5 本章小结 |
第六章 总结与展望 |
6.1 总结 |
6.2 展望 |
参考文献 |
附录 |
致谢 |
攻读学位期间参研项目与主要研究成果 |
(5)基于Petri网的CT扫描仪生产业务流程优化(论文提纲范文)
致谢 |
摘要 |
abstract |
1 绪论 |
1.1 研究背景和意义 |
1.2 研究内容和方法 |
1.3 研究技术路线 |
1.4 研究难点与创新点 |
2 基本概念与文献综述 |
2.1 基本概念 |
2.2 文献综述 |
3 CT扫描仪生产业务流程分析 |
3.1 CT扫描仪生产业务流程现状 |
3.2 CT扫描仪生产业务流程Petri网建模 |
3.3 CT扫描仪生产业务流程特性分析 |
3.4 本章小结 |
4 CT扫描仪生产业务流程优化 |
4.1 生产业务流程优化思路 |
4.2 生产业务流程优化方案设计 |
4.3 本章小结 |
5 CT扫描仪生产业务流程仿真 |
5.1 仿真软件及仿真步骤 |
5.2 优化前流程仿真准备 |
5.3 优化后流程仿真准备 |
5.4 仿真运行与结果分析 |
5.5 本章小结 |
6 研究总结与展望 |
6.1 研究总结 |
6.2 研究展望 |
参考文献 |
作者简历 |
学位论文数据集 |
(6)新一代民航运输系统安全韧性理论与方法研究(论文提纲范文)
摘要 |
abstract |
第一章 绪论 |
1.1 研究工作的背景与意义 |
1.2 国内外研究历史与现状 |
1.2.1 传统安全管理方法的研究现状 |
1.2.2 安全韧性方法的研究现状 |
1.3 本文的主要贡献 |
1.4 本文的结构安排 |
第二章 新一代民航运输系统安全韧性理论研究 |
2.1 新一代民航运输系统安全韧性模型 |
2.1.1 新一代民航运输系统的特点 |
2.1.2 新一代民航运输系统安全韧性定义 |
2.1.3 新一代民航运输系统安全韧性模型 |
2.2 新一代民航运输系统安全韧性评估 |
2.2.1 民航运输系统安全韧性评估方法 |
2.2.2 民航运输系统安全韧性评估原则 |
2.2.3 安全韧性的相关事故致因模型 |
2.3 新一代空管系统安全韧性分析框架 |
2.4 本章小结 |
第三章 基于CPN-STPA的空管系统危险分析方法研究 |
3.1 研究现状及问题形成 |
3.2 空中交通运行控制过程基本网络模型 |
3.2.1 空中交通运行控制过程建模要求 |
3.2.2 基本网模型定义与生成规则 |
3.2.3 扩展着色Petri网模型 |
3.2.4 管制席位Petri网建模 |
3.2.5 基本网络模型的替代规则 |
3.2.6 管制席位的离散化规则 |
3.3 空中交通运行控制过程PETRI网建模 |
3.3.1 空中交通运行控制过程 |
3.3.2 空中交通运行控制过程的顶层网络建模 |
3.3.3 实例验证 |
3.3.4 建模仿真与分析 |
3.4 基于CPN-STPA的空管系统危险分析方法 |
3.4.1 空管系统CPN控制结构模型 |
3.4.2 空管系统危险分析方法 |
3.4.3 验证与分析 |
3.5 本章小结 |
第四章 基于自然语言处理的空管系统危险源自动分类方法研究 |
4.1 研究现状及问题形成 |
4.2 基于改进的HFACS模型空管系统危险因素分类指标体系 |
4.2.1 空管系统危险源分类指标体系 |
4.2.2 空管系统危险源语料库 |
4.2.3 空管系统危险源初始关键词库 |
4.3 面向空管系统危险源的文本分类方法 |
4.3.1 基于改进的TFIDF-Text Rank关键词提取的文本分类方法 |
4.3.2 基于深度学习模型的文本分类方法 |
4.3.3 空管系统危险源的文本分类方法 |
4.4 实验与分析 |
4.4.1 数据集 |
4.4.2 评估指标 |
4.4.3 基于关键词提取的文本分类方法验证与分析 |
4.4.4 基于CNN模型的文本分类方法验证与分析 |
4.4.5 基于BERT模型的文本分类方法验证与分析 |
4.4.6 三种方法结果对比分析 |
4.5 本章小结 |
第五章 突发事件下机场网络韧性评估方法研究 |
5.1 研究现状及问题形成 |
5.2 机场网络结构特征分析 |
5.2.1 机场网络基本定义 |
5.2.2 机场网络的基本特征参数 |
5.2.3 机场网络结构特征 |
5.3 机场网络韧性评估方法 |
5.3.1 机场网络韧性概念 |
5.3.2 机场网络韧性度量方法 |
5.3.3 机场网络韧性评估流程 |
5.4 突发事件下机场网络韧性评估方法的验证与分析 |
5.4.1 预防与控制策略 |
5.4.2 数据集 |
5.4.3 韧性评估方法验证与分析 |
5.5 本章小结 |
第六章 全文总结与展望 |
6.1 全文总结 |
6.2 后续工作展望 |
致谢 |
参考文献 |
附录1 离场管制和进场管制运行控制过程示意图 |
附录2 基于改进HFACS模型的空管系统危险源分类指标体系 |
附录3 2020 年中国和欧洲机场的航班起降架次 |
攻读博士学位期间取得的成果 |
(7)基于Petri网的雨刮传动组件装配生产线控制优化(论文提纲范文)
摘要 |
abstract |
1 绪论 |
1.1 引言 |
1.2 国内外研究现状 |
1.2.1 装配生产线的工序节拍和平衡 |
1.2.2 基于Petri网的装配生产线平衡 |
1.2.3 装配生产线的故障诊断 |
1.3 本文的研究内容与目的 |
2 雨刮传动组件装配生产线系统需求分析 |
2.1 雨刮传动组件装配生产线工艺需求 |
2.1.1 雨刮传动组件装配设备要求 |
2.1.2 雨刮传动组件装配工艺分析 |
2.2 雨刮传动组件装配生产线产能需求 |
2.2.1 雨刮装配生产线节拍需求分析 |
2.2.2 雨刮装配生产线结构规划 |
2.3 雨刮传动组件装配生产线控制需求 |
2.3.1 雨刮装配生产线在线监测 |
2.3.2 雨刮装配生产线异常处理要求 |
3 基于Petri网的雨刮传动组件装配生产线建模仿真与优化 |
3.1 Petri网理论与仿真软件CPN Tools介绍 |
3.1.1 Petri网简介 |
3.1.2 CPN Tools仿真软件简介 |
3.2 雨刮传动组件装配生产线控制流程节拍优化 |
3.2.1 Petri网概率时间表示方法 |
3.2.2 基于Petri网的雨刮传动组件支线OP100各站建模 |
3.2.3 雨刮支线OP100的CPN仿真的颜色集变量声明 |
3.2.4 雨刮支线OP100的CPN模型仿真 |
3.2.5 雨刮支线OP100仿真优化分析 |
3.2.6 优化前后性能对比 |
3.3 雨刮传动组件装配生产线控制流程平衡率优化 |
3.3.1 基于Petri网的雨刮传动组件整线模型 |
3.3.2 OP800优化前仿真模型分析 |
3.3.3 生产线结构改进 |
3.3.4 优化前后性能对比 |
3.4 基于Petri网的软PLC过程监控诊断优化 |
3.4.1 从Petri网模型到软PLC控制系统模型 |
3.4.2 基于Petri网的软PLC控制系统程序设计 |
3.4.3 基于软PLC的过程监控故障甄别定位实现 |
4 雨刮传动组件装配生产线控制系统的设计与实现 |
4.1 雨刮传动组件装配生产线软PLC控制系统的基本介绍 |
4.1.1 雨刮传动组件装配生产线控制系统的基本原理 |
4.1.2 设备雨刮传动组件装配生产线控制系统基本要求 |
4.2 雨刮传动组件控制系统方案设计 |
4.3 雨刮传动组件装配生产线控制系统硬件设计 |
4.3.1 装配生产线控制系统硬件配置 |
4.3.2 装配生产线的现场总线 |
4.3.3 装配生产线控制系统站点分配和线体规划 |
4.4 雨刮传动组件装配生产线控制系统软件设计 |
4.4.1 雨刮传动组件装配生产线控制结构 |
4.4.2 雨刮传动组件装配生产线控制软件设计 |
4.5 装配生产线生产与优化结果验证 |
5 总结与展望 |
5.1 总结 |
5.2 展望 |
参考文献 |
附录 |
附录Ⅰ本人在攻读学位期间所取得的成果 |
致谢 |
(8)基于Petri网的提花龙头装配线建模仿真及节拍优化研究(论文提纲范文)
摘要 |
abstract |
1 绪论 |
1.1 课题背景及意义 |
1.2 国内外建模方法研究概况 |
1.2.1 国内基于Petri网建模仿真研究现状 |
1.2.2 国外基于Petri网建模仿真研究现状 |
1.2.3 国内外研究现状总结 |
1.3 论文主要研究内容 |
2 提花龙头装配线及节拍优化特点研究 |
2.1 提花龙头装配内容与特点研究 |
2.1.1 提花龙头自动化装配线工序设计 |
2.2 装配线评价指标研究 |
2.2.1 提花龙头装配线评价指标体系 |
2.2.2 装配线平衡指标 |
2.3 装配线优化目标研究 |
2.3.1 调度问题 |
2.3.2 生产节拍优化问题 |
2.4 装配作业时间的影响因素 |
2.4.1 人工经验对作业耗时的影响 |
2.4.2 机器故障对作业耗时的影响 |
2.5 小结 |
3 赋时变迁Petri网应用及节拍优化方法研究 |
3.1 Petri网概述 |
3.1.1 基础Petri网定义 |
3.1.2 基本Petri网的动态特性 |
3.2 赋时变迁Petri网定义及其使能规则 |
3.2.1 赋时变迁Petri网定义 |
3.2.2 赋时变迁Petri网发生条件 |
3.2.3 TTPN模型动态分析方法研究 |
3.3 提花龙头人工装配线建模分析示例 |
3.3.1 装配线TTPN模型建立 |
3.3.2 装配线模型分析 |
3.4 节拍优化方法研究 |
3.4.1 生产节拍优化算法 |
3.4.2 节拍均值优化算法示例 |
3.5 基于装配工序的TTPN建模分析研究 |
3.5.1 建立模型 |
3.5.2 装配工序TTPN模型特性分析 |
3.6 小结 |
4 提花龙头装配线建模与仿真方法和步骤研究 |
4.1 Witness仿真软件介绍 |
4.1.1 仿真系统元素 |
4.1.2 Witness建模步骤 |
4.2 装配线建模仿真流程 |
4.3 提花龙头装配线建模仿真技术研究 |
4.3.1 模型对照关系 |
4.3.2 元素对照关系 |
4.4 小结 |
5 实验验证与结果分析 |
5.1 建立装配线TTPN模型 |
5.1.1 数据采集 |
5.1.2 装配线TTPN模型建立及动态特性分析 |
5.2 建立装配线Witness仿真模型 |
5.2.1 仿真结果分析 |
5.2.2 优化方案 |
5.3 搭建实验装配线 |
5.4 小结 |
6 总结与展望 |
6.1 全文总结 |
6.2 展望 |
参考文献 |
附录 |
致谢 |
(9)基于Petri网的单元控制系统及编程研究(论文提纲范文)
1 引言 |
2 舱体制造单元 |
2.1 产品工艺流程 |
2.2 单元的生产制造流程分析 |
3 基于Petri网的制造单元建模 |
3.1 Petri网 |
3.2 Petri网模型的仿真与分析 |
4 面向Petri网的PLC程序设计方法 |
4.1 PLC功能块设计 |
4.2 Petri网基本控制模型的PLC程序实现 |
4.3 基于Petri网模型的PLC程序设计 |
5 单元控制系统的可视化模拟与验证 |
6 结束语 |
(10)列控安全计算机分区软件的形式化建模与验证方法研究(论文提纲范文)
致谢 |
摘要 |
ABSTRACT |
术语表 |
1 引言 |
1.1 研究背景 |
1.2 安全计算机的综合模块化 |
1.2.1 安全计算机简介 |
1.2.2 安全计算机发展趋势 |
1.2.3 分区的概念及意义 |
1.3 形式化方法 |
1.3.1 形式化方法分类 |
1.3.2 形式化方法选择 |
1.4 选题意义 |
1.5 论文结构与写作安排 |
2 列控安全计算机分区软件研究综述 |
2.1 安全计算机分区软件 |
2.1.1 分区软件结构 |
2.1.2 分区隔离机制 |
2.1.3 分区软件特性 |
2.2 分区软件形式化研究的需求 |
2.2.1 形式化研究的必要性 |
2.2.2 分区软件的建模和验证需求 |
2.3 研究现状 |
2.3.1 形式化证明 |
2.3.2 时间Petri网 |
2.4 存在的问题 |
2.2.1 安全性方面 |
2.2.2 实时性方面 |
2.2.3 可调度性方面 |
2.5 本章小结 |
3 基于并发分离逻辑的分区并行程序安全性验证 |
3.1 并行程序安全性 |
3.2 基于事务内存的安全机制设计 |
3.3 并行程序安全机制验证 |
3.3.1 不变式证明 |
3.3.2 并发分离逻辑 |
3.3.3 安全性的验证方法 |
3.4 抽象机模型设计 |
3.5 推理规则的定义 |
3.6 可靠性证明 |
3.7 实验验证 |
3.7.1 平台搭建 |
3.7.2 验证结果与分析 |
3.8 本章小结 |
4 基于随机时间Petri网的分区通信实时性验证 |
4.1 分区通信 |
4.1.1 通信网络 |
4.1.2 通信管理机制 |
4.1.3 时延分析 |
4.1.4 数据类型 |
4.2 随机时间Petri网 |
4.2.1 随机Petri网相关概念 |
4.2.2 连续时间马尔科夫链的求解 |
4.2.3 网络性能关键参数的求解 |
4.2.4 随机时间Petri的定义 |
4.3 随机时间Petri网瞬态分析算法 |
4.3.1 随机状态类的定义 |
4.3.2 通过枚举类的状态空间分析 |
4.3.3 基于马尔科夫再生理论的瞬态概率的计算 |
4.3.4 算法实例及验证 |
4.4 分区通信模型建立 |
4.5 分区通信模型分析 |
4.5.1 参数选取及量化指标 |
4.5.2 结果分析 |
4.6 实验验证 |
4.6.1 平台搭建 |
4.6.2 验证结果与分析 |
4.7 本章小结 |
5 基于带有优先级时间Petri网的分区可调度性验证 |
5.1 实时调度 |
5.1.1 实时系统及相关概念 |
5.1.2 实时调度算法 |
5.2 分区调度的时域模型 |
5.3 带有优先级时间Petri网 |
5.3.1 定义 |
5.3.2 基于状态空间枚举的分析算法 |
5.4 双层调度模型建立 |
5.5 双层调度模型分析 |
5.5.1 复杂度分析 |
5.5.2 验证结果 |
5.6 实验验证 |
5.6.1 平台搭建 |
5.6.2 验证结果与分析 |
5.7 本章小结 |
6 结论 |
6.1 论文工作总结 |
6.2 未来工作展望 |
参考文献 |
图索引 |
表索引 |
作者简历及攻读博士学位期间取得的研究成果 |
学位论文数据集 |
四、Petri网模型的程序仿真(论文参考文献)
- [1]基于受控日志的过程挖掘及优化[D]. 邵叱风. 安徽理工大学, 2021(02)
- [2]基于随机模型的移动目标防御效能量化分析[D]. 陈志. 北京交通大学, 2021(02)
- [3]基于供应链协同的J公司采购优化问题研究[D]. 卢宇彩. 山东财经大学, 2021(12)
- [4]多品种晶圆重入加工的双臂组合设备调度分析[D]. 付锦超. 江西理工大学, 2021
- [5]基于Petri网的CT扫描仪生产业务流程优化[D]. 朱红阳. 中国矿业大学, 2021
- [6]新一代民航运输系统安全韧性理论与方法研究[D]. 郭九霞. 电子科技大学, 2021(01)
- [7]基于Petri网的雨刮传动组件装配生产线控制优化[D]. 钱瑞. 武汉纺织大学, 2021(01)
- [8]基于Petri网的提花龙头装配线建模仿真及节拍优化研究[D]. 郭一君. 武汉纺织大学, 2021(01)
- [9]基于Petri网的单元控制系统及编程研究[J]. 孔志学,黄飘,穆英娟,李凌霄. 航天制造技术, 2020(06)
- [10]列控安全计算机分区软件的形式化建模与验证方法研究[D]. 张玉琢. 北京交通大学, 2020(02)