交通信息网格中的最短出行路径并行算法

根据城市路网的特点，提出了一种新的路网图的分割方法；在此基础上，提出两种网格最短路径并行算法GPSPA1和GPSPA2．这两种算法克服了传统并行标签算法只适合在共享内存的并行机器上使用的缺点，适合网格环境下使用．实验结果表明：分割器不能完全分割源点和目标点时，GPsPA2比GPSPA1效率高；完全分割时，两种并行算法的加速比大约都是3．GPSPA2应用于交通信息服务网格系统2．0版中．     

面向互联网金融行业的大数据资源服务平台

在大数据时代,数据已经渗透至各个行业,并且呈现出数量大、动态性、类型复杂等显著特征,尤其是互联网金融等为代表的典型行业.本文简要阐述了大数据的研究现状与重大意义,探讨了大型数据资源服务平台架构及其3个主要组成部分:数据资源识别和获取、数据资源存储和分析、服务支撑平台,并介绍了项目组在面向可信网络金融交易的大型数据分析研究与应用方面所开展的工作.具体来讲,围绕软件行为认证等关键技术,研究并开发了以行为认证为核心的可信网络金融交易系统,支持在线交易过程中产生的用户行为数据与软件行为数据的实时监控和动态展示.     

有界Petri网进程表达式与活性的关系

Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.     

工作流网系统合理性的语言特性

工作流系统的合理性是描述事务处理过程的一个基本要求,目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑.该文从工作流网系统的语言角度研究了合理性的特征,给出合理性的一个网语言刻画,从而揭示了这一基本性质的行为特征.文中进一步研究同步合成工作流网系统和组合合成工作流网系统,分别给出这两种合成系统合理性保持的充分必要条件,为复杂工作流网系统合成建模与分析提供了一种新的途径.     

4度循环图的同构因子分解

本文证明了对４度循环图的同构因子分解，可分性条件是充分条件。     

医疗信息系统的集中式整合模式及其建模分析

优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题.目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成.这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题.提出了基于IHE(Integrating the Healthcare Enterprise)技术框架的医疗信息系统的集中式整合模式,克服了现有的互连式整合模式的若干不足.运用对象Petri网对集中式整合模式进行建模.首先对各个子系统进行建模,然后根据各子系统之间的关系建立系统的整合模型,并对整合后的医疗信息系统的合理性进行了分析,给出了在IHE框架下针对复杂系统建立工作流模型的过程及其分析方法.该模型为整合医疗信息系统的实现提供了理论基础和依据.     

基于Petri网的医疗信息整合工作流建模与分析

工作流技术是实现信息系统集成的一种有效手段。医疗信息整合（Integrating the Healthcare Enterprise，IHE），是针对复杂而异构的医院环境，基于医疗标准的一种通用的医疗信息系统集成的新规范。基于Petri网理论，利用工作流技术，将IHE规范作为医疗信息系统集成问题到Petri网模型的桥梁，给出一种形式化、规范化的医疗信息系统工作流集成方法，构建了基于Petri网的医院信息系统工作流模型。为医院的医疗信息系统集成的仿真及对医疗服务信息系统工作流的分析、验证与优化提供了理论基础。     

文法的Petri网模型及其构造算法

针对几类典型文法:右线性文法,表达式文法以及属性树状文法提出相应的Petri网表示模型,给出模型构造的有效算法,讨论了模型的有关性质.结合Petri网的引发规则,通过例子指出了基于Petri网表示模型的语言产生过程.由此表明这种模型不仅具有树文法、图文法的图形直观性,而且由于Petri网自身的特色——token标记,增加了文法推导过程的动态信息——token信息流.