咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
传感器网络中节点能量有效均衡的Top-k查询技术
收藏 引用
电子与信息学报 2014年 第6期36卷 1478-1484页
作者: 宋保利 郑吉平 王海翔 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
无线传感器网络中top-k查询处理的节点能量高效以及实现各节点的能量消耗均衡,可以有效延长网络的生命周期。该文提出一种基于采样技术和节点空间相关性,来实现节点的能量均衡和高效的查询处理算法,称为能量均衡采样(e,d)近似top-k算法E... 详细信息
来源: 评论
基于UKF区域交叉定位的WSNs Sink节点动态跟踪算法
收藏 引用
传感器与微 2015年 第4期34卷 123-126,129页
作者: 姚依翔 谢俊元 南京大学计算机科学与技术系 江苏南京210093 南京晓庄学院数学与信息技术学院 江苏南京211100 计算机软件新技术国家重点实验室 江苏南京210093
为了提高无线传感器网络(WSNs)使用寿命,对WSNs的目标跟踪方式进行研究,提出基于无迹Kalman滤波(UKF)的WSNs Sink节点动态跟踪算法,以实现高效节能的资源管理和利用方式。首先利用UKF算法对目标节点的下一位置进行预测,然后通过四圆区... 详细信息
来源: 评论
一种面向非干扰的线程程序逻辑
收藏 引用
软件学报 2014年 第6期25卷 1143-1153页
作者: 李沁 曾庆凯 袁志祥 安徽工业大学计算机学院 安徽马鞍山243032 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可... 详细信息
来源: 评论
基于量子精英蛙的最小属性自适应合作型协同约简算法
收藏 引用
计算机研究与发展 2014年 第4期51卷 743-753页
作者: 丁卫平 王建东 管致锦 南通大学计算机科学与技术学院 江苏南通226019 南京航空航天大学计算机科学与技术学院 南京210016 计算机软件新技术国家重点实验室(南京大学) 南京210093
属性约简是粗糙集理论研究的重要内容之一,现已证明求决策表的最小属性约简是一个典型NP-Hard问题.提出一种基于量子精英蛙的最小属性自适应合作型协同约简算法.该算法首先将进化蛙群编码为多状态量子染色体形式,利用量子精英蛙快速引... 详细信息
来源: 评论
多模型融合的多标签图像自动标注
收藏 引用
计算机辅助设计与图形学学报 2014年 第3期26卷 472-478页
作者: 张静 胡微微 陈志华 袁玉波 华东理工大学计算机科学与工程系 上海200237 南京大学计算机软件新技术国家重点实验室 南京210093
为了实现更为准确的复杂语义内容图像理解,提出一种融合多模型的多标签图像自动标注方法.该方法采用3个不同的模型分别对图像语义内容进行分析:在前景语义概念检测中,提出一种基于多特征的视觉显著性分析方法,并利用多Nystrm近似核对... 详细信息
来源: 评论
一个移动应用个性化集成框架的研究及其在Android平台的实现
收藏 引用
计算机科学 2014年 第11期41卷 63-68页
作者: 张栋栋 徐锋 南京大学计算机软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程... 详细信息
来源: 评论
Walsh函数在组合测试中的应用
收藏 引用
计算机学报 2014年 第12期37卷 2482-2491页
作者: 王蓁蓁 周毓明 康达周 王子元 李言辉 徐宝文 金陵科技学院软件工程学院 南京211169 南京大学软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
实际软件统非常复杂,有很多因素会影响统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Walsh的测试用例模式... 详细信息
来源: 评论
融合语义特征的移动对象轨迹预测方法
收藏 引用
计算机研究与发展 2014年 第1期51卷 76-87页
作者: 黄健斌 张盼盼 皇甫学军 孙鹤立 西安电子科技大学软件学院 西安710071 计算机软件新技术国家重点实验室(南京大学) 南京210023 西安交通大学计算机科学与技术系 西安710049
提出一种融合语义特征的移动对象轨迹预测方法.该方法首先将用户的地理位置轨迹转化成语义轨迹,挖掘出语义模式集,同时在语义轨迹中分析用户的移动行为和规律,将具有相似语义行为的用户进行聚类,并挖掘出每个聚类的地理模式集.然... 详细信息
来源: 评论
一种面向信息物理融合统安全攸关场景的测试用例自动生成方法
收藏 引用
计算机科学 2014年 第11期41卷 124-127,161页
作者: 姜鹏 陈鑫 李宣东 南京大学计算机软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
对信息物理融合统中的安全攸关场景进行有效的测试是提高统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画统行为,如何有效地生成测试用例以提高测试覆盖度、降低测试成本,是面向安全场景测试技术需要解决的核心... 详细信息
来源: 评论
一种基于AADL的IMA统配置信息的正确性检测方法
收藏 引用
南京航空航天大学学报 2014年 第6期46卷 920-930页
作者: 胡军 马金晶 袁翔 刘雪 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
综合模块化航空电子统(Integrated modular avionics,IMA)中的统配置信息的正确性是保证IMA统可靠运行的重要保障。配置信息的重配置给统的更新和移植提供了方便,同时也给重配置后的统带来了不安全因素。本文针对满足ARINC65... 详细信息
来源: 评论