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

构造性逻辑作为自然语言的模型增长理论

引用

软件学报 1997年第3期8卷 214-219页

作者：张彤陆汝占上海交通大学计算机系南京大学计算机软件新技术国家重点实验室

理解自然语言的过程就是构造语义解释模型的过程．本文用构造性逻辑作为模型增长理论。

关键词：自然语言构造性逻辑模型增长

来源：评论

学校读者我要写书评

暂无评论

三维地质数据可视化系统SLGRAPH的设计与实现

引用

计算机研究与发展 1998年第9期35卷 836-840页

作者：汪灏泓宋继强徐维秀蔡士杰南京大学计算机软件新技术国家重点实验室

ＳＬＧＲＡＰＨ是一个应用于地质背景下的三维数据可视化系统．文中探讨了系统设计中采用的将面向问题域思想与面向对象技术合为一体的方法，使系统具有很强的动态可扩充性和较高的代码复用率．ＳＬＧＲＡＰＨ充分考虑了地层与断层的空... 详细信息

ＳＬＧＲＡＰＨ是一个应用于地质背景下的三维数据可视化系统．文中探讨了系统设计中采用的将面向问题域思想与面向对象技术合为一体的方法，使系统具有很强的动态可扩充性和较高的代码复用率．ＳＬＧＲＡＰＨ充分考虑了地层与断层的空间连续性，从立体角度建立完整的断层模型，并结合空间单元分割技术和区域编码法，较精确地实现了离散数据场的空间估计，较好地解决了断层问题．文中还提出了浮动水平线消隐算法和光线追踪真实感绘制算法的改进方法．

关键词：三维地质数据 SLGRAPH 地震勘探数据处理

来源：评论

学校读者我要写书评

暂无评论

视频服务器网络中影像对象映射问题的研究

引用

软件学报 2000年第12期11卷 1620-1627页

作者：周笑波谢立 ReinhardLueling 南京大学计算机软件新技术国家重点实验室南京210093 德国Paderborn大学计算机并行中心

视频服务器网络中的影像对象映射问题是一种新的组合优化问题 .服务器网络可以建立在基于局域网的工作站网络之上 ,也可以建立在广域网之上 .基于对用户的服务请求模式、服务器网络的存储容量和通信带宽等因素的综合考虑 ,研究了服务器... 详细信息

视频服务器网络中的影像对象映射问题是一种新的组合优化问题 .服务器网络可以建立在基于局域网的工作站网络之上 ,也可以建立在广域网之上 .基于对用户的服务请求模式、服务器网络的存储容量和通信带宽等因素的综合考虑 ,研究了服务器网络中影像对象映射问题 ,利用局部搜索算法给出了一套对该映射问题的解决方案 .然后用一套基准集实例对给出的算法集进行验证 .结果表明 ,在较短的计算时间内。

关键词：视频服务器网络影像对象映射视频点播

来源：评论

学校读者我要写书评

暂无评论

安全的混成系统神经网络控制器生成与验证

引用

软件学报 2023年第7期34卷 2981-3001页

作者：赵庆晔王豫李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

控制器生成是混成系统控制中的重要问题.生成具有安全保证的控制器,关系着混成系统在安全攸关领域的使用.提出了一种为混成系统生成具有安全保证的神经网络控制器的方法.神经网络控制器的安全性由与其同时生成的障碍证书保证.为了生成... 详细信息

控制器生成是混成系统控制中的重要问题.生成具有安全保证的控制器,关系着混成系统在安全攸关领域的使用.提出了一种为混成系统生成具有安全保证的神经网络控制器的方法.神经网络控制器的安全性由与其同时生成的障碍证书保证.为了生成安全的神经网络控制器,首先确定控制器的网络结构,并基于混成系统构造训练数据集;然后,根据保证控制器安全的障碍证书条件编码神经网络训练时的损失函数.当训练完成后,学习到的神经网络控制器对于训练数据集中的数据是安全的,但对于整个混成系统可能并不安全.为了检验学习到的控制器在整个系统上的安全性,将其安全验证问题转化为一组混合整数规划问题,并使用数值优化器求解,以得到形式化保证的结果.工作实现了安全神经网络控制器生成工具SafeNC,并评估了它在8个基准系统上的性能.实验结果表明:SafeNC可以生成包含6个隐藏层的具有1804个神经元的安全神经网络控制器;同时,与现有方法相比,SafeNC可为更复杂的系统生成安全的神经网络控制器,更有效且更具扩展性.

