咨询与建议

限定检索结果

文献类型

  • 420 篇 期刊文献
  • 21 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 428 篇 工学
    • 361 篇 计算机科学与技术...
    • 253 篇 软件工程
    • 60 篇 网络空间安全
    • 50 篇 控制科学与工程
    • 24 篇 机械工程
    • 19 篇 信息与通信工程
    • 12 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 3 篇 地质资源与地质工...
    • 2 篇 航空宇航科学与技...
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
  • 105 篇 管理学
    • 103 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 6 篇 教育学
    • 6 篇 教育学
  • 5 篇 理学
    • 3 篇 系统科学
    • 2 篇 数学
  • 3 篇 艺术学
    • 3 篇 设计学(可授艺术学...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 医学
    • 2 篇 中西医结合
    • 1 篇 中医学
    • 1 篇 中药学(可授医学、...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 历史学
    • 1 篇 考古学
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 11 篇 无线传感器网络
  • 10 篇 面向对象
  • 9 篇 软件测试
  • 8 篇 形式化方法
  • 8 篇 深度学习
  • 8 篇 神经网络
  • 8 篇 机器学习
  • 7 篇 入侵检测
  • 7 篇 web
  • 6 篇 软件安全
  • 6 篇 internet
  • 5 篇 信息检索
  • 5 篇 强化学习
  • 5 篇 聚类
  • 5 篇 遗传算法
  • 5 篇 人工智能
  • 5 篇 机器翻译
  • 5 篇 移动代理
  • 5 篇 petri网
  • 5 篇 服务质量

机构

  • 395 篇 南京大学
  • 111 篇 计算机软件新技术...
  • 39 篇 南京航空航天大学
  • 17 篇 苏州大学
  • 17 篇 南京邮电大学
  • 16 篇 扬州大学
  • 13 篇 南通大学
  • 11 篇 中国矿业大学
  • 11 篇 南京理工大学
  • 10 篇 南京邮电学院
  • 10 篇 东南大学
  • 10 篇 南京工业大学
  • 6 篇 南京大学计算机软...
  • 5 篇 南京中医药大学
  • 4 篇 计算机软件新技术...
  • 4 篇 矿山数字化教育部...
  • 4 篇 东北大学
  • 3 篇 微软中国研发集团
  • 3 篇 高可信软件技术教...
  • 3 篇 计算机科学与技术...

作者

  • 31 篇 曾庆凯
  • 25 篇 李宣东
  • 21 篇 黄皓
  • 18 篇 张福炎
  • 18 篇 谢立
  • 17 篇 谢俊元
  • 16 篇 潘金贵
  • 15 篇 陈家骏
  • 15 篇 王崇骏
  • 14 篇 陈道蓄
  • 13 篇 柏文阳
  • 13 篇 陈世福
  • 12 篇 王林章
  • 12 篇 骆斌
  • 11 篇 徐宝文
  • 11 篇 陆桑璐
  • 10 篇 王汝传
  • 10 篇 戴新宇
  • 10 篇 陈鑫
  • 9 篇 武港山

语言

  • 441 篇 中文
检索条件"机构=南京大学计算机科学与技术系计算机软件新技术国家重点实验室 江苏南京210093"
441 条 记 录,以下是201-210 订阅
排序:
一种基于Paxos算法的容错机制
收藏 引用
计算机应用与软件 2011年 第6期28卷 143-145,160页
作者: 王利军 谢立 南京大学软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
针对在普通的硬件和网络环境下实现统数据的高可用性的目标,设计了一个由两个松耦合的模块组成的容错机制。该机制的核心使用了高效的共识算法Paxos。描述了这一容错机制的架构和主要模块,日志层的实现算法和数据层冗余机制。给出了... 详细信息
来源: 评论
基于BD结构的历史数据流存储与查询
收藏 引用
计算机应用与软件 2011年 第2期28卷 76-79页
作者: 檀宝权 刘奇志 王云汉 南京大学软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093 武汉工程大学电气信息学院 湖北武汉430073
实际应用中,人们往往不仅需要近期数据流,还需要结合大量历史数据流来共同解决问题。研究表明,处理大量历史数据流时,传统数据库索引技术(如B+树)不能提供高的存储利用率和查询效率。针对任意时间段历史数据流的存储查询问题,提出一种基... 详细信息
来源: 评论
基于马尔科夫链模型和通信距离WSNs协作ARQ策略
基于马尔科夫链模型和通信距离WSNs协作ARQ策略
收藏 引用
第四届中国计算机网络与信息安全学术会议(CCNIS2011)
作者: 靳勇 乐德广 白光伟 常熟理工学院 计算机科学与工程学院 江苏 常熟 215500 南京工业大学 计算机科学与技术系 江苏 南京 210009 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
本文提出一种基于马尔科夫链模型和通信距离的多中继协作ARQ 策略。该策略在为无线数据传输提供可靠性同时获得较高的吞吐率和能量效率。首先根据传统ARQ机制和数据包在链路层分割为若干个数据帧规律,建立一种马尔科夫链模型;在此基础... 详细信息
来源: 评论
分布式缓存统中一种优化缓存部署的图算法
收藏 引用
软件学报 2010年 第7期21卷 1524-1535页
作者: 李文中 陈道蓄 陆桑璐 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
数据缓存技术可以有效地减少网络拥塞,减轻服务器负载,加快信息访问速度.通过部署一组地域分布的缓存节点相互协作处理用户请求,可以进一步提高统性能.在分布式缓存统中,一个值得关注的问题是优化缓存的放置,使访问开销最小化.首先... 详细信息
来源: 评论
一种面向服务的可靠多媒体传输算法
收藏 引用
软件学报 2010年 第2期21卷 277-286页
作者: 张胜 钱柱中 陆桑璐 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
针对普适环境中可靠的多媒体传输问题,提出了LD/RPath(lowest delay/reliability path)算法.LD/RPath算法通过合理的数据量近似来拟合服务节点和传输边上动态变化的数据量,引入节点分裂技术将节点时延转化为边时延,同时考虑了节点可靠... 详细信息
来源: 评论
基于方向经验模型分解的图像修复方法
收藏 引用
电子学报 2010年 第2期38卷 257-262页
作者: 张岩 孙正兴 姚伟 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
本文提出了一种基于方向经验模型分解的图像修复方法,通过方向经验模型将待修复图像进行分解,然后在各级分解图像上根据待修复区域边界上像素点的梯度特征计算填充优先级,并利用方向经验模型分解得到的频率特征值结合纹理合成的方法完... 详细信息
来源: 评论
基于状态机模型的构件健壮性测试
收藏 引用
软件学报 2010年 第5期21卷 930-941页
作者: 雷斌 王林章 卜磊 李宣东 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093
基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在... 详细信息
来源: 评论
一种基于衍生树的交互式P2P流媒体
收藏 引用
软件学报 2010年 第5期21卷 1138-1152页
作者: 陈建忠 徐天音 李文中 陆桑璐 陈道蓄 Edward CHAN 南京大学计算机软件新技术国家重点实验室 江苏南京210093 南京大学计算机科学与技术系 江苏南京210093 香港城市大学电脑科学系
提出了一种基于衍生树的P2P统框架,以支持交互式流媒体应用.该统利用分布式发现服务来进行资源定位,并通过基于衍生树的缓存结构来维护数据传输拓扑.使用基于衍生树的统管理策略可以显著地降低节点动态加入和退出等交互操作的开销... 详细信息
来源: 评论
基于形态分析识别设计模式中的集中管理式聚集
收藏 引用
软件学报 2010年 第11期21卷 2725-2737页
作者: 周晓宇 钱巨 陈林 徐宝文 东南大学计算机科学与工程学院 江苏南京211189 上海市计算机软件评测重点实验室 上海201112 南京航空航天大学信息科学与技术学院 江苏南京210016 南京大学计算机科学与技术系 江苏南京210093 南京大学计算机软件新技术国家重点实验室 江苏南京210093
针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流上链表形态结构的变化识别聚集管理行为... 详细信息
来源: 评论
一种软件结构风险评估方法
收藏 引用
南京理工大学学报 2010年 第5期34卷 680-685,690页
作者: 徐建 荆文娟 严悍 张宏 南京理工大学计算机科学与技术学院 江苏南京210094 南京大学计算机软件新技术国家重点实验室 江苏南京210093
为了改进软件开发过程,提高软件产品质量,提出了一种适用于软件开发设计阶段的软件结构风险评估方法。采用动态复杂度来度量体结构元素(构件)的复杂度因子,可达矩阵来度量体结构元素的危害因子,组合复杂度因子和危害因子构成体... 详细信息
来源: 评论