咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,406 篇 工学
    • 1,140 篇 计算机科学与技术...
    • 744 篇 软件工程
    • 160 篇 控制科学与工程
    • 159 篇 网络空间安全
    • 117 篇 机械工程
    • 66 篇 信息与通信工程
    • 65 篇 仪器科学与技术
    • 26 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 公安技术
    • 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,355 篇 南京大学
  • 196 篇 计算机软件新技术...
  • 146 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 43 篇 南京邮电大学
  • 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,517 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系"
1517 条 记 录,以下是301-310 订阅
排序:
程序理解研究与进展
收藏 引用
计算机科学 1999年 第5期 84-90页
作者: 李必信 李宣东 郑国梁 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室 南京 210093
随着社会对软件需求的不断增长,正在使用和开发的软件与日俱增,许多大型复杂的软件已投放市场。同时,由于各种各样的新型程序设计方法的兴起,如逻辑式程序设计方法,函数式程序设计方法,对象式程序设计方法,分布式程序设计方法,并行式程... 详细信息
来源: 评论
一种新型的有损数据简约算法LDR
收藏 引用
计算机研究与发展 2000年 第12期37卷 1422-1427页
作者: 孟波 陈世福 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室210093
在经典信息论的基础上 ,提出了一种新型的有损数据简约算法 ,该算法克服了其它数据简约算法的不足 .实验表明 ,该算法能有效地处理复杂数据集 ,并能保持数据中所含信息 .
来源: 评论
一种面向体结构的软件统自适应机制
收藏 引用
南京大学学报(自然科学版) 2006年 第2期42卷 120-130页
作者: 俞春 马骞 马晓星 吕建 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系 南京210093
在动态变化的分布式环境中,为了保证统的正常运行,软件统应能够根据环境的变化、统运行错误及需求的变更调整自身的行为,即具有一定的自适应能力.提出一种面向体结构的自适应机制,该机制采用了内置运行时体结构作为驱动自适... 详细信息
来源: 评论
主动层次多目通信路由模型
收藏 引用
软件学报 2000年 第6期11卷 791-797页
作者: 何丹 陈道蓄 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京210093
许多应用需要 IP多目通信 .在 Internet大规模应用 IP Multicast时 ,有效的路由是关键 .这样的多目路由协议必须是有效的、可伸缩的和增量可配置的 .但是传统的 Internet路由对性能是不敏感的 ,不能平衡负载和处理拥塞 .现有的大多数多... 详细信息
来源: 评论
基于种子段的方向无关的直线矢量化方法
收藏 引用
软件学报 2000年 第9期11卷 1196-1201页
作者: 宋继强 苏丰 陈冀兵 蔡士杰 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京210093
准确而高效的矢量化是工程图纸理解的基础 .现有方法普遍存在 3个不足 :( 1 )通过中心点链拟合生成线段的计算量大 ;( 2 )相交或噪音的影响将一条完整的直线先分段矢量化 ,然后再拼接起来 ,需要大量遍历操作 ;( 3 )对斜线的处理能力明... 详细信息
来源: 评论
一种并行分布对象的互操作模型
收藏 引用
软件学报 1999年 第8期10卷 861-867页
作者: 王晨 周颖 张德富 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系
并行软件设计本身的复杂性使它的复用成为一个引人注目的问题.分布对象技术不仅可以将并行软件封装成相应的构件,而且提供了利用各种异构统进行并行计算的可能性,但这样往往会使这些构件的互操作的效率有所降低.文章提出的并行分... 详细信息
来源: 评论
一种基于零树小波的图像比率可分级编码方法的研究
收藏 引用
南京大学学报(自然科学版) 2002年 第2期38卷 145-151页
作者: 王相海 张福炎 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系 南京210093
Shapiro的EZW算法具有可产生嵌入式码流、可精确控制压缩比等特点 ,倍受人们的关注 .然而该算法还有一些不足 ,如在进行零树编码时 ,对未被包括进零树的“零值” ,需要将其编成“孤立零”码 ,试验表明这部分编码通常占有较高的代价 ,往... 详细信息
来源: 评论
一种基于相关性特征融合的乳腺图像感兴趣区域检测方法
收藏 引用
南京大学学报(自然科学版) 2016年 第1期52卷 194-202页
作者: 陆恒杨 李宁 谢俊元 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京210023
乳腺图像的感兴趣区域(region of interest,ROI)检测是计算机辅助诊断乳腺疾病的第一步,检测效果的提升对减小误诊率有重要的作用.传统方法往往提取单独的视觉特征来描述乳腺图像,通过分类的方法找出包含肿块的区域.然而由于乳腺图像内... 详细信息
来源: 评论
一种基于MDA的UML顺序图到状态图的转换方法
收藏 引用
南京大学学报(自然科学版) 2004年 第4期40卷 470-482页
作者: 崔萌 袁海 史耀馨 李宣东 郑国梁 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京210093
MDA(modeldrivenarchitecture)是解决基于不同中间件统的集成问题 .它将不同的统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅... 详细信息
来源: 评论
时间自动机可达性分析中的状态空间约减技术综述
收藏 引用
计算机科学 2006年 第6期33卷 1-6,100页
作者: 陈铭松 赵建华 李宣东 郑国梁 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京210093
时间自动机是检验实时统建模的有效工具,其可达性分析可以检验统是否可能达到某些特定的状态,其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量,时间自动机的可达性分析算法会产生大量的中间状态,需要巨大的存... 详细信息
来源: 评论