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

限定检索结果

文献类型

  • 1,510 篇 期刊文献
  • 218 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,602 篇 工学
    • 1,296 篇 计算机科学与技术...
    • 848 篇 软件工程
    • 195 篇 控制科学与工程
    • 168 篇 网络空间安全
    • 140 篇 机械工程
    • 77 篇 仪器科学与技术
    • 75 篇 信息与通信工程
    • 28 篇 电子科学与技术（可...
    • 9 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 4 篇 交通运输工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 公安技术
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
  • 507 篇 管理学
    • 500 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 45 篇 理学
    • 25 篇 数学
    • 13 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 37 篇 艺术学
    • 37 篇 设计学（可授艺术学...
    • 3 篇 美术学
  • 9 篇 教育学
    • 9 篇 教育学
  • 8 篇 哲学
    • 8 篇 哲学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 医学
  • 3 篇 文学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

  • 52 篇 面向对象
  • 42 篇 无线传感器网络
  • 31 篇 人工智能
  • 31 篇 internet
  • 29 篇 机器学习
  • 25 篇 软件测试
  • 25 篇 计算机网络
  • 24 篇 信息检索
  • 21 篇 计算机
  • 21 篇 神经网络
  • 20 篇 入侵检测
  • 20 篇 服务质量
  • 19 篇 软件工程
  • 18 篇 数据挖掘
  • 17 篇 形式化方法
  • 17 篇 遗传算法
  • 17 篇 深度学习
  • 17 篇 web
  • 16 篇 支持向量机
  • 16 篇 设计

机构

  • 1,524 篇 南京大学
  • 227 篇 计算机软件新技术...
  • 165 篇 南京航空航天大学
  • 67 篇 南京理工大学
  • 50 篇 南通大学
  • 48 篇 扬州大学
  • 48 篇 南京工业大学
  • 45 篇 东南大学
  • 45 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 37 篇 苏州大学
  • 25 篇 南京师范大学
  • 20 篇 中国矿业大学
  • 17 篇 南京邮电学院
  • 17 篇 东华大学
  • 15 篇 江苏大学
  • 14 篇 电子科技大学
  • 13 篇 清华大学
  • 12 篇 南京大学软件新技...
  • 10 篇 辽宁师范大学

作者

  • 140 篇 谢立
  • 86 篇 潘金贵
  • 77 篇 黄皓
  • 68 篇 李宣东
  • 67 篇 陈道蓄
  • 67 篇 曾庆凯
  • 61 篇 张福炎
  • 57 篇 郑国梁
  • 56 篇 谢俊元
  • 54 篇 柏文阳
  • 53 篇 陈世福
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 43 篇 孙正兴
  • 42 篇 陈家骏
  • 40 篇 徐宝文
  • 38 篇 茅兵
  • 35 篇 陆桑璐
  • 34 篇 骆斌
  • 33 篇 徐洁磐

语言

  • 1,728 篇 中文
