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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,601 篇 会议
62 篇 期刊文献
40 册 图书

馆藏范围

1,701 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,241 篇 工学
- 869 篇 计算机科学与技术...
- 533 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 67 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
354 篇 理学
- 210 篇 数学
- 60 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 52 篇 生物学
- 27 篇 化学
212 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
42 篇 医学
- 33 篇 临床医学
27 篇 法学
26 篇 经济学
- 25 篇 应用经济学
16 篇 教育学
10 篇 农学
3 篇 军事学
2 篇 文学
1 篇 历史学
1 篇 艺术学

主题

64 篇 model checking
48 篇 tools
29 篇 static analysis
28 篇 algorithm design...
26 篇 data mining
25 篇 real-time system...
24 篇 real time system...
23 篇 analytical model...
22 篇 software enginee...
21 篇 semantics
21 篇 software
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
16 篇 database systems
16 篇 construction ind...
16 篇 artificial intel...
16 篇 data analysis

机构

12 篇 ludwig maximilia...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 univ illinois ur...
5 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 carnegie mellon ...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 univ colorado bo...
3 篇 aalborg univ dep...
3 篇 school of constr...
3 篇 natl inst inform...
3 篇 carnegie mellon ...
3 篇 lviv polytechnic...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 hermanns holger
8 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 kwiatkowska mart...
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,630 篇 英文
41 篇 其他
16 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

检索条件"任意字段=10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1703 条记录，以下是341-350 订阅

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

详细简洁

排序：

Structure Design of a Cleaning Robot for Underwater Hull Surface 10th

Structure Design of a Cleaning Robot for Underwater Hull Sur...

引用

10th international conference on Computer Engineering and Networks, CENet 2020

作者： Sun, Qin Guan, Zhiguang Zhang, Dong School of Construction Machinery Shandong Jiaotong University Jinan250357 China Institute of Automation Shandong Academy of Sciences Jinan250000 China

ISBN: (纸本)9789811584619

A cleaning robot for underwater hull surface is designed, which mainly includes adsorption mode, track driving mode, driving mechanism and cleaning mechanism. the double track moving mode has the advantages of large contact area with the hull surface, good adaptability to the wall surface, large magnetic adsorption capacity, strong bearing capacity and stable movement. the form of rear drive was adopted. When the track passes through the obstacle, the magnetic track that the robot fits on the hull surface is lengthened, so that the track can better adapt to the fluctuation of the hull surface. Washing tools are divided into soft material cleaning tools and hard material cleaning tools. Only the soft material cutter is close to the hull surface, which can avoid the damage of the hull surface. Electromagnet adsorption mode was adopted, which is easy to realize rapid movement. In addition, the working range can be increased with the rotary mechanism, and the working efficiency can be greatly improved with the rotary cleaning head. © 2021, the Editor(s) (if applicable) and the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Machine design

来源：评论

学校读者我要写书评

暂无评论

Structural Invariants for the Verification of systems with Parameterized Architectures 26th

Structural Invariants for the Verification of Systems with P...

引用

26th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Bozga, Marius Esparza, Javier Iosif, Radu Sifakis, Joseph Welzel, Christoph Univ Grenoble Alpes Verimag Grenoble INP CNRS St Martin Dheres France Tech Univ Munich Munich Germany

ISBN: (纸本)9783030451899;9783030451905

We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components communicate by executing atomic interactions whose participants update their states simultaneously. We introduce an interaction logic to specify both the type of interactions (e.g. rendez-vous, broadcast) and the topology of the system (e.g. pipeline, ring). the logic can be easily embedded in monadic second order logic of >= 1 successors (WS kappa S), and is therefore decidable. Proving safety properties of such a parameterized system, like deadlock freedom or mutual exclusion, requires to infer an inductive invariant that contains all reachable states of all system instances, and no unsafe state. We present a method to automatically synthesize inductive invariants directly from the formula describing the interactions, without costly fixed point iterations. We experimentally prove that this invariant is strong enough to verify safety properties of a large number of systems, including textbook examples (dining philosophers, synchronization schemes), classical mutual exclusion algorithms, cache-coherence protocols and self-stabilization algorithms, for an arbitrary number of components.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research Status of Oil Water Separation and Oil Absorption Materials - Visual analysis of Literature Based on Web of Science Database 4

Research Status of Oil Water Separation and Oil Absorption M...

引用

2020 4th international conference on Energy Material, Chemical Engineering and Mining Engineering, EMCEME 2020

作者： Yang, Chenxi Wang, Jian Zhang, Haiou Institute of Land Engineering and Technology Shaanxi Provincial Land Engineering Construction Group Co. Ltd Xi'an710075 China ShaanXi Provincial Land Engineering Construction Group Co. Ltd. Xi'an710075 China Key Laboratory of Degraded and Unused Land Consolidation Engineering Ministry of Land and Resources Xi'an710075 China Shaanxi Provincial Land Consolidation Engineering Technology Research Center Xi'an710075 China

