咨询与建议

限定检索结果

文献类型

  • 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 篇 李宣东
  • 56 篇 xie li
  • 55 篇 张福炎
  • 53 篇 谢俊元
  • 52 篇 柏文阳
  • 52 篇 huang hao
  • 50 篇 郑国梁
  • 48 篇 陈世福
  • 43 篇 白光伟
  • 43 篇 王崇骏
  • 41 篇 孙正兴
  • 36 篇 zeng qing-kai
  • 35 篇 茅兵
  • 34 篇 li xuan-dong
  • 33 篇 沈航

语言

  • 1,331 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室,南京,210093 南京大学计算机科学与技术系,南京,210093"
1331 条 记 录,以下是111-120 订阅
排序:
基于多线程并行的符号执行引擎设计与实现
收藏 引用
计算机研究与发展 2023年 第2期60卷 248-261页
作者: 周彭 左志强 南京大学计算机科学与技术系 南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023
符号执行作为一种高效的测试生成技术,被广泛应用于软件测试、安全分析等领域.然而,由于程序中的执行路径数量随着分支数量的增加而指数级上升,符号执行往往无法在大规模程序上进行高效执行,缺乏可扩展性.已有的基于多进程的并行化方法... 详细信息
来源: 评论
基于状态机模型的构件健壮性测试
收藏 引用
软件学报 2010年 第5期21卷 930-941页
作者: 雷斌 王林章 卜磊 李宣东 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在... 详细信息
来源: 评论
一种基于不变量的从工作流网到PERT图的转换方法
收藏 引用
电子学报 2008年 第5期36卷 893-898页
作者: 葛季栋 胡昊 吕建 计算机软件新技术国家重点实验室(南京大学) 南京大学计算机科学与技术系江苏南京210093 南京大学软件学院 江苏南京210093
工作流管理统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模... 详细信息
来源: 评论
全局L_∞误差可控的网格模型鲁棒水印算法
收藏 引用
计算机辅助设计与图形学学报 2005年 第10期17卷 2174-2178页
作者: 邹飞 唐杰 张福炎 南京大学软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
针对CAD等工程应用的需要,提出一种具有全局L∞误差控制特性的三角网格模型数字水印算法.在建立多分辨网格的同时在网格顶点坐标上嵌入水印信息,通过局部几何特征进行误差控制.由于水印被冗余地嵌入在模型的整个频带上,该算法可有效地... 详细信息
来源: 评论
多层油藏模拟并行计算与负载平衡
收藏 引用
计算机研究与发展 2004年 第2期41卷 306-310页
作者: 刘青昆 舒继武 归丽忠 张德富 南京大学计算机软件新技术国家重点实验室 南京210093 清华大学计算机科学与技术系 北京100083 南京大学计算机科学与技术系 南京210093
在油藏数值模拟并行计算中 ,提高计算速度和资源利用率是一个重要的研究方向 给出分布式并行环境下一种多层油藏模拟并行计算的整体优化方法 ,其特点是使用高效的区域分解方法并行求解 ,动态选择两种不同的计算粒度 ,有效地克服了负载... 详细信息
来源: 评论
基于源代码静态分析的C++0x泛型概念抽取
收藏 引用
计算机学报 2009年 第9期32卷 1792-1803页
作者: 陈林 徐宝文 东南大学计算机科学与工程学院 南京210096 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并... 详细信息
来源: 评论
一种面向用户需求的Web服务测试方法
收藏 引用
计算机学报 2014年 第3期37卷 512-521页
作者: 许蕾 李言辉 陈林 宫敏 颜友军 徐宝文 南京大学计算机软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023
Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验... 详细信息
来源: 评论
基于小样本标记实例的数据流集成入侵检测模型
收藏 引用
电子学报 2007年 第2期35卷 234-239页
作者: 俞研 黄皓 南京大学计算机科学与技术系计算机软件新技术国家重点实验室 江苏南京210093
基于监督学习的异常入侵检测算法通常面临着训练样本不足的问题,同时,对整个历史数据集进行等同学习,没有充分考虑到网络数据模式随时间变化的特点.本文提出了一种基于小样本标记实例的数据流集成入侵检测模型,对小样本的标记数据集进... 详细信息
来源: 评论
基于简化控制流监控的程序入侵检测
收藏 引用
电子学报 2007年 第2期35卷 358-361页
作者: 夏耐 郭明松 茅兵 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系江苏南京210093
针对程序漏洞的攻击是目前一个非常严重的安全问题.该文提出了一个程序运行时候控制流监控的简化方法.与基于统调用的入侵检测方法相比,该方法有更细的监控粒度;而与完全函数调用关监控的方法相比,该方法同样有效但实施更为简单.测... 详细信息
来源: 评论
基于小波变换的图像编码中λ迭代比特分配算法的改进(英文)
收藏 引用
软件学报 2001年 第5期12卷 645-649页
作者: 陈毅松 萧嵘 孙正兴 张福炎 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室 江苏南京210093
基于小波图像编码的金字塔式小波分解后各子带数的统计特性 ,提出一种改进的 λ迭代比特分配算法 ,该算法使用 λ序列的概念简化了传统 λ迭代法的最优值求解过程 .实验证明该改进算法在限定压缩比的小波图像编码中能够大大加快比特... 详细信息
来源: 评论