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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

762 篇 会议
239 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

642 篇 工学
- 506 篇 计算机科学与技术...
- 363 篇 软件工程
- 112 篇 信息与通信工程
- 66 篇 电子科学与技术（可...
- 63 篇 控制科学与工程
- 45 篇 生物工程
- 43 篇 机械工程
- 32 篇 电气工程
- 23 篇 仪器科学与技术
- 21 篇 动力工程及工程热...
- 15 篇 材料科学与工程（可...
- 15 篇 化学工程与技术
- 14 篇 网络空间安全
- 13 篇 土木工程
- 11 篇 力学（可授工学、理...
- 11 篇 农业工程
- 11 篇 环境科学与工程（可...
- 10 篇 建筑学
- 10 篇 交通运输工程
246 篇 理学
- 161 篇 数学
- 48 篇 生物学
- 36 篇 系统科学
- 35 篇 统计学（可授理学、...
- 34 篇 物理学
- 17 篇 化学
158 篇 管理学
- 106 篇 管理科学与工程(可...
- 55 篇 图书情报与档案管...
- 29 篇 工商管理
18 篇 法学
- 15 篇 社会学
12 篇 农学
11 篇 经济学
- 11 篇 应用经济学
8 篇 教育学
4 篇 医学
3 篇 文学
3 篇 军事学
2 篇 艺术学

主题

42 篇 distributed proc...
41 篇 laboratories
37 篇 computational mo...
29 篇 kernel
28 篇 concurrent compu...
28 篇 algorithm design...
27 篇 benchmark testin...
25 篇 fault tolerance
25 篇 computer archite...
25 篇 graphics process...
24 篇 hardware
22 篇 feature extracti...
22 篇 cloud computing
21 篇 servers
21 篇 protocols
20 篇 parallel process...
20 篇 throughput
20 篇 semantics
19 篇 distributed comp...
18 篇 bandwidth

机构

169 篇 national laborat...
134 篇 science and tech...
93 篇 college of compu...
88 篇 national laborat...
81 篇 national laborat...
38 篇 national laborat...
35 篇 school of comput...
29 篇 national key lab...
22 篇 science and tech...
22 篇 national key lab...
18 篇 national laborat...
16 篇 national laborat...
14 篇 national laborat...
13 篇 national key lab...
13 篇 school of comput...
12 篇 national laborat...
12 篇 national key lab...
10 篇 national laborat...
10 篇 national key lab...
10 篇 national univers...

作者

40 篇 wang huaimin
37 篇 wang ji
37 篇 yong dou
35 篇 liu jie
35 篇 ji wang
31 篇 jie liu
29 篇 huaimin wang
28 篇 dou yong
27 篇 dongsheng li
27 篇 xiaodong wang
26 篇 peng yuxing
26 篇 yin gang
25 篇 yuxing peng
24 篇 li dongsheng
24 篇 yijie wang
23 篇 wang yijie
21 篇 xicheng lu
21 篇 xingming zhou
20 篇 gang yin
20 篇 zhigang luo

语言

937 篇 英文
62 篇 中文
5 篇 其他

检索条件"机构=National Laboratory for Parallel&Distributed Processing"

共 1004 条记录，以下是931-940 订阅

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

详细简洁

排序：

Towards a Framework for Scalable Model Checking of Concurrent C Programs

Towards a Framework for Scalable Model Checking of Concurren...

引用

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)

作者： Ji Wang Xiaodong Yi Xuejun Yang National Laboratory for Parallel and Distributed Processing Changsha China

The paper presents a novel framework for scalable model checking of concurrent C programs. With the idea of verification reuse, it shows an integrated approach to efficient reduction of state space by abstraction, symbolic representation and dynamic partial-order reduction (DPOR) techniques. The framework is founded on an over-approximated model of the concurrent program by variable abstraction, and combines DPOR with lightweight symbolic execution to generate the symbolic conditions for all locations, called -conditions, which are intended for verification reuse. The -conditions of a location are weak approximation of the conditions that must be satisfied at that location so as to guarantee the temporal safety properties to be verified. These conditions will be checked for reusing the previous exploration in verification, and will be iteratively refined under the guidance of spurious counterexamples. The presented framework is demonstrated by several experiments including a concurrent software system whose server and client processes are derived from openssl-0.9.6c C source codes implementing the SSL protocol.

关键词： State-space methods Safety Open source software Java Laboratories distributed processing Space exploration Interleaved codes Scalability Software systems

来源：评论

学校读者我要写书评

暂无评论

能量敏感实时系统离线节能调度技术研究

能量敏感实时系统离线节能调度技术研究

引用

第18届全国计算机新科技与计算机教育学术大会

作者： ZHANG Dongsong 张冬松 WU Tong 吴彤 JIN Shiyao 金士尧 WANG Bing 王兵 National Laboratory of Parallel and Distributed Processing National University of Defense Technology 国防科学技术大学并行与分布处理国家重点实验室长沙410073 Modemized Education Technology Center University of Shanghai for Science and TechnologyShanghai 200 上海理工大学现代化教学中心上海200093

