咨询与建议

限定检索结果

文献类型

  • 1,314 篇 期刊文献
  • 203 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,406 篇 工学
    • 1,140 篇 计算机科学与技术...
    • 744 篇 软件工程
    • 160 篇 控制科学与工程
    • 159 篇 网络空间安全
    • 117 篇 机械工程
    • 66 篇 信息与通信工程
    • 65 篇 仪器科学与技术
    • 26 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 公安技术
    • 4 篇 交通运输工程
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
    • 3 篇 航空宇航科学与技...
  • 436 篇 管理学
    • 430 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 34 篇 理学
    • 17 篇 数学
    • 11 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 29 篇 艺术学
    • 29 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 8 篇 教育学
    • 8 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 哲学
    • 4 篇 哲学
  • 3 篇 文学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

  • 48 篇 面向对象
  • 36 篇 无线传感器网络
  • 27 篇 internet
  • 27 篇 机器学习
  • 25 篇 人工智能
  • 25 篇 软件测试
  • 23 篇 计算机网络
  • 22 篇 信息检索
  • 19 篇 服务质量
  • 19 篇 软件工程
  • 18 篇 计算机
  • 18 篇 入侵检测
  • 18 篇 神经网络
  • 17 篇 web
  • 16 篇 设计
  • 15 篇 形式化方法
  • 15 篇 支持向量机
  • 15 篇 访问控制
  • 14 篇 遗传算法
  • 14 篇 测试用例生成

机构

  • 1,355 篇 南京大学
  • 196 篇 计算机软件新技术...
  • 146 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 43 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 36 篇 苏州大学
  • 35 篇 扬州大学
  • 31 篇 南通大学
  • 25 篇 东南大学
  • 20 篇 中国矿业大学
  • 17 篇 南京邮电学院
  • 17 篇 东华大学
  • 13 篇 清华大学
  • 12 篇 南京大学软件新技...
  • 12 篇 南京师范大学
  • 9 篇 软件新技术国家重...
  • 9 篇 辽宁师范大学
  • 9 篇 吉林大学

作者

  • 130 篇 谢立
  • 75 篇 潘金贵
  • 74 篇 黄皓
  • 66 篇 曾庆凯
  • 65 篇 陈道蓄
  • 62 篇 李宣东
  • 56 篇 谢俊元
  • 55 篇 张福炎
  • 53 篇 柏文阳
  • 52 篇 郑国梁
  • 48 篇 陈世福
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 41 篇 孙正兴
  • 36 篇 茅兵
  • 36 篇 徐宝文
  • 36 篇 陈家骏
  • 33 篇 沈航
  • 32 篇 骆斌
  • 31 篇 武港山

语言

  • 1,517 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系"
