咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
Hybrid-Fixing:上下文一致性错误的正确修复
收藏 引用
计算机研究与发展 2015年 第6期52卷 1443-1451页
作者: 陈小康 许畅 江磊 计算机软件新技术国家重点实验室(南京大学) 南京210023 南京大学计算机科学与技术系 南京210023
在普适计算中,上下文持续快速变化,上下文感知应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文会发生一致性错误,从而导致应用表现异常甚至失效.为了... 详细信息
来源: 评论
面向基于场景规约的Web服务消息流分析与验证
收藏 引用
计算机学报 2009年 第9期32卷 1759-1772页
作者: 杨璐 柳溪 王林章 陈鑫 李宣东 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验... 详细信息
来源: 评论
Web服务器群的QoS确保及其接纳控制研究
收藏 引用
计算机研究与发展 2005年 第4期42卷 662-668页
作者: 李振东 谢立 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
WWW访问的爆炸性发展正是Internet成功的重要原因,然而目前的Web服务器却缺乏相应的QoS机制,导致在过载时造成巨大的经济损失.一个提供多类服务的多服务器Web平台的服务质量确保体被提出来,它以服务响应延迟为核心度量标准,将同一类... 详细信息
来源: 评论
基于多线程并行的符号执行引擎设计与实现
收藏 引用
计算机研究与发展 2023年 第2期60卷 248-261页
作者: 周彭 左志强 南京大学计算机科学与技术系 南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023
符号执行作为一种高效的测试生成技术,被广泛应用于软件测试、安全分析等领域.然而,由于程序中的执行路径数量随着分支数量的增加而指数级上升,符号执行往往无法在大规模程序上进行高效执行,缺乏可扩展性.已有的基于多进程的并行化方法... 详细信息
来源: 评论
单向ad-hoc移动网络路由协议UAOR
收藏 引用
计算机学报 2001年 第10期24卷 1018-1025页
作者: 臧婉瑜 于勐 谢立 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
单向 ad- hoc移动网络是一种完全由移动主机构成的网络 ,传统的路由协议由于基于 DBF方式其路由更新开销大 ,对网络拓扑结构改变收敛慢 ,不适合 ad- hoc移动网络拓扑变化快和带宽有限等特点 .文中提出了一种支持单向 ad- hoc移动网络的... 详细信息
来源: 评论
XML文档存取控制研究
收藏 引用
计算机研究与发展 2004年 第3期41卷 426-435页
作者: 王德强 许峰 茅兵 谢立 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
提出了一种基于授权树的XML存取控制标记算法 ,通过①避免在每个XML结点上进行授权匹配 ;②避免在每个结点上进行授权冲突解决 ;③避免标记每个结点 ,有效地改善了处理性能 另外 ,提出了一种灵活的、用户可配置的授权冲突解决模式 。
来源: 评论
支持向量机最优模型选择的研究
收藏 引用
计算机研究与发展 2005年 第4期42卷 576-581页
作者: 刘向东 骆斌 陈兆乾 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
通过对核矩阵的研究,利用核矩阵的对称正定性,采用核校准的方法提出了一种SVM最优模型选择的算法———OMSA算法.利用训练样本不通过SVM标准训练和测试过程而寻求最优的核参数和相应的最优学习模型,弥补了传统SVM在模型选择上经验性强... 详细信息
来源: 评论
基于草图的人机交互技术研究进展
收藏 引用
计算机辅助设计与图形学学报 2005年 第9期17卷 1889-1899页
作者: 孙正兴 冯桂焕 周若鸿 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
从草图识别和语义理解这两个方面对基于草图的人机交互技术的研究状况进行了分析和总结.对草图识别方法按其模式单元定义(笔划、图元、特征和组合图形)进行了分类和剖析;对草图语义理解所涉及的语义获取、语义解释和语义应用这三个关键... 详细信息
来源: 评论
用户需求驱动的Web服务测试
收藏 引用
计算机学报 2011年 第6期34卷 1029-1040页
作者: 许蕾 陈林 徐宝文 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关、控制结构、约束条件等要... 详细信息
来源: 评论
LDA-CRF:一种基于概率图模型的目标检测方法
收藏 引用
计算机研究与发展 2012年 第11期49卷 2296-2304页
作者: 郭乔进 李宁 杨育彬 武港山 南京大学计算机科学与技术系 南京210093 计算机软件新技术国家重点实验室(南京大学) 南京210093
目标检测和识别是计算机视觉和机器学习的研究热点.近年来,主题模型(如LDA等)在无监督的图像识别和定位等应用中获得了巨大的成功.然而,LDA忽略了图像区域之间的空间关,并且不能处理连续值的视觉特征或特征向量.而条件随机场(CRF)能... 详细信息
来源: 评论