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

计算机学报 2023年第6期46卷 1246-1271页

作者：陈兴国孙丁源昊杨光杨尚东高阳南京邮电大学大数据安全与智能处理重点实验室南京210023 南京大学计算机软件新技术国家重点实验室南京210046 南京大学深圳研究院广东深圳518057

近年来,强化学习已成为求解序贯决策任务的范式.然而,在实际应用中,强化学习算法仍存在三个问题:(1)什么解最优?(2)如何保证算法的稳定性?(3)如何加速算法的收敛?本文从不动点视角总结了强化学习算法的设计原理.首先,分析了值函数估计... 详细信息

近年来,强化学习已成为求解序贯决策任务的范式.然而,在实际应用中,强化学习算法仍存在三个问题:(1)什么解最优?(2)如何保证算法的稳定性?(3)如何加速算法的收敛?本文从不动点视角总结了强化学习算法的设计原理.首先,分析了值函数估计最优解与可行解的构造问题;其次,根据Banach不动点定理和Lyapunov第二判定定理,总结了已有基于值函数强化学习算法的稳定性问题,包括基于表格、线性估计、非线性估计、非参估计等值函数的算法在同策略和异策略情况下的收敛性;然后,从不动点的偏差与方差控制角度,解读了多种提高算法准确性或收敛速度的改进思想;最后总结和展望了强化学习算法的改进方向.

关键词：强化学习值函数估计稳定性同策略异策略偏差与方差控制

来源：评论

学校读者我要写书评

暂无评论

一种基于Cloud-P2P计算架构的大规模病毒报告分析机制

引用

北京理工大学学报 2013年第12期33卷 1253-1258页

作者：徐小龙吴家兴杨庚南京邮电大学计算机学院江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210046 江苏省无线传感网高技术研究重点实验室江苏南京210003

通过引入新型的云计算与对等计算融合模型Cloud-P2P,提出基于Cloud-P2P计算架构的大规模病毒报告分析机制.该机制充分利用海量终端的计算能力,将针对大规模病毒报告的分析任务进行有效分割,并通过移动Agent有序部署到服务器端和终端节... 详细信息

通过引入新型的云计算与对等计算融合模型Cloud-P2P,提出基于Cloud-P2P计算架构的大规模病毒报告分析机制.该机制充分利用海量终端的计算能力,将针对大规模病毒报告的分析任务进行有效分割,并通过移动Agent有序部署到服务器端和终端节点上执行,从而有效降低服务器端的负载,提高系统的处理效率.详细阐述了Cloud-P2P融合计算模型、基于移动Agent的任务部署与执行点选择机制以及基于Cloud-P2P计算架构的大规模病毒报告分析机制和原型系统,并从负载平衡、安全性、可靠性等方面进行了性能分析.分析结果表明,机制具有良好的理论与实用参考价值.

关键词：云计算反病毒病毒报告云安全

来源：评论

学校读者我要写书评

暂无评论

一个业务处理专用中间件SuperNUMM的设计与实现

引用

计算机研究与发展 1998年第12期35卷 1107-1111页

作者：周文辉张灵玲潘金贵南京大学多媒体计算机研究所南京210093 南京大学计算机软件新技术国家重点实验室南京210093

文中从应用程序间通信、运用操作设计、服务程序运行环境、安全管理等方面介绍了一个业务处理专用中间件—— Super NUMM的设计和实现 .Super NUMM为设计和实现基于 Client/Server计算结构的业务处理系统提供了一种机制 ,在这种机制下 ... 详细信息

文中从应用程序间通信、运用操作设计、服务程序运行环境、安全管理等方面介绍了一个业务处理专用中间件—— Super NUMM的设计和实现 .Super NUMM为设计和实现基于 Client/Server计算结构的业务处理系统提供了一种机制 ,在这种机制下 ,用户只要设计与具体业务处理相关的部分 ,并能对业务处理系统进行运用设计 ,使业务处理系统效率高、安全性好和稳定可靠 .目前 ,Super NU MM已在 Windows NT和

关键词：客户/服务器中间件 SuperNUMM 计算机应用模式

来源：评论

学校读者我要写书评

暂无评论

Arts：一个基于角色的信任管理系统

引用

武汉大学学报（理学版） 2004年第A01期50卷 57-61页

作者：王远徐锋吕建南京大学计算机软件研究所／软件新技术国家重点实验室，江苏南京210093

开放协同软件环境下软件系统的安全问题极大的影响了软件系统的开发与应用．信任管理是解决开放协同环境下软件系统安全问题的新新方法．信任管理系统为开放协同环境下的软件系统提供安全服务．本文将传统的基于角色的访问控制模型与信... 详细信息

开放协同软件环境下软件系统的安全问题极大的影响了软件系统的开发与应用．信任管理是解决开放协同环境下软件系统安全问题的新新方法．信任管理系统为开放协同环境下的软件系统提供安全服务．本文将传统的基于角色的访问控制模型与信任管理思想相结合，设计了一个适用于开放环境的基于角色的信任管理系统Arts．文章给出了系统的设计思路和系统结构，阐述了设计开放环境下访问控制系统一种新方法．

关键词：信任信任管理信任评估角色

来源：评论

学校读者我要写书评

暂无评论

对等网络主动型恶意代码与免疫疫苗的对抗传播模型

