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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是391-400 订阅

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

详细简洁

排序：

international Joint conference: 12th international conference on Computational Intelligence in Security for Information systems, CISIS 2019 and 10th international conference on European Transnational Education, ICEUTE 2019

International Joint Conference: 12th International Conferenc...

引用

international Joint conference: 12th international conference on Computational Intelligence in Security for Information systems, CISIS 2019 and 10th international conference on European Transnational Education, ICEUTE 2019

ISBN: (纸本)9783030200046

the proceedings contain 35 papers. the special focus in this conference is on Computational Intelligence in Security for Information systems. the topics include: Deep Wavelet Extreme Learning Machine for Data Classification;palm Vein Age and Gender Estimation Using Center Symmetric-Local Binary Pattern;neuro-Evolutionary Feature Selection to Detect Android Malware;improving Blockchain Security Validation and Transaction Processing through Heterogeneous Computing;anomaly Detection on Patients Undergoing General Anesthesia;an Internet Voting Proposal Towards Improving Usability and Coercion Resistance;linearization of Cryptographic Sequences;On-the-Fly Testing an Implementation of Arrow Lightweight PRNG Using a LabVIEW Framework;a Novel construction for Streaming Networks with Delays;comparison of System Call Representations for Intrusion Detection;hyot: Leveraging Hyperledger for Constructing an Event-Based Traceability System in IoT;data Mining for Statistical Evaluation of Summative and Competency-Based Assessments in Mathematics;looking for the Antidote for Contaminated Water: Learning through an Escape Game;enhancing Collaborative Learning through Pedagogical Alignment;rules_Math: Establishing Assessment Standards;evaluate Mathematical Competencies in Engineering Using Video-Lessons;statistical Methods – What Is the Problem Here?;enhancing the Learning of Cryptography through Concept Maps;analysis of Student Achievement Scores: A Machine Learning Approach;analysis of Teacher Training in Mathematics in Paraguay’s Elementary Education System Using Machine Learning Techniques;Efficient Verification of Security Protocols Time Properties Using SMT Solvers;cooperative Evaluation Using Moodle;automatic Categorization of Introductory Programming Students;using Scratch to Improve Undergraduate Students’ Skills on Artificial Intelligence;project-Based Methodology to Lecture on Web Frameworks Applied to the Management of Health-Related Data;mirkwood: An Online Parallel Craw

关键词：

来源：评论

学校读者我要写书评

暂无评论

analysis of Soil and Various Geo-technical Properties using Data Mining Techniques 10

Analysis of Soil and Various Geo-technical Properties using ...

引用

10th IEEE international conference on Intelligent systems, IS 2020

作者： Biswas, Suparna Faysal, Tarek Ibne Siddiqui Promiti, Arshi Hossain, Md. Sazzad Bazlul, Lubaba Sarwar, Abdullah Md. Md. Shaiban, Sayeed Rahman, Rashedur M. North South University Department of Electrical and Computer Engineering Plot-15 Block-B Bashundhara Dhaka Bangladesh

ISBN: (纸本)9781728154565

In this study, General Regression Neural Network(GRNN), Artificial Neural Network (ANN), Fully Connected Neural Network (FCNN), Support Vector Regression (SVR) and Linear Regression (LR) models have been implemented in order to predict the composition of soil with respect to the Standard Penetration Test (SPT), and soil depth. the primary focus has been on determining a significant correlation between the soil composition with SPT value and depth. Data sets have been used from ward 14, Mymensingh district of Bangladesh and from a construction project along India-Myanmar border. In this study, 8 types of soil, namely, fine sand, silty clay, clayey silt with fine sand, clayey silt, fine sand with silt, silty fine sand, sandy silt, and rubbish has been classified, and the probability of obtaining the soil type classification has been determined. © 2020 IEEE.

关键词： Silt

来源：评论

学校读者我要写书评

暂无评论

Development of an Optimal Production Plan Using Fuzzy Logic tools 10th

