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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Methodology of analysis of Brand Visual Identity of Food Products: Comprehension and Valuation of Graphic Signs

Methodology of Analysis of Brand Visual Identity of Food Pro...

引用

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

作者： Raposo, Daniel Laginha, Catarina Neves, Joao Silva, Jose da Silva, Fernando Moreira Univ Lisbon Lisbon Sch Architecture CIAUD Rua Sa Nogueira P-1349063 Lisbon Portugal Polytech Inst Castelo Branco Av Pedro Alvares Cabral 12 P-6000084 Castelo Branco Portugal

ISBN: (纸本)9783030202279;9783030202262

this study aims to contribute to the knowledge regarding the process of decoding Brand Marks and the perception of the Visual Identity of food products. Specifically, understanding how people understand the styles and connotations of Brand Marks in a given culture. the research is based on the visual identity of Olive Oils and Cheeses with DOP certification from the interior region of Portugal. the investigative process was conducted as Project-grounded Research, using a mixed methodology. the non-interventionist methodology included the review of the literature, the study of descriptive cases and questionnaires, while the active investigation comprised a study of exploratory cases based on the redesign of the visual identity of cheeses and olive oils. the research is organized in a Study 1 (non-interventional research) and Study 2 (active or exploratory research) on 15 brands of olive oil and 15 brands of cheese. the analysis of the data is based on the levels of semiotics of Semantics and Semantics and Pragmatics (through questionnaire) of Brand Marks and labels, using tools that exam the effectiveness of the Visual Identity of the brand, which in itself is one of the results of the research, along with the Brand Marks (re)design guidelines.

关键词： Brand Marks Connotations Graphic style Recognition Decoding Comprehension Agri-food sector

来源：评论

学校读者我要写书评

暂无评论

10th international conference in Methodologies and Intelligent systems for Technology Enhanced Learning, MIS4TEL 2020

10th International Conference in Methodologies and Intellige...

引用

10th international conference in Methodologies and Intelligent systems for Technology Enhanced Learning, MIS4TEL 2020

ISBN: (纸本)9783030525378

the proceedings contain 26 papers. the special focus in this conference is on Methodologies and Intelligent systems for Technology Enhanced Learning. the topics include: Preface;effects of time in virtual reality learning environments linked with materials science and engineering;lessons clustering using topics inferred by unsupervised modeling from textbooks;automatic content analysis of computer-supported collaborative inquiry-based learning using deep networks and attention mechanisms;the impact of personality, attitude and visual decision-making dashboard tools on the learning engagement of economist students;HRS-EDU: Architecture to control social robots in education;authoring interactive videos for e-learning: the elevate tool suite;early detection of gender differences in reading and writing from a smartphone-based performance support system for teachers;an assessment of students’ satisfaction in higher education;methodological guidelines to build collaborative serious games based on intelligent agents;an augmented reality-based mlearning approach to enhance learning and teaching: A case of study in guadalajara;supporting the construction of learning paths in a competency-based informatics curriculum;HEMOT®, helmet for EMOTions: A web application for children on earthquake-related emotional prevention;personalized recommender system using learners’ metacognitive reading activities;technology-enhanced learning (tel) in anaesthesia: Ultrasound simulation training for innovative locoregional anaesthesia;profiles in brain type in programming performance for non-vocational courses;Towards a gamified musical skill learning model (MUS-LM): Structural aspects;philosophical approaches to smart education and smart cities;experiences in a differential equations massive course;a protocol for simulated experimentation of automated grading systems;social video learning – creation of a reflection-based course design in teacher education.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Usage Pattern Analytics of Fuel Cell Vehicle Based on Big Data analysis 10

Usage Pattern Analytics of Fuel Cell Vehicle Based on Big Da...

引用

10th international conference on Power and Energy systems, ICPES 2020

作者： Pang, Hao Liu, Peng Wang, Shuo Wang, Zhenpo Zhang, Zhaosheng Beijing Institute of Technology National Engineering Laboratory for Electric Vehicles Beijing China

ISBN: (纸本)9781665404945

