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

流密码算法RC4的教学设计

引用

信息安全与技术 2010年第9期1卷 80-82页

作者：王昭北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

针对流密码算法RC4教学过程中存在难以理解的问题,在分析RC4算法的基础上,本文提出了一种基于摸球模型的RC4算法教学模型和教学过程,在密码学课程教学方面取得了良好的效果。

关键词： RC4算法流密码摸球模型教学过程设计

来源：评论

学校读者我要写书评

暂无评论

XSLC:分层编码并面向查询的XML数据压缩算法

引用

计算机科学与探索 2010年第2期4卷 145-152页

作者：付强王腾蛟李红燕杨冬青唐世渭北京大学信息科学技术学院北京100871 北京大学高可信软件技术教育部重点实验室北京100871 北京大学机器感知与智能教育部重点实验室北京100871

XML(extensible markup language)文档已经被广泛用作应用程序的一个数据交换格式,针对XML数据的压缩技术也逐渐成为新的研究领域。提出XSLC(XMLstream layered-coding compression)算法,通过预先扫描DTD对数据模式进行分析,继而根据元... 详细信息

XML(extensible markup language)文档已经被广泛用作应用程序的一个数据交换格式,针对XML数据的压缩技术也逐渐成为新的研究领域。提出XSLC(XMLstream layered-coding compression)算法,通过预先扫描DTD对数据模式进行分析,继而根据元素的父子关系进行子元素层面的编码;同时根据数据类型进行数据压缩,能够在压缩之后的文档上进行查询,因为仅需一遍压缩扫描所以可以应用于数据流环境。实验表明:XSLC算法的压缩比率和压缩时间均优于传统算法。

关键词：可扩展标记语言压缩文档类型定义数据流

来源：评论

学校读者我要写书评

暂无评论

面向富互联网应用的计算任务动态迁移机制

面向富互联网应用的计算任务动态迁移机制

引用

2010年全国软件与应用学术会议(NASAC2010)

作者：王旭东刘譞哲赵祺黄罡高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871

富互联网应用(Rich Intemet Applicalion)目前已经成为重要的应用模式。随着信息技术日益泛在化和服务化,富互联网应用也开始在移动设备之上运行。然而,由于设备计算能力的不足,很可能出现部分代码无法在富客户端顺利运行的情况。提出... 详细信息

富互联网应用(Rich Intemet Applicalion)目前已经成为重要的应用模式。随着信息技术日益泛在化和服务化,富互联网应用也开始在移动设备之上运行。然而,由于设备计算能力的不足,很可能出现部分代码无法在富客户端顺利运行的情况。提出面向富互联网应用的计算任务动态迁移机制,在应用运行过程中,动态地将客户端中无法执行或不适合执行的计算任务迁移到服务器端运行,并保证迁移过程之中上下文环境的同步;针对不同的应用场景,实现了两种方案：“客户端动态请求”和“服务器动态部署”：通过实验验证了本文方案的可行性。

关键词：富互联网应用富客户端计算任务迁移服务器端JavaScript

来源：评论

学校读者我要写书评

暂无评论

SASEP:一个面向软件工程的服务平台

SASEP:一个面向软件工程的服务平台

引用

2010年全国软件与应用学术会议(NASAC2010)

作者：魏豪邵津吴凌刘海文王千祥北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室

近年来,随着SaaS(Software as a Service)逐步被广泛认可,新型的软件平台PaaS(Platform as a Service)被提出,以专门支持SaaS软件向用户提供服务。本文介绍了一个面向软件工程的PaaS平台——SASEP(Service AidedSoftware Engineering Platform)。SASEP汇聚软件生命周期不同阶段的工具服务,为软件的开发与维护提供支持。SASEP采用静态分析、动态监测等技术来提高服务的可靠性和可用性,采取了合理的服务部署策略,并支持基于监测的部署调整。

关键词：平台即服务软件工程 SASEP

来源：评论

学校读者我要写书评

暂无评论

一种基于Internet的JAR包使用信息收集方法

一种基于Internet的JAR包使用信息收集方法

引用

2010年全国软件与应用学术会议(NASAC2010)

作者：刘昌盛李萌邹艳珍谢冰北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室北京 100871

随着Internet和软件复用技术的发展,在Internet上出现了越来越多可以被利用的软件资源,如Web Services、JAR包等。收集、整理这些软件资源将极大地丰富软件资源库中资源的数量和种类,从而有力地推动软件复用的进一步发展。基于上述目标... 详细信息

随着Internet和软件复用技术的发展,在Internet上出现了越来越多可以被利用的软件资源,如Web Services、JAR包等。收集、整理这些软件资源将极大地丰富软件资源库中资源的数量和种类,从而有力地推动软件复用的进一步发展。基于上述目标,本文提出了一种基于Internet的JAR包描述和评论信息收集方法,设计并了北京实现大学软件资源库JAR包信息收集子系统。该系统目前已经为6000余个JAR包资源收集、整理了相关的描述和评论信息,从而能够帮助用户有效理解、使用这些JAR包资源。本文对JAR包信息收集子系统的设计和实现进行了较为详细的论述,对其中的关键算法进行了实验验证.

关键词：软件资源软件资源库 JAR包使用信息

来源：评论

学校读者我要写书评

暂无评论

基于代理的OSGi构件监控方法

基于代理的OSGi构件监控方法

引用

2010年全国软件与应用学术会议(NASAC2010)

