咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是371-380 订阅
排序:
基于体结构能耗建模的CPS软件可信性评估方法
收藏 引用
电子学报 2013年 第11期41卷 2270-2275页
作者: 张广泉 张侃 祝义 周航 苏州大学计算机科学与技术学院 江苏苏州215006 南京大学计算机软件新技术国家重点实验室 江苏南京210093 中国科学院软件研究所计算机科学国家重点实验室 北京100190 江苏师范大学计算机科学与技术学院 江苏徐州221116 南京航空航天大学民航学院 江苏南京210016
信息物理融合统(Cyber Physical Systems,CPS)是一种计算统和物理环境紧密结合的网络化嵌入式统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件统的可信性.软件结构在设计阶段为构... 详细信息
来源: 评论
基于谓词检测方法的上下文感知案例研究
收藏 引用
计算机应用 2013年 第12期33卷 3363-3367页
作者: 方超 杨怡玲 黄宇 计算机软件新技术国家重点实验室(南京大学) 南京210046 南京大学计算机科学与技术系 南京210046
当前,开发灵活的适应环境变化的上下文感知应用较为复杂。在上下文感知应用开发过程中,很多未知情况无法事先被充分考虑到,实际的开发又需要处理很多意外情形,因此有效地表示和处理上下文尤为重要。谓词检测作为实现上下文感知的重要方... 详细信息
来源: 评论
无线传感器网络MAC层节能广播协议
收藏 引用
计算机科学 2013年 第1期40卷 29-32,62页
作者: 张韬 陈力军 陈道蓄 南京大学计算机软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
在无线传感器网络中,使节点休眠是一种有效的节能方式。很多较新的MAC协议都采用定期休眠的机制进行节能,如B-MAC、VPCC、X-MAC、A-MAC等。这些协议并未针对广播进行设计,使得发送广播需要消耗较多能量,而且易于发生隐藏节点引起的冲突... 详细信息
来源: 评论
最小扰动混合角色挖掘方法研究
收藏 引用
计算机研究与发展 2013年 第5期50卷 951-960页
作者: 翟志刚 王建东 曹子宁 毛宇光 南京航空航天大学计算机科学与技术学院 南京210016 江苏省省级机关事务管理局 南京210024 计算机软件新技术国家重点实验室(南京大学) 南京210093
绝大部分的角色挖掘方法都是从无到有地进行构建,所有角色都是新挖掘出来的,而没有考虑事先已经存在的角色集合.而且从已有角色集合的方法中提出的相似度定义均不满足交换律;提出一种混合角色挖掘方法,以top-down方法预先定义部分角色,... 详细信息
来源: 评论
一种自适应的循环不变式生成方法
收藏 引用
计算机工程 2013年 第6期39卷 76-81页
作者: 刘自恒 曾庆凯 南京大学计算机科学与技术系 210093 南京大学计算机软件新技术国家重点实验室 210093
基于条件赋值转换和自适应模板生成技术,提出一种自适应的的循环不变式生成方法。该方法在生成过程中综合考虑函数规范、循环本身、循环后操作等信息,有针对性地发现潜在的循环不变式,并在Frama-C平台上实现一个插件loopInv。实验结果表... 详细信息
来源: 评论
一种面向情境的情境感知应用编程框架
收藏 引用
计算机工程与应用 2013年 第16期49卷 47-52页
作者: 陈秀 余萍 徐锋 南京大学计算机科学与技术系 南京210046 南京大学计算机软件新技术国家重点实验室 南京210046
随着信息技术的快速发展,各种各样的环境信息影响着我们生活中的各种决策,因此提供一种智能化的应用程序,能够根据用户当前的情境信息为用户提供所需要的最适合的服务变得越来越重要。许多遗产软件并不支持情境感知功能,目前的一些主要... 详细信息
来源: 评论
浏览器权能监控技术研究
收藏 引用
武汉大学学报(理学版) 2013年 第2期59卷 187-192页
作者: 曹志炜 黄皓 南京大学计算机科学与技术系/软件新技术国家重点实验室 江苏南京210093
深入分析了Chrome,IE等浏览器在Windows下的进程、线程行为,提出了基于浏览器组件的权能监控方法.利用进程地址空间分析、线程栈分析、内核监控模块等技术手段,实现了更加细粒度的对浏览器权能监控,阻止了通过浏览器攻击主机的行为,提... 详细信息
来源: 评论
量子程序设计语言NDQJava2处理统--词法分析程序及语法分析程序
收藏 引用
计算机科学与探索 2013年 第6期7卷 562-569页
作者: 程振伟 徐家福 南京大学计算机软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
NDQJava2语言是在NDQJava语言的基础上,增添量子条件语句、量子循环语句、量子子程序、量子模块和量子异常处理机制等多种量子成分而成的一种混成式、结构化、命令式量子程序设计语言。在简述NDQJava2处理统之后,着重介绍了其词法分... 详细信息
来源: 评论
基于迁移统分析的线性混成统安全验证
收藏 引用
计算机工程与应用 2013年 第4期49卷 58-64,76页
作者: 蒋慧 卜磊 李宣东 南京大学计算机软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算计算线性混成自动机的可达状态空间集,复杂度高,可处理... 详细信息
来源: 评论
量子程序设计语言NDQJava2处理统——代码转换程序
收藏 引用
计算机科学与探索 2013年 第7期7卷 659-666页
作者: 蔡希辉 徐家福 南京大学计算机软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理统则是在经典计算机上对NDQJava2语言进行模拟实现的处理统。着重介绍了NDQJava2处理统的代码转换程序,... 详细信息
来源: 评论