基于BSP的并行事务处理模型

BSP模型独立于并行体系结构,既可作为并行计算模型,又可作为并行程序设计模型。提出了基于BSP模型的H－V事务模型,适用于长、短事务和长短事务混杂的情况。给出了在无共享结构下实现并行事务处理的进程结构。该结构不仅实现了事务内及事务间并行性,而且使人有可用性（availability）和可扩充性（scalability）,而后给出了适用于该模型的基于时间戳的多版本并发控制协议,最后描述了事务在超步结构下的运行过程。性能测试表明,使用该模型进行事务处理时可获得良好的事务响应时间和加速比。     

网格数据融合系统中的数据源管理

针对网格海量动态数据高效融合的要求,提出提出一个套新的数据源管理方案,主要包括一套一套面向对象的元数据描述规范和、基于此规范的数据查询机制以及、模式融合策略,以解决传统网格中动态异构数据源难以维护的问题。给出,一种基于聚类的有效类挖掘算法。实验证明,该能有效地解决传统网格中动态异构数据源难以维护的问题。另外提出一种基于聚类的有效类挖掘算法,实验证明算法能大大优化系统的性能。     

MFS:一个基于重写技术的程序开发系统

MFS是一个基于重写技术的程序开发系统．它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言．在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制．语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题,提高所开发系统的正确性．在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率．应用这一程序开发系统,能够较快地开发出正确且效率较高的程序．     

基于重写技术的语义Web服务研究

随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,语义Web服务逐渐成为学术界的研究热点。可以看出这些研究大都基于服务单个操作级别的语义进行推理,而对于多个操作之间的语义联系却很少涉及。提出Web服务的重写模型,通过为Web服务添加操作之间的重写规则语义,将Web服务建模为服务重写系统,利用重写技术中的推理机制,实现对Web服务的分析和挖掘。这个方法可应用于服务的QoS优化,以及服务的组合与融合等方面。     

重叠规则与歧义性*

重写系统是一种一般的计算模型．重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化的重要原因．本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了具体分析，同时提出了解决办法．     

基于并行技术的大数据量统计分析探讨

当前,企业有着对海量信息数据进行统计分析的迫切需求.面对海量的数据,如何高效地得到统计结果,是分析过程中一个很重要的环节.在分析了当前出现的大数据量处理方法的基础上,进行了比较.得到了并行计算架构的数据库是解决此问题的最佳手段,并且进行了性能测试,得到了对比结果.相信对从事相关研究的同行有着一定的参考价值.     

利用Prolog实现语义网中的知识推理

元数据的交换是实现语义网应用的基础。在语义网的架构中，Ontology语言利用自己的元级描述能力来建立元数据之间的联系，从而实现语义的交换。本文分析了DAML OIL语言的知识描述能力，并对它蕴含的关于类的知识建立了Prolog的推理规则，最后结合XSBProlog推理引擎和InterProlog接口用Java语言实现了对Ontology的推理，从而实现了不同Ontology之间的元数据交换。     

重叠规则与歧义性

重写系统是一种一般的计算模型，重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化重要原因，本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了具体分析，同时提出了解决办法。