With the development of the automobile industry, the research of new energy vehicles with longer driving range and shorter refueling time has become the focus of automobile industry. In recent years, China has issued a series of policies to promote the development of the fuel cell vehicle industry. To better grasp the operating condition of fuel cell vehicle (FCV), it is necessary to study the use of FCVs (such as travel mileage, travel time, etc.). Based on the Service and Management center for EVs (SMC-EV), this paper conducts a statistical analysis of the travel data of more than 1, 000 FCVs which are running in Shanghai and Foshan. these vehicles are divided into buses and logistics vehicles, and their trips on weekdays and weekends are distinguished. their single-day trip mileage, single-trip mileage, daily trip starts and end time and other data are analyzed in detail. the analysis results have reference value for the formulation of FCV-related policies and the construction of hydrogen refueling stations in these two cities and even the whole country. © 2020 IEEE.

关键词： Automotive industry

来源：评论

学校读者我要写书评

暂无评论

Determining variations in rail public transport access using GIS in Klang Valley City, Selangor, Malaysia 10

Determining variations in rail public transport access using...

引用

10th Institution-of-Geospatial-and-Remote-Sensing-Malaysia(IGRSM) international conference and Exhibition on Geospatial and Remote Sensing (IGRSM)

作者： Syukri, Mohd Sahrul Safian, Edie Ezwan Mohd Burhan, Burhaida Univ Tun Hussein Onn Malaysia Dept Real Estate Management Fac Technol Management & Business Batu Pahat 86400 Johor Malaysia

About 75% of urban areas in Malaysia have an excellent public transportation system. Malaysian Intelligent Transport System (MITS) Blueprint 2017 - 2022 is developed and mentioned public transport as the infrastructure for traffic management and the Fourth Industrial Revolution (4IR) will change the global landscape of public transportation. the primary purpose of this paper is to use Geographic Information systems (GIS) for identifying spatial accessibility to transport in Klang Valley, Selangor supported the movement of the walk-distance analysis techniques. A geospatial database was created that has the coordinate of urban public transport (railway mode), home residence distribution, and road networks. Accessibility index tool and geoprocessing by overlay analyses were selected because of the analysis tools for this paper. the paper results indicate that urban public transport in the Klang Valley districts of Selangor has fewer registered railway line stations. Several areas of Klang Valley region have low accessibility based on z-score either dispersion or clustering pattern to public transport because they fall outside the space-distance service area for every terminal. Local transport planners in Klang Valley may use the created application to allocate public transport in low access areas.

关键词： Geographic information systems

来源：评论

学校读者我要写书评

暂无评论

Efficiency Deficits and Solution Principles of Requirements Management for Hairpin Stator Production Ramp-up by Early Prototypes 10

Efficiency Deficits and Solution Principles of Requirements ...

引用

10th international Electric Drives Production conference (EDPC)

作者： Kampker, Achim Kawollek, Sebastian Treichel, Patrick Shah, Soniya Chair Prod Engn E Mobil Components PEM Aachen Germany

ISBN: (纸本)9781728184586

Today the automotive market is at a turning point, where the transition from combustion engines to electric drives has become inevitable. the increasing demand for the electric vehicles is leading to an increased demand in electric drive production systems. the disruptive hairpin technology is one solution to meet the rising demand that uses solid copper bars instead of flexible round wires for the stator. this provides advantages of high fill factors and thus improved product efficiency. However, current hairpin productions face major inefficiencies in the ramp-up phase. In the first part of this paper the efficiency deficits of the industrialization process, that lead to negative effects on the later production ramp-up are analyzed and the inherent root causes to the requirements management and process development are traced. It is presented that especially missing requirements, which specify interdependency-related quality aspects, inline quality gates and interlinking concepts are the major causes for the current deficits. To overcome these root causes, it is necessary to identify the unknown requirements that are crucial for ramp-up. construction of production equipment prototypes is one method to obtain such required information in advance. However, due to high costs and long lead times, it is not possible to construct and modify a high number of production equipment prototypes. In the second part of this paper a structured methodology for selecting the most critical (sub-)processes of the hairpin stator production to be prototyped is presented. Additionally, the priority sequence of these processes based on the previous requirements management analysis is presented.

关键词： electric motor production electric motor production ramp-up requirements management electric motor process requirements prototype construction electric motor quality management

来源：评论

学校读者我要写书评

暂无评论

Cognitive modeling of university activity as a poorly structured system 10

