咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1,716 篇 期刊文献
  • 262 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,822 篇 工学
    • 1,422 篇 计算机科学与技术...
    • 936 篇 软件工程
    • 220 篇 控制科学与工程
    • 177 篇 网络空间安全
    • 174 篇 机械工程
    • 114 篇 信息与通信工程
    • 98 篇 仪器科学与技术
    • 32 篇 电子科学与技术（可...
    • 9 篇 建筑学
    • 8 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 光学工程
    • 5 篇 交通运输工程
    • 4 篇 电气工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 公安技术
    • 3 篇 材料科学与工程（可...
  • 557 篇 管理学
    • 549 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 78 篇 理学
    • 39 篇 数学
    • 26 篇 系统科学
    • 7 篇 物理学
    • 3 篇 生物学
  • 40 篇 艺术学
    • 40 篇 设计学（可授艺术学...
  • 12 篇 教育学
    • 12 篇 教育学
  • 8 篇 哲学
    • 8 篇 哲学
  • 8 篇 经济学
    • 6 篇 应用经济学
  • 6 篇 军事学
    • 6 篇 军队指挥学
  • 5 篇 医学
  • 4 篇 文学
  • 3 篇 农学
  • 2 篇 历史学

主题

  • 52 篇 面向对象
  • 44 篇 无线传感器网络
  • 33 篇 人工智能
  • 32 篇 internet
  • 32 篇 机器学习
  • 28 篇 软件测试
  • 25 篇 信息检索
  • 25 篇 计算机网络
  • 25 篇 神经网络
  • 22 篇 计算机
  • 22 篇 深度学习
  • 21 篇 入侵检测
  • 21 篇 软件工程
  • 20 篇 支持向量机
  • 20 篇 服务质量
  • 18 篇 遗传算法
  • 18 篇 数据挖掘
  • 18 篇 云计算
  • 18 篇 访问控制
  • 17 篇 形式化方法

机构

  • 1,727 篇 南京大学
  • 266 篇 计算机软件新技术...
  • 211 篇 南京航空航天大学
  • 68 篇 南京理工大学
  • 66 篇 宁波大学
  • 57 篇 南京邮电大学
  • 53 篇 南京工业大学
  • 51 篇 东南大学
  • 50 篇 南通大学
  • 50 篇 扬州大学
  • 41 篇 苏州大学
  • 40 篇 南京大学计算机软...
  • 26 篇 南京师范大学
  • 21 篇 中国矿业大学
  • 20 篇 西南交通大学
  • 19 篇 南京邮电学院
  • 18 篇 安徽大学
  • 17 篇 东华大学
  • 15 篇 江苏大学
  • 15 篇 电子科技大学

作者

  • 146 篇 谢立
  • 86 篇 潘金贵
  • 79 篇 黄皓
  • 68 篇 陈道蓄
  • 68 篇 李宣东
  • 67 篇 曾庆凯
  • 65 篇 张福炎
  • 61 篇 郁梅
  • 57 篇 郑国梁
  • 57 篇 谢俊元
  • 56 篇 柏文阳
  • 56 篇 陈世福
  • 48 篇 蒋刚毅
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 43 篇 孙正兴
  • 42 篇 陈家骏
  • 41 篇 徐宝文
  • 38 篇 茅兵
  • 38 篇 毛宇光

语言

  • 1,978 篇 中文
