咨询与建议

限定检索结果

文献类型

  • 1,394 篇 期刊文献
  • 219 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,491 篇 工学
    • 1,205 篇 计算机科学与技术...
    • 776 篇 软件工程
    • 169 篇 网络空间安全
    • 166 篇 控制科学与工程
    • 128 篇 机械工程
    • 75 篇 仪器科学与技术
    • 69 篇 信息与通信工程
    • 30 篇 电子科学与技术(可...
    • 11 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 5 篇 交通运输工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 公安技术
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
  • 468 篇 管理学
    • 462 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 38 篇 理学
    • 17 篇 数学
    • 14 篇 系统科学
    • 4 篇 物理学
  • 34 篇 艺术学
    • 34 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 8 篇 教育学
    • 8 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 哲学
    • 4 篇 哲学
  • 4 篇 文学
    • 2 篇 外国语言文学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

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

机构

  • 1,354 篇 南京大学
  • 203 篇 计算机软件新技术...
  • 154 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 44 篇 南京邮电大学
  • 41 篇 清华大学
  • 40 篇 南京大学计算机软...
  • 38 篇 武汉大学
  • 36 篇 苏州大学
  • 35 篇 扬州大学
  • 31 篇 南通大学
  • 25 篇 东南大学
  • 21 篇 中国矿业大学
  • 20 篇 中国科学技术大学
  • 18 篇 南京邮电学院
  • 17 篇 东华大学
  • 13 篇 网络与交换技术国...
  • 12 篇 南京大学软件新技...
  • 12 篇 南京师范大学

作者

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

语言

  • 1,613 篇 中文
检索条件"机构=计算机软件新技术国家重点实验室计算机科学与技术系"
1613 条 记 录,以下是521-530 订阅
排序:
一种层次式时间自动机模型检测方法
收藏 引用
计算机应用与软件 2012年 第11期29卷 48-51页
作者: 周宇 胡军 葛季栋 南京航空航天大学计算机科学与技术学院 江苏南京210000 南京大学软件新技术国家重点实验室 江苏南京210000
层次式时间自动机在软件统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度,难以对之进行直接的形式化验证工作。提出一种平展算法,将层次式时间自动机转化为一组并行的顺序时间自动机,应用广播通道同步该自动机集合执行。... 详细信息
来源: 评论
无线传感器网络中基于树的动态多路径容错路由协议
收藏 引用
苏州大学学报(工科版) 2012年 第3期32卷 1-7页
作者: 胡欣 孙涌 张书奎 余建飞 苏州大学计算机科学与技术学院 江苏苏州215006 南京大学计算机软件新技术国家重点实验室 江苏南京210093
多路径路由对无线传感器网络的负载均衡和容错能力等方面都有一定改善作用。在研究一些多路径路由算法的基础上,对分层的无线传感器网络路由进行探索,提出了一种基于树的动态多路径路由的生成方法,快速获得当前节点的主路径与备用路径... 详细信息
来源: 评论
核诱导距离度量的鲁棒判别分析
收藏 引用
计算机科学与探索 2012年 第9期6卷 788-796页
作者: 王嗣钧 陈松灿 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
提出了基于核诱导距离度量的鲁棒判别分析算法(robust discriminant analysis based on kernel-induced distance measure,KI-RDA)。KI-RDA不仅自然地推广了线性判别分析(linear discriminant analysis,LDA),而且推广了最近提出的强有... 详细信息
来源: 评论
VTOS:一个支持多核的微内核操作统设计与实现
收藏 引用
软件导刊 2012年 第10期11卷 125-129页
作者: 景香博 陈江 钱振江 南京大学计算机科学与技术系软件新技术国家重点实验室 江苏南京210093
现在处理器的发展已经进入了一个新的时代,继承了几十乃至上百个核心的处理器已经出现。这在大大提升了硬件处理能力的同时,也给软件设计,尤其是操作统设计带来了很大困难。为了提高统的可扩展性,操作统开发人员需要花费大量的精... 详细信息
来源: 评论
一种Web服务综合描述模型
收藏 引用
电子与信息学报 2012年 第3期34卷 549-556页
作者: 马于涛 张海粟 刘玉超 陈桂生 中国电子设备系统工程公司研究所 北京100141 武汉大学软件工程国家重点实验室 武汉430072 中国人民解放军理工大学指挥自动化学院 南京210007 清华大学计算机科学与技术系 北京100084
Web 2.0时代,人网交互的便捷赋予了Web服务更多的社会化特性(如评分、评论等),却往往被服务的提供者忽视,导致难以有效实现基于用户体验的服务推荐。针对不同的用户视角,该文提出了一种Web服务综合描述模型,以多视图的方式集成Web服务... 详细信息
来源: 评论
自适应软件统构造——自动避障三轮小车的案例研究
收藏 引用
计算机科学与探索 2012年 第5期6卷 409-418页
作者: 葛海龙 马晓星 许畅 南京大学软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
自适应软件需要能够根据环境的变化在运行时动态调整自己的行为以实现既定任务.为了解决这一类软件在开发过程中的一些挑战问题,如自适应逻辑修改困难、代码紧耦合等,设计并实现了一种基于规则的自适应软件统应用框架(rule-based appl... 详细信息
来源: 评论
一种基于后继任务的过程挖掘算法
收藏 引用
计算机应用与软件 2012年 第10期29卷 17-21页
作者: 王栋毅 葛季栋 过晓波 胡昊 骆斌 朱明 计算机软件新技术国家重点实验室南京大学 江苏南京210093 南京大学软件学院 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093 国电南京自动化股份有限公司 江苏南京210003
过程挖掘的目标是从信息统所记录的事件日志中重现过程模型。尽管信息统会生成多种事件日志,但只有很少一部分的事件日志被应用于分析流程。提出一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘... 详细信息
来源: 评论
一种中断驱动统的时间约束验证方法
一种中断驱动系统的时间约束验证方法
收藏 引用
第十一届全国软件与应用学术会议(NASAC2012)
作者: 孙琳 陈鑫 李宣东 南京大学计算机软件新技术国家重点实验室 南京 210046 南京大学计算机科学与技术系 南京 210046
中断是嵌入式统进行实时响应的重要机制。目前还不存在一种有效地中断驱动统设计方法来保证统的时间约束总能够得到满足。因此,在设计完成后需要对统能否满足时间约束进行验证。传统的以测试为基础的方法,在处理中断驱动的... 详细信息
来源: 评论
CLAR:面向动态任务合作求解的联盟模型
CLAR:面向动态任务合作求解的联盟模型
收藏 引用
第十二届中国Rough集与软计算学术会议、第六届中国Web智能学术研讨会及第六届中国粒计算学术研讨会联合学术会议
作者: 詹千熠 孙强 詹宇森 王崇骏 谢俊元 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
多Agent统中,Agent间通过形成联盟达到提高任务求解能力、获取更多收益的目的.主要关注联盟模型的改进和联盟形成阶段的改进.基于ARG元模型提出了一种采用角色和学习机制的新联盟模型:CLAR联盟模型.接着在采用合同网协议的CLAR联盟模... 详细信息
来源: 评论
一种面向构件的动态依赖技术
一种面向构件的动态依赖技术
收藏 引用
第十一届全国软件与应用学术会议(NASAC2012)
作者: 苏萍 马晓星 南京大学计算机科学与技术系 南京 210093 南京大学计算机软件新技术国家重点实验室 南京 210093
动态更新作为当今一项热门技术,其关键问题在于如何保障运行统更新前后的一致性,同时加快动态更新。已有的一致性保障工作,如Tranquillity 、Version-consistency,都需要依靠统运行时刻的动态依赖关才能完成,而且精确的动态依赖... 详细信息
来源: 评论