检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向对象、泛型程序设计与类型约束检查

计算机学报 2004年第11期27卷 1492-1504页

作者：孙斌北京大学信息科学技术学院计算语言研究所北京100871

该文对面向对象和泛型程序设计 (genericprogramming)的核心思想和方法进行了较为深入的分析 ,阐明了各自的目标、技术特征及其优缺点所在 ,介绍了泛型程序设计针对对象技术的不足所引进的重大革新 ,即通过类型需求抽象来设计通用、高... 详细信息

该文对面向对象和泛型程序设计 (genericprogramming)的核心思想和方法进行了较为深入的分析 ,阐明了各自的目标、技术特征及其优缺点所在 ,介绍了泛型程序设计针对对象技术的不足所引进的重大革新 ,即通过类型需求抽象来设计通用、高效的数据结构和算法 ;着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作 ,以C ++语言的一个泛型编程扩充语言C 为实施例 ,详细说明了如何通过一种叫做“命名类型约束”的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查 ,为当前泛型程序设计模型的首例编程语言实例 .

关键词：面向对象泛型程序设计需求检查类型约束程序设计

在线全文

学校读者我要写书评

暂无评论

基于句子对齐的汉语句法结构推导的计算模型

软件学报 2007年第3期18卷 538-546页

作者：王厚峰王波北京大学信息科学技术学院计算语言学研究所北京100871

基于句子的相似性,提出了无指导的汉语句法结构推导方法.基本思想是:首先,在汉语句子库的基础上,通过句对之间的对齐,得到交替的相同片断和相异片断.然后,根据相同片断优先或相异片断优先策略,选取相应的对齐片断作为句子成分候选,并对... 详细信息

基于句子的相似性,提出了无指导的汉语句法结构推导方法.基本思想是:首先,在汉语句子库的基础上,通过句对之间的对齐,得到交替的相同片断和相异片断.然后,根据相同片断优先或相异片断优先策略,选取相应的对齐片断作为句子成分候选,并对可能因片断交叉而导致边界摩擦的候选进行歧义消解.最后,通过逐步归约句子成分,推导出汉语句法结构树.为了避免对齐过程中词的稀疏问题,还对部分具有明显规律的词事先作了归类处理.分别以词、词性以及词联合词性作为句子基本构成单元,评测了推导的句法结果.测试结果表明:对于3种构成单元,相异片断优先归约得到的结果的F值都超过了46%,均优于相同片断优先归约所得到的结果,最好的达到了49.52%,好于已报道的结果.

关键词：句子对齐无指导学习边界摩擦相同优先相异优先汉语句法结构推导

在线全文

学校读者我要写书评

暂无评论

无耗散拓扑电子学的新进展:器件与能量耗散

科学通报 2025年第01期 1-3页

作者：李海龙闫青江华谢心澄北京大学物理学院量子材料科学中心复旦大学理论物理与信息科学交叉中心复旦大学微纳电子器件与量子计算机研究院合肥国家实验室

晶体管,作为现代微纳电子技术的基石,是构成集成电路的基本单元,实现了复杂电路功能的微型化.晶体管通过控制电子的输运,执行各种逻辑运算和信号处理任务.然而,在执行这些功能时,传统晶体管并非完全高效和无能耗.电子在晶体管内部传输...

晶体管,作为现代微纳电子技术的基石,是构成集成电路的基本单元,实现了复杂电路功能的微型化.晶体管通过控制电子的输运,执行各种逻辑运算和信号处理任务.然而,在执行这些功能时,传统晶体管并非完全高效和无能耗.电子在晶体管内部传输过程中,由于电阻的存在,会有一部分能量转化为热能,这种能量转化遵循焦耳定律,即电流通过导体产生的热功率与电流的平方以及导体的电阻成正比.这种以焦耳热形式释放的能量损耗,不仅降低了集成电路的能量效率,还可能导致晶体管的温度升高,进而影响电路的稳定性和可靠性,甚至限制了微纳电路性能的进一步提升.

