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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Use of the university's enrolment campaign database for the development of a computer model to predict student expulsion 10

Use of the university's enrolment campaign database for the ...

引用

10th international conference on High-Performance Computing systems and Technologies in Scientific Research, Automation of Control and Production, HPCST 2020

作者： Zharikov, A.V. Zhuravlev, E.V. Zhurenkov, O.V. Kozlov, D Yu Institute of Mathematics and Information Technology Altai State University 61 Lenin ave. Barnaul656049 Russia International Institute of Economics Management and Informational Systems Altai State University 61 Lenin ave. Barnaul656049 Russia

the article discusses the construction of a computer model to predict the problems occurrence in students in the educational process at the university. the following data sources of Altai State University were used for this purpose: "Admissions Office"(enrollees database) and "Dean's office"(database of students) for 2013-2018. these data were combined using developed SQL scripts. While analyzing the obtained combined data set, we had to face the difficulties typical for solving data analysis problems. thus, it turned out that there are incomplete and inconsistent data or cases when one and the same entity is named differently, etc. In order to solve these problems, we wrote a script in the R programming language using regular expressions, the data were unified and standardized, and the missing data were restored using the information from other fields of the data set. then we discarded the variables with the near-zero dispersion, which could not make a significant contribution to the developed predictive model. After that, the data set under study was divided into 2 parts: the 2013-2017 data were taken to build a predictive model with the use of the logistic regression algorithm, while the data for 2018 were used, in fact, to predict whether a particular student would be expelled. It should be mentioned that the 2013-2017 data were divided into the training and test samples in the proportion of 90% and 10% correspondingly. the test result of the computer model built in the R programming language showed satisfactory accuracy;the most significant factors affecting student expulsion were also identified. the paper substantiates the economic feasibility of using the developed computer model at the university. © Published under licence by IOP Publishing Ltd.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Design of certified green buildings using building information modeling 10

Design of certified green buildings using building informati...

引用

10th international Structural Engineering and construction conference, ISEC 2019

作者： Atabay, Senay Gurgun, Asli Pelin Demirbas, Alper Goktug Dept of Civil Engineering Yildiz Technical University Istanbul Turkey

ISBN: (纸本)9780996043762

Design of green buildings involves specific processes compared to conventional construction projects that require participation of several disciplines. Having particular activities, functions, and physical aspects, green buildings impose their own difficulties during design. Building Information Modelling systems (BIM) use different software for virtual simulation of characteristics of projects, which promotes early detection of potential problems even before production of the intended design details. Implementing BIM technology in design stage, not only helps to minimize design problems, but also to shorten the stage itself. With this effect of BIM combined with sustainable practices and energy efficient technologies, design stage alone can be considered as a sustainable application of construction activities. therefore, principles and requirements of green building certification systems can easily be performed for projects with capabilities of BIM technologies and tools. In this study, redesign of Yildiz Technical University, Faculty of Civil Engineering Building based on LEED certification system using BIM tools is presented. the project is prepared as part of a capstone project by senior civil engineering students. Design stages are planned to promote sustainability and qualify the requirements of LEED v3 BD+C (Schools). the main objective is to introduce the students to two major trends in construction industry (green buildings and BIM applications) and to create awareness of sustainable construction, green building certification systems and emerging technologies. Copyright © 2019 ISEC Press.

关键词： construction industry

来源：评论

学校读者我要写书评

暂无评论

Model of Post Fire Erosion Assessment Using RUSLE Method, GIS tools and ESA Sentinel DATA 20th

Model of Post Fire Erosion Assessment Using RUSLE Method, GI...

引用

20th international conference on Computational Science and Its Applications (ICCSA)

作者： Nole, Gabriele Santarsiero, Valentina Lanorte, Antonio Tucci, Biagio Capurso, Vito Augusto Ronco, Francesco Vito Murgante, Beniamino IMAA CNR Zona Ind I-85050 Potenza Italy Protez Civile Puglia Via Magnolie 14 I-700026 Bari Italy Univ Basilicata Sch Engn Viale Ateneo Lucano 10 I-85100 Potenza Italy

ISBN: (纸本)9783030588144;9783030588137

Soil erosion in fired areas is one of the main environmental problem involves degrading the quality of the soil and reducing the productivity of the affected lands. the aim of this work is to implement a procedure that analyzes the change detection of the potential soil eroded in a burned area, and discriminate the amount of potential soil loss. As part of the MESARIP project (in agreement with the Regional Civil Protection) in order to implement the analyses of soil erosion pre and post fire event, using Sentinel 2 data and with the RUSLE (Revised Universal Soil Loss Equation) method in a GIS open source environment, a graphical model has been developed. the application of the RUSLE requires a series of consequential spatial analysis elaborations and, according to this scheme, the model has been developed with the Graphical Modeler. QGIS contains in a single environment a multiplicity of tools and algorithms native to other open source GIS software, such as, for example, SAGA GIS and GRASS GIS. the user interface is very simple and requires basic and thematic input data such as DEM, MASK areas or vegetation indices etc. the advantages in the construction of the model can be identified in the standardization of map algebra operations and also in the speed of execution of the steps. Currently the model has been tested in some burned areas in 2019 located in the northern part of the Apulia Region and will be tested in operational mode during the 2020 summer season.

