并行DECELL方法计算矩阵广义逆

将Decell算法与MPI并行系统进行有效结合,用于计算大规模矩阵的MP广义逆. 给出了算法设计方案;讨论了在MPI环境下的 程序执行; 并在PC机集群系统上实现.给出了关于并行加速比及效率的数值结果.     

分布式计算环境下的语义安全策略语言

提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWL DL描述,支持各种安全策略的基本类型,包括肯定和否定授权,肯定和否定义务,权限委托和撤销以及策略冲突消除等。SSPL还支持基于规则的安全策略,使得该语言具有更强的表达能力。为了分析SSPL策略的形式化语义和推理的可判定性,引入DL-safe规则和courteous logic program的概念,并定义了一组从SSPL策略到courteous DL-safe program的转换规则,介绍了对转换得到的逻辑程序的推理过程。     

路径排序问题基于表面的DNA算法

提出了路径排序问题表面DNA算法三步骤：a．找出两端点的所有链,b．筛选出所有的路,c．得到路序．指出编码问题在DNA计算中的重要性．在算法实现过程中,用保护两端点对应的DNA片段3’端或5’端的办法得到所有的链,并用电泳的方法对链进行排序以及去掉链长大于图权值总和的链;对探针进行生物素标记并且采用观察、记录亮点强度的办法筛选出所有的路;分析实验记录得到路序．将算法推广到最短（长）路问题的不同之处在第三步,即只需分析在表面上排在最前（最后）的DNA链的实验记录就得到最短（长）路．     

核外计算中I/O优化策略的研究

在大规模科学计算中,核外计算的应用越来越广泛,而核外计算时间优化的关键是I/O执行时间的长短.通过对I/O优化方法的研究,实现了数据筛选、数据预取、数据重用三种I/O优化策略.实验结果表明这三种优化策略均能隐藏I/O延迟,优化核外计算的系统性能.     

一个基于对策论的协商模型

传统的对策论,往往不存在或存在多个Nash平衡点,使得要找到使各个Agent都满意的解是非常困难的。从人类日常生活的角度出发,考虑在协商过程中加入可信第三方来处理一些较为困难的。从人类日常生活的角度出发,考虑在协商过程中加入可信第三方来处理一些较为困难的对策状况,并且引入两种通信行为：请求保证和提供补偿,使得多个Agent在协商过程中寻求共识,得到一个折中的,稳定的,较好的解,基本满足各自的赢利。     

非对称数字水印

针对当前的数字水印实施架构中存在的低效问题,提出了一种新的架构——非对称数字水印。该体制以第三信任方为中心,通过使用二次水印(秘密水印和公开水印)和“水印浏览器”,使版权信息的提取与显示均可在用户端独立完成。在版权信息“公开化”的同时,极大地提高了整个架构运作的效率。该体制既保护了商家的版权利益,又使用户避免了非授权使用的问题,同时对版权的认证和管理也起到了规范化的作用。     

物流信息系统体系结构

论述了以航运为主业的大型物流信息系统体系结构的设计课题,包括物流业务的层次结构,网络体系结构,数据分布结构,应用系统计算结构和物理体系结构等。在本文提出的体系结构设计方案中,为了与业务的组织功能结构相适应,采用了集中分布式的网络体系结构和数据分布结构。为了减轻系统维护与升级的成本与工作量,应用系统采用了B／S计算结构。最后,为了便于系统处理能力的扩充,采用了多层服务器结构;并适当采用冗余技术和群集技术,以满足高可靠性和安全性。     

CAI课件制作理论及方法

本文阐述了制作CAI课件的理论,基本开发方法和开发软件。     

A novel fuzzy keyword retrieval scheme over encrypted cloud data

In this paper, we focus on the fuzzy keyword search problem over the encrypted cloud data in the cloud computing and propose a novel Two-Step-Bloom-Secure-Filter (TSBSF) scheme based on Bloom filter to realize the efficiency and flexibility of data use. The proposed scheme not only reduces the space complexity significantly but also supports the data update with low time complexity and guarantees the search accuracy. Experimental results on real world data have certified the validity and practicality of this novel method.     

计算机审计的研究现状和挑战

通过分析计算机审计项目的生命周期模型，从面向数据的技术和面向系统的技术两个角度归钠了对计算机审计研究的成果，指出了审计数据分析三种类型：查询型分析、多维分析和发掘型分析，并提出了相席的审计数据分析过程模型。从审计数据采集转换技术、审计数据验证技术、审计专家经验共享和服爷计算技术4个方面讨论了面临的问题和研究方向。