咨询与建议

限定检索结果

文献类型

  • 3,235 篇 期刊文献
  • 545 篇 会议
  • 1 篇 成果

馆藏范围

  • 3,781 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3,494 篇 工学
    • 2,723 篇 计算机科学与技术...
    • 1,852 篇 软件工程
    • 533 篇 控制科学与工程
    • 353 篇 机械工程
    • 284 篇 网络空间安全
    • 200 篇 信息与通信工程
    • 198 篇 仪器科学与技术
    • 61 篇 电子科学与技术(可...
    • 42 篇 建筑学
    • 16 篇 土木工程
    • 13 篇 电气工程
    • 13 篇 地质资源与地质工...
    • 13 篇 公安技术
    • 10 篇 石油与天然气工程
    • 10 篇 交通运输工程
  • 1,146 篇 管理学
    • 1,122 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 153 篇 理学
    • 79 篇 数学
    • 58 篇 系统科学
    • 8 篇 物理学
  • 84 篇 艺术学
    • 83 篇 设计学(可授艺术学...
    • 10 篇 美术学
  • 34 篇 医学
    • 11 篇 临床医学
    • 11 篇 中医学
  • 29 篇 教育学
    • 29 篇 教育学
  • 20 篇 文学
    • 9 篇 外国语言文学
  • 19 篇 经济学
    • 17 篇 应用经济学
  • 14 篇 哲学
    • 14 篇 哲学
  • 8 篇 军事学
    • 8 篇 军队指挥学
  • 7 篇 农学
  • 3 篇 法学
  • 3 篇 历史学

主题

  • 120 篇 机器学习
  • 100 篇 神经网络
  • 94 篇 面向对象
  • 79 篇 人工智能
  • 74 篇 无线传感器网络
  • 68 篇 internet
  • 60 篇 数据挖掘
  • 56 篇 计算机
  • 49 篇 软件开发
  • 47 篇 深度学习
  • 45 篇 计算机网络
  • 40 篇 软件工程
  • 39 篇 信息检索
  • 38 篇 强化学习
  • 38 篇 遗传算法
  • 38 篇 软件测试
  • 37 篇 设计
  • 36 篇 移动agent
  • 35 篇 数据库
  • 33 篇 支持向量机

机构

  • 3,244 篇 南京大学
  • 502 篇 计算机软件新技术...
  • 227 篇 南京航空航天大学
  • 194 篇 南京邮电大学
  • 94 篇 扬州大学
  • 78 篇 南京理工大学
  • 77 篇 辽宁师范大学
  • 70 篇 宁波大学
  • 61 篇 南京工业大学
  • 59 篇 东南大学
  • 54 篇 南京大学计算机软...
  • 50 篇 南通大学
  • 47 篇 苏州大学
  • 35 篇 南京师范大学
  • 29 篇 解放军理工大学
  • 26 篇 南京信息工程大学
  • 26 篇 中国矿业大学
  • 24 篇 西南交通大学
  • 24 篇 南京中医药大学
  • 24 篇 河海大学

作者

  • 230 篇 谢立
  • 196 篇 陈世福
  • 181 篇 吕建
  • 169 篇 潘金贵
  • 135 篇 陈道蓄
  • 132 篇 周志华
  • 105 篇 王汝传
  • 103 篇 黄皓
  • 98 篇 高阳
  • 97 篇 张福炎
  • 93 篇 陈兆乾
  • 90 篇 蔡士杰
  • 88 篇 李宣东
  • 86 篇 孙正兴
  • 85 篇 曾庆凯
  • 80 篇 陶先平
  • 76 篇 柏文阳
  • 76 篇 郑国梁
  • 76 篇 谢俊元
  • 76 篇 王崇骏

语言

  • 3,779 篇 中文
  • 2 篇 英文
检索条件"机构=南京大学计算机件新技术国家重点实验室"
3781 条 记 录,以下是3731-3740 订阅
排序:
数据库管理系统软件及工具的可视化方法
数据库管理系统软件及工具的可视化方法
收藏 引用
第十届全国计算机信息存储技术年会
作者: 鞠时光 理工大学 南京大学计算机软件新技术国家重点实验室
该文着重介绍在研制地形信息系统过程中,如何充分嵌入可视化技术
来源: 评论
OO软件的测试分析
OO软件的测试分析
收藏 引用
'98全国计算机测试与诊断学术会议
作者: 李本固 陈鑫 朱炜 陈启仁 徐永森 大学软件新技术国家重点实验室 南京大学计算机科学与技术系
该文提出了OO软件测试中的一些问题,并简介了有助于解决这些问题的一种新的CAST工具OOAK,主要讨论了OOAK工具中动态测试分析和软件复杂度分析的设计和实现。
来源: 评论
对象式软件需求模型及其机器支撑
收藏 引用
软件学报 1998年 第6期9卷 0-0页
作者: 张家重 王志坚 伊波 徐家福 南京大学计算机软件研究所 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjing daxue hierarchical object-oriented requirements modelling),它主要包括对象关系模型、类关系模型和类... 详细信息
来源: 评论
数据类型上的可计算
数据类型上的可计算性
收藏 引用
1998年华人理论计算机科学年会
作者: 宋方敏 徐永森 钱悦晨 大学计算机科学与技术系 南京大学软件新技术国家重点实验室 ndhoven理工大学计算科学与数学系
该文讨论数据类型上的计算。由于λ演算是一种计算模型,作者用λ项去编码数据类型以及去计算它们,因此,用λ演算刻划和反映了一般数据类型上的可计算性。
来源: 评论
类相似性的比较及其在类库检索中的应用
收藏 引用
软件学报 1997年 第4期8卷 278-282页
作者: 吕枫华 王和珍 费翔林 南京大学计算机软件新技术国家重点实验室
本文给出了一种比较类相似程度的近似度量方法,讨论了它在类库检索中的应用,并给出了一个基于规则的类库检索工具RBRT.
来源: 评论
构造性逻辑作为自然语言的模型增长理论
收藏 引用
软件学报 1997年 第3期8卷 214-219页
作者: 张彤 陆汝占 上海交通大学计算机系 南京大学计算机软件新技术国家重点实验室
理解自然语言的过程就是构造语义解释模型的过程.本文用构造性逻辑作为模型增长理论。
来源: 评论
Z状态空间和操作定义的自动生成技术
收藏 引用
计算机研究与发展 1997年 第12期34卷 926-933页
作者: 孙圣强 杨大军 丁俊华 吕建 南京大学计算机科学与技术系 南京大学软件新技术国家重点实验室
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一.文中以软件需求定义语言NDRDL和形式功能规约语言Z为基础,探讨了其间的自动转换技术,特别是从NDRDL需求定义自动获取Z形式规约中状态空间与操作定义的... 详细信息
来源: 评论
混合型多概念获取系统的设计与实现
收藏 引用
计算机研究与发展 1997年 第7期34卷 502-506页
作者: 陈兆乾 谢琪 陈世福 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
本文主要描述了一个增量式混合型多概念获取系统HMCAS.它提出了一个基于概率论的符号学习与神经网络学习相结合的学习算法,能从隶属于某个概念集的实例集中归纳出满足用户精度要求的、以混合型判定树表示的概念描述.在HMCA... 详细信息
来源: 评论
异构的多媒体数据共享系统的设计与实现
收藏 引用
计算机研究与发展 1997年 第9期34卷 652-656页
作者: 曾庆凯 杨国良 靖捷 高瀚昭 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文介绍一个异构环境的多媒体共享系统的设计与实现.系统基于客户/服务器模式,提供了异构平台的多媒体数据的共享和文件存取.试验结果表明,这是一个较低成本和较实用的多媒体数据共享系统.
来源: 评论
基于继承的子类型机制
收藏 引用
计算机学报 1997年 第12期20卷 1088-1094页
作者: 王志坚 朱跃龙 胡吉明 河海大学计算机及信息工程学院 南京大学计算机软件新技术国家重点实验室
本文扼要介绍继承的一个数学模型.在此基础上,通过对各种继承的形式刻划,研究了各种继承对子类型机制的影响.结果表明:单继承和图式继承支持强类型,线性继承不支持强类型.
来源: 评论