并发函数式语言CM的设计及实现

使用函数式语言书写的程序包含了稳式的并行性。由于表达式可以以任意次序计值，因此无需显式的并行结构来管理并行性，且可以非常方便地在并行计算机体系结构上实现，程序正确性的证明也相对简单。但一般说来在函数式语言并行实现过程中所开发的是细颗粒度的并行性，它的管理开销较大。本文在纯函数式语言Ｍｉｒａｎｄａ中引入两个并行进程构造子，它们的使用使得在粗颗粒度上管理并发进程的产生、执行、通讯、同步成为可能，从而提高了程序的执行效率。     

并行计算模型的分类和评价

随着各种并行计算机体系结构的出现及并行计算在各学科领域中的广泛应用,需要并行计算模型用以研究并行计算性质,分析并行算法;简化并行软件设计。本文对并行计算模型给出一个评价准则,并以此对现有的并行计算模型进行分类和比较。     

关联规则挖掘在证券业中的应用

基于证券业急需一种能帮助其提高个性化服务质量的系统,该文提出了一种适用干证券业单交易项交易数据库挖掘的频繁模式链表 关联规则挖掘算法,它采用共享前缀交易项树和频繁模式链表结构,无须产生候选项集,FPL-growth算法通过直接排列出链路中的频项组 合,就可得到完整的频繁模式集,且支持多阈值挖掘,挖掘到的关联规则带有时间段属性,特别适用于证券业的个性化信息需求获取。     

网格计算综述

网格计算是新型的分布计算技术，是解决复杂度越来越高的新应用的重要方法。文章简述了网格计算（gird computing)的定义、特点和基本结构，着重讨论了几个代表性的网格系统，分析了当前研究中存在的问题及发展趋势。     

基于信息流控制的Web服务组合隐私保护方法

随着Web服务技术的发展,Web服务调用和组合中隐私保护问题也备受关注.提出一个基于分布式标签模型的Web服务模型LWSM(LabelWebServiceModel),允许两个不可信服务间的消息传输且不造成隐私泄露.基于LWSM给出一种解决WS BPEL信息流安全问题的静态检查方案.     

基于AOP的普适环境下软件容错方法

随着普适计算的发展,容错作为普适计算中的一个重要研究领域也受到越来越多的关注。普适环境的动态性和开放性导致很难在开发阶段就确定容错策略,而在主流的OOP开发方法中,容错作为一个非功能性的关注点,会对功能性的关注点造成横切,极易导致散射或缠结,影响代码维护和重用。提出一个基于AOP的普适环境下的容错方法,使用AOP实现关注点分离,基于该方法,在OSGi平台上搭建了一个容错的软件开发框架,使用该框架开发的软件能够自动检测服务出错并进行错误恢复。     

类动态更新事务研究

针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明。最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性。     

基于分片、松耦合的分布式文件系统的设计与实现

文章介绍为CGSP^＊（China Grid Support Platform）身定制的一个基于分片的、松耦合的分布式文件系统。与现存的分布式文件系统相比，本系统有以下特点：（1）将资源层与管理层完全分离；（2）基于分片而不是整个文件进行管理；（3）数据资源和用户虚拟空间都纳入WSRF框架。以上几点都是针对网格海量数据密集型应用而设计的：     

基于部分计值的信息个人化智能Agent系统

提出了一个基于部分计值技术的信息个人化系统PIPEAgent。部分计值理论源于程序转换中如何在给定部分输入的情况下，对程序完成尽可能多的运算从而对程序进行优化这一问题的探讨，PIPEAgent将部分计值理论与信息个人化相结合，以PIPE(Personalization is Partial Evaluation)理论为基础，结合机器学习技术并采用智能人机交互的Agent构架。该系统已应用于Web信息检索、电子商务应用。