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

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

作者：易立赵海燕张伟金芝梅宏北京大学信息科学技术学院软件研究所教育部高可信软件技术重点实验室北京100871

特征模型为特定领域内软件需求的组织和复用提供了有效的手段.为了构建特征模型,领域分析人员要对领域内尽可能多的应用软件进行系统化分析,识别共性和变化性需求,并根据需求之间的依赖关系抽象和组织需求.随着软件系统复杂性的不断提高... 详细信息

特征模型为特定领域内软件需求的组织和复用提供了有效的手段.为了构建特征模型,领域分析人员要对领域内尽可能多的应用软件进行系统化分析,识别共性和变化性需求,并根据需求之间的依赖关系抽象和组织需求.随着软件系统复杂性的不断提高,特征模型的规模有日益增加的趋势,特征模型的构建也随之成为了一件十分困难的工作,亟需自动化方法的支持.一种可行的方式是将领域内已有的多个特征模型自动融合为一个较大规模的特征模型,并由人工对融合结果进行微调.现有研究提出了6种特征模型的自动化融合方法.文中在现有研究的基础上,提出了一个特征模型融合的概念框架,并根据此框架对6种方法进行了比较和分析.文中还进一步指出了现有研究亟需解决的3个问题,并针对每个问题提出了可能的研究思路和设想.

关键词：特征模型模型融合算法软件复用

来源：评论

学校读者我要写书评

暂无评论

网构软件数据语用的一种动态支撑方法

引用

软件学报 2008年第5期19卷 1160-1172页

作者：滕腾黄罡陈兴润梅宏北京大学信息科学技术学院软件研究所

网构软件不确定的数据需求导致了其数据语用(data pragmatics,简称DP)的不确定性,进而要求数据语用的支撑机制具备动态适应能力,即应用的对象属性与数据表之间的对应关系可以按需动态地创建、更新、删除.针对当前持久化技术缺乏数据语... 详细信息

网构软件不确定的数据需求导致了其数据语用(data pragmatics,简称DP)的不确定性,进而要求数据语用的支撑机制具备动态适应能力,即应用的对象属性与数据表之间的对应关系可以按需动态地创建、更新、删除.针对当前持久化技术缺乏数据语用的动态适应性问题,提出了一种基于对象/关系映射的数据语用动态支撑方法POD(persistence on demand),并且在主流ORM(object/relational mapping)框架的基础上实现了一个遵循POD的持久化框架的原型系统.

关键词：数据语用持久化网构软件中间件

来源：评论

学校读者我要写书评

暂无评论

采用多量子阱器件的无线光通信差拍接收方案研究

引用

光学学报 2004年第8期24卷 1079-1084页

作者：刘璐汤俊雄石珏张治国黄绮付盘铭北京大学信息科学技术学院中国科学院物理研究所北京100080

研究一种采用光折变多量子阱器件的无线光通信自差拍接收方案。与寻常相干接收方案相比 ,省去了中频跟踪电子系统 ;与量子阱器件零拍方案相比 ,采用中频窄带滤波器 ,提高了接收端机的输出信噪比。理论上研究了自差拍相干接收方案 ,从其... 详细信息

研究一种采用光折变多量子阱器件的无线光通信自差拍接收方案。与寻常相干接收方案相比 ,省去了中频跟踪电子系统 ;与量子阱器件零拍方案相比 ,采用中频窄带滤波器 ,提高了接收端机的输出信噪比。理论上研究了自差拍相干接收方案 ,从其物理机制出发 ,结合信噪比分析 ,探讨了影响相干接收方案的主要因素。建立了该方案的实验系统 ,并开展了有意义的实验研究。理论分析及实验结果表明 ,该方案对激光大气传输所引起的诸多不利影响皆有一定的抑制作用 ,因而有可能应用于卫星地面激光通信和地面无线光通信系统。

关键词：光纤通信技术光折变多量子阱器件差拍相干接收地面无线光通信星地激光通信

来源：评论

学校读者我要写书评

暂无评论

基于值依赖分析的空指针解引用检测

引用

电子学报 2015年第4期43卷 647-651页

作者：马森赵文习翔宇王栋伟北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用... 详细信息

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及指向分析创建了值依赖分析图,该图刻画了可能产生空指针语句到其解引用语句的值依赖关系.该图中的边采用守卫标注,即描述了相邻点之间的到达条件.为了降低误报率,本文同时提出了一种需求驱动的必然别名算法.由本文所述方法实现的工具展示了良好的实验效果,在10个SPEC2000项目中发现了70余个空指针解引用缺陷,误报率仅为6%左右.

关键词：程序分析静态缺陷检测空指针解引用检测需求驱动别名分析

来源：评论

学校读者我要写书评

暂无评论

基于步行时足底压力信息的前交叉韧带断裂辅助诊断方法

引用

北京大学学报（自然科学版） 2019年第5期55卷 859-864页

作者：黄红拾王政飞许国雄李文新张思张东霞敖英芳北京大学第三医院运动医学研究所北京100191 北京大学信息科学技术学院北京100871

为了辨识动态足底压力信息与前交叉韧带断裂的关系,将步行时的足底压力数据转换成图像,采用深度学习中的卷积神经网络模型,在给定足量输入图像与分类结果的情况下,不断更新神经网络的参数,建立图像与前交叉韧带断裂的关系。将足底压力... 详细信息

