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

电子学报 2007年第8期35卷 1425-1431页

作者：麻志毅邹艳珍北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室北京100871

由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述... 详细信息

由于服务的分布与协作特性,有必要在服务合约库系统间进行协作.然而,目前的大多数服务合约库系统都遵循自己的服务合约标准和服务合约分类标准.针对这种状况,本文提出了一个用于对分布式服务合约库系统进行建模的元模型.首先,本文描述了一个大多数服务合约库系统所遵循的功能模型,然后基于此从服务合约库系统的结构和互连体系这两方面详细地阐述了这个元模型,并在UML2.0中进行了扩展,形成一个UML外廓.本文进一步地阐述了利用该外廓对青鸟分布式服务合约库系统所建立的模型.

关键词：分布式服务合约库系统元模型 UML建模

来源：评论

学校读者我要写书评

暂无评论

一个支持模型驱动开发的元建模平台的研制

引用

电子学报 2008年第4期36卷 731-736页

作者：麻志毅刘辉何啸张乐吉喆戈牧北京大学信息科学技术学院软件所高可信软件技术教育部重点实验室北京100871

由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,... 详细信息

由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,以及针对所建立的建模语言和转换定义语言提供自动生成相应工具的设施.

关键词：元建模模型驱动开发平台

来源：评论

学校读者我要写书评

暂无评论

一种新型DNA自组装磁珠光电检测系统及其在DNA计算机研制中的应用

引用

计算机学报 2013年第9期36卷 1826-1834页

作者：李菲许进北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

文中提出了一种基于硅芯片集成自组装磁珠颗粒的新型DNA光电检测系统,该系统利用普通照射光源及光电二极管进行光电信号转换,通过比较DNA杂交反应前后的光电流值,来识别DNA杂交信号.该系统是一种首次将磁珠和光电二极管相结合的新型DNA... 详细信息

文中提出了一种基于硅芯片集成自组装磁珠颗粒的新型DNA光电检测系统,该系统利用普通照射光源及光电二极管进行光电信号转换,通过比较DNA杂交反应前后的光电流值,来识别DNA杂交信号.该系统是一种首次将磁珠和光电二极管相结合的新型DNA杂交检测系统,具有成本低廉、快速检测及高精度的特点.这种检测方法不需要信号增强步骤,就能够有效区分DNA单碱基错配及完全杂交的情况;由于采用了磁珠颗粒,易于在DNA计算中删除问题的非解.文中给出了求解图的最小顶点覆盖问题DNA计算模型实例,该实例证实了文中所提出的检测系统较传统检测系统具有明显的优势,有利于实现DNA计算机检测系统中解的自动化检测.

关键词： DNA检测光电二极管磁珠 DNA杂交反应 DNA计算

来源：评论

学校读者我要写书评

暂无评论

一个可半自动化扩展的静态代码缺陷分析工具

引用

计算机学报 2011年第6期34卷 1114-1125页

作者：梁广泰孟娜李进辉钟浩张路王千祥北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有... 详细信息

基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这种分析技术的大多数工具并没有为用户提供足够易用、高效的扩展方式以扩充其缺陷检测能力.针对这一问题,作者提出了一个"可半自动化扩展"的代码缺陷静态分析方法,设计并实现了一个支持该方法的工具——CODA(COde Defect Analysis tool).CODA不仅提供了"缺陷模式描述模板"以帮助用户快速地手工扩充缺陷模式库,还能在用户的指导下半自动化地挖掘新缺陷模式以快速扩充其缺陷模式库.一旦新的缺陷模式被定义并添加至缺陷模式库中,CODA便能自动具有针对该类缺陷的检测能力.

关键词：静态分析缺陷分析半自动化扩展缺陷模式

来源：评论

学校读者我要写书评

暂无评论

可满足性问题生物砖翻转细胞计算模型

引用

计算机学报 2013年第12期36卷 2537-2544页

作者：陈梅陈向群张路许进北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871

细胞内丰富的信息处理机制和细胞计算的巨并行性一直吸引着科学家构建细胞计算机.科学家利用细胞内的信息处理机制开发了不少模仿简单电子器件功能的细胞计算部件,如细胞布尔逻辑门、细胞记忆单元等,但这些部件没有充分利用细胞计算的... 详细信息

