检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

3,124 篇 期刊文献
517 篇 会议
1 篇 成果

馆藏范围

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

日期分布

学科分类号

3,374 篇 工学
- 2,631 篇 计算机科学与技术...
- 1,791 篇 软件工程
- 515 篇 控制科学与工程
- 341 篇 机械工程
- 273 篇 网络空间安全
- 193 篇 信息与通信工程
- 192 篇 仪器科学与技术
- 61 篇 电子科学与技术（可...
- 39 篇 建筑学
- 16 篇 土木工程
- 13 篇 电气工程
- 13 篇 公安技术
- 12 篇 地质资源与地质工...
- 10 篇 石油与天然气工程
- 10 篇 交通运输工程
- 7 篇 光学工程
1,104 篇 管理学
- 1,084 篇 管理科学与工程(可...
- 18 篇 图书情报与档案管...
- 15 篇 工商管理
144 篇 理学
- 74 篇 数学
- 55 篇 系统科学
- 7 篇 物理学
81 篇 艺术学
- 80 篇 设计学（可授艺术学...
- 10 篇 美术学
28 篇 教育学
- 28 篇 教育学
28 篇 医学
- 11 篇 临床医学
- 9 篇 中医学
20 篇 文学
- 9 篇 外国语言文学
19 篇 经济学
- 17 篇 应用经济学
11 篇 哲学
- 11 篇 哲学
7 篇 农学
7 篇 军事学
3 篇 法学
3 篇 历史学

主题

120 篇 机器学习
99 篇 神经网络
89 篇 面向对象
74 篇 无线传感器网络
72 篇 人工智能
62 篇 internet
57 篇 数据挖掘
52 篇 计算机
46 篇 软件开发
46 篇 深度学习
42 篇 计算机网络
40 篇 软件工程
38 篇 软件测试
37 篇 信息检索
36 篇 遗传算法
36 篇 移动agent
36 篇 设计
34 篇 数据库
33 篇 强化学习
33 篇 入侵检测

机构

3,120 篇 南京大学
503 篇 计算机软件新技术...
210 篇 南京航空航天大学
187 篇 南京邮电大学
89 篇 扬州大学
77 篇 辽宁师范大学
72 篇 南京理工大学
70 篇 宁波大学
57 篇 南京工业大学
56 篇 东南大学
54 篇 南京大学计算机软...
41 篇 南通大学
40 篇 苏州大学
33 篇 南京师范大学
29 篇 解放军理工大学
27 篇 南京信息工程大学
24 篇 西南交通大学
22 篇 南京中医药大学
21 篇 安徽大学
20 篇 南京邮电学院

作者

227 篇 谢立
191 篇 陈世福
181 篇 吕建
163 篇 潘金贵
133 篇 周志华
130 篇 陈道蓄
105 篇 王汝传
102 篇 黄皓
93 篇 陈兆乾
92 篇 高阳
88 篇 李宣东
86 篇 蔡士杰
85 篇 曾庆凯
83 篇 孙正兴
81 篇 张福炎
80 篇 陶先平
76 篇 柏文阳
76 篇 谢俊元
75 篇 王崇骏
74 篇 郑国梁

语言

3,640 篇 中文
2 篇 英文

检索条件"机构=南京大学计算机系计算机软件新技术国家重点实验室"

共 3642 条记录，以下是3281-3290 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

消息顺序图规范的时间一致性检验工具

消息顺序图规范的时间一致性检验工具

引用

863计划智能计算机主题学术会议

作者：谭文凯南京大学计算机科学与技术系(南京) 李宣东郑国梁南京大学计算机软件新技术国家重点实验室(南京)

对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specifications,以下简称MSS)能方便地表示多个场景并提供了一种直观可视的方法来描述设计需求.但是,如同其它的规范... 详细信息

对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specifications,以下简称MSS)能方便地表示多个场景并提供了一种直观可视的方法来描述设计需求.但是,如同其它的规范和设计过程,MSC也很容易出错,所以对它们进行分析是很有必要的.本文分析了带时间约束的MSS,并给出了一个检验MSS时间一致性的工具的设计和实现过程.

关键词：实时系统消息顺序图规范模型检验时间一致性

来源：评论

学校读者我要写书评

暂无评论

基于WWW方式的法律法规检索系统的设计与实现

基于WWW方式的法律法规检索系统的设计与实现

引用

第18届全国数据库学术会议

作者：魏国志骆斌商琳南京大学计算机软件新技术国家重点实验室(南京)

本文描述了一种基于WWW浏览方式的法律法规检索系统的设计和实现技术.该系统具有全文检索、标题检索、时间检索和组合检索等检索功能,并支持多种系统平台.本文重点介绍了系统的总体结构、功能以及全文检索的实现技术.

关键词：信息检索全文检索法律法规检索

来源：评论

学校读者我要写书评

暂无评论

JAPS中的数据线性划分算法

JAPS中的数据线性划分算法

引用

2001年全国开放式分布与并行计算学术会议

作者：胡南军刘勇周刚陈道蓄谢立南京大学计算机软件新技术国家重点实验室(南京)

随着分布式存储器系统作为并行计算支撑环境的广泛应用,针对分布式系统的并行编译器的研究越来越受到研究者的关注.其中如何在分布式系统中进行合理的数据划分和分布,以充分利用分布式系统特有的计算能力,同时降低机间通讯的传输代价已... 详细信息

随着分布式存储器系统作为并行计算支撑环境的广泛应用,针对分布式系统的并行编译器的研究越来越受到研究者的关注.其中如何在分布式系统中进行合理的数据划分和分布,以充分利用分布式系统特有的计算能力,同时降低机间通讯的传输代价已成为这一领域的研究重点.针对一种数据划分算法的局限,提出了一种改进的数据线性划分算法,增强了原算法解决问题的能力,并将该算法实现于自行开发的基于JAVA的并行编译器JAPS.

关键词：数据划分并行编译器分布式存储环境并行计算

来源：评论

学校读者我要写书评

暂无评论

行动推理中的结果问题

行动推理中的结果问题

引用

第六届中国人工智能职合学术会议

作者：戈也挺朱朝晖骆斌陈世福南京大学计算机软件新技术国家重点实验室(南京)

行动推理是人工智能研究的重要课题,结果问题是目前行动推理研究的核心问题之一.结果问题的解决方法可分为极小化方法和基于因果关系方法两大类.本文首先说明了结果问题的困难所在.随后,概述了简单极小化,分类极小化的典型方法,指出了... 详细信息

行动推理是人工智能研究的重要课题,结果问题是目前行动推理研究的核心问题之一.结果问题的解决方法可分为极小化方法和基于因果关系方法两大类.本文首先说明了结果问题的困难所在.随后,概述了简单极小化,分类极小化的典型方法,指出了极小化方法存在的问题和有关行动推理无理论研究方面的一些结果.在基于因果关系方法介绍中,描述了Lin方法、McCain和Turner方法、GMS方法和Thielscher方法等典型方法及其存在的问题.在一些有关因果关系的评价标准方面的讨论之后,是对结果问题解决前景的一些评价.

关键词：结果问题行动推理常识推理极小化方法因果关系方法人工智能

来源：评论

学校读者我要写书评

暂无评论

并行编译中数据分布的线性划分模式计算

并行编译中数据分布的线性划分模式计算

引用

2001年全国理论计算机科学学术会议