数字图书馆统一身份认证及综合应用研究

主要探讨利用数字证书技术实现数字图书馆的用户或读者全国统一身份认证,并在此基础上探讨数字图书资料在科研项目立项和研究成果水平鉴定,教师的教学水平和研究水平评估,启发与激励科研和教学人员及学生的创造力、创新能力等方面的综合性应用。     

一种基于网格的分布计算协同机制

通过对网格计算中资源协同调度机制的研究,根据该机制的资源协同分配需求,提出一个以Globus Toolkit为平台的基于网格计算的分布协同计算模型。在基于经济模型的作业调度机制的竞价机制中,给出一个较为完善的价格函数模型以及相应的作业预测完成时间模型,利用设计的价格函数模型实现资源提供的主观能动性,使得资源的调配更加合理、快速。同时,在分布式计算模型中还给出一个基于备份的作业调度容错机制。     

跨部门数据共享平台总体架构与功能分析

随着我国电子政务的迅速发展,就如何解决信息资源有效共享不足、业务难以协同问题,降低投资风险和提高投资效益等当务之急,本文提出建设跨部门数据共享平台的新思路。     

基于UML的电子商务在线销售系统分析与设计

随着面向对象技术的不断发展,利用面向对象思想进行系统建模,已成为当前软件项目开发的主流。本文针对运用UML进行信息系统建模的过程以及模型的选择进行研究,并结合UML系统建模的优势,以电子商务在线购物系统为例,给出基于UML的信息系统建模的完整实现过程。     

基于PKI技术的CA构架设计

通过分析PKI技术的基本原理及基于该技术的CA认证系统的功能,论证基于PKI技术所构架的CA认证系统是全面解决网络信息安全问题的最佳选择,并结合我国的管理模式和应用需求对CA认证系统的总体结构和逻辑结构进行设计,由此给出该系统的典型构架。     

iTV预处理系统的设计与实现

iTV是近年推出的基于IP网络的新型视频流服务,为了有效提高其客户服务的响应速度、处理能力,改善其服务质量和客户感知度,在对相关需求进行详细分析的基础上,设计和实现基于.NET平台的iTV业务预处理系统,包括基本管理、故障管理、运行管理以及知识管理等功能模块,详细介绍其主要技术特点和模块功能。     

基于SPIN的SSL3.0握手协议模型检测

文章介绍了密钥交换协议SSL3.0协议,并利用模型检测工具SPIN对其进行了形式化分析、建模和验证。实验结果表明此验证方法的正确性,证明了协议本身的安全性与可行性,并且提高了协议的验证效率。