一种基于有色网的行动推理表示模型

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.     

基于Petri网的Web服务组合优化方法研究

在实际应用中,需要将各种W eb服务进行组合和集成以创建动态W eb应用。为了使服务组合性能最优,提出一种W eb服务组合优化算法,该算法在满足用户需求的同时,根据已有的W eb服务,自动获取性能最优的服务组合方案。利用Petri网进行建模,采用可达图进行分析,通过提取网中变迁之间以及变迁序列之间的各种并发关系,得到费用最廉的组合结构。     

StarSim:支持快速构建的离散事件系统通用模拟框架

离散事件系统是研究和实践中常见的一类目标系统,使用软件对其进行模拟是有益甚至必须的。提出支持快速构建的离散事件系统通用模拟框架StarSim,为离散事件系统快速构建软件模拟器。StarSim设计简单通用的系统抽象模型以支持快速构建目标系统模拟器,提供基于事件的实体间交互方式以表达目标系统中的交互行为,引入简化的对象请求代理技术以透明的支持分布性,使用基于令牌分发的多线程技术以并行处理目标系统中同时发生的事件,预留可定制的监测和控制接口以灵活的监控目标系统,使用Java语言编写以确保移植性。为一个混合类型离散事件系统快速构建模拟器,验证了StarSim的诸特性和快速构建能力。     

基于Petri网与改进A星搜索算法的矿井机车调度优化

为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立了机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算法相结合,得到改进的A*搜索算法。经过改进后算法的回溯计算,得到Petri可达图上的最佳路径,从而得出最优调度策略。根据以上算法进行MATLAB建模,最终仿真结果表明,经过改进的启发式A*搜索算法有效的避免了陷入局部最优解,其计算得出的调度路径及调度策略资源消耗量最少,调度效率较高且未出现机车堵塞碰撞等问题。     

一种基于源端数据重删的数据备份和恢复系统设计与实现

针对当前源端数据重删技术中,数据重删效率低、计算指纹耗时长以及频繁操作数据库耗时的问题,设计并实现了一种采用基于源端数据重删技术的数据备份与恢复系统.系统通过在客户端预先将数据流进行分段并采用预处理环形队列进行存储,基于可变分块对数据段进行分块,整个处理过程并发执行,因此该预处理并发计算模块有效缩短了计算时间,而服务端通过用容器存放临近的数据块与索引信息,设计以容器为单位的多级缓存,明显提高缓存命中率.此外,通过使用布隆过滤器与多级缓存减少了数据库的操作频率.仿真实验表明该系统能有效提高数据备份与恢复效率.     

面向连接的并发多路径转发算法

在分析数据流关系的基础上,通过动态链表给无连接的IP网络增加一定的面向连接的特性,并结合跨层的思想在IP层对TCP报文首部进行跨层操作,提出了一个面向连接的并发多路径转发算法(CCFA).CCFA通过动态链表统计的不同流的比例关系,对不同流的流量特征进行分类,在多路径上对不同流量进行分流转发.最后通过NS2仿真实验研究了不同转发粒度的特点及相关的应用场合,结果表明CCFA以一定的存储开销为代价,获得了较高的转发性能,提高了带宽利用率,降低了端到端延迟,而且本算法易于在下一代网络的可编程路由器中部署使用.     

PowerBuilder数据库中并发控制的研究与实现

在数据库应用系统中,并发控制是要解决的主要问题。介绍Power Builder数据库系统的并发控制机制,讨论其在实现数据库多用户并发控制、分布式事务并发控制及其嵌入SQL语句并发控制的原理及其实际应用。     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

基于CSMA/CA的电力载波通信及在照明系统应用

分布式结构作为常用的远程通信架构,其通过多个独立的局部控制子系统将回路的数据进行集中获取、集中管理和集中控制.电力线作为连接子系统间的通信介质,传输数据时接受和发送方共用同一信道,导致终端并发数据相互干扰而使数据错乱.通过引入CSMA/CA机制,提出了一种解决数据并发错乱的电力载波通信技术,提高了通信的稳定性和可靠性.分析了基于CSMA/CA的电力载波通信技术,建立了在并发条件下电力线上多终端正确发送数据所需时间即延迟时间的计算模型,并运用蒙特卡洛法仿真求出延迟时间的数学期望.在工程实验中验证了这种技术的可行性,对影响延迟时间的因素进行灵敏度分析,结果可以为智能照明系统设计提供理论与实践依据.     

面向负载的WEB项目测试分析与实现

本文结合实际WEB项目负载测试工作,对Web系统的负载测试理论进行研究;并根据软件测试理论和负载测试原理,采用负载测试工具HP LoadRunner对测试过程进行了设计与实现;通过分析被测系统的测试需求,设计相应的测试案例。文中引入了自动化测试流程,采用专业的负载测试工具,描述整个Web系统的负载测试设计与测试实施过程。