基于π演算的多实例工作流模式的建模方法

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确.     

物联网概论课程教学研究

物联网作为新一代信息技术发展的标志,学习物联网概论知识不仅是物联网专业学生的需要,对非物联网专业学生来说也是十分必要的。根据自身实际教学经验和取得的教学效果,对物联网概论的课程定位、教学内容、教学方法等进行了探讨,提出了一些培养学生学习兴趣、增强专业认同感,提高教学效果的途径和方法。     

工作流模式的π演算建模研究

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。     

基于π演算的工作流模型分析方法

使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这3种合理性。针对以上问题,提出懒惰合理性的概念,用于对工作流进行分析。通过考虑节点语义,扩展结构合理性。为了表达节点语义,用π演算表达过程图,使过程图具有形式化语义。     

一种基于磁共振技术无线充电板的设计与实现

设计了一种基于磁共振技术的手机无线快速充电板。该设计主要包括发送端和接收端两个部分,其中发射端采用XKT-901无线发射芯片负责各项电池的快速充电智能控制,接收端采用快充芯片IP6505为不同类型的充电协议提供解决方案。通过对测试实验数据的分析,所设计无线充电板充电效率为60%,功率可达20 W,其性能优于当前市面上主流品牌手机无线充电设备。     

基于演算的工作流建模方法研究

工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模.首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用π演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在π演算中的表示.该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等.     

高校学生信息管理系统的设计与实现

论文介绍了高校学生信息管理系统的开发过程,主要的任务包括:1.通过对学生信息管理系统做需求分析,确定了系统的设计目标以及系统的需求。2.完成了系统的设计与实现。经过系统分析、设计、实现,系统能够良好地完成学生信息管理工作。     

动态工作流研究

现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足.实际的工作流系统无法事先确定所有的过程,并且过程之间的关系在执行期间并不是一成不变的,需要通过动态修改能力来保证系统的可适应性.针对这个问题, 在对国内外动态工作流的研究成果进行详细研究和总结的基础上,本文介绍动态工作流的特征及分类,讨论动态工作流中动态变更的理论及实现策略,并设计一个实例介绍工作流过程模型进行动态修改的操作方法.     

工作流模式的π演算形式化

为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述.工作流模式是工作流建模的基本构造单元.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述.     

多实例工作流模式的π演算形式化

多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究，提出了以π演算作为工作流形式化的基础，利用π演算对多实例工作流模式进行了详细的描述。