To understand the latest research progress, research trends and future research hotspots of oil-water separation and oil absorption materials for oil spill and oily wastewater at home and abroad, through the web of science core collection database, Based on the literature analysis tools of web of Science (WOS) database, vosviewer visual analysis software and origin, the published literatures on oil-water separation materials and oil absorption materials were quantitatively analyzed in terms of the number of papers published at different times, the top 10 countries (regions), research institutions, research directions, journal sources, etc. the results show that: with the growth of time, the number of papers published gradually increases;China, the United States and India rank the top three, among which China accounts for 40% of the total, indicating that China is in the leading position in this field;among them, Chinese institutions are in the absolute leading position;chemistry, materials and engineering are the most concerned research directions. © 2021 Published under licence by IOP Publishing Ltd.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Design on Underwater Fishing Robot in Shallow Water 10th

Design on Underwater Fishing Robot in Shallow Water

引用

10th international conference on Computer Engineering and Networks, CENet 2020

作者： Guan, Zhiguang Zhang, Dong Lin, Mingxing School of Construction Machinery Shandong Jiaotong University Jinan250357 China Institute of Automation Shandong Academy of Sciences Jinan250000 China School of Mechanical Engineering Shandong University Jinan250061 China

ISBN: (纸本)9789811584619

Underwater fishing robots have been more and more widely used in ocean breeding nowadays. they have become the most effective and potential tools in underwater fishing. A small-scale underwater fishing robot has been developed, which has the functions of sensing and detecting. this robot can measure the conductivity, temperature, depth (CTD) and robots attitude in real time, and at the same time the controller transmits them to the mother ship through CAN bus. In this paper, firstly, the whole structure of the self-designed robot is introduced, then the control system is designed, finally, a physical experiment is carried out. the experiment shows that the robot can meet the design requirement. © 2021, the Editor(s) (if applicable) and the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Manipulators

来源：评论

学校读者我要写书评

暂无评论

Occupational Exposure to Heat in Outdoor Activities in Building constructions in Southeastern Brazil

Occupational Exposure to Heat in Outdoor Activities in Build...

引用

10th international conference on Applied Human Factors and Ergonomics (AHFE) / international conference on Safety Management and Human Factors

作者： Amoriml, Adriana Labaki, Lucila Maia, Paulo Barros, thais Marcelo, Alex Univ Estadual Campinas Sao Paulo Brazil Minist Trabalho Fundacao Jorge Duprat Figueiredo Seguranca & Med Sao Paulo Brazil

ISBN: (纸本)9783030204976;9783030204969

In Brazil, conventional construction sites processes prevail, where the workers develop outdoor activities and are exposed to environment variables, which, along with the personal variables - metabolic rate and clothing - may cause heat stress. this article evaluates the heat exposure that workers with outside activities on concrete slabs during the construction of buildings in the city of Campinas, state of Sao Paulo, in Southeastern Brazil. For the data collection, the analysis and exposure evaluation it was used the norms ISO 7243, ISO 8996, ISO 9920 and the Norma Regulamentadora Brasileira (NR5) that foresees the tolerated limits of heat exposure. It was analyzed the Wet Bulb Globe thermometer Index (WBGT) along with the metabolic rate estimated of 40 exposed construction workers. the results show that, in every season of the year there is the necessity of heat exposure monitoring to avoid health damage to the construction workers' health.

关键词： Heat stress Outdoor activity Metabolic rate construction workers

来源：评论

学校读者我要写书评

暂无评论

the Application of the Performance Hand Wear and tools Innovation Approach: Road Cycling Gloves

The Application of the Performance Hand Wear and Tools Innov...

引用

10th international conference on Applied Human Factors and Ergonomics (AHFE) / international conference on Interdisciplinary Practice in Industrial Design

作者： Sokolowski, Susan L. Hoegsted, Christel thue Univ Oregon Sports Prod Design 70 NW Couch St Portland OR 97209 USA

ISBN: (纸本)9783030204709;9783030204693

Over the last twenty years, the apparel industry has modernized the design process, by integrating digital design tools and technologies to collect and analyze body measurements, draft patterns, conduct fittings and manufacture. However, for performance hand wear and tool design, many of the methods used today are outdated and limit innovation opportunities. By integrating digital design tools from the apparel industry, there is an opportunity to develop products, to improve fit, performance and safety. this is especially important for users that rely on products for hand protection and accuracy, including, athletes, military personal, surgeons, construction and fire service workers. the following paper demonstrates how a performance hand wear and tools innovation approach developed by the author, was used by a graduate student to create a new glove for road cycling. Future work using the approach will aid in designing products for other users and help manufacturers improve safety and overall performance.

关键词： Innovation approach Hand wear tools Design Road cycling gloves

来源：评论

学校读者我要写书评

暂无评论

Endicheck: Dynamic analysis for Detecting Endianness Bugs 26th

Endicheck: Dynamic Analysis for Detecting Endianness Bugs

引用

26th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Kapl, Roman Parizek, Pavel Charles Univ Prague Fac Math & Phys Dept Distributed & Dependable Syst Prague Czech Republic

ISBN: (纸本)9783030452360;9783030452377

