概念的最小上近似

近似信息检索方法通过找到概念的最小上界,然后求出概念的上近似来解决本体异构问题.现有方法只考虑包含独立概念的最小上界,无法找到概念的最小上近似.引入概念的析取定义概念的多元最小上界,证明了基于多元最小上界得到的近似是概念的最小上近似.多元最小上界通常会存在大量的冗余,从而增加概念最小上近似表达式的复杂性.为此给出概念的最简多元最小上界的定义,并提供了寻找最简多元最小上界的有效算法.     

WWW缓冲挖掘中基于粗糙集的用户模糊兴趣建模

如何有效充分地利用WWW缓冲中的信息,其关键是建立一个合适的用户兴趣模型和构造合适的兴趣挖掘算法。用户的兴趣是一个相对模糊的概念,简单兴趣模型通过（词条,权重）来刻画兴趣,但是它的表示粒度太小,不能贴切地描述用户的兴趣。文中在充分分析WWW缓冲模型的基础上提出了基于粗糙集的用户模糊兴趣概念。利用该方法可以对WWW缓冲中的网页文档和文档集合进行统一建模,这为利用用户历史兴趣信息和进行兴趣匹配提供了便利。     

两两组合覆盖测试数据自动生成集成工具的设计与实现

两两组合覆盖测试方法是一种科学有效的软件测试方法,相应的测试数据生成算法是人们研究的一个重点问题,本文在人们已有的研究基础上,结合我们在这个方面的研究成果,设计实现了一个两两组合覆盖测试数据自动生成工具,所产生的测试数据集与同类工具相比具有一定的特点和优势。     

Web应用的自动测试

Web应用测试涉及到各种纷繁艽杂的测试对象、方法和过程,需要增强其测试执行过程的自动化、智能化水平以提高测试效率。为此,本文结合Web应用的特性,对自动、智能执行Web应用测试的必要性、可行性进行分析;在此基础上,详细描述并深入分析Web应用测试的执行过程,明确测试执行的步骤、流程以及采用的技术、工具等相关内容;再次,改进捕捉,回放技术使之适应Web应用的动态特性,并采用智能Agent来实现对整个测试执行过程的监控、管理和应急处理,从而自动、智能地执行Web应用测试。     

一种基于模块单子语义的动态程序切片方法

提出一种基于程序模块单子语义的新动态切片方法--模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体：切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性.     

远程考试系统中的数据安全

Internet的开放环境以及一些数据的敏感性使得在一些应用中城 强对数据的安全处理,本文介绍了在应用系统中通过加密机制实现对数据保密的一种途径。     

面向方面的程序设计:概念、实现与未来

面向对象程序设计（OOP）的出现极大地提高了软件的可读性、可维护性和可复用性,但OOP并没有彻底解决软件的维护和复用问题,本质上是因为OOP难以模块化处理软件系统的横切关注点,以至于业务逻辑代码和其它代码（如日志记录、安全验证等）相互“纠缠”在一起,使得程序难以维护和复用。面向方面的程序设计（AOP）由此诞生,它最主要的设计原则是模块化系统的横切关注点,将业务代码与其它代码解耦,在更高的抽象和分解层次上,进一步提高了软件的可维护性、可复用性和可扩展性。首先深度探索了AOP的起源,然后阐述了AOP的本质,接着介绍了AOP的基本概念并以最为流行的实现语言AspectJ为例,剖析了AOP的实现机制,最后讨论了AOP在软件开发、测试、分析、度量和重构等领域的研究状况。     

信息技术专业方向特点及其相关专业方向的比较

随着计算机软硬件及通信技术的发展,计算的概念发生了巨大的变化,已经拓展到难以用一个学科来定义的境地。教育部计算机教学指导委员会在回顾历史、分析现实、广泛调研和充分借鉴国际上计算机办学检验的基础上,提出了以“培养规格分类”为核心思想的计算机专业发展思路,从两个不同层面将计算机专业划分为四个独立的专业方向,即计算机科学(研究型)、计算机工程(工程型)、软件工程(工程型)和信息技术(应用型)。提倡各个学校应根据各自的情况和社会需求为学生提供不同类型(研究型、工程型、应用型)的教学计划和培养方案。人们一般对于计算机科…     

基于CoFe2O4@C锂空气电池正极催化剂的研究

锂空气电池因其具有超高的能量密度从而引起了研究者们的广泛关注,但其研究处于初级阶段。其中找到合适的锂空气电池正极催化剂是目前研究的主要方向之一。通过溶胶-凝胶联合原位水热合成法成功实现了适用于锂空气电池正极的催化剂铁酸钴@科琴黑（CFO@KB）复合材料的制备。通过调整铁酸钴与科琴黑的质量比（1∶1、3∶1、5∶1、7∶1）,得到不同性能的CFO@KB复合物,并利用XRD表征其结构,发现本研究合成的铁酸钴为尖晶石型,且CFO@KB复合物仍然呈现其特征峰。当容量限制在180 mA·h/g（以电极材料计）、铁酸钴与科琴黑质量比为1∶1时,其复合物在锂空气电池中呈现出最好的限容循环稳定性和较高的放电截止电压。其充电电压和放电电压之间的电压差为0.2 V,小于现有相关文献中报道的值。