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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,116 篇 工学
- 855 篇 计算机科学与技术...
- 501 篇 软件工程
- 120 篇 电气工程
- 112 篇 控制科学与工程
- 83 篇 土木工程
- 77 篇 机械工程
- 74 篇 建筑学
- 67 篇 信息与通信工程
- 42 篇 动力工程及工程热...
- 41 篇 安全科学与工程
- 39 篇 材料科学与工程（可...
- 35 篇 仪器科学与技术
- 33 篇 交通运输工程
- 31 篇 化学工程与技术
- 31 篇 石油与天然气工程
- 29 篇 水利工程
- 23 篇 力学（可授工学、理...
- 23 篇 生物医学工程（可授...
- 22 篇 电子科学与技术（可...
316 篇 理学
- 194 篇 数学
- 63 篇 系统科学
- 55 篇 统计学（可授理学、...
- 43 篇 物理学
- 38 篇 化学
- 30 篇 生物学
198 篇 管理学
- 143 篇 管理科学与工程(可...
- 81 篇 工商管理
- 71 篇 图书情报与档案管...
35 篇 经济学
- 35 篇 应用经济学
28 篇 医学
26 篇 法学
- 24 篇 社会学
23 篇 教育学
9 篇 文学
7 篇 农学
3 篇 艺术学
2 篇 军事学

主题

60 篇 model checking
42 篇 tools
28 篇 static analysis
27 篇 data mining
24 篇 algorithm design...
23 篇 analytical model...
21 篇 stochastic syste...
21 篇 artificial intel...
20 篇 software enginee...
18 篇 semantics
17 篇 real time system...
17 篇 visualization
16 篇 hybrid systems
15 篇 computer archite...
15 篇 big data
15 篇 feature extracti...
15 篇 hardware
15 篇 mathematical mod...
14 篇 machine learning
14 篇 software

机构

12 篇 ludwig maximilia...
7 篇 univ illinois ur...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 natl aerosp univ...
4 篇 department of co...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 university colle...
3 篇 rwth aachen univ...
3 篇 carnegie mellon ...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
8 篇 kwiatkowska mart...
7 篇 hermanns holger
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 van de pol jaco
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,438 篇 英文
30 篇 其他
15 篇 德文
7 篇 中文
2 篇 俄文

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

共 1492 条记录，以下是191-200 订阅

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

详细简洁

排序：

Zero Trust Security Architecture in Cyber Forensics: An analysis through Log Management 12th

Zero Trust Security Architecture in Cyber Forensics: An Anal...

引用

12th international conference on Frontiers of Intelligent Computing: theory and Applications, FICTA 2024

作者： Oza, Pooja Ramesh Gulhane, Vijay S. Sharma, Parth Lamba, Monica Mokashi, Mandar Krishnarao Patil, Deepali MIT Art Design and Technology University Maharashtra Pune India Department of Information Technology Sipna College of Engineering and Technology Amravati Maharashtra Amravati India Nagpur Campus Pune India Electronics and Communication Engineering Arya College of Engineering Rajasthan Jaipur India Information Technology Vishwakarma Institute of Information Technology Maharashtra Pune India Pune India

ISBN: (纸本)9789819601424

With advancements being made in the cloud infrastructure wherein the users get access to utilize the cloud resources by storage allocation, this process might at times put the user data at risk. In such a scenario, it is important to authenticate the user and further allocate cloud resources to the respective person. this makes the process of breach difficult for non-users. the architecture used for the same is termed as zero trust security wherein all the respective users within or outside the organization must authenticate so as to gain access to the allocated resources. A continuous process of configuration and validation takes place on the networking edge so that overall security is maintained. the presented research covers how threat detection and response capabilities are enhanced when AI and ML are included into several cyber security systems including IDS. It discusses the potential and problems that AI and ML bring to the cyber security space, with an emphasis on data protection, ethical dilemmas, and the need for continual professional development in this quickly developing industry occurs. the efficacy of combining AI and ML with these cyber security tools within the System Log Management is affirmed in the paper’s conclusion. the overall cyber security resilience, response effectiveness, and threat detection are all greatly improved by this combination. the goal is to offer a thorough grasp of cyber security technologies as they exist today, their interactions with AI and ML, and predictions for future advancements in the technical field. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Cloud security

来源：评论

学校读者我要写书评

暂无评论

Using Microservice Architecture for High-Load Information systems on the Example of MedicinePlanner Service 12

Using Microservice Architecture for High-Load Information Sy...

引用

12th international conference on Advanced Computer Information Technologies, ACIT 2022

作者： Kornuta, Volodymyr Sobotnyk, Eduard Katamai, Ihor-Mykhailo Katamai, Yuliia Ivano-Frankivsk National Technical University of Oil and Gas Department of Software Engineering Ivano-Frankivsk Ukraine

ISBN: (数字)9781665410502

ISBN: (纸本)9781665466479

Nowadays, the topic of health is very relevant, and taking pills is one of the ways to stay healthy. So, there is a problem of a timely pill taking and it is important to develop a reminder system for taking medicine, available to the user anytime and anywhere. Moreover, to develop a fault-tolerant high-load system it is necessary to use modern design patterns to improve the scalability and maintenance of the software product. the article substantiates the importance of using one of the possible approaches to designing servers for highly loaded information systems - microservice architecture, in particular on the example of our own software product - MedicinePlanner, which supports further scalability through the implementation of the abovementioned architecture on the server side. this research presents the description of software development process on the basis of microservice architecture, using widely spread frameworks and tools, among which *** and gRPC. the client side has been built with a modular structure using Angular, containerization of all entities and system modules has been done, and support for automatic deployment in Azure has been added. In addition, containerization and deployment processes have been considered, as they are the integral part of the full development cycle. Among the main results of this study are the conducted analysis of the architecture of client and server parts of the application, description of the used design patterns and usage of microservice architecture. In contrast to monolithic architecture, microservice architecture solves one of the problems of this study - scalability of applications, the solution to which has been described in this work. Moreover, it is isolated from errors, so even in the event of any malfunctions, the failure of the entire system is impossible due to the allocation of resources and business logic. Finally, the comparative analysis of microservice and monolithic architecture has been carried ou

关键词： Information use

来源：评论

学校读者我要写书评

暂无评论

Development of Verification Model for Intelligence of Multiagent systems 12

Development of Verification Model for Intelligence of Multia...

引用

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

作者： Martynyuk, Oleksandr Drozd, Oleksandr Sachenko, Anatoliy Martynyuk, Dmitry Mileiko, Igor Kopytchuk, Igor Hladiy, Grygoriy National University 'Odesskaya Polytechnica' Odessa650044 Ukraine West Ukrainian National University Ternopil46009 Ukraine Kazimierz Pulaski University of Technology and Humanities Radom26-600 Poland Join Venture 'Nippon Auto' Odessa65000 Ukraine

ISBN: (纸本)9798350358056

the development of distributed information systems essentially relies on the complex application of Web services technologies, cloud, 'green', GRID, multi-agent and many others. In many of these technologies, intellectualization is increasingly manifested, which is clearly inherent, for example, in semantic and intelligent Web services, multi-agent systems. Intelligence, often defined as a set of properties of knowledge and mechanisms for their formation, requires its own ways of formalization and implementation, which is also reflected in the problems of analysis and synthesis of intelligent systems, including the problems of their identification and verification. this paper consider the fuzzy and component development of a model for verifying the intelligence of multi-agent systems based on the previously proposed model for verifying the intelligence of multi-agent systems, which, in turn, is based on behavioral experiments for extended Petri nets. the features of the proposed model for verifying intelligence are the presentation of fuzzy production models of all components of intelligence for parallel, associative-evolutionary search for known identifying primitives and recognition of fragments of system behavior based on them, the construction of new identifying primitives as part of a three-level model of new knowledge, as well as a fuzzy inference mechanism, as the basis for obtaining new knowledge, and for identifying and verifying the behavioral properties of the system. the intelligence verification model makes it possible to reduce the computational complexity of the behavioral verification of multi-agent systems and increase its flexibility. © 2023 IEEE.

关键词： associative-evolutionary search behavior identifying behavior verification distributed information system intelligence verification model multiagent system

来源：评论

学校读者我要写书评

暂无评论

Integration of Results from Static and Dynamic Code analysis into an Ontological Model

Integration of Results from Static and Dynamic Code Analysis...

引用

IEEE international Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Štefan Balogh Tibor Galko Faculty of Electrical Engineering Slovak Technical University Bratislava Slovakia

the use of process automation in malware detection is currently at the forefront of research activities. Machine learning and artificial intelligence appear in the given process as an important part of the solution. To ensure the best possible success we need to provide the best possible information as input. However, these can often only be obtained by combining different types of analysis with different tools. this work presents a system integrating tools for static and dynamic analysis. We aim to integrate the output knowledge from the analyses into one ontological model. We point out the possibilities and pitfalls of integrating knowledge from different sources into a practical implementation. the main advantage is the expansion of knowledge about the given object for other purposes of knowledge processing, whether it is the use of data in the process of machine learning or further interaction with the object.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Software Verification: 10th Comparative Evaluation (SV-COMP 2021) 27th

Software Verification: 10th Comparative Evaluation (SV-COMP ...

引用

27th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783030720124;9783030720131

SV-COMP 2021 is the 10th edition of the Competition on Software Verification (SV-COMP), which is an annual comparative evaluation of fully automatic software verifiers for C and Java programs. the competition provides a snapshot of the current state of the art in the area, and has a strong focus on reproducibility of its results. the competition was based on 15 201 verification tasks for C programs and 473 verification tasks for Java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). SV-COMP 2021 had 30 participating verification systems from 27 teams from 11 countries.

关键词： Formal Verification Program analysis Competition Software Verification Verification Tasks Benchmark C Language Java Language SV-Benchmarks

来源：评论

学校读者我要写书评

暂无评论

Cluster analysis in Higher Education Institutions' knowledge identification and production processes 17

Cluster analysis in Higher Education Institutions' knowledge...

引用

17th international conference on Future Networks and Communications / 19th international conference on Mobile systems and Pervasive Computing / 12th international conference on Sustainable Energy Information Technology, FNC/MobiSPC/SEIT 2022

作者： Guzman, Jey Howard Escorcia Zuluaga-Ortiz, Rohemi Alfredo Donado, Luz Eliana Garizabal Delahoz-Dominguez, Enrique José Marquez-Castillo, Andres Suarez-Sánchez, María Universidad de la Costa CUC Facultad de Ciencias Empresariales Barranquilla08003 Colombia Universidad del Sinú Facultad de Ingeniería Cartagena13001 Colombia Universidad Tecnológica de Bolívar Facultad de Ingeniería Cartagena13001 Colombia Corporación Universitaria Latinoamericana CUL Facultad de Ciencias Económicas Barranquilla08003 Colombia

the objective of this study is to describe the processes of identification and creation of knowledge in higher education institutions (HEI). the sample is composed of 7 universities in the city of Barranquila in Colombia, and is non-probabilistic. For this purpose, a survey was used to collect data from the directors and vice-rectors of research of the research departments. For its part, the research methodology is framed in the tools of cluster analysis and principal component analysis. the established approach made it possible to demonstrate that universities have two characteristics for identifying and creating knowledge in HEIs: community learning and individual learning. © 2022 the Authors. Published by Elsevier B.V. this is an open access article under the CC BY-NC-ND license (https://***/licenses/by-nc-nd/4.0) Peer-review under responsibility of the conference Program Chairs.

关键词： Cluster analysis

来源：评论

学校读者我要写书评

暂无评论

ASSESSMENT AND MONITORING OF HISTORICAL TIMBER construction: AVAILABLE tools TO SUPPORT DECISION-MAKING PROCESSES

ASSESSMENT AND MONITORING OF HISTORICAL TIMBER CONSTRUCTION:...

引用

12th international conference on Structural analysis of Historical constructions (SAHC 2021)

作者： Riggio, Mariapaola Oregon State Univ Coll Forestry Wood Sci & Engn Dept Richardson Hall 119 Corvallis OR 97331 USA

ISBN: (纸本)9788412322200

Timber structures represent a rich although still underestimated portion of the historical built asset worldwide documenting a tradition of sustainable practices and craftsmanship. Assessment of their condition is a fundamental step towards their conservation. While some overarching approaches for the assessment of timber structures are not dissimilar to those used for other types of structures, there are some specific factors affecting timber structures behavior that should be taken into consideration. Such factors are especially related to the organic nature of wood, which makes timber's properties largely variable and influenced by the environment. Successful conservation of historical timber structures requires combination of many different disciplinary contributions, from wood science and technology, to structural engineering, building physics, architecture, art history and environmental science, among others. this contribution aims to present an overview of tools supporting decision-making processes for the assessment and conservation of existing timber structures, including both methodological frameworks and technical approaches for data collection and analysis. these tools are reviewed according to the scope of the assessment and considering multiple levels at which timber structures are studied, at the material, system and building scale. Additionally, emerging approaches and challenges for holistic assessment of historical timber structures are discussed.

关键词： Historical Timber Structures Monitoring Assessment Decision-making tools

来源：评论

学校读者我要写书评

暂无评论

Digital transformation of city’s engineering and energy infrastructure systems 12

Digital transformation of city’s engineering and energy inf...

引用

12th international conference on Contemporary Problems of Architecture and construction, ICCPAC 2020

作者： Berezin, A. Saint Petersburg State University of Architecture and Civil Engineering Saint Petersburg Russia

ISBN: (纸本)9781032009308

the article offers a model for choosing options for digitalization of engineering and energy infrastructure of the city’s housing and utilities sector. Description and formalization of the digital transformation object, its characteristics and parameters serve as the basis for applying restrictions and mathematical tools of set theory. the model proposed by the author allows us to implement a systematic approach to choosing the best ways to digitalize the most important segment of housing and communal services – engineering and energy infrastructure. © 2021 Taylor & Francis Group, London

关键词： Housing

来源：评论

学校读者我要写书评

暂无评论

Evaluation of post-excavation engineering geological condition at the diversion tunnel of Tiga Dihaji Dam construction, South Sumatera, Indonesia 12

Evaluation of post-excavation engineering geological conditi...

引用

12th international conference on Physics and Its Applications, ICOPIA 2024

作者： Krisdianto, Panji Sedawan, Hendy Budlanta, Wawan Geological Engineering Department Faculty of Engineering Universitas Gadjah Mada Indonesia

the diversion tunnel at Tiga Dihaji Dam used underground tunneling construction with a diameter of 7 meters and a tunnel length of 595 meters. the diversion tunnel was already excavated, and the support systems were installed. the underground condition of the tunnel depends on the rock mass characteristics. Hence, the engineering geological conditions must be evaluated after the excavation process. Five aspects were evaluated: geomorphology, lithology, geological structure, groundwater level, and rock mass quality. Two methods were used to evaluate all of the five aspects: geological surface mapping and core sample analysis. Geological surface mapping was conducted on a 1,3 x 1,5 kilometers area around the diversion tunnel to obtain the geomorphology, lithology, and geological structure data. Core sample analysis was conducted by analyzing four sample cores along the tunnel alignment to obtain groundwater level and rock mass quality data. Two kinds of rock mass classification were used to analyze the rock mass quality: Rock Mass Rating (RMR) and Geological Strength Index (GSI). the evaluation will be presented in the form of engineering geological maps. Results indicated that the geomorphological condition of the study area was classified into steep sloping hills, gently sloping hills, and very steep sloping river valley units. the lithology condition was classified into tuff, interbedded sandstone and carbonaceous siltstone, and colluvial sediment. Systematic shear joints at some observation stations were observed, indicating the presence of weak planes in the diversion tunnel. the groundwater level was at 241-243 meters above sea level, which was above the elevation of the diversion tunnel at 218-221 meters. In addition, the rock mass quality in the study area consists of good, fair, and poor quality rocks for both methods, with RMR values ranging between 37,00 to 61,60, and the GSI of 32,50 to 73,90. In conclusion, the rock mass classification depends on the lith

关键词： Geomorphology

来源：评论

学校读者我要写书评

暂无评论

Application of the basic principles of "Industry 4.0" in the intellectualization of automated control systems of modem thermal power plants

Application of the basic principles of "Industry 4.0" in the...

引用

12th international conference on Ambient systems, Networks and Technologies (ANT) / 4th international conference on Emerging Data and Industry 4.0 (EDI40)

作者： Arakelyan, E. K. Kosoy, A. A. Mezin, S., V Pashchenko, F. F. Natl Res Univ MPEI Moscow 111250 Russia Russian Acad Sci VA Trapeznikov Inst Control Sci Moscow 117997 Russia

the description of the basic principles embodied in the concept of "Industry 4.0" and the possibility of their use in the development of measures aimed at increasing intelligence of modern control system of thermal power plants (TPP) the results of the analysis of the level of intelligence and efficiency of modern control system on the basis of program-technical complexes (PTC). It is shown that, despite the widespread introduction of modern PTC in the construction of new and modernization of existing ACSTPs of TPP, the improvement of the quality of technological processes, optimization of their modes and parameters, occurs mainly at the level of equipment and power unit and to a much lesser extent - at the level of power plants and as a resultan insufficient level of automation and low technical and economic efficiency. Another conclusion from the analysis - when implementing control algorithms in automated process control systems based on modern PTC, their wide information and software capabilities are not fully used. the main ways of further improvement of ACSTPs in order to increase their efficiency and the level of intelligence of ACSTPs of power plants based on PTC are given the assessment of the level of increase in intelligence and economic effect from the implementation of the proposed solutions is given. (C) 2021 the Authors. Published by Elsevier B.V.

关键词： Industry 4.0 control system intellectualization program-technical complexes control levels functions and tasks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共150页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：