咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,407 篇 工学
    • 1,141 篇 计算机科学与技术...
    • 744 篇 软件工程
    • 160 篇 控制科学与工程
    • 159 篇 网络空间安全
    • 117 篇 机械工程
    • 66 篇 信息与通信工程
    • 65 篇 仪器科学与技术
    • 26 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 公安技术
    • 4 篇 交通运输工程
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
    • 3 篇 航空宇航科学与技...
  • 437 篇 管理学
    • 431 篇 管理科学与工程(可...
    • 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 篇 南京大学
  • 197 篇 计算机软件新技术...
  • 146 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 44 篇 南京邮电大学
  • 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,518 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室计算机科学与技术系"
1518 条 记 录,以下是1401-1410 订阅
排序:
扩充KQML以实现合同网
收藏 引用
计算机工程与应用 2000年 第4期36卷 110-113页
作者: 陈武华 王立春 李红兵 陈世福 南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室 南京210093
KQML目前已成了 agent通讯语言的事实标准,并得到广泛应用。该文在对 KQML的语义分析的基础上指出它不利于AGENT间任务级的高级复杂交互,不能实现合同网,为此扩充了 KQML。文章给出了 8条扩充原语的定义、语... 详细信息
来源: 评论
扩充析取逻辑程序的争论语义(英文)
收藏 引用
软件学报 2000年 第3期11卷 293-299页
作者: 王克文 周立柱 陈火旺 清华大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室 南京210093 国防科学技术大学计算机学院
该文探讨争论推理在扩充逻辑程序中的实现及其关问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大... 详细信息
来源: 评论
支持向量机理论综述
收藏 引用
计算机科学 2000年 第3期27卷 1-3页
作者: 萧嵘 王继成 张福炎 南京大学软件新技术国家重点实验室计算机科学与技术系 南京210093
1 引言随着信息技术的发展,人类积累的数据量呈几何级数递增。如何从这些数据中发掘出有效的信息而不被信息海洋所淹没已经成为迫在眉睫的问题。对数据挖掘相关领域的研究,例如数据分类、聚类,函数模拟和规则抽取等技术,逐渐成为当前计... 详细信息
来源: 评论
并发面向对象模型中继承异常的一种解决方案
收藏 引用
计算机科学 2000年 第3期27卷 51-54页
作者: 徐梦峤 陈家骏 郑国梁 南京大学软件新技术国家重点实验室计算机科学与技术系 南京210093
1 引言继承机制是面向对象软件开发中的重要设施,是实现软件复用和扩充的一种有效的语言机制,它是顺序面向对象语言的一个基本特点。但是,在将面向对象技术与并发相结合的过程中,对并发控制机制处理不当,将会引起继承机制与并发控制间... 详细信息
来源: 评论
CIMS环境下基于面向对象技术的信息集成研究
收藏 引用
计算机科学 2000年 第2期27卷 52-56,72页
作者: 李必信 高同启 王武荣 郑国梁 南京大学计算机软件新技术国家重点实验室计算机科学与技术系 南京210093 合肥经济技术学院 合肥230051
1 概述信息技术既给企业带来了严酷的市场竞争和挑战,也为企业带来了新的机遇。信息技术和现代化管理技术的结合可以为企业提供如下的生产模式、管理技术和设计、制造技术:①物料资源规划(MRP)、制造资源规划(MRP-Ⅱ)和企业资源规划(ERP... 详细信息
来源: 评论
面向置标文档的文档转换技术研究
收藏 引用
中文信息学报 2000年 第4期14卷 53-58,64页
作者: 李景春 武港山 王强 张福炎 南京大学软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
文档统间的转换是文档内容共享和协作的必然途径 ,转换根据不同应用目的包括失真 ,不失真和增值三种方式。置标文档是用标签 (Tag)进行文档结构描述的文档。本文介绍了一种面向置标文档的文档转换增值技术 ,给出了一种文档转换描述语... 详细信息
来源: 评论
组播技术在实时视频传输统中的应用及其实现
收藏 引用
计算机科学 2000年 第11期27卷 20-24页
作者: 单喆 魏明亮 陈道蓄 谢立 南京大学软件新技术国家重点实验室南京大学计算机科学与技术系 南京210093
1.引言实时的视频数据传输具有数据量大、网络带宽要求高、延时敏感的特点。现有的网络一般不能够提供对渚如最小带宽、最大延时和丢包率等实时视频传输的至关重要的参数支持;不提供带宽预留这一实现稳定、优质视频服务的重要机制。所... 详细信息
来源: 评论
帧中继网络环境下的安全性服务的设计和实现
收藏 引用
计算机应用研究 2000年 第9期17卷 48-49,90页
作者: 陈昕鑫 干国华 杨培根 南京大学计算机科学与技术系计算机软件新技术国家重点实验室 南京210093
就目前存在于网络通信中的安全威胁,讨论了如何在面向连接的帧中继网络环境中实现可靠的双方通信,并给出了一个建立安全SVC的实现细节。
来源: 评论
一种精化演算支撑工具的分析与设计
收藏 引用
南京大学学报(自然科学版) 2000年 第5期36卷 560-567页
作者: 王云峰 李必信 庞军 查鸣 郑国梁 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系 江苏南京210093
利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行... 详细信息
来源: 评论
一种在静态类型面向对象语言中构造VFCG的方法
收藏 引用
南京大学学报(自然科学版) 2000年 第2期36卷 163-170页
作者: 李必信 王云峰 李宣东 郑国梁 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系江苏南京210093
阐述了在静态类型面向对象语言中构造虚函数调用图 (VFCG)的方法 :先构造可见方法类层次图 (VM CHG) ,再计算继承集、改写集 ,确定改写边界 ,最后利用VM CHG和改写边界构造VFCG .
来源: 评论