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

限定检索结果

文献类型

  • 1,490 篇 期刊文献
  • 221 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,584 篇 工学
    • 1,274 篇 计算机科学与技术...
    • 829 篇 软件工程
    • 188 篇 控制科学与工程
    • 169 篇 网络空间安全
    • 147 篇 机械工程
    • 79 篇 仪器科学与技术
    • 70 篇 信息与通信工程
    • 28 篇 电子科学与技术（可...
    • 8 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 4 篇 化学工程与技术
    • 4 篇 交通运输工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 公安技术
    • 3 篇 电气工程
  • 503 篇 管理学
    • 496 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 49 篇 理学
    • 25 篇 数学
    • 17 篇 系统科学
    • 4 篇 物理学
    • 2 篇 化学
  • 33 篇 艺术学
    • 33 篇 设计学（可授艺术学...
    • 3 篇 美术学
  • 8 篇 教育学
    • 8 篇 教育学
  • 7 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 哲学
    • 4 篇 哲学
  • 3 篇 文学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

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

机构

  • 1,509 篇 南京大学
  • 229 篇 计算机软件新技术...
  • 192 篇 南京航空航天大学
  • 65 篇 南京理工大学
  • 50 篇 南京工业大学
  • 49 篇 南京邮电大学
  • 42 篇 东南大学
  • 40 篇 南京大学计算机软...
  • 38 篇 扬州大学
  • 37 篇 苏州大学
  • 31 篇 南通大学
  • 24 篇 南京师范大学
  • 21 篇 中国矿业大学
  • 20 篇 西南交通大学
  • 17 篇 南京邮电学院
  • 17 篇 东华大学
  • 15 篇 江苏大学
  • 14 篇 电子科技大学
  • 13 篇 清华大学
  • 12 篇 南京大学软件新技...

作者

  • 135 篇 谢立
  • 86 篇 潘金贵
  • 75 篇 黄皓
  • 67 篇 陈道蓄
  • 67 篇 李宣东
  • 66 篇 曾庆凯
  • 57 篇 张福炎
  • 57 篇 谢俊元
  • 55 篇 郑国梁
  • 53 篇 柏文阳
  • 51 篇 陈世福
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 43 篇 陈家骏
  • 42 篇 孙正兴
  • 38 篇 徐宝文
  • 36 篇 茅兵
  • 33 篇 沈航
  • 33 篇 陆桑璐
  • 32 篇 徐洁磐

语言

  • 1,711 篇 中文
