检索结果-内蒙古大学图书馆

中国科学（E辑） 2008年第10期38卷 1594-1613页

作者：尹霞王之梁景传明施新刚清华大学计算机科学与技术系清华信息科学与技术国家实验室(筹) 北京100084 清华大学信息网络工程研究中心

用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络.为下一代互联网服务的协议测试技术需要适应这些测试需求.文中重点研究了协议测试中的测试集描述法和测试实现技术.选取了TTCN-3作为测试集描述法,并针... 详细信息

用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络.为下一代互联网服务的协议测试技术需要适应这些测试需求.文中重点研究了协议测试中的测试集描述法和测试实现技术.选取了TTCN-3作为测试集描述法,并针对协议鲁棒性测试需求进行了语法和语义扩展.开发了基于TTCN-3的协议集成测试系统PITSv3,并对其进行了鲁棒性测试扩展实现.最后通过两个实际的测试应用,体现出PITSv3是一个具有通用性、标准性、可扩展性特点的分布式测试平台.

关键词：协议测试 TTCN-3 PITSv3 鲁棒性测试

来源：评论

学校读者我要写书评

暂无评论

一种形式化的实时协议互操作性测试方法

引用

中国科学（E辑） 2008年第10期38卷 1614-1635页

作者：王之梁尹霞景传明清华大学信息网络工程研究中心清华信息科学与技术国家实验室(筹) 北京100084 清华大学计算机科学与技术系

协议互操作性测试是一种保证网络通信协议实现质量的重要技术.下一代互联网协议需要提供对实时应用的有效支持,然而已有互操作性测试相关研究中并没有考虑协议中的时间约束,现有互操作性测试技术很难应用于实时协议互操作性测试中.文中... 详细信息

协议互操作性测试是一种保证网络通信协议实现质量的重要技术.下一代互联网协议需要提供对实时应用的有效支持,然而已有互操作性测试相关研究中并没有考虑协议中的时间约束,现有互操作性测试技术很难应用于实时协议互操作性测试中.文中提出了一种形式化的实时协议互操作性测试方法.首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA(通信多端口时间输入输出自动机),基于该模型定义了时间互操作性关系;然后提出一种以时间互操作性关系为指导的测试生成方法,根据被测系统模型生成参数化测试行为树,在该方法中还集成了可执行性预判决机制,在一定程度上缓解了状态空间爆炸问题;最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中,验证了该方法的可行性.

关键词：协议测试互操作性测试实时测试测试生成时间输入输出自动机TIOA

来源：评论

学校读者我要写书评

暂无评论

误差可控的近似B样条曲面蒙皮算法

引用

计算机辅助设计与图形学学报 2008年第11期20卷 1477-1482页

作者：王文珂张慧王斌清华大学软件学院北京100084 清华大学计算机科学与技术系北京100084 信息系统安全教育部重点实验室北京100084 清华信息科学与技术国家实验室北京100084

B样条曲面蒙皮是曲面造型中常用的一种造型方式,传统的蒙皮算法会导致最终的蒙皮曲面含有大量的控制点.在Piegl算法的基础上,提出一种更加高效且误差可控的近似蒙皮算法.对B样条基函数的最大值进行了更为精确的估计,并且充分利用B样条... 详细信息

B样条曲面蒙皮是曲面造型中常用的一种造型方式,传统的蒙皮算法会导致最终的蒙皮曲面含有大量的控制点.在Piegl算法的基础上,提出一种更加高效且误差可控的近似蒙皮算法.对B样条基函数的最大值进行了更为精确的估计,并且充分利用B样条基函数的局部支撑性,尽可能多地删除相容性处理后B样条曲线的控制点,使得蒙皮算法更加有效.实验结果表明,在同样的误差范围内,文中算法可以比Piegl算法减少更多的控制点.

关键词： B样条蒙皮曲线相容性处理

来源：评论

学校读者我要写书评

暂无评论

RRM：一种具有激励机制的信誉模型

引用

中国科学（E辑） 2008年第10期38卷 1747-1759页

作者：张洪段海新刘武清华信息科学与技术国家实验室筹北京100084 清华大学信息学院计算机科学与技术系北京100084 清华大学信息网络工程研究中心北京100084

信誉系统是一种重要的网络安全机制,被广泛应用于在线电子交易系统等领域,其目的在于激励用户提供真实可信的服务以及遏制非法用户的各种欺骗行为,从而维护诚实用户的合法利益.分析了现有信誉模型所存在的问题,并针对这些问题提出了一... 详细信息

