咨询与建议

限定检索结果

文献类型

  • 1,350 篇 期刊文献
  • 210 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,445 篇 工学
    • 1,166 篇 计算机科学与技术...
    • 758 篇 软件工程
    • 163 篇 控制科学与工程
    • 162 篇 网络空间安全
    • 124 篇 机械工程
    • 71 篇 信息与通信工程
    • 69 篇 仪器科学与技术
    • 27 篇 电子科学与技术(可...
    • 9 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 材料科学与工程(可...
    • 4 篇 交通运输工程
    • 4 篇 公安技术
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
    • 3 篇 航空宇航科学与技...
  • 447 篇 管理学
    • 440 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 37 篇 理学
    • 20 篇 数学
    • 11 篇 系统科学
    • 4 篇 物理学
  • 31 篇 艺术学
    • 31 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 8 篇 教育学
    • 8 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 5 篇 哲学
    • 5 篇 哲学
  • 5 篇 医学
  • 3 篇 文学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

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

机构

  • 1,391 篇 南京大学
  • 197 篇 计算机软件新技术...
  • 152 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 44 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 39 篇 扬州大学
  • 36 篇 苏州大学
  • 31 篇 南通大学
  • 24 篇 东南大学
  • 21 篇 中国矿业大学
  • 17 篇 南京邮电学院
  • 17 篇 东华大学
  • 13 篇 清华大学
  • 13 篇 南京师范大学
  • 12 篇 南京大学软件新技...
  • 11 篇 浙江大学
  • 9 篇 软件新技术国家重...
  • 9 篇 计算机科学与技术...

作者

  • 132 篇 谢立
  • 76 篇 黄皓
  • 75 篇 潘金贵
  • 67 篇 曾庆凯
  • 65 篇 陈道蓄
  • 63 篇 huang hao
  • 62 篇 李宣东
  • 60 篇 张福炎
  • 58 篇 xie li
  • 56 篇 谢俊元
  • 54 篇 柏文阳
  • 52 篇 郑国梁
  • 49 篇 陈世福
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 42 篇 孙正兴
  • 38 篇 茅兵
  • 37 篇 zeng qing-kai
  • 36 篇 徐宝文
  • 36 篇 陈家骏

语言

  • 1,560 篇 中文
检索条件"机构=软件新技术国家重点实验室南京大学计算机科学与技术系"
1560 条 记 录,以下是111-120 订阅
排序:
OOZE求精技术自动化的探讨
收藏 引用
计算机研究与发展 1998年 第2期35卷 173-177页
作者: 袁晓东 陈家骏 郑国梁 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中立足于一种Z的面向对象扩充广谱语言OOZE,研究其从软件规格说明到可执行程序求精过程中的自动化技术重点讨论了数据求精技术,对Z中的几种复合数据类型及其嵌套结构、OOZE中的类结构提出了相应的自动求精规则。
来源: 评论
基于 Java 的分布并行计算环境 JavaPVM
收藏 引用
技术通讯 1998年 第4期8卷 12-15页
作者: 谢立 吴国庆 茅兵 陈道蓄 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
在吸取了PVM和Java语言的思想及技术的基础上,开发出了基于Java的并行虚拟机环境,它为异构环境下的分布并行程序设计提供了虚拟并行平台和基于该平台之上的简洁的通信手段。介绍了JavaPVM的设计和实现,可以看出它... 详细信息
来源: 评论
面向分布式处理的工作流统建模
收藏 引用
计算机集成制造统-CIMS 2002年 第7期8卷 533-537页
作者: 窦万春 席晓鹏 蔡世杰 南京大学计算机科学与技术系软件新技术国家重点实验室 江苏南京210093
在分析对分布式处理特点的基础上 ,从局部和整体的角度 ,探讨了面向分布式处理的工作流统建模。利用复合建模思想 ,结合新产品开发实例分析 ,构造了这种工作流统的统原型。通过对工作流统智能化环节的分析 。
来源: 评论
基于小波变换的图像编码中λ迭代比特分配算法的改进(英文)
收藏 引用
软件学报 2001年 第5期12卷 645-649页
作者: 陈毅松 萧嵘 孙正兴 张福炎 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室 江苏南京210093
基于小波图像编码的金字塔式小波分解后各子带数的统计特性 ,提出一种改进的 λ迭代比特分配算法 ,该算法使用 λ序列的概念简化了传统 λ迭代法的最优值求解过程 .实验证明该改进算法在限定压缩比的小波图像编码中能够大大加快比特... 详细信息
来源: 评论
骨架引导的网格模型圆柱面参数化
收藏 引用
计算机辅助设计与图形学学报 2011年 第1期23卷 161-169页
作者: 郭潇晟 郭延文 郭凯 王文平 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093 香港大学计算机科学系
针对传统平面参数化不能直接对零亏格封闭模型参数化,而球面参数化较为适用于形态接近于球体模型的问题,定义了一种超圆柱面的参数域表示,并提出一种渐进的超柱面参数化算法,对于形态接近于圆柱或具有单支简单骨架的网格模型能够提供较... 详细信息
来源: 评论
面向维护的实时软件时间变化敏感点检测
收藏 引用
计算机学报 2013年 第12期36卷 2455-2467页
作者: 汤恩义 李宣东 南京大学软件新技术国家重点实验室 南京210093 南京大学软件学院 南京210093 南京大学计算机科学与技术系 南京210093
正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化也同样会引入这种错误.当软件维护人员对统不够熟悉时,维护... 详细信息
来源: 评论
多层油藏模拟并行计算与负载平衡
收藏 引用
计算机研究与发展 2004年 第2期41卷 306-310页
作者: 刘青昆 舒继武 归丽忠 张德富 南京大学计算机软件新技术国家重点实验室 南京210093 清华大学计算机科学与技术系 北京100083 南京大学计算机科学与技术系 南京210093
在油藏数值模拟并行计算中 ,提高计算速度和资源利用率是一个重要的研究方向 给出分布式并行环境下一种多层油藏模拟并行计算的整体优化方法 ,其特点是使用高效的区域分解方法并行求解 ,动态选择两种不同的计算粒度 ,有效地克服了负载... 详细信息
来源: 评论
基于简化控制流监控的程序入侵检测
收藏 引用
电子学报 2007年 第2期35卷 358-361页
作者: 夏耐 郭明松 茅兵 谢立 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系江苏南京210093
针对程序漏洞的攻击是目前一个非常严重的安全问题.该文提出了一个程序运行时候控制流监控的简化方法.与基于统调用的入侵检测方法相比,该方法有更细的监控粒度;而与完全函数调用关监控的方法相比,该方法同样有效但实施更为简单.测... 详细信息
来源: 评论
多线程技术的研究与应用
收藏 引用
计算机研究与发展 2000年 第4期37卷 407-412页
作者: 骆斌 费翔林 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
现代主流操作统已经广泛采用了多线程技术 .首先论述了多线程的基本概念 ,然后着重分析了 3种主要的多线程实现方案 :内核级线程、用户级线程和混合策略 ,然后介绍了多线程技术的应用 .还结合面向对象数据库管理统 NODBMS的实现 ,... 详细信息
来源: 评论
Agent的行为自信度及其修改规则
收藏 引用
计算机学报 1998年 第1期21卷 40-46页
作者: 樊晓聪 徐殿祥 郑国梁 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
在多Agent统中,个体Agent除了具有自治性、应激性、主动性外,还应当具有社会性以完成只有协作才能解决的问题.这种社会性要求Agent能及时响应其它Agent的服务请求,对自己的行为作出承诺.但是,有能力和意图并不一定有信心.本文... 详细信息
来源: 评论