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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

analysis of the maintenance work order data in educational institutions 10

Analysis of the maintenance work order data in educational i...

引用

10th international Structural Engineering and construction conference, ISEC 2019

作者： Besiktepe, Deniz Ozbek, Mehmet E. Atadero, Rebecca A. Dept of Civil and Environmental Engineering Colorado State University Fort Collins United States Dept of Construction Management Colorado State University Fort Collins United States

ISBN: (纸本)9780996043762

the growing number of aging buildings is of critical importance to the economic and social well-being of a country. For institutional organizations, particularly those with large building portfolios, an effective facility management approach is required to ensure these buildings function properly for their missions. As a part of facilities management, building maintenance activities occupy a significant role in reaching the goal of delivering an acceptable level of performance while minimizing costs and failures. Historical work order data may potentially include a substantial value for assessing the condition of building systems by helping to identify frequent and common building maintenance activities. As an exploratory study on building maintenance activities in educational institutions, this paper conducts an analysis of historical work order data collected from six educational institutions in the State of Colorado and Connecticut in the United States between 2008 and 2018. Within this context, a total of 877,668 work orders have been analyzed to identify possible trends of the maintenance activities with building age and building type. the results of this study provide a preliminary understanding of the frequent maintenance activities in the data sets with their relations of building age and building type. the need for the comprehensive statistical analysis is apparent to better understand any possible trends in the maintenance activities and their correlations between building age and building type. Copyright © 2019 ISEC Press.

关键词： Maintenance

来源：评论

学校读者我要写书评

暂无评论

Automated Multi-paradigm analysis of Extended and Layered Queueing Models with LINE 19

Automated Multi-paradigm Analysis of Extended and Layered Qu...

引用

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

作者： Casale, Giuliano Imperial Coll London London England

ISBN: (纸本)9781450362863

LINE is an open source library to analyze systems that can be modeled by means of queueing theory. Recently, a new major release of the tool (version 2.0.0) has introduced several novel features, which are the focus of this demonstration. these include, among others, an object-oriented modeling language aligned with the abstraction of the Java Modelling tools (JMT) simulator and a set of native solvers based on state-of-the-art analytical and simulation-based solution paradigms.

关键词： Queueing network steady-state transient simulation stochastic model JMT layered queueing network

来源：评论

学校读者我要写书评

暂无评论

Reliability Evaluation of Multi-State System Based on Incompletely Specified Data and Structure Function 10

Reliability Evaluation of Multi-State System Based on Incomp...

引用

10th IEEE international conference on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications, IDAACS 2019

作者： Zaitseva, Elena Levashenko, Vitaly Rabcan, Jan Kvassay, Miroslav Rusnak, Patrik University of Zilina Zilina01026 Slovakia

ISBN: (纸本)9781728140681

the important step in reliability evaluation of complex systems is development of mathematical representation for analysis. All possible representations can be divided into two types: Binary-State systems (BSSs) and Multi-State systems (MSSs). A BSS is based on the assumption that the system and all of its components can be in one of only two possible states - perfectly functioning or completely failed. However, BSS is not very practical for systems that operate at several performance levels, such as distribution networks or complex socio-technical systems. the other mathematical representation for the analysis of such systems is more suitable. It is MSS that permits to define more than two states in system or component operation - from perfectly functioning through partially damaged to completely failed. the use of MSS-based mathematical representation of investigated system results in the development of special methods for reliability evaluation of such a system. the structure function based methods form one of groups of MSS evaluation methods. the structure function is mathematical representation of MSS (and BSS too) which maps components states to system performance levels. Typically, this representation is used for completely specified data. In this paper, a new method for MSS reliability analysis is considered for incompletely specified data. the novelty of this method is application of Data Mining methods for MSS structure function construction based on incompletely specified data. © 2019 IEEE.

关键词： Reliability analysis

来源：评论

学校读者我要写书评

暂无评论

Formalization of Scientific Researches Results in Corporate Knowledge Bases As a Tool of their Accumulation

Formalization of Scientific Researches Results in Corporate ...

引用

international conference on Advanced Computer Information Technologies (ACIT)

作者： Mykhailo Susla Roman Pasichnyk Andriy Melnyk Natalia Pasichnyk Olena Vasylkiv Olexander Androshchuk Department of Computer Science Ternopil National Economic University Ternopil Ukraine Department of Psychology and Social Work Ternopil National Economic University Ternopil Ukraine Military Academy Odessa Ukraine

