咨询与建议

限定检索结果

文献类型

  • 3,258 篇 期刊文献
  • 538 篇 会议
  • 1 篇 成果

馆藏范围

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

日期分布

学科分类号

  • 3,507 篇 工学
    • 2,742 篇 计算机科学与技术...
    • 1,869 篇 软件工程
    • 537 篇 控制科学与工程
    • 349 篇 机械工程
    • 283 篇 网络空间安全
    • 202 篇 信息与通信工程
    • 200 篇 仪器科学与技术
    • 64 篇 电子科学与技术(可...
    • 40 篇 建筑学
    • 16 篇 土木工程
    • 13 篇 电气工程
    • 13 篇 公安技术
    • 12 篇 地质资源与地质工...
    • 10 篇 石油与天然气工程
    • 10 篇 交通运输工程
  • 1,155 篇 管理学
    • 1,130 篇 管理科学与工程(可...
    • 21 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 151 篇 理学
    • 78 篇 数学
    • 57 篇 系统科学
    • 7 篇 物理学
  • 83 篇 艺术学
    • 82 篇 设计学(可授艺术学...
    • 10 篇 美术学
  • 35 篇 医学
    • 12 篇 中医学
    • 11 篇 临床医学
  • 29 篇 教育学
    • 29 篇 教育学
  • 20 篇 文学
    • 9 篇 外国语言文学
  • 19 篇 经济学
    • 17 篇 应用经济学
  • 14 篇 哲学
    • 14 篇 哲学
  • 8 篇 军事学
    • 8 篇 军队指挥学
  • 7 篇 农学
  • 3 篇 法学
  • 3 篇 历史学

主题

  • 122 篇 机器学习
  • 101 篇 神经网络
  • 94 篇 面向对象
  • 83 篇 人工智能
  • 74 篇 无线传感器网络
  • 67 篇 internet
  • 59 篇 数据挖掘
  • 55 篇 计算机
  • 49 篇 软件开发
  • 49 篇 深度学习
  • 44 篇 计算机网络
  • 41 篇 软件工程
  • 40 篇 强化学习
  • 38 篇 信息检索
  • 38 篇 软件测试
  • 37 篇 遗传算法
  • 36 篇 移动agent
  • 36 篇 设计
  • 35 篇 数据库
  • 33 篇 web

机构

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

作者

  • 232 篇 谢立
  • 194 篇 陈世福
  • 185 篇 吕建
  • 169 篇 潘金贵
  • 135 篇 陈道蓄
  • 133 篇 周志华
  • 105 篇 王汝传
  • 103 篇 黄皓
  • 101 篇 高阳
  • 96 篇 张福炎
  • 93 篇 陈兆乾
  • 88 篇 李宣东
  • 87 篇 孙正兴
  • 86 篇 蔡士杰
  • 85 篇 曾庆凯
  • 80 篇 陶先平
  • 76 篇 柏文阳
  • 76 篇 郑国梁
  • 76 篇 谢俊元
  • 76 篇 陈家骏

语言

  • 3,795 篇 中文
  • 2 篇 英文
检索条件"机构=南京大学国家计算机软件新技术重点实验室"
3797 条 记 录,以下是3421-3430 订阅
排序:
一种通信系统属性交互作用的检测和避免方法
一种通信系统属性交互作用的检测和避免方法
收藏 引用
全国第十四届计算机科学及其在仪器仪表中的应用学术交流会
作者: 倪世道 袁兆山 蔡智明 合肥工业大学计算机与信息学院 计算机软件新技术国家重点实验室南京大学
属性交互(作用)是通信系统开发中的难点之一,人们一直在探讨分析、检测、避免设计和运行过程中的属性交互。本文基于UCMs和LOTOS结合应用提出一种解决方法,即在软件需求分析阶段描述、确认分析通信系统的特征及其之间的相互关系,进而检... 详细信息
来源: 评论
解非均匀区域油藏模拟问题的一种有效并行计算方法
解非均匀区域油藏模拟问题的一种有效并行计算方法
收藏 引用
863计划智能计算机主题学术会议
作者: 刘青昆 舒继武 赵金熙 张德富 南京大学计算机软件新技术国家重点实验室 南京大学计算机科学与技术系(南京) 清华大学计算机科学与技术系(北京)
本文基于分布式并行系统,运用整体预处理区域分解方法,结合有效的负载平衡策略,对一类黑油模型油藏模拟问题并行求解.实验结果表明,模拟速度有较大提高,并取得较高加速比.
来源: 评论
A NOTE ON CONDITIONAL IMPLICATION
收藏 引用
Transactions of Nanjing University of Aeronautics and Astronautics 2001年 第1期18卷 41-46页
作者: 朱朝晖 李斌 陈世福 朱梧槚 南京航空航天大学信息科学与技术学院 南京大学计算机软件国家重点实验室
It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, *** and *** have shown that s... 详细信息
来源: 评论
面向对象软件度量自动化参考模型MOOP
面向对象软件度量自动化参考模型MOOP
收藏 引用
第九届全国容错计算学术大会
作者: 梅琳 杜晓晨 李茜 徐永森 南京大学计算机科学与技术系软件新技术国家重点实验室(江苏南京)
评估软件质量涉及到定性和定量两个方面.在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量.面向对象技术的新特点给软件度量提出了新的要求.本文提出了一种针对面向对象程序分析的度量自动化参考模型MOOP,该模型采用三层结构... 详细信息
来源: 评论
用于不完全信息数据库的中介逻辑演算系统MPM
用于不完全信息数据库的中介逻辑演算系统MPM
收藏 引用
第18届全国数据库学术会议
作者: 毛宇光 南京航空航天大学计算机系(南京) 徐洁磐 刘滔 周勇 南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机系(南京)
为满足不安全信息数据库的应用需求,本文提出了一种新的中介逻辑命题演算系统,证明了它是一种命题联结词含量不完全的逻辑系统,并证明了其可靠性和完备性.
来源: 评论
基于矢量邻接图的剖面域识别与重建
收藏 引用
工程图学学报 2001年 第4期22卷 7-12页
作者: 张习文 蔡士杰 欧宗瑛 南京大学计算机软件新技术国家重点实验室 南京210093 大连理工大学机械工程学院CAD&CG研究所 大连116024
在矢量化后识别剖面域是进行图形语义理解的一个重要部分。本文先对扫描工程图样进行基于单义域邻接图的矢量化。然后基于矢量邻接图以剖面线段为特征图元,根据剖面线构成语法规则,搜索属于同一剖面域的所有剖面线段,并根据剖面线提取... 详细信息
来源: 评论
中介逻辑谓词演算系统MFM
中介逻辑谓词演算系统MFM
收藏 引用
2001年全国理论计算机科学学术会议
作者: 毛宇光 南京航空航天大学计算机科学研究所(南京) 徐洁磬 南京大学计算机科学与技术系(南京) 周勇 朱梧槚 南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机科学研究所(南京)
本文以中介逻辑谓词演算系统MF为基础,构造了基于命题联结词^、V、→、ヲ和ヘ的新中介逻辑谓词演算系统MF,并证明了其可靠性和完备性.
来源: 评论
中介逻辑命题演算系统MPM的范式
中介逻辑命题演算系统MPM的范式
收藏 引用
2001年全国理论计算机科学学术会议
作者: 毛宇光 南京航空航天大学计算机科学研究所(南京) 徐洁磐 南京大学计算机科学与技术系(南京) 韩波 张仕 张志政 南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机科学研究所(南京)
本文讨论了中介逻辑命题演算系统MPM的一些基本等值公式和范式定理.
来源: 评论
一种从面向对象Z规约到代码的精化演算方法
收藏 引用
软件学报 2000年 第8期11卷 1041-1046页
作者: 王云峰 庞军 查鸣 杨朝晖 郑国梁 南京大学计算机软件新技术国家重点实验室
COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不... 详细信息
来源: 评论
面向对象Z的子类型继承和推理规则
收藏 引用
软件学报 2000年 第4期11卷 481-487页
作者: 王云峰 *** 李必信 郑国梁 南京大学计算机软件新技术国家重点实验室
讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所... 详细信息
来源: 评论