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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

336 篇 会议

馆藏范围

336 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

317 篇 工学
- 231 篇 计算机科学与技术...
- 102 篇 软件工程
- 42 篇 信息与通信工程
- 25 篇 控制科学与工程
- 23 篇 仪器科学与技术
- 22 篇 机械工程
- 20 篇 网络空间安全
- 15 篇 电子科学与技术（可...
- 2 篇 建筑学
- 2 篇 公安技术
- 1 篇 材料科学与工程（可...
- 1 篇 电气工程
- 1 篇 地质资源与地质工...
- 1 篇 交通运输工程
- 1 篇 生物医学工程（可授...
79 篇 管理学
- 76 篇 管理科学与工程(可...
- 4 篇 工商管理
- 1 篇 公共管理
- 1 篇 图书情报与档案管...
12 篇 理学
- 8 篇 系统科学
- 5 篇 数学
7 篇 艺术学
- 7 篇 设计学（可授艺术学...
1 篇 经济学
- 1 篇 应用经济学
1 篇 历史学
- 1 篇 考古学
1 篇 农学
- 1 篇 水产

主题

20 篇 计算机应用
20 篇 计算机技术
16 篇 系统结构
15 篇 程序设计
15 篇 算法
13 篇 系统设计
13 篇 程序系统
10 篇 计算机系统
10 篇 并行计算机
9 篇 网络管理
9 篇 人工智能
8 篇 并行处理
8 篇 计算机图形学
7 篇 系统程序
7 篇 数据库
7 篇 操作系统
6 篇 体系结构
6 篇 结构设计
5 篇 微处理机
5 篇 网络安全

机构

88 篇 中国科学院计算技...
54 篇 中国科学院
30 篇 中国科学院沈阳计...
13 篇 中国科学院计算机...
12 篇 中科院沈阳计算技...
11 篇 中国科学院软件研...
9 篇 中国科学院研究生...
9 篇 中科院软件所
7 篇 清华大学
5 篇 哈尔滨工业大学
4 篇 北京中庆微数字设...
4 篇 中国科学院计算技...
4 篇 中国人民大学
4 篇 国家智能计算机研...
4 篇 中国科学院信息安...
3 篇 中科院计算所
3 篇 中科院计算技术研...
3 篇 中国科学院计算技...
3 篇 北京大学
3 篇 北京航空航天大学

作者

13 篇 高文
11 篇 钱华林
10 篇 史忠植
10 篇 李锦涛
9 篇 阎保平
8 篇 张兆庆
8 篇 刘慎权
8 篇 吴志美
7 篇 倪光南
7 篇 雷为民
7 篇 韩承德
6 篇 林守勋
6 篇 卿斯汉
5 篇 顾毓清
5 篇 侯紫峰
5 篇 白硕
5 篇 唐卫清
5 篇 丁柯
5 篇 徐志伟
4 篇 李彤

语言

336 篇 中文

检索条件"任意字段=中国计算机学会计算机科学与技术研究生学术讨论会"

共 336 条记录，以下是11-20 订阅

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

详细简洁

排序：

模型检查技术在分布式算法设计中的应用

模型检查技术在分布式算法设计中的应用

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：赵海云郭亮中国科学院软件研究所计算机科学重点实验室北京100080

模型检查是验证有穷状态系统的有用工具.在系统违背性质时它可以给出反例,从而帮助人们发现错误的根源.本文中我们用线性时序逻辑模型检查工具SPIN验证了一个分布式算法,发现了算法中的一些错误.经过改进,最终得到了一个正确的算法.

模型检查是验证有穷状态系统的有用工具.在系统违背性质时它可以给出反例,从而帮助人们发现错误的根源.本文中我们用线性时序逻辑模型检查工具SPIN验证了一个分布式算法,发现了算法中的一些错误.经过改进,最终得到了一个正确的算法.

关键词：模型检查分布式算法分布式系统共享存储

来源：评论

学校读者我要写书评

暂无评论

大屏幕并行显示技术综述

大屏幕并行显示技术综述

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：姚继锋软件研究所并行软件研究与开发中心计算机科学开放实验室

计算机计算能力的提高使得对计算产生的海量数据的可视化成为瓶颈.大屏幕并行显示技术采用多个单独驱动的显示设备取代原有的单个显示设备,不仅成倍增加了显示尺寸,并行计算技术的运用还大大提高了数据处理的速度.本文介绍了大屏幕并行... 详细信息

计算机计算能力的提高使得对计算产生的海量数据的可视化成为瓶颈.大屏幕并行显示技术采用多个单独驱动的显示设备取代原有的单个显示设备,不仅成倍增加了显示尺寸,并行计算技术的运用还大大提高了数据处理的速度.本文介绍了大屏幕并行显示技术的研究现状,并指出了进一步研究需要解决的主要问题.

关键词：并行计算可视化大屏幕显示

来源：评论

学校读者我要写书评

暂无评论

一个静态测试工具的规约语言的实现

一个静态测试工具的规约语言的实现

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：杨宇张健中国科学院软件研究所计算机科学重点实验室北京100080

本文阐述了一个静态软件测试工具中使用的规约语言的设计和相应翻译工具的实现.该规约语言以一阶逻辑和集合论为基础,提供了集合、包等抽象的数学概念,能够用于描述程序的前置断言和后置断言.实现的工具能够将该形式规约翻译为一个静态... 详细信息

本文阐述了一个静态软件测试工具中使用的规约语言的设计和相应翻译工具的实现.该规约语言以一阶逻辑和集合论为基础,提供了集合、包等抽象的数学概念,能够用于描述程序的前置断言和后置断言.实现的工具能够将该形式规约翻译为一个静态测试工具所能接受的布尔表达式形式的输入.

关键词：形式规约静态测试

来源：评论

学校读者我要写书评

暂无评论

AAA技术的现状与发展

AAA技术的现状与发展

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：朱海龙张国清中科院计算所信息网络室北京100080

本文首先介绍了AAA系统的基本框架,然后对目前主流的AAA协议RADIUS和TACACS+进行了分析和比较,描述了对RADIUS流控问题的解决思路,最后介绍下一代AAA协议Diameter和AAA技术未来的应用前景与发展趋势.

本文首先介绍了AAA系统的基本框架,然后对目前主流的AAA协议RADIUS和TACACS+进行了分析和比较,描述了对RADIUS流控问题的解决思路,最后介绍下一代AAA协议Diameter和AAA技术未来的应用前景与发展趋势.

关键词： AAAA协议认证授权网络计费

来源：评论

学校读者我要写书评

暂无评论

多层交换中支持Qos的流分类模块的实现

多层交换中支持Qos的流分类模块的实现

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：方丽孙薇中国科学院沈阳计算技术研究所网络与通信研究室沈阳110004

流分类技术为数据流在网络传输中实现服务等级(Class_of_Service)提供了方法,从而可以合理使用网络带宽,支持QoS.本文给出了在多层交换中,具有优先级设定、交换重定向、流控制等功能的流分类模块的实现方法.

流分类技术为数据流在网络传输中实现服务等级(Class_of_Service)提供了方法,从而可以合理使用网络带宽,支持QoS.本文给出了在多层交换中,具有优先级设定、交换重定向、流控制等功能的流分类模块的实现方法.

关键词：多层交换流分类流控制网络传输

来源：评论

学校读者我要写书评

暂无评论

消息队列中间件在分布式系统中的应用

消息队列中间件在分布式系统中的应用

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：杨薇薇杨秀霞中国科学院软件研究所北京100080

本文概述了中间件技术的基本概念和分类.并以IBM MQseries为例,介绍了消息队列中间件的特点和优势.并着重介绍了消息队列中间件技术在新华社编辑系统的设计与实现思想.

本文概述了中间件技术的基本概念和分类.并以IBM MQseries为例,介绍了消息队列中间件的特点和优势.并着重介绍了消息队列中间件技术在新华社编辑系统的设计与实现思想.

关键词：中间件消息中间件消息队列机制 MOM MQI CORBA

来源：评论

学校读者我要写书评

暂无评论

WDM/NDIS模型下网络协议驱动程序设计

WDM/NDIS模型下网络协议驱动程序设计

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：周超蒋宁孟爱霞中科院沈阳计算技术研究所沈阳110004

结合Windows2000的WDM驱动程序模型和Windows环境下网络驱动程序所遵循的标准NDIS,介绍了Windows2000下网络协议驱动程序的设计,包括WDM的工作原理、驱动程序的结构与工作方式,并解释了驱动程序的设计思路.

结合Windows2000的WDM驱动程序模型和Windows环境下网络驱动程序所遵循的标准NDIS,介绍了Windows2000下网络协议驱动程序的设计,包括WDM的工作原理、驱动程序的结构与工作方式,并解释了驱动程序的设计思路.

关键词：驱动程序网络协议程序设计

来源：评论

学校读者我要写书评

暂无评论

EBMT中的英汉平行语料短语对齐算法

EBMT中的英汉平行语料短语对齐算法

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：薛松孙乐孙玉芳中国科学院软件研究所开放系统与中文信息处理中心北京100080

简要介绍了EBMT的机器翻译方法和EBMT中的双语平行语料对齐问题.提出了一种基于短语内聚性的可应用于技术文档平行语料的短语对齐的方法,这种方法只需要对平行语料的一方进行句法分析.

简要介绍了EBMT的机器翻译方法和EBMT中的双语平行语料对齐问题.提出了一种基于短语内聚性的可应用于技术文档平行语料的短语对齐的方法,这种方法只需要对平行语料的一方进行句法分析.

关键词：平行语料短语对齐短语内聚性机器翻译

来源：评论

学校读者我要写书评

暂无评论

远程实时监控系统的设计和实现

远程实时监控系统的设计和实现

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：张晓山中国科学院研究生院沈阳计算技术研究所沈阳110004

本文详细讨论了远程实时监控系统的体系结构和通信过程.通过对远程实时监控系统的服务器端和客户端以及库表结构的详细讨论,使得我们对该远程实时监控系统有了较深入地了解.而通过对系统进程状态的分析,使得我们对于实现系统进程状态的... 详细信息

本文详细讨论了远程实时监控系统的体系结构和通信过程.通过对远程实时监控系统的服务器端和客户端以及库表结构的详细讨论,使得我们对该远程实时监控系统有了较深入地了解.而通过对系统进程状态的分析,使得我们对于实现系统进程状态的新的方法有了了更加清晰地认识.

关键词：远程监控系统进程状态监控库表结构

来源：评论

学校读者我要写书评

暂无评论

Profibus现场总线技术在数控领域的应用

Profibus现场总线技术在数控领域的应用

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：金程吴平刘伟中科院沈阳计算技术研究所沈阳110004 中科院沈阳计算技术研究所沈阳110004 中科院沈阳计算技术研究所沈阳110004

现场总线技术的发展,引起传统控制系统结构的改变.许多基于现场总线技术的先进控制系统应运而生.本文介绍了Profibus现场总线技术在数控领域的一个应用.

现场总线技术的发展,引起传统控制系统结构的改变.许多基于现场总线技术的先进控制系统应运而生.本文介绍了Profibus现场总线技术在数控领域的一个应用.

关键词：现场总线先进控制系统系统结构

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共34页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

版权所有：内蒙古大学图书馆技术提供：维普资讯• 智图

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021