ISBN: (数字)9781728167602

ISBN: (纸本)9781728167619

this paper explores the possibility of building a structured corporate knowledge base that documents the results of the search for valuable information as well as its own developments to support competent analysis of current problems of practice. the scientific novelty is the method of automated search for a description of key aspects of texts that will be included in the corporate knowledge base.

关键词： Knowledge based systems tools Semantics Computer science Ontologies Economics Buildings

来源：评论

学校读者我要写书评

暂无评论

Risk-Based Management as a Tool for Utilities’ Plant Assets Management

Risk-Based Management as a Tool for Utilities’ Plant Assets...

引用

IEEE international conference on Power and Energy systems (ICPES)

作者： Alexandra Khalyasmaa Yulia V. Dronova Ural Federal university Ekaterinburg Russia Novosibirsk state technical university Novosibirsk Russia

ISBN: (数字)9781665404945

ISBN: (纸本)9781665404952

this paper addresses the analysis of the possibility of using risk-oriented management as a tool for managing production assets of the energy utilities. the main obstacles in the implementation of production asset management systems at the energy utilities are identified and the possibility of their application to determine the optimal lifecycle of power equipment is investigated. the authors present the results of modeling of reliability-centered management implementation for the following power system facilities: sections of 10 kV, 110 kV and 220 kV power transmission lines. the authors formed a matrix of risks and, in accordance with the reliability-centered management methodology, assessed the damage and the likelihood of developing defects for the objects under consideration, as well as the consequences of the failures.

关键词： Transmission line matrix methods Power transmission lines Production tools Power system reliability Asset management Reliability

来源：评论

学校读者我要写书评

暂无评论

Conceptual big data case study to identifying risks of new nuclear technologies 10

Conceptual big data case study to identifying risks of new n...

引用

10th international Structural Engineering and construction conference, ISEC 2019

作者： Yeon, Jaeheum Czarny, Mark Walewski, John Kang, Julian Dept of Engineering and Technology Texas A and M University-Commerce Commerce United States Dept of Civil Engineering Texas A and M University College Station United States Dept of Construction Science Texas A and M University College Station United States

ISBN: (纸本)9780996043762

New technologies associated with nuclear power plants are being introduced regularly. However, many of the risks and uncertainties associated with these new nuclear technologies have yet to be identified. In this study, the risks related to newly-developed nuclear technologies were determined through an extensive review of the extant literature. A qualitative visual content analysis was selected as the research method employed to identify words repeatedly occurring in 147 journal articles. through this conceptual "big data" approach, frequently mentioned words were identified using a co-occurrence map. the analysis results were then grouped into four categories: fuel resources, operational system designs, nuclear reactor cooling systems, and steam generators. Words used repeatedly to reference these four key categories were determined to also represent potential causes of risk factors. Many texts could be analyzed in a short period of time through the use of visual content analysis software. Frequently emphasized correlating words were then identified. this big data approach can also be applied to additional nuclear power practices to identify other uncertainties. Last, the limitations of a visual content analysis employed as a risk identification approach were revealed through this study. Copyright © 2019 ISEC Press.

关键词： Steam generators

来源：评论

学校读者我要写书评

暂无评论

Intellectual analysis and basic modeling of complex threats 10

Intellectual analysis and basic modeling of complex threats

引用

10th Anniversary international Scientific and Technical conference on Secure Information Technologies, BIT 2019

作者： Korneev, Nikolai Merkulov, Vyacheslav Faculty of Integrated Security of Fuel and Energy Complex Gubkin Russian State University of Oil and Gas National Research University Moscow Russia Department of Data Analysis Decision-Making and Financial Technology Financial University under the Government of the Russian Federation Moscow Russia

the paper describes the basic principles of complex threats modeling, and the task of complex threats detection is formalized. the proposed modeling principles are based on the idea of identifying the links between elementary threats as part of a complex one. As an example, the process of constructing a complex threat model based on the proposed modeling rules is given. Based on the examples presented in the work, the paper includes the description of tasks while working with complex threats: the tasks of complex threats detection, the identification of their inner structure and purposes of the implementation. Based on the formulated principles of basic modeling, the paper also gives a formal statement of complex threats detection problem, which explains the possibility for applying data mining algorithms and big data processing technologies in the construction of protection systems against complex threats and developing the neurographic theory of complex security. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0)

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Proactive network configuration analysis for human errors 10

Proactive network configuration analysis for human errors

引用

10th international Multi-conference on Complexity, Informatics and Cybernetics, IMCIC 2019

