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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,602 篇 会议
55 篇 期刊文献
40 册 图书

馆藏范围

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

日期分布

学科分类号

1,234 篇 工学
- 862 篇 计算机科学与技术...
- 532 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 122 篇 机械工程
- 107 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 67 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 32 篇 生物工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
348 篇 理学
- 210 篇 数学
- 56 篇 物理学
- 56 篇 系统科学
- 55 篇 统计学（可授理学、...
- 47 篇 生物学
- 27 篇 化学
212 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
41 篇 医学
- 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
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
19 篇 software
17 篇 monitoring
17 篇 stochastic syste...
17 篇 artificial intel...
16 篇 database systems
16 篇 construction ind...
15 篇 simulation

机构

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 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 hermanns holger
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,606 篇 英文
60 篇 其他
15 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1697 条记录，以下是521-530 订阅

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

详细简洁

排序：

Strength and deformation based performance evaluation of existing bridges 10th

Strength and deformation based performance evaluation of exi...

引用

10th NewYork City Bridge conference, 2019

作者： Namlı, E. Yıldız, D.H. Çilingir, N. Emay International Engineering and Consultancy Inc. Istanbul Turkey

ISBN: (纸本)9780367416737

In Turkey which has a high seismic risk, it is required to design bridge structural systems so as to ensure a sufficient level of safety, as similar to other types of structural systems. In addition, it is of paramount importance to evaluate the seismic safety of existing bridge structural systems. In this context, currently it is often required to resort to deformation based performance evaluation methods in addition to the conventional strength based performance methods. In this paper, with reference to a particular project commissioned by İstanbul Metropolitan Municipality (İBB) which involved the inspection, evaluation and seismic retrofit of various existing bridges, the seismic performance of bridges have been studied and employed calculation methods explained. In this study, principles of "DLH Seismic Design Guidelines, General Directorate for construction for Railways Harbours and Airports of (RHA) Ministry of Transportation (DLH 2008)" have been taken into consideration. Initially the existing bridge site inspections (cores, soil boring and structural in place measurements, etc) were carried out, followed by the establishment of structural calculation models. In the process which involved strength based evaluation response spectrum method, and on the other hand in the case of deformation based evaluation pushover analysis and nonlinear time history analysis have been performed. In the case of nonlinear analysis frame and finite element models have been used. By taking into account the particular bridge class and the expected performance level corresponding to this class, the seismic performance of bridges studied have been evaluated and those structures which exhibited insufficient level of seismic safety have been retrofitted. © 2019 Taylor & Francis Group, London, UK.

关键词： Deformation

来源：评论

学校读者我要写书评

暂无评论

A Design-based Approach to Enhancing Technical Drawing Skills in Design and Engineering Education using VR and AR tools 10

A Design-based Approach to Enhancing Technical Drawing Skill...

引用

14th international Joint conference on Computer Vision, Imaging and Computer Graphics theory and Applications (VISIGRAPP) / 10th international conference on Information Visualization theory and Applications (IVAPP)

作者： Huerta, O. Kus, A. Unver, E. Arslan, R. Dawood, M. Kofoglu, M. Ivanov, V Univ Huddersfield Huddersfield W Yorkshire England Uludag Univ Bursa Turkey Tech Univ Sofia Sofia Bulgaria

ISBN: (纸本)9789897583544

there are concerns from higher education (HE) institutions and industry about the decline in standards of technical drawings (TDs) due to the lack of understanding of basic geometric construction and the conventions of drafting skills that underpin the best practices. there is growing evidence that simulations/animations along with augmented and virtual reality (AR/VR) technologies can improve learners' engagement, competence, and skills: especially when compared to traditional didactic methods. However, this approach to teaching and learning (T&L) is difficult when studied at distance, or without access to the appropriate technologies to carry out the suggested activities. Leading to the need to develop appropriate methods and content that suit this pedagogical problem. this paper describes the development of an AR/VR application to support the T&L of design and engineering students in education and industry. Using a multi-disciplinary design-based research methodology, this European (UK, Bulgaria, Turkey) funded research project combines pedagogy and technology to approach TDs education problems;and to develop an AR/VR education solution to address learning difficulties within the different critical TDs categories identified. this development is based on findings from an international study in three different categories covering the perception of TDs education, assessing of TDs knowledge and ability, and expectations of TDs education. this research project also covers the difficulties and good practices of multi-disciplinary teams for developing TDs and ARNR contents where the approaches to T&L may differ between practices.

