咨询与建议

限定检索结果

文献类型

  • 1,165 篇 期刊文献
  • 166 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,234 篇 工学
    • 1,001 篇 计算机科学与技术...
    • 640 篇 软件工程
    • 151 篇 网络空间安全
    • 137 篇 控制科学与工程
    • 100 篇 机械工程
    • 60 篇 信息与通信工程
    • 58 篇 仪器科学与技术
    • 24 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 6 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
    • 3 篇 公安技术
    • 2 篇 电气工程
    • 2 篇 土木工程
  • 396 篇 管理学
    • 390 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 30 篇 理学
    • 15 篇 数学
    • 10 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 26 篇 艺术学
    • 26 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 7 篇 教育学
    • 7 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 3 篇 哲学
    • 3 篇 哲学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 文学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

  • 43 篇 面向对象
  • 35 篇 无线传感器网络
  • 26 篇 internet
  • 23 篇 计算机网络
  • 22 篇 信息检索
  • 22 篇 人工智能
  • 21 篇 机器学习
  • 18 篇 软件测试
  • 18 篇 入侵检测
  • 18 篇 神经网络
  • 18 篇 服务质量
  • 17 篇 web
  • 16 篇 计算机
  • 16 篇 设计
  • 15 篇 访问控制
  • 15 篇 软件工程
  • 14 篇 支持向量机
  • 14 篇 信息安全
  • 14 篇 数据库
  • 13 篇 遗传算法

机构

  • 1,211 篇 南京大学
  • 164 篇 计算机软件新技术...
  • 111 篇 南京航空航天大学
  • 45 篇 南京工业大学
  • 43 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 39 篇 南京理工大学
  • 33 篇 扬州大学
  • 23 篇 苏州大学
  • 23 篇 南通大学
  • 19 篇 东南大学
  • 17 篇 南京邮电学院
  • 15 篇 东华大学
  • 12 篇 清华大学
  • 10 篇 中国矿业大学
  • 9 篇 南京大学软件新技...
  • 8 篇 吉林大学
  • 8 篇 解放军理工大学
  • 7 篇 计算机科学与技术...
  • 7 篇 软件新技术国家重...

作者

  • 126 篇 谢立
  • 75 篇 潘金贵
  • 65 篇 曾庆凯
  • 64 篇 陈道蓄
  • 63 篇 黄皓
  • 59 篇 李宣东
  • 55 篇 张福炎
  • 53 篇 谢俊元
  • 52 篇 柏文阳
  • 50 篇 郑国梁
  • 48 篇 陈世福
  • 43 篇 白光伟
  • 43 篇 王崇骏
  • 41 篇 孙正兴
  • 35 篇 茅兵
  • 33 篇 沈航
  • 32 篇 骆斌
  • 31 篇 徐宝文
  • 30 篇 武港山
  • 30 篇 陈家骏

语言

  • 1,331 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室,南京,210093 南京大学计算机科学与技术系,南京,210093"