Computers store numbers in two mutually incompatible ways: little-endian or big-endian. they differ in the order of bytes within representation of numbers. this ordering is called endianness. When two computer systems, programs or devices communicate, they must agree on which endianness to use, in order to avoid misinterpretation of numeric data values. We present Endicheck, a dynamic analysis tool for detecting endianness bugs, which is based on the popular Valgrind framework. It helps developers to find those code locations in their program where they forgot to swap bytes properly. Endicheck requires less source code annotations than existing tools, such as Sparse used by Linux kernel developers, and it can also detect potential bugs that would only manifest if the given program was run on computer with an opposite endianness. Our approach has been evaluated and validated on the Radeon SI Linux OpenGL driver, which is known to contain endianness-related bugs, and on several open-source programs. Results of experiments show that Endicheck can successfully identify many endianness-related bugs and provide useful diagnostic messages together with the source code locations of respective bugs.

关键词： Linux

来源：评论

学校读者我要写书评

暂无评论

An O(m log n) algorithm for branching bisimilarity on labelled transition systems 26th

An O(m log n) algorithm for branching bisimilarity on labell...

引用

26th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Jansen, David N. Groote, Jan Friso Keiren, Jeroen J. A. Wijs, Anton Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Eindhoven Univ Technol Dept Math & Comp Sci Eindhoven Netherlands

ISBN: (纸本)9783030452360;9783030452377

Branching bisimilarity is a behavioural equivalence relation on labelled transition systems (LTSs) that takes internal actions into account. It has the traditional advantage that algorithms for branching bisimilarity are more efficient than ones for other weak behavioural equivalences, especially weak bisimilarity. With m the number of transitions and n the number of states, the classic O(mn) algorithm was recently replaced by an O(m(log |Act | + log n)) algorithm [9], which is unfortunately rather complex. this paper combines its ideas with the ideas from Valmari [20], resulting in a simpler O(mlog n) algorithm. Benchmarks show that in practice this algorithm is also faster and often far more memory efficient than its predecessors, making it the best option for branching bisimulation minimisation and preprocessing for calculating other weak equivalences on LTSs.

关键词： Branching bisimilarity Algorithm Labelled transition systems

来源：评论

学校读者我要写书评

暂无评论

A JACK-Based Ergonomic analysis and Design of the Cockpit of Agricultural Material Handling Vehicle

A JACK-Based Ergonomic Analysis and Design of the Cockpit of...

引用

10th international conference on Applied Human Factors and Ergonomics (AHFE) / international conference on Ergonomics in Design

作者： Gu, Sen Su, Sheng Huang, Cheng Song, Zhiqiang Yuan, Shasha Xian Technol Univ Sch Design Art & Media Xian Shaanxi Peoples R China Northwest Inst Mech & Elect Engn Xian Shaanxi Peoples R China

ISBN: (纸本)9783030202279;9783030202262

the JACK ergonomic analysis software was used to simulate and analyze the driver's driving posture and operating behaviors in the cockpit to simulate and optimize the driving comfort of the driver operating a certain model of agricultural material handling vehicle. through simulation and analysis of the six tools, Comfort Assessment, Lower Back analysis, Static Strength Prediction, Etc., it was found that the vehicle cockpit's curve of the waist part of the seat was reasonable, but the design had poor comfort levels on the shoulder and neck part, which not only caused fatigue when the vehicle was operated for a long period of time, but also made it challenging for the knees and ankles from sustaining prolonged work at the cockpit. On this basis, the research proposed ergonomic optimization and improvement was also conducted. the research provides a significant basis of reference for designing the cockpits of special-purpose agricultural vehicles.

关键词： Material handling vehicle Cockpit Ergonomic simulation JACK

来源：评论

学校读者我要写书评

暂无评论

construction of logistics hubs impact on industrial structure optimization based on logit model 10

Construction of logistics hubs impact on industrial structur...

引用

10th international conference on Logistics and systems Engineering 2020

作者： Wang, Chong Li, Yihua Sun, Yalun College of Logistics and Transportation Central South University of Forestry and Technology Changsha China

ISBN: (纸本)9781921712753

Based on the analysis of the logistics hubs construction process, this paper uses the panel data of 31 provinces, regions except Hong Kong, Macao and Taiwan to measure the impact of regional industrial structure development from six dimensions,which are the logistics hubs input, logistics hubs output, logistics hubs scale, logistics hubs environment, logistics hubs development potential and logistics policy support. the research found that: Firstly, the current infrastructure construction of logistics hubs is the main reason for promoting the adjustment of regional industrial structure, but the construction of roads and other infrastructure is no longer the main force to promote the adjustment of industrial structure. Secondly, the construction of logistics hubs has an obvious adjustment effect on the industrial structure of the inter-provincial region. Among them, the adjustment effect on the advanced industrial structure is more obvious, and the adjustment effect on the rationalization of the industrial structure is second. thirdly, when the state formulates logistics hubs construction policies, it not only considers factors such as the development basis of regional logistics and regional resource endowments, but also takes the guiding role of logistics hubs construction on the regional industrial structure. © Aussino Academic Publishing House All rights reserved.

关键词： Structural optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 31 32 33 34 35 36 37 38 39 40 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：