关键词：

基于软件体系结构的构件组装工具ABC-Tool

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机研究与发展 2004年第6期41卷 956-964页

作者：向俊莲杨杰梅宏北京大学信息科学技术学院软件研究所北京大学信息科学技术学院软件研究所北京100871

软件朝着越来越复杂和庞大的趋势发展 ,因此对更有效的软件开发技术的需求十分迫切近年来 ,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用 ,成为软件工程领域研究的热点在基于构件复用的开发方法中 ,构件组... 详细信息

软件朝着越来越复杂和庞大的趋势发展 ,因此对更有效的软件开发技术的需求十分迫切近年来 ,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用 ,成为软件工程领域研究的热点在基于构件复用的开发方法中 ,构件组装技术是关键 ,而且一直以来也是难点所在 ABC(architecture basedcomponentcomposition)是一种基于软件体系结构、面向构件的软件开发方法介绍了为ABC方法提供有效支持的工具ABC Tool,ABC Tool以软件体系结构为设计蓝图 ,以构件为基本开发单元 ,在不修改构件源代码的前提下 ,通过可视化的图形建模方式 ,从体系结构的高层设计逐层映射到底层实现 ,将可运行或可部署的构件组装为最终的可正确运行的系统

关键词：软件体系结构软件体系结构描述语言基于构件的软件开发 ABC方法

相干布居数拍频信号与基态超精细子能级相干性关系的研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

物理学报 2015年第13期64卷 148-153页

作者：赵晓娜庄煜昕汪中北京大学信息科学技术学院北京100871

相干布居数拍频(coherent population beating,CPB)现象,产生于一个Λ型三能级原子系统中,当双色相干激光场的频率差和两基态能级频率间隔近失谐的时候,原子在激发态能级上的布居数会产生一个弛豫振荡,且振荡频率等于失谐量.当将此现象... 详细信息

相干布居数拍频(coherent population beating,CPB)现象,产生于一个Λ型三能级原子系统中,当双色相干激光场的频率差和两基态能级频率间隔近失谐的时候,原子在激发态能级上的布居数会产生一个弛豫振荡,且振荡频率等于失谐量.当将此现象运用于原子标准频率的提取时,CPB频标的稳定度与CPB信号的幅度及信噪比直接相关.本文理论推导了描述CPB现象的表达式,数值模拟并实验研究了87Rb基态超精细子能级的相干性对CPB信号的影响,通过控制与基态子能级共振相干激光场的抽运时间来控制能级的相干程度,观测不同相干程度对CPB信号质量的影响.研究结果表明CPB信号振荡的幅度与基态子能级相干程度成正比关系.要改善CPB信号信噪比、提高原子频标稳定度,建立、提高和保持基态超精细能级的相干性是关键.本文还讨论了CPB现象用于弱磁场测量及其他方面应用的可行性.

关键词：相干布居数拍频能级相干原子频标相干布居数囚禁

基于类表面等离子体激元的矩形金属光栅色散特性的研究

在线全文

学校读者我要写书评

暂无评论

物理学报 2015年第17期64卷 95-102页

作者：刘永强孔令宝杜朝海刘濮鲲北京大学信息科学技术学院北京100871

等离子体激元(surface plasmon polaritons,SPP)因其独特的光学和物理特性,使其具有诸如透射增强和局域共振等一系列新颖现象,已成为当前国内外学者研究的热点.本文对基于类表面等离子体激元(Spoof Surface Plasmons,SSP)的矩形金属光... 详细信息

