咨询与建议

限定检索结果

文献类型

  • 1,395 篇 期刊文献
  • 219 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,492 篇 工学
    • 1,205 篇 计算机科学与技术...
    • 776 篇 软件工程
    • 169 篇 网络空间安全
    • 166 篇 控制科学与工程
    • 128 篇 机械工程
    • 75 篇 仪器科学与技术
    • 69 篇 信息与通信工程
    • 30 篇 电子科学与技术(可...
    • 11 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 交通运输工程
    • 5 篇 公安技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
  • 468 篇 管理学
    • 462 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 38 篇 理学
    • 17 篇 数学
    • 14 篇 系统科学
    • 4 篇 物理学
  • 34 篇 艺术学
    • 34 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 8 篇 教育学
    • 8 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 哲学
    • 4 篇 哲学
  • 4 篇 文学
    • 2 篇 外国语言文学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

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

机构

  • 1,355 篇 南京大学
  • 203 篇 计算机软件新技术...
  • 154 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 44 篇 南京邮电大学
  • 41 篇 清华大学
  • 40 篇 南京大学计算机软...
  • 38 篇 武汉大学
  • 36 篇 苏州大学
  • 35 篇 扬州大学
  • 31 篇 南通大学
  • 26 篇 东南大学
  • 21 篇 中国矿业大学
  • 20 篇 中国科学技术大学
  • 18 篇 南京邮电学院
  • 17 篇 东华大学
  • 13 篇 网络与交换技术国...
  • 12 篇 南京大学软件新技...
  • 12 篇 南京师范大学

作者

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

语言

  • 1,614 篇 中文
检索条件"机构=计算机软件新技术国家重点实验室计算机科学与技术系"
1614 条 记 录,以下是191-200 订阅
排序:
常用循环摘要的自动生成方法及其应用
收藏 引用
软件学报 2017年 第5期28卷 1051-1069页
作者: 翟娟 汤震浩 李彬 赵建华 李宣东 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环... 详细信息
来源: 评论
基于代码修改的多目标有监督缺陷预测建模方法
收藏 引用
计算机科学 2018年 第6期45卷 161-165页
作者: 陈翔 王秋萍 南通大学计算机科学与技术学院 江苏南通226019 南京大学软件新技术国家重点实验室 南京210093 桂林电子科技大学广西可信软件重点实验室 广西桂林541004
基于代码修改的缺陷预测,具有代码审查量少、缺陷定位和修复快的优点。文中首次将该问题建模为多目标优化问题,其中一个优化目标是最大化识别出的缺陷代码修改数,另一个优化目标是最小化需要审查的代码量。这两个优化目标之间存在一定... 详细信息
来源: 评论
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期12卷 745-751页
作者: 吴钟强 张耀文 商琳 南京大学计算机软件新技术国家重点实验室 江苏南京210046 南京大学计算机科学与技术系 江苏南京210046
情感分析也称为意见挖掘,是对文本中所包含的情感倾向进行分析的技术。目前很多情感分析工作都是基于纯文本的。而在微博上,除了文本,大量的图片信息也蕴含了丰富的情感信息。本文提出了一种基于文本和图像的多模态分类算法,通过使用潜... 详细信息
来源: 评论
“云计算与大数据”及其对勘探地震技术发展的影响
收藏 引用
科学通报 2017年 第23期62卷 2630-2638页
作者: 唐杰 魏嘉 武港山 南京大学软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023 中国石化石油物探技术研究院 南京211103
互联网技术发展至今,已进入了大数据和云计算时代,并在传统商业领域取得了令人瞩目的成功,产生了许多新的发展模式.但是,在勘探地震专业领域,"云计算与大数据"技术的潜力尚没有充分发挥.本文介绍了"云计算与大数据"... 详细信息
来源: 评论
一种基于决策粗糙集的模糊C均值聚类数的确定方法
收藏 引用
计算机科学 2017年 第9期44卷 45-48,66页
作者: 石文峰 商琳 南京大学计算机科学与技术系 南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023
Fuzzy C-Means(FCM)是模糊聚类中聚类效果较好且应用较为广泛的聚类算法,但是其对初始聚类数的敏感性导致如何选择一个较好的C值变得十分重要。因此,确定FCM的聚类数是使用FCM进行聚类分析时的一个至关重要的步骤。通过扩展决策粗糙集... 详细信息
来源: 评论
组合测试研究进展
收藏 引用
中国科技论文 2017年 第20期12卷 2391-2400页
作者: 聂长海 南京大学软件新技术国家重点实验室暨计算机科学与技术系 南京210023
经过30多年的发展,组合测试已经发展成为1种独立的和颇具影响的软件测试方法。该方法利用组合覆盖表作为测试用例集,可以有效检测软件统中各种因素及其相互作用而促发的各种故障。论文在充分分析已有文献的基础上,结合作者在该领域的... 详细信息
来源: 评论
一种面向功能类似程序的高效克隆检测技术
收藏 引用
计算机科学 2017年 第4期44卷 12-15页
作者: 董加星 许畅 南京大学计算机软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023
程序克隆检测被普遍应用于检测软件市场中是否有被恶意修改后重新发布的软件,或是应用于识别与重构克隆代码。但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景。功能类似程序之间的克隆... 详细信息
来源: 评论
面向AltaRica模型的嵌入式统安全性验证方法
收藏 引用
计算机科学与探索 2017年 第1期11卷 24-36页
作者: 仵志鹏 胡军 陈松 石娇洁 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
嵌入式统在航空、航天、交通等安全关键领域的使用愈加广泛,Alta Rica是一种描述安全关键统的建模语言,同时基于Alta Rica模型的安全性分析已成为欧洲的工业标准。提出了一种面向Alta Rica模型的嵌入式统安全性验证方法,包括:使用... 详细信息
来源: 评论
基于均值漂移算法和时空上下文算法的目标跟踪
收藏 引用
计算机科学 2017年 第8期44卷 22-26页
作者: 周华争 马小虎 苏州大学计算机科学与技术学院 苏州215006 南京大学计算机软件新技术国家重点实验室 南京210023
在严重遮挡时,时空上下文STC(Spatio-Temporal Context)算法对目标位置的判断是正确的,而均值漂移MS(Mean Shift)算法对目标位置的判断会发生很大幅度的抖动,甚至跟踪错误目标。在遮挡结束后,时空上下文算法很难重新跟踪到正确目标,而... 详细信息
来源: 评论