计算一类递归方程的增广Petri网模型

递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的.斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析.     

公平消息传递并行程序设计的Petri网方法

公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难.针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证.     

满足2PL协议的无死锁事务并发控制Petri网模型

在建立满足2PL协议的数据库事务并发控制的Petri网模型后,通过分析资源的调度过程得到可能产生死锁的资源集,在模型上对其进行控制,从而得到无死锁的满足2PL协议的事务并发控制的Petri网模型.     

MPI集群通信函数的Petri网模型

研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义,本文在[1]的基础上,建立了目前普遍使用的基于消息传递的并行程序编写标准之一--消息传递接口(MPI)的集群通信函数的Petri网模型,从而为进一步研究MPI并行程序的Petri网模型及其性质奠定了基础.     

基于Horn子句集的Pr/T网可达树的方案求解

问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明.     

MPI程序的Petri网模型及其动态性质

对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。     

高等学校中外合作办学课堂教学的实践与探索

在探讨中外办学理念差异的基础上,根据合作办学班级的特点,从课堂学习环境的创建、教师角色的选取、教学内容的选择、教学方法的选取以及考试方法的革新等诸方面,对中外合作办学班级的课堂教学方法进行了探索,这些措施在实践中取得了较好的效果。     

基于微粒群优化的三维无线传感网定位算法研究

为解决三维空间下无线传感器网络节点的精确定位问题,提出了一种三维空间微粒群搜索算法(3D-PSO),将节点定位用优化问题进行描述.为了提高算法的执行效率和定位精度,提出了一种基于距离的目标函数来评价微粒的适应度.对微粒的搜索空间进行了限制,以加快定位结果的收敛速度.在理想环境和有测距误差的情况下证明了该算法的可行性和有效性.仿真结果表明,与典型的定位算法相比,该算法具有更好的健壮性和更高的定位精度.     

MPI通信函数的增广Petri网模型

MPI是目前最流行的并行编程消息传递标准之一,它提供了多种点到点通信函数和集群通信函广Petri网模型,有利于解决此问题,并更好地利用它们编写并行程序.     

任务分解的Petri网方法及有效性研究

任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的。对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统。通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效。另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁。将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题。