检索条件"机构=南京大学计算机科学系软件新技术国家重点实验室"
共 1978 条 记 录，以下是1961-1970 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
小型文件传输协议TFTP的形式化描述和自动生成工具EIT
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 136-140页
作者： 丁晋 杨培根 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中给出了小型文件传输协议ＴＦＴＰ的ＥＳＴＥＬＬＥ语言的形式化描述及自动生成工具ＥＩＴ，并对ＥＳＴＥＬＬＥ语言进行了扩展．引入限定注释机制，使描述功能增强，协议描述与实现环境更加独立，提高了协议软件的可移植性．
来源： 评论
基于工作站网的对象远程执行机制
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 106-109页
作者： 周颖 王晨 明光春 张德富 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中把对象观点引入分布并行领域，提出了一种对象远程执行机制．首先分析了主动对象的必要性，提出一种主动对象的实现方法，然后描述了远程对象执行机制，并分析它的易用、可扩充和可移植性．
来源： 评论
常规文本到超文本自动转换技术的研究与实现
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 187-191页
作者： 黄宜华 尤晓白 纪元 杨文清 张福炎 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中介绍了一种常规文本到超文本自动转换技术的设计与实现，该系统可对具有自然目录结构的常规文本，在目录自动识别和标注的基础上，自动转换为具有顺序层次链的超文本文档．
来源： 评论
Hash Hash^(-1)并行Join算法
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 76-80页
作者： 金志权 葛芝宾 陈佩佩 谢立 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
多处理机系统的迅速发展和商品化，促进了并行数据库系统的研制．Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ系统的广泛使用和大型数据库的不断增长，进一步推动了并行数据库的深入研究．文中给出了有效处理数据分布很不均匀的并行Ｊｏｉｎ算法——Ｈ... 详细信息
来源： 评论
混合型学习模型HLM中的增量学习算法
收藏
分享
引用
软件学报 1997年 第11期8卷 875-880页
作者： 陈兆乾 周志华 李红兵 谢俊元 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
混合型学习模型HLM将概念获取算法HMCAP和神经网络算法FTART有机结合，能学习多概念和连续属性，其增量学习算法建立在二叉混合判定树结构和FTART网络的基础上，在给系统增加新的实例时，只需进行一遍增量学习调整原结构，不用重新生成... 详细信息
来源： 评论
分布式共享内存的技术和实现
收藏
分享
引用
计算机研究与发展 1997年 第5期34卷 327-331页
作者： 李群 谢立 孙钟秀 南京大学计算机科学与技术系及软件新技术国家重点实验室
分布式共享内存结合了分布式内存结构与共享存储结构的优点，具有可扩充性、通用性、方便性．本文论述了在实现ＤＳＭ系统中存在的问题。
来源： 评论
DL/CNHM系统服务器端的设计与实现
收藏
分享
引用
计算机工程 1997年 第S1期23卷 1-4,25页
作者： 高永勤 田增平 周傲英 复旦大学计算机科学系 上海200433 南京大学计算机软件新技术国家重点实验室 京210093
中国历史地图电子图书馆(DL/CNHM)是一个基于Internet的数字图书馆系统。该系统的服务器端接收来自客户端的请求,对牧据库进行相应的查询,并将查询结果返回给客户。文章讨论的DL/CNHM系统服务器端的设计特点、技术考虑及其实现。
来源： 评论
中介公理集合论系统与经典公理集合论系统的关系——形式证明部分
收藏
分享
引用
南京航空航天大学学报 1997年 第4期29卷 402-406页
作者： 张东摩 施庆生 姜宁根 南京航空航天大学计算机科学与工程系 南京建筑工程学院基础部 南京大学计算机系软件新技术国家重点实验室
在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经... 详细信息
来源： 评论
MS 中的自然数系统
收藏
分享
引用
南京航空航天大学学报 1997年 第2期29卷 179-184页
作者： 张东摩 施庆生 姜宁根 朱梧 南京航空航天大学计算机科学与工程系 南京建筑工程学院基础部 南京大学软件高技术国家重点实验室
首先给出了中介逻辑ＭＬ的二值子系统ＦＩ＊ＭＬ，说明了它与经典二值逻辑的子系统ＦＩ＊同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为... 详细信息
来源： 评论
Windows 95下的TrueType字形技术及应用
收藏
分享
引用
微计算机应用 1997年 第6期18卷 332-336页
作者： 何亚明 蒋兴 王启祥 南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室 南京210093
影响计算机输出质量的一个重要因素是字形技术。Windows3.x中的TrueType字体以及其字形描述技术,表现出强大的生命力。在Windows 95下,TrueType字形技术得到进一步的完善和发展,本文就TrueType字形技术,特别是Windows 95下TrueType字形... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共198页 <<  < 189 190 191 192 193 194 195 196 197 198 >  >>
回到顶部
执行限定条件