Development of an Optimal Production Plan Using Fuzzy Logic ...

引用

10th Annual international conference on Biologically Inspired Cognitive Architectures, BICA 2019

作者： Kluchnikov, Maksim Matrosova, Elena Tikhomirova, Anna Tikhomirova, Svetlana Moscow Russia

ISBN: (纸本)9783030257187

the present article is devoted to the problem of increase of the production planning process efficiency. there is considered the task of production plan development with the help of intellectual analysis of the current situation according to the key criteria. the authors offer the use of mathematical tools of fuzzy logic in order to analyze the production situation and to make recommendations on the choice of the optimal production plan, as well as a checking mechanism of the consistency of recommendations with the actual preferences of the person taking management decisions. © 2020, Springer Nature Switzerland AG.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

construction and Merging of ACM and ScienceDirect Ontologies 18th

Construction and Merging of ACM and ScienceDirect Ontologies

引用

Joint conferences on 18th international conference on Intelligent systems Design and Applications, ISDA 2018 and 10th World Congress on Nature and Biologically Inspired Computing , NaBIC 2018

作者： Priya, M. Aswani Kumar, Ch. School of Information Technology and Engineering Vellore Institute of Technology Vellore India

ISBN: (纸本)9783030166595

An Ontology is an absolute formal conceptualization of some realm of significance. Nowadays Ontologies play a vibrant part in Information Architecture, Biomedical Informatics, Electronic commerce, Software Engineering, Semantic Web, Knowledge management, Artificial Intelligence and etc. Huge number of Ontologies and extensive variety of Ontologies are available for every single domain. It creates very difficult to maintain and access all the existing Ontologies. Ontology merging is the solution to overcome this kind of problems. Ontology merging is a procedure of fetching two existing Ontologies as input and obtains a newly merged Ontology as output. the merged Ontology will have common concepts and relationships between two Ontologies. this paper presents how two Ontologies can be constructed and merged using Protege and Conexp tools with an example. © 2020, Springer Nature Switzerland AG.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Investigation of Functionality of Landfill Liner systems Under Wet Zone Climatic Conditions in Sri Lanka 10th

Investigation of Functionality of Landfill Liner Systems Und...

引用

10th international conference on Structural Engineering and construction Management, ICSECM 2019

作者： Premarathne, H.M.W.A.P. Kurukulasuriya, L.C. Department of Civil Engineering University of Peradeniya Peradeniya Sri Lanka

ISBN: (纸本)9789811572210

Engineered land filling is one of the most environmentally friendly methods to dispose municipal solid waste. Bottom liner and top capping are two basic elements of engineered landfill. Bottom liner is expected to prevent contamination of the adjacent environment by leachate. In this study, the performance of two types of clay liners is examined under wet zone climatic conditions in field scale lysimeters. Two 1.5m diameter and 5m high lysimeters were constructed to represent an engineered landfill with emphasis to monitor the performance of the liner material placed. In one lysimeter, a 1m thick liner was placed at maximum dry density using an expansive soil obtained from Moragahakanda area in the central province of Sri Lanka and in the other lysimeter, the liner thickness was reduced to 0.6m but with the addition of 5% bentonite by weight of the expansive soil. the lysimeters were instrumented to monitor the leachate head generated above the liner and the head developed in the leachate leakage detection pipe. the period of monitoring was extended to include both dry and wet seasons. Based on the monitoring data and using the laboratory measured values performance of the two types of liners were investigated. Geo Slope SEEP/W model was developed to investigate the seepage through both liner types. Based on the actual rainfall values numerical analysis was done to predict the leaked leachate volume through the liner. those results obtained from numerical analysis were compared with the actual field scale data. the clay liner with 5% bentonite is three times effective in reducing leachate flow rate through the liner when compared with that of control lysimeter. the numerical analysis showed that an increase in liner thickness will reduce the rate of seepage through the liner reaching a limiting value. © 2021, Springer Nature Singapore Pte Ltd.

