咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,405 篇 工学
    • 1,140 篇 计算机科学与技术...
    • 744 篇 软件工程
    • 160 篇 控制科学与工程
    • 159 篇 网络空间安全
    • 117 篇 机械工程
    • 66 篇 信息与通信工程
    • 65 篇 仪器科学与技术
    • 26 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 4 篇 交通运输工程
    • 4 篇 公安技术
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
    • 3 篇 航空宇航科学与技...
  • 436 篇 管理学
    • 430 篇 管理科学与工程(可...
    • 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,354 篇 南京大学
  • 196 篇 计算机软件新技术...
  • 146 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 43 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 36 篇 苏州大学
  • 35 篇 扬州大学
  • 31 篇 南通大学
  • 24 篇 东南大学
  • 20 篇 中国矿业大学
  • 17 篇 南京邮电学院
  • 17 篇 东华大学
  • 13 篇 清华大学
  • 12 篇 南京大学软件新技...
  • 12 篇 南京师范大学
  • 9 篇 软件新技术国家重...
  • 9 篇 辽宁师范大学
  • 9 篇 吉林大学

作者

  • 130 篇 谢立
  • 75 篇 潘金贵
  • 74 篇 黄皓
  • 66 篇 曾庆凯
  • 65 篇 陈道蓄
  • 62 篇 李宣东
  • 61 篇 huang hao
  • 57 篇 xie li
  • 56 篇 谢俊元
  • 55 篇 张福炎
  • 53 篇 柏文阳
  • 52 篇 郑国梁
  • 48 篇 陈世福
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 41 篇 孙正兴
  • 37 篇 zeng qing-kai
  • 36 篇 茅兵
  • 36 篇 徐宝文
  • 36 篇 陈家骏

语言

  • 1,516 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系"
1516 条 记 录,以下是141-150 订阅
排序:
设备驱动程序可靠性和正确性保障方法与技术研究进展
收藏 引用
软件学报 2015年 第2期26卷 239-253页
作者: 张一帆 黄超 欧建生 汤恩义 陈鑫 南京大学计算机科学与技术系 江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023
随着计算机技术的不断发展,计算机统在安全攸关领域得到了广泛应用,其中的软件统正逐渐成为重要的使能部件.在计算机统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作统、设备3个方面同时关联所导... 详细信息
来源: 评论
基于点的POMDP算法的预处理方法
收藏 引用
软件学报 2008年 第6期19卷 1309-1316页
作者: 卞爱华 王崇骏 陈世福 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
基于点的算法是部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDP)的一类近似算法.它们只在一个信念点集上进行Backup操作,避免了线性规划并使用了更少的中间变量,从而将计算瓶颈由选择向量转向... 详细信息
来源: 评论
自动分析递归数据结构的归纳性质
收藏 引用
软件学报 2018年 第6期29卷 1527-1543页
作者: 汤震浩 李彬 翟娟 赵建华 南京大学计算机科学与技术系 江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023
提出了一种对递归数据结构的归纳性质进行自动化分析的框架.工作分为3个主要部分.首先,它将递归数据结构的归纳性质分为两个主要类别,并提出对应的处理模式,从而帮助简化对于程序中的递归数据结构上的相关性质的分析.其次,提出了一种称... 详细信息
来源: 评论
基于信息流的整数漏洞插装和验证
收藏 引用
软件学报 2013年 第12期24卷 2767-2781页
作者: 孙浩 李会朋 曾庆凯 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型统DRIVER(detect and run-time... 详细信息
来源: 评论
获取访存依赖:并发程序动态分析基础技术综述
收藏 引用
软件学报 2017年 第4期28卷 747-763页
作者: 蒋炎岩 许畅 马晓星 吕建 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提... 详细信息
来源: 评论
一种面向服务的可靠多媒体传输算法
收藏 引用
软件学报 2010年 第2期21卷 277-286页
作者: 张胜 钱柱中 陆桑璐 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
针对普适环境中可靠的多媒体传输问题,提出了LD/RPath(lowest delay/reliability path)算法.LD/RPath算法通过合理的数据量近似来拟合服务节点和传输边上动态变化的数据量,引入节点分裂技术将节点时延转化为边时延,同时考虑了节点可靠... 详细信息
来源: 评论
基于信息流策略的污点传播分析及动态验证
收藏 引用
软件学报 2011年 第9期22卷 2036-2048页
作者: 黄强 曾庆凯 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在... 详细信息
来源: 评论
中英命名实体识别及对齐中的中文分词优化
收藏 引用
电子学报 2015年 第8期43卷 1481-1487页
作者: 尹存燕 黄书剑 戴新宇 陈家骏 南京大学计算机软件新技术国家重点实验室 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
中文分词结果对中英命名实体识别及对齐有着直接的影响,本文提出了一种命名实体识别及对齐中的中文分词优化方法.该方法利用实体词汇的对齐信息,首先修正命名实体识别结果,然后根据实体对齐结果调整分词粒度、修正错误分词.分词优化后... 详细信息
来源: 评论
一种基于粒子群优化的成对组合测试算法框架
收藏 引用
软件学报 2011年 第12期22卷 2879-2893页
作者: 陈翔 顾庆 王子元 陈道蓄 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
提出一种基于粒子群优化的成对组合测试用例集生成算法框架.在生成测试用例时,该框架采用粒子群优化尝试生成强组合覆盖能力的测试用例,并研究了搜索空间、适应值函数和启发式的合理设定;在构造组合测试用例集时,以上述测试用例生成算... 详细信息
来源: 评论
基于GUI事件的安卓应用录制重放关键技术综述
收藏 引用
软件学报 2022年 第5期33卷 1612-1634页
作者: 李聪 蒋炎岩 许畅 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
基于GUI事件的安卓应用录制重放技术致力于以自动化的方式捕捉和回放人类和移动应用的交互轨迹,达到降低测试成本、提高测试用例复用率的目的.录制重放技术面临的挑战来源于应用、版本和设备3个维度.试图从人类录制重放的角度,将录制重... 详细信息
来源: 评论