1331 条 记 录,以下是111-120 订阅
排序:
常用循环摘要的自动生成方法及其应用
收藏 引用
软件学报 2017年 第5期28卷 1051-1069页
作者: 翟娟 汤震浩 李彬 赵建华 李宣东 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环... 详细信息
来源: 评论
软件安全漏洞检测专题前言
收藏 引用
软件学报 2018年 第5期29卷 1177-1178页
作者: 王林章 陈恺 王戟 计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系 信息安全国家重点实验室(中国科学院信息工程研究所) 中国科学院大学网络空间安全学院 国防科技大学计算机学院
软件安全漏洞是软件中存在的可能被利用而造成损害的薄弱环节.随着互联网和移动互联网的快速发展,软件因为自身存在漏洞而遭受外界利用攻击,导致隐私泄漏、非法提权、勒索等严重不安全后果.尽早检测软件中存在的安全漏洞并及时实现修复... 详细信息
来源: 评论
C/C++程序静态内存泄漏警报自动确认方法
收藏 引用
软件学报 2017年 第4期28卷 827-844页
作者: 李筱 周严 李孟宸 陈园军 XU Guo-Qing 王林章 李宣东 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023 Department of Computer Science University of California
内存泄漏是C/C++程序的一种常见的、难以发现的缺陷,一直困扰着软件开发者,尤其是针对长时间运行的程序或者软件,内存泄漏的后果十分严重.针对内存泄漏的检测,目前主要有静态分析和动态测试两种方法.动态测试实际运行程序具有较大开... 详细信息
来源: 评论
使用敏感路径识别方法分析安卓应用安全性
收藏 引用
软件学报 2017年 第9期28卷 2248-2263页
作者: 缪小川 汪睿 许蕾 张卫丰 徐宝文 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023 南京邮电大学计算机学院 江苏南京210023
安卓统在手机端操作统中长期占据主导地位,但由于安卓统开放共享的特性和不够严谨的第三方市场审核机制,安卓平台受到众多恶意应用的侵扰.结合静态程序分析和机器学习方法,提出了基于敏感路径识别的安卓应用安全性分析方法.首先,... 详细信息
来源: 评论
基于代码修改的多目标有监督缺陷预测建模方法
收藏 引用
计算机科学 2018年 第6期45卷 161-165页
作者: 陈翔 王秋萍 南通大学计算机科学与技术学院 江苏南通226019 南京大学软件新技术国家重点实验室 南京210093 桂林电子科技大学广西可信软件重点实验室 广西桂林541004
基于代码修改的缺陷预测,具有代码审查量少、缺陷定位和修复快的优点。文中首次将该问题建模为多目标优化问题,其中一个优化目标是最大化识别出的缺陷代码修改数,另一个优化目标是最小化需要审查的代码量。这两个优化目标之间存在一定... 详细信息
来源: 评论
集成最大汇合:最大汇合时只有最大值有用吗
收藏 引用
中国科学技术大学学报 2017年 第10期47卷 799-807页
作者: 张皓 吴建鑫 计算机软件新技术国家重点实验室 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
卷积神经网络中的汇合层基于局部相关性原理进行亚采样,在减少数据量的同时保留有用信息,从而有助于提升泛化能力.同时,汇合层可以有效提高感受野.经典的最大汇合采用赢者通吃策略,这有时会影响网络的泛化能力.为此提出集成最大汇合,用... 详细信息
来源: 评论
基于语义特征的多视图情感分类方法
收藏 引用
智能统学报 2017年 第5期12卷 745-751页
作者: 吴钟强 张耀文 商琳 南京大学计算机软件新技术国家重点实验室 江苏南京210046 南京大学计算机科学与技术系 江苏南京210046
情感分析也称为意见挖掘,是对文本中所包含的情感倾向进行分析的技术。目前很多情感分析工作都是基于纯文本的。而在微博上,除了文本,大量的图片信息也蕴含了丰富的情感信息。本文提出了一种基于文本和图像的多模态分类算法,通过使用潜... 详细信息
来源: 评论
面向AltaRica模型的嵌入式统安全性验证方法
收藏 引用
计算机科学与探索 2017年 第1期11卷 24-36页
作者: 仵志鹏 胡军 陈松 石娇洁 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
嵌入式统在航空、航天、交通等安全关键领域的使用愈加广泛,Alta Rica是一种描述安全关键统的建模语言,同时基于Alta Rica模型的安全性分析已成为欧洲的工业标准。提出了一种面向Alta Rica模型的嵌入式统安全性验证方法,包括:使用... 详细信息
来源: 评论
一种基于决策粗糙集的模糊C均值聚类数的确定方法
收藏 引用
计算机科学 2017年 第9期44卷 45-48,66页
作者: 石文峰 商琳 南京大学计算机科学与技术系 南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023
Fuzzy C-Means(FCM)是模糊聚类中聚类效果较好且应用较为广泛的聚类算法,但是其对初始聚类数的敏感性导致如何选择一个较好的C值变得十分重要。因此,确定FCM的聚类数是使用FCM进行聚类分析时的一个至关重要的步骤。通过扩展决策粗糙集... 详细信息
来源: 评论
一种面向功能类似程序的高效克隆检测技术
收藏 引用
计算机科学 2017年 第4期44卷 12-15页
作者: 董加星 许畅 南京大学计算机软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023
程序克隆检测被普遍应用于检测软件市场中是否有被恶意修改后重新发布的软件,或是应用于识别与重构克隆代码。但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景。功能类似程序之间的克隆... 详细信息
来源: 评论