关键词：混成系统安全控制神经网络控制器障碍证书混合整数规划

来源：评论

学校读者我要写书评

暂无评论

一种面向无线传感网应用重编程的逻辑式编程语言

引用

软件学报 2014年第2期25卷 326-340页

作者：朱晓瑞陶先平谢宏伟吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

无线传感网的发展,使其需要具有高效地更新其上运行的应用软件的能力.为了解决这个问题,提出了一种面向无线传感网应用重编程的逻辑式编程语言及其处理系统***语言根据无线传感网应用的普遍特点,基于传统逻辑式语言进行扩展,并提供合适... 详细信息

无线传感网的发展,使其需要具有高效地更新其上运行的应用软件的能力.为了解决这个问题,提出了一种面向无线传感网应用重编程的逻辑式编程语言及其处理系统***语言根据无线传感网应用的普遍特点,基于传统逻辑式语言进行扩展,并提供合适的编程抽象,方便程序员高效地构建、修改程序.同时,语言的处理系统使用中间代码将应用程序与系统软件解耦,从而减少应用更新时所需传输的更新代码的规模,提高更新效率.通过一个数据收集应用案例评估了ReLog语言及其执行机制,结果表明:使用ReLog语言能够获得简洁、易修改的程序;同时,语言的执行机制能够显著降低传输应用更新代码的能量和时间开销.

关键词：逻辑式编程语言操作语义无线传感网重编程解释执行

来源：评论

学校读者我要写书评

暂无评论

基于Markov对策的多Agent强化学习模型及算法研究

引用

计算机研究与发展 2000年第3期37卷 257-263页

作者：高阳周志华何佳洲陈世福南京大学计算机软件新技术国家重点实验室南京210093

在ＭＤＰ中，单Ａｇｅｎｔ可以通过强化学习来寻找问题的最优解．但在多Ａｇｅｎｔ系统中，ＭＤＰ模型不再适用．同样极小极大Ｑ算法只能解决采用零和对策模型的ＭＡＳ学习问题．文中采用非零和Ｍａｒｋｏｖ对策作为多Ａｇｅｎｔ系统学... 详细信息

在ＭＤＰ中，单Ａｇｅｎｔ可以通过强化学习来寻找问题的最优解．但在多Ａｇｅｎｔ系统中，ＭＤＰ模型不再适用．同样极小极大Ｑ算法只能解决采用零和对策模型的ＭＡＳ学习问题．文中采用非零和Ｍａｒｋｏｖ对策作为多Ａｇｅｎｔ系统学习框架，并提出元对策强化学习的学习模型和元对策Ｑ算法．理论证明元对策Ｑ算法收敛在非零和Ｍａｒｋｏｖ对策的元对策最优解．

关键词：元对策强化学习多Agent系统人工智能

来源：评论

学校读者我要写书评

暂无评论

高清几何缓存多尺度特征融合的渲染超分方法

引用

软件学报 2024年第6期35卷 3052-3068页

作者：张浩南过洁覃浩宇傅锡豪郭延文计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

人们对图像显示设备高分辨率和逼真视觉感知的需求随着现代信息技术的发展日益增长,这对计算机软硬件提出了更高要求,也为渲染技术在性能与工作负载上带来更多挑战.利用深度神经网络等机器学习技术对渲染图像进行质量改进和性能提升成... 详细信息

人们对图像显示设备高分辨率和逼真视觉感知的需求随着现代信息技术的发展日益增长,这对计算机软硬件提出了更高要求,也为渲染技术在性能与工作负载上带来更多挑战.利用深度神经网络等机器学习技术对渲染图像进行质量改进和性能提升成为了计算机图形学热门的研究方向,其中通过网络推理将低分辨率图像进行上采样获得更加清晰的高分辨率图像是提升图像生成性能并保证高清细节的一个重要途径.而渲染引擎在渲染流程中产生的几何缓存(geometry buffer,G-buffer)包含较多的语义信息,能够帮助网络有效地学习场景信息与特征,从而提升上采样结果的质量.设计一个基于深度神经网络的低分辨率渲染内容的超分方法.除了当前帧的颜色图像,其使用高分辨率的几何缓存来辅助计算并重建超分后的内容细节.所提方法引入一种新的策略来融合高清缓存与低清图像的特征信息,在特定的融合模块中对不同种特征信息进行多尺度融合.实验验证所提出的融合策略和模块的有效性,并且,在和其他图像超分辨率方法的对比中,所提方法体现出明显的优势,尤其是在高清细节保持方面.