信誉系统是一种重要的网络安全机制,被广泛应用于在线电子交易系统等领域,其目的在于激励用户提供真实可信的服务以及遏制非法用户的各种欺骗行为,从而维护诚实用户的合法利益.分析了现有信誉模型所存在的问题,并针对这些问题提出了一种具有激励机制的信誉模型.该模型通过建立相应的鼓励与惩罚机制,不仅能激励用户持续地提供真实可信的服务,也能对非法用户的欺骗行为及时作出惩罚.模拟实验结果显示,该模型能够有效的抵制常见的恶意行为并保护诚实用户的合法利益.

关键词：信誉模型分布式系统信任机制网络安全

来源：评论

学校读者我要写书评

暂无评论

转录因子结合位点的计算分析方法

引用

生物物理学报 2008年第5期24卷 334-347页

作者：李婷婷蒋博汪小我张学工清华大学生物信息学教育部重点实验室清华信息科学与技术国家实验室(筹)生物信息学研究部清华大学自动化系北京100084

基因组上众多基因和非编码转录体按照特定的规律有序地表达是细胞正常生命活动的基础。转录调控是基因表达调控的关键步骤,转录因子结合在基因启动子序列中的转录因子结合位点,启动基因的转录和控制基因的转录效率。分析转录因子结合位... 详细信息

基因组上众多基因和非编码转录体按照特定的规律有序地表达是细胞正常生命活动的基础。转录调控是基因表达调控的关键步骤,转录因子结合在基因启动子序列中的转录因子结合位点,启动基因的转录和控制基因的转录效率。分析转录因子结合位点对研究基因调控系统有着重要意义,生物信息学在转录因子结合位点的研究中发挥着关键的作用。文章综述了分析蛋白质编码基因的转录因子结合位点的典型流程,总结了主要的算法、软件和资源,并简要评述了目前非编码RNA转录调控的研究现状。

关键词：转录因子结合位点模体识别模体定位非编码RNA转录调控生物信息学

来源：评论

学校读者我要写书评

暂无评论

结合AS层次关系的域间路由收敛时间分析

引用

中国海洋大学学报（自然科学版） 2008年第S1期38卷 175-178页

作者：吴鑫尹霞王之梁唐敏清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室(筹) 北京100084 清华大学信息网络工程研究中心北京100084

域间路由系统存在慢收敛现象,已有研究表明该现象与不同路由事件及AS之间的商业关系有关。文中结合AS层次关系推导算法及路由事件分类算法对路由事件进行细分,分析比较了各类细分路由事件收敛时间的特征。实验结果表明:将AS商业关系作... 详细信息

域间路由系统存在慢收敛现象,已有研究表明该现象与不同路由事件及AS之间的商业关系有关。文中结合AS层次关系推导算法及路由事件分类算法对路由事件进行细分,分析比较了各类细分路由事件收敛时间的特征。实验结果表明:将AS商业关系作为路由事件分类标准之一,直接影响了各类路由事件收敛时间的统计特征;并且定量说明了2006年12月26日发生在台湾海域的地震对整个路由系统造成的巨大影响。

关键词：域间路由收敛时间边界网关协议(BGP) 自治系统(AS)

来源：评论

学校读者我要写书评

暂无评论

新一代互联网体系结构理论研究进展

引用

中国科学（E辑） 2008年第10期38卷 1540-1564页

作者：吴建平刘莹吴茜清华大学计算机科学与技术系清华大学信息网络工程研究中心北京100084 清华信息科学与技术国家实验室(筹) 北京100084 清华大学信息网络工程研究中心

互联网已成为支撑现代社会经济发展、社会进步和科技创新的最重要信息基础设施.30年前发明的互联网面临着越来越严重的技术挑战.文中介绍了国内外新一代互联网主要研究计划的进展情况;分析了新一代互联网的基本特征及其发展所面临的主... 详细信息

互联网已成为支撑现代社会经济发展、社会进步和科技创新的最重要信息基础设施.30年前发明的互联网面临着越来越严重的技术挑战.文中介绍了国内外新一代互联网主要研究计划的进展情况;分析了新一代互联网的基本特征及其发展所面临的主要矛盾;详细介绍了国家"973"计划项目"新一代互联网体系结构理论研究"围绕新一代互联网体系结构中的关键科学问题所开展的研究和已获得的研究成果;面对近年来新一代互联网体系结构基础研究的新形势和互联网许多创新应用对体系结构的新需求,展望了未来该领域的研究重点.