Cognitive modeling of university activity as a poorly struct...

引用

10th Annual international Scientific and Practical conference named after A. I. Kitov Information Technologies and Mathematical Methods in Economics and Management, IT and MM 2020

作者： Mikryukov, Andrey Mazurov, Mikhail Korneev, Dmitry Trembach, Vasilii Rylenkov, Davyd Plekhanov Russian University of Economics 36 Stremyanny lane Moscow115998 Russia Moscow Aviation Institute [National Research University 4 Volokolamskoe shosse Moscow125993 Russia

the relevance of the problem being solved is due to the need to develop scientifically grounded proposals to achieve the required values of the basic indicators of the university's activities in accordance with the international institutional rating QS to the required values necessary for the university to enter the TOP-500 universities by 2025. To solve this problem, an approach is proposed to the study of weakly structured systems, the class of which includes universities and their activities, based on scenario forecasting methods by building a fuzzy cognitive model in order to determine the necessary increments of target values. the proposed approach allows, under the given constraints, to find the most acceptable scenario for planning the increment of basic indicators to target values by identifying the latent factors influencing them and impulse influences (increments) on them, ensuring guaranteed achievement of the set goal. the results obtained make it possible to subsequently justify the annual costs to ensure an unconditional increase in the values of latent factors (private indicators) to guarantee the required values of the basic indicators by 2025. the novelty of the proposed approach lies in the use of correlations between latent factors, identified on the basis of factor analysis methods, with basic indicators in the construction of a fuzzy cognitive model, as well as the application of an iterative approach to solving the problem, which makes it possible to update every year according to the results of the next ranking of universities in the international institutional ranking a set of initial data, as well as train the developed cognitive model, taking into account the results of identifying latent factors and adjusting their correlations. the results obtained make it possible to form the most preferable scenario plan for the necessary stepwise increase in the values of basic indicators in the interval 2020 -2025 subject to resource constraints. © 20

关键词： Cognitive systems

来源：评论

学校读者我要写书评

暂无评论

Semantic-based process mining: A conceptual model analysis and framework 10th

Semantic-based process mining: A conceptual model analysis a...

引用

10th international conference on Innovations in Bio-Inspired Computing and Applications, IBICA 2019 and 9th World Congress on Information and Communication Technologies, WICT 2019

作者： Okoye, Kingsley Tecnologico de Monterrey Writing Lab TecLabs Vicerrectoría de Investigación y Transferencia de Tecnología MonterreyNL64849 Mexico School of Architecture Computing and Engineering College of Arts Technologies and Innovation University of East London London United Kingdom

ISBN: (纸本)9783030493387

Semantics has been a major challenge when applying the Process Mining (PM) technique to real-time business processes. In theory, efforts to bridge the semantic gap has spanned the advanced notion of Semantic-based Process Mining (SPM). the SPM devotes its methods to the idea of making use of existing semantic technologies to support the analysis of PM techniques. Technically, the semantic-based process mining is applied through acquisition and representation of abstract knowledge about the domain processes in question. To this effect, this paper demonstrates how semantically focused process modelling and reasoning methods are used to improve the outcomes of PM techniques from the syntactic to a more conceptual level. Also, the work systematically reviews the current tools and methods that are used to support the outcomes of the process mining, and to this end, propose an SPM-based framework that proves to be more intelligent with a higher level of semantic reasoning aptitudes. In other words, this work provides a process mining approach that uses information (semantics) about different activities that can be found in any given process to generate rules and patterns through the method for annotation, conceptual assertions, and reasoning. Moreover, this is done to determine how the various activities that make up the said processes depend on each other or are performed in reality. In turn, the method is applied to enrich the informative values of the resultant models. © the Editor(s) (if applicable) and the Author(s), under exclusive license to Springer Nature Switzerland AG 2021.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Fast analysis and prediction in large scale virtual machines resource utilisation 10

Fast analysis and prediction in large scale virtual machines...

引用

10th international conference on Cloud Computing and Services Science, CLOSER 2020

作者： Abubakar, Abdullahi Barbhuiya, Sakil Kilpatrick, Peter Vien, Ngo Anh Nikolopoulo, Dimitrios S. Department of Computer Science Waziri Umaru Federal Polytechnic Birnin Kebbi Nigeria School of Electronics Electrical Engineering and Computer Science Queen's University Belfast United Kingdom Virginia Tech United States

ISBN: (纸本)9789897584244

Most Cloud providers running Virtual Machines (VMs) have a constant goal of preventing downtime, increasing performance and power management among others. the most effective way to achieve these goals is to be proactive by predicting the behaviours of the VMs. Analysing VMs is important, as it can help cloud providers gain insights to understand the needs of their customers, predict their demands, and optimise the use of resources. To manage the resources in the cloud efficiently, and to ensure the performance of cloud services, it is crucial to predict the behaviour of VMs accurately. this will also help the cloud provider improve VM placement, scheduling, consolidation, power management, etc. In this paper, we propose a framework for fast analysis and prediction in large scale VM CPU utilisation. We use a novel approach both in terms of the algorithms employed for prediction and in terms of the tools used to run these algorithms with a large dataset to deliver a solid VM CPU utilisation predictor. We processed over two million VMs from Microsoft Azure VM traces and filter out the VMs with complete one month of data which amount to 28,858VMs. the filtered VMs were subsequently used for prediction. Our Statistical analysis reveals that 94% of these VMs are predictable. Furthermore, we investigate the patterns and behaviours of those VMs and realised that most VMs have one or several spikes of which the majority are not seasonal. For all the 28,858VMs analysed and forecasted, we accurately predicted 17,523 (61%) VMs based on their *** use Apache Spark for parallel and distributed processing to achieve fast processing. In terms of fast processing (execution time), on average, each VM is analysed and predicted within three seconds. © Copyright 2020 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

An early warning system for college net loan based on analysis of weibo data 10

An early warning system for college net loan based on analys...

引用

10th international conference on Logistics and systems Engineering 2020

作者： Zhang, Ruijun Lin, Caiyan Tong, Zeping Evergrande School of Management Wuhan University of Science and Technology 430065 China Center of Service Science and Engineering Wuhan University of Science and Technology 430065 China

ISBN: (纸本)9781921712753

Illegal campusloans do great harm to college students' body and mind. Mining the net loan information in weibo text is helpful to identify the risk of netloan and give early warning. In this way, an early warning system for college net loan is developed on the basis of crawling through the weibo data of net loans. the platform has two calculation models: the first is the calculation model of risk degreebased on the security level of weibo net loan texts and the influence of weibo users. the calculation model of relationship closeness is constructed by three dimensions: Weibo user relevance, user interaction strength and user interest similarity. Based on the model, the spread path of risk net loan text is described. the research can effectively identify the risks of college students' net loans in practical applications, and it also provides a good monitoring method for the supervision departments. © Aussino Academic Publishing House All rights reserved.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Information systems Supporting the Optimization of the Prefabrication Process in the construction Industry—Case Study of a Steel Plant 10th

Information Systems Supporting the Optimization of the Prefa...

引用

10th international conference on Engineering, Project, and Production Management, EPPM 2019

作者： Araszkiewicz, Krystyna Szerner, Aleksander Wrochna, Michal Faculty of Civil Engineering and Architecture West Pomeranian University of Technology Szczecin Aleja Piastow 50 Szczecin70-311 Poland

ISBN: (纸本)9789811519093

Dynamic changes in the macroeconomic environment of enterprises make it necessary to constantly improve production processes in order to maintain a competitive position. this article presents results of a case study on the implementation of digital tools to improve information management and production planning in a steel plant for construction purposes. Presented solutions will be an example of the possibility of using parametric models developed in accordance with the assumptions of the Building Information Modelling method in prefabrication. tools for task planning and monitoring of material supply, transport to construction and assembly are described. A solution enabling planning changes is also presented, including automatic assignment of machines, employees, according to the importance of their tasks. the case study allows the identification of potential benefits, both organizational and economic, that result from the use of digital tools in the production of prefabricated steel structures. Application limitations, established on the basis of the case study, related to the use of digital solutions, are also indicated. On this basis, an attempt has been made to indicate the direction of further research in the field of digital prefabrication and its impact on the optimization of the production processes of construction companies. © 2020, Springer Nature Singapore Pte Ltd.

关键词： BIM construction sector Digitalization Prefabrication

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：