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

南京大学学报（自然科学版） 2003年第5期39卷 476-489页

作者：李勇李宣东郑国梁计算机软件新技术国家重点实验室

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术.实时系统的性质包括瞬间性质和时段性质,显然后者的检验要比前者复杂得多.介绍了一类新的时段性质——有序时段性质,并检验了时间正则表达式的有序时段性质,最后分析... 详细信息

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术.实时系统的性质包括瞬间性质和时段性质,显然后者的检验要比前者复杂得多.介绍了一类新的时段性质——有序时段性质,并检验了时间正则表达式的有序时段性质,最后分析了算法的复杂度,和相关工作进行了比较,并探讨了今后的工作方向.

关键词：模型检验实时系统有序时段性质时间正则表达式计算机系统正确性可靠性

来源：评论

学校读者我要写书评

暂无评论

基于通信的多智能体强化学习进展综述

引用

中国科学：信息科学 2022年第5期52卷 742-764页

作者：王涵俞扬姜远南京大学计算机软件新技术国家重点实验室

强化学习(reinforcement learning,RL)技术经历了数十年的发展,已经被成功地应用于连续决策的环境中.如今强化学习技术受到越来越多的关注,甚至被冠以最接近通用人工智能的方法之一.但是,客观环境中往往不仅包含一个决策智能体.因此,我... 详细信息

强化学习(reinforcement learning,RL)技术经历了数十年的发展,已经被成功地应用于连续决策的环境中.如今强化学习技术受到越来越多的关注,甚至被冠以最接近通用人工智能的方法之一.但是,客观环境中往往不仅包含一个决策智能体.因此,我们更倾向于以多智能体强化学习(multi-agent reinforcement learning,MARL)为技术手段,应对现实的复杂系统.近十年来,多智能体系统(multi-agent system,MAS)和强化学习的结合日渐紧密,逐渐形成并丰富了多智能体强化学习这个研究方向.回顾MARL的相关工作,我们发现研究者们大致从学习框架的讨论、联合动作学习,以及基于通信的MARL这3个角度解决MARL的问题.而本文重点调研基于通信的MARL的工作.首先介绍选取基于通信的MARL进行讨论的原因,然后列举出不同性质的多智能体系统下的代表性工作.希望本文能够为MARL的研究者提供参考,进而提出能够解决实际问题的MAS方法.

关键词：强化学习多智能体系统部分可观测环境多智能体通信协同控制

来源：评论

学校读者我要写书评

暂无评论

融合语义解释和DeBERTa的极短文本层次分类

引用

计算机科学 2024年第5期51卷 250-257页

作者：陈昊飏张雷南京大学计算机软件新技术全国重点实验室南京210023

文本层次分类在社交评论主题分类、搜索词分类等场景中有重要应用,这些场景的数据往往具有极短文本特征,体现在信息的稀疏性、敏感性等中,这对模型特征表示和分类性能带来了很大挑战,而层次标签空间的复杂性和关联性使得难度进一步加剧... 详细信息

文本层次分类在社交评论主题分类、搜索词分类等场景中有重要应用,这些场景的数据往往具有极短文本特征,体现在信息的稀疏性、敏感性等中,这对模型特征表示和分类性能带来了很大挑战,而层次标签空间的复杂性和关联性使得难度进一步加剧。基于此,提出了一种融合语义解释和DeBERTa模型的方法,该方法的核心思想在于:引入具体语境下各个字词或词组的语义解释,补充优化模型获取的内容信息;结合DeBERTa模型的注意力解耦机制与增强掩码解码器,以更好地把握位置信息、提高特征提取能力。所提方法首先对训练文本进行语法分词、词性标注,再构造GlossDeBERTa模型进行高准确率的语义消歧,获得语义解释序列;然后利用SimCSE框架使解释序列向量化,以更好地表征解释序列中的句子信息;最后训练文本经过DeBERTa模型神经网络后,得到原始文本的特征向量表示,再与解释序列中的对应特征向量相加,传入多分类器。实验遴选短文本层次分类数据集TREC中的极短文本部分,并进行数据扩充,最终得到的数据集平均长度为12词。多组对比实验表明,所提出的融合语义解释的DeBERTa模型性能最为优秀,在验证集和测试集上的Accuracy值、F1-micro值、F1-macro值相比其他算法模型有较大的提升,能够很好地应对极短文本层次分类任务。

关键词：极短文本层次分类语义解释 DeBERTa GlossDeBERTa SimCSE

来源：评论

学校读者我要写书评

暂无评论

Cogent后组装技术研究与实现

引用

电子学报 2002年第12期30卷 1823-1827页

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

构件组装技术是构件软件的核心技术之一.本文分析了当前构件组装机制的现状及几个有代表性的构件组装机制的不足之处,然后提出了一种基于移动Agent技术的构件组装技术,它利用后组装技术弥补了传统连线机制中构件组装机构改动困难、构件... 详细信息

构件组装技术是构件软件的核心技术之一.本文分析了当前构件组装机制的现状及几个有代表性的构件组装机制的不足之处,然后提出了一种基于移动Agent技术的构件组装技术,它利用后组装技术弥补了传统连线机制中构件组装机构改动困难、构件装配欠灵活的弱点.其方法足通过提出的组调用表与定位表的概念,实现构件功能体与组装机制的分离,各自独立开发与编译.最后本文通过一个实例说明了Cogent构件后组装技术的特点.

关键词：移动Agent 软件工程构件组装技术构件软件

来源：评论

学校读者我要写书评

暂无评论

移动Agent技术的研究与应用

引用

电子学报 2005年第B12期33卷 2413-2417页

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

