一、基于Petri网的数据库逻辑设计方法(论文文献综述)
阮晴[1](2021)在《基于区块链的社交平台的设计与实现》文中指出随着移动互联网的快速发展,在线社交成为人与人之间交流的一种重要方式。尤其是在最近的几年,凭借着庞大的用户群体,微博、Twitter、Facebook等社交网络平台获得了巨大的商业价值,但是为平台作出贡献的活跃用户及优质内容的发布者却未得到应有的收益。此外,在传统的网络社交平台中,用户在平台上产生的数据都由中心服务器进行存储,平台可以获取用户的所有信息,这种中心化的数据存储方式,存在着用户信息泄露和数据被恶意篡改的隐患。基于以上问题,本文将区块链技术应用于社交网络领域,希望利用区块链的对等网络、共识算法、非对称加密等技术来弥补传统社交网络中用户数据被恶意篡改、信息不可溯源、用户信息泄露和奖励机制匮乏等问题。本文设计并实现了基于区块链的社交平台,在功能方面本系统主要包括四个模块,分别是用户个人信息管理模块、博客模块、时间胶囊模块和钱包管理模块。另外本系统中还引入了奖励机制,分为推广奖励和打赏奖励,用户通过对喜欢的内容进行打赏,使优秀原创作者能够得到应有的奖励,也使更多的用户愿意加入到社交平台中共享优质原创内容。在性能方面,考虑到区块链相对于本地关系型数据库存在存储效率低且代价高的问题。本文在设计存储方案时将本地数据库、区块链和IPFS技术结合起来,设计了一种混合存储方案,该方案充分保留了各类数据库的优点,既保证了数据可信度,又使数据的读写效率得到了保障。系统中各个模块的业务逻辑都被编写在智能合约中,然后部署在区块链上。由于智能合约具有自动执行、无第三方监督且一旦部署无法再修改的特点,所以为了避免将带有漏洞的智能合约部署在区块链上,在部署之前对智能合约进行安全性验证是非常有必要的。本文对智能合约安全性验证也进行了相关研究和实验,主要包括两个方面,分别是基于Petri网技术的智能合约业务流程验证和基于符号执行技术的智能合约代码漏洞检测,通过业务逻辑层面和高级语言层面的双层验证,很大程度上降低了智能合约发生安全事件的概率。
钱瑞[2](2021)在《基于Petri网的雨刮传动组件装配生产线控制优化》文中研究指明在经济全球化和社会信息化的今天,产品竞争日趋激烈,要求企业不但能根据市场的要求快速设计出新产品,而且能柔性化生产多样化的产品。本文以某公司新建雨刮传动组件装配生产线为研究对象,在设计与制造阶段,采用建模与仿真方法,对装配生产线的工序节拍、生产线结构平衡利用率、故障停工时间进行了优化。首先分析了雨刮传动组件装配生产线设计、产能、控制需求,采用分层有色Petri网理论,使用CPN Tools软件对雨刮传动组件装配生产线工序流程进行建模、仿真,分析了生产线各工作站工序、生产线装配流程对生产线性能的影响。然后,针对装配工艺存在的问题,使用分层有色Petri网进行控制流程优化,改进了生产线工序结构、生产线控制工序方案以及生产线装配的机械结构,提高了生产线的工序节拍和生产平衡。使用Petri网的控制流程模型,结合软PLC模块化编程框架,采用一种基于Petri网的软PLC在线过程监控与诊断方法,对生产线的打断及故障进行快速定位、甄别,降低了装配生产线的停机时间。研究表明,基于Petri网的仿真模型可以对雨刮传动组件装配生产线进行控制优化,论文的研究成果在武汉某公司的雨刮传动组件装配生产线得到成功应用,有效地提高了装配生产线的生产效率,减少了企业生产成本,能够满足企业的自动化装配生产需求,研究成果具有一定的理论意义和实用价值。
郑业强[3](2020)在《基于随机Petri网工作流建模及其在学生工作管理信息系统的优化与实现》文中指出针对高校学生工作管理的需求,以及提高工作效率的目标,本文基于随机Petri网工作流建模,对学生工作管理信息系统进行建模,并对其进行相应的优化。基于随机Petri网的工作流模型的设计方法,建立了学生信系管理系统,涵盖学生用户登录、评奖评优、学生资助、公寓管理、勤工俭学、学生信息以及违纪处理等学生在校日常事务功能模块。本文基于Petri分析建模,是基于图形来直观地对工作的具体流程进行相关描述,使得建模变的更为直观和简单,方便优化相关环节。本文结合高校各学生事务工作,对学生事务流程进行分析,并对传统学生工作管理信息系统进行建模,优化各项工作流程,提高学生工作管理效率。该系统功能丰富、可靠性强,对高校学生日常事务的处理效率有很大的提高。该系统时效性高、可靠性好,可解决使用传统手工方式进行办公和管理存在的效率低、流程不规范、监控不到位等问题,保障了高校学生各项事务的顺利进行,提高了高校学生管理工作的效率,推进了高校信息化建设的步伐,加快了高校的现代化管理进程。
张威强[4](2020)在《心血管健康管理方案知识库构建及个性化方案智能生成与量化研究》文中指出当前,中国心血管病的患病率和死亡率仍处于上升阶段,权威报告显示,全国心血管患病人数超过2.9亿,每5例死亡者中就有2例死于心血管病。因此,心血管疾病已经成为我国人民健康的头号“杀手”,防治工作刻不容缓。社会发展与众多医学实践表明:以预防保养、实时监控和个性化为主的智能健康管理,不仅是一种通行的健康解决方案,也是应对心血管疾病这一类慢性疾病的有效策略。互联网的快速发展和广泛普及为知识共享提供了机会,也为个性化健康管理的实现提供了支撑。随着互联网技术取得巨大进步,基于网络的健康管理知识也呈现爆炸式增长。然而,由于这些海量且免费的健康知识来源众多、数量庞大、准确性参差不齐,表达方式也各有不同,使得人们很难找到真正适合个体所需的高质量的健康管理知识。目前国内外有很多基于互联网的公众健康管理系统及应用,但这些系统平台发布的健康管理知识大多是定性化和通用化的,定量化和个体针对性不足,也缺乏清晰的实施操作步骤和流程,导致用户实际上无法有效利用这些知识进行自我健康管理。基于此,本文尝试构建一个基于心血管病领域的知识库模型来规范和表示领域内的健康管理方案知识。然后,基于设计的领域本体知识库模型,本文结合个体健康特征、环境特征和个体其它相关特征,进一步研究个性化健康管理方案的智能生成算法。最后,根据智能生成的定性的运动方案和饮食方案,研究个性化运动和饮食方案的定量化模型。本文还邀请了领域专家对基于患者案例生成的个性化健康管理方案进行了评价,评价结果证明了个性化方案智能生成和方案量化的有效性和科学性。本文的主要创新点如下:第一,本文总结归纳了心血管疾病领域与健康管理相关的关键概念,提出并构建了一整套基于领域本体的健康管理方案知识库模型,弥补了目前国内在这个领域的研究不足,有助于实现对多源异构的健康管理知识的过滤、抽取、逻辑化和结构化。此外,考虑到心血管病的各种致病危险因素,以往仅局限于疾病与用药的领域本体并不能很好地满足大众个性化的健康管理需求。因此,本文构建了健康管理方案本体和健康管理方案实施本体,同时补充了领域内的其他关键本体,如食材、菜谱、运动等基础本体,还包含了大量与个体健康特征相关的本体和属性。本文构建的领域本体库是一套基于心血管病领域,完全以大众个性化健康管理为目标的知识库模型,同时它也是一项基础性研究,未来可以在与健康管理相关的场景中得到广泛应用。第二,本文将模糊Petri网络应用于健康管理领域,采用矩阵运算的并行推理方法进行健康管理方案的智能生成,解决了大规模知识推理的效率问题。提出的方案推荐算法充分考虑了个体健康特征、个体所处的自然环境和社会环境特征,能挖掘用户忽视或遗漏的某些健康特征信息或其他特征信息,同时能识别和处理知识推理过程中出现的矛盾或冲突规则,保证了方案推荐结果的有效性和科学性。对于饮食方案,推荐算法在考虑了个体收入水平、饮食偏好、饮食禁忌等信息的基础上,对饮食集做了进一步筛选与排序。而且,本文还结合中国居民平衡膳食宝塔所推荐的九种饮食类别对饮食做了分类推荐,不仅强调了饮食的个性化,而且兼顾了饮食种类的多样性和平衡性。第三,没有明确运动时间的定性运动方案既不足以支撑实施个性化健康管理,也不能保证运动的有效性和科学性。本文在定性的运动方案基础上,遵循每日能量总消耗与每日膳食能量总摄入的差值最接近每日推荐能量净消耗的原则,构建出了个性化运动方案的非线性规划模型,求解该模型即得到定量化的运动时间。该运动时间也是后续饮食方案定量化的重要输入参数,从而保证了运动量化与饮食量化的紧密联系。第四,没有明确的膳食摄入量的定性饮食方案无疑将降低个性化健康管理方案的可操作性和个体的依从性,也不能确保每日膳食能量摄入的科学性。本文在定性的饮食方案的基础上,基于运动方案量化的结果,遵循饮食能量摄入与按目标BMI计算的每日能量总消耗相平衡原则,以中国居民平衡膳食宝塔的九种饮食类别的推荐摄入量作为模型约束条件,构建出了个性化饮食方案的目标规划模型。运动量化和饮食量化相互依存,模型更科学、合理。本研究基于本体理论、知识管理理论、优化理论,结合运动医学、营养学相关研究成果,提出并构建了一整套个性化健康管理方案领域知识库模型。在此基础上,设计了一套知识推理方法和算法,可以智能生成满足用户个性化需求的健康管理方案。同时,针对运动和饮食这二种最普遍的健康干预方案,实现了定性到定量化模型的转换,大大提升了健康管理方案的可操作性、有效性和准确性。
王晶[5](2020)在《基于工作流的高校跨部门协同业务管理系统的研究与实现》文中提出顺应“互联网+”趋势,利用先进的信息技术提升管理效率和管理服务质量是高校信息化建设的方向,也是建设一流大学的战略选择。随着高校业务管理逐步从“独立应用”演变为“互联互通”,各职能单位也由“各自为政”转向“协同管理”,各部门独立建设的管理系统已无法满足日益增长的跨部门协同业务需求,由此引出的管理问题亟待解决。为了解决原有独立系统业务覆盖不均衡、数据无法共享,多部门协同业务流程不清晰、职责不明确等问题,建设高校跨部门协同业务管理系统,提供一个线上集中办理审批业务和服务事项的窗口,为广大师生提供高效率、规范化的业务流程服务。论文通过梳理高校业务管理现状和实际存在的跨部门协同业务需求,研究了相关技术理论和方法,采用软件工程理论设计并实现了一套基于工作流的高校跨部门协同业务管理系统。本文主要工作如下:(1)分析高校信息化建设发展现状和存在问题,对课题相关国内外研究现状做简要综述;(2)研究系统开发相关技术,重点研究工作流技术在系统中的应用;(3)立足高校业务管理现状,为系统做功能性和非功能性需求分析;(4)设计系统总体架构和技术架构,运用数据集成技术完成数据标准库建设,采用基于Web服务的云工作流引擎完成系统实施,对工作流模型映射为Petri网模型进行研究和验证,通过应用实例完整展现跨部门协同业务流程设计和实现过程;(5)设计测试用例,完成系统功能测试工作,以保证上线流程可以充分满足用户使用需求。系统开发上线的业务流程经过实际运行使用,能够满足高校跨部门协同业务线上办理需要,并明显提升业务办理效率,改善了服务体验。
陈金栋[6](2020)在《基于逻辑工作流网的有限组合研究》文中研究指明如今,业务流程管理(BPM)技术已得到发展,并已在小规模和大规模应用。有许多公司和组织实施了面向业务流程的信息系统。通过对已有的业务流程进行组合,可以形成更强大,适应性更强的业务流程。业务流程(BP)可以通过的Web服务操作形式组合在一起。为了在没有死锁的情况下组成业务流程,我们需要限制合作伙伴业务流程的行为。对于不希望公开内部流程的业务流程,尽管已经存在使用现有方法限制合作伙伴业务流程的方法,但是它无法处理包含批处理功能和传递值不确定性的业务流程。本文基于此研究意义,研究了基于逻辑工作流网进行工作流模型构建和分析的理论,即在工作流管理系统设计时,根据其运行特点和优势提出了有限组合概念,并结合逻辑工作流网进行模型无死锁分析。本文的主要研究工作可以归纳为以下几点:(1)针对逻辑工作流网的组合,根据逻辑变迁的传值不确定性以及逻辑工作流网组合的特点,引入多重集定义了新的状态转换图,并定义了状态转换图的基本性质,状态转换图的组合,状态转换图之间的映射,生成状态转换图的算法和为分析逻辑工作流网所提出的K映射与状态赋值。根据K映射与状态赋值,可以判断组合逻辑工作流网的死锁。(2)针对流程组合,传递消息的中介是具有容量上限的。对于现有的逻辑工作流网的组合,通过添加数据库所的约束条件,定义了逻辑工作流网的两类有限组合。有限组合更加符合现实中资源有限的特点,具有更好的可理解性,在一定程度上简化了死锁判断的难度。根据逻辑工作流网的两类组合,定义了状态转换图的有限组合,可以借用状态转换图的有限组合分析逻辑工作流网的有限组合。(3)基于状态转换图,根据状态赋值,可以计算得出某一状态的死锁情况,结合状态转换图组合时的对称特点,提出了标准状态转换图的概念。借助标准状态转换图,根据状态转换图之间的映射性质,提出了有限组合逻辑工作流网的无死锁判断方法。最后,使用一个简单的电子商务流程说明了无死锁判断方法。
张志豪[7](2020)在《扩展逻辑Petri网及其在故障诊断与维护中的应用》文中认为随着工业信息化的发展,Petri网被广泛运用于故障诊断与维护过程建模。运用Petri网能够直观的、动态的描述故障诊断与维护过程,并对故障诊断与维护过程进行分析,从而提高故障检测的效率。但在实际的故障诊断过程中,Petri网缺乏对故障诊断过程中存在的不确定性信息和模糊性信息进行动态的,可视化行为分析。因此针对上述问题我们首先提出模糊逻辑Petri网。针对故障的传播性,我们提出可达性分析算法和公平性分析算法,并对故障信息的传播路径进行模拟论证。然后,为了提高故障维护效率,提出变迁赋时逻辑Petri网,对故障维护系统的时效性进行分析。最后,通过对离心式压缩机故障诊断与维护过程分别进行建模与分析,验证了该方法的有效性和可行性,提高了故障诊断与维护过程的准确性和高效性。本文主要研究内容如下:(1)针对复杂系统故障传播和故障分析的模糊性和不确定性,在逻辑Petri网和模糊Petri网的理论基础上,根据逻辑Petri网的传值不确定性以及模糊Petri网对模糊信息的表示和推理能力的特点,提出模糊逻辑Petri网的概念及推理规则,考虑不同故障源对故障的影响程度,将概率信息引入模糊逻辑Petri网,对故障源赋予置信度,使故障诊断过程更符合实际。(2)利用模糊逻辑Petri网对故障诊断系统进行建模,同时,模糊逻辑Petri网描述了系统故障状态之间的逻辑关系,并给出相应的模型简化规则,简化了系统模型的表达形式,具有良好的封装性、重构性和可维护性,在一定程度上缓解了状态组合空间爆炸问题。针对故障的传播性,提出可达性分析算法和公平性分析算法对故障信息的传播路径进行模拟论证,进一步提高了故障诊断效率。(3)在实际的故障维护过程中,系统中某一故障维护开始时间和结束时间,以及该故障维护的持续时间,都会对故障维护产生一定的影响。为了提高故障维护效率,本文提出变迁赋时逻辑Petri网及其引发规则,变迁赋时逻辑Petri网将时间因素添加到变迁上,建立故障维护模型并对故障维护过程的时效性进行分析,并通过仿真工具对故障维护过程的时效性进行验证。
魏国振[8](2020)在《扩展概率Petri网及其在交通拥塞控制中的应用》文中研究说明交通拥塞问题在智能交通领域中越来越受到重视,如何快速排查和分析导致交通拥塞的因素,解决交通拥塞下的路径寻优问题是研究智能交通的重点内容。Petri网能够动态和直观的描述交通运输流程,但对交通拥塞中出现的随机服务过程的描述仍存在一些不足,因此本文结合排队论提出了扩展概率Petri网的概念。扩展概率Petri网能对交通拥塞问题进行很好的动态分析,又能对交通拥塞问题进行准确的描述。因此本文研究的主要内容如下:(1)针对智能交通中的交通拥塞控制问题,首先提出了扩展概率Petri网,将库所中的托肯分两类:一类称为割集库所,另一类称为普通库所。对变迁的发生赋予变迁输入确信度函数、输出确信度函数和确信度函数,并计算托肯从库所到变迁的确信度大小。(2)其次在分析导致交通拥塞因素的基础之上,用扩展概率Petri网逆向推理矩阵计算导致交通事故因素的数值。建立基于扩展概率Petri网的交通拥塞模型,提出交通拥塞情况下的路径选择策略,并对蚁群算法进行改进以解决交通拥塞情况下的路径优化问题。此外,通过改进蚁群算法,在状态转移规则下添加下一步转移蚂蚁数量。将随机搜索机制和确定搜索机制相互结合,减小了改进蚁群算法的搜索空间,解决了算法容易过早陷入局部最优和收敛速度慢的问题。(3)最后进行Matlab仿真实验,计算发生交通拥塞时路径寻优时间和精确度,并与现有的路径优化算法相对比,以验证改进蚁群算法的高效性和可行性。实验结果证明了改进蚁群算法在解决交通拥塞时的高效和快捷。在发生交通拥塞时,改进蚁群算法能够解决驾乘人员对现有路径选择的随机性问题和经验依赖性问题,为交通管理部门和驾乘人员提供路线规划和路径选择支持,有效解决了交通拥塞问题。
张兆宇[9](2020)在《支持时间资源约束的工作流管理系统研究》文中研究说明工作流技术是多年来计算机应用领域中的热点,如何利用、处理工作流中的时间与资源信息则是工作流领域内的热门研究分支。虽然在此领域内已经存在一些相关的理论研究,但在工作流产品方面,市面上现有的工作流引擎与相关软件系统对时间信息处理的支持并不完善。在工作流管理系统中,流程定义阶段缺乏对与流程时态信息与资源信息建模、描述的支持,相关配套工具和功能也并不完善。针对上述问题,本文就工作流管理系统中时间资源约束信息的建模、分析与处理进行研究与扩展,研究并实现了一种支持时间资源约束的工作流管理系统TRFlow。本文首先对BPMN流程定义语言进行时态扩展。基于BPMN2.0的元模型,将业务流程中的时态约束与时态依赖这两种时间约束类型扩展到BPMN流程定义语言中。同时通过分析,对遵循BPMN流程建模规范的开源流程设计器BPMN.js进行同步的扩展,使其具备对工作流中时间资源约束进行描述与定义的能力,为TRFlow提供了支持时间资源约束建模的可视化流程设计器。本文基于现有的研究,提出了一种R/NTWFG有向图模型。使用此模型对受时间资源双重约束的工作流进行时间属性计算与分析,为系统中在资源约束下的流程时间属性处理与监控提供了方法基础。在上述研究基础上,进行系统总体设计与详细设计。使用Django Web框架,整合以有限状态机为内核的Viewflow开源工作流库,实现了支持时间资源约束的工作流管理系统 TRFlow。最后以公司企业人员出境流程为应用示例,展示了系统的功能与运行情况;通过与其他主流工作流产品和软件的对比,总结了 TRFlow的特点和创新性。
余敬芝[10](2020)在《基于Petri网的地铁信号系统故障传播建模研究》文中进行了进一步梳理随着城市轨道交通的快速发展,地铁运营间隔在不断的缩短,对运营安全性的要求也越来越严苛。地铁信号系统结构和功能的网络性,使其各个子系统之间和子系统内部组件间表现为多重交叉耦合关系。一个或少数几个组件或者它们之间的连接部件发生局部故障时,位于子系统内的局部故障会通过连接部件的耦合关系向同层次或其它子系统扩散、传播,引发更多的故障。随着故障不断积累、扩大,将会导致系统功能丧失,影响地铁正常运营,严重时造成事故。目前的故障处置多依据人工经验,而忽略或很少使用到积累下来的大量故障数据,造成在进行故障处置时可能存在定位不准、定位不全面、定位耗时长等问题。因此,提出结合历史故障数据,研究一种故障传播建模的方法,仿真故障传播路径,评价故障传播路径风险、推理故障诊断过程,对实现故障传播智能化分析有一定的意义。论文主要的工作包括:(1)搭建层次化功能-失效模型针对信号系统故障所具备的结构层次属性和层次性传播的特点,基于大量故障信息,对其故障模式、故障逻辑关系进行梳理,总结信号系统故障传播特点和故障繁衍规则,搭建层次化的功能-失效模型,为故障传播Petri网模型的建立奠定结构基础。(2)采用关联规则算法挖掘故障关联关系通过选定故障特征词,将自然语言记录的故障数据转换为故障矢量文本的形式化描述,利用关联规则算法挖掘故障数据,获取表征设备故障的关联规则;支持度、置信度参数对应故障类型(模式)与故障特征、故障特征与关联规则两两之间的关联关系,为故障传播Petri网模型的建立奠定参数基础。(3)故障传播Petri网模型分析以功能失效模型为指导框架,结合关联规则挖掘出的支持度、置信度参数,借用库所、变迁、弧、辅助库所、变迁点火规则等表达信号系统组件间的功能-失效逻辑关系。引入托肯、库所、变迁染色规则,结合模糊产生式规则对不确定性信息进行表达,搭建故障传播Petri网模型。制定故障传播Petri网模型的正向搜索故障传播算法,得到故障传播路径,引入平均影响值评价故障路径风险。制定故障传播Petri网模型的反向推理故障诊断算法,推理故障源头,指导系统故障时的故障处置工作。以车载ATP为研究对象,验证模型及算法的正确性。图44幅,表21个,参考文献52篇。
二、基于Petri网的数据库逻辑设计方法(论文开题报告)
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、基于Petri网的数据库逻辑设计方法(论文提纲范文)
(1)基于区块链的社交平台的设计与实现(论文提纲范文)
摘要 |
ABSTRACT |
1 绪论 |
1.1 选题背景与研究意义 |
1.2 国内外研究现状 |
1.2.1 区块链社交平台 |
1.2.2 智能合约安全 |
1.3 论文工作与结构安排 |
1.3.1 论文工作 |
1.3.2 论文结构安排 |
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 非对称加密 |
2.4 开发技术 |
2.4.1 Redis |
2.4.2 Springboot |
2.4.3 Vue.js |
2.4.4 星际文件系统IPFS |
2.5 本章小节 |
3 系统设计 |
3.1 总体设计 |
3.1.1 系统技术架构 |
3.1.2 区块链平台选择 |
3.2 需求分析 |
3.2.1 功能性需求 |
3.2.2 非功能性需求 |
3.3 功能模块设计 |
3.3.1 用户管理模块 |
3.3.2 博客管理模块 |
3.3.3 时间胶囊模块 |
3.3.4 钱包管理模块 |
3.4 存储方案设计 |
3.5 数据库设计 |
3.6 智能合约设计 |
3.7 本章小节 |
4 智能合约安全性验证 |
4.1 基于Petri网技术的智能合约业务流程验证 |
4.1.1 Petri网定义 |
4.1.2 验证策略 |
4.1.3 时间胶囊智能合约业务流程验证 |
4.2 基于符号执行技术的智能合约漏洞检测 |
4.2.1 漏洞检测策略 |
4.2.2 检测结果分析 |
4.3 本章小节 |
5 基于区块链的社交平台的实现与测试 |
5.1 系统环境 |
5.2 区块链平台与IPFS环境搭建 |
5.2.1 区块链平台搭建 |
5.2.2 IPFS平台搭建 |
5.3 系统功能实现 |
5.3.1 用户信息管理模块 |
5.3.2 博客模块 |
5.3.3 时间胶囊模块 |
5.4 系统功能测试 |
5.4.1 用户注册登录功能测试 |
5.4.2 钱包管理功能测试 |
5.5 本章小节 |
6 总结与展望 |
6.1 论文总结 |
6.2 展望 |
参考文献 |
攻读学位期间的研究成果 |
致谢 |
(2)基于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 展望 |
参考文献 |
附录 |
附录Ⅰ本人在攻读学位期间所取得的成果 |
致谢 |
(3)基于随机Petri网工作流建模及其在学生工作管理信息系统的优化与实现(论文提纲范文)
摘要 |
ABSTRACT |
第一章 绪论 |
1.1 研究背景、目的及意义 |
1.2 国内外研究现状 |
1.3 研究内容 |
1.4 课题研究方法与技术路线 |
1.4.1 研究方法 |
1.4.2 技术路线 |
1.5 论文的组织结构 |
第二章 工作流简介及Petri网建模理论分析 |
2.1 Petri网简介 |
2.1.1 Petri网的概念 |
2.1.2 Petri网的相关定义 |
2.1.3 Petri网的结构特性 |
2.2 工作流技术 |
2.2.1 工作流技术概述 |
2.2.2 工作流基本要素 |
2.2.3 工作流技术参考模型 |
2.2.4 工作流参考模型 |
2.3 小结 |
第三章 基于Petri网的工作流模型设计 |
3.1 系统工作体系 |
3.2 流程设计 |
3.2.1 基于系统管理员的流程设计 |
3.2.2 基于普通用户的流程设计 |
3.3 工作流过程建模 |
3.3.1 模型定义 |
3.3.2 基于Petri网的工作流模型设计 |
3.4 控制模型设计 |
3.4.1 流程定义解析设计 |
3.4.2 流程实例导航设计 |
3.4.3 流程实例管理设计 |
3.4.4 数据组织方式 |
3.5 小结 |
第四章 基于工作流的学生管理系统的设计与实现 |
4.1 系统架构设计 |
4.2 系统架构类图 |
4.3 系统交互图 |
4.3.1 系统架构类交互图 |
4.3.2 系统协作图 |
4.3.3 系统状态图 |
4.4 系统功能模块图 |
4.5 控制模型及系统功能的实现 |
4.5.1 控制模型的实现 |
4.5.2 系统功能的实现 |
4.6 某高校学生奖助学金申请流程设计 |
4.7 各个模块设计实现 |
4.7.1 系统登录模块 |
4.7.2 评奖评优模块 |
4.7.3 学生资助模块 |
4.7.4 公寓管理相关模块 |
4.7.5 勤工俭学模块 |
4.7.6 学生信息模块 |
4.7.7 违纪处理模块 |
4.8 本章小结 |
第五章 系统测试 |
5.1 单元测试 |
5.1.1 用户登录测试 |
5.1.2 用户密码修改测试 |
5.1.3 学生选课管理测试 |
5.1.4 工作流测试 |
5.1.5 其他子系统测试 |
5.2 系统性能测试 |
5.3 系统测试结论 |
5.3.1 缺陷和限制 |
5.3.2 测试结论 |
5.4 本章小结 |
第六章 总结与展望 |
参考文献 |
致谢 |
攻读学位期间发表论文情况 |
(4)心血管健康管理方案知识库构建及个性化方案智能生成与量化研究(论文提纲范文)
摘要 |
ABSTRACT |
第一章 绪论 |
1.1 研究背景 |
1.2 研究目的及意义 |
1.3 研究内容与创新点 |
1.4 研究方法与技术路线图 |
1.5 论文的组织结构 |
第二章 文献综述 |
2.1 健康管理知识库 |
2.2 知识推理 |
2.3 个性化健康管理方案定量化 |
2.4 本章小结 |
第三章 个性化健康管理方案领域本体库构建 |
3.1 本体建模方法 |
3.1.1 本体内涵 |
3.1.2 建模方法 |
3.2 领域本体知识库模型构建 |
3.2.1 明确本体应用目标 |
3.2.2 确定核心知识源 |
3.2.3 归纳顶层概念 |
3.2.4 本体详细设计 |
3.2.5 本体建立与检验 |
3.2.6 知识库模型评估 |
3.3 健康管理方案的本体实例 |
3.4 健康管理方案实例相似度 |
3.4.1 属性分类 |
3.4.2 相似度计算 |
3.4.3 相似度计算实例 |
3.5 本章小结 |
第四章 心血管健康管理方案知识库系统 |
4.1 设计方法 |
4.2 核心需求 |
4.3 系统设计 |
4.3.1 系统架构设计 |
4.3.2 基本功能设计 |
4.3.3 业务流程设计 |
4.3.4 数据库设计 |
4.4 知识库系统实现 |
4.5 领域本体知识库模型验证与更新 |
4.6 本章小结 |
第五章 个性化健康管理方案智能生成 |
5.1 健康管理方案Petri网络 |
5.2 个性化方案智能生成 |
5.2.1 Step1:构建推理网络 |
5.2.2 Step2:设置初始状态向量 |
5.2.3 Step3:知识推理 |
5.2.4 Step4:饮食方案筛选与排序 |
5.2.5 Step5:健康管理方案输出 |
5.3 应用实例 |
5.4 本章小结 |
第六章 个性化运动和饮食方案定量化 |
6.1 方案量化概述 |
6.2 运动方案量化模型 |
6.3 饮食方案量化模型 |
6.4 方案迭代 |
6.5 应用实例 |
6.5.1 运动方案定量化实例 |
6.5.2 饮食方案定量化实例 |
6.6 方案评价 |
6.7 菜谱智能推荐 |
6.7.1 菜谱推荐概述 |
6.7.2 智能推荐模型 |
6.7.3 应用实例 |
6.8 本章小结 |
第七章 总结与展望 |
参考文献 |
附录 |
附录一. 常见活动代谢当量表 |
附录二. 中国居民平衡膳食宝塔 |
附录三. 健康管理方案知识库系统数据表结构 |
附录四. 健康管理方案知识库系统典型界面 |
附录五. 心血管疾病患者案例及个性化健康管理方案 |
附录六. 个性化健康管理方案评价表 |
致谢 |
攻读博士学位期间已发表或录用的论文 |
(5)基于工作流的高校跨部门协同业务管理系统的研究与实现(论文提纲范文)
摘要 |
Abstract |
1 绪论 |
1.1 研究背景与意义 |
1.2 国内外研究现状 |
1.3 研究内容与组织结构 |
1.4 本章小结 |
2 相关技术介绍 |
2.1 工作流技术 |
2.2 数据集成技术 |
2.3 NoSQL数据库技术 |
2.4 Java Web技术 |
2.5 本章小结 |
3 系统需求分析 |
3.1 管理现状及需求调研 |
3.2 系统功能性需求分析 |
3.3 系统非功能性需求分析 |
3.4 本章小结 |
4 系统设计与实现 |
4.1 系统总体架构设计 |
4.2 系统功能模块设计 |
4.3 系统技术架构设计 |
4.4 数据标准库设计 |
4.5 基于Web服务的云工作流引擎 |
4.6 工作流模型与Petri网的映射研究与验证 |
4.7 系统应用实例 |
4.8 本章小结 |
5 系统测试 |
5.1 系统测试环境 |
5.2 系统测试用例 |
5.3 系统测试结果 |
5.4 本章小结 |
6 总结与展望 |
6.1 工作总结 |
6.2 展望 |
参考文献 |
作者简历 |
致谢 |
学位论文数据集 |
(6)基于逻辑工作流网的有限组合研究(论文提纲范文)
摘要 |
Abstract |
变量注释表 |
1 绪论 |
1.1 引言 |
1.2 国内外研究现状 |
1.3 本文研究内容 |
1.4 组织架构 |
2 相关知识 |
2.1 基本概念 |
2.2 Petri网 |
2.3 逻辑Petri网 |
2.4 逻辑工作流网 |
2.5 本章小节 |
3 状态转换图 |
3.1 状态转换图的定义 |
3.2 状态转换图的基本性质 |
3.3 状态转换图的组合 |
3.4 状态转换图的生成及封装 |
3.5 状态转换图之间的映射 |
3.6 状态组合映射 |
3.7 状态赋值 |
3.8 本章小节 |
4 有限组合研究 |
4.1 逻辑工作流网的两类有限组合 |
4.2 状态转换图的有限性质 |
4.3 状态转换图的有限组合 |
4.4 本章小节 |
5 有限组合的无死锁研究 |
5.1 标准状态转换图 |
5.2 有限组合无死锁判断方法 |
5.3 实例分析 |
5.4 本章小节 |
6 总结与展望 |
参考文献 |
作者简历 |
致谢 |
学位论文数据集 |
(7)扩展逻辑Petri网及其在故障诊断与维护中的应用(论文提纲范文)
摘要 |
Abstract |
变量注释表 |
1 绪论 |
1.1 研究背景及意义 |
1.2 国内外研究现状 |
1.3 研究内容 |
1.4 论文组织结构 |
2 基本知识 |
2.1 Petri网 |
2.2 逻辑Petri网 |
2.3 模糊Petri网 |
2.4 本章小结 |
3 模糊逻辑Petri网 |
3.1 模糊逻辑Petri网的相关定义及变迁引发规则 |
3.2 故障诊断过程分析算法 |
3.3 模型简化规则及置信度评估标准 |
3.4 本章小结 |
4 基于模糊逻辑Petri网的故障诊断系统建模与分析 |
4.1 故障诊断系统结构 |
4.2 故障诊断系统模型 |
4.3 性质分析与模型对比 |
4.4 本章小结 |
5 基于变迁赋时逻辑Petri网的故障维护过程建模与分析 |
5.1 变迁赋时逻辑Petri网的相关定义及变迁引发规则 |
5.2 基于变迁赋时逻辑Petri网的故障维护模型 |
5.3 故障维护系统模型的仿真与分析 |
5.4 本章小结 |
6 总结与展望 |
6.1 论文总结 |
6.2 前景展望 |
参考文献 |
作者简历 |
致谢 |
学位论文数据集 |
(8)扩展概率Petri网及其在交通拥塞控制中的应用(论文提纲范文)
摘要 |
Abstract |
变量注释表 |
1 绪论 |
1.1 研究背景和意义 |
1.2 国内外研究现状 |
1.3 研究内容 |
1.4 论文组织结构 |
2 相关知识 |
2.1 Petri网 |
2.2 排队理论 |
2.3 蚁群算法 |
2.4 区域内交通拥塞判断 |
2.5 本章小结 |
3 扩展概率Petri网 |
3.1 扩展概率Petri网 |
3.2 扩展概率Petri网逆向推理矩阵算法 |
3.3 扩展概率Petri网逆向推理分析过程 |
3.4 本章小结 |
4 扩展概率Petri网与交通拥塞下的路径优化算法 |
4.1 影响交通拥塞的因素 |
4.2 扩展概率Petri网在交通拥塞中的应用 |
4.3 扩展概率Petri网与改进蚁群算法的路径寻优建模 |
4.4 基于扩展概率Petri网的交通拥塞仿真实验 |
4.5 本章小结 |
5 仿真实验与分析 |
5.1 扩展概率Petri网逆向推理矩阵运算对交通拥塞因素判定 |
5.2 算法时间对比 |
5.3 交通拥塞实验结果对比 |
5.4 性能对比 |
5.5 本章小结 |
6 总结与展望 |
6.1 总结 |
6.2 展望 |
参考文献 |
作者简历 |
致谢 |
学位论文数据集 |
(9)支持时间资源约束的工作流管理系统研究(论文提纲范文)
摘要 |
Abstract |
1 绪论 |
1.1 研究背景与意义 |
1.2 国内外研究现状 |
1.2.1 工作流的时间研究现状 |
1.2.2 工作流的资源管理研究现状 |
1.2.3 工作流产品现状 |
1.3 研究内容 |
1.4 论文结构 |
2 相关理论与技术 |
2.1 工作流相关理论 |
2.1.1 工作流介绍 |
2.1.2 WfMC模型与工作流管理系统 |
2.2 时间资源约束下的工作流相关模型 |
2.2.1 双重约束下的工作流模型介绍 |
2.2.2 R/NT_ WF_Net模型介绍 |
2.3 BPMN建模语言相关理论与技术 |
2.3.1 BPMN流程建模语言与规范 |
2.3.2 BPMN.js流程设计器介绍 |
2.4 Viewflow工作流开源库介绍 |
2.5 本章小结 |
3 工作流管理系统中时间资源约束处理的扩展 |
3.1 BPMN流程建模语言的扩展 |
3.1.1 业务流程中的时间约束分类 |
3.1.2 BPMN的时间建模扩展 |
3.1.3 时间资源约束下的流程建模实例 |
3.2 BPMN.js流程设计器的扩展 |
3.2.1 BPMN.js结构扩展说明 |
3.2.2 渲染器扩展 |
3.2.3 属性面板扩展 |
3.3 资源约束下的工作流时间分析方法 |
3.3.1 R/NT_WF_G模型图及其构建算法 |
3.3.2 资源约束下的任务时间属性计算方法 |
3.4 本章小结 |
4 支持时间资源约束的工作流管理系统分析与设计 |
4.1 系统需求分析 |
4.1.1 系统功能性需求 |
4.1.2 系统非功能性需求 |
4.1.3 系统用户与角色 |
4.2 系统总体设计 |
4.2.1 系统功能结构设计 |
4.2.2 系统架构设计 |
4.2.3 系统设计时序图 |
4.2.4 系统设计类图 |
4.3 系统数据库设计 |
4.3.1 数据库概念模型设计 |
4.3.2 数据库逻辑模型设计 |
4.4 工作流详细运行过程设计 |
4.4.1 流程定义与解析 |
4.4.2 时间计算与时间约束检查 |
4.4.3 流程执行与控制 |
4.5 本章小结 |
5 支持时间资源约束的工作流管理系统实现 |
5.1 系统开发与运行环境 |
5.2 实验示例流程 |
5.3 系统运行界面 |
5.3.1 流程建模与定义 |
5.3.2 流程管理与监控 |
5.3.3 工单办理与运转 |
5.3.4 组织机构与角色权限管理 |
5.4 系统功能测试 |
5.5 TRFlow与其他工作流产品对比分析 |
5.6 本章小结 |
结论 |
参考文献 |
致谢 |
(10)基于Petri网的地铁信号系统故障传播建模研究(论文提纲范文)
致谢 |
摘要 |
ABSTRACT |
1 引言 |
1.1 研究背景及意义 |
1.2 国内外研究现状 |
1.2.1 系统建模理论概述 |
1.2.2 故障传播模型研究现状 |
1.2.3 故障传播Petri网模型 |
1.2.4 发展趋势 |
1.3 论文研究方案 |
1.3.1 研究目标及研究内容 |
1.3.2 研究方案 |
1.4 本章小结 |
2 Petri网基本原理 |
2.1 Petri网的基本定义 |
2.2 Petri网的结构 |
2.2.1 三元组Petri网 |
2.2.2 四元组Petri网 |
2.3 Petri网分析技术 |
2.3.1 代数分析技术 |
2.3.2 图分析技术 |
2.3.3 归纳分析技术 |
2.4 Petri网的表达 |
2.4.1 动静态逻辑表达 |
2.4.2 不确定性逻辑表达 |
2.5 Petri网用于安全性分析 |
2.6 本章小结 |
3 基于功能失效模型的故障传播机理分析 |
3.1 故障传播机理分析总体框架 |
3.2 故障模式及影响分析 |
3.2.1 系统定义 |
3.2.2 故障模式分析 |
3.2.3 故障原因分析 |
3.2.4 故障影响分析 |
3.3 功能失效模型 |
3.3.1 功能失效模型原理 |
3.3.2 功能失效模型的建立 |
3.4 车载ATP故障模式及影响分析 |
3.4.1 系统定义 |
3.4.2 车载ATP故障模式分析 |
3.4.3 车载ATP故障原因分析 |
3.4.4 车载ATP故障影响分析 |
3.4.5 车载ATP的 FMEA分析结果 |
3.5 车载ATP功能失效模型 |
3.6 本章小结 |
4 基于关联规则的故障关系挖掘 |
4.1 关联规则挖掘故障关系的适用性 |
4.2 关联规则基本原理 |
4.2.1 关联规则基本原理 |
4.2.2 关联规则基本概念 |
4.2.3 关联规则典型算法 |
4.3 车载ATP故障数据预处理 |
4.3.1 车载ATP故障数据的特点 |
4.3.2 车载ATP故障数据预处理 |
4.4 车载ATP故障关联规则挖掘 |
4.5 本章小结 |
5 故障传播Petri网模型分析 |
5.1 故障传播Petri网的定义 |
5.2 故障传播逻辑的Petri网表达 |
5.2.1 托肯染色规则 |
5.2.2 库所染色规则 |
5.2.3 变迁染色规则 |
5.2.4 Petri网的故障繁衍规则 |
5.3 故障传播Petri网模型的推理 |
5.3.1 故障传播Petri网模型的正向推理算法 |
5.3.2 故障传播Petri网模型的反向推理算法 |
5.4 车载ATP故障传播Petri网的建立 |
5.5 案例研究 |
5.5.1 车载ATP机柜故障传播Petri网模型的正向推理 |
5.5.2 车载ATP机柜故障传播Petri网模型的反向推理 |
5.6 本章小结 |
6 总结与展望 |
参考文献 |
图索引 |
表索引 |
作者简历及攻读硕士学位期间取得的研究成果 |
学位论文数据集 |
四、基于Petri网的数据库逻辑设计方法(论文参考文献)
- [1]基于区块链的社交平台的设计与实现[D]. 阮晴. 东华大学, 2021(01)
- [2]基于Petri网的雨刮传动组件装配生产线控制优化[D]. 钱瑞. 武汉纺织大学, 2021(01)
- [3]基于随机Petri网工作流建模及其在学生工作管理信息系统的优化与实现[D]. 郑业强. 广西大学, 2020(07)
- [4]心血管健康管理方案知识库构建及个性化方案智能生成与量化研究[D]. 张威强. 上海交通大学, 2020(01)
- [5]基于工作流的高校跨部门协同业务管理系统的研究与实现[D]. 王晶. 山东科技大学, 2020(06)
- [6]基于逻辑工作流网的有限组合研究[D]. 陈金栋. 山东科技大学, 2020(06)
- [7]扩展逻辑Petri网及其在故障诊断与维护中的应用[D]. 张志豪. 山东科技大学, 2020(06)
- [8]扩展概率Petri网及其在交通拥塞控制中的应用[D]. 魏国振. 山东科技大学, 2020(06)
- [9]支持时间资源约束的工作流管理系统研究[D]. 张兆宇. 大连海事大学, 2020(01)
- [10]基于Petri网的地铁信号系统故障传播建模研究[D]. 余敬芝. 北京交通大学, 2020(03)