关键词： Graphical modeler RUSLE method Soil erosion

来源：评论

学校读者我要写书评

暂无评论

Canard bifurcation in the FitzHugh-Nagumo model for spikes generation in neurons 10

Canard bifurcation in the FitzHugh-Nagumo model for spikes g...

引用

10th international conference on Computational systems-Biology and Bioinformatics (CSBio)

作者： Diener, Marc Diener, Francine Lab Math Jean Alexandre Dieudonne Parc Valrose F-06108 Nice France

ISBN: (纸本)9781450372152

We provide a new insight of the all-or-none-spike behavior of the solutions of the FitzHugh-Nagumo model for axon-current. Using the various tools introduced by nonstandard analysis for studying canards behavior we show how the firing of oscillations takes place by the appearance of a canard-without-head cycle that splits into two "concentric" cycles, the larger being stable and becoming a canard-with-head and the the smaller being unstable and collapsing down to the equilibrium, all this taking place within an exponentially small parameter interval.

关键词： spikes neuron axon canard all-or-none bifurcation fast-slow system nonstandard analysis

来源：评论

学校读者我要写书评

暂无评论

Evolution and Development of Virtual Learning Communities based on a Visual analysis 10

Evolution and Development of Virtual Learning Communities ba...

引用

10th international conference on Computer Supported Education (CSEDU)

作者： Sha, Junhong Chen, Kaiquan Dong, Shijun Ocean Univ China Dept Educ 238 SongLing Rd Qingdao Shandong Peoples R China Ocean Univ China Teaching Ctr Fundamental Courses 238 SongLing Rd Qingdao Shandong Peoples R China

ISBN: (纸本)9789897582912

With the development of technology, communities are not restricted to the conception of geographical entities, virtual learning communities have gotten a lot of attention in the past decades. In this research, the evolution and development of virtual learning communities are interpreted by means of Citespace, a software which can extract keywords from articles indexed from specified database and draw visual graphs. through the visual operations including co-citation and co-occurrence cluster as well as timezone evolution illustration, there are three important domains emerged which consists of knowledge sharing, learning experience optimization and online environment constructed by technology and the paper aimed to explaining high-frequency phrases and central articles to analyze virtual learning communities' development process. It indicates that technology serves for education and the deep integration of technology and education improves learning experience efficiently.

关键词： Virtual Learning Communities Visual analysis Knowledge Co-construction Learning Experience Identity Affiliation e-Learning

来源：评论

学校读者我要写书评

暂无评论

Criticality assessment of critical information infrastructure objects: A category based methodology and ukrainian experience 1

引用

10th international conference on Multimedia Communications, Services and Security, MCSS 2020

作者： Potii, Oleksandr Tsyplinskyi, Yurii Illiashenko, Oleg Kharchenko, Vyacheslav JSC Institute of Information Technology 12 Bakulina Street Kharkiv61066 Ukraine State Special Communications Service of Ukraine 13 Solomianska Street Kiev03110 Ukraine Department of Computer Systems Networks and Cybersecurity National Aerospace University "KhAI" 17 Chkalova Street Kharkiv61070 Ukraine

ISBN: (数字)9783030590000

ISBN: (纸本)9783030589998

the paper outlines the basic principles and assumptions used to assess the criticality of critical infrastructure object (CIO) and critical information infrastructure objects (CIIO). Methods for assigning critical information infrastructure objects to the criticality levels are described. the sequence of carrying out the criticality assessment of CIOs is provided. the recommendations concerning evolving regulation in the field of critical information infrastructure objects protection are given. According to the results of the research, several drafts of the Ukrainian state-level normative documents were developed such as "Classification of critical information infrastructure objects by severity (criticality)" and "Criteria and procedure for assigning critical information infrastructure objects to one of the significance (criticality)". the implementation of the developed documents is an important step in the construction of the Ukrainian state system of protection of critical information infrastructure. © Springer Nature Switzerland AG 2020.

关键词： Critical infrastructures

来源：评论

学校读者我要写书评

暂无评论

the 2019 Comparison of tools for the analysis of Quantitative Formal Models (QComp 2019 Competition Report) 25th

The 2019 Comparison of Tools for the Analysis of Quantitativ...

引用

25th international conference on tools and algorithms for the construction and analysis of systems (TACAS) held as part of the 22nd European Joint conferences on theory and Practice of Software (ETAPS)

