咨询与建议

限定检索结果

文献类型

  • 3,124 篇 期刊文献
  • 517 篇 会议
  • 1 篇 成果

馆藏范围

  • 3,642 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3,374 篇 工学
    • 2,632 篇 计算机科学与技术...
    • 1,792 篇 软件工程
    • 515 篇 控制科学与工程
    • 341 篇 机械工程
    • 273 篇 网络空间安全
    • 193 篇 信息与通信工程
    • 192 篇 仪器科学与技术
    • 61 篇 电子科学与技术(可...
    • 39 篇 建筑学
    • 16 篇 土木工程
    • 13 篇 电气工程
    • 12 篇 地质资源与地质工...
    • 12 篇 公安技术
    • 10 篇 石油与天然气工程
    • 10 篇 交通运输工程
    • 7 篇 光学工程
  • 1,104 篇 管理学
    • 1,084 篇 管理科学与工程(可...
    • 18 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 144 篇 理学
    • 74 篇 数学
    • 55 篇 系统科学
    • 7 篇 物理学
  • 81 篇 艺术学
    • 80 篇 设计学(可授艺术学...
    • 10 篇 美术学
  • 28 篇 教育学
    • 28 篇 教育学
  • 28 篇 医学
    • 11 篇 临床医学
    • 9 篇 中医学
  • 20 篇 文学
    • 9 篇 外国语言文学
  • 19 篇 经济学
    • 17 篇 应用经济学
  • 11 篇 哲学
    • 11 篇 哲学
  • 7 篇 农学
  • 7 篇 军事学
  • 3 篇 法学
  • 3 篇 历史学

主题

  • 120 篇 机器学习
  • 99 篇 神经网络
  • 89 篇 面向对象
  • 74 篇 无线传感器网络
  • 72 篇 人工智能
  • 62 篇 internet
  • 57 篇 数据挖掘
  • 52 篇 计算机
  • 46 篇 软件开发
  • 46 篇 深度学习
  • 42 篇 计算机网络
  • 40 篇 软件工程
  • 38 篇 软件测试
  • 37 篇 信息检索
  • 36 篇 遗传算法
  • 36 篇 移动agent
  • 36 篇 设计
  • 34 篇 数据库
  • 33 篇 强化学习
  • 33 篇 入侵检测

机构

  • 3,120 篇 南京大学
  • 503 篇 计算机软件新技术...
  • 210 篇 南京航空航天大学
  • 187 篇 南京邮电大学
  • 89 篇 扬州大学
  • 77 篇 辽宁师范大学
  • 72 篇 南京理工大学
  • 70 篇 宁波大学
  • 57 篇 南京工业大学
  • 55 篇 东南大学
  • 54 篇 南京大学计算机软...
  • 41 篇 南通大学
  • 40 篇 苏州大学
  • 33 篇 南京师范大学
  • 29 篇 解放军理工大学
  • 26 篇 南京信息工程大学
  • 24 篇 西南交通大学
  • 22 篇 南京中医药大学
  • 21 篇 安徽大学
  • 20 篇 南京邮电学院

作者

  • 227 篇 谢立
  • 191 篇 陈世福
  • 181 篇 吕建
  • 163 篇 潘金贵
  • 133 篇 周志华
  • 130 篇 陈道蓄
  • 105 篇 王汝传
  • 102 篇 黄皓
  • 93 篇 陈兆乾
  • 92 篇 高阳
  • 88 篇 李宣东
  • 86 篇 蔡士杰
  • 85 篇 曾庆凯
  • 83 篇 孙正兴
  • 81 篇 张福炎
  • 80 篇 陶先平
  • 76 篇 柏文阳
  • 76 篇 谢俊元
  • 75 篇 王崇骏
  • 74 篇 郑国梁

语言

  • 3,640 篇 中文
  • 2 篇 英文
检索条件"机构=南京大学计算机系计算机软件新技术国家重点实验室"
3642 条 记 录,以下是581-590 订阅
排序:
含有析取语义循环的不变式生成改进方法
收藏 引用
软件学报 2016年 第7期27卷 1741-1756页
作者: 潘建东 陈立前 黄达明 孙浩 曾庆凯 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023 并行与分布处理国防科技重点实验室(国防科学技术大学计算机学院) 湖南长沙410073
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显... 详细信息
来源: 评论
基于多特征混合模型的视觉目标跟踪
收藏 引用
南京大学学报(自然科学版) 2016年 第4期52卷 762-770页
作者: 朱尧 毛晓蛟 杨育彬 南京大学计算机软件新技术国家重点实验室 南京210023
用单一特征训练跟踪模型进行跟踪鲁棒性较差,为解决这一问题,提出一种多特征表示的混合模型跟踪方法,将生成跟踪模型与判别跟踪模型结合.在生成模型中,利用金字塔结构计算基于颜色的直方图特征表示并以此来计算目标和候选之间的匹配度;... 详细信息
来源: 评论
一种改进的协同训练算法:Compatible Co-training
收藏 引用
南京大学学报(自然科学版) 2016年 第4期52卷 662-671页
作者: 郭翔宇 王魏 南京大学计算机软件新技术国家重点实验室 南京210023
半监督学习是机器学习近年来的热点研究方向,而协同训练(Co-training)则是半监督学习中的重要范式,它利用双视图训练两个分类器来互相标记样本以扩大训练集,以此借助未标记样本提升学习性能.在实际应用中,视图通常会受到属性退化和噪声... 详细信息
来源: 评论
一种基于相关性特征融合的乳腺图像感兴趣区域检测方法
收藏 引用
南京大学学报(自然科学版) 2016年 第1期52卷 194-202页
作者: 陆恒杨 李宁 谢俊元 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京210023
乳腺图像的感兴趣区域(region of interest,ROI)检测是计算机辅助诊断乳腺疾病的第一步,检测效果的提升对减小误诊率有重要的作用.传统方法往往提取单独的视觉特征来描述乳腺图像,通过分类的方法找出包含肿块的区域.然而由于乳腺图像内... 详细信息
来源: 评论
基于Ranking的泊松矩阵分解兴趣点推荐算法
收藏 引用
计算机研究与发展 2016年 第8期53卷 1651-1663页
作者: 余永红 高阳 王皓 计算机软件新技术国家重点实验室(南京大学) 南京210023 江苏省软件新技术与产业化协同创新中心 南京210023
随着基于位置社交网络(location-based social network,LBSN)的发展,兴趣点推荐成为满足用户个性化需求、减轻信息过载问题的重要手段.然而,已有的兴趣点推荐算法存在如下的问题:1)多数已有的兴趣点推荐算法简化用户签到频率数据,仅使... 详细信息
来源: 评论
基于相对熵的数据流概念漂移检测算法
收藏 引用
计算机应用与软件 2017年 第12期34卷 256-259页
作者: 杨帆 张永 辽宁师范大学计算机与信息技术学院 辽宁大连116081 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023
针对数据流中出现的概念漂移问题,采用决策树作为分类器,提出一种基于相对熵的数据流概念漂移检测算法。提出的算法将分类器的准确率与相对熵作为判断该数据块是否发生概念漂移的标准。通过5个数据集对该方法进行验证,该算法在其中4个... 详细信息
来源: 评论
软件自适应:基于控制理论的方法
收藏 引用
计算机学报 2016年 第11期39卷 2189-2215页
作者: 杨启亮 马晓星 邢建春 胡昊 王平 韩德帅 解放军理工大学国防工程学院 南京210007 计算机软件新技术国家重点实验室(南京大学) 南京210093
软件自适应是软件统为应对外部环境、用户需求和统自身的频繁变化而进行自我调整的一种能力,是近年来软件工程领域研究的热点.由于基于"感知-决策-调整"的软件自适应环与基于"感知-规划-动作"的控制环有着天然... 详细信息
来源: 评论
直觉模糊逻辑的(α,β)-准锁语义归结方法
收藏 引用
模式识别与人工智能 2016年 第3期29卷 223-228页
作者: 邹丽 刘迪 谭雪微 郑宏亮 辽宁师范大学计算机与信息技术学院 大连116081 南京大学计算机软件新技术国家重点实验室 南京210093
为了提高直觉模糊命题逻辑的(α,β)-归结效率,将准锁语义归结策略应用于(α,β)-归结原理,得到直觉模糊命题逻辑的(α,β)-准锁语义归结方法,证明方法的可靠性与完备性.给出直觉模糊命题逻辑统的(α,β)-准锁语义归结和(α,β)-准锁... 详细信息
来源: 评论
一种基于最优策略概率分布的POMDP值迭代算法
收藏 引用
电子学报 2016年 第5期44卷 1078-1084页
作者: 刘峰 王崇骏 骆斌 南京大学软件学院 江苏南京210093 南京大学软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
随着应用中POMDP问题的规模不断扩大,基于最优策略可达区域的启发式方法成为了目前的研究热点.然而目前已有的算法虽然保证了全局最优,但选择最优动作还不够精确,影响了算法的效率.本文提出一种基于最优策略概率的值迭代方法 PBVIOP.该... 详细信息
来源: 评论
绿色数据中心数据处理型框架中的数据管理
收藏 引用
统仿真学报 2016年 第3期28卷 592-599页
作者: 张啸 高原 王晓亮 葛以踊 杨海祥 万书鹏 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系 南京210023 国电南瑞科技股份有限公司 南京210023
使用绿色能源已成为解决数据中心能耗问题的一种有效方式。为了降低绿色能源变化幅度大的特点带来的影响,通常将可延迟作业放入等待队列,将相应空闲服务器置为休眠状态,降低统能耗,在新能源可用的时候执行作业。当新作业执行时,需要... 详细信息
来源: 评论