近年来在能量敏感实时系统领域出现了许多节能调度技术，但大多忽视了实际处理器所具有的时间和能量转变开销以及电压/频率调节的离散性等限制。对于许多硬实时应用来说，忽视这些细节可能会得到次最优甚至是无效的结果。本文对有关静... 详细信息

近年来在能量敏感实时系统领域出现了许多节能调度技术，但大多忽视了实际处理器所具有的时间和能量转变开销以及电压/频率调节的离散性等限制。对于许多硬实时应用来说，忽视这些细节可能会得到次最优甚至是无效的结果。本文对有关静态任务调度和电压分配技术进行了分析和探讨，针对以上实际限制提出了空闲时间选择法，通过理论证明优于忙周期选择法，并给出改进后的统一的离线节能调度优化技术。

关键词：能量敏感实时系统离线节能调度静态任务调度电压分配技术空闲时间选择法

来源：评论

学校读者我要写书评

暂无评论

A Hyper-cube based P2P Information Service for Data Grid

A Hyper-cube based P2P Information Service for Data Grid

引用

International Conference on Grid and Cooperative Computing (GCC)

作者： Hao Ren Zhiying Wang Zhong Liu National Laboratory for Parallel and Distributed processing National University of Defense Technology China

There are many researches use peer-to-peer model to organize the grid information service (GIS) and have been testified which be able to improve scalability and reliability of grid environment. However, data grid information service (DGIS) has its special requirements and all approaches of P2P model used in GIS cannot be applied to DGIS. In this paper, we propose a new approach for DGIS that imposes a deterministic P2P shape based on hypercube topology, which allows for very efficient query broadcasting. Furthermore, we proposed a transposition algorithm to optimize the overlay network's topology according to the access statistics between peers, making the peers always access each other become neighbor by transposing peer's place. The simulation shows that the transposition algorithm could significant improve searches efficiency

关键词： Geographic Information Systems Peer to peer computing Scalability Network topology Grid computing Broadcasting Routing Guns Network servers Laboratories

来源：评论

学校读者我要写书评

暂无评论

Model checking suspendible business processes via statechart diagrams and CSP

Model checking suspendible business processes via statechart...

引用

4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

作者： Yeung, W.L. Leung, K.R.P.H. Wang, Ji Dong, Wei Lingnan University Hong Kong Hong Kong Hong Kong Institute of Vocational Education Hong Kong Hong Kong National Laboratory for Parallel and Distributed Processing Changsha Hunan China

ISBN: (纸本)9789728865498

When using statechart diagrams, the history mechanism can be useful for modelling the suspension of a "normal" business process upon certain "abnormal" events together with the subsequent resumption, as illustrated by the examples in this paper. However, previous approaches to model checking statechart diagrams often ignore the history mechanism. We enhanced such a previous approach based on Communicating Sequential Processes (CSP) and developed a support tool for it.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Large-Scale DNA Sequence Assembly by Using Computing Grid

Large-Scale DNA Sequence Assembly by Using Computing Grid

引用

International Conference on Grid and Cooperative Computing Workshops (GCCW)

作者： Xiaoyong Fang Zhigang Luo Zhenghua Wang Fan Ding National Laboratory for Parallel & Distributed Processing National University of Defense Technology Changsha Hunan China

DNA sequence assembly is a fundamental part of biological computing. However, most of the large-scale sequence assemblies require intensive computing power and huge storage. To speed up the assembly process, we here propose a method for large-scale DNA sequence assembly by using computing grid. The central idea of our method is to first cluster the input of fragment set into many non-intersected subsets using k-mers and then to distribute them to all nodes of the grid-computing system. Our method has accuracy of more than 92% on the test data sets under the simulated grid-computing system but costing shorter time and lower storage. Our method can efficiently process large-scale DNA sequence assembly by taking advantage of huge storage and computing capacity of computing gird

关键词： Large-scale systems Sequences DNA computing Grid computing distributed computing Genomics Bioinformatics Biology computing Assembly systems Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

A Semantic-based Meteorology Grid Service Registry, Discovery and Composition Framework

A Semantic-based Meteorology Grid Service Registry, Discover...

引用

International Conference on Semantics, Knowledge and Grid (SKG)

作者： Kaijun Ren Kaijun Ren Nong Xiao Nong Xiao Junqiang Song Junqiang Song Weimin Zhang Weimin Zhang Tao Chen Tao Chen National Laboratory for Parallel and Distributed Processingm College of Science National University of Defense Technology Changsha Hunan China National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha Hunan China

Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-based meteorology grid service registry, discovery and composition framework by combining grid technologies and the advantages of semantic web techniques. The main objective of the framework is to support automating the discovery, selection, and workflow composition of semantically described heterogeneous meteorological grid services, which offers the possibility of facilitating geographically distributed meteorological scientists to resolve complex scientific problems cooperately. With this framework, the key technologies such as semantic registry, semantic matchmaking, QoS ranking and composition model, will be discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The research of a semantic architecture in meteorology grid computing

