咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3,495 篇 工学
    • 2,723 篇 计算机科学与技术...
    • 1,852 篇 软件工程
    • 532 篇 控制科学与工程
    • 353 篇 机械工程
    • 284 篇 网络空间安全
    • 200 篇 信息与通信工程
    • 198 篇 仪器科学与技术
    • 61 篇 电子科学与技术(可...
    • 42 篇 建筑学
    • 16 篇 土木工程
    • 13 篇 电气工程
    • 13 篇 地质资源与地质工...
    • 13 篇 公安技术
    • 10 篇 石油与天然气工程
    • 10 篇 交通运输工程
  • 1,145 篇 管理学
    • 1,121 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 153 篇 理学
    • 79 篇 数学
    • 58 篇 系统科学
    • 8 篇 物理学
  • 84 篇 艺术学
    • 83 篇 设计学(可授艺术学...
    • 10 篇 美术学
  • 35 篇 医学
    • 12 篇 临床医学
    • 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,245 篇 南京大学
  • 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,780 篇 中文
  • 2 篇 英文
检索条件"机构=南京大学计算机件新技术国家重点实验室"
3782 条 记 录,以下是3621-3630 订阅
排序:
线性混合系统的一种验证方法
收藏 引用
南京大学学报(自然科学版) 1999年 第1期35卷 58-65页
作者: 侯建民 李宣东 樊晓聪 郑国梁 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学系
混合系统是指嵌入于物理环境中的数字实时系统.由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决.近年来,人们普遍采用模型检验方法对混合系... 详细信息
来源: 评论
桌面文档会议系统实现中的关键技术分析
收藏 引用
计算机科学 1999年 第7期26卷 63-66,73页
作者: 李成锴 茅兵 陈道蓄 谢立 南京大学计算机科学与技术系计算机软件新技术国家重点实验室 南京210093
1 引言随着工作站和个人计算机性能的飞速提高以及计算机网络和分布式计算技术的发展,特别是In-ternet应用的迅速普及,使得CSCW的研究成为当前的热点。同时,合作与交流在当今的社会生活中越来越普遍,并成为大型项目工程必不可少的工作方... 详细信息
来源: 评论
Internet市场若干关键技术的研究
收藏 引用
计算机科学 1999年 第12期26卷 31-34页
作者: 杨凡 周笑波 陈道蓄 谢立 南京大学计算机软件新技术国家重点实验室计算机科学与技术系 南京210093
1 引言如何集成Internet上异构、自治的资源是目前业界面临的挑战之一。传统集成异构数据资源的研究大都把注意力集中于在集成中出现的语义和模式上的异构性问题,提出的解决方法通常依赖于提出一种语义丰富的数据模型,这种数据模型使得... 详细信息
来源: 评论
并行支撑环境JavaPVM的研究及实现
收藏 引用
计算机科学 1999年 第6期26卷 29-32页
作者: 胡宁 周笑波 杜鹏 谢立 南京大学计算机科学与技术系计算机软件新技术国家重点实验室 南京210093
Parallel-supported environment plays a very important role in distributed/parallel system. We design and implement a parallel-supported environment JavaPVM on a network which consists of heterogenous platform and hete... 详细信息
来源: 评论
流动agent:一种未来的分布计算模式
收藏 引用
计算机科学 1999年 第2期26卷 1-4,13页
作者: 陶先平 吕建 董桓 李新 南京大学计算机软件新技术国家重点实验室 软件研究所 南京210093
流动agent技术对于未来分布式系统的设计、实现和维护技术具有重要意义。它可有效地降低网络拥塞、克服网络隐患,其异步与自主运行特性提高了分布式系统的健壮性和容错能力。本文作者于1998年7月20日—7月24日参加了在比利时布鲁赛尔举... 详细信息
来源: 评论
一种结构化模型的O-O实现
收藏 引用
计算机工程与科学 1999年 第6期21卷 1-4页
作者: 樊莉萍 陈世福 丁琛 周驰 南京大学计算机软件新技术国家重点实验室
本文分析了模型库的结构方式, 并提出了用结构化建模的方法组织决策支持系统的模型库, 重点阐述了结构化模型的一些基本概念, 然后结合一能源决策支持系统具体实例;
来源: 评论
WWW文档协同写作系统中通信中间件的设计与实现
收藏 引用
小型微型计算机系统 1999年 第4期20卷 266-269页
作者: 王继成 孙颖 黄宜华 张福炎 南京大学多媒体计算机研究所 软件新技术国家重点实验室
WWWDOC是一个基于TCP/IP协议的分布式协同写作系统.DOCOM作为通信中间件将客户和服务器有机地联系起来.本文分析了DOCOM的设计任务和目标,介绍了DOCOM的对象模型、通信接口和公用服务.实践证明,DOC... 详细信息
来源: 评论
形式描述语言COOZ的集成支撑环境COOZ-Tools
收藏 引用
计算机工程与设计 1999年 第1期20卷 38-43页
作者: 袁晓东 胡德强 许皓 李勇 郑国梁 南京大学计算机软件新技术国家重点实验室 计算机科学与技术系
介绍支持面向对象的形式描述语言COOZ的集成支撑环境COOZ-Tools的设计原则、系统结构、功能、特点和关键的实现技术。COOZ是Z语言的面向对象扩充,从而将形式化语言和面向对象机制有机结合起来。COOZ-Tool... 详细信息
来源: 评论
JAPS:一个基于JAVA的程序自动并行化系统
收藏 引用
中国科学(E辑) 1999年 第3期28卷 279-288页
作者: 杜建成 陈道蓄 谢立 南京大学计算机系软件新技术国家重点实验室 南京210093
JAPS是运行于NOW环境下的基于JAVA的程序自动并行化系统 ,实现了从依赖关系分析到程序并行执行的全自动过程 ,它能够进行复杂的任务并行性的开发 ,数据并行性的挖掘也即将被集成进去 .本文描述了JAPS的系统框架及其采用的关键技术 .其... 详细信息
来源: 评论
可视化空间数据库查询语言CQL
收藏 引用
计算机学报 1999年 第2期22卷 205-211页
作者: 鞠时光 江苏理工大学计算机系 南京大学计算机软件新技术国家重点实验室
本文着重从语法、语义及语用三方面介绍了我们所开发的一个可视化空间数据库查询语言CQL.该语言允许用户借助于可视化基本元素——卡片进行编程,实现对空间数据库的检索.用户查询语句是这些卡片的空间组合.该语言对查询结果的表... 详细信息
来源: 评论