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

限定检索结果

文献类型

  • 1,716 篇 期刊文献
  • 262 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,822 篇 工学
    • 1,422 篇 计算机科学与技术...
    • 936 篇 软件工程
    • 220 篇 控制科学与工程
    • 177 篇 网络空间安全
    • 174 篇 机械工程
    • 114 篇 信息与通信工程
    • 98 篇 仪器科学与技术
    • 32 篇 电子科学与技术（可...
    • 9 篇 建筑学
    • 8 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 光学工程
    • 5 篇 交通运输工程
    • 4 篇 电气工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 公安技术
    • 3 篇 材料科学与工程（可...
  • 557 篇 管理学
    • 549 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 78 篇 理学
    • 39 篇 数学
    • 26 篇 系统科学
    • 7 篇 物理学
    • 3 篇 生物学
  • 40 篇 艺术学
    • 40 篇 设计学（可授艺术学...
  • 12 篇 教育学
    • 12 篇 教育学
  • 8 篇 哲学
    • 8 篇 哲学
  • 8 篇 经济学
    • 6 篇 应用经济学
  • 6 篇 军事学
    • 6 篇 军队指挥学
  • 5 篇 医学
  • 4 篇 文学
  • 3 篇 农学
  • 2 篇 历史学

主题

  • 52 篇 面向对象
  • 44 篇 无线传感器网络
  • 33 篇 人工智能
  • 32 篇 internet
  • 32 篇 机器学习
  • 28 篇 软件测试
  • 25 篇 信息检索
  • 25 篇 计算机网络
  • 25 篇 神经网络
  • 22 篇 计算机
  • 22 篇 深度学习
  • 21 篇 入侵检测
  • 21 篇 软件工程
  • 20 篇 支持向量机
  • 20 篇 服务质量
  • 18 篇 遗传算法
  • 18 篇 数据挖掘
  • 18 篇 云计算
  • 18 篇 访问控制
  • 17 篇 形式化方法

机构

  • 1,727 篇 南京大学
  • 266 篇 计算机软件新技术...
  • 211 篇 南京航空航天大学
  • 68 篇 南京理工大学
  • 66 篇 宁波大学
  • 57 篇 南京邮电大学
  • 53 篇 南京工业大学
  • 51 篇 东南大学
  • 50 篇 南通大学
  • 50 篇 扬州大学
  • 41 篇 苏州大学
  • 40 篇 南京大学计算机软...
  • 26 篇 南京师范大学
  • 21 篇 中国矿业大学
  • 20 篇 西南交通大学
  • 19 篇 南京邮电学院
  • 18 篇 安徽大学
  • 17 篇 东华大学
  • 15 篇 江苏大学
  • 15 篇 电子科技大学

作者

  • 146 篇 谢立
  • 86 篇 潘金贵
  • 79 篇 黄皓
  • 68 篇 陈道蓄
  • 68 篇 李宣东
  • 67 篇 曾庆凯
  • 65 篇 张福炎
  • 61 篇 郁梅
  • 57 篇 郑国梁
  • 57 篇 谢俊元
  • 56 篇 柏文阳
  • 56 篇 陈世福
  • 48 篇 蒋刚毅
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 43 篇 孙正兴
  • 42 篇 陈家骏
  • 41 篇 徐宝文
  • 38 篇 茅兵
  • 38 篇 毛宇光

语言

  • 1,978 篇 中文
