咨询与建议

限定检索结果

文献类型

  • 1,510 篇 期刊文献
  • 218 篇 会议

馆藏范围

  • 1,728 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,602 篇 工学
    • 1,296 篇 计算机科学与技术...
    • 848 篇 软件工程
    • 195 篇 控制科学与工程
    • 168 篇 网络空间安全
    • 140 篇 机械工程
    • 77 篇 仪器科学与技术
    • 75 篇 信息与通信工程
    • 28 篇 电子科学与技术(可...
    • 9 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 4 篇 交通运输工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 公安技术
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
  • 507 篇 管理学
    • 500 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 45 篇 理学
    • 25 篇 数学
    • 13 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 37 篇 艺术学
    • 37 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 9 篇 教育学
    • 9 篇 教育学
  • 8 篇 哲学
    • 8 篇 哲学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 医学
  • 3 篇 文学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

  • 52 篇 面向对象
  • 42 篇 无线传感器网络
  • 31 篇 人工智能
  • 31 篇 internet
  • 29 篇 机器学习
  • 25 篇 软件测试
  • 25 篇 计算机网络
  • 24 篇 信息检索
  • 21 篇 计算机
  • 21 篇 神经网络
  • 20 篇 入侵检测
  • 20 篇 服务质量
  • 19 篇 软件工程
  • 18 篇 数据挖掘
  • 17 篇 形式化方法
  • 17 篇 遗传算法
  • 17 篇 深度学习
  • 17 篇 web
  • 16 篇 支持向量机
  • 16 篇 设计

机构

  • 1,524 篇 南京大学
  • 227 篇 计算机软件新技术...
  • 165 篇 南京航空航天大学
  • 67 篇 南京理工大学
  • 50 篇 南通大学
  • 48 篇 扬州大学
  • 48 篇 南京工业大学
  • 45 篇 东南大学
  • 45 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 37 篇 苏州大学
  • 25 篇 南京师范大学
  • 20 篇 中国矿业大学
  • 17 篇 南京邮电学院
  • 17 篇 东华大学
  • 15 篇 江苏大学
  • 14 篇 电子科技大学
  • 13 篇 清华大学
  • 12 篇 南京大学软件新技...
  • 10 篇 辽宁师范大学

作者

  • 140 篇 谢立
  • 86 篇 潘金贵
  • 77 篇 黄皓
  • 68 篇 李宣东
  • 67 篇 陈道蓄
  • 67 篇 曾庆凯
  • 61 篇 张福炎
  • 57 篇 郑国梁
  • 56 篇 谢俊元
  • 54 篇 柏文阳
  • 53 篇 陈世福
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 43 篇 孙正兴
  • 42 篇 陈家骏
  • 40 篇 徐宝文
  • 38 篇 茅兵
  • 35 篇 陆桑璐
  • 34 篇 骆斌
  • 33 篇 徐洁磐

语言

  • 1,728 篇 中文
检索条件"机构=南京大学计算机科学技术系软件新技术国家重点实验室"
1728 条 记 录,以下是211-220 订阅
排序:
常用循环摘要的自动生成方法及其应用
收藏 引用
软件学报 2017年 第5期28卷 1051-1069页
作者: 翟娟 汤震浩 李彬 赵建华 李宣东 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环... 详细信息
来源: 评论
C/C++程序静态内存泄漏警报自动确认方法
收藏 引用
软件学报 2017年 第4期28卷 827-844页
作者: 李筱 周严 李孟宸 陈园军 XU Guo-Qing 王林章 李宣东 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023 Department of Computer Science University of California
内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开... 详细信息
来源: 评论
基于代码修改的多目标有监督缺陷预测建模方法
收藏 引用
计算机科学 2018年 第6期45卷 161-165页
作者: 陈翔 王秋萍 南通大学计算机科学与技术学院 江苏南通226019 南京大学软件新技术国家重点实验室 南京210093 桂林电子科技大学广西可信软件重点实验室 广西桂林541004
基于代码修改的缺陷预测,具有代码审查量少、缺陷定位和修复快的优点。文中首次将该问题建模为多目标优化问题,其中一个优化目标是最大化识别出的缺陷代码修改数,另一个优化目标是最小化需要审查的代码量。这两个优化目标之间存在一定... 详细信息
来源: 评论
使用敏感路径识别方法分析安卓应用安全性
收藏 引用
软件学报 2017年 第9期28卷 2248-2263页
作者: 缪小川 汪睿 许蕾 张卫丰 徐宝文 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023 南京邮电大学计算机学院 江苏南京210023
安卓统在手机端操作统中长期占据主导地位,但由于安卓统开放共享的特性和不够严谨的第三方市场审核机制,安卓平台受到众多恶意应用的侵扰.结合静态程序分析和机器学习方法,提出了基于敏感路径识别的安卓应用安全性分析方法.首先,... 详细信息
来源: 评论
“云计算与大数据”及其对勘探地震技术发展的影响
收藏 引用
科学通报 2017年 第23期62卷 2630-2638页
作者: 唐杰 魏嘉 武港山 南京大学软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023 中国石化石油物探技术研究院 南京211103
互联网技术发展至今,已进入了大数据和云计算时代,并在传统商业领域取得了令人瞩目的成功,产生了许多新的发展模式.但是,在勘探地震专业领域,"云计算与大数据"技术的潜力尚没有充分发挥.本文介绍了"云计算与大数据"... 详细信息
来源: 评论
集成最大汇合:最大汇合时只有最大值有用吗
收藏 引用
中国科学技术大学学报 2017年 第10期47卷 799-807页
作者: 张皓 吴建鑫 计算机软件新技术国家重点实验室 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
卷积神经网络中的汇合层基于局部相关性原理进行亚采样,在减少数据量的同时保留有用信息,从而有助于提升泛化能力.同时,汇合层可以有效提高感受野.经典的最大汇合采用赢者通吃策略,这有时会影响网络的泛化能力.为此提出集成最大汇合,用... 详细信息
来源: 评论
ECOLE 2018 Tutorial机器学习中的优化问题简介
ECOLE 2018 Tutorial机器学习中的优化问题简介
收藏 引用
第五届中国演化计算与学习研讨会(ECOLE 2018)
作者: 俞扬 南京大学 软件新技术国家重点实验室 计算机科学与技术系|人工智能学院
Artificial intelligence systems,machine learning improves system performance automatically from *** tools for intelligent data *** task category:supervised learning、partially supervised learning、reinforcement lear... 详细信息
来源: 评论
面向动作的上下文感知应用的规约与运行时验证
收藏 引用
软件学报 2017年 第5期28卷 1167-1182页
作者: 李晅松 陶先平 吕建 宋巍 南京理工大学计算机科学与工程学院 江苏南京210094 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023
面向动作的上下文感知(activity-oriented context-aware,简称AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相对于在开发阶段描述全局信... 详细信息
来源: 评论
测试代价敏感的粗糙集方法
收藏 引用
统工程理论与实践 2017年 第1期37卷 228-240页
作者: 鞠恒荣 周献中 杨佩 李华雄 杨习贝 南京大学工程管理学院 南京210093 江苏科技大学计算机科学与工程学院 镇江212003 南京大学智能装备新技术研究中心 南京210093 南京大学软件新技术国家重点实验室 南京210023
在粗糙集模型中,α量化不可分辨关是强与弱不可分辨关的推广形式.然而值得注意的是,基于这三种不可分辨关的粗糙集并未考虑数据中属性的测试代价.为解决这一问题,提出了测试代价敏感的α量化粗糙集模型,从二元关的角度使得粗糙... 详细信息
来源: 评论
组合测试研究进展
收藏 引用
中国科技论文 2017年 第20期12卷 2391-2400页
作者: 聂长海 南京大学软件新技术国家重点实验室暨计算机科学与技术系 南京210023
经过30多年的发展,组合测试已经发展成为1种独立的和颇具影响的软件测试方法。该方法利用组合覆盖表作为测试用例集,可以有效检测软件统中各种因素及其相互作用而促发的各种故障。论文在充分分析已有文献的基础上,结合作者在该领域的... 详细信息
来源: 评论