为了辨识动态足底压力信息与前交叉韧带断裂的关系,将步行时的足底压力数据转换成图像,采用深度学习中的卷积神经网络模型,在给定足量输入图像与分类结果的情况下,不断更新神经网络的参数,建立图像与前交叉韧带断裂的关系。将足底压力测试系统(FootScan■)采集的数据分为训练集和测试集两个部分。训练集用于调整模型的参数,帮助模型更好地分析并找到足底压力信息与前交叉韧带断裂的关系;测试集用于模拟诊断,对比真实情况,评估准确性,并评估其作为临床辅助诊断方法的性能。结果表明,提出的投票法模型的诊断正确率超过90%,并且从得到足底压力数据到产生诊断结果,总耗时仅3秒左右。由此得出,所提出的基于步行时足底压力信息的深度学习模型,可以在很短时间内辅助诊断前交叉韧带断裂,为临床辅助诊断及康复提供参考。

关键词：前交叉韧带断裂足底压力辅助诊断深度学习

来源：评论

学校读者我要写书评

暂无评论

基于规则推理的语义检索若干关键技术研究

引用

电子学报 2013年第5期41卷 977-981页

作者：马森赵文袁崇义张世琨王立福北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结... 详细信息

针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结果进行排序.针对上述问题,本文给出了基于语义网的语义规则建立方法,并提出了一种基于闭合世界假设的反向链接推理算法,提高推理效率,同时给出了一种基于特征相似性排序算法,使检索结果排序方式更加符合语义检索的特点.基于本文提出的方法,构造了语义搜索引擎MaterialHub,实验表明该搜索引擎提高了检索的准确率和查全率,有较好的查询响应时间,并已经得到实际应用.

关键词：语义检索语义规则语义规则推理语义相似性排序

来源：评论

学校读者我要写书评

暂无评论

字符串分析研究进展

引用

软件学报 2013年第1期24卷 37-49页

作者：梅宏王啸吟张路高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件工程研究所北京100871

随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要.与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用... 详细信息

随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要.与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用.字符串分析的基本应用模式是首先使用字符串值分析获得字符串变量的所有可能取值,然后使用字符串约束求解判断这些变量的取值是否满足一定约束,从而对程序进行正确性验证.为了使得字符串分析能够应用在安全分析和软件维护应用中,研究人员对字符串分析进行了扩展,进一步分析字符串变量的数据来源.综述了字符串分析技术的研究进展,提出了字符串分析的问题构型,介绍了这一领域现在的主要研究内容:字符串值分析、字符串约束求解、字符串数据来源分析以及字符串分析在软件工程中的应用.

关键词：程序分析字符串分析约束求解

来源：评论

学校读者我要写书评

暂无评论

超宽谱电磁脉冲辐射场测量系统

引用

强激光与粒子束 2006年第2期18卷 261-264页

作者：朱四桃朱柏承樊亚军北京大学信息科学技术学院北京100089 西北核技术研究所西安710024

介绍了一套自行研制的高功率超宽谱电磁脉冲辐射场测量系统,该系统主要由TEM喇叭接收天线、同轴传输线、宽带示波器及微型计算机组成。其中,TEM喇叭上极板为等腰三角形金属板,顶角14°,高60 cm,下极板为80 cm×30 cm矩形金属板... 详细信息

介绍了一套自行研制的高功率超宽谱电磁脉冲辐射场测量系统,该系统主要由TEM喇叭接收天线、同轴传输线、宽带示波器及微型计算机组成。其中,TEM喇叭上极板为等腰三角形金属板,顶角14°,高60 cm,下极板为80 cm×30 cm矩形金属板,两金属板间夹角为7°,采用同轴线直接馈电方式,馈电点高度1mm。分析了测量系统的基本理论,采用时域有限差分和离散傅里叶变换相结合的方法对TEM喇叭接收天线的传递函数进行了计算,建立了信号衰减补偿方法。实测了抛物反射面脉冲辐射天线的辐射场,测得主轴上远区辐射场主脉冲波形与辐射天线的激励信号近似成微分关系,当激励信号的前后沿变快时,测得的辐射场也相应增大。测量结果表明,该系统能够反映脉冲辐射场的变化特性,具有良好的波形保真性和宽频带特性。

关键词：超宽谱电磁脉冲辐射场测量系统 TEM喇叭天线

来源：评论

学校读者我要写书评

暂无评论

FPGA三模冗余工具的关键技术与发展

引用

电子与信息学报 2022年第6期44卷 2230-2244页

作者：陈雷张瑶伟王硕周婧田春生庞永江马筱婧周冲杜忠北京微电子技术研究所北京100076 北京大学信息科学技术学院北京100871

SRAM型现场可编程门阵列(FPGA)在空间辐射环境中容易受到单粒子效应的影响,从而发生软错误,三模冗余技术(TMR)是目前使用最广泛的缓解FPGA软错误的电路加固技术。该文首先介绍了三模冗余技术研究现状,然后总结了三模冗余工具常用的细粒... 详细信息

SRAM型现场可编程门阵列(FPGA)在空间辐射环境中容易受到单粒子效应的影响,从而发生软错误,三模冗余技术(TMR)是目前使用最广泛的缓解FPGA软错误的电路加固技术。该文首先介绍了三模冗余技术研究现状,然后总结了三模冗余工具常用的细粒度TMR技术、系统分级技术、配置刷新技术、状态同步技术4项关键技术及其实现原理。随着FPGA的高层次综合技术愈发成熟,基于高层次综合的三模冗余工具逐渐成为新的研究分支,该文分类介绍了当前主流的基于寄存器传输级的三模冗余工具,基于重要软核资源的三模冗余工具,以及新兴的基于高层次综合的三模冗余工具,最后对FPGA三模冗余工具的未来发展趋势进行了总结与展望。

关键词：现场可编程门阵列单粒子效应软件三模冗余技术高层次综合

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：