随着Internet平台和开放应用的快速发展，如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一．本文以移动Agent技术、系统和应用为切入点，在对移动Agent关键技术，如移动机制、通信机制和安全机制等进... 详细信息

随着Internet平台和开放应用的快速发展，如何在面向对象技术的基础上发展新型的软件方法学成为软件新技术面临的重要挑战之一．本文以移动Agent技术、系统和应用为切入点，在对移动Agent关键技术，如移动机制、通信机制和安全机制等进行研究的基础上，提出了我们自行设计与实现的移动Agent系统Mogent，并探讨其在软件主流技术等方面的应用．

关键词：移动agent 迁移通信安全

来源：评论

学校读者我要写书评

暂无评论

基于小样本标记实例的数据流集成入侵检测模型

引用

电子学报 2007年第2期35卷 234-239页

作者：俞研黄皓南京大学计算机科学与技术系计算机软件新技术国家重点实验室江苏南京210093

基于监督学习的异常入侵检测算法通常面临着训练样本不足的问题,同时,对整个历史数据集进行等同学习,没有充分考虑到网络数据模式随时间变化的特点.本文提出了一种基于小样本标记实例的数据流集成入侵检测模型,对小样本的标记数据集进... 详细信息

基于监督学习的异常入侵检测算法通常面临着训练样本不足的问题,同时,对整个历史数据集进行等同学习,没有充分考虑到网络数据模式随时间变化的特点.本文提出了一种基于小样本标记实例的数据流集成入侵检测模型,对小样本的标记数据集进行扩展,解决了训练样本不足的问题,并能够充分适应网络数据模式随时间变化的特点.实验结果表明,在小样本标记实例情况下,算法的检测性能明显优于基于所有历史数据进行入侵检测的结果.

关键词：入侵检测数据流处理小样本标记实例集成入侵检测模型

来源：评论

学校读者我要写书评

暂无评论

可变GoP的MPEG视频的滤取和传输

引用

电子学报 2001年第8期29卷 1110-1112页

作者：李国东杨海荣王东奎张德富南京大学计算机软件新技术国家重点实验室江苏南京210093

根据网络的带宽情况 ,将MPEG视频的重要帧滤取出来并在网络上传输 ,帧滤取算法考虑了同一条流中视频的GoP发生改变的情况 .为了进行视频传送的差错控制和恢复 ,该方案使用了牛顿插值Reed Soloman编码进行冗余编码保护 ,能在网络带宽有... 详细信息

根据网络的带宽情况 ,将MPEG视频的重要帧滤取出来并在网络上传输 ,帧滤取算法考虑了同一条流中视频的GoP发生改变的情况 .为了进行视频传送的差错控制和恢复 ,该方案使用了牛顿插值Reed Soloman编码进行冗余编码保护 ,能在网络带宽有限的情况下保证视频的传输质量 .

关键词： MPEG视频 GoP 牛顿插值编码图像编码

来源：评论

学校读者我要写书评

暂无评论

AODE中Agent通信机制的设计与实现

引用

模式识别与人工智能 2000年第1期13卷 94-98页

作者：骆斌王立春谢俊元陈世福南京大学计算机软件新技术国家重点实验室南京210093

本文讨论了面向Agent的系统开发环境AODE中的通信机制,并实现了由通信服务器、本地通信模块和外部通信模块构成的通信系统。

关键词： AODE Agent 人工智能通信机制

来源：评论

学校读者我要写书评

暂无评论

开放环境下基于声誉记录的信任模型及实现

引用

电子学报 2007年第B12期35卷 160-164页

作者：荆博贤徐锋陶先平吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

信任管理被认为是一种适宜解决开放环境下安全问题的新方法．但现有的信任模型难以应对信任炒作和恶意诽谤的行为，另外，在模型的实现上存在着否定信任信息传播困难，难以防止信任信息篡改等问题．本文基于对信任概念的研究，给出了一... 详细信息

信任管理被认为是一种适宜解决开放环境下安全问题的新方法．但现有的信任模型难以应对信任炒作和恶意诽谤的行为，另外，在模型的实现上存在着否定信任信息传播困难，难以防止信任信息篡改等问题．本文基于对信任概念的研究，给出了一个基于声誉记录的信任模型，模型按事务的重要程度来采纳声誉信息，能够有效降低实体问信任炒作和诽谤行为所带来的影响．在系统实现过程中，通过标签机制促进了否定信任信息的传播，并有效防止对信任信息的恶意篡改．最后，通过在电子商务场景中的应用，初步验证了模型的合理性，和标签机制的有效性．

关键词：信任模型信任管理声誉开放环境防炒作

来源：评论

学校读者我要写书评

暂无评论

网格中基于最小连接块的启发式容错路由算法

引用

电子学报 2004年第2期32卷 318-322页

作者：陈贵海杜鹏王大进谢立南京大学计算机软件新技术国家重点实验室江苏南京210093

矩形无效块模型可以用来解决网格下的容错路由问题 ,最小连接块 (MCC)模型是它的一个改良模型 .本文在MCC基础上 ,建立MCC重叠图 ,当发现不存在曼哈顿路径的时候 ,给出一套算法 ,来计算出一条避免无效块的尽可能短的路径 .模拟试验表明 ... 详细信息

矩形无效块模型可以用来解决网格下的容错路由问题 ,最小连接块 (MCC)模型是它的一个改良模型 .本文在MCC基础上 ,建立MCC重叠图 ,当发现不存在曼哈顿路径的时候 ,给出一套算法 ,来计算出一条避免无效块的尽可能短的路径 .模拟试验表明 ,通过这种算法找到的路径 ,与最短路径相差很小 .比起花费更多的时间去找寻最短路径。

关键词：自适应路由矩形无效块模型容错性网格

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：