检索条件"机构=南京大学计算机科学技术系软件新技术国家重点实验室"
共 1728 条 记 录，以下是1691-1700 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于中介逻辑的时序逻辑系统
收藏
分享
引用
Journal of Mathematical Research and Exposition 1998年 第3期18卷 465-471页
作者： 施庆生 张东摩 南京航空航天大学计算机科学与工程系 南京建筑工程学院基础部 南京大学软件高技术国家重点实验室
本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（ＭｅｄｉｕｍＴｅｍｐｏｒａｌＬｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比。
来源： 评论
支持大规模分布式系统的对象接口描述语言OIDL
支持大规模分布式系统的对象接口描述语言OIDL
收藏
分享
引用
大连--香港国际计算机会议
作者： 仲盛 王运翔 谢立 金志权 大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室 大学计算机科学与技术系 大学计算机软件新技术国家重点实验室
在分布式计算系统中，接口描述语言（IDL）是一个重要的核心概念，它使得用户不必考虑网络细节，为RPC应用程序设计提供了迅速可靠的支持。随着网络和分布式技术的发展，尤其是Internet的出现，分布式系统的规模急剧膨胀，适应支持大规... 详细信息
来源： 评论
IHMCAP算法对噪音数据的处理
IHMCAP算法对噪音数据的处理
收藏
分享
引用
第六届全国机器学习研讨会
作者： 周志华 陈兆乾 南京大学计算机科学与技术系&计算机软件新技术国家重点实验室
增量式混合型多概念获取算法ＩＨＭＣＡＰ将基于概率论的符号学习与神经网络学习相结合，实现了两种不同思维层次的靠近。该算法采用了一种独特的增量学习机制，不仅效率高、速度快，而且可以降低算法对噪音数据的敏感度，从而使得ＩＨ... 详细信息
来源： 评论
OODB中模式演化的行为一致性保证
OODB中模式演化的行为一致性保证
收藏
分享
引用
第十五届全国数据库学术会议
作者： 陈宇 徐洁磐 南京大学计算机科学与技术系 计算机软件新技术国家重点实验室
本文讨论的是OODB中模式演化所带来的行为一致性问题,给出了包括数据结构和算法的实用解决方案。
来源： 评论
数据库知识发现中信息论的应用
数据库知识发现中信息论的应用
收藏
分享
引用
第六届全国机器学习研讨会
作者： 刘伟宏 李晋晋 徐洁磐 南京大学计算机科学与技术系&计算机软件新技术国家重点实验室
该文首先简单介绍了数据库知识发现的一般概念和信息论的部分原理，接着详细介绍了数据库知识发现中信息论的应用，把信息论中自信息量、互信息量的理论应用于数据库特征规则和分类规则的发现过程，最后给出了具体的应用例子。
来源： 评论
OO软件的测试分析
OO软件的测试分析
收藏
分享
引用
'98全国计算机测试与诊断学术会议
作者： 李本固 陈鑫 朱炜 陈启仁 徐永森 大学软件新技术国家重点实验室 南京大学计算机科学与技术系
该文提出了OO软件测试中的一些问题，并简介了有助于解决这些问题的一种新的CAST工具OOAK，主要讨论了OOAK工具中动态测试分析和软件复杂度分析的设计和实现。
来源： 评论
数据类型上的可计算性
数据类型上的可计算性
收藏
分享
引用
1998年华人理论计算机科学年会
作者： 宋方敏 徐永森 钱悦晨 大学计算机科学与技术系 南京大学软件新技术国家重点实验室 ndhoven理工大学计算科学与数学系
该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据类型上的可计算性。
来源： 评论
Z状态空间和操作定义的自动生成技术
收藏
分享
引用
计算机研究与发展 1997年 第12期34卷 926-933页
作者： 孙圣强 杨大军 丁俊华 吕建 南京大学计算机科学与技术系 南京大学软件新技术国家重点实验室
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的... 详细信息
来源： 评论
混合型多概念获取系统的设计与实现
收藏
分享
引用
计算机研究与发展 1997年 第7期34卷 502-506页
作者： 陈兆乾 谢琪 陈世福 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
本文主要描述了一个增量式混合型多概念获取系统ＨＭＣＡＳ．它提出了一个基于概率论的符号学习与神经网络学习相结合的学习算法，能从隶属于某个概念集的实例集中归纳出满足用户精度要求的、以混合型判定树表示的概念描述．在ＨＭＣＡ... 详细信息
来源： 评论
异构的多媒体数据共享系统的设计与实现
收藏
分享
引用
计算机研究与发展 1997年 第9期34卷 652-656页
作者： 曾庆凯 杨国良 靖捷 高瀚昭 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文介绍一个异构环境的多媒体共享系统的设计与实现．系统基于客户／服务器模式，提供了异构平台的多媒体数据的共享和文件存取．试验结果表明，这是一个较低成本和较实用的多媒体数据共享系统．
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共173页 <<  < 164 165 166 167 168 169 170 171 172 173 >  >>
回到顶部
执行限定条件