关键词： Pedagogy Virtual Reality Augmented Reality Education Skills Development

来源：评论

学校读者我要写书评

暂无评论

A Cloud Performance Analytics Framework to Support Online Performance Diagnosis and Monitoring tools 19

A Cloud Performance Analytics Framework to Support Online Pe...

引用

10th ACM/SPEC international conference on Performance Engineering (ICPE)

作者： Banerjee, Amitabha Srivastava, Abhishek Vmware Inc Performance Engn 3401 Hiliview Ave Palo Alto CA 94304 USA Vmware Software India Pvt Ltd Performance Engn Phase 4 JP Nagar Bengaluru KA India

ISBN: (纸本)9781450362399

Traditionally, performance analysis, debugging, triaging, troubleshooting, and optimization are left in the hands of performance experts. the main rationale behind this is that performance engineering is considered a specialized domain expertise, and therefore left to the trained hands of experts. However, this approach requires human manpower to be put behind every performance escalation. this is no longer future proof in enterprise environments because of the following reasons: (i) Enterprise customers now expect much quicker performance troubleshooting, particularly in cloud platforms as Software As A Service (SaaS) offerings where the billing is subscription based, (ii) As products grow more distributed and complex, the number of performance metrics required to troubleshoot a performance problem implodes, making it very time consuming for human intervention and analysis, and (iii) Our past experiences show that while many customers land up on similar performance issues, the human effort to troubleshoot each of these performance issues in a different infrastructural environment is non-trivial. We believe that data analytics platforms that can quickly mine through performance data and point out potential. bottlenecks offer a good solution for non-domain experts to debug and solve a performance issue. In this work, we showcase a cloud based performance data analytics framework which can be leveraged to build tools which analyze and root-cause performance issues in enterprise systems. We describe the architecture of this framework which consists of: (i) A cloud service (which we term as a plugin), (ii) Supporting libraries that may be used to interact with this plugin from end-systems such as computer servers or appliance Virtual Machines (VMs), and (iii) A solution to monitor and analyze the results delivered by the plugin. We demonstrate how this platform can be used to develop different performance analyses and debugging tools. We provide one example of a tool th

关键词： Online Performance Troubleshooting

来源：评论

学校读者我要写书评

暂无评论

10th EAI international conference on Broadband Communications, Networks, and systems, Broadnets 2019

10th EAI International Conference on Broadband Communication...

引用

10th EAI international conference on Broadband Communications, Networks, and systems, Broadnets 2019

ISBN: (纸本)9783030364410

the proceedings contain 19 papers. the special focus in this conference is on Broadband Communications, Networks, and systems. the topics include: Dynamic IFFSM Modeling Using IFHMM-Based Bayesian Non-parametric Learning for Energy Disaggregation in Smart Solar Home System;distributed Integrated Modular Avionics Resource Allocation and Scheduling Algorithm Supporting Task Migration;an Intelligent Question and Answering System for Dental Healthcare;classifier Fusion Method Based Emotion Recognition for Mobile Phone Users;toward Detection of Driver Drowsiness with Commercial Smartwatch and Smartphone;Fast Algorithm for the Minimum Chebyshev Distance in RNA Secondary Structure;fine-Grained Access Control in mHealth with Hidden Policy and Traceability;construction of Laboratory Refined Management in Local Applied University;Design of VNF-Mapping with Node Protection in WDM Metro Networks;human Activity Recognition Using Wi-Fi Imaging with Deep Learning;Convex Optimization Algorithm for Wireless Localization by Using Hybrid RSS and AOA Measurements;wi-Fi Floor Localization in an Unsupervised Manner;virtual Network Embedding Algorithm Based on Multi-objective Particle Swarm Optimization of Pareto Entropy;Measuring and Analyzing the Burst Ratio in IP Traffic;WiCLR: A Sign Language Recognition System Framework Based on Wireless Sensing;high-Resolution Image Reconstruction Array of Based on Low-Resolution Infrared Sensor;analysis and Implementation of Multidimensional Data Visualization Methods in Large-Scale Power Internet of things.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of Decision Tree Algorithm for Learning Ordinal Data Expressed as Pairwise Comparisons