等离子体激元(surface plasmon polaritons,SPP)因其独特的光学和物理特性,使其具有诸如透射增强和局域共振等一系列新颖现象,已成为当前国内外学者研究的热点.本文对基于类表面等离子体激元(Spoof Surface Plasmons,SSP)的矩形金属光栅色散特性和模式分布进行了研究.利用本征函数法并结合场匹配条件,获得了矩形栅表面SSP的场表达式、色散关系和模式分布,并通过电磁仿真进行了验证.在此基础上分析了矩形栅各参数对SSP色散及模式分布的影响,研究结果表明:由本征函数法获得的SSP色散特性与仿真结果基本符合;增大金属栅高度或减小排列周期能减小SSP的相速度;而增大金属栅周期占空比能在一定程度上拓展SSP与电子束互作用的带宽;改变金属盖板高度对慢波SSP色散模式基本没有影响;减小金属栅侧面宽度能增大模式之间的间隔,从而能有效避免模式竞争的发生.本文对基于SSP的矩形金属光栅色散特性的研究将为进一步研究SSP与电子束的相互作用,形成高效、宽带的新型太赫兹源奠定良好的理论基础.

关键词：类表面等离子体激元矩形光栅色散特性模式竞争

在线全文

学校读者我要写书评

暂无评论

一种基于模型的特征交互检测方法

软件学报 2007年第1期18卷 94-104页

作者：左继红王千祥梅宏北京大学信息科学技术学院软件研究所北京100871

为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之... 详细信息

为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之一.这类方法着眼于检测扩展之间是否会发生冲突.虽然在小规模实验上较为成功,但是它们也面临着一些挑战.例如:扩展的非单调性、扩展组合的激增以及扩展模型可能无法获知的问题.实际上,许多特征交互都源于新扩展对基系统和已有扩展造成的不恰当影响.基于这种认识,集中关注由于扩展的不恰当影响所导致的交互冲突问题,提出了如何从已知的特征交互实例来分析产生冲突的原因的具体方法,并说明了如何制定约束以限制扩展中易导致冲突的行为,从而预防同一类行为可能导致的各种冲突.该方法被应用到电信系统特征交互的分析上,实验结果表明,大部分特征交互中导致冲突的行为都可以被检测出来.该方法不仅能够保证原有基系统或扩展模型的稳定、有效,避免扩展组合带来的问题,而且它无须公布扩展的模型细节.

关键词：特征交互模型检测模型约束非单调性形式化方法

在线全文

学校读者我要写书评

暂无评论

基于深度学习的域名查询行为向量空间嵌入

通信学报 2016年第3期37卷 165-174页

作者：周昌令栾兴龙肖建国北京大学计算中心北京100871 北京大学信息科学技术学院北京100871 北京大学计算机科学技术研究所北京100871

提出一种新的分析DNS查询行为的方法,用深度学习机制将被查询域名和请求查询的主机分别映射到向量空间,域名或主机的关联分析转化成向量的运算。通过对2组真实的校园网DNS日志数据集的处理,发现该方法很好地保持了关联特性,使用降维处... 详细信息

提出一种新的分析DNS查询行为的方法,用深度学习机制将被查询域名和请求查询的主机分别映射到向量空间,域名或主机的关联分析转化成向量的运算。通过对2组真实的校园网DNS日志数据集的处理,发现该方法很好地保持了关联特性,使用降维处理以及聚类分析,不仅可以让人直观地发现隐含的关联关系,还有助于发现网络中的异常问题如botnet等。

关键词： DNS 深度学习上下文降维行为分析层次聚类

在线全文

学校读者我要写书评

暂无评论

软件体系结构研究进展

软件学报 2006年第6期17卷 1257-1275页

作者：梅宏申峻嵘北京大学信息科学技术学院软件研究所北京100871

作为控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一,软件体系结构自提出以来,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域.如今,软件体系结构的研究也开始超出传统的对软件设计... 详细信息

作为控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一,软件体系结构自提出以来,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域.如今,软件体系结构的研究也开始超出传统的对软件设计阶段的支持,逐步扩展到整个软件生命周期.基于软件体系结构近十年来的研究进展,综述了在软件生命周期的不同阶段软件体系结构的研究与应用,并探讨了软件体系结构领域的发展与研究方向.

关键词：软件体系结构软件生命周期综述