咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,828 篇 工学
    • 1,427 篇 计算机科学与技术...
    • 939 篇 软件工程
    • 222 篇 控制科学与工程
    • 178 篇 网络空间安全
    • 174 篇 机械工程
    • 115 篇 信息与通信工程
    • 98 篇 仪器科学与技术
    • 32 篇 电子科学与技术(可...
    • 9 篇 建筑学
    • 8 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 光学工程
    • 5 篇 交通运输工程
    • 4 篇 电气工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 材料科学与工程(可...
    • 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,729 篇 南京大学
  • 266 篇 计算机软件新技术...
  • 215 篇 南京航空航天大学
  • 68 篇 南京理工大学
  • 66 篇 宁波大学
  • 57 篇 南京邮电大学
  • 53 篇 南京工业大学
  • 50 篇 东南大学
  • 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,982 篇 中文
检索条件"机构=南京大学计算机科学系计算机软件国家重点实验室"
1982 条 记 录,以下是1791-1800 订阅
排序:
基于JSP技术的Web应用程序的开发
收藏 引用
计算机应用研究 2001年 第5期18卷 99-101页
作者: 张波 张福炎 南京大学 计算机科学与技术系 江苏南京210093 南京大学 软件新技术国家重点实验室 江苏南京210093
对JSP技术进行了探讨,不仅对它的概念进行了较为详细的介绍,也阐述了它的架构及运行模型,研究了如何利用JSP技术开发Web应用程序,同时给出了设计开发基于JSP技术的PRISM报表管理系统的实例。
来源: 评论
面向对象软件度量自动化参考模型MOOP
收藏 引用
计算机工程与科学 2001年 第5期23卷 39-42页
作者: 梅琳 杜晓晨 李茜 徐永森 南京大学计算机科学与技术系软件新技术国家重点实验室 江苏南京210093
评估软件质量涉及到定性和定量两个方面。在定量的度量方面 ,要考虑两个问题 ,一是度量什么 ,二是如何度量。面向对象技术的新特点给软件度量提出了新的要求。本文提出了一种针对面向对象程序分析的度量自动化参考模型 MOOP,该模型采用... 详细信息
来源: 评论
协同CAD系统并发操作冲突推理
收藏 引用
机械设计 2001年 第5期18卷 5-8页
作者: 窦万峰 谢立 南京师范大学数学与计算机科学学院 江苏南京210097 南京大学软件新技术国家重点实验室
一致性保证是计算机支持的协同工作的关键技术之一。协同者的并发操作的冲突是引发不一致的主要原因 ,并发操作的冲突判别是提高系统效率的一个重要的方面。分析了协同CAD系统的并发操作冲突的机理 ,给出了操作命令的一般表示方法 ,提... 详细信息
来源: 评论
基于数据仓库的司法决策支持系统的设计与实现
基于数据仓库的司法决策支持系统的设计与实现
收藏 引用
第十八届全国数据库学术会议
作者: 张延成 骆斌 陈世福 计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
1引言传统的决策支持系统建立在数据库系统上,但随着数据量的迅速增长和用户查询需求的复杂化,传统的数据库技术越来越难以胜任。这主要是因为数据库技术主要用于联机事务处理(OLTP),数据库中存放的是大量的面向操作的细节数据,这些数... 详细信息
来源: 评论
一个基于Agent的面向Internet的信息检索系统的系统模型
一个基于Agent的面向Internet的信息检索系统的系统模型
收藏 引用
2001年全国开放式分布与并行计算学术会议
作者: 韩立新 黄丽雯 恽爽 陈道蓄 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系(南京)
根据面向Internet的信息检索系统的特点,阐述了一个基于Agent的面向Internet的信息检索系统(WSE),着重介绍了该系统的系统模型.与目前流行的搜索引擎相比,本系统提高了检索的精度、覆盖面和响应速度.
来源: 评论
基于数据仓库的司法决策支持系统的设计与实现
基于数据仓库的司法决策支持系统的设计与实现
收藏 引用
第18届全国数据库学术会议
作者: 张延成 骆斌 陈世福 计算机软件新技术国家重点实验室(南京) 南京大学计算机科学与技术系(南京)
本文利用面向对象的数据仓库技术和联机分析处理技术,对法院业务数据进行分析,为管理者提供决策支持.
来源: 评论
解非均匀区域油藏模拟问题的一种有效并行计算方法
解非均匀区域油藏模拟问题的一种有效并行计算方法
收藏 引用
863计划智能计算机主题学术会议
作者: 刘青昆 舒继武 赵金熙 张德富 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系(南京) 清华大学计算机科学与技术系(北京)
本文基于分布式并行系统,运用整体预处理区域分解方法,结合有效的负载平衡策略,对一类黑油模型油藏模拟问题并行求解.实验结果表明,模拟速度有较大提高,并取得较高加速比.
来源: 评论
A NOTE ON CONDITIONAL IMPLICATION
收藏 引用
Transactions of Nanjing University of Aeronautics and Astronautics 2001年 第1期18卷 41-46页
作者: 朱朝晖 李斌 陈世福 朱梧槚 南京航空航天大学信息科学与技术学院 南京大学计算机软件国家重点实验室
It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, *** and *** have shown that s... 详细信息
来源: 评论
面向对象软件度量自动化参考模型MOOP
面向对象软件度量自动化参考模型MOOP
收藏 引用
第九届全国容错计算学术大会
作者: 梅琳 杜晓晨 李茜 徐永森 南京大学计算机科学与技术系软件新技术国家重点实验室(江苏南京)
评估软件质量涉及到定性和定量两个方面.在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量.面向对象技术的新特点给软件度量提出了新的要求.本文提出了一种针对面向对象程序分析的度量自动化参考模型MOOP,该模型采用三层结构... 详细信息
来源: 评论
中介逻辑谓词演算系统MFM
中介逻辑谓词演算系统MFM
收藏 引用
2001年全国理论计算机科学学术会议
作者: 毛宇光 南京航空航天大学计算机科学研究所(南京) 徐洁磬 南京大学计算机科学与技术系(南京) 周勇 朱梧槚 南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机科学研究所(南京)
本文以中介逻辑谓词演算系统MF为基础,构造了基于命题联结词^、V、→、ヲ和ヘ的新中介逻辑谓词演算系统MF,并证明了其可靠性和完备性.
来源: 评论