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

限定检索结果

文献类型

  • 1,018 篇 期刊文献
  • 171 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,100 篇 工学
    • 879 篇 计算机科学与技术...
    • 554 篇 软件工程
    • 140 篇 网络空间安全
    • 109 篇 控制科学与工程
    • 91 篇 机械工程
    • 62 篇 信息与通信工程
    • 53 篇 仪器科学与技术
    • 25 篇 电子科学与技术（可...
    • 7 篇 地质资源与地质工...
    • 6 篇 建筑学
    • 6 篇 石油与天然气工程
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
    • 3 篇 公安技术
    • 2 篇 材料科学与工程（可...
    • 2 篇 电气工程
    • 2 篇 土木工程
  • 331 篇 管理学
    • 325 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 26 篇 理学
    • 11 篇 数学
    • 10 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 21 篇 艺术学
    • 21 篇 设计学（可授艺术学...
    • 3 篇 美术学
  • 8 篇 教育学
    • 8 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 3 篇 医学
  • 2 篇 哲学
    • 2 篇 哲学
  • 2 篇 文学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学
  • 2 篇 军事学

主题

  • 46 篇 面向对象
  • 27 篇 无线传感器网络
  • 26 篇 internet
  • 23 篇 计算机网络
  • 21 篇 人工智能
  • 20 篇 信息检索
  • 18 篇 软件测试
  • 18 篇 入侵检测
  • 18 篇 设计
  • 17 篇 服务质量
  • 16 篇 web
  • 16 篇 机器学习
  • 15 篇 计算机
  • 14 篇 信息安全
  • 14 篇 网络安全
  • 14 篇 软件工程
  • 13 篇 神经网络
  • 12 篇 软件安全
  • 12 篇 web服务
  • 12 篇 数据挖掘

机构

  • 1,091 篇 南京大学
  • 136 篇 计算机软件新技术...
  • 40 篇 南京大学计算机软...
  • 30 篇 南京航空航天大学
  • 29 篇 南京理工大学
  • 28 篇 南京邮电大学
  • 28 篇 南京工业大学
  • 16 篇 南京邮电学院
  • 16 篇 东南大学
  • 12 篇 南京大学软件新技...
  • 12 篇 清华大学
  • 8 篇 软件新技术国家重...
  • 8 篇 软件新技术国家重...
  • 7 篇 计算机科学与技术...
  • 7 篇 计算机软件新技术...
  • 6 篇 南京大学计算机科...
  • 6 篇 南京中医药大学
  • 6 篇 常熟理工学院
  • 6 篇 扬州大学
  • 5 篇 江苏省软件新技术...

作者

  • 123 篇 谢立
  • 75 篇 潘金贵
  • 73 篇 黄皓
  • 69 篇 陈道蓄
  • 65 篇 曾庆凯
  • 59 篇 谢俊元
  • 55 篇 张福炎
  • 53 篇 柏文阳
  • 53 篇 李宣东
  • 46 篇 王崇骏
  • 45 篇 陈世福
  • 44 篇 郑国梁
  • 40 篇 孙正兴
  • 35 篇 茅兵
  • 34 篇 徐宝文
  • 33 篇 陈家骏
  • 31 篇 陆桑璐
  • 30 篇 王林章
  • 29 篇 骆斌
  • 28 篇 武港山

语言

  • 1,189 篇 中文