引用

北京理工大学学报 2013年第6期33卷 605-611页

作者：徐小龙杨庚熊婧夷南京邮电大学计算机学院江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210046 江苏省无线传感网高技术研究重点实验室江苏南京210003

通过深入分析P2P网络中的主动型恶意代码的特征,提出一种适合于P2P网络环境的主动型恶意代码与免疫疫苗的对抗传播模型.模型根据Peer节点受主动型恶意代码及免疫疫苗的双重影响情况将节点细分为易感染、已感染、已免疫和失效这4种典型状... 详细信息

通过深入分析P2P网络中的主动型恶意代码的特征,提出一种适合于P2P网络环境的主动型恶意代码与免疫疫苗的对抗传播模型.模型根据Peer节点受主动型恶意代码及免疫疫苗的双重影响情况将节点细分为易感染、已感染、已免疫和失效这4种典型状态,并指出了节点在不同状态之间的转换规律.对所提出对抗传播模型及其相关参数展开细致的仿真实验,实验结果说明所提出的模型与实际情况相符,证明了模型的正确合理性.

关键词：对等网络恶意代码主动传播数字免疫反病毒

来源：评论

学校读者我要写书评

暂无评论

基于特征段的正交矢量化及其符号识别方法

引用

计算机研究与发展 1999年第1期36卷 85-90页

作者：邹荣金陈冀兵苏丰蔡士杰张福炎南京大学计算机软件新技术国家重点实验室南京大学多媒体技术研究所

文中提出一种使用特征段的工程图矢量化方法，通过抽取图像中部分具有显著特征的行段建立特征矢量线段，经过延伸、合并求交等运算获取完整准确的矢量线．为避免毛刺、小弯度直线矢量化产生的奇异性，该研究运用正交双向矢量化的方法分... 详细信息

文中提出一种使用特征段的工程图矢量化方法，通过抽取图像中部分具有显著特征的行段建立特征矢量线段，经过延伸、合并求交等运算获取完整准确的矢量线．为避免毛刺、小弯度直线矢量化产生的奇异性，该研究运用正交双向矢量化的方法分别在Ｘ和Ｙ方向对倾斜角小于４５°和大于４５°的直线分别进行特征段抽取．对粘连弯头短直线及端点符号识别也作了研究．

关键词：工程图矢量化特征段建筑结构图符号识别

来源：评论

学校读者我要写书评

暂无评论

中断驱动系统模型检验?

引用

软件学报 2015年第9期26卷 2212-2230页

作者：周筱羽顾斌赵建华杨孟飞李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

关键词：中断驱动系统模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

结合公共视图和对象Petri网的跨组织流程建模

引用

计算机科学与探索 2014年第1期8卷 18-27页

作者：王晶胡昊余萍吕建葛季栋南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093 南京大学软件学院南京210093

组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合... 详细信息

组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合作伙伴相关的活动在外部的投影。通过组合各参与组织的公共视图得到了跨组织协同的信息流网结构,利用对象网的交互集建立了组织内部流程与通信结构的同步关系。通过一个建模实例阐述了该方法的有效性。

关键词：工作流建模跨组织流程公共视图对象Petri网

来源：评论

学校读者我要写书评

暂无评论

中断驱动控制系统的有界模型检验技术

引用

软件学报 2015年第10期26卷 2485-2503页

作者：周筱羽顾斌赵建华杨孟飞计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 西北工业大学计算机学院陕西西安710072 南京大学计算机科学与技术系江苏南京210023 中国空间技术研究院北京100094

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息

针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作.使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模,并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程.控制变量将中断处理过程和系统任务相关联,中断处理程序可以设定某个控制变量,而系统任务则通过检查该控制变量来确定是否需要进行后续处理.对于这样的形式化模型,给出了检验关键时序性质的有界模型检验算法.该算法使用深度优先的方式遍历所有长度小于等于K的可行路径,并使用SMT Z3实现了对时间约束和规约的处理.

关键词：中断驱动系统有界模型检验超时检测

来源：评论

学校读者我要写书评

暂无评论

利用天文观测图像对空间碎片目标进行自动识别与追踪

引用

武汉大学学报（信息科学版） 2010年第2期35卷 209-214页

作者：杨育彬林珲南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093 香港中文大学太空与地球信息科学研究所

提出了一种利用天文观测手段获取的CCD图像序列对空间碎片进行自动识别和追踪的方法。该方法采用计算机图像处理、图像识别与分析和计算机视觉等相关技术,自动识别出每幅CCD图像中的空间碎片以及背景恒星等空间目标,并定量计算其有关特... 详细信息

提出了一种利用天文观测手段获取的CCD图像序列对空间碎片进行自动识别和追踪的方法。该方法采用计算机图像处理、图像识别与分析和计算机视觉等相关技术,自动识别出每幅CCD图像中的空间碎片以及背景恒星等空间目标,并定量计算其有关特征;然后根据空间碎片移动较快的特点,在CCD图像序列中结合基于Snake模型的主动轮廓追踪和特征相似性比较两种方法,对其中出现的空间碎片目标进行自动识别和追踪。实验结果显示,该方法能准确地对空间碎片目标进行自动识别和追踪。

关键词：空间碎片主动轮廓目标追踪天文观测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：