咨询与建议

限定检索结果

文献类型

  • 1,314 篇 期刊文献
  • 203 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,406 篇 工学
    • 1,140 篇 计算机科学与技术...
    • 744 篇 软件工程
    • 160 篇 控制科学与工程
    • 159 篇 网络空间安全
    • 117 篇 机械工程
    • 67 篇 信息与通信工程
    • 66 篇 仪器科学与技术
    • 27 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 4 篇 交通运输工程
    • 4 篇 公安技术
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
    • 3 篇 航空宇航科学与技...
  • 436 篇 管理学
    • 430 篇 管理科学与工程(可...
    • 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 篇 南京大学
  • 196 篇 计算机软件新技术...
  • 146 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 43 篇 南京邮电大学
  • 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,517 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系"
1517 条 记 录,以下是301-310 订阅
排序:
Ada语言的发展
收藏 引用
计算机科学 2014年 第1期41卷 1-15,38页
作者: 吴迪 徐宝文 南京大学软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好... 详细信息
来源: 评论
SIMPLE:一种新型多范型程序设计语言
收藏 引用
计算机科学 2014年 第7期41卷 1-8,44页
作者: 吴迪 陈林 徐宝文 南京大学软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程... 详细信息
来源: 评论
中药方剂药物属性的组网模型
收藏 引用
智能统学报 2014年 第2期9卷 148-153页
作者: 李茹 孙正 王崇骏 谢俊元 南京大学计算机科学与技术系 江苏南京210046 南京大学计算机软件新技术国家重点实验室 江苏南京210046
传统的中药方剂配伍规律的研究通常只关注药物个体或基于复杂网络的药物结构,却忽视了药物的属性。而建立药物属性以及药物之间的网络模型可以打破仅针对药物结构进行组网的局限性。首先,提取出药物药性中的"性味"、"归... 详细信息
来源: 评论
基于颜色直方图和小波变换的视频烟雾检测
收藏 引用
计算机科学 2014年 第12期41卷 251-254,287页
作者: 孙建坤 杨若瑜 南京大学计算机科学与技术系 南京210046 南京大学软件新技术国家重点实验室 南京210046
从视频中自动识别烟雾在火灾早期预报警、尾气识别等实际应用中具有重要意义。烟雾检测的难点之一在于如何排除与烟雾颜色相近的运动对象的干扰。为了保证检测效果和实时性,提出使用静态的小波统计特征来排除汽车、行人等干扰区域。该... 详细信息
来源: 评论
分布式嵌入式统的自适应能耗管理和分析
收藏 引用
软件学报 2014年 第2期25卷 419-438页
作者: 范贵生 虞慧群 陈丽琼 刘冬梅 华东理工大学计算机科学与工程系 上海200237 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 上海应用技术学院计算机科学与信息工程系 上海200235
以降低分布式嵌入式统整体能耗为目标,立足设备属性及其关,从统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对... 详细信息
来源: 评论
一种基于扩展有限状态机的自动化测试用例生成方法
收藏 引用
中国科学:信息科学 2014年 第5期44卷 588-609页
作者: 杨瑞 陈振宇 张智轶 刘子聪 徐宝文 南京大学计算机软件新技术国家重点实验室 南京210046 南京大学计算机科学与技术系 南京210046
扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路... 详细信息
来源: 评论
设计模式指导的软件分簇方法
收藏 引用
中国科学:信息科学 2014年 第1期44卷 37-53页
作者: 王林章 何剑涛 韩志雄 卜磊 赵建华 李宣东 南京大学计算机软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023
程序理解是一个从计算机程序中获取知识信息的过程,其主要目的是获取软件的各种有关知识以理解开发者的意图,从而支持针对现有或遗产软件统进行软件评审、错误定位、反向工程、再工程、迁移、维护和复用等软件工程实践.本文提出一种... 详细信息
来源: 评论
上下文一致性错误及其处理对应用的影响
收藏 引用
计算机科学与探索 2014年 第4期8卷 427-437页
作者: 奚旺 许畅 杨文华 洪学志 南京大学 计算机软件新技术国家重点实验室,南京 210023 南京大学 计算机科学与技术系,南京 210023
在普适计算环境中,上下文信息由于受到噪声等不可控因素的干扰,面临着一致性错误的问题。这些错误会影响应用的正常运行,使其表现异常甚至失效。目前已经有自动的一致性错误处理方法来保障应用所获取的上下文满足数据层面的一致性约... 详细信息
来源: 评论
基于SPIN的LTL属性分解方法研究
收藏 引用
计算机应用与软件 2014年 第7期31卷 43-46,65页
作者: 贺志宏 曾庆凯 南京大学计算机软件新技术国家重点实验室 江苏南京210046 南京大学计算机科学与技术系 江苏南京210046
提出一种基于模型检测工具SPIN的LTL属性分解方法以解决状态空间爆炸问题。根据逻辑和时序操作符常见的组合情况,讨论不同的属性分解模式,根据子属性构建的切片准则进行程序切片,利用SPIN对切片后的等价简化模型进行检测,从而将对原模... 详细信息
来源: 评论
一种轻量级的Android内核保护监控器
收藏 引用
计算机工程 2014年 第4期40卷 48-52,56页
作者: 杨永 钱振江 黄皓 南京大学计算机软件新技术国家重点实验室 南京210046 计算机科学与技术系 南京210046
为阻止针对Android统内核的攻击,保护Android统内核不被破坏,设计一种基于ARM平台轻量级的hypervisor监控器架构。该架构利用ARM硬件虚拟化扩展技术,对不信任模块进行隔离,阻止模块中恶意代码对内核的破坏,保护关键对象不被篡改,并... 详细信息
来源: 评论