关键词： Lysimeters

来源：评论

学校读者我要写书评

暂无评论

An integrated impact analysis for riverine bridges subjected to high river flows 10

An integrated impact analysis for riverine bridges subjected...

引用

10th international conference on Bridge Maintenance, Safety and Management (IABMAS)

作者： Pregnolato, M. Bates, P. Winter, Andrew O. Mascarenas, Dakota Sen, Andrew D. Motley, Michael R. Univ Bristol Bristol Avon England Univ Washington Dept Civil & Environm Engn Seattle WA 98195 USA

ISBN: (纸本)9780429279119;9780367232788

Flood events are the most frequent cause of damage to infrastructure compared to any other natural hazard, and global changes (climate, socio-economic, technological) are likely to increase this damage. Transportation infrastructure systems are responsible for moving people, goods and services, and ensuring connection within and among urban areas;a failed link in this system can impact the community by reducing evacuation capability, recovery operations and the overall economy. Bridges are critical links in the system, since they are associated with less redundancy and a high construction cost. Riverine bridges are particularly prone to failure during flood events;in fact, the risks to bridges from high river flows and bank erosion have been recognized as crucial at global level. this study aims to establish rigorous practices of computational fluid dynamics (CFD) for modelling hydrodynamic forces on inundated bridges, and understanding the consequences of such impact on the surrounding network. Objectives of this study are to model hydrodynamic forces as demand on the bridge structure and to advance a reliability analysis of the structure under the modelled loading. Implications of the hydrodynamic impact on the performance and functionality of the surrounding transport network are discussed. this research will help to fill the gap between current guidance for design and assessment of bridges relevance within the overall transport system.

关键词： Computational fluid dynamics

来源：评论

学校读者我要写书评

暂无评论

Bunch length measurements using transverse deflecting systems 29

Bunch length measurements using transverse deflecting system...

引用

29th international Linear Accelerator conference, LINAC 2018

作者： Hüning, M. DESY Hamburg Germany

ISBN: (纸本)9783954501946

Shorter and shorter bunch lengths (some 10 fs) require sophisticated bunch length measurement devices. Free electron lasers - but not only - use transverse deflecting systems. Employing suitable diagnostic tools measurements are not limited to bunch lengths but can be extended to longitudinal profiles and phase-space distributions, and slice emittances. Not only do successfully operated systems aid the commissioning and operation of FELs but they allow control over more sophisticated phase-space manipulations. the design and construction of such systems, actually operated at different RF frequencies, includes cavity design and fabrication, powerful RF systems, low level RF control, beam lines, diagnostics, and data analysis. Content from this work may be used under the terms of the CC BY 3.0 licence (© 2018).

关键词： Free electron lasers

来源：评论

学校读者我要写书评

暂无评论

Simulation and analysis of neuromorphic tactile data for object interaction speed detection

Simulation and analysis of neuromorphic tactile data for obj...

引用

international IEEE/EMBS conference on Neural Engineering, CNE

作者： Christophe J. Brown Harrison H. Nguyen Margaret C. thompson Justin M. Joyce Erik C. Johnson Matthew S. Fifer Luke E. Osborn Columbia University New York NY Johns Hopkins University Applied Physics Laboratory Laurel MD

the sense of touch provides an intimate connection to our surroundings and is a critical component for navigating the environment and manipulating objects. To better capture and convey touch information to prosthetic arm users or autonomous robots, it is useful to leverage biological representations of tactile signals for rapid and efficient processing. We developed a software pipeline that simulates and analyzes biomimetic tactile signals for developing better techniques and approaches for robotic systems that rely on the sense of touch. Touch sensor signals were simulated with a virtual hand model (MuJoCo HAPTIX) and were converted to a biological representation of tactile afferent spiking activity using existing neuron models (TouchSim). We simulated virtual hand object interaction, at three different movement speeds, and found that biomimetic tactile signals yield better results (91%) compared to using traditional force signals (61%) at classifying the different hand speeds. this software toolkit enables researchers to quickly generate, capture, and analyze biologically realistic tactile behavior for creating smarter and more effective robotic systems.