Comparative Analysis of Decision Tree Algorithm for Learning...

引用

international conference of Information and Communication Technology (ICoICT)

作者： Nunung Nurul Qomariyah Eileen Heriyanni Ahmad Nurul Fajar Dimitar Kazakov Computer Science Department Faculty of Computing and Media Bina Nusantara University Jakarta Indonesia Information Systems Management Department Bina Nusantara University Jakarta Indonesia Computer Science Department University of York York United Kingdom

ISBN: (数字)9781728161426

ISBN: (纸本)9781728161433

Decision Tree is a very mature machine learning method used to solve classification problems. In this paper, we show the review of Decision Tree implementation for learning user preferences data expressed in pairwise comparisons. Decision Tree can be considered as one of the suitable methods for this problem due to its white-box approach, so that we can evaluate the result and re-use the model for further analysis, such as giving a recommendation. We used 10-fold cross-validation and hold-out technique to evaluate the performance of four different decision tree algorithms. the result shows that some decision tree algorithms like J48 outperform the others for learning pairwise preferences on a specific training split point. this paper has demonstrated, through use cases and experiments of pairwise preference problem, the effectiveness of decision tree method, and of its novel use of learning ordinal data.

关键词： Decision trees Training Classification algorithms Engines tools Automobiles Data mining

来源：评论

学校读者我要写书评

暂无评论

Method of Robotic Process Automation in Software Testing Using Artificial Intelligence

Method of Robotic Process Automation in Software Testing Usi...

引用

international conference on Advanced Computer Information Technologies (ACIT)

作者： Nataliya Yatskiv Solomiya Yatskiv Anatoliy Vasylyk Department for Information and Computing Systems and Control Ternopil National Economic University Ternopil Ukraine Department of Computer Science Ternopil National Economic University Ternopil Ukraine

ISBN: (数字)9781728167602

ISBN: (纸本)9781728167619

Robotic process automation (RPA) offers numerous benefits over typical software for test automation. It allows saving money and freeing up human resources without any modifications in the processes and implemented solutions. Despite many advantages, RPA solution has limited functionality and it is not able to automatically adapt to changes in the system without human interaction. One of the technologies that may be used to leverage these disadvantages is Artificial Intelligence (AI). AI can facilitate process automation by using the intelligent decision making and interface analysis. In this paper the main approaches of RPA usage, their advantages and disadvantages are investigated. this paper describes the proposed method for software test automation with RPA which allows to make RPA software more flexible and decrease human involvement in the support processes.

关键词： Automation Artificial intelligence Software tools Business Computer vision

来源：评论

学校读者我要写书评

暂无评论

Modeling of Controlling Activity as an Instrument of Influence on Motivation in the Personnel Management System of Industrial Enterprises

Modeling of Controlling Activity as an Instrument of Influen...

引用

international conference on Advanced Computer Information Technologies (ACIT)

作者： Mykhaylo Voynarenko Mykhailo Vedernikov Lesia Volianska-Savchuk Maria Zelena Natalia Bazaliyska Olga Baksalova Department of Economics Khmelnytskyi National University Khmelnytskyi Ukraine Department of Personnel Management and Labour Economics Khmelnytskyi National University Khmelnytskyi Ukraine Department of Economics Management and Administration Khmelnytskyi National University Khmelnytskyi Ukraine

ISBN: (数字)9781728167602

ISBN: (纸本)9781728167619

In this work the fundamentally new basis and list of measures are substantiated and formulated on the construction and operation of individual components of the general mechanism of formation and implementation of the concept of controlling the motivation of personnel at industrial enterprises. the modern transformation of ways to increase the efficiency of staff motivation is a justified need. Structural and logical model of quality assurance of the personnel management system through the process of controlling and motivation control methods are analyzed. Indices of staff satisfaction with work motivation are presented. the scale of evaluation of the completeness and quality of the implementation of information support processes for controlling the motivation of the staff was obtained. the main provisions of the introduction of controlling the motivation of the staff are proposed, namely the algorithm for the development and implementation of a methodology for assessing staff satisfaction with motivation.

