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

限定检索结果

文献类型

  • 3,485 篇 期刊文献
  • 590 篇 会议
  • 1 篇 成果

馆藏范围

  • 4,076 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3,770 篇 工学
    • 2,923 篇 计算机科学与技术...
    • 1,991 篇 软件工程
    • 591 篇 控制科学与工程
    • 386 篇 机械工程
    • 312 篇 网络空间安全
    • 222 篇 信息与通信工程
    • 215 篇 仪器科学与技术
    • 72 篇 电子科学与技术（可...
    • 49 篇 建筑学
    • 21 篇 土木工程
    • 15 篇 电气工程
    • 15 篇 地质资源与地质工...
    • 13 篇 公安技术
    • 10 篇 石油与天然气工程
    • 10 篇 交通运输工程
    • 9 篇 材料科学与工程（可...
    • 8 篇 光学工程
  • 1,241 篇 管理学
    • 1,214 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 18 篇 工商管理
  • 163 篇 理学
    • 85 篇 数学
    • 62 篇 系统科学
  • 91 篇 艺术学
    • 89 篇 设计学（可授艺术学...
    • 11 篇 美术学
  • 44 篇 医学
    • 20 篇 临床医学
    • 12 篇 中医学
  • 29 篇 教育学
    • 29 篇 教育学
  • 24 篇 经济学
    • 22 篇 应用经济学
  • 20 篇 文学
    • 9 篇 外国语言文学
  • 14 篇 哲学
    • 14 篇 哲学
  • 8 篇 军事学
  • 7 篇 农学
  • 3 篇 法学
  • 3 篇 历史学

主题

  • 122 篇 机器学习
  • 107 篇 神经网络
  • 96 篇 面向对象
  • 86 篇 人工智能
  • 79 篇 无线传感器网络
  • 71 篇 数据挖掘
  • 70 篇 internet
  • 62 篇 计算机
  • 52 篇 软件开发
  • 50 篇 计算机网络
  • 49 篇 深度学习
  • 48 篇 强化学习
  • 44 篇 遗传算法
  • 41 篇 入侵检测
  • 40 篇 软件测试
  • 39 篇 信息检索
  • 39 篇 设计
  • 39 篇 软件工程
  • 37 篇 移动agent
  • 37 篇 数据库

机构

  • 3,538 篇 南京大学
  • 502 篇 计算机软件新技术...
  • 229 篇 南京航空航天大学
  • 195 篇 南京邮电大学
  • 106 篇 扬州大学
  • 82 篇 宁波大学
  • 78 篇 南京理工大学
  • 77 篇 辽宁师范大学
  • 72 篇 南京工业大学
  • 59 篇 东南大学
  • 54 篇 南京大学计算机软...
  • 50 篇 南通大学
  • 47 篇 苏州大学
  • 40 篇 解放军理工大学
  • 35 篇 南京师范大学
  • 26 篇 南京信息工程大学
  • 26 篇 中国矿业大学
  • 25 篇 南京中医药大学
  • 24 篇 西南交通大学
  • 24 篇 河海大学

作者

  • 254 篇 谢立
  • 208 篇 陈世福
  • 190 篇 吕建
  • 188 篇 潘金贵
  • 153 篇 陈道蓄
  • 140 篇 周志华
  • 120 篇 高阳
  • 118 篇 黄皓
  • 105 篇 王汝传
  • 105 篇 张福炎
  • 102 篇 蔡士杰
  • 99 篇 陈兆乾
  • 91 篇 李宣东
  • 89 篇 孙正兴
  • 86 篇 曾庆凯
  • 85 篇 陶先平
  • 80 篇 陆桑璐
  • 80 篇 谢俊元
  • 80 篇 陈贵海
  • 78 篇 柏文阳

语言

  • 4,074 篇 中文
  • 2 篇 英文
