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

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Identification of the Parameter of the Single-Phase Flow Model in the Reservoir with the Power Law of Filtration 5

Identification of the Parameter of the Single-Phase Flow Mod...

引用

5th International Conference on Problems of Cybernetics and Informatics, PCI 2023

作者： Gamzaev, Khanlar Leonov, Sergey Huseynzade, Sevil Kerimova, Sevinc Azerbaijan State Oil and Industry University Department of General and Applied Mathematics Baku Azerbaijan Department of Computer Engineering and Programming Kharkiv Ukraine

ISBN: (纸本)9798350319064

The process of unsteady flow of a single-phase liquid in a cylindrical reservoir arising under the elastic mode of reservoir development is considered. To describe this process, a power law of filtration is proposed for a single-phase flow in a porous medium. Within the framework of the proposed model, the task of identifying one parameter of the model characterizing the simulated reservoir system is set. To construct a discrete analog of the inverse problem, the finite difference method is used using an explicit-implicit approximation in time. To solve the resulting system of nonlinear equations, a special representation is proposed that allows reducing the nonlinear system to two independent systems of linear equations. As a result, an explicit formula is obtained for determining the approximate value of the desired reservoir parameter. Based on the proposed method, numerical experiments were carried out for model problems. © 2023 IEEE.

关键词： Filtration

来源：评论

学校读者我要写书评

暂无评论

A novel Frei-Chen based fragile watermarking method for authentication of an image

A novel Frei-Chen based fragile watermarking method for auth...

引用

作者： Renklier, Ayhan Öztürk, Serkan Computer Programming Department Kayseri University Kayseri Turkey Computer Engineering Department Erciyes University Kayseri Turkey

In recent years, the protection of the intellectual property rights of digital media has become a considerable issue. Especially using digital image editing tools has made it very easy and fast to manipulate images. Therefore, manipulation detection of digital images has become a necessity. This article presents a novel Frei-Chen based self-embedding fragile watermarking technique implemented to (Formula presented.) blocks for image manipulate detection. The block key and the Frei-Chen based block feature are calculated from the non-overlapping image blocks of size (Formula presented.). Exclusive-OR operations are applied to the Frei-Chen based block feature and the block key. After, a nine bit block authentication key is generated from the Frei-Chen based block feature and the block key. Then the generated authentication key is embedded in the least significant bits of each block. Experimental results prove the effectiveness of the proposed method through the detection of the various attacks and obtain the excellent visual quality of watermarked images. Also, the results demonstrate that the proposed method detects all of the manipulated areas plainly. © 2022 John Wiley & Sons, Ltd.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Optimization of MIMO Antenna Approach for 5G Wireless Applications 11

Optimization of MIMO Antenna Approach for 5G Wireless Applic...

引用

11th IEEE International Conference on Systems and Control, ICSC 2023

作者： Atuwayr, Aqreerah Asmeida, Akrem Ben Abdelmula, Haitham Saleh Anaiba, Abdulhakim Alhadi High Institution of Engineering Technology College of Computer Technology Zawia Libya Libyan Center for Electronic Systems Programming and Aviation Research Libya

ISBN: (纸本)9798350304886

In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 printed circuit board. For optimizing the mutual coupling features, the metamaterial rectangular slots are employed between adjacent elements. Extensive simulation results prove that our proposed design 4x4 MIMO array operated at 5.8 GHz offers significantly better performance in terms of antenna gain and envelope correlation coefficient (ECC) with 6 dB and less than 0.0009 respectively. Rendering to the reached outcomes, the proposed MIMO antenna is an efficient application-oriented design for 5G communication. © 2023 IEEE.

关键词： Defected ground structures

来源：评论

学校读者我要写书评

暂无评论

Development and Analysis of Genetic Algorithm for Optimization of Continuous Cast Billets Warehousing Process

Development and Analysis of Genetic Algorithm for Optimizati...

引用

2024 International Russian Smart Industry Conference, SmartIndustryCon 2024

作者： Shchegolikhin, Ivan S. Andreev, Sergey M. Nosov Magnitogorsk State Technical University Department of Computer Engineering and Programming Magnitogorsk Russia Nosov Magnitogorsk State Technical University Department of Automated Control Systems Magnitogorsk Russia

ISBN: (纸本)9798350395044

Warehouses are an important logistic component of various companies. Warehouses may have different layouts, equipment and their own features. Optimization of warehouse operations can decrease overhead costs and increase the economic efficiency of industry. The technological process of steel sheet production at a metallurgical company includes two major stages: casting of liquid steel into billets and rolling of these billets on a rolling mill. In order to coordinate the productivity of these two stages and to be able to fulfill orders promptly, a warehouse of slabs (billets) is used. Billets of different parties and steel grades are stored in stacks. The billets are moved to the warehouse for storage and from the warehouse to the rolling mill by bridge cranes. In this paper the problem of optimization of the process of continuous cast billets storage is solved to minimize the number of slab handling operations. The problem is decomposed into two subproblems SLAP (Storage Location Assignment Problem) and CSP (Crane Scheduling Problem). A modified genetic algorithm was applied to solve the problem. Using a simulation model of the warehouse, the efficiency of the algorithm was evaluated using different approaches to take the restrictions imposed on the process of slab handling into account. It is shown that the most effective is the algorithm in which there is no restriction on the placement of stacks of billets belonging to one melting. © 2024 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

A new approach with blockchain based for safe communication in IoT ecosystem

引用

