咨询与建议

限定检索结果

文献类型

  • 3,124 篇 期刊文献
  • 517 篇 会议
  • 1 篇 成果

馆藏范围

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

日期分布

学科分类号

  • 3,374 篇 工学
    • 2,631 篇 计算机科学与技术...
    • 1,791 篇 软件工程
    • 516 篇 控制科学与工程
    • 341 篇 机械工程
    • 273 篇 网络空间安全
    • 193 篇 信息与通信工程
    • 192 篇 仪器科学与技术
    • 61 篇 电子科学与技术(可...
    • 39 篇 建筑学
    • 16 篇 土木工程
    • 13 篇 电气工程
    • 13 篇 公安技术
    • 12 篇 地质资源与地质工...
    • 10 篇 石油与天然气工程
    • 10 篇 交通运输工程
    • 7 篇 光学工程
  • 1,105 篇 管理学
    • 1,085 篇 管理科学与工程(可...
    • 18 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 144 篇 理学
    • 74 篇 数学
    • 55 篇 系统科学
    • 7 篇 物理学
  • 81 篇 艺术学
    • 80 篇 设计学(可授艺术学...
    • 10 篇 美术学
  • 28 篇 教育学
    • 28 篇 教育学
  • 28 篇 医学
    • 11 篇 临床医学
    • 9 篇 中医学
  • 20 篇 文学
    • 9 篇 外国语言文学
  • 19 篇 经济学
    • 17 篇 应用经济学
  • 11 篇 哲学
    • 11 篇 哲学
  • 7 篇 农学
  • 7 篇 军事学
  • 3 篇 法学
  • 3 篇 历史学

主题

  • 120 篇 机器学习
  • 99 篇 神经网络
  • 89 篇 面向对象
  • 74 篇 无线传感器网络
  • 72 篇 人工智能
  • 62 篇 internet
  • 57 篇 数据挖掘
  • 52 篇 计算机
  • 46 篇 软件开发
  • 46 篇 深度学习
  • 42 篇 计算机网络
  • 40 篇 软件工程
  • 38 篇 软件测试
  • 37 篇 信息检索
  • 36 篇 遗传算法
  • 36 篇 移动agent
  • 36 篇 设计
  • 34 篇 数据库
  • 33 篇 强化学习
  • 33 篇 入侵检测

机构

  • 3,120 篇 南京大学
  • 503 篇 计算机软件新技术...
  • 210 篇 南京航空航天大学
  • 187 篇 南京邮电大学
  • 89 篇 扬州大学
  • 77 篇 辽宁师范大学
  • 72 篇 南京理工大学
  • 70 篇 宁波大学
  • 57 篇 南京工业大学
  • 56 篇 东南大学
  • 54 篇 南京大学计算机软...
  • 41 篇 南通大学
  • 40 篇 苏州大学
  • 33 篇 南京师范大学
  • 29 篇 解放军理工大学
  • 27 篇 南京信息工程大学
  • 24 篇 西南交通大学
  • 22 篇 南京中医药大学
  • 21 篇 安徽大学
  • 20 篇 南京邮电学院

作者

  • 227 篇 谢立
  • 191 篇 陈世福
  • 181 篇 吕建
  • 163 篇 潘金贵
  • 133 篇 周志华
  • 130 篇 陈道蓄
  • 105 篇 王汝传
  • 102 篇 黄皓
  • 93 篇 陈兆乾
  • 92 篇 高阳
  • 88 篇 李宣东
  • 86 篇 蔡士杰
  • 85 篇 曾庆凯
  • 83 篇 孙正兴
  • 81 篇 张福炎
  • 80 篇 陶先平
  • 76 篇 柏文阳
  • 76 篇 谢俊元
  • 75 篇 王崇骏
  • 74 篇 郑国梁

语言

  • 3,640 篇 中文
  • 2 篇 英文
检索条件"机构=计算机软件新技术国家重点实验室南京大学计算机系"
3642 条 记 录,以下是3621-3630 订阅
排序:
小型文件传输协议TFTP的形式化描述和自动生成工具EIT
收藏 引用
计算机研究与发展 1997年 第S1期34卷 136-140页
作者: 丁晋 杨培根 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中给出了小型文件传输协议TFTP的ESTELLE语言的形式化描述及自动生成工具EIT,并对ESTELLE语言进行了扩展.引入限定注释机制,使描述功能增强,协议描述与实现环境更加独立,提高了协议软件的可移植性.
来源: 评论
常规文本到超文本自动转换技术的研究与实现
收藏 引用
计算机研究与发展 1997年 第S1期34卷 187-191页
作者: 黄宜华 尤晓白 纪元 杨文清 张福炎 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中介绍了一种常规文本到超文本自动转换技术的设计与实现,该统可对具有自然目录结构的常规文本,在目录自动识别和标注的基础上,自动转换为具有顺序层次链的超文本文档.
来源: 评论
混合型学习模型HLM中的增量学习算法
收藏 引用
软件学报 1997年 第11期8卷 875-880页
作者: 陈兆乾 周志华 李红兵 谢俊元 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
混合型学习模型HLM将概念获取算法HMCAP和神经网络算法FTART有机结合,能学习多概念和连续属性,其增量学习算法建立在二叉混合判定树结构和FTART网络的基础上,在给统增加新的实例时,只需进行一遍增量学习调整原结构,不用重新生成... 详细信息
来源: 评论
DL/CNHM统服务器端的设计与实现
收藏 引用
计算机工程 1997年 第S1期23卷 1-4,25页
作者: 高永勤 田增平 周傲英 复旦大学计算机科学系 上海200433 南京大学计算机软件新技术国家重点实验室 京210093
中国历史地图电子图书馆(DL/CNHM)是一个基于Internet的数字图书馆统。该统的服务器端接收来自客户端的请求,对牧据库进行相应的查询,并将查询结果返回给客户。文章讨论的DL/CNHM统服务器端的设计特点、技术考虑及其实现。
来源: 评论
分布式共享内存的技术和实现
收藏 引用
计算机研究与发展 1997年 第5期34卷 327-331页
作者: 李群 谢立 孙钟秀 南京大学计算机科学与技术系及软件新技术国家重点实验室
分布式共享内存结合了分布式内存结构与共享存储结构的优点,具有可扩充性、通用性、方便性.本文论述了在实现DSM统中存在的问题。
来源: 评论
中介公理集合论统与经典公理集合论统的关——形式证明部分
收藏 引用
南京航空航天大学学报 1997年 第4期29卷 402-406页
作者: 张东摩 施庆生 姜宁根 南京航空航天大学计算机科学与工程系 南京建筑工程学院基础部 南京大学计算机系软件新技术国家重点实验室
在中介公理集合论统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论统(ZFC-:ZFC统中去掉正则公理)的全部公理,且其配套的逻辑统恰为中介逻辑的二值子统FI*ML,说明整个经... 详细信息
来源: 评论
面向对象技术新的里程碑
收藏 引用
国际学术动态 1997年 第6期 28-36,60页
作者: 费翔林 南京大学计算机软件新技术国家重点实验室
第11届面向对象程序设计统、语言和应用年会(Conference on Object oriented Progam-ming Systems,Languages,& Applications)于1996年10月5日至10日在美国加利福尼亚的San Jose会议中心召开。会议由ACM程序设计语言特别兴趣小组(... 详细信息
来源: 评论
Z应用于通信协议形式化描述的研究
收藏 引用
电子与自动化仪表信息 1997年 第3期 15-20页
作者: 袁晓东 徐殿祥 南京大学计算机软件新技术国家重点实验室
Z语言是一被广泛使用的形式化规格说明语言,本文在其上扩充了时间描述机制Time模式,使之适应于对通信协议的形式化描述,并以流行的YMODEM通信协议为例详细介绍了如何用Z对通信协议进行形式化描述以及在此基础上协议的具... 详细信息
来源: 评论
Windows 95下的TrueType字形技术及应用
收藏 引用
计算机应用 1997年 第6期18卷 332-336页
作者: 何亚明 蒋兴 王启祥 南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室 南京210093
影响计算机输出质量的一个重要因素是字形技术。Windows3.x中的TrueType字体以及其字形描述技术,表现出强大的生命力。在Windows 95下,TrueType字形技术得到进一步的完善和发展,本文就TrueType字形技术,特别是Windows 95下TrueType字形... 详细信息
来源: 评论
EXPRESS语言建模机制的分析与研究
EXPRESS语言建模机制的分析与研究
收藏 引用
第十四届全国数据库学术会议
作者: 余永红 骆斌 徐洁磐 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
EXPRESS是一种信息建模语言,是STEP(产品模型数据交换标准)的一个组成部分。本文对EXPRESS语言的建模机制,特点及其应用作了详细的分析。
来源: 评论