国防科学技术大学计算机学院网络与信息安全研究所
- 作品数：93 被引量：715H指数：15
- 相关作者：罗铁庚刘水平张利银王家新余洋更多>>
- 相关机构：北京科技大学计算机与通信工程学院武汉大学计算机学院软件工程国家重点实验室武汉大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 端用户网络业务管理控制代理技术的研究和实现
- 目前网络安全主要考虑来自外部的攻击，本文采取从内部源头上进行安全防护的方法，提出了基于端用户的代理系统，该系统对端用户访问外部网络实施有效管理和控制。通过建立小型的 CA，根据用户信息生成 x.509 标准的数字证书，把...
- 朱睿琳王勇军苏金树
- 关键词：身份认证非法外联代理系统
- 文献传递
- 支持运行监控的可信软件体系结构设计方法被引量：14
- 2010年
- 近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.
- 文静王怀民应时倪友聪王涛
- 关键词：软件工程
- 模型转换的重写逻辑构架研究被引量：4
- 2006年
- 规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通过产生式规范、多方法风格的重写规则集设计、OC(对象配置)和OM(对象消息)重写规则分类等技术并结合模型检查工具,为自动产生元模型和模型的面向对象可执行代数规范、转换规则的严格形式化定义、转换协调方面的刻画、终止性和一致性等的验证提供支持。
- 尹剑飞王学斌
- 关键词：重写逻辑模型驱动构架
- 大规模文本数据库中的短文分类方法被引量：5
- 2006年
- 信息技术的飞速发展造成了大量的文本数据累积,其中很大一部分是短文本数据。文本分类技术对于从这些海量短文中自动获取知识具有重要意义。但是由于短文中的关键词出现次数少,而且带标签的训练样本又通常数量很少,现有的一般文本挖掘算法很难得到可接受的准确度。一些基于语义的分类方法获得了较好的准确度但又由于其低效性而无法适用于海量数据。文本提出了一个新颖的短文分类算法。该算法基于文本语义特征图,并使用类似kNN的方法进行分类。实验表明该算法在对海量短文进行分类时,其准确度和性能超过其它的算法。
- 王永恒贾焰杨树强
- 关键词：文本挖掘短文
- 基于CORBA截获器的分布对象复制算法
- 本文描述了一种基于CORBA可移植截获器的分布对象复制模型,并在此基础上设计一个被动复制算法.该算法不仅可以保证分布对象复制的透明性和一致性,而且还具有较好的可移植性.算法在分布对象中间件平台StarJORB上进行了实现...
- 李磊王怀民史殿习刘惠
- 关键词：分布计算技术
- 文献传递
- Mashup研究与进展
- Mashup是一种数据集成技术,它通过汇聚多个信息源的信息来创建新的Web应用,具有Web2．0的特点。本文系统地介绍了这一崭新领域的理论研究和应用进展情况,并对Mashup中资源分类及获取、Mashup工具、资源匹配、...
- 朱锐郭长国王怀民
- 关键词：WEB2.0数据集成技术
- 一种双层P2P结构的语义服务发现模型被引量：36
- 2007年
- 在开放的Internet环境下,多本体共存是一种必然.同时,集中式的语义服务发现机制是整个面向服务计算的瓶颈,导致系统的可扩展性差.为了支持多本体共存并提高系统的可扩展性,提出一种双层P2P语义服务发现模型.该模型以本体社区为核心,将iVCE(Internet-based virtual computing environment)的核心概念集成到P2P模型中.基于该模型,提出一种分两个阶段、3个步骤的服务发现算法.除了在本体社区内以外,算法还可以实现跨社区的服务发现.在本体社区内,算法首先根据语义相似性选定相应的注册服务器,然后再利用逻辑推理来实施精确的服务匹配.而跨社区的服务发现则按照一定的策略实施.该模型适用于多本体共存的开放环境.实验结果表明,通过合理的参数配置,模型能在查全率和服务发现响应时间之间加以折衷,并取得较好的结果;另外,模型能够在不降低服务查全率的情况下降低注册服务节点的平均负载.
- 刘志忠王怀民周斌
- 关键词：P2P
- 基于分布对象技术的企业级信息处理系统的设计与实现被引量：2
- 2001年
- 1 引言
随着网络通信技术尤其是因特网技术的迅猛发展,人类社会开始步入信息化社会,一些新的通信服务对企业的传统业务构成了巨大的冲击.在激烈的市场竞争背景下,企业需要借助各种新型技术,积极调整自己的服务结构,将传统服务内容和形式拓展到信息服务领域,在新经济的大潮下站稳脚跟,并开拓更广阔的发展空间.
- 邓谆谆邓宇刘江宁吴泉源
- 低功耗系统的抢占阈值调度
- 低功耗目前已成为嵌入式系统设计中非常重要的性能需求,动态电压调度(Dynamic Voltage Scaling,DVS)机制通过调整即时处理器电压进而有效降低系统功耗,正在逐渐得到广泛应用。但是当前的DVS算法大多只是...
- 贺小川贾焰
- 关键词：动态电压调整抢占阈值调度实时系统
- 文献传递
- 面向OLAP的高效海量数据存储技术研究与实现
- 文章在分析了OLAP大规模海量多维数据特点的基础上,针对当前一般规模关系数据库处理海量多维数据能力的不足,通过使用数据库分区技术和并行磁盘组技术,设计并实现了一种高效的、面向OLAP应用的数据存储管理结构。并针对传统查询...
- 韩毅韩伟红杨树强贾焰
- 关键词：数据存储海量关系数据库文本数据
- 文献传递