检索条件"机构=南京大学计算机科学与技术系软件新技术国家重点试验室"
共 1189 条 记 录，以下是1161-1170 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
OODB中模式演化的行为一致性保证
OODB中模式演化的行为一致性保证
收藏
分享
引用
第十五届全国数据库学术会议
作者： 陈宇 徐洁磐 南京大学计算机科学与技术系 计算机软件新技术国家重点实验室
本文讨论的是OODB中模式演化所带来的行为一致性问题,给出了包括数据结构和算法的实用解决方案。
来源： 评论
数据库知识发现中信息论的应用
数据库知识发现中信息论的应用
收藏
分享
引用
第六届全国机器学习研讨会
作者： 刘伟宏 李晋晋 徐洁磐 南京大学计算机科学与技术系&计算机软件新技术国家重点实验室
该文首先简单介绍了数据库知识发现的一般概念和信息论的部分原理，接着详细介绍了数据库知识发现中信息论的应用，把信息论中自信息量、互信息量的理论应用于数据库特征规则和分类规则的发现过程，最后给出了具体的应用例子。
来源： 评论
OO软件的测试分析
OO软件的测试分析
收藏
分享
引用
'98全国计算机测试与诊断学术会议
作者： 李本固 陈鑫 朱炜 陈启仁 徐永森 大学软件新技术国家重点实验室 南京大学计算机科学与技术系
该文提出了OO软件测试中的一些问题，并简介了有助于解决这些问题的一种新的CAST工具OOAK，主要讨论了OOAK工具中动态测试分析和软件复杂度分析的设计和实现。
来源： 评论
数据类型上的可计算性
数据类型上的可计算性
收藏
分享
引用
1998年华人理论计算机科学年会
作者： 宋方敏 徐永森 钱悦晨 大学计算机科学与技术系 南京大学软件新技术国家重点实验室 ndhoven理工大学计算科学与数学系
该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据类型上的可计算性。
来源： 评论
RCCSUS:一个实时控制命令情境理解模型系统
收藏
分享
引用
小型微型计算机系统 1997年 第4期18卷 32-36页
作者： 李景春 江晖 钱树人 李林源 南京大学计算机科学与技术系软件新技术国家重点试验室
本文介绍一个实时控制命令情境理解模型ＲＣＣＳＵＳ（Ｒｅａｌ＿ｔｉｍｅＣｏｎｔｒｏｌＣｏｍｍａｎｄＳｉｔｕａｔｉｏｎａｌＵｎｄｅｒｓｔａｎｄｉｎｇＭｏｄｅｌＳｙｓｔｅｍ）的设计与实现。该系统模拟声控汽车实时命令的情境理... 详细信息
来源： 评论
Z状态空间和操作定义的自动生成技术
收藏
分享
引用
计算机研究与发展 1997年 第12期34卷 926-933页
作者： 孙圣强 杨大军 丁俊华 吕建 南京大学计算机科学与技术系 南京大学软件新技术国家重点实验室
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的... 详细信息
来源： 评论
异构的多媒体数据共享系统的设计与实现
收藏
分享
引用
计算机研究与发展 1997年 第9期34卷 652-656页
作者： 曾庆凯 杨国良 靖捷 高瀚昭 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文介绍一个异构环境的多媒体共享系统的设计与实现．系统基于客户／服务器模式，提供了异构平台的多媒体数据的共享和文件存取．试验结果表明，这是一个较低成本和较实用的多媒体数据共享系统．
来源： 评论
混合型多概念获取系统的设计与实现
收藏
分享
引用
计算机研究与发展 1997年 第7期34卷 502-506页
作者： 陈兆乾 谢琪 陈世福 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
本文主要描述了一个增量式混合型多概念获取系统ＨＭＣＡＳ．它提出了一个基于概率论的符号学习与神经网络学习相结合的学习算法，能从隶属于某个概念集的实例集中归纳出满足用户精度要求的、以混合型判定树表示的概念描述．在ＨＭＣＡ... 详细信息
来源： 评论
基于角色分类的子类型关系
收藏
分享
引用
计算机研究与发展 1997年 第11期34卷 822-827页
作者： 袁晓东 陈家骏 郑国梁 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
事物分类的标准是一个由来已久的话题．文中将事物的特征分为一般特征和本质特征，认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类．使用了角色的概念来综合反映事物各方面的本质特征，并在角色分类的基础上建立了... 详细信息
来源： 评论
类型化面向对象逻辑语言LKO的元级解释
收藏
分享
引用
计算机研究与发展 1997年 第9期34卷 694-699页
作者： 徐殿祥 郑国梁 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文介绍类型化面向对象逻辑语言ＬＫＯ的元级解释技术，主要包括对象约束、状态、方法的继承算法，以及子句解释、类型推理和检查的多种合一算法．
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共119页 <<  < 110 111 112 113 114 115 116 117 118 119 >  >>
回到顶部
执行限定条件