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

软件学报 2007年第8期18卷 1943-1957页

作者：胡昊殷琴吕建计算机软件新技术国家重点实验室(南京大学)

提出了一种用Petrinet对服务行为和服务质量进行统一建模的框架.基于该框架所提出的统一的服务行为和服务质量的一致性规则可以在服务的查找和替换中综合判断服务行为和服务质量的一致性.自行开发的SOBECA(service-oriented,behavior an... 详细信息

提出了一种用Petrinet对服务行为和服务质量进行统一建模的框架.基于该框架所提出的统一的服务行为和服务质量的一致性规则可以在服务的查找和替换中综合判断服务行为和服务质量的一致性.自行开发的SOBECA(service-oriented,behavior and capability support architecture)中间件系统在现有的Web服务标准上增加了服务行为和服务质量的描述,可以更好地自动化支持服务行为和服务质量的一致性检查,同时也验证了上述框架的合理性.

关键词：服务构件模型服务行为模型行为继承服务质量 Petri网

来源：评论

学校读者我要写书评

暂无评论

面向微服务软件开发方法研究进展

引用

计算机研究与发展 2020年第3期57卷 525-541页

作者：吴化尧邓文俊计算机软件新技术国家重点实验室(南京大学)

微服务是面向服务体系结构的最新发展趋势和研究热点,其不仅在工业实践中形成了广泛且重要的应用,在学术界也受到日益增长的关注.以软件工程生命周期中的各项活动为主线,系统全面地对当前的微服务软件开发方法进行梳理和总结,尤其分析... 详细信息

微服务是面向服务体系结构的最新发展趋势和研究热点,其不仅在工业实践中形成了广泛且重要的应用,在学术界也受到日益增长的关注.以软件工程生命周期中的各项活动为主线,系统全面地对当前的微服务软件开发方法进行梳理和总结,尤其分析了面向微服务软件开发在需求分析、设计与实现、测试以及重构上的已有方法、工具和实践,并讨论了该领域的未来研究方向,从而为更加科学有效地开发高质量微服务提供参考和借鉴.

关键词：微服务面向服务架构软件开发系统设计重构

来源：评论

学校读者我要写书评

暂无评论

一种经验库制导的浮点程序优化加速策略

引用

计算机学报 2022年第9期45卷 2014-2028页

作者：肖安祥张硕骁汤恩义陈鑫王林章南京大学计算机软件新技术国家重点实验室南京210023 南京大学软件学院南京210093

为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高... 详细信息

为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高效且易于维护.然而,现有浮点程序自动优化方法的优化效率是其主要瓶颈.随着越来越多的数值程序转换规则被发现与总结,自动优化框架的规则库会越来越大,传统优化方法在规则库中遍历所有优化规则的过程也变得越来越困难.本文提出了一种经验库制导的浮点程序优化加速策略,该策略基于浮点误差成因的相似性原理,将已成功优化浮点程序对应的符号与结构特征抽取出来,并以散列的方式将优化该程序涉及到的规则序列保存在一个优化经验库中.当新的浮点数值程序需要进行自动优化时,本文算法首先计算其符号结构特征与经验库中各记录的相似度.符号结构相似度较高的记录所对应的规则序列会被优先用于浮点程序重写,从而得到优化程序.随着优化程序的增多,经验库的规模会逐渐增大,经验库的散列化分区存储设计保证了其检索与匹配效率.在浮点程序优化基准用例集FPBench和开源物理引擎OpenRelativity上的实验表明,在优化后浮点程序精度与传统方法类似的前提下,本文的加速策略能使平均优化速度相对于传统浮点程序优化方法提升6.04倍,显著提高了浮点数值程序自动优化技术的可用性.

关键词：加速策略程序优化浮点数值程序经验库

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络的拓扑控制

引用

软件学报 2007年第4期18卷 943-954页

作者：张学陆桑璐陈贵海陈道蓄谢立计算机软件新技术国家重点实验室(南京大学)

拓扑控制是无线传感器网络研究中的核心问题之一.拓扑控制对于延长网络的生存时间、减小通信干扰、提高MAC(media access control)协议和路由协议的效率等具有重要意义.全面阐述了拓扑控制技术的研究进展,首先明确了拓扑控制研究的问题... 详细信息

拓扑控制是无线传感器网络研究中的核心问题之一.拓扑控制对于延长网络的生存时间、减小通信干扰、提高MAC(media access control)协议和路由协议的效率等具有重要意义.全面阐述了拓扑控制技术的研究进展,首先明确了拓扑控制研究的问题和设计目标,然后分别从功率控制和睡眠调度两个方面介绍代表性的研究工作,并加以分析和比较,同时指出了这些工作存在的不足.最后分析和总结了研究现状中存在的问题、需要进一步研究的内容以及拓扑控制研究的发展趋势.

关键词：传感器网络无线网络拓扑控制功率控制睡眠调度

来源：评论

学校读者我要写书评

暂无评论

反射中间件的研究与进展

引用

计算机学报 2005年第9期28卷 1407-1420页

作者：胡海洋马晓星陶先平吕建南京大学软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计... 详细信息

反射中间件是当前中间件技术研究中值得注意的一个新方向.它克服了传统中间件“黑箱”结构的缺陷,具有系统结构行为有序开放、可重配置等特点,能支持针对不同应用类型进行定制,可较好地适应动态变化的分布式环境和应用需求,已在移动计算、多媒体应用等多个领域展现出较好的应用前景.该文在介绍反射计算与反射系统基本知识的基础上,首先分析归纳了反射中间件的核心概念和基本原理,给出一个反射中间件的一般结构.在此基础上提出一个反射中间件分类与比较框架,涵盖了反射类型、反射时间、反射范围、实现机制等方面的内容,而后依据此框架对目前几种具有代表性的反射中间件系统作综述和比较.最后对该领域值得进一步研究的问题进行了分析和讨论.

关键词：中间件反射构件重配置

来源：评论

学校读者我要写书评

暂无评论

稳健的重尾线性赌博机算法

引用

计算机研究与发展 2023年第6期60卷 1385-1395页

作者：马兰霁弘赵鹏周志华计算机软件新技术国家重点实验室(南京大学) 南京210023

线性赌博机模型是在线学习的基本模型之一,其每个摇臂的平均奖赏可以由线性函数进行参数化.该模型具有坚实的理论保证和良好的实际建模能力,被广泛应用于各个场景.然而在一些现实场景中,数据通常是从开放动态环境中收集得到,因而会存在... 详细信息

线性赌博机模型是在线学习的基本模型之一,其每个摇臂的平均奖赏可以由线性函数进行参数化.该模型具有坚实的理论保证和良好的实际建模能力,被广泛应用于各个场景.然而在一些现实场景中,数据通常是从开放动态环境中收集得到,因而会存在数据不规范的问题,已有算法缺乏对此的稳健性.特别关注2类数据的不规范性:奖励函数的回归参数可能随时间变化,环境噪声可能无界,甚至不服从亚高斯分布.这2类问题分别被称为分布变化和重尾噪声.为了应对这2类不利因素,提出一种基于置信上界的在线算法,该算法使用均值中位数估计器以处理潜在的重尾噪声,同时采用重启机制来解决分布变化问题.在理论上,首先建立了问题的遗憾理论下界,进一步给出了算法的理论保障,所取得的结果可以回退到已有研究中没有分布变化或没有重尾噪声场景线性赌博机的理论结果.此外,针对未知环境设计了实用的在线集成适应技术,并在合成和真实世界的数据集上进行了广泛的实验来验证其有效性.

关键词：机器学习开放环境学习线性赌博机或没有重尾分布变化重尾噪声

来源：评论

学校读者我要写书评

暂无评论

基于策略多样性熵指标的无人机群智系统激发-汇聚程度度量方法研究

引用

中国科学：技术科学 2023年第4期53卷 547-564页

作者：王文汪亮吴俊锋陶先平胡昊南京大学计算机软件新技术国家重点实验室南京210023

新一代无人机群系统的重要特征是具有群体智能,是一类典型的群智激发汇聚系统.目前,多智能体强化学习技术展现出较强优势,是构建新一代自主智能无人机群系统的重要方法.但多智能体强化学习的训练过程尚处于“黑盒”状态,缺乏对群体智能... 详细信息

新一代无人机群系统的重要特征是具有群体智能,是一类典型的群智激发汇聚系统.目前,多智能体强化学习技术展现出较强优势,是构建新一代自主智能无人机群系统的重要方法.但多智能体强化学习的训练过程尚处于“黑盒”状态,缺乏对群体智能的激发和汇聚程度的有效度量手段.针对这一问题,从多智能体强化学习中智能体的策略出发,以策略多样性度量无人机群在多智能体强化学习的训练过程中的激发-汇聚程度.为了对策略的多样性进行度量,借鉴物种多样性和信息论中的相关概念,明确了策略多样性的内涵包括丰富和均匀程度两方面,提出了“策略距离二次熵”和“动作分布信息熵”这两种策略多样性的计算方法.设计了无人机群突防场景对本文所提出的策略多样性指标和两种计算方法的有效性和有用性进行了验证,并通过敏感程度分析对两种计算方法进行了对比.实验结果表明这两种计算方法在该场景中均能有效区分策略多样性的变化,且两种计算方法间具有一致性,从而验证了策略多样性指标及其计算方法的有效性.在有用性方面,验证了策略多样性与奖赏之间的关联关系,以及环境的动态改变与策略多样性之间的相互影响和关联关系,体现了策略多样性在认知群智系统,指导群智激发汇聚过程上的潜在有用性.提出的策略多样性及其计算方法,能够为定量认知群智系统激发-汇聚程度,进而对群智系统的学习和训练开展引导和干预提供方法支撑.

关键词：群智激发-汇聚度量策略多样性策略距离二次熵动作分布信息熵无人机群导航

来源：评论

学校读者我要写书评

暂无评论

面向脸部表情识别的Gabor特征选择方法

引用

计算机辅助设计与图形学学报 2008年第1期20卷 79-84页

作者：姚伟孙正兴张岩南京大学计算机软件新技术国家重点实验室南京10093

针对人脸表情识别中Gabor特征向量的高维度信息冗余问题,提出了一个2层Gabor特征选择方法.该方法首先利用改进方差比率作为评估特征的区分能力对高维向量进行过滤,然后对过滤得到的特征子集进行AdaBoost特征选择,以挑选出最具区分度的特... 详细信息

针对人脸表情识别中Gabor特征向量的高维度信息冗余问题,提出了一个2层Gabor特征选择方法.该方法首先利用改进方差比率作为评估特征的区分能力对高维向量进行过滤,然后对过滤得到的特征子集进行AdaBoost特征选择,以挑选出最具区分度的特征,从而降低了Gabor特征的表示维度.实验结果验证了所提方法的有效性,在训练时间和识别性能两者之间取得了较好的平衡.

关键词：表情识别 Gabor特征特征选择方差率 AdaBoost 支持向量机

来源：评论

学校读者我要写书评

暂无评论

一种基于教学模型的协同训练方法

引用

计算机研究与发展 2013年第11期50卷 2262-2268页

作者：胡菊花姜远周志华计算机软件新技术国家重点实验室(南京大学) 南京210046

在很多实际问题中,很容易得到大量未标记数据而较难获取数据的标记;所以半监督学习在过去的10多年中得到了很大的关注.基于不一致性的半监督学习是其中一种十分重要的风范,协同训练是其代表方法.至今为止,大部分协同训练方法在选择未标... 详细信息

在很多实际问题中,很容易得到大量未标记数据而较难获取数据的标记;所以半监督学习在过去的10多年中得到了很大的关注.基于不一致性的半监督学习是其中一种十分重要的风范,协同训练是其代表方法.至今为止,大部分协同训练方法在选择未标记示例进行标记时只考虑预测学习器的置信度,而忽视了学习器的需求.受到真实教学系统的启发,提出了一种针对协同训练的教学模型TaLe,其中预测学习器是"教"者,而另一方则为"学"者.进而基于该模型给出了一种新的协同训练方法CoSnT,同时考虑了"教"的置信度和"学"的需求度.实验结果表明CoSnT在收敛效率和泛化性能上都优于标准的协同训练算法.

关键词：半监督学习基于不一致性协同训练 TaLe模型 CoSnT “教”置信度 “学”需求度

来源：评论

学校读者我要写书评

暂无评论

归纳逻辑程序设计综述

引用

计算机研究与发展 2019年第1期56卷 138-154页

作者：戴望州周志华计算机软件新技术国家重点实验室(南京大学) 南京210023

归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容易地显式利用以一... 详细信息

归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容易地显式利用以一阶逻辑描述的领域知识;学得模型能对领域中个体间的关系进行建模,而非仅仅对个体的标记进行预测.然而,由于潜在假设空间巨大,进行高效学习有相当的困难.综述了ILP领域的研究情况,从不同一阶逻辑归纳理论的角度对主流的ILP方法做出了梳理.还介绍了近年来ILP基于二阶诱导推理理论的扩展、基于概率的扩展和引入可微构件的扩展.最后,介绍了ILP在实际任务中的代表性应用,探讨了ILP方法目前所遇到的挑战,并对其未来发展进行了展望.

关键词：机器学习一阶逻辑规则学习归纳逻辑程序设计概率归纳逻辑程序设计

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：