咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 3,235 篇 期刊文献
  • 545 篇 会议
  • 1 篇 成果

馆藏范围

  • 3,781 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3,494 篇 工学
    • 2,723 篇 计算机科学与技术...
    • 1,852 篇 软件工程
    • 533 篇 控制科学与工程
    • 353 篇 机械工程
    • 284 篇 网络空间安全
    • 200 篇 信息与通信工程
    • 198 篇 仪器科学与技术
    • 61 篇 电子科学与技术（可...
    • 42 篇 建筑学
    • 16 篇 土木工程
    • 13 篇 电气工程
    • 13 篇 地质资源与地质工...
    • 13 篇 公安技术
    • 10 篇 石油与天然气工程
    • 10 篇 交通运输工程
  • 1,146 篇 管理学
    • 1,122 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 153 篇 理学
    • 79 篇 数学
    • 58 篇 系统科学
    • 8 篇 物理学
  • 84 篇 艺术学
    • 83 篇 设计学（可授艺术学...
    • 10 篇 美术学
  • 34 篇 医学
    • 11 篇 临床医学
    • 11 篇 中医学
  • 29 篇 教育学
    • 29 篇 教育学
  • 20 篇 文学
    • 9 篇 外国语言文学
  • 19 篇 经济学
    • 17 篇 应用经济学
  • 14 篇 哲学
    • 14 篇 哲学
  • 8 篇 军事学
    • 8 篇 军队指挥学
  • 7 篇 农学
  • 3 篇 法学
  • 3 篇 历史学

主题

  • 120 篇 机器学习
  • 100 篇 神经网络
  • 94 篇 面向对象
  • 79 篇 人工智能
  • 74 篇 无线传感器网络
  • 68 篇 internet
  • 60 篇 数据挖掘
  • 56 篇 计算机
  • 49 篇 软件开发
  • 47 篇 深度学习
  • 45 篇 计算机网络
  • 40 篇 软件工程
  • 39 篇 信息检索
  • 38 篇 强化学习
  • 38 篇 遗传算法
  • 38 篇 软件测试
  • 37 篇 设计
  • 36 篇 移动agent
  • 35 篇 数据库
  • 33 篇 支持向量机

机构

  • 3,244 篇 南京大学
  • 502 篇 计算机软件新技术...
  • 227 篇 南京航空航天大学
  • 194 篇 南京邮电大学
  • 94 篇 扬州大学
  • 78 篇 南京理工大学
  • 77 篇 辽宁师范大学
  • 70 篇 宁波大学
  • 61 篇 南京工业大学
  • 59 篇 东南大学
  • 54 篇 南京大学计算机软...
  • 50 篇 南通大学
  • 47 篇 苏州大学
  • 35 篇 南京师范大学
  • 29 篇 解放军理工大学
  • 26 篇 南京信息工程大学
  • 26 篇 中国矿业大学
  • 24 篇 西南交通大学
  • 24 篇 南京中医药大学
  • 24 篇 河海大学

作者

  • 230 篇 谢立
  • 196 篇 陈世福
  • 181 篇 吕建
  • 169 篇 潘金贵
  • 135 篇 陈道蓄
  • 132 篇 周志华
  • 105 篇 王汝传
  • 103 篇 黄皓
  • 98 篇 高阳
  • 97 篇 张福炎
  • 93 篇 陈兆乾
  • 90 篇 蔡士杰
  • 88 篇 李宣东
  • 86 篇 孙正兴
  • 85 篇 曾庆凯
  • 80 篇 陶先平
  • 76 篇 柏文阳
  • 76 篇 郑国梁
  • 76 篇 谢俊元
  • 76 篇 王崇骏

语言

  • 3,779 篇 中文
  • 2 篇 英文
