咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1911-1920 订阅
排序:
中介逻辑演算系统MP^N及MF^N
收藏 引用
模糊系统与数学 1999年 第2期13卷 45-51页
作者: 毛宇光 朱剑英 顾红芳 南京航空航天大学计算机科学与工程系 南京通信工程学院数学教研室 南京大学计算机软件新技术国家重点实验室
为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、~和~的中介逻辑命题演算系统MPN和中介逻辑谓词演算系统MFN,并证明了MPN与MP*、MFN与MF*的表达能力等价。
来源: 评论
OFF LINE INTERPRETER OF AGENT ORIENTED PROGRAMMING LANGUAGE AOPLID
收藏 引用
Transactions of Nanjing University of Aeronautics and Astronautics 1999年 第1期16卷 8-13页
作者: 李斌 张东摩 朱梧槚 南京航空航天大学计算机科学与工程系 南京大学软件新技术国家重点实验室
AOPLID is a novel agent oriented programming language whose theoretical framework is the existed situation calculus theory and agent model based on intention driven manner. An AOPLID program is represented in set ma... 详细信息
来源: 评论
面向AGENT的程序设计语言AOPLID
收藏 引用
扬州大学学报(自然科学版) 1999年 第3期2卷 65-69页
作者: 李斌 张东摩 朱梧槚 扬州大学工学院计算机系 扬州225009 南京航空航天大学计算机科学研究所 南京210016 南京大学软件新技术国家重点实验室 南京210093
AOPLID语言是以现有的情境演算理论和基于意向驱动方式的agent模型为理论框架而建立的一种面向agent的程序设计语言.介绍了该语言的程序组成及程序的运行方式。
来源: 评论
基于簇结构的负载平衡模型──簇平衡
收藏 引用
计算机研究与发展 1998年 第9期35卷 824-829页
作者: 陆桑璐 谢立 南京大学计算机科学系 南京大学计算机软件新技术国家重点实验室
文中针对当前大型的工作站网络(NOW)环境,提出了一种基于层次式簇组结构的负载平衡模型LOBAC.它采用工作站分簇、簇间分层的系统结构,按照逻辑半径划分层次,并且基于该结构层次通过两阶段进行调度和负载平衡处理,能够在... 详细信息
来源: 评论
协同调度算法Dasic的性能评价
收藏 引用
软件学报 1998年 第10期9卷 734-739页
作者: 周笑波 陆桑璐 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
对一个动态自适应的NOW(networkofworkstations)协同调度算法Dasic算法进行了性能评估.通过对Dasic算法和典型的NOW协同调度算法MAX算法、Grab算法的性能模拟,在响应时间和系统流量两... 详细信息
来源: 评论
基于ATM的群通信问题的研究
收藏 引用
软件学报 1998年 第8期9卷 561-565页
作者: 吴礼发 周笑波 谢立 孙钟秀 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
群通信在并行计算中起着重要的作用.ATM(asynchronoustransfermode)网络有许多特点使之适合群通信.如何有效地利用ATM的这些特点来实现群通信操作是一个重要的研究课题.该文提出了一种基于ATM的... 详细信息
来源: 评论
任务间的次并行性
收藏 引用
软件学报 1998年 第12期9卷 917-921页
作者: 杜建成 徐融 陈道蓄 谢立 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
首先给出了任务间次并行性存在的条件,讨论了两个任务之间的通讯、通讯等待开销的计算和任务间次并行性发掘的一般过程.此外,还就代码移动和任务合并对增强并行性、消减不必要的通讯等待开销的影响作了说明.
来源: 评论
基于实例推理的智能刺绣编程系统
收藏 引用
小型微型计算机系统 1998年 第12期19卷 32-37页
作者: 李红兵 李宁 陈世福 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
本文介绍基于实例推理的智能刺绣编程系统。根据电脑刺绣领域问题的需要,建立了描述刺绣样品的实例模型,利用动态存储模型技术实现实例的存储和检索,在此基础上给出了基于实例的推理流程和算法、实例重用和实例保留算法等。基于实例... 详细信息
来源: 评论
基于 Java 的分布并行计算环境 JavaPVM
收藏 引用
高技术通讯 1998年 第4期8卷 12-15页
作者: 谢立 吴国庆 茅兵 陈道蓄 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
在吸取了PVM和Java语言的思想及技术的基础上,开发出了基于Java的并行虚拟机环境,它为异构环境下的分布并行程序设计提供了虚拟并行平台和基于该平台之上的简洁的通信手段。介绍了JavaPVM的设计和实现,可以看出它... 详细信息
来源: 评论
OOZE求精技术自动化的探讨
收藏 引用
计算机研究与发展 1998年 第2期35卷 173-177页
作者: 袁晓东 陈家骏 郑国梁 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中立足于一种Z的面向对象扩充广谱语言OOZE,研究其从软件规格说明到可执行程序求精过程中的自动化技术.重点讨论了数据求精技术,对Z中的几种复合数据类型及其嵌套结构、OOZE中的类结构提出了相应的自动求精规则。
来源: 评论