Journal of Data, Information and Management 2022年第1期4卷 49-56页

作者： Gürfidan, Remzi Ersoy, Mevlüt Isparta University of Applied Science/Computer Programming Isparta 32500 Turkey Süleyman Demirel University/Computer Engineering Isparta 32650 Turkey

The security of circulating and processed data on digital platforms reveals new security needs. In this study, a model is proposed that the transaction records of the devices and the data obtained from the sensors on a designed internet of thing network they cannot be tampered with blockhain technology. In proposed model, by making the necessary settings of the operating system installed on the Raspberry Pi 3 and writing additional services to the operating system, the Raspberry Pi 3 has been turned into access point devices. In this way, internet of thing network was established by offering internet access service to clients who will be members of internet of thing network. Records of the transactions that take place on the internet of thing network are stored in the Raspberry Pi 3 by converting them into a blockchain structure. In addition, the raw data was sent to a server with hyperledger fabric installed on it. A blockchain software using hyperledger fabric framework running on the server was realized. This software is configured to convert motion records of devices that are members of the internet of thing network to be sent to it into a blockchain structure. Thanks to the hyperledger fabric framework, which has a distributed structure, the loss of data and the risk of modification given by the ledger structure are eliminated. The security and storage of data about the operations of all internet of thing devices operating on internet of thing network established with this created system are maximized. © The Author(s), under exclusive licence to Springer Nature Switzerland AG 2022.

关键词： Blockchain Data security Hyperledger fabric Internet of things (IoT)

来源：评论

学校读者我要写书评

暂无评论

New neural networks for determining proximity and distance functions when comparing binary objects 3

New neural networks for determining proximity and distance f...

引用

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Dmitrienko, Valerii Zakovorotniy, Aleksandr Leonov, Sergey National Technical University 'Kharkiv Polytechnic Institute' Computer Engineering and Programming Department Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

Artificial neural networks are effectively used to solve various problems (recognition, clustering, classification, etc.) in conditions where information about objects is given by vectors with binary components. The Hamming neural network is an effective tool for solving these problems when the initial information is given in the form of bipolar vectors. However, when comparing binary objects with qualitative features, more than 70 different distances (proximity measures) and proximity functions of binary objects are used. Synthesizing dozens of neural networks for matching binary objects is too laborious. Therefore, a universal approach to the synthesis of such neural networks is proposed. In addition, the Hamming network can select only one object from its memory that is closest to the input. It cannot function normally if there are two or more such objects. The proposed neural network does not have this shortcoming. And last but not least, a neural network with this architecture allows you to calculate various distances and similarity measures of the input data and data stored in the network memory © 2022 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Functional Model of an Electrocardiological Study 9

Functional Model of an Electrocardiological Study

引用

9th IEEE International Conference on Problems of Infocommunications Science and Technology, PIC S and T 2022

作者： Filatova, Anna Povoroznyuk, Anatoliy Fahs, Mohamad National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine

ISBN: (纸本)9798350398915

The purpose of this research is to develop a functional model of the electrocardiological study using the methodology of functional modeling IDEF0. The functional model of the electrocardiological study are developed in the form of a contextual diagram, its decomposition, and decomposition of the activities To perform registration and analysis of electrocardiograms and To perform diagnostics. Using the proposed functional model of the electrocardiological study, the structural diagram of the cardiological decision support system is developed based on the morphological analysis of biomedical signals with locally concentrated features. The modules of the proposed cardiological decision support system, as well as the modes of its operation, are considered. Further research is aimed at developing an information model of the electrocardiological study for the development of an informational structure of the cardiological decision support system based on the morphological analysis of electrocardiograms. © 2022 IEEE.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Fast Two-Factor Authentication Method in Systems With a Centralized User's Database 3

Fast Two-Factor Authentication Method in Systems With a Cent...

引用

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Rezanov, Bohdan Kuchuk, Heorhii National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

work proposes a two-factor authentication method by integrating the second factor into the authentication service in system with a centralized user's database. This approach made it possible to achieve the universality of the process and reduce the authentication time. In this case, the compromise of the first factor becomes inexpedient. Simulation showed that the rest of the authentication parameters meet the requirements defined by international standards for two-factor authentication procedures. © 2022 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Development of a Navigation System on the University Territory Using Augmented Reality Technology 9

Development of a Navigation System on the University Territo...

引用

9th IEEE International Conference on Problems of Infocommunications Science and Technology, PIC S and T 2022

作者： Chernykh, Olena Zakovorotniy, Oleksandr Hrianyk, Heorhii Kosmin, Leonid Bondarenko, Yelizaveta National Technical University Kharkiv Polytechnic Institute Computer Engineering and Programming Department Kharkiv Ukraine

ISBN: (纸本)9798350398915

AR navigation is one of the interactive ways to use augmented reality. By displaying virtual guides in physical space using a smartphone, users can navigate from point to point more naturally than by comparing the map to their immediate environment. Thanks to this great advantage, AR navigation can help in searching both inside the academic building and on the territory of the institute. In this paper, the authors used 3DUnity and AR Foundation to create a navigation system around the territory of NTU KhPI using augmented reality technology. This development will allow you to navigate the terrain of the KhPI campus, find the location of the desired building, and also look the route from building to building on the map. The whole process is displayed on the smartphone screen. Real-time synchronization allows users in real world to feel virtual space, thereby enhancing poignancy and interaction, and making effect more vivid and almost real. © 2022 IEEE.

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：