作者： Mushi, Magreth Dutta, Rudra Department of ICT Open University of Tanzania Tanzania United Republic of Department of Computer Science North Carolina State University United States

Human operators are an important aspect of any computing system or infrastructure;however, human errors in configuring systems pose reliability and security issues, which are increasingly serious as such systems grow ever more complex. In particular, numerous studies have shown that errors by human administrators have contributed significantly to misconfigurations of networks. the research community has reacted with development of solutions for improving traditional network infrastructure to identify and correct misconfigurations. However, such solutions reduce the impact of, rather than eliminate, misconfigurations. Automated tools that abstract complex sets of network administration tasks have also been seen as a potential solution. On the other hand, such tools simply remove the possibility of human error one step, to the development of the workflow, and can actually have the effect of magnifying the risk of such mistakes due to their speed of operation. Also, the fear of an administrator using the wrong tool continues to exist. Rather, the need is for a proactive system that can examine the consequences of a proposed configuration before it is implemented. In this paper, we propose and present the design for SanityChecker – an SDN based proactive solution for intercepting incoming configurations and inspecting them for human errors before configurations are committed to the devices. We developed a prototype integrated with OpenDaylight, a popular SDN controller platform and invited apprentice and experienced real-world network administrators to work with it. Our results show that SanityChecker can successfully improve network operation by overseen incoming configuration for human errors. Copyright 2019. © by the international Institute of Informatics and Systemics. All rights reserved.

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

Information and Communication Technologies in Ecuador and their contribution to the construction of Good Living, Sumak Kawsay - Period 2008 – 2016. 10

Information and Communication Technologies in Ecuador and th...

引用

10th international Multi-conference on Complexity, Informatics and Cybernetics, IMCIC 2019

作者： Sánchez Suárez, Elio E. Ortiz Zambrano, Jenny A. Sangacha Tapia, Lady M. Varela Tapia, Eleanor A. Avilés Mite, Karen del P. Medina Correa, Segundo M. Faculty of Mathematical and Physical Science University of Guayaquil Guayaquil Ecuador Servicio de Rentas Internas SRI. Guayaquil Ecuador

the goal of this research work was to analyze the different variables that describe the behavior and evolution of the use and diffusion in the different strata of the Ecuadorian population of Information and Communication Technologies - ICTs, and how the consolidation of these will constitute the fundamental bases on which Good Living will be based, Sumak Kawsay1. An objective review was carried out regarding the variables that explain these behaviors associated with the use, implementation and consolidation of TICs, among which are the use of the advanced mobile telephony service plus internet and data, advanced mobile service - national density of active lines and their percentage in relation to the population, domestic technological equipment at the national level in terms of the use of desktops, laptops, among others. For the analysis, descriptive statistical tools were used, performing a vertical and horizontal analysis throughout the study period, 2008 - 2016, evaluating the quality of the indicators and whether or not they are meeting the objectives set in the economic and social policies development of the country, evidencing after eight years of implementing the substantial improvement of connectivity, the reduction of the digital divide, digital illiteracy, among others, significantly improving the standard of living of the population in general. Copyright 2019. © by the international Institute of Informatics and Systemics. All rights reserved.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

the Optimal Tour Problem in Smart Tourism Recommender systems

The Optimal Tour Problem in Smart Tourism Recommender System...

引用

international Computer Sciences and Information Technologies (CSIT)

作者： Yurii Tulashvili Yurii Turbal Driwi Abd Alkaleg Volodymyr Pasichnyk Al Shukri Sumayya Ali Nataliia Kunanets Lutsk national technical university Lutsk Ukraine National university of water and environmental engeneering Rivne Ukraine Lviv Polytechnic National University Lviv Ukraine

ISBN: (数字)9781728174433

ISBN: (纸本)9781728174440

In this paper it is investigated a structure of the SMART tourism recommender system. Basic approaches for generating recommendations in an automated mode for selecting the best tourist routes in the SMART City Tourism network has been determined. this approaches are based on the analysis of the accumulated information about the most popular tourist destinations. It is proposed a mathematical model which provides, on the basis of knowledge about tourist sites, the possibility of construction optimal sequence of tourist routes. the proposed algorithm are based on the technology of online analytical processing of OLAP data selected from DW and organized in the form of OLAP Cubes .

关键词： Task analysis Transform coding tools Recommender systems Mathematical model Software algorithms Software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 46 47 48 49 50 51 52 53 54 55 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：