概念图构建中概念术语自动提取的研究与实现

概念图的构建是一项复杂的工程,在概念术语提取阶段往往需要领域专家花费大量时间手工完成.随着概念图在信息处理和知识管理系统中得到日益广泛的应用,仅仅依靠领域专家来手工提取概念术语生成概念图的办法已不能满足应用需求.基于此,提出结合网络爬虫技术和LSA的方法自动提取概念术语,生成概念图的方法,可以降低概念图制作的人工复杂度,高效、准确的构建概念图,可以大大扩展概念图的应用范围.从指定网站上爬取大量领域文本资源;进行文本预处理并抽取特征项;再利用LSA挖掘特征项与特征项、特征项与文本之间的潜在语义结构,消除噪音及冗余特征项,提取概念术语.实验结果表明,结合网络爬虫技术和LSA方法能够降低概念术语的提取过程中的人力复杂度,去除冗余概念,并提高准确性.     

四分位数特征的快速分形图像编码算法

尽管分形图像编码在高压缩比时具有较好的视觉质量,但其固有的编码耗时限制了它的广泛应用。编码时间主要花费于在一个海量码本中寻找每个range块的最佳匹配domain块。针对这个问题,提出一个限制搜索空间的算法：根据新定义的图像块的四分位数特征与匹配均方根误差间的关系不等式,一个待编码range块只在初始匹配块（即与range块具有最接近四分位数特征的domain块）的邻域内搜索其最佳匹配块,搜索邻域的大小由预先设置的误差阈值来控制。仿真结果表明,三幅测试图像在重建图像质量更优的情况下,全搜索分形编码算法的编码速度平均加快了51倍左右（误差阈值为10）,与新叉迹特征算法相比,可获得更好的编码效果。     

人工免疫系统中变异算法研究

在基于人工免疫理论入侵检测系统中,变异算法的缺点导致了较高的误报率和漏报率。该文提出了一种变异机制,能够加快进化速度,保存具有优势特征的物种,提高检测效率和准确性。该机制定义了自体/非自体的概念和形式化描述,给出了成熟细胞动态方程、亲和力累积方程。实验结果表明,当k取40附近值时,只要参数合适,TP值就能稳定在95％以上。该模型具有良好的实时性、自适应性和准确性,为构建新一代高效、合理的网络安全系统提供了一种有效方案。     

讨论式教学法在大学计算机基础教学中的应用

讨论式教学法是以激励学生主动思考、主动参与为基本特征,以促进学生整体素质全面发展的一种教学形式。该文在对讨论式教学法与传统教学法比较的基础上,就如何在大学计算机基础教学中实施讨论式教学法进行了初步探讨。     

OGSA及其在具体宿主环境中服务的实例化

开放网格服务体系结构（open grid services architecture,0GSA）是继5层沙漏结构之后最重要也是目前最新的一种网格体系结构,被称为下一代的网格体系结构。分析了OGSA的基本原理,并对如何利用OGSA提供的各种接口实现服务进行了研究,最后在具体宿主环境中实现了MathService网格服务的实例化。     

基于ElGamal公钥体制的动态密钥托管方案

基于ElGamal公钥体制,利用了单向函数不可求逆的安全特性,给出了一个动态密钥托管方案,可用于任意接入结构.与已有的其他密钥托管方案相比,它具有以下优点:①每个托管代理者的子密钥可以多次使用;②如果某个托管代理者的子密钥泄露,系统只需为他重新分配子密钥,而不必更改其他成员的子密钥;③系统可以很方便地增加、删除托管代理成员.该方案不但可以验证托管内容的有效性,确认欺骗者,保证了托管代理子密钥的安全性;而且提高了密钥托管的动态性和灵活性.     

防欺诈的动态密钥托管方案

采用动态可验证秘密共享方案,设计了一个可防欺诈的动态密钥托管方案,有效地解决了共享秘钥的动态更新、子密钥动态分配问题,且易于实现、效率高,提高了密钥托管的动态性和灵活性.该方案不仅能够有效克服易受阈下信道攻击的缺点,验证用户的托管密钥正确性,检查出失效的托管代理,而且能够解决"一次监听,永久监听"的问题,避免监听机构权力过大的现象,还能够防止密钥管理中心与托管代理的欺诈.     

面向本体的语义服务组合评价模型研究

为提高服务组合的精确性和一致性,提出一种面向本体的语义服务组合评价模型,并采用面向本体的语义服务描述方法来增强服务识别定位能力。建立了一种评价模型来度量服务组合情况,以提高服务组合的鲁棒性。据此建立服务组合评价的多目标优化模型,通过多目标的改进性遗传算法求解服务组合,采用层次模糊评价体系分析各类服务组合,并选择最高的评价结果作为最终服务组合结果。最后通过应用分析表明,克服了传统服务组合的局部性、单一性和评价不对称性,使服务组合更加高效。     

面向服务的网构软件中间件研究

网构软件是近年来提出的一种具有自底向上的自主性、协同性、反应性、演化性、多态性等特征的软件状态 ,主要用来解决 Internet下分散的构件体的共享、集成和复用 ,但网构软件还处于发展初始阶段。结合 SCA简化 SOA所构建的业务应用程序的设计和集成 ,以及 SDO和 DAS的数据访问模式来构建一种网构软件中间件框架 ,并用 UML对各个阶段建模 ;最后结合 Apache下 SCA系统的 Tuscany开源包的一个远程教育集成系统来应用该网构软件中间件。     

一种优化的直接匿名证言协议方案

DAA(direct anonymous attestation)既解决了隐私CA(certificate authority)的瓶颈问题,又实现了对TPM(trusted platform module)芯片的认证和匿名,是当前可信计算平台身份证明最好的理论解决方案之一.但是该协议基于强RSA困难假设,实现过程中不仅涉及到多个实体,而且涉及大量的耗时运算.突出的性能问题制约了该协议的广泛应用.基于普通椭圆曲线离散对数的困难性假设,提出了一种较为优化的直接匿名证明方案TMZ-DAA.该方案仅依赖普通椭圆曲线离散对数的困难性假设,涉及到的主要运算是椭圆曲线的点加和标量乘,复杂性大大降低,不仅密钥长度和签名长度方案较短,而且在总性能方面得到较大提高,降低了Join协议、Sign协议以及Verify算法中TPM,Host,Issuer以及Verifier等各个参与实体的计算量,为基于椭圆曲线的TPM提供了可行的隐私性保护解决方案.利用理想系统/现实系统模型对该方案的安全性进行分析和证明.结果表明,该方案满足不可伪造性、可变匿名性和不可关联性.