关键词：新一代互联网网络体系结构多维可扩展

来源：评论

学校读者我要写书评

暂无评论

SCA技术在个性化标注系统中的应用

SCA技术在个性化标注系统中的应用

引用

2008全国软件与应用学术会议(NASAC'08)

作者：赵洋张勇邢春晓清华大学计算机科学与技术系北京 100084 清华信息科学与技术国家实验室北京 100084 清华大学信息技术研究院北京 100084 清华信息科学与技术国家实验室北京 100084

面向服务组件的架构(SCA)是一种跟语言无关的服务组件模型,目的是简化客户的编程,提高应用的灵活性。在介绍SCA和个性化服务相关背景及相关技术的基础上,从系统概迷、domain组件设计、composite组件设计、component组件设计等四个方面... 详细信息

面向服务组件的架构(SCA)是一种跟语言无关的服务组件模型,目的是简化客户的编程,提高应用的灵活性。在介绍SCA和个性化服务相关背景及相关技术的基础上,从系统概迷、domain组件设计、composite组件设计、component组件设计等四个方面描述了个性化资源标注系统Tagsys的体系架构设计,给出了系统中企业服务总线(ESB)和软件模块的具体实现,最后对系统进行了总结和展望。

关键词：服务组件个性化标注企业服务总线软件模块

来源：评论

学校读者我要写书评

暂无评论

BioCryptor基于级联模糊提取的新型生物密码方法

BioCryptor基于级联模糊提取的新型生物密码方法

引用

第十三届全国青年通信学术会议

作者：施金洋林国恩顾明清华大学计算机科学与技术系清华大学信息科学与技术国家实验室清华大学信息系统安全(教育部)重点实验室

在现代密码系统中,密钥的管理和保护是一个非常关键的问题,传统的基于口令和智能卡的保护机制,不能实现密钥跟责任人的唯一绑定,存在安全局限。因此,本文提出一种新的生物密码方法BioCryptor,利用人体固有的生物特征直接作为加解密的密... 详细信息

在现代密码系统中,密钥的管理和保护是一个非常关键的问题,传统的基于口令和智能卡的保护机制,不能实现密钥跟责任人的唯一绑定,存在安全局限。因此,本文提出一种新的生物密码方法BioCryptor,利用人体固有的生物特征直接作为加解密的密钥,可以提高密钥管理的安全性和方便性。在公开标准指纹数据库上的实验表明,BioCryptor基于集合同步理论和秘密共事理论的级联模糊提取器,能有效解决生物模糊性和密码准确性的矛盾;同时具备无需噪声节点的优点,能有效抵抗现有Fuzzy Vault方法面临的攻击,提高指纹生物加密的安全性,因此是一种更有潜力的生物密码新方法。

关键词：信息安全密钥管理生物密码指纹

来源：评论

学校读者我要写书评

暂无评论

结合AS层次关系的域间路由收敛时间分析

结合AS层次关系的域间路由收敛时间分析

引用

中国教育和科研计算机网(CERNET)第十五届学术年会

作者：吴鑫尹霞王之梁唐敏清华大学计算机科学与技术系北京 100084 清华信息科学与技术国家实验室(筹)北京 100084 清华大学信息网络工程研究中心北京 100084 清华信息科学与技术国家实验室(筹)北京 100084

域间路由系统存在慢收敛现象，已有研究表明该现象与不同路由事件及AS之间的商业关系有关。文中结合AS层次关系推导算法及路由事件分类算法对路由事件进行细分，分析比较了各类细分路由事件收敛时间的特征。实验结果表明：将AS商业关系... 详细信息

域间路由系统存在慢收敛现象，已有研究表明该现象与不同路由事件及AS之间的商业关系有关。文中结合AS层次关系推导算法及路由事件分类算法对路由事件进行细分，分析比较了各类细分路由事件收敛时间的特征。实验结果表明：将AS商业关系作为路由事件分类标准之一，直接影响了各类路由事件收敛时间的统计特征;并且定量说明了2006年12月26日发生在台湾海域的地震对整个路由系统造成的巨大影响。

关键词：域间路由收敛时间边界网关协议自治系统 AS层次关系路由事件分类

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：