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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,744 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,265 篇 理学
- 1,084 篇 物理学
- 212 篇 数学
- 111 篇 化学
- 94 篇 统计学（可授理学、...
- 73 篇 生物学
- 36 篇 地球物理学
- 24 篇 系统科学
780 篇 工学
- 245 篇 计算机科学与技术...
- 199 篇 软件工程
- 152 篇 核科学与技术
- 110 篇 冶金工程
- 102 篇 力学（可授工学、理...
- 87 篇 控制科学与工程
- 77 篇 电子科学与技术（可...
- 77 篇 信息与通信工程
- 75 篇 电气工程
- 69 篇 化学工程与技术
- 60 篇 生物工程
- 54 篇 生物医学工程（可授...
- 51 篇 机械工程
- 46 篇 仪器科学与技术
- 46 篇 动力工程及工程热...
- 45 篇 光学工程
- 27 篇 材料科学与工程（可...
110 篇 管理学
- 69 篇 管理科学与工程(可...
- 35 篇 图书情报与档案管...
- 29 篇 工商管理
63 篇 医学
- 46 篇 临床医学
- 42 篇 基础医学(可授医学...
- 28 篇 药学(可授医学、理...
13 篇 教育学
12 篇 法学
9 篇 经济学
5 篇 农学
3 篇 文学

主题

126 篇 bosons
101 篇 hadrons
84 篇 relativistic hea...
71 篇 hadron colliders
61 篇 higgs bosons
48 篇 proton-proton in...
44 篇 charged particle...
43 篇 photons
38 篇 large hadron col...
35 篇 standard model (...
34 篇 hadron-hadron in...
33 篇 hadron-hadron sc...
31 篇 tellurium compou...
31 篇 particle correla...
30 篇 collisions (nucl...
29 篇 nuclear counters
28 篇 machine learning
26 篇 supersymmetric m...
26 篇 particle product...
25 篇 nuclear reaction...

机构

745 篇 horia hulubei na...
678 篇 department of ph...
592 篇 department for p...
560 篇 institute of phy...
544 篇 institute of phy...
470 篇 department of ph...
460 篇 school of physic...
453 篇 cavendish labora...
443 篇 dipartimento di ...
442 篇 department of ph...
436 篇 department of ph...
399 篇 niels bohr insti...
391 篇 infn laboratori ...
360 篇 west university ...
359 篇 indian institute...
358 篇 faculté des scie...
352 篇 china institute ...
352 篇 school of physic...
351 篇 physics departme...
350 篇 department of ph...

作者

277 篇 c. alexa
277 篇 g. bella
277 篇 d. calvet
277 篇 c. amelung
277 篇 g. spigo
277 篇 f. siegert
276 篇 j. m. izen
276 篇 j. strandberg
271 篇 r. ströhmer
266 篇 m. rijssenbeek
265 篇 s. jin
260 篇 biswas s.
259 篇 ahammed z.
259 篇 g. gaudio
257 篇 s. mohapatra
255 篇 alkin a.
254 篇 y. tayalati
252 篇 s. guindon
249 篇 ali b.
248 篇 a. kaczmarska

语言

1,694 篇 英文
46 篇 其他
5 篇 中文

检索条件"机构=Institute of Computer Engineering and Applied Informatics Slovak University of Technology"

共 1744 条记录，以下是1-10 订阅

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

详细简洁

排序：

Integrating Data Protection at Interface of RISC-V Processor Core

Integrating Data Protection at Interface of RISC-V Processor...

引用

2024 Panhellenic Conference on Electronics and Telecommunications, PACET 2024

作者： Mach, Jan Kohutka, Lukas Cicak, Pavel Slovak University of Technology Institute of Computer Engineering and Applied Informatics Slovakia Information Systems and Software Engineering Slovak University of Technology Institute of Informatics Slovakia

ISBN: (纸本)9798350318845

Fulfilling increasing performance demands of space and automotive applications can be problematic as high dependability is required. Memory is one of the most radiationsensitive parts, so it is often protected with information redundancy. This paper describes an integration of error correction and detection techniques into the interface of RISC-V processor to protect the data stored in the memory. We also provide a hardware-software interface for reporting errors and software routines for correcting data in memory. Our solution has a negligible impact (-3.9%) on the overall performance of the core with a small area and power consumption overhead. © 2024 IEEE.

关键词： Error correction

来源：评论

学校读者我要写书评

暂无评论

Beyond Integration: Advancing Electricity Metering with Secure and Transparent Blockchain-IoT Solutions 47

Beyond Integration: Advancing Electricity Metering with Secu...

引用

47th International Conference on Telecommunications and Signal Processing, TSP 2024

作者： Koštál, Kristian Bahar, Muhammad Nasim Numyalai, Sultan Ries, Michal Institute of Computer Engineering and Applied Informatics Slovak University of Technology in Bratislava Faculty of Informatics and Information Technologies Bratislava Slovakia

ISBN: (纸本)9798350365597

As the demand for reliable and accurate electricity metering escalates in the digital era, traditional systems increasingly need to improve due to their centralized nature, prone to inaccuracies, privacy breaches, and cybersecurity threats. This paper proposes a novel solution that harnesses the transformative power of Blockchain and Internet of Things (IoT) technologies to address these critical challenges. By integrating the immutable ledger capabilities of blockchain with the real-time data acquisition prowess of IoT, we introduce a decentralized system that ensures the secure and transparent measurement and billing of electricity for domestic consumers. Adopting Hyperledger Fabric within our framework offers a robust, scalable architecture that supports secure transactions and enhances trust through digital identities for all participants. This system mitigates the vulnerabilities associated with centralized authorities and efficiently monitors and manages energy consumption with unprecedented precision. Through this approach, we aim to revolutionize the electricity metering infrastructure, providing a blueprint for future advancements in the energy sector. © 2024 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Lockstep Vs Microarchitecture: A Comparison 37

Lockstep Vs Microarchitecture: A Comparison

引用

37th IEEE International System-on-Chip Conference, SOCC 2024

作者： Mach, Jan Kohutka, Lukas Cicak, Pavel Slovak University of Technology Institute of Computer Engineering and Applied Informatics Bratislava842 16 Slovakia Slovak University of Technology Institute of Informatics Information Systems and Software Engineering Bratislava842 16 Slovakia

ISBN: (纸本)9798350377569

Safety/mission-critical applications require high dependability of the control systems. Their state-of-the-art protection approach is a system-level lockstep. This paper compares the system-level dual and triple lockstep technique to the microarchitecture-level protection of the Hardisc RISC-V core. For a fair comparison, each system is based on the same core(s) and integrates protection against bit-flips in memory and transient faults in the bus. We propose a fault injection methodology, combining pre-synthesis simulation with synthesis data to analyse the vulnerability of a system to faults. The fault injection campaigns show that the Hardisc can withstand fault rates orders of magnitude higher than the dual-core lockstep system while preserving the same area and power consumption. It comes with a 5% frequency penalty. We have shown that system failures are more frequent once the fault rate reaches an application-specific threshold (one fault in 100 clock cycles). © 2024 IEEE.

关键词： Failure rate

来源：评论

学校读者我要写书评

暂无评论

Shared Parking Concept in the Smart City Environment 8th

Shared Parking Concept in the Smart City Environment

引用

8th International Congress on Information and Communication technology, ICICT 2023

作者： Špitálová, Zuzana Mandová, Lucia Opatovský, Martin Faculty of Informatics and Information Technology Institute of Computer Engineering and Applied Informatics Slovak University of Technology Bratislava Slovakia

ISBN: (纸本)9789819930906

With the modern city infrastructure and increasing number of subjects in the traffic environment, there is a need for increased number of parking places. As the parking place is usually not used for a whole day, it could be shared with the others in the certain community. As it eliminates the useless driving due to the finding of free parking place, the traffic becomes more effective and produces less emissions. We designed the application for smart city environment, which helps to achieve the described situation. It consists of two parts, the frontend and backend. The data processed by the backend part can be further used for the city infrastructure improvements. The front-end part, designed in React Native, represents the graphical interface. The back-end part, designed in PostgreSQL, represents the database. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

A New RISC-V CPU for Safety-Critical Systems 12

A New RISC-V CPU for Safety-Critical Systems

引用

12th Mediterranean Conference on Embedded Computing, MECO 2023

作者： Mach, Jan Kohutka, Lukas Cicak, Pavel Institute of Computer Engineering and Applied Informatics Slovak University of Technology Bratislava842 16 Slovakia Institute of Informatics Information Systems and Software Engineering Slovak University of Technology Bratislava842 16 Slovakia

ISBN: (纸本)9798350322910

In this paper, we propose a novel hardening technique against Single Event Effects, which enables high-frequency operation and does not cause large power consumption and area overhead. The protection is based on redundancy, separation of the pipeline into two main sections, and is fully applicable at Register Transfer Level. It provides fast detection of faults, simple recovery by a flush of the pipeline, and allows a large prediction unit to be unprotected. We present the protection scheme at the core with the RISC-V instruction set. Simulations confirm that the protection can handle the injected faults. Synthesis shows that protection lowers the maximum frequency by only 3.9%. The area increase is only 108% and can be even lower. Total power consumption increased by 119%. © 2023 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Scheduling Tool for Deterministic Communication in Distributed Real-Time Systems 10

Scheduling Tool for Deterministic Communication in Distribut...

引用

10th Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2023

作者： Mach, Jan Tašková, Valéria Kohútka, Lukáš Institute of Computer Engineering and Applied Informatics Faculty of Informatics and Information Technologies Slovak University of Technology Bratislava Slovakia Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology Bratislava Slovakia

A network with critical data streams, where the timing of incoming and outgoing data is a necessity, is called a deterministic network. These networks are mostly used in association with real-time systems that use periodic hard-real-time data which need to be scheduled. The algorithm proposed in this paper is focused on achieving the lowest possible latency within the specified network topology depending on the physical parameters of the network and the periodic requirements of the communicating nodes. The algorithm allows to add priorities to the data flow between nodes and also the option to specify if preemption is allowed within the network, since not all devices support it. The result is a schedule of hard-real-time data communication within a specified network topology where all requirements of communicating nodes are met if such a solution is possible. © 2023 Copyright for this paper by its authors.

关键词： deadline deterministic scheduling Ethernet scheduling algorithm time-sensitive networking

来源：评论

学校读者我要写书评

暂无评论

Gamification of cyber ranges in cybersecurity education 20

Gamification of cyber ranges in cybersecurity education

引用

20th IEEE International Conference on Emerging eLearning Technologies and Applications, ICETA 2022

作者： Jelo, Martin Helebrandt, Pavol Slovak University of Technology Institute of Computer Engineering and Applied Informatics Bratislava Slovakia

ISBN: (数字)9798350320336

ISBN: (纸本)9798350320336

There is a lack of cybersecurity experts, and this problem is getting worse with the increasing number and importance of IT systems together with rising number and sophistication of attacks. Rapid development in cybersecurity necessitates constant training and practice to keep up with the latest threats. Studying IT, and especially cybersecurity is considered difficult and there is an urgent need to encourage interest of students in this field. One promising avenue to improving the situation is gamification. Gamification has been used in education to improve enthusiasm of students, increasing their numbers, information uptake and retention. Leveraging social connections and human competitiveness can further motivate students to take part and engage in the learning activities they would otherwise not consider. Virtualized environments offer means to scale up the practical training as well as share latest teaching methods. Cyber ranges used by educational institutions often are such open platforms that provide such practical cybersecurity training. Moreover, with some thoughtful planning they can prove to be popular serious games. In this paper, we explore opportunities for hands-on cybersecurity education by using gamified scenarios in cyber range virtualized environment. We focus on cyber testing environments, what their types are, and what it includes. We place emphasis on creating basic game scenario close to real-world situations. © 2022 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Covert Channel Detection Methods 20

Covert Channel Detection Methods

引用

20th IEEE International Conference on Emerging eLearning Technologies and Applications, ICETA 2022

作者： Ondov, Adrian Helebrandt, Pavol Institute of Computer Engineering and Applied Informatics Slovak University of Technology Bratislava Slovakia

ISBN: (数字)9798350320336

ISBN: (纸本)9798350320336

The modern networking world is being exposed to many risks more frequently every day. Most of systems strongly rely on remaining anonymous throughout the whole endpoint exploitation process. Covert channels represent risk since they ex-ploit legitimate communications and network protocols to evade typical filtering. This firewall avoidance sees covert channels frequently used for malicious communication of intruders with systems they compromised, and thus a real threat to network security. While there are commercial tools to safeguard computer networks, novel applications such as automotive connectivity and V2X present new challenges. This paper focuses on the analysis of the recent ways of using covert channels and detecting them, but also on the state-of-the-art possibilities of protection against them. We investigate observing the timing covert channels behavior simulated via injected ICMP traffic into standard network communications. Most importantly, we concentrate on enhancing firewall with detection and prevention of such attack built-in features. The main contribution of the paper is design for detection timing covert channel threats utilizing detection methods based on statistical analysis. These detection methods are combined and implemented in one program as a simple host-based intrusion detection system (HIDS). As a result, the proposed design can analyze and detect timing covert channels, with the addition of taking preventive measures to block any future attempts to breach the security of an end device. © 2022 IEEE.

关键词： Statistical methods

来源：评论

学校读者我要写书评

暂无评论

Simulation and Control of a Continuously Cast Steel Billet in an Induction Furnace∗ 9

Simulation and Control of a Continuously Cast Steel Billet i...

引用

9th International Conference on Control, Decision and Information Technologies, CoDIT 2023

作者： Zarghoon, Sohaibullah Bartalsky, Lukas Belavy, Cyril Institute of Automation Measurement and Applied Informatics Slovak University of Technology Faculty of Mechanical Engineering Bratislava Slovakia

ISBN: (纸本)9798350311402

This paper presents a solution to a problem that Khan Steel Company in Afghanistan encountered in their induction furnace. The motivation for deploying induction heating technology in the industry is outlined, including a description of the current situation. Basic approaches for managing this technology, critical to the industry's success, are also provided. The process of creating an induction heating model using the COMSOL Multiphysics environment is described, with emphasis placed on the importance of starting the machine and determining the system's dynamics once it is in production mode. Finally, an identification and control proposal based on the distributed parameter system is presented, followed by a demonstration of the proposed control system using simulation results. © 2023 IEEE.

关键词： Induction heating

来源：评论

学校读者我要写书评

暂无评论

Control of Temperature Field in the Secondary Cooling Zone of Continuous Casting Process Based on Robust Internal Model Control (IMC) Approach 15th

Control of Temperature Field in the Secondary Cooling Zone o...

引用

15th EAI International Conference on Automation and Control in Theory and Practice, ARTEP 2023

作者： Zarghoon, Sohaibullah Bartalský, Lukáš Belavý, Cyril Institute of Automation Measurement and Applied Informatics Faculty of Mechanical Engineering Slovak University of Technology in Bratislava Bratislava Slovakia

ISBN: (纸本)9783031319662

As the cast strand moves through the secondary cooling zone in a continuous casting machine, the secondary cooling zone is typically separated into a number of zones to control the cooling rate. The secondary cooling zone’s primary tasks in terms of heat transfer are to deliver the amount of water necessary to completely solidify a strand within the parameters of continuous casting operation, such as steel grade and casting speed, or the system can the ability to control the strand’s thermal conditions from below the mold to the end of the secondary cooling zone, such as the required strand surface temperature. In this paper, the controller parameter optimization process will be done in Simulink using a robust control toolbox, and a robust method based on IMC controllers will be selected for control synthesis with the consideration of the controlled system uncertainty, and the result will be displayed as temperature fields, which represent the system with distributed parameters. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Continuous casting

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共175页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：