细胞内丰富的信息处理机制和细胞计算的巨并行性一直吸引着科学家构建细胞计算机.科学家利用细胞内的信息处理机制开发了不少模仿简单电子器件功能的细胞计算部件,如细胞布尔逻辑门、细胞记忆单元等,但这些部件没有充分利用细胞计算的巨并行性特点.DNA重组酶Hin能催化DNA片段的翻转反应,通过切换DNA片段的方向来调控基因的表达.该文利用DNA重组酶Hin的这一性质,以合成生物学中广泛使用的生物砖为材料,以大肠杆菌Escherichia coli为宿主细胞,以DNA重组酶Hin为计算工具,构建了一个解决可满足性问题的细胞计算模型.该模型中,每个细胞可独立地生成并判定可满足性问题的一个解,数以亿计的细胞可检查数以亿计的可能解.该模型充分利用细胞计算的巨并行性,显示了细胞计算的巨大潜力.

关键词：生物砖 DNA重组酶Hin 基因调控可满足性问题细胞计算

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种中间件服务容错配置管理方法

引用

计算机学报 2007年第10期30卷 1696-1704页

作者：李军国黄罡邹键梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视... 详细信息

提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视图;然后,操作运行时刻软件体系结构配置容错机制;最后利用AOP技术将容错机制插装到中间件中,使其具备指定的容错能力.上述过程在一个可视化工具的辅助下半自动实施,并在J2EE中间件上得到验证.

关键词：中间件可靠性软件体系结构软件容错

来源：评论

学校读者我要写书评

暂无评论

对称密码算法的性能优化

引用

北京大学学报（自然科学版） 2008年第5期44卷 733-738页

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

选择AES-128,SHA-256,SHA-512和Whirlpool4个目前应用最为广泛的对称算法进行优化。首次讨论了如何在龙芯2E通用处理器上优化对称密码算法。针对每种算法提出了具体的优化技术,并对优化后的结果进行了分析。优化后所获得的性能是目前已... 详细信息

选择AES-128,SHA-256,SHA-512和Whirlpool4个目前应用最为广泛的对称算法进行优化。首次讨论了如何在龙芯2E通用处理器上优化对称密码算法。针对每种算法提出了具体的优化技术,并对优化后的结果进行了分析。优化后所获得的性能是目前已知的龙芯处理器上的最好结果。针对对称密码算法,给出了龙芯2E新指令扩展的建议和一个新的并行Hash函数模式。

关键词：龙芯2E Hash函数对称密码算法 SHA AES 快速实现

来源：评论

学校读者我要写书评

暂无评论

一种考虑QoS数据可信性的服务选择方法

引用

软件学报 2008年第10期19卷 2620-2627页

作者：李研周明辉李瑞超曹东刚梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

随着Internet上功能相似的Web服务的逐渐增多,在运行时刻基于服务质量(QoS)对Web服务进行查找和选择已成为研究热点.现有的基于QoS的服务选择方法通常假定服务提供者和使用者给出的QoS数据都是真实可信的,然而这一假设在实际中往往很难... 详细信息

随着Internet上功能相似的Web服务的逐渐增多,在运行时刻基于服务质量(QoS)对Web服务进行查找和选择已成为研究热点.现有的基于QoS的服务选择方法通常假定服务提供者和使用者给出的QoS数据都是真实可信的,然而这一假设在实际中往往很难保证.为此,提出了一种考虑QoS数据可信性的服务选择方法.方法从QoS数据来源的角度对质量属性进行分类和计算:对于数据来自服务提供者的质量属性,使用以往运行数据统计,对提供者的QoS数据进行修正;对于数据来自服务使用者的质量属性,通过计算用户间以往反馈的相似程度权衡不同QoS反馈数据的可信程度.对此给出了实现框架,并通过一组模拟实验说明该方法能够有效地削弱不可信的QoS数据对服务选择的影响,增强了Web服务选择结果的准确性.

关键词：可信 QoS 服务选择

来源：评论

学校读者我要写书评

暂无评论

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分子杂交

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：