关键词： Personnel Economics tools Process control Standards Organizations Task analysis

来源：评论

学校读者我要写书评

暂无评论

the Operation Mode of Provincial Energy Big Data Center

The Operation Mode of Provincial Energy Big Data Center

引用

IEEE international conference on Power and Energy systems (ICPES)

作者： Wenfeng Li Hongkun Bai Yuanpeng Hua Yuanyuan Wang Feifei Bu Ding Han Mingliang Li Jiongjun Yang Rui Wu Economic and Technological Research Institute State Grid Henan Electric Power Company Zhengzhou China Software R&D Center Henan Jiuyu Tenglong Information Engineering Co. Ltd Zhengzhou China School of Economics and Management North China Electric Power University Beijing China

ISBN: (数字)9781665404945

ISBN: (纸本)9781665404952

With the development of energy infrastructure, the energy industry has accumulated a large amount of energy data. How to make full use of energy big data is the key to improve the utilization efficiency of national energy resources. this paper simplified the operation mode and the overall analysis of the model, put forward the E-BDBC (Energy Big Data Business Canvas) operation mode analysis tool, and analyzes the elements considered by the E-BDBC operation mode analysis tool for the energy big data scenario. the fuzzy comprehensive judgment matrix and Delphi method are used to evaluate the operation mode, and then the operation mode is continuously improved. Based on the E-BDBC operation mode analysis tool, this paper analyzed the market situation, profit model, ecological strategy and operator selection of provincial energy big data, in order to provide some references for the operation plan of provincial energy big data center.

关键词： Analytical models Biological system modeling Big Data tools Data models Optimization Business

来源：评论

学校读者我要写书评

暂无评论

引用

10th Majorov international conference on Software Engineering and Computer systems, MICSECS 2018

作者： Mezhenin, Aleksandr Zhigalova, Alena ITMO University Kronverksky Ave. 49 St. Petersburg Russia

In this paper we present aspects of similarity analysis of polygonal models of arbitrary topological type. To arrive at such estimates, general topology metrics was used, more specifically, the Hausdorff dimensionality. Calculation of the determined three-dimensional polygonal models metrics will be subjected to analyses. the aspects of drawing normal vectors to the surfaces under examination, that are crucial to the calculation of the Hausdorff dimensionality, has been considered and analyzed. To improve the precision of metric calculation at the stage of construction of normal vectors to the surface, it is suggested to employ the averaging method - the calculation of the weighted average between the normal vectors of the neighboring triangles. Since there exists an issue of accuracy when Hausdorff metrics calculation is performed, to improve the precision of metric calculation at the stage of construction of normal vectors to the surface, it is suggested to employ the averaging method - the calculation of the weighted average between the normal vectors of the neighboring triangles. © 2019 CEUR-WS. All rights reserved.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

Cockroach 0.0 beta: Exploring the novel building performance simulation domain of pest modelling through a literature review 16

Cockroach 0.0 beta: Exploring the novel building performance...

引用

16th international conference of the international Building Performance Simulation Association, Building Simulation 2019

作者： Bleil de Souza, Clarice de Wilde, Pieter Welsh School of Architecture Cardiff University King Edward VII Avenue CardiffCF10 3NB United Kingdom Building Performance Analysis School of Art Design and Architecture Plymouth University Roland Levinsky Building Drake Circus PlymouthPL4 8AA United Kingdom

ISBN: (纸本)9781713809418

this paper explores the novel building performance simulation domain of pest modelling. Despite extensive knowledge on pest management in agriculture, pest behaviour and their impact in epidemiology, building science currently has no computational formulas, algorithms or simulation tools to quantify the vulnerability of the built environment in relation to pests. therefore, it is not possible for planners and the many other different stakeholders involved in the construction industry to project scenarios to study future operation of buildings in relation to pest prevention and control. A comprehensive literature review is presented to provide a high level outline of this new area in building performance simulation. Findings are used to discuss transferability of different types of pest models and approaches from other areas to the built environment, pointing out avenues for future research. © 2019 by international Building Performance Simulation Association (IBPSA) All rights reserved.

关键词： construction industry

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 49 50 51 52 53 54 55 56 57 58 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：