关键词： Neuromorphics Biological system modeling Pipelines Neurons Tactile sensors tools Software

来源：评论

学校读者我要写书评

暂无评论

Human-System Interaction Design Requirements to Improve Machinery and systems Safety

Human-System Interaction Design Requirements to Improve Mach...

引用

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

作者： Nickel, Peter Baerenz, Peter Radandt, Siegfried Wichtl, Michael Kaufmann, Urs Monica, Luigi Bischoff, Hans-Jurgen Nellutla, Manobhiram WG Human Factors Ergon & Safe Machines ISSA Sect Machine & Syst Safety Mannheim Germany German Social Accid Insurance IFA Inst Occupat Safety & Hlth St Augustin Germany Res Ctr Appl Syst Safety & Ind Med FSA Mannheim Germany ISSA Sect Machine & Syst Safety Int Social Secur Assoc Mannheim Germany Austrian Workers Compensat Board AUVA Vienna Austria Swiss Insurance Inst Occupat Safety & Hlth SUVA Luzern Switzerland Italian Workers Compensat Author INAIL Rome Italy Mfg Safety Alliance BC Chilliwack BC Canada

ISBN: (纸本)9783030204976;9783030204969

the Human-System Interaction (HSI) approach focuses on analysis, design, and evaluation of work systems for humans to interact with technical systems ergonomically designed for human use. An initial framework is developed for human factors and ergonomics (HFE) design requirements with regard to occupational safety and health (OSH). the framework refers to concept, criteria and intended user populations in work systems design. Some future work systems in industry 4.0 and cyber-physical systems call for emphasising human information processing with interchange of information variable and dynamic in quantity, quality and time. Taking into account new solutions and challenges in digital manufacturing, selected requirements, explanations, examples and references should inform manufacturers and health and safety experts at the shop floor level about HFE and OSH. Information presented at an internet platform, should assist in how to integrate these factors into construction of machinery or other technical installations, in workplace, equipment and software design and for practical use in HSI.

关键词： Work systems design Occupational safety and health Human factors Digital manufacturing Design criteria

来源：评论

学校读者我要写书评

暂无评论

the Development of an Adaptive HMI - From the Idea to the Prototype

The Development of an Adaptive HMI - From the Idea to the Pr...

引用

10th international conference on Applied Human Factors and Ergonomics / AHFE international conferences on Usability and User Experience, and Human Factors and Assistive Technology

作者： Kaufmann, Andreas Schempp, Timo Stoehr, Ingmar Schmid, Markus Maier, thomas Univ Stuttgart Inst Engn & Ind Design Pfaffenwaldring 9 D-70569 Stuttgart Germany Univ Hohenheim Inst Agr Engn Garbenstr 9 D-70599 Stuttgart Germany Elobau GmbH & Co KG Zeppelinstr 44 D-88299 Leutkirch Germany

ISBN: (纸本)9783030191351;9783030191344

the continuing trend of increasing functional diversity in control systems poses a great challenge for the development of human-machine interactions. Adaptive control systems or adaptive interface systems, short aIS, can be a solution to this challenge. the development of such an interface system comes out of a project called aISA which stands for adaptive interface systems in agricultural tractors. the example of application is the tractor which is used for a multitude of work scenarios with appropriate implements. this contribution contains the approach of the development of the adaptive armrest. the sections are the introduction, analysis, method, tool usage, results and conclusion. the most important sections in this contribution are the method and the tool usage. the goal of the paper is a good insight on how the aIS is developed and what the important tools are to achieve the results.

关键词： Usability User experience Adaptive interface systems Interface design Adaptive control elements Methodical design development

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 36 37 38 39 40 41 42 43 44 45 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：