检索条件"机构=南京大学计算软件新技术国家重点实验室"
共 4076 条 记 录，以下是4061-4070 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
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字形... 详细信息
来源： 评论
COOZ中的时段演算
收藏
分享
引用
软件学报 1997年 第A00期8卷 333-333页
作者： 袁晓东 陈家骏 南京大学计算机软件新技术国家重点实验室
本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了... 详细信息
来源： 评论
EXPRESS语言建模机制的分析与研究
EXPRESS语言建模机制的分析与研究
收藏
分享
引用
第十四届全国数据库学术会议
作者： 余永红 骆斌 徐洁磐 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
EXPRESS是一种信息建模语言,是STEP(产品模型数据交换标准)的一个组成部分。本文对EXPRESS语言的建模机制,特点及其应用作了详细的分析。
来源： 评论
面向对象数据库管理系统OMNIX的总体构思探讨
面向对象数据库管理系统OMNIX的总体构思探讨
收藏
分享
引用
第十四届全国数据库学术会议
作者： 徐洁磐 柏文杨 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文讨论面向对象数据库管理系统OMNIX总体构思的一些问题,包括系统目标,三种系统模式的选择,系统功能、语言选择原则以及所采用的技术等,该系统是一个具有一定特色的面向对象数据库管理系统。
来源： 评论
对象式数据库子语言OMNIX OSQL设计
对象式数据库子语言OMNIX OSQL设计
收藏
分享
引用
第十四届全国数据库学术会议
作者： 骆斌 余永红 徐洁磐 柏文阳 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文讨论对象式数据库子语言OMNIX OSQL的设计准则和基本功能。该语言既支持面向对象,又具有关系数据管理的功能,且能满足石油工业及工程领域的特殊需求,从而给石油工业及工程领域的数据集成平台提供了有效的数据服务。
来源： 评论
OMNIX中授权机制的数学模型及其实现
OMNIX中授权机制的数学模型及其实现
收藏
分享
引用
第十四届全国数据库学术会议
作者： 徐洁磐 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文主要讨论OMNIX中的授权机制。首先,我们建立授权机制的数学模型,其次我们用OODBMS中的方法、消息等去解决授权机制的数学模型,它有很多的优点与方便。
来源： 评论
Knight知识挖掘系统的设计与实现
Knight知识挖掘系统的设计与实现
收藏
分享
引用
第十四届全国数据库学术会议
作者： 陈栋 徐洁磐 南京大学计算机件新技术国家重点实验室 南京大学计算机科学与技术系
现有知识挖掘系统普遍存在通用性不好,发现方法单一的弱点。本文介绍了一个知识挖掘系统:Knight。为克服上述弱点,Knight系统被设计为可以适应不同的应用领域,同时,在发现方法引入进化程序设计、信息论等新的思想方法。
来源： 评论
一种图形化对象式需求定义语言的设计
收藏
分享
引用
软件学报 1996年 第11期7卷 647-655页
作者： 张家重 吕建 王志坚 徐家福 南京大学计算机软件研究所 南京大学计算机软件新技术国家重点实验室
本文简要讨论了软件需求定义及其语言的有关基本概念，重点介绍了图形化对象式需求定义语言ＮＤＯＲＬ的设计思想以及主要的语言结构与成分．该语言是一种以面向对象方法支持软件需求定义的半形式化语言，具有形象易读、表达力强和便于... 详细信息
来源： 评论
软件需求定义语言NDRDL的设计
收藏
分享
引用
计算机研究与发展 1996年 第12期33卷 920-925页
作者： 董丽君 南京大学计算机软件研究所及计算机软件新技术国家重点实验室
本文概述了软件需求定义语言ＮＤＲＤＬ的设计目标及设计原则，并讨论了一些语言基本成分，如数据流图、控制流图、实体关系图等的设计。文中采用个人帐目管理系统（ＰＡＭＳ）作为示例。
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共408页 <<  < 399 400 401 402 403 404 405 406 407 408 >  >>
回到顶部
执行限定条件