检索条件"机构=南京大学计算机件新技术国家重点实验室"
共 3781 条 记 录，以下是3741-3750 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于行程编码的直线拟合方法及其误差估计
收藏
分享
引用
软件学报 1997年 第A00期8卷 404-410页
作者： 邹荣金 蔡士杰 南京大学计算机软件新技术国家重点实验室
本文对工程图纸识别中基于行程编码的直线矢量化方法作了介绍与分析，提出了分组平均点法处理基于行程编码的行段直线拟合算法，并与最小二乘法拟合并进行比较，阐明了该方法具有计算方便，高效等特点，同时进行了误差估计。
来源： 评论
分层否定的拓广
收藏
分享
引用
软件学报 1997年 第A期8卷 365-371页
作者： 陈栋 南京大学计算机软件新技术国家重点实验室
现有的演绎数据库系统如ＬＤＬ，Ｎａｉｌ！ＣＯＲＡＬ等都采用分层的否定，以确保能计算出程序的完美不动点，事实上，否定的分层只是确保程序含完善不动点的充分条件。本文在确保逻辑程序含可计算的完美不动点的前提下，提出了拓广的... 详细信息
来源： 评论
一个统一的程序验证框架
收藏
分享
引用
软件学报 1997年 第2期8卷 107-114页
作者： 贾国平 郑国梁 南京大学计算机科学系 南京大学计算机软件新技术国家重点实验室
本文提出了一个简单的方法，其中程序和其性质都由一个逻辑：时序逻辑中的公式表示．文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念．它是一个时序公式，精确地说明了一个程序．将时序逻辑作为规范语言，程序正确性就... 详细信息
来源： 评论
CAD/CAM 集成环境下的基于特征设计方法
收藏
分享
引用
机械设计 1997年 第12期14卷 6-7页
作者： 孙正兴 张福炎 南京大学计算机软件新技术国家重点实验室
本文从三个方面研究了ＣＡＤ／ＣＡＭ集成环境下的基于特征设计方法：形式化定义，设计过程模型，设计算法及其系统结构。文中给出了特征定义、特征操作、特征模型验证及特征映射策略及其形式化描述方式，建立了面向ＣＡＤ／ＣＡＭ集成... 详细信息
来源： 评论
基于角色分类的子类型关系
收藏
分享
引用
计算机研究与发展 1997年 第11期34卷 822-827页
作者： 袁晓东 陈家骏 郑国梁 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
事物分类的标准是一个由来已久的话题．文中将事物的特征分为一般特征和本质特征，认为事物应该依据其结构、行为、性质、职能诸方面的本质特征进行分类．使用了角色的概念来综合反映事物各方面的本质特征，并在角色分类的基础上建立了... 详细信息
来源： 评论
类型化面向对象逻辑语言LKO的元级解释
收藏
分享
引用
计算机研究与发展 1997年 第9期34卷 694-699页
作者： 徐殿祥 郑国梁 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文介绍类型化面向对象逻辑语言ＬＫＯ的元级解释技术，主要包括对象约束、状态、方法的继承算法，以及子句解释、类型推理和检查的多种合一算法．
来源： 评论
新一代智能刺绣CAD环境
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 238-243页
作者： 胡滨 潘金贵 宋珂 陈世福 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中介绍了一个用于电脑刺绣编程的智能ＣＡＤ环境．它融合了人工智能、图象处理和计算机辅助设计等多种技术，具有灵活多变的图案输入手段及自动编程的能力，实现了图案输入、处理、编针、优化和数据转换的一体化与自动化，提高了电脑... 详细信息
来源： 评论
将基于PRAM模型的算法转换为基于LogP模型的算法的一种方法
收藏
分享
引用
小型微型计算机系统 1997年 第6期18卷 27-33页
作者： 焦进 张晓云 姜殿启 张德富 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系
本文提出了一种将基于ＰＲＡＭ模型的并行算法转换为基于ＬｏｇＰ模型的并行算法的方法，并通过在算法的通信结构有向无环图上进行线性分组的方法。
来源： 评论
“长线系统”的设计与实现
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 130-135页
作者： 金志权 何丹 王捷 陶永祥 陈佩佩 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
“长线系统”用于全国长途电信线路的维护管理．系统适应电总－省－市三级管理．文中介绍了系统的背景、ＤＤＢ的设计、三级ＤＤＢ的实现结构以及通信软件的设计与实现．
来源： 评论
类库检索和一个基于联想网络的类库检索工具
收藏
分享
引用
计算机研究与发展 1997年 第S1期34卷 155-160页
作者： 吕枫华 王和珍 费翔林 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室
文中分析了类库检索中的困难，着重讨论了用户需要的目标类与类库中候选类的比较方法，给出了类相似性的模糊评判方法，并实现了一个基于联想网络的类库检索工具．
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共379页 <<  < 370 371 372 373 374 375 376 377 378 379 >  >>
回到顶部
执行限定条件