作者：林洪武尤朝周明辉梅宏北京大学信息科学技术学院软件研究所北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871

基于构件的软件开发和复用被认为是提高软件开发效率和质量的有效途径,并已在分布式系统中得到广泛应用,OSGi(Open Services Gateway Initiative)构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理,已被广泛应用到各种系统... 详细信息

基于构件的软件开发和复用被认为是提高软件开发效率和质量的有效途径,并已在分布式系统中得到广泛应用,OSGi(Open Services Gateway Initiative)构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理,已被广泛应用到各种系统中.在构件粒度上对系统的资源进行监控能够有效增强系统的可靠性,然而目前针对OSGi平台的构件监控技术侧重于统计整个系统的资源消耗,未能把统计的粒度细化到构件上,且不能根据各个构件的资源消耗情况对系统进行调整。本文提出一种基于代理的OSGi构件监控方法.该方法具有以下特点：第一,该方法在构件粒度上统计系统的资源消耗,能够统计到每一个构件所消耗的内存和CPU时间;第二,该方法能够发现资源消耗异常的构件并对其进行重启或替换,从而提高系统可靠性;第三,该方法具有非侵入性,即不会对构件进行任何修改,不会影响到第三方应用逻辑结构.实验表明,该方法可以准确地统计到构件的资源消耗量并据此对构件进行有效的调整,能够在不引入明显的性能代价的前提下提高系统的可靠性.

关键词： OSGi构件监控方法软件开发

来源：评论

学校读者我要写书评

暂无评论

O-表达式的性质定义与规范(英文)

引用

计算机科学与探索 2010年第1期4卷 20-28页

作者：袁崇义赵文高昕黄雨北京大学教育部高可信软件技术重点实验室北京100871 北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871

在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式(O-表达式)的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独... 详细信息

在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式(O-表达式)的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式。具有明确运行目标的O-表达式称为独立O-表达式(stand-alone O-expression,saloe)。一个完整的程序可能由若干个saloe组成。给出了一个定理,指出如何从这些saloe的性质导出完整性程序的性质。用大量实例阐明了程序性质的形式定义。

关键词： O-表达式独立O-表达式安全性进展性不变性程序规范

来源：评论

学校读者我要写书评

暂无评论

操作表达式的Petri网表示(英文)

引用

计算机科学与探索 2010年第11期4卷 961-976页

作者：袁崇义黄雨赵文黄舒志北京大学教育部高可信软件技术重点实验室北京100871 北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871

程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_... 详细信息

程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所(place)概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为C_net。从回顾C_net的基本定义入手,研究操作表达式的网表示。

关键词：物理对象操作表达式 Petri网语义公理

来源：评论

学校读者我要写书评

暂无评论

图顶点着色问题的DNA计算模型

引用

计算机学报 2009年第12期32卷 2332-2337页

作者：强小利赵东明张凯北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

DNA计算是以DNA分子作为数据的一种新型计算模式.为了减少DNA计算中编码的数量,不降低生化实验操作的可靠性,文中建立了一种基于酶切技术和PCR技术的图顶点着色DNA计算模型,给出了实现该模型的双编码的编码方案.分析表明,利用酶切技术和... 详细信息

DNA计算是以DNA分子作为数据的一种新型计算模式.为了减少DNA计算中编码的数量,不降低生化实验操作的可靠性,文中建立了一种基于酶切技术和PCR技术的图顶点着色DNA计算模型,给出了实现该模型的双编码的编码方案.分析表明,利用酶切技术和PCR技术能够有效删除非解并读取真解.该模型的解的检测方法类似于DNA测序技术,使得该模型更容易实现自动化操作.

关键词： DNA计算图顶点着色问题编码

来源：评论

学校读者我要写书评

暂无评论

DNA计算中荧光技术的应用及其发展

引用

计算机学报 2009年第12期32卷 2300-2310页

作者：张成杨静王淑栋北京大学信息科学技术学院高可信度软件技术教育部重点实验室北京100871

DNA计算作为前沿科学研究的重点和热点,已经从简单发展为复杂,从理论转化为应用.在这一过程中,反应速度快、变化灵敏的荧光标记技术发挥了重要的作用.文中围绕DNA计算和荧光标记技术两个方面进行说明.一方面,对近年来DNA计算中荧光技术... 详细信息

DNA计算作为前沿科学研究的重点和热点,已经从简单发展为复杂,从理论转化为应用.在这一过程中,反应速度快、变化灵敏的荧光标记技术发挥了重要的作用.文中围绕DNA计算和荧光标记技术两个方面进行说明.一方面,对近年来DNA计算中荧光技术的应用进行了总结:(1)荧光标记的表面计算;(2)与某些酶切技术相结合的荧光检测;(3)与DNA链置换相结合的荧光技术;(4)与基因沉默技术相结合的荧光DNA逻辑门;(5)与DNA自组装立体结构相结合的荧光技术;(6)与DNA变构相结合的荧光技术.另一方面,介绍了几种近年来发展起来的新型荧光技术:(1)荧光信号识别放大技术;(2)与磁珠技术相结合的荧光技术;(3)与PH值变化相结合的DNA荧光技术;(4)与miRNAs检测相结合的荧光技术.在今后的研究中,只有将这两者紧密结合,才能发挥DNA计算天然的优势.

关键词： DNA计算荧光标记技术纳米技术 DNA分子杂交

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：