咨询与建议

限定检索结果

文献类型

  • 1,165 篇 期刊文献
  • 166 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,234 篇 工学
    • 1,001 篇 计算机科学与技术...
    • 640 篇 软件工程
    • 151 篇 网络空间安全
    • 137 篇 控制科学与工程
    • 100 篇 机械工程
    • 60 篇 信息与通信工程
    • 58 篇 仪器科学与技术
    • 24 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 6 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
    • 3 篇 公安技术
    • 2 篇 电气工程
    • 2 篇 土木工程
  • 396 篇 管理学
    • 390 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 30 篇 理学
    • 15 篇 数学
    • 10 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 26 篇 艺术学
    • 26 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 7 篇 教育学
    • 7 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 3 篇 哲学
    • 3 篇 哲学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 文学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

  • 43 篇 面向对象
  • 35 篇 无线传感器网络
  • 26 篇 internet
  • 23 篇 计算机网络
  • 22 篇 信息检索
  • 22 篇 人工智能
  • 21 篇 机器学习
  • 18 篇 软件测试
  • 18 篇 入侵检测
  • 18 篇 神经网络
  • 18 篇 服务质量
  • 17 篇 web
  • 16 篇 计算机
  • 16 篇 设计
  • 15 篇 访问控制
  • 15 篇 软件工程
  • 14 篇 支持向量机
  • 14 篇 信息安全
  • 14 篇 数据库
  • 13 篇 遗传算法

机构

  • 1,211 篇 南京大学
  • 164 篇 计算机软件新技术...
  • 111 篇 南京航空航天大学
  • 45 篇 南京工业大学
  • 43 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 39 篇 南京理工大学
  • 33 篇 扬州大学
  • 23 篇 苏州大学
  • 23 篇 南通大学
  • 19 篇 东南大学
  • 17 篇 南京邮电学院
  • 15 篇 东华大学
  • 12 篇 清华大学
  • 10 篇 中国矿业大学
  • 9 篇 南京大学软件新技...
  • 8 篇 吉林大学
  • 8 篇 解放军理工大学
  • 7 篇 计算机科学与技术...
  • 7 篇 软件新技术国家重...

作者

  • 126 篇 谢立
  • 75 篇 潘金贵
  • 65 篇 曾庆凯
  • 64 篇 陈道蓄
  • 63 篇 黄皓
  • 59 篇 李宣东
  • 56 篇 xie li
  • 55 篇 张福炎
  • 53 篇 谢俊元
  • 52 篇 柏文阳
  • 52 篇 huang hao
  • 50 篇 郑国梁
  • 48 篇 陈世福
  • 43 篇 白光伟
  • 43 篇 王崇骏
  • 41 篇 孙正兴
  • 36 篇 zeng qing-kai
  • 35 篇 茅兵
  • 34 篇 li xuan-dong
  • 33 篇 沈航

语言

  • 1,331 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室,南京,210093 南京大学计算机科学与技术系,南京,210093"
1331 条 记 录,以下是91-100 订阅
排序:
NUREST:一个实时专家统开发工具
收藏 引用
计算机研究与发展 2000年 第11期37卷 1311-1316页
作者: 刘海涛 李红兵 陈世福 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系南京210093
对实时专家统的特点作了概要论述 .将专家技术和实时控制技术相结合 ,设计并实现了应用于实时问题求解的实时专家统开发工具 NU REST.主要讨论了它的知识表示、实时控制机制、推理机制以及实现技术
来源: 评论
Java指针指向分析优化
收藏 引用
软件学报 2011年 第6期22卷 1140-1154页
作者: 李倩 汤恩义 戴雪峰 王林章 赵建华 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
指针指向分析的主要目的是静态地获取程序在运行时刻的指针指向信息.基于Andersen算法,设计了一种有效的、上下文敏感的指针指向分析算法,支持继承、字段对象等语言特性.不同对象的字段在算法中被分别处理,同时,算法对复合类型的对象实... 详细信息
来源: 评论
基于点的POMDP算法的预处理方法
收藏 引用
软件学报 2008年 第6期19卷 1309-1316页
作者: 卞爱华 王崇骏 陈世福 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
基于点的算法是部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDP)的一类近似算法.它们只在一个信念点集上进行Backup操作,避免了线性规划并使用了更少的中间变量,从而将计算瓶颈由选择向量转向... 详细信息
来源: 评论
基于分离逻辑的程序验证技术
收藏 引用
软件学报 2009年 第8期20卷 2051-2061页
作者: 黄达明 曾庆凯 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入... 详细信息
来源: 评论
一种基于粒子群优化的成对组合测试算法框架
收藏 引用
软件学报 2011年 第12期22卷 2879-2893页
作者: 陈翔 顾庆 王子元 陈道蓄 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
提出一种基于粒子群优化的成对组合测试用例集生成算法框架.在生成测试用例时,该框架采用粒子群优化尝试生成强组合覆盖能力的测试用例,并研究了搜索空间、适应值函数和启发式的合理设定;在构造组合测试用例集时,以上述测试用例生成算... 详细信息
来源: 评论
基于信息流的整数漏洞插装和验证
收藏 引用
软件学报 2013年 第12期24卷 2767-2781页
作者: 孙浩 李会朋 曾庆凯 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型统DRIVER(detect and run-time... 详细信息
来源: 评论
局部协同视角下的鲁棒标记分布学习
收藏 引用
模式识别与人工智能 2021年 第1期34卷 44-57页
作者: 徐苏平 商琳 周宇杰 南京大学计算机科学与技术系 南京210023 南京大学计算机软件新技术国家重点实验室 南京210023
已有标记分布学习(LDL)算法在一定程度上破坏不同标记间的关联性及标记分布的整体结构,同时,大多仅以提升标记分布的预测性能为目的,忽略计算代价和噪声鲁棒性在实际应用中的重要性.为了缓解上述不足,文中提出基于局部协同表达的标记分... 详细信息
来源: 评论
一种基于自演化预训练的多变量时间序列预测算法
收藏 引用
计算机学报 2022年 第3期45卷 513-525页
作者: 万晨 李文中 丁望祥 张治杰 叶保留 陆桑璐 南京大学计算机软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023
时间序列预测是典型的时间序列分析任务,对于辅助决策、资源配置、提前采取止损措施等方面有重要意义,在包括电力、气象、交通、商业等领域有广泛应用.近年来,时间序列预测算法一直是机器学习的热门研究领域,其中多变量时间序列预测是... 详细信息
来源: 评论
一种面向服务的可靠多媒体传输算法
收藏 引用
软件学报 2010年 第2期21卷 277-286页
作者: 张胜 钱柱中 陆桑璐 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
针对普适环境中可靠的多媒体传输问题,提出了LD/RPath(lowest delay/reliability path)算法.LD/RPath算法通过合理的数据量近似来拟合服务节点和传输边上动态变化的数据量,引入节点分裂技术将节点时延转化为边时延,同时考虑了节点可靠... 详细信息
来源: 评论
基于信息流策略的污点传播分析及动态验证
收藏 引用
软件学报 2011年 第9期22卷 2036-2048页
作者: 黄强 曾庆凯 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在... 详细信息
来源: 评论