咨询与建议

限定检索结果

文献类型

  • 1,315 篇 期刊文献
  • 203 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,407 篇 工学
    • 1,141 篇 计算机科学与技术...
    • 744 篇 软件工程
    • 160 篇 控制科学与工程
    • 159 篇 网络空间安全
    • 117 篇 机械工程
    • 66 篇 信息与通信工程
    • 65 篇 仪器科学与技术
    • 26 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 公安技术
    • 4 篇 交通运输工程
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
    • 3 篇 航空宇航科学与技...
  • 437 篇 管理学
    • 431 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 34 篇 理学
    • 17 篇 数学
    • 11 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 29 篇 艺术学
    • 29 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 8 篇 教育学
    • 8 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 哲学
    • 4 篇 哲学
  • 3 篇 文学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

  • 48 篇 面向对象
  • 36 篇 无线传感器网络
  • 27 篇 internet
  • 27 篇 机器学习
  • 25 篇 人工智能
  • 25 篇 软件测试
  • 23 篇 计算机网络
  • 22 篇 信息检索
  • 19 篇 服务质量
  • 19 篇 软件工程
  • 18 篇 计算机
  • 18 篇 入侵检测
  • 18 篇 神经网络
  • 17 篇 web
  • 16 篇 设计
  • 15 篇 形式化方法
  • 15 篇 支持向量机
  • 15 篇 访问控制
  • 14 篇 遗传算法
  • 14 篇 测试用例生成

机构

  • 1,355 篇 南京大学
  • 197 篇 计算机软件新技术...
  • 146 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 44 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 36 篇 苏州大学
  • 35 篇 扬州大学
  • 31 篇 南通大学
  • 25 篇 东南大学
  • 20 篇 中国矿业大学
  • 17 篇 南京邮电学院
  • 17 篇 东华大学
  • 13 篇 清华大学
  • 12 篇 南京大学软件新技...
  • 12 篇 南京师范大学
  • 9 篇 软件新技术国家重...
  • 9 篇 辽宁师范大学
  • 9 篇 吉林大学

作者

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

语言

  • 1,518 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室计算机科学与技术系"
1518 条 记 录,以下是261-270 订阅
排序:
一种状态事件故障树的时间特性分析方法
收藏 引用
软件学报 2015年 第2期26卷 427-446页
作者: 徐丙凤 黄志球 胡军 魏欧 李伟湋 南京航空航天大学计算机科学与技术学院 江苏南京210016 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京航空航天大学航天学院 江苏南京210016
状态事件故障树是一种适合于描述构件化嵌入式统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得统平均失效时间参数的一种有效方法,可为统的安全性评估提供支持.由于状态事件故障... 详细信息
来源: 评论
形式概念分析在软件维护中的应用综述
收藏 引用
电子学报 2015年 第7期43卷 1399-1406页
作者: 孙小兵 李云 李必信 文万志 扬州大学信息工程学院 江苏扬州225127 南京大学计算机软件新技术国家重点实验室 江苏南京210023 东南大学计算机科学与工程学院 江苏南京211189 南通大学计算机科学与技术学院 江苏南通226019
形式概念分析是一种层次化的形式对象分析方法,能够从二元关中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的... 详细信息
来源: 评论
一种基于Token Log的符合性检查方法
收藏 引用
软件学报 2015年 第3期26卷 509-532页
作者: 李传艺 葛季栋 胡海洋 胡昊 骆斌 计算机软件新技术国家重点实验室(南京大学) 江苏南京210046 南京大学软件学院 江苏南京210093 高维信息智能感知与系统教育部重点实验室(南京理工大学) 江苏南京210094 杭州电子科技大学计算机学院 浙江杭州310018 南京大学计算机科学与技术系 江苏南京210046
使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包... 详细信息
来源: 评论
基于扩展SysML活动图的嵌入式统设计安全性验证方法研究
收藏 引用
小型微型计算机 2015年 第3期36卷 408-417页
作者: 黄传林 黄志球 胡军 徐丙凤 曲长亮 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
能源、交通等领域中复杂嵌入式统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式统动态行为的设计,并对此扩展模型展开基于模型... 详细信息
来源: 评论
模型驱动的安全关键统重配置信息验证方法
收藏 引用
计算机科学与探索 2015年 第4期9卷 385-402页
作者: 胡军 马金晶 刘雪 程桢 石娇洁 黄志球 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
近年来,在以综合模块化航电统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保统重配置信息的正确性成为保证统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA统配置信息的建... 详细信息
来源: 评论
跨机构的软件缺陷集成采样预测研究
收藏 引用
小型微型计算机 2015年 第8期36卷 1700-1705页
作者: 戴翔 毛宇光 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
针对在本机构的历史缺陷数据缺乏的情况下,如何合理利用跨机构的缺陷数据进行预测的问题,提出一种基于迁移的跨机构软件缺陷集成采样预测方法.首先利用跨机构的源缺陷数据和所要预测的目标缺陷数据共有的特征属性进行K-NN过滤,合理选择... 详细信息
来源: 评论
一致闭的禁忌交互集生成算法
收藏 引用
计算机学报 2015年 第11期38卷 2279-2289页
作者: 周吴杰 张德平 徐宝文 东南大学数学系 南京210096 南京大学软件新技术国家重点实验室 南京210093 南京航空航天大学信息科学与技术学院 南京210016 南京大学计算机科学与技术系 南京210093
组合测试是侦测软件统中各因素或配置之间是否有交互作用导致软件统故障的重要方法,当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一.该文研究了约束出现时由约束导致的禁忌交互集的结构形式... 详细信息
来源: 评论
基于SparkR的分类算法并行化研究
收藏 引用
计算机科学与探索 2015年 第11期9卷 1281-1294页
作者: 刘志强 顾荣 袁春风 黄宜华 南京大学计算机软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046 江苏省软件新技术与产业化协同创新中心 南京210046
近几年来,大数据机器学习和数据挖掘并行化算法研究成为大数据领域一个较为重要的研究热点。Spark提供了一个称为Spark R的编程接口,方便一般应用领域的数据分析人员使用所熟悉的R语言在Spark平台上完成数据分析和计算。基于Spark R设... 详细信息
来源: 评论
一种基于动态词典和三支决策的情感分析方法
收藏 引用
山东大学学报(工学版) 2015年 第1期45卷 19-23页
作者: 周哲 商琳 南京大学计算机科学与技术系 江苏南京210046 南京大学计算机软件新技术国家重点实验室 江苏南京210046
提出了一种新的特征提取方式,与三支决策思想相结合,运用在文本情感分析中,以提高分类器的效率。根据训练集合创建动态情感词典,然后根据情感词典提取文本的抽象特征,形成特征矩阵。在分类过程中,如果分类器对于目标文本的所属分类确信... 详细信息
来源: 评论
多策略同义词获取方法研究
收藏 引用
北京大学学报(自然科学版) 2015年 第2期51卷 301-306页
作者: 宋文杰 顾彦慧 周俊生 孙玉杰 严杰 曲维光 南京师范大学计算机科学与技术学院 南京210023 江苏省信息安全保密技术工程研究中心 南京210023 南京大学计算机软件新技术国家重点实验室 南京210023
提出一种多策略同义词获取方法,一方面利用《同义词词林》、《中文概念词典》等现有语义词典中蕴含的同义关获取同义词,另一方面根据百度百科信息框(Bdbk)中特征词和汉典网(Zdic)中HTML标记获取同义词,同时采用DIPRE自动获取模式的方... 详细信息
来源: 评论