检索条件"机构=南京大学计算机科学系软件新技术国家重点实验室"
共 1978 条 记 录，以下是1891-1900 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
多种网络应用程序接口的实现
收藏
分享
引用
计算机工程与应用 1999年 第12期35卷 94-97,100页
作者： 王运翔 金志权 谢立 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
ＢＳＤＵｎｉｘ的ＳＯＣＫＥＴ和ＡＴ＆ＴＳｙｓｔｅｍＶ的ＴＬＩ（ＴｒａｎｓｐｏｒｔＬａｙｅｒＩｎｔｅｒｆａｃｅ）是Ｕｎｉｘ系统中主流的网络应用程序接。ＡＰＩ。ＳＯＣＫＥＴ与系统Ｉ／Ｏ相关连，而ＴＬＩ通过流机制实现，都分... 详细信息
来源： 评论
形式描述语言COOZ的集成支撑环境COOZ-Tools
收藏
分享
引用
计算机工程与设计 1999年 第1期20卷 38-43页
作者： 袁晓东 胡德强 许皓 李勇 郑国梁 南京大学计算机软件新技术国家重点实验室 计算机科学与技术系
介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充，从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌ... 详细信息
来源： 评论
形态模板分解的逼近算法与应用
收藏
分享
引用
软件学报 1999年 第9期10卷 925-930页
作者： 邹荣金 蔡士杰 张福炎 南京大学计算机软件新技术国家重点实验室 南京210093 江苏理工大学计算机科学系 镇江212000
文章描述了一种获取形态模板分解的逼近算法，实现了二维形态模板的双向正交分解，使算法具有较快的处理速度．形态模板分解对于提高形态图像处理计算的效率是一种非常有用的技术．文章还针对图像中的直线交点。
来源： 评论
基于C++的一种主动对象事件服务机制的实现
收藏
分享
引用
南京大学学报（自然科学版） 1999年 第1期35卷 42-50页
作者： 王晨 周颖 王三军 张德富 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
用面向对象方法构造具有互操作能力的分布并行软件系统是当今一种日渐强烈的需要，但现有的程序设计环境对这方面的支持尚不能让人满意．我们提出并基于Ｃ＋＋实现了一种主动对象的事件服务机制。
来源： 评论
基于Connectionist机制的合一算法实现及其模拟系统
收藏
分享
引用
计算机应用研究 1999年 第11期16卷 17-21页
作者： 孙维祥 俞立军 许满武 南京大学计算机科学与技术系计算机软件新技术国家重点实验室 210093 南京大学计算机科学与技术计算机软件新技术国家重点实验室 210093
本文我们首先介绍了基于ｃｏｎｎｅｃｔｉｏｎｉst机制的合一算法并在此基础上建立了其模拟系统。
来源： 评论
铁路系统的模型检查和参数分析
收藏
分享
引用
华东理工大学学报（自然科学版） 1999年 第2期25卷 182-187页
作者： 鲍峥嵘 虞慧群 邵志清 宋国新 华东理工大学计算机科学与工程系 南京大学计算机软件新技术国家重点实验室
研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。
来源： 评论
计算机动画中头发表示的研究
收藏
分享
引用
计算机工程与应用 1999年 第12期35卷 50-52,78页
作者： 谈晓洁 张建明 宋顺林 江苏理工大学计算机科学系 镇江212013 南京大学计算机软件新技术国家重点实验室 南京210093
文章介绍了头发悬臂梁弯曲模型，提出用面集合仿真真实的头发，生成具有光照效果的图象。同时，提出了以椭球为头壳生成头发模型后，将其移植到实际存在的头部模型上的方法，以及头发与头部的碰撞检测手段，从而获得长有头发的完整的头... 详细信息
来源： 评论
一种C/S环境下异型数据库进行数据交换的解决方案及实现
收藏
分享
引用
计算机工程与科学 1999年 第2期21卷 20-24页
作者： 周驰 樊莉萍 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
异型数据库之间的数据交换已经成为信息系统建设中的一个重要课题，它的实现有利于数据库的升级和节约开发投资。本文结合能源分析评价预测系统（ＥＡＥＡＳ）的开发，介绍了异型数据库之间进行数据交换过程中的问题，并给出具体解决方... 详细信息
来源： 评论
用结构性质分开复杂类
收藏
分享
引用
计算机研究与发展 1999年 第8期36卷 932-935页
作者： 吕义忠 南京航空航天大学计算机科学与工程系 南京大学计算机软件新技术国家重点实验室
ＮＰ（或Ｃｏ－ＮＰ）是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题．８０年代初证明了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝Σ２．最近，又有了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的证明．文中将借助于广义一阶逻辑Ｌ（τ）及其上... 详细信息
来源： 评论
HOOD方法与形式化技术的集成研究
收藏
分享
引用
计算机工程与科学 1999年 第2期21卷 56-60页
作者： 郑明春 张家重 王岩冰 高波 山东师范大学计算机科学系 南京大学计算机软件新技术国家重点实验室
ＨＯＯＤ是由欧洲ＥＳＡ公司开发的一种面向对象软件结构设计方法，它使用图形、结构化英语和Ａｄａ伪码来描述系统的设计规约。本文首先概述了ＨＯＯＤ方法的基本概念和对它进行的改进，然后提出了一种集成ＨＯＯＤ和形式化技术的方法... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共198页 <<  < 186 187 188 189 190 191 192 193 194 195 >  >>
回到顶部
执行限定条件