HIS的性能测试设计与应用实现

提出了对医院信息系统的性能测试软件的测试内容和测试设计的方法，并以一个实际系统测试中的问题为例，根据测试软件的实施，对其中出现的问题进行了分析，提出了相应的解决方案，并从开发人员的角度提出了在设计过程中应该注意的性能方面的几个原则。     

基于Petri网的网格数据库查询计划模型的映射转换

网格数据库中主要采用基于有向无环图（DAG）的查询计划建模方式，该方法由于不考虑子查询与节点的数据关系，因而对子查询在节点的优化调度方面支持不足。对查询计划提出了基于Petri网的形式化描述模型NSN，通过扩展子查询与节点以及子查询之间的数据关联关系的描述，对子查询的优化调度提供更大的支持；进一步给出了从DAG模型到NSN模型的转换规则和转换算法，实现了查询计划从DAG到NSN模型的转换，最后通过实验验证了NSN模型对子查询在节点中的分派调度的优越性。     

基于语义约束的资源工作流并发正确性保证

控制流结构中并发变迁的正确性是工作流模型正确性的基础．为保证模型的正确性，提出了资源语义约束工作流网的基本概念，丰富了控制流的数据语义，给出了两方面的控制流并发正确性：并发控制流与其数据语义的一致性检测算法及改正原则，保证了模型中的并发控制流结构的正确性；实例中基于数据语义约束的并发变迁正确性保证机制，提出了申请锁和释放锁的算法，保证了工作流实例中并发执行的正确性。     

基于资源限制流图的工作流并发结构的正确性验证

本文在基于Petri网的工作流网的控制流的正确性验证的基础上，提出了基于数据流的资源限制流网的概念，并在资源限制流网的基础上，提出了工作流网的正确性概念，提出了并发变迁的并发性错误检查算法．     

一个基于动态规划的规则引擎构件技术研究

提出了基于动态规划的规则引擎构件方案，推理采用基于动态规划的反向推理机制．推理时，先查找以前是否已作过的该推理，如果已作过，则不必重新推理，只需取结论；否则进行推理，并将中间结论保留下来，以便以后的推理建立在已有的推论之上，这样减少了推理的次数，极大的缩短了系统的响应时间．     

基于Petri网的工作流结构正确性化简验证方法

工作流技术是近年来在计算机应用领域发展最为迅速的新技术之一,但基于覆盖图的工作流网的结构正确性检查的实现过于复杂.本文在Aalst提出的基于Petri网的工作流网的控制流的正确性理论的基础上,提出了工作流网的正确性检查的化简规则及相应的化简算法,实现了对于正确结构的工作流网直接验证;对于错误结构的工作流网,输出其包含问题节点在内的子网结构,可以进一步通过覆盖图的方法确认问题节点,从而降低了工作流网正确性检查的复杂性.     

在线新事件检测系统中的性能提升策略

现有的关于在线新事件检测(ONED)系统的研究更多地关注如何提高检测的准确率而很少考虑对资源的利用率,使ONED系统在实际应用中存在性能低下的问题。该文分析了传统的事件检测系统存在的性能上的缺点,并在此基础上进行了改进,在基本不降低识别正确率的基础上,通过合理设定技术参数以及对链表索引机制进行预筛选,降低了文档比较过程中的存储和计算开销。实验结果表明,改进的系统提升了检测性能。     

基于数据流和控制流验证的工作流模式进化

模式进化是工作流管理系统的一个主要特点之一．以缺乏正确性分析的工作流模式进化为例，指出进化后的模式会存在着数据流冲突或控制流结构错误，并以Aalst提出的工作流网的建模方法为形式化描述，对工作流管理系统中增加变迁的工作流模式进化进行了分析，提出了无数据流冲突的模式进化算法，及进化时保证控制流结构正确性的进化插入规则，并给出了相关的正确性验证，     

基于低耗费调度的网格数据库查询中间件的设计

网格数据库对其查询分解后的子查询的优化调度产生了新的要求,在分析了子查询与数据库节点的数据关联关系基础上,提出了一个基于低时间耗费评估模型的查询中间件（LCQM）,给出了低耗费的查询调度计划算法,并给出了实验验证,提高了网格数据库查询的效率。     

从工作流网向ECA规则的转换

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术，因而目前已被广泛应用．但ECA规则难于形式化描述的特性，使得在工作流建模时．不能够保证工作流系统的语义的正确性；而Petri网具有形式化的描述的基础和正确性分析的优点；拳文将这两方面结合起来，对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法．通过Petri网的形式化的验证后的ECA规则的转化，可以保证基于ECA规则的工作流系统的正确性．