形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

一种用户行为分析的动态备份机制

目前大多数分布式存储系统采用静态备份机制保证系统的高可靠性,灵活性差,不适合系统规模及用户访问量不断变化的存储系统．因此提出一种基于用户行为分析的动态备份机制,通过分析用户行为获得相关信息来动态改变备份数量及确定备份位置,具有较强的灵活性,适合大规模的分布式存储系统;实现动态备份系统将其应用于已建立的科技信息数据中心．通过实验分析表明,该动态备份机制能提高系统的可靠性。     

高职学院财务管理信息系统的设计与实现

阐述了基于B/S模式开发湖南高速铁路职业技术学院财务管理信息系统,并详细介绍了系统的功能需求和数据库设计,以及主要功能模块的设计与实现代码。该系统将Web技术和数据库技术很好的融合在一起,使数据库成为Web的重要组成部分,实现了数据库技术和网络技术的有机结合。     

基于Web的决策支持系统的设计与实现

实现了一个基于Web的原型决策支持系统。该系统依据以往天气条件的记录,递归地构建一个决策树,用其预测未来网球比赛能否举行。详细展示了一个原型决策支持系统开发周期,包括从分析、设计到实现,如何使用面向对象技术来开发系统。     

基于XML的新闻管理系统设计

简要分析基于XML的新闻管理系统的架构及主要功能模块设计,构建Web Service实现新闻发布旨在实现信息资源共享,并通过案例加以说明。     

基于ArcEngine的江宁区国土资源业务办公系统的设计与实现

本文针对国土资源管理的业务需求,设计出结构合理、功能全面的国土资源业务办公系统,并利用ArcEngine和C#加以实现,系统的建成使用极大地提高了国土资源管理工作效率。     

基于BS的人才管理系统的设计与实现

目前计算机、网络技术的发展和应用日益普及,大力发展人才开发事业是当前任何企事业单位的迫切需求,使得目前人才库建设的任务日益繁重,借助于计算机网络实现人才库系统建设是一个重要的发展趋势。本文根据地方政府管理部门对人才资源的管理需求,分析了建设人才资源数据库系统的功能要求与需求特点,并根据系统的特点,分析了人才资源数据库的实体一关系,对于重要功能模块进行了设计与测试。     

嵌入式调试中的数据获取和错误定位

嵌入式软件系统因其软件相关性和硬件相关性而比常规软件的调试复杂很多,特别是在数据获取和故障定位方面最为突出。从嵌入式软件开发与常规软件开发的异同着手,以该行业实践积累为基础,列出并讨论了一些行之有效的数据获取及错误定位方法,希望能为该领域开发人员提供一点帮助。     

存储系统细粒度加密安全设计

存储系统会有成百上千的存储设备和大量的数据。其中有相当部分敏感数据需要加密存储,然而现有的存储系统只能对整个文件进行加密,而不能对文件某一部分进行加密。尽管其实现方法比较简单,但它会导致系统额外的开销并且极大的影响系统性能。本文提出了存储系统的一种文件细粒度加密方案,它可以充分利用分布式存储内在的特性,有效地利用元数据信息对文件内多个任意大小的数据块进行加密。用户还可以根据数据块的保密级别对不同的数据块定义不同的加密算法以满足需要。对于广泛存在的视频、地图、档案等大文件实现不同粒度加密策略,可减少文件中不必要的数据加密操作,极大提高存储系统的性能。