咨询与建议

限定检索结果

文献类型

  • 104 篇 期刊文献
  • 12 篇 会议

馆藏范围

  • 116 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 106 篇 工学
    • 88 篇 计算机科学与技术...
    • 70 篇 软件工程
    • 8 篇 网络空间安全
    • 6 篇 仪器科学与技术
    • 5 篇 控制科学与工程
    • 3 篇 机械工程
    • 2 篇 信息与通信工程
    • 2 篇 建筑学
    • 2 篇 土木工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 测绘科学与技术
  • 16 篇 管理学
    • 15 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 9 篇 医学
    • 7 篇 中医学
    • 1 篇 临床医学
    • 1 篇 中西医结合
    • 1 篇 中药学(可授医学、...
  • 3 篇 理学
    • 2 篇 系统科学
    • 1 篇 地球物理学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 5 篇 数据挖掘
  • 5 篇 移动agent
  • 5 篇 internet
  • 4 篇 动态演化
  • 4 篇 开放环境
  • 4 篇 信任管理
  • 4 篇 软件工程
  • 3 篇 程序设计
  • 3 篇 形式化方法
  • 3 篇 关联规则
  • 3 篇 面向对象
  • 3 篇 过程支持系统
  • 3 篇 网络安全
  • 3 篇 模型检验
  • 3 篇 软件开发
  • 3 篇 软件体系结构
  • 2 篇 属性图文法
  • 2 篇 网络教学
  • 2 篇 软件系统
  • 2 篇 协同推荐

机构

  • 93 篇 南京大学
  • 25 篇 计算机软件新技术...
  • 9 篇 南京中医药大学
  • 9 篇 南京邮电大学
  • 6 篇 解放军理工大学
  • 4 篇 海军海防工程研究...
  • 3 篇 宁波大学
  • 3 篇 南京师范大学
  • 3 篇 北京大学
  • 3 篇 中国科学院软件研...
  • 2 篇 北京控制工程研究...
  • 2 篇 中国科学院软件研...
  • 2 篇 国防科技大学
  • 2 篇 国家环境保护总局...
  • 2 篇 西北工业大学
  • 2 篇 上海交通大学
  • 2 篇 中国空间技术研究...
  • 2 篇 苏州大学
  • 2 篇 南京航空航天大学
  • 2 篇 扬州大学

作者

  • 35 篇 吕建
  • 14 篇 陶先平
  • 11 篇 马晓星
  • 10 篇 徐锋
  • 9 篇 范欣生
  • 7 篇 曹春
  • 6 篇 胡昊
  • 5 篇 李决龙
  • 5 篇 潘金贵
  • 5 篇 邢建春
  • 5 篇 杨启亮
  • 4 篇 孙知信
  • 4 篇 李宣东
  • 4 篇 陶静
  • 4 篇 王崇骏
  • 4 篇 王崇峻
  • 3 篇 邢阳
  • 3 篇 袁春风
  • 3 篇 张福炎
  • 3 篇 李斌

语言

  • 116 篇 中文
检索条件"机构=南京大学计算机软件研究所/软件新技术国家重点实验室,江苏南京210093"
116 条 记 录,以下是21-30 订阅
排序:
基于爬虫的软件缺陷预测
收藏 引用
南昌教育学院学报 2016年 第6期31卷 125-128页
作者: 杨开懋 施小逸 汤恩义 南京大学计算机软件新技术国家重点实验室 江苏南京210023 南京大学计算机软件研究所 江苏南京210093
随着软件的规模和复杂度持续上升,在软件开发中不可避免地会引入缺陷,而如何对软件进行缺陷预测也成为了软件工程研究的热点领域之一。现有的软件缺陷预测方法主要根据源码结构提取预测信息而忽视了软件缺陷报告的作用,而软件缺陷的相... 详细信息
来源: 评论
一种传感器故障诊断的无中心自组织算法
收藏 引用
微电子学与计算机 2016年 第5期33卷 80-84页
作者: 王世强 邢建春 李决龙 杨启亮 解放军理工大学国防工程学院 江苏南京210007 海防工程技术研究中心 北京100841 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093
基于无中心智能控制系统,提出了传感器故障诊断的无中心自组织算法.以系统出现故障的传感器数目总是少数为假设条件,通过物理基本原理建立约束方程,利用各相邻节点的等式和不等式约束,通过假设检验,投票统计来对传感器故障进行诊断.与... 详细信息
来源: 评论
基于双L_0稀疏先验的图像运动去模糊
收藏 引用
计算机应用与软件 2016年 第6期33卷 207-211页
作者: 陶宗勤 方贤勇 谈业静 陈尚文 安徽大学媒体计算研究所 安徽合肥230601 南京大学计算机软件新技术国家重点实验室 江苏南京210023
目前图像的运动去模糊方法在处理较复杂的运动模糊时难以得到理想的效果,其原因之一是这些方法普遍只考虑图像梯度的稀疏性,忽略了模糊核的稀疏性。针对这一不足提出一种新的双L_0正则约束的运动模糊去除方法,该方法同时对自然图像梯度... 详细信息
来源: 评论
一种基于特征矩阵的软件脆弱性代码克隆检测方法
收藏 引用
软件学报 2015年 第2期26卷 348-363页
作者: 甘水滔 秦晓军 陈左宁 王林章 数学工程与先进计算国家重点实验室(无锡江南计算技术研究所) 江苏无锡214083 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023
提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过... 详细信息
来源: 评论
中断驱动系统模型检验?
收藏 引用
软件学报 2015年 第9期26卷 2212-2230页
作者: 周筱羽 顾斌 赵建华 杨孟飞 李宣东 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院 江苏南京210093 西北工业大学计算机学院 陕西西安710072 南京大学计算机科学与技术系 江苏南京210023 中国空间技术研究院 北京100094
针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统... 详细信息
来源: 评论
中断驱动控制系统的有界模型检验技术
收藏 引用
软件学报 2015年 第10期26卷 2485-2503页
作者: 周筱羽 顾斌 赵建华 杨孟飞 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院 江苏南京210093 西北工业大学计算机学院 陕西西安710072 南京大学计算机科学与技术系 江苏南京210023 中国空间技术研究院 北京100094
针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应的中断处理程序响应中断事件,并可以修改控制变量值,以便在系统任务中完成后续工作.操作系统周期性地调... 详细信息
来源: 评论
构件软件的回归测试复杂性度量
收藏 引用
软件学报 2015年 第12期26卷 3043-3061页
作者: 陶传奇 李必信 Jerry Gao 南京理工大学计算机科学与工程学院 江苏南京210094 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 东南大学软件工程研究所 江苏南京211189 东南大学计算机科学与工程学院 江苏南京211189 Department of Computer Engineering San Jose State University
基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以... 详细信息
来源: 评论
基于VMM的程序行为异常检测
收藏 引用
信息安全与通信保密 2016年 第3期14卷 118-122页
作者: 蒋传勇 姚立红 潘理 上海交通大学电子信息与电气工程学院 上海200240 上海市信息安全综合管理技术研究重点实验室 上海200240 南京大学计算机软件新技术国家重点实验室 江苏南京210093
虚拟机监视器(Virtual Machine Monitor,VMM)具有强隔离性、高透明性的特点,而程序行为具有稳定和易于检测的属性。提出了一种基于VMM的程序行为异常检测模型,该模型首先从VMM中捕获程序行为产生的底层数据,通过分析对进程行为视图重构... 详细信息
来源: 评论
一种高效有向无线充电器的布置算法
收藏 引用
软件学报 2015年 第7期26卷 1711-1729页
作者: 戴海鹏 陈贵海 徐力杰 刘云淮 吴小兵 何田 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 上海市可扩展计算与系统重点实验室(上海交通大学) 上海200240 公安部第三研究所 上海200031 上海交通大学电子信息与电气工程学院 上海200240 Computer Science and Engineering University of Minnesota
传统的传感器节点通常采用电池供电,有限的电池能量限制了传感器网络整体的寿命.无线能量传输技术可将能量以无线方式从充电器发送至传感器,从而可以彻底解决这一问题.无线可充电传感网中的一个重要问题是无线充电器的布置问题,即,如何... 详细信息
来源: 评论
基于混沌蜂群算法的高耸结构振动信号小波阈值去噪方法研究
基于混沌蜂群算法的高耸结构振动信号小波阈值去噪方法研究
收藏 引用
第四届建筑结构基础理论与创新实践学术论坛
作者: 张迅 李决龙 邢建春 王平 杨启亮 解放军理工大学国防工程学院 江苏南京210007 解放军理工大学国防工程学院 江苏南京210007 海军海防工程研究中心 北京100841 解放军理工大学国防工程学院 江苏南京210007 南京大学计算机软件新技术国家重点实验室 江苏南京210093
为了有效去除实测振动信号中的噪声,改进了一种基于Kent混沌人工蜂群(KCABC)算法的振动信号小波阈值去噪方法.该算法采用Kent混沌映射初始化蜂群,引入锦标赛选择机制选择食物源,并结合混沌策略搜索最优解.基于广义交叉验证(GCV)阈值构... 详细信息
来源: 评论