作者： Hahn, Ernst Moritz Hartmanns, Arnd Hensel, Christian Klauck, Michaela Klein, Joachim Kretinsky, Jan Parker, David Quatmann, Tim Ruijters, Enno Steinmetz, Marcel Queens Univ Belfast Sch Elect Elect Engn & Comp Sci Belfast Antrim North Ireland Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Univ Twente Enschede Netherlands Rhein Westfal TH Aachen Aachen Germany Saarland Univ Saarland Informat Campus Saarbrucken Germany Tech Univ Dresden Dresden Germany Tech Univ Munich Munich Germany Univ Birmingham Birmingham W Midlands England

ISBN: (纸本)9783030175023;9783030175016

Quantitative formal models capture probabilistic behaviour, real-time aspects, or general continuous dynamics. A number of tools support their automatic analysis with respect to dependability or performance properties. QComp 2019 is the first, friendly competition among such tools. It focuses on stochastic formalisms from Markov chains to probabilistic timed automata specified in the Jani model exchange format, and on probabilistic reachability, expected-reward, and steady-state properties. QComp draws its benchmarks from the new Quantitative Verification Benchmark Set. Participating tools, which include probabilistic model checkers and planners as well as simulation-based tools, are evaluated in terms of performance, versatility, and usability. In this paper, we report on the challenges in setting up a quantitative verification competition, present the results of QComp 2019, summarise the lessons learned, and provide an outlook on the features of the next edition of QComp.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Data and process model for advanced integration of MEP into BIM projects 10

Data and process model for advanced integration of MEP into ...

引用

10th international Structural Engineering and construction conference, ISEC 2019

作者： Partl, Rainer Hauer, Stefan Monsberger, Michael Institute of Construction Management and Economics Graz University of Technology Graz Austria Sustainable Thermal Energy Systems AIT Austrian Institute of Technology GmbH Vienna Austria

ISBN: (纸本)9780996043762

the coordination of mechanical, electrical, plumbing (MEP) and architecture is a most important task in BIM projects. Open data exchange based on BIM formats such as the Industry Foundation Classes (IFC) is an important basis for advanced collaboration in complex project environments. It facilitates performance-based design concepts as multidisciplinary teams can more easily combine task-specific design and simulation tools. An analysis of the IFC4 standard pointed out, that MEP components are not sufficiently specified yet in order to provide such functionality. Moreover, MEP specific guidelines and process models describing the various interactions between architectural and MEP design in a BIM project are still lacking. this paper thus presents a comprehensive MEP data model that complements the current state of IFC. In addition, an associated BIM process model using Business Process Model and Notation (BPMN) that outlines the application of the data model in different design stages of a project is introduced. For this purpose, we take an air-handling unit as example and apply the developed model to an air-handling unit of a campus building at Graz University of Technology. the presented results support architects, MEP engineers, and BIM managers in the project-specific implementation of air-handling unit models and the set-up of a suitable process for the integration into the project. Copyright © 2019 ISEC Press.

关键词： Electronic data interchange

来源：评论

学校读者我要写书评

暂无评论

Influence of Protective Nanocomposite Coatings on the State of Heat Flow in the Cutting Insert

Influence of Protective Nanocomposite Coatings on the State ...

引用

international conference on Nanomaterials: Application & Properties (NAP)

作者： Dmitrii Belous Alexander Goncharov Andrei Yunda Aleksei Khomenko Liudmila Vasilyeva Svetlana Goncharova Sumy State University Sumy Ukraine National Academy of Sciences of Ukraine Institute of Applied Physics Sumy Ukraine Donbass State Engineering Academy Kramatorsk Ukraine Biochemistry Pharmacology and Biomolecular Engineering Sumy State University Sumy Ukraine

An analysis of the effect of multilayer protective coatings on the processes of heat transfer in the cutting tool during machining was carried out.

ISBN: (数字)9781728185064

ISBN: (纸本)9781728185071

An analysis of the effect of multilayer protective coatings on the processes of heat transfer in the cutting tool during machining was carried out.

关键词： Coatings tools Tin Cutting tools Temperature distribution Heating systems Substrates

来源：评论

学校读者我要写书评

暂无评论

Life cycle cost analysis of energy efficient single family residence 10

Life cycle cost analysis of energy efficient single family r...

引用

10th international Structural Engineering and construction conference, ISEC 2019

作者： Hajare, Ayushi Elwakil, Emad School of Construction Management Technology Purdue University West Lafayette United States

ISBN: (纸本)9780996043762

Residential and commercial buildings account for more than half of the electricity consumption in the United States. there are numerous practical solutions to make buildings more energy efficient and sustainable. Although it is well-established that green buildings are socially, environmentally, and economically beneficial, there is still a lack of green buildings in the residential sector. the installation and upfront costs for these houses are very high. this research aims to facilitate a broader understanding of the cost benefits of energy efficient and sustainable residences. the Life cycle cost analysis (LCCA) approach and energy simulation tools have been utilized and integrated for assessing the traditional single-family residence in the United States. A comparative study has been carried out including passive and net-zero energy through energy simulation software. this analysis will benefit academic researchers and industry practitioners to analyze and evaluate challenges and opportunities in energy efficient and sustainable residences. Copyright © 2019 ISEC Press.

关键词： Cost benefit analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：