关键词：神经网络渲染图像超分几何缓存特征融合

来源：评论

学校读者我要写书评

暂无评论

增量式IHMCAP算法的研究及其应用

引用

计算机学报 1998年第8期21卷 759-764页

作者：陈兆乾周志华骆斌陈世福南京大学计算机软件新技术国家重点实验室南京210093

增量式IHMCAP算法采用适合于混合型学习的FTART神经网络，成功解决了符号学习与神经网络学习精度之间的均衡性问题．该算法还具有较强的增量学习能力，在给系统增加新的示例时，不用重新生成已有判定树和神经网络，只需进行一遍增量学... 详细信息

增量式IHMCAP算法采用适合于混合型学习的FTART神经网络，成功解决了符号学习与神经网络学习精度之间的均衡性问题．该算法还具有较强的增量学习能力，在给系统增加新的示例时，不用重新生成已有判定树和神经网络，只需进行一遍增量学习即可调整原结构以提高学习精度，效率高，速度快．

关键词：机器学习神经网络混合系统 IHMCAP算法

来源：评论

学校读者我要写书评

暂无评论

基于行为感知的用户画像技术

引用

浙江大学学报（工学版） 2021年第4期55卷 608-614,638页

作者：尤明辉殷亚凤谢磊陆桑璐南京大学计算机软件新技术国家重点实验室江苏南京210023

为了在保护用户隐私的同时构建用户画像,提出基于行为感知的用户画像技术.采用智能手机内置的惯性传感器,可以感知识别用户使用手机的行为(如浏览阅读、打字聊天、通话等).通过识别的用户行为挖掘用户特性,如性别、社交性格、压力状态等... 详细信息

为了在保护用户隐私的同时构建用户画像,提出基于行为感知的用户画像技术.采用智能手机内置的惯性传感器,可以感知识别用户使用手机的行为(如浏览阅读、打字聊天、通话等).通过识别的用户行为挖掘用户特性,如性别、社交性格、压力状态等,构建初步的用户画像.实验结果表明,利用该方法能够较好地识别用户行为并构建用户画像,其中行为识别的准确率为87.2%,针对性别、社交性格、压力状态3个具体用户特性的预测准确率分别为81.8%、72.7%、72.7%.

关键词：智能手机惯性传感器行为感知用户特性挖掘用户画像

来源：评论

学校读者我要写书评

暂无评论

深度学习模型压缩与加速综述

引用

软件学报 2021年第1期32卷 68-92页

作者：高晗田育龙许封元仲盛计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

随着训练可用数据量的增长与计算平台处理能力的增强,基于深度学习的智能模型能够完成越来越复杂的任务,其在计算机视觉、自然语言处理等人工智能领域已经取得重大的突破.然而,这些深度模型具有庞大的参数规模,与此相伴的可畏的计算开... 详细信息

随着训练可用数据量的增长与计算平台处理能力的增强,基于深度学习的智能模型能够完成越来越复杂的任务,其在计算机视觉、自然语言处理等人工智能领域已经取得重大的突破.然而,这些深度模型具有庞大的参数规模,与此相伴的可畏的计算开销与内存需求使其在计算能力受限平台(例如移动嵌入式设备)的部署中遇到了巨大的困难与挑战.因此,如何在不影响深度学习模型性能的情况下进行模型压缩与加速成为研究热点.首先对国内外学者提出的经典深度学习模型压缩与加速方法进行分析,从参数剪枝、参数量化、紧凑网络、知识蒸馏、低秩分解、参数共享和混合方式这7个方面分类总结;其次,总结对比几种主流技术的代表性方法在多个公开模型上的压缩与加速效果;最后,对于模型压缩与加速领域的未来研究方向加以展望.

关键词：深度学习模型压缩模型加速参数剪枝参数量化紧凑网络

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：