咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,407 篇 工学
    • 1,141 篇 计算机科学与技术...
    • 744 篇 软件工程
    • 160 篇 控制科学与工程
    • 159 篇 网络空间安全
    • 117 篇 机械工程
    • 67 篇 信息与通信工程
    • 66 篇 仪器科学与技术
    • 27 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 7 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 4 篇 交通运输工程
    • 4 篇 公安技术
    • 3 篇 电气工程
    • 3 篇 化学工程与技术
    • 3 篇 航空宇航科学与技...
  • 437 篇 管理学
    • 431 篇 管理科学与工程(可...
    • 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 篇 南京大学
  • 197 篇 计算机软件新技术...
  • 146 篇 南京航空航天大学
  • 50 篇 南京理工大学
  • 47 篇 南京工业大学
  • 44 篇 南京邮电大学
  • 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,518 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室计算机科学与技术系"
1518 条 记 录,以下是741-750 订阅
排序:
安全评估支持统的设计与实现
安全评估支持系统的设计与实现
收藏 引用
2009全国计算机网络与通信学术会议
作者: 刘伟 曾庆凯 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
针对目前评估工作中的主要问题,设计与实现了一个基于CC(CommonCriteria)的安全评估支持统。该统以知识库的形式对评估工作进行支持,并致力于对评估流程的控制,有助于评估工作的规范化。在统的设计中提出了ST(Security Target)评... 详细信息
来源: 评论
预测状态表示综述
预测状态表示综述
收藏 引用
第三届中国数据挖掘学术会议(CCDM2009)
作者: 王历 高阳 王巍巍 南京大学计算机科学与技术系计算机软件新技术国家重点实验室 南京 210093
Agent采取动作与动态统交互,统将观测值反馈给agent.为了控制统或者预测统未来的观测值,需要为动态统建模.早些时候,较为广泛的解决方法是用POMDP模型给统建模.Littman,Sutton和Singh (2002)提出了为离散动态统建模的新... 详细信息
来源: 评论
基于三值决策的属性约简
基于三值决策的属性约简
收藏 引用
中国人工智能学会第十三届学术年会
作者: 贾修一 商琳 陈家骏 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系 南京210093
本文从决策语义角度出发,研究了决策和属性约简之间的关.基于三值决策,定义了两种不同的属性约简:保持前后决策不变的属性约简和前后决策发生变化的属性约简.针对这两种不同的约简,分别给出了相应的语义解释,使得约简后的属性更符合... 详细信息
来源: 评论
一种新的基于线性四叉树的图像分割算法
一种新的基于线性四叉树的图像分割算法
收藏 引用
第九届全国虚拟现实与可视化学术会议
作者: 过洁 潘金贵 南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系 南京 200093
图像分割是进行图像分析的一个关键步骤,其分割效果直接决定图像分析的好坏。提出了一种新的基于线性四叉树的图像分制算法,这是一种基于区域增长的图像分割技术,具有比较理想的分割效果,同时利用一种具有常数时间复杂度邻域查询的... 详细信息
来源: 评论
基于权重的Jaccard相似度度量的实体识别方法
基于权重的Jaccard相似度度量的实体识别方法
收藏 引用
第三届中国数据挖掘学术会议(CCDM2009)
作者: 潘磊 雷钰丽 王崇骏 谢俊元 计算机软件新技术国家重点实验室 南京 210093 南京大学计算机科学与技术系 南京 210093
社会网络分析方法将社会行动者映射为图的节点,社会行动者之间的关映射为图的边,然后利用图论的相关知识来解决社会网络的问题。将数据挖掘方法应用于社会网络分析是数据挖掘研究领域的一个新方向。本文主要在算法改进和统实现层... 详细信息
来源: 评论
基于语义抽象的内存访问错误检测
基于语义抽象的内存访问错误检测
收藏 引用
第六届中国信息和通信安全学术会议(CCICS'2009)
作者: 蒋剑琴 黄达明 曾庆凯 南京大学计算机软件新技术国家重点实验室,南京,210093 南京大学计算机科学与技术系,南京,210093
内存访问错误是程序中最严重的缺陷之一。本文提出一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序... 详细信息
来源: 评论
服务发现安全问题的研究与进展
服务发现安全问题的研究与进展
收藏 引用
第六届中国信息和通信安全学术会议(CCICS'2009)
作者: 李汤锁 钱柱中 陆桑璐 陈道蓄 南京大学计算机软件新技术国家重点实验室,南京,210093 南京大学计算机科学与技术系,南京,210093
服务发现涉及多方面的技术,而安全是其中一个关键的问题。本文针对服务发现的安全问题进行探讨,指出了服务发现安全的研究目标,并从服务发现安全的实现机制和结构方面,介绍并分析了代表性的研究工作,最后总结了当前研究中存在的问... 详细信息
来源: 评论
基于手绘草图的三维复杂曲面建模
基于手绘草图的三维复杂曲面建模
收藏 引用
第六届智能CAD与数字娱乐学术会议
作者: 刘凯 孙正兴 张尧烨 南京大学计算机软件新技术国家重点实验室 南京210093 南京大学计算机科学与技术系 南京210093
由于模拟传统纸笔模式的手绘草图交互能为用户提供能自然的图形输入方式,基于手绘草图的三维形状建模成为这一领域的重要研究课题之一。在采用变分隐式曲面表示基础上,本文提出了一种基于手绘草图的复杂三维模型生成方法,包括曲面创... 详细信息
来源: 评论
基于手绘轮廓的三维服饰模型生成
基于手绘轮廓的三维服饰模型生成
收藏 引用
第六届智能CAD与数字娱乐学术会议
作者: 张尧烨 孙正兴 刘凯 张岩 南京大学计算机软件新技术国家重点实验室 南京 210093 南京大学计算机科学与技术系 南京210093
本文提出了一种基于手绘轮廓的三维服饰模型生成方法,其本质是通过赋予人体表面一个偏移量以从用户手绘轮廓中重构贴合人体模型表面形状的三维服饰网格模型。本文方法主要分为预处理和服饰建模两个部分。
来源: 评论
与SPIN相关的模型检测研究
与SPIN相关的模型检测研究
收藏 引用
第六届中国信息和通信安全学术会议(CCICS'2009)
作者: 魏巍 曾庆凯 南京大学计算机软件新技术国家重点实验室,南京,210093 南京大学计算机科学与技术系,南京,210093
本文以SPIN为例,介绍模型检测的机制与原理。本文描述了模型检测不可避免的问题——状态空间爆炸,并分析了偏序归约、启发式方法、压缩技术和对违反活性属性检测的改进算法等解决方法,最后讨论了模型检测当前所面临的一些主要问题,... 详细信息
来源: 评论