检索条件"机构=南京大学计算机科学与技术计算机软件新技术国家重点实验室"
共 1711 条 记 录，以下是1641-1650 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于异构并行环境的大型稀疏线性方程组求解的任务映射算法
收藏
分享
引用
电子学报 1999年 第8期27卷 102-104页
作者： 舒继武 赵金熙 张德富 周维四 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系 胜利油田地质科学研究院
本文基于异构并行环境，针对大型稀疏形线性方程组的并行求解，给出了求解方程组的静态任务映射，提出了合理的任务映射费用函数，并运用模拟退火算法寻找最佳任务映射，从而将一类不均匀任务合理地映射到异构并行环境中高效地并行求解。
来源： 评论
铁路系统的模型检查和参数分析
收藏
分享
引用
华东理工大学学报（自然科学版） 1999年 第2期25卷 182-187页
作者： 鲍峥嵘 虞慧群 邵志清 宋国新 华东理工大学计算机科学与工程系 南京大学计算机软件新技术国家重点实验室
研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。
来源： 评论
形态模板分解的逼近算法与应用
收藏
分享
引用
软件学报 1999年 第9期10卷 925-930页
作者： 邹荣金 蔡士杰 张福炎 南京大学计算机软件新技术国家重点实验室 南京210093 江苏理工大学计算机科学系 镇江212000
文章描述了一种获取形态模板分解的逼近算法，实现了二维形态模板的双向正交分解，使算法具有较快的处理速度．形态模板分解对于提高形态图像处理计算的效率是一种非常有用的技术．文章还针对图像中的直线交点。
来源： 评论
用结构性质分开复杂类
收藏
分享
引用
计算机研究与发展 1999年 第8期36卷 932-935页
作者： 吕义忠 南京航空航天大学计算机科学与工程系 南京大学计算机软件新技术国家重点实验室
ＮＰ（或Ｃｏ－ＮＰ）是否包含在Ｐ／ｐｏｌｙ中的问题迄今仍为开问题．８０年代初证明了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝Σ２．最近，又有了如果ＮＰＰ／ｐｏｌｙ，则ＰＨ＝ＺＰＰ的证明．文中将借助于广义一阶逻辑Ｌ（τ）及其上... 详细信息
来源： 评论
计算机动画中头发表示的研究
收藏
分享
引用
计算机工程与应用 1999年 第12期35卷 50-52,78页
作者： 谈晓洁 张建明 宋顺林 江苏理工大学计算机科学系 镇江212013 南京大学计算机软件新技术国家重点实验室 南京210093
文章介绍了头发悬臂梁弯曲模型，提出用面集合仿真真实的头发，生成具有光照效果的图象。同时，提出了以椭球为头壳生成头发模型后，将其移植到实际存在的头部模型上的方法，以及头发与头部的碰撞检测手段，从而获得长有头发的完整的头... 详细信息
来源： 评论
HOOD方法与形式化技术的集成研究
收藏
分享
引用
计算机工程与科学 1999年 第2期21卷 56-60页
作者： 郑明春 张家重 王岩冰 高波 山东师范大学计算机科学系 南京大学计算机软件新技术国家重点实验室
ＨＯＯＤ是由欧洲ＥＳＡ公司开发的一种面向对象软件结构设计方法，它使用图形、结构化英语和Ａｄａ伪码来描述系统的设计规约。本文首先概述了ＨＯＯＤ方法的基本概念和对它进行的改进，然后提出了一种集成ＨＯＯＤ和形式化技术的方法... 详细信息
来源： 评论
区域分解法解黑油数值模拟问题的并行计算
收藏
分享
引用
南京大学学报（自然科学版） 1999年 第1期35卷 51-57页
作者： 舒继武 归丽忠 周维四 张德富 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系 胜利油田地质科学研究院
区域分解方法是适应并行计算机的工作原理应运而生的偏微分方程数值算法，将它应用于解决三维实际问题且行之有效的并行软件并不多见．本文基于共享内存多处理机并行系统解决一类三维黑油油藏数值模拟问题，分别给出了子结构类型ＤＤＭ... 详细信息
来源： 评论
中介逻辑演算系统MP^N及MF^N
收藏
分享
引用
模糊系统与数学 1999年 第2期13卷 45-51页
作者： 毛宇光 朱剑英 顾红芳 南京航空航天大学计算机科学与工程系 南京通信工程学院数学教研室 南京大学计算机软件新技术国家重点实验室
为满足不完全信息系统应用的需要，本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ，并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。
来源： 评论
协同调度算法Dasic的性能评价
收藏
分享
引用
软件学报 1998年 第10期9卷 734-739页
作者： 周笑波 陆桑璐 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
对一个动态自适应的ＮＯＷ（ｎｅｔｗｏｒｋｏｆｗｏｒｋｓｔａｔｉｏｎｓ）协同调度算法Ｄａｓｉｃ算法进行了性能评估．通过对Ｄａｓｉｃ算法和典型的ＮＯＷ协同调度算法ＭＡＸ算法、Ｇｒａｂ算法的性能模拟，在响应时间和系统流量两... 详细信息
来源： 评论
基于ATM的群通信问题的研究
收藏
分享
引用
软件学报 1998年 第8期9卷 561-565页
作者： 吴礼发 周笑波 谢立 孙钟秀 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
群通信在并行计算中起着重要的作用．ＡＴＭ（ａｓｙｎｃｈｒｏｎｏｕｓｔｒａｎｓｆｅｒｍｏｄｅ）网络有许多特点使之适合群通信．如何有效地利用ＡＴＭ的这些特点来实现群通信操作是一个重要的研究课题．该文提出了一种基于ＡＴＭ的... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共172页 <<  < 161 162 163 164 165 166 167 168 169 170 >  >>
回到顶部
执行限定条件