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

限定检索结果

文献类型

  • 1,723 篇 期刊文献
  • 260 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

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

作者

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

语言

  • 1,983 篇 中文
检索条件"机构=南京大学计算机科学系计算机软件国家重点实验室"
共 1983 条 记 录，以下是1951-1960 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
OO软件的测试分析
OO软件的测试分析
收藏
分享
引用
'98全国计算机测试与诊断学术会议
作者： 李本固 陈鑫 朱炜 陈启仁 徐永森 大学软件新技术国家重点实验室 南京大学计算机科学与技术系
该文提出了OO软件测试中的一些问题，并简介了有助于解决这些问题的一种新的CAST工具OOAK，主要讨论了OOAK工具中动态测试分析和软件复杂度分析的设计和实现。
来源： 评论
数据类型上的可计算性
数据类型上的可计算性
收藏
分享
引用
1998年华人理论计算机科学年会
作者： 宋方敏 徐永森 钱悦晨 大学计算机科学与技术系 南京大学软件新技术国家重点实验室 ndhoven理工大学计算科学与数学系
该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据类型上的可计算性。
来源： 评论
混合型多概念获取系统的设计与实现
收藏
分享
引用
计算机研究与发展 1997年 第7期34卷 502-506页
作者： 陈兆乾 谢琪 陈世福 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
本文主要描述了一个增量式混合型多概念获取系统ＨＭＣＡＳ．它提出了一个基于概率论的符号学习与神经网络学习相结合的学习算法，能从隶属于某个概念集的实例集中归纳出满足用户精度要求的、以混合型判定树表示的概念描述．在ＨＭＣＡ... 详细信息
来源： 评论
异构的多媒体数据共享系统的设计与实现
收藏
分享
引用
计算机研究与发展 1997年 第9期34卷 652-656页
作者： 曾庆凯 杨国良 靖捷 高瀚昭 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文介绍一个异构环境的多媒体共享系统的设计与实现．系统基于客户／服务器模式，提供了异构平台的多媒体数据的共享和文件存取．试验结果表明，这是一个较低成本和较实用的多媒体数据共享系统．
来源： 评论
一个统一的程序验证框架
收藏
分享
引用
软件学报 1997年 第2期8卷 107-114页
作者： 贾国平 郑国梁 南京大学计算机科学系 南京大学计算机软件新技术国家重点实验室
本文提出了一个简单的方法，其中程序和其性质都由一个逻辑：时序逻辑中的公式表示．文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念．它是一个时序公式，精确地说明了一个程序．将时序逻辑作为规范语言，程序正确性就... 详细信息
来源： 评论
Z状态空间和操作定义的自动生成技术
收藏
分享
引用
计算机研究与发展 1997年 第12期34卷 926-933页
作者： 孙圣强 杨大军 丁俊华 吕建 南京大学计算机科学与技术系 南京大学软件新技术国家重点实验室
从软件需求定义到形式功能规约的自动转换是需求工程的重要问题之一．文中以软件需求定义语言ＮＤＲＤＬ和形式功能规约语言Ｚ为基础，探讨了其间的自动转换技术，特别是从ＮＤＲＤＬ需求定义自动获取Ｚ形式规约中状态空间与操作定义的... 详细信息
来源： 评论
一个过程间数据流分析的框架
收藏
分享
引用
软件学报 1997年 第9期8卷 653-662页
作者： 郁卫江 朱根江 谢立 南京大学计算机科学系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
本文提出一个过程间数据流分析的框架．它将层次式任务图HTG（hierarchical-taskgraph）用于程序功能并行性的表示与挖掘．在框架中定义了过程表ProcTable和二叉树形式的过程调用图BCG（binary-call－graph），以使算法的时空代价最小．
来源： 评论
基于角色分类的子类型关系
收藏
分享
引用
计算机研究与发展 1997年 第11期34卷 822-827页
作者： 袁晓东 陈家骏 郑国梁 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
事物分类的标准是一个由来已久的话题．文中将事物的特征分为一般特征和本质特征，认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类．使用了角色的概念来综合反映事物各方面的本质特征，并在角色分类的基础上建立了... 详细信息
来源： 评论
新一代智能刺绣CAD环境
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 238-243页
作者： 胡滨 潘金贵 宋珂 陈世福 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中介绍了一个用于电脑刺绣编程的智能ＣＡＤ环境．它融合了人工智能、图象处理和计算机辅助设计等多种技术，具有灵活多变的图案输入手段及自动编程的能力，实现了图案输入、处理、编针、优化和数据转换的一体化与自动化，提高了电脑... 详细信息
来源： 评论
类库检索和一个基于联想网络的类库检索工具
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 155-160页
作者： 吕枫华 王和珍 费翔林 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中分析了类库检索中的困难，着重讨论了用户需要的目标类与类库中候选类的比较方法，给出了类相似性的模糊评判方法，并实现了一个基于联想网络的类库检索工具．
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共199页 <<  < 190 191 192 193 194 195 196 197 198 199 >  >>
回到顶部
执行限定条件