咨询与建议

限定检索结果

文献类型

  • 1,237 篇 期刊文献
  • 193 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1,327 篇 工学
    • 1,076 篇 计算机科学与技术...
    • 686 篇 软件工程
    • 159 篇 网络空间安全
    • 143 篇 控制科学与工程
    • 108 篇 机械工程
    • 66 篇 信息与通信工程
    • 62 篇 仪器科学与技术
    • 26 篇 电子科学与技术(可...
    • 8 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 4 篇 材料科学与工程(可...
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
    • 3 篇 公安技术
  • 411 篇 管理学
    • 404 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 31 篇 理学
    • 16 篇 数学
    • 10 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 27 篇 艺术学
    • 27 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 8 篇 教育学
    • 8 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 哲学
    • 4 篇 哲学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 文学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

  • 48 篇 面向对象
  • 36 篇 无线传感器网络
  • 27 篇 internet
  • 25 篇 人工智能
  • 24 篇 计算机网络
  • 22 篇 信息检索
  • 22 篇 机器学习
  • 20 篇 软件测试
  • 20 篇 入侵检测
  • 18 篇 神经网络
  • 18 篇 服务质量
  • 17 篇 设计
  • 17 篇 web
  • 17 篇 软件工程
  • 16 篇 计算机
  • 15 篇 支持向量机
  • 15 篇 信息安全
  • 15 篇 访问控制
  • 14 篇 数据挖掘
  • 14 篇 数据库

机构

  • 1,298 篇 南京大学
  • 165 篇 计算机软件新技术...
  • 115 篇 南京航空航天大学
  • 45 篇 南京工业大学
  • 44 篇 南京邮电大学
  • 43 篇 南京理工大学
  • 40 篇 南京大学计算机软...
  • 35 篇 扬州大学
  • 23 篇 苏州大学
  • 23 篇 南通大学
  • 19 篇 东南大学
  • 17 篇 南京邮电学院
  • 15 篇 东华大学
  • 12 篇 南京大学软件新技...
  • 12 篇 清华大学
  • 11 篇 中国矿业大学
  • 9 篇 软件新技术国家重...
  • 8 篇 软件新技术国家重...
  • 8 篇 计算机科学与技术...
  • 8 篇 吉林大学

作者

  • 130 篇 谢立
  • 75 篇 黄皓
  • 75 篇 潘金贵
  • 67 篇 曾庆凯
  • 65 篇 陈道蓄
  • 59 篇 张福炎
  • 59 篇 李宣东
  • 56 篇 谢俊元
  • 54 篇 柏文阳
  • 50 篇 郑国梁
  • 48 篇 陈世福
  • 47 篇 王崇骏
  • 43 篇 白光伟
  • 42 篇 孙正兴
  • 38 篇 茅兵
  • 35 篇 徐宝文
  • 34 篇 陈家骏
  • 33 篇 沈航
  • 32 篇 骆斌
  • 31 篇 武港山

语言

  • 1,430 篇 中文
检索条件"机构=软件新技术国家重点实验室,南京,210093 南京大学计算机科学与技术系,南京,210093"
1430 条 记 录,以下是481-490 订阅
排序:
安全关键统的软件可靠性评估方法
收藏 引用
计算机科学 2011年 第12期38卷 135-138页
作者: 张德平 徐宝文 南京航空航天大学计算机科学与与技术学院 南京210016 南京大学软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
基于统计测试的Markov使用链模型对安全关键统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间的转... 详细信息
来源: 评论
基于SVM的中文查询分类
收藏 引用
情报学报 2011年 第9期30卷 946-950页
作者: 杨思春 高超 戴新宇 陈家骏 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093 安徽工业大学计算机学院 马鞍山243002
在问答统中用户的查询是以自然语言问句的形式出现的,查询分类对生成合适的答案有着重要的指导性作用。现有文献大多基于SVM统计学习模型实现查询分类。文章详细分析了中文查询分类的典型特征及其编码过程,并给出了LibSVM分类器的参... 详细信息
来源: 评论
Recursive constructions for t-covering arrays
收藏 引用
Journal of Southeast University(English Edition) 2011年 第3期27卷 340-342页
作者: 查日军 张德平 徐宝文 东南大学计算机科学与工程学院 南京210096 南京航空航天大学计算机科学与技术学院 南京210016 南京大学计算机软件新技术国家重点实验室 南京210093
A t-covering array of size N, degree k, order v and strength t is an N x k array with entries from a set of v symbols such that any N x t subarray contains a t-tuple of v symbols at least once as a row. This paper pre... 详细信息
来源: 评论
改进的程序时序安全属性模型检测技术
收藏 引用
计算机工程 2011年 第7期37卷 28-30页
作者: 张志 张林 曾庆凯 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093 上海市信息安全综合管理技术研究重点实验室 上海200030
针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关,以提高检测的准确性。实验结果表明,改... 详细信息
来源: 评论
移动无线传感器网络采样区域自调整的MCL定位算法
收藏 引用
计算机科学 2011年 第12期38卷 49-52,60页
作者: 叶飞虎 沈航 曹磊 白光伟 南京工业大学计算机科学与技术系 南京210009 南京理工大学计算机科学与技术学院 南京210094 南京大学计算机软件新技术国家重点实验室 南京210093
定位技术是无线传感器网络中关键的支撑技术之一。现有的无线传感器网络定位算法大多是针对静态场景的,不能直接应用于移动无线传感器网络。针对移动无线传感器网络的特点,在深入分析现有蒙特卡洛算法的基础上,提出一种改进机制,即采样... 详细信息
来源: 评论
基于离散元胞蚂蚁算法的几何约束求解技术研究
收藏 引用
电子学报 2011年 第5期39卷 1127-1130页
作者: 曹春红 王利民 赵大哲 东北大学信息科学与工程学院 辽宁沈阳110819 吉林大学计算机科学与技术学院 吉林长春130012 计算机软件新技术国家重点实验室 南京大学江苏南京210093 医学影像计算教育部重点实验室 东北大学辽宁沈阳110819
一个约束描述了一个应该被满足的关,一旦用户已经定义了一列的关,那么在修改参数之后,统会自动选择合适的状态来满足约束.在将几何约束问题的约束方程组转化为优化模型的时候,引入一种利用元胞演化规律和蚂蚁寻优特点的离散元... 详细信息
来源: 评论
形式化方法与工具专刊前言
收藏 引用
软件学报 2011年 第6期22卷 1121-1122页
作者: 王戟 李宣东 国防科学技术大学计算机学院并行与分布处理国防科技重点实验室 南京大学计算机科学与技术系 计算机软件新技术国家重点实验室(南京大学)
形式化方法是指有严格数学基础的软件统开发方法,支持计算机统及软件的规约、设计、验证与演化等活动.随着高可信软件的兴起,形式化方法作为重要的途径,关注度日益提高.其作用不仅深化了人们对计算统规律的认识,而且支持了计算... 详细信息
来源: 评论
面向数据的流程实现中不同层的服务匹配
收藏 引用
计算机工程 2011年 第11期37卷 64-66页
作者: 李婷 刘国华 王颖 蔡换换 张大伟 李慧芳 燕山大学信息科学与工程学院 河北秦皇岛066004 东华大学计算机科学与技术学院 上海201620 南京大学计算机软件新技术国家重点实验室 南京210093
在逻辑模型向物理模型转换的过程中,逻辑层与物理层间存在服务匹配问题。为此,提出一种基于语义相似度的逻辑层与物理层服务匹配方法,解决以数据为中心的流程实现过程中不同层间的服务匹配问题。在匹配过程中引入服务接口间的3种依赖关... 详细信息
来源: 评论
基于二次插值法的社会情感优化算法
收藏 引用
计算机应用 2011年 第9期31卷 2522-2525,2533页
作者: 武建娜 崔志华 刘静 太原科技大学计算机科学与技术学院 太原030024 太原科技大学复杂系统与计算智能实验室 太原030024 南京大学计算机软件新技术国家重点实验室 南京210093
社会情感优化算法是一种模拟人类社会行为的新型群智能优化算法,算法中考虑了个体决策能力以及个体的情感对寻优结果的影响,因此算法的多样性比常见的群智能算法改善了很多,但是局部搜索能力还有待提高。二次插值法是一种局部搜索能力... 详细信息
来源: 评论
基于变异测试和OWL-S文档的Web服务测试用例生成
收藏 引用
计算机与数字工程 2011年 第12期39卷 8-11页
作者: 严满根 许蕾 南京大学计算机科学与技术系 南京210093 南京大学计算机软件新技术国家重点实验室 南京210093
由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还... 详细信息
来源: 评论