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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,242 篇 工学
- 869 篇 计算机科学与技术...
- 532 篇 软件工程
- 136 篇 电气工程
- 128 篇 土木工程
- 122 篇 机械工程
- 109 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 70 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 动力工程及工程热...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 36 篇 仪器科学与技术
- 35 篇 石油与天然气工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
356 篇 理学
- 210 篇 数学
- 60 篇 统计学（可授理学、...
- 59 篇 物理学
- 56 篇 系统科学
- 52 篇 生物学
- 29 篇 化学
213 篇 管理学
- 155 篇 管理科学与工程(可...
- 85 篇 工商管理
- 74 篇 图书情报与档案管...
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...
22 篇 software
21 篇 semantics
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
17 篇 artificial intel...
16 篇 database systems
16 篇 construction ind...
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 篇 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,590 篇 英文
86 篇 其他
15 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1707 条记录，以下是501-510 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

An improved comparative model for chronic kidney disease (CKD) prediction

An improved comparative model for chronic kidney disease (CK...

引用

international conference on Open Source systems and Technologies (ICOSST)

作者： Inayatullah Huma Qayyurn University of Engineering and Technology Taxila Taxila Pakistan

ISBN: (数字)9781728190501

ISBN: (纸本)9781728190518

this paper exploit machine learning (ML) technique to find and diagnose chronic kidney disease (CKD) at mild damaged stage. Kidney disease are syndromes that cause the functions and Glomerular filtration rate (GFR) of the kidney. Nephrologist caution that the ratio of patients affected by CKD are significantly increasing. More precise Data mining and ML methods are required to predict and diagnose CKD successfully. In this paper we apply different ML classification procedures on a data set obtained from UCI repository which comprise of 400 instances, 24 features and binary classification labels. the 7-fold and 10-fold cross-validation procedures are applied on dataset to evaluate the model. the most familiar ML classification algorithms are included in this paper are Random Forest (RF), Discriminant analysis (DA), Naive Bayes (NB), Support Vector Machine (SVM), and K-Nearest Neighbor (K-NN). All the experiments are performed in MATLAB tools. the statistical results of all algorithms proved that RF performed better then DA, NB, SVM, and K-NN with accuracies of 99.75%, 98.25%, 98%, 97%, and 92% respectively.

关键词： Radio frequency Training Predictive models tools Classification algorithms Mathematical model Kidney

来源：评论

学校读者我要写书评

暂无评论

thermal-hydraulics Design and Safety analysis of Small Modular Lead-Bismuth Cooled Fast Reactors

Thermal-hydraulics Design and Safety Analysis of Small Modul...

引用

IEEE international conference on Power and Energy systems (ICPES)

作者： Liu Dalin Tan Jiaqi Liu Xiaojing Ye Zi Zhang Fanyuanyang Huang Yanping Gong Houjun School of Mechanical Engineering Shanghai Jiaotong University Shanghai China CGNPC Uranium Resources Co. Ltd Beijing China Shanghai NO.1 Machine Tools Works Co. Ltd Shanghai China Nuclear Power Technology Innovation Centre Chengdu China

ISBN: (数字)9781665404945

ISBN: (纸本)9781665404952

Small modular reactor is seen as one of the most popular research directions in nuclear field, and lead-bismuth cooled fast reactors are widely chosen in the design of small modular reactors due to its excellent neutron properties and thermal conductivity. A 20MW lead-bismuth cooled fast reactor was designed in this paper and both fluent-based CFD analysis and cobra-based subchannel analysis were applied to its safety verification and design optimization. this paper not only presents a verified design of small modular Lead-bismuth cooled fast reactor with thorough thermal-hydraulics analysis, but also presents a platform to design heavy metal cooled fast reactor.

关键词： Layout Lead thermal conductivity thermal analysis Safety Inductors Design optimization

来源：评论

学校读者我要写书评

暂无评论

the use of Spindle Feature Vectors in Wearable Devices for Sleep Monitoring and analysis

The use of Spindle Feature Vectors in Wearable Devices for S...

引用

IEEE international conference on Consumer Electronics - Berlin (ICCE-Berlin)

作者： Ioannis Krilis theodore Antonakopoulos University of Patras Patras Greece

ISBN: (数字)9781728158853

ISBN: (纸本)9781728158860

the influence of sleep quality on humans health is considered as one of the most important aspects for preventative care. During the last decade, several wearable sensors have been developed for monitoring bio-signals. In this work, we present the applicability of an automatic software tool, called Spindle Detection and Feature Extraction (SpiDeFex), developed for the analysis of multi-channel signals of professional EEG systems, in the consumer area. Using commercial devices based on lightweight, rechargeable pods that can sense, collect and transmit an EEG signal in real-time, we can extract information for sleep quality for commercial applications. this work presents the architecture and functionality of SpiDeFex, and based on experimental results, we demonstrate how it can be used for sleep quality monitoring and analysis in a consumer wearable device.

关键词： Sleep Wearable computers tools Feature extraction Electroencephalography Monitoring Wearable sensors

来源：评论

学校读者我要写书评

暂无评论

Design and Research of Security Service Platform for Power Terminal Business Monitoring and Data analysis

Design and Research of Security Service Platform for Power T...

引用

IEEE international conference on Power and Energy systems (ICPES)

作者： Weifeng Luo Huiqin Wang Gangfeng Yan Lifu Ding Shenzhen Power Supply Bureau Co. Ltd Shenzhen China Huanan Industrial Technology Research Institute of Zhejiang University Guangzhou China

ISBN: (数字)9781665404945

ISBN: (纸本)9781665404952

With the continuous development of power monitoring technology and the refinement of user data services and power enterprise security services, new requirements have been placed on the business management and data management of power enterprises. In order to reduce the incidence of smart grid failures and provide better services to users, a smart grid business monitoring and data analysis service platform is necessary. this article analyzes in detail the background, goals, and ideas of current business monitoring based on business logic consistency and data analysis based on data fusion, and introduces the implementation scheme of a smart grid service platform, including architecture design and construction content. the platform mentioned in this article can be extended and applied to various power businesses in the power industry, providing a theoretical basis and implementation method for realizing smart grid security monitoring and data analysis from the business level.

关键词： Data analysis Power industry Smart grids Power systems Security Monitoring Business

来源：评论

学校读者我要写书评

暂无评论

SWOT analysis in the Strategic Planning Process - Meta-modelling Approach

SWOT Analysis in the Strategic Planning Process - Meta-model...

引用

international IEEE conference on Intelligent systems, IS

作者： Željko Dobrović Martina Tomičić Furjan Crisis Management Study University of Applied Sciences Velika Gorica Croatia Faculty of Organization and Informatics University of Zagreb Varaždin Croatia

ISBN: (数字)9781728154565

ISBN: (纸本)9781728154572

Nowadays enterprises face the problem of achieving their strategic goals. Clear and simple vision is a prerequisite for defining proper and framed strategic goals. Strategies that enterprise has to implement through the set of activities should be defined and analyzed. One of the proven ways of defining the strategies is using the SWOT analysis. this analysis, used in a standard way, does not give sufficient guarantee for success in the strategic planning process. therefore, this paper gives a meta-model of extended SWOT analysis, as well as a workflow model of its implementation. the meta-model is developed as entity relationship attribute (ERA) diagram, while the workflow model is developed using BPMN notation. these two models, combined together, give us a tool for keeping important data generated in the strategic planning process in a form of unique repository. this repository is a basis for development of a CASE tool that can help managers in managing the enterprise towards achieving its strategic goals.

关键词： Strategic planning tools Organizations Syntactics Computer aided software engineering Standards organizations Uncertainty

来源：评论

学校读者我要写书评

暂无评论

VISIGRAPP 2019 - Proceedings of the 14th international Joint conference on Computer Vision, Imaging and Computer Graphics theory and Applications

VISIGRAPP 2019 - Proceedings of the 14th International Joint...

引用

10th international conference on Information Visualization theory and Applications, IVAPP 2019 - Part of the 14th international Joint conference on Computer Vision, Imaging and Computer Graphics theory and Applications, VISIGRAPP 2019

ISBN: (纸本)9789897583544

the proceedings contain 37 papers. the topics discussed include: breaking the curse of visual data exploration: improving analyses by building bridges between data world and real world;visual analytics of multidimensional projections for constructing classifier decision boundary maps;equivalence of turn-regularity and complete extensions;compensation of simultaneous orientation contrast in superimposed textures;visual growing neural gas for exploratory data analysis;parallel coordinates-based visual analytics for materials property;synthesizing light field volumetric visualizations in real-time using a compressed volume representation;lightweight coordination of multiple independent visual analytics tools;and coordinated image- and feature-space visualization for interactive magnetic resonance spectroscopy imaging data analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 47 48 49 50 51 52 53 54 55 56 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：