引用

APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE

作者： Kaijun, Ren Nong, Xiao Junqiang, Song Weimin, Zhang Peng, Wang National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha Hunan 410073 China Science College National University of Defense Technology Changsha Hunan 410073 China Southwest Inst.of Electron. and Telecom.Tech. Shanghai 200434 China

ISBN: (纸本)3540311580

Meteorology is a complex, interdisciplinary area. Meteorology Grid Computing tries to offer a flexible, secure, coordinated resource sharing and problem-resolving environment by making good use of semantic grid ideas. In this paper, a semantic architecture in Meteorology Grid Computing is presented. With the architecture, we firstly discussed the Semantic Computing Service according to the semantic descriptions of grid computing resource. Then Semantic Data Access Service is illuminated by constructing automatic metadata mapping, which provides users with the convenience to quickly access data storage facilities in on-demand manner. Finally, Meteorology Grid Expert System is presented, and it will offer meteorology knowledge environments to facilitate the forecasters and scientists with analyzing the future weather situation. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Application of Grid to GRAPES Meso-Scale Model

Application of Grid to GRAPES Meso-Scale Model

引用

International Conference on Semantics, Knowledge and Grid (SKG)

作者： Xuesheng Yang Xuesheng Yang Weimin Zhang Weimin Zhang Yongzhu Liu Yongzhu Liu Dehui Chen Dehui Chen LASW Chinese Academy of Meteorological Sciences Beijing China Parallel and Distributed Processing for National Laboratory Changsha China

Considering the fact that the computing resources and NWP model developers within the framework of the China Meteorological Administration (CMA) are distributed widespread across the countries, and that the NWP systems very much depend on datasharing, remote collaborative research, heavy computation, massive data and intensive services, the Meso-scale Model Application Grid (MMAG) has been established based on the grid technology. Ultimately this platform has aggregated the distributed computing resources and NWP software at CAMS, NMIC, STI, GRMC and GXMB. The GRAPES Meso-scale model runs routinely on MMAG and users can access the NWP products at the designated website. It also provides a remote collaborative research environment for the geographical distributed scientists to make contributions to the improvement of the GRAPES.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Minimum Redundancy Gene Selection Based on Grey Relational Analysis

Minimum Redundancy Gene Selection Based on Grey Relational A...

引用

IEEE International Conference on Data Mining Workshops (ICDM Workshops)

作者： Li-juan Zhang Zhou-jun Li Huo-wang Chen Jian Wen National Laboratory for Parallel and Distributed Processing Changsha China School of Computer Science & Engineering Beihang University Beijing China

In this article we describe a method for selecting informative genes from microarray data. The method is based on clustering, namely, it first find similar genes, group them and then select informative genes from these groups to avoid redundancy. A new gene similarity measure based on grey relational analysis (GRA), called grey relational grade (GRG), is used in clustering. Experiments on three public data sets demonstrate the effectiveness of our method

关键词： Gene expression Data analysis Laboratories distributed processing Computer science Data engineering Signal to noise ratio Mutual information Data mining Conferences

来源：评论

学校读者我要写书评

暂无评论

A Novel Conceptual Fish-like Robot Inspired by Rhinecanthus Aculeatus

A Novel Conceptual Fish-like Robot Inspired by Rhinecanthus ...

引用

International Conference on Control, Automation, Robotics and Vision (ICARCV)

作者： Tianjiang Hu Guangming Wang Lincheng Shen Fei Li Institute of Automation National University of Defense Technology Changsha China National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha China

This paper proposes a novel conceptual underwater bio-robot inspired by Rhinecanthus aculeatus, which belongs to median and/or paired fin (MPF) propulsion fish and impresses researchers with agility by cooperative undulation of the dorsal-and-anal fins. Such a fish-like robot is anticipated to outperform the conventional aquatic robots in maneuverability and stability for oceanic exploitation necessities, e.g. benthonic mineral exploration. To begin with, a specimen of R. aculeatus was filmed in a glass aquarium (150cm times 50cm times 60cm) in which artificial seawater was maintained at 26 degC or so. Afterwards, we analyzed a few characteristics in morphology and locomotion with image processing and other approaches. The morphological and kinematical bionic inspirations were summarized, and in succession, we elaborately delineated the design scheme of our conceptual robotic fish including the schematic architectures, the structural and outside form, and the undulatory multi-fin propulsor

关键词： Robots Marine animals Robotics and automation Propulsion Minerals Automotive engineering Remotely operated vehicles Stability Morphology Underwater vehicles

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共101页 << < 90 91 92 93 94 95 96 97 98 99 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

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

请选择保存的检索档案：

请选择收藏分类：