1517 条 记 录,以下是1361-1370 订阅
排序:
对象类型与对象子类型研究
收藏 引用
计算机应用与软件 2001年 第11期18卷 18-20,63页
作者: 李必信 王云峰 李宣东 郑国梁 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
本文揭示了对象类型的子类型关,给出对象子类型的性质及规范,分析了对象子类型关存在的语法条件、语义条件、充要条件,阐述了对象子类型与程序精化的联,最后给出对象子类型的推理规则。
来源: 评论
虚拟展览的实现技术
收藏 引用
中国图象图形学报B 2001年 第8期6卷 66-70页
作者: 孙元浩 俞建新 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
虚拟展览是指用计算机辅助展览馆管理员来创建和布置展览,并模拟参观过程的软件.它使用户能象在现实中那样布置展厅并轻松完成任务.该文在工程实践中提出了虚拟展览软件实现的一些问题,并针对这些问题介绍了此类软件实现的主要技... 详细信息
来源: 评论
WWW文档协同写作统WWWDOC的设计
收藏 引用
计算机应用与软件 2001年 第9期18卷 1-4,46页
作者: 杨文清 黄宜华 张福炎 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
本文讨论了一个WWW文档协同写作统WWWDOC中的主要技术设计,包括统的体结构、WWW文档目录树的组织与文档的存储管理、协作方式、并发控制、超文本文档的连贯性问题以及图形化浏览导航等,最后介绍了WWWDOC的软件结构。
来源: 评论
电脑刺绣CAD统的设计与实现
收藏 引用
计算机应用与软件 2001年 第10期18卷 12-14,35页
作者: 孟波 谢琪 陈世福 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
本文主要介绍了多功能电脑刺绣CAD统的统结构,以及该统的主要功能和特点,并结合刺绣编程子统中的针法实现,阐述了线绣和符号绣实现技术,汉字的自动编针以及专家统指导的自动编针的方法。
来源: 评论
Julia集图形:实现与应用
收藏 引用
中国图象图形学报B 2001年 第5期6卷 48-51页
作者: 陈力军 潘金贵 王超 景广军 窦万峰 徐立中 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室 河海大学计算机学院
复平面C上的简单变换可以生成一些结构复杂的集合,Julia集和Mandelbrot集就是一个典型的例子,它们通过形如F(Z)=Z2+C的多项式,在复平面上的简单迭代而生成一些复杂结构的集合.出现在复平面上的Julia集和Mandelbrot集是数字世界中描画出...
来源: 评论
Java虚拟机新技术探讨
收藏 引用
计算机应用 2001年 第z1期21卷 74-76页
作者: 孙希 俞建新 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
Java语言的运行环境 (Java平台 )由Java虚拟机和应用编程接口 (API,也叫运行类库 )两部分组成 ,其中虚拟机是程序运行的引擎 ,主要完成字节码解释执行、线程同步、垃圾回收等功能 ,它所使用的技术决定了程序的运行速度。
来源: 评论
SoftBase查询优化器的设计与实现
收藏 引用
南京航空航天大学学报 2001年 第4期33卷 390-394页
作者: 周冬平 毛宇光 徐洁磐 王建东 南京航空航天大学信息科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
查询优化是数据库统中的一个必不可少的模块。本文在当前查询优化技术发展的基础上讨论了 Soft-Base数据库的查询优化器的设计和实现 ,给出了 Soft Base数据库查询优化处理的一般过程 ,并着重探讨了查询优化的两个主要模块 :查询重写... 详细信息
来源: 评论
基于JSP技术的Web应用程序的开发
收藏 引用
计算机应用研究 2001年 第5期18卷 99-101页
作者: 张波 张福炎 南京大学 计算机科学与技术系 江苏南京210093 南京大学 软件新技术国家重点实验室 江苏南京210093
对JSP技术进行了探讨,不仅对它的概念进行了较为详细的介绍,也阐述了它的架构及运行模型,研究了如何利用JSP技术开发Web应用程序,同时给出了设计开发基于JSP技术的PRISM报表管理统的实例。
来源: 评论
一种面向对象程序的分层切片方法
收藏 引用
软件学报 2001年 第12期12卷 1810-1817页
作者: 李必信 刘小东 郑滔 李宣东 郑国梁 南京大学计算机软件新技术国家重点实验室 江苏南京210093 中国科学技术大学计算机科学技术系 安徽合肥230056
程序切片是一种程序分析技术 ,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段 .在研究静态类型面向对象的程序切片时发现 ,利用统依赖图计算程序切片虽然是一种有效的方法 ,但构造 OO程序的统依赖图是一件非常复杂... 详细信息
来源: 评论
嵌入式统设计的一种协同仿真方法
收藏 引用
华东理工大学学报(自然科学版) 2001年 第5期27卷 475-479,502页
作者: 姜伟华 虞慧群 应华 吴元捷 华东理工大学计算机科学与工程系 上海200237 南京大学计算机软件新技术国家重点实验室 南京210093
提出了一种基于 C+ +平台的嵌入式统设计的协同仿真方法。嵌入式统的软件成分由 C+ +实现 ,硬件成分由 Verilog刻划。该方法的基本思路是将 Verilog模块转化为 C+ +程序 ,然后将软件成分与转化后的硬件成分连接 。
来源: 评论