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

Communications in Mathematics and Statistics 2022年第3期10卷 565-579页

作者： Zhigang Wang Jin Guo Inna N.Safonova Alexander N.Skiba School of Science Hainan UniversityHaikou 570228HainanPeople’s Republic of China Department of Applied Mathematics and Computer Science Belarusian State University220030 MinskBelarus Department of Mathematics and Technologies of Programming Francisk Skorina Gomel State University246019 GomelBelarus

Throughout this paper,all groups are finite and G always denotes a finite group;σis some partition of the set of all primes P.A group G is said to beσ-primary if G is aπ-group for someπ∈σ.Aπ-semiprojector of G[29]is a subgroup H of G such that HN/N is a maximalπ-subgroup of G/N for all normal subgroups N of ***П⊆σ.Then we say thatχ={X_(1),...,X_(t)}is aП-covering subgroup system for a subgroup H in G if all members of the setχareσ-primary subgroups of G and for eachπ∈Пwithπ∩π(H)≠φthere are an index i and aπ-semiprojector U of H such that U≤X_(i).We study the embedding properties of subgroups H of G under the hypothesis that G has aП-covering subgroup systemχsuch that H permutes with X^(x)for all X∈χand x∈*** well-known results are generalized.

关键词： Finite group σ-nilpotent group П-semiprojector П-covering subgroup system σ-subnormal subgroup

来源：评论

学校读者我要写书评

暂无评论

A Machine Learning Approach for Predicting Student Enrollment in the University 30

A Machine Learning Approach for Predicting Student Enrollmen...

引用

30th International Scientific Conference Electronics, ET 2021

作者： Ujkani, Berat Minkovska, Daniela Stoyanova, Lyudmila Faculty of Computer Systems and Technologies Technical University of Sofia Department of Programming and Computer Technologies Sofia1000 Bulgaria

ISBN: (纸本)9781665445184

The Matura exam is the final national examination that high school students in many countries must pass to be eligible for admission to a university. This paper discusses the key factors that have the most impact in producing a reliable machine learning model for predicting students' enrollment in the university. These factors include the final grades from each high school year, matura exam results and the university entry exam points. It should be noted that demographic factors were not taken into consideration in this study. Four machine learning (ML) techniques with a total of sixteen algorithms were implemented using the Weka software: Bayes (Bayes Net, Naive Bayes, etc.), Logistic Regression (Logistic and SimpleLogistic), K-Nearest Neighbors (IBK, KStar, and LWL) and Decision Tree (J48, Random Forest, RepTree, etc.). According to the results, The RepTree algorithm performed the best with a True Positive (TP) rate of 0.902 and a False Positive (FP) rate of 0.148. The algorithm with the lowest performance was NaiveMulti with a TP rate of only 0.790. However, the range between the worst and the best-performing algorithms was 14.18%. © 2021 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Synthesis of The Theory of Motion of Solid Bodies Filled With Bulk Substances For Fault-Tolerant Identification of Their Parameters 13

Synthesis of The Theory of Motion of Solid Bodies Filled Wit...

引用

13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023

作者： Kolodnenko, Vitalii Shyman, Anna Kalinin, Yevhen Kuchuk, Nina Sumy National Agrarian University Department of Agricultural Engineering Sumy Ukraine National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine National University of life and environmental sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine

ISBN: (纸本)9798350396119

In the article, the Lagrange equations of motion of a solid body having volumes fully or partially filled with a granular media presented in the form of an ideal liquid. To expand the possibility of applying the theory, it is assumed that the model bulk medium has a surface tension. The first integrals of these equations have been considered. Further, conditions under which there is equilibrium or stationary motion of a solid with a loose medium that are reduced to the conditions of extremality (stationarity) of the potential energy or the modified potential energy of the system are derived from the equations of motion. In practically interesting cases, the problem of the minimum change in potential energy is solved by studying the second variation of the latter, the conclusion of the expression of which is given. In the nonlinear formulation, the theorem on the instability of the equilibrium position of a body with a granular media is proved in the case when the potential energy of the system does not have a minimum in the equilibrium position. © 2023 IEEE.

关键词： Potential energy

来源：评论

学校读者我要写书评

暂无评论

Simulation Model of Data Consistency Protocol for Multicloud Systems 3

Simulation Model of Data Consistency Protocol for Multicloud...

引用

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

作者： Kozina, Olha Kozin, Mykyta National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Kharkiv Nation University of Radio Electronics Department of Information Control System Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

The development of multi-cloud systems with an acceptable level of service delays that significantly affect the quality of the end-users experience is an open research problem, for which simulation is successfully used. This paper proposes a simulation model in Matlab for estimating the time to write data updates initiated by the end-users to the databases of all cloud service providers for a multi-cloud system with a geo-distributed middleware that implements, as an example, the VIP-grab data consistency protocol. The simulation results indicate that our model can be useful in choosing a data consistency protocol that influences the architecture of a multicloud system. © 2022 IEEE.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Machine Learning in Defectoscopy: DBSCAN for Localization, Agglomerative Clustering for Typification

Machine Learning in Defectoscopy: DBSCAN for Localization, A...

引用

International Russian Smart Industry Conference (SmartIndustryCon)

作者： Ruslan Akhmadeev Yurii Litvinov Anastasiya Grigorieva Department of Computer Science Saint Petersburg State University Saint Petersburg Russia Department of System Programming Saint Petersburg State University Saint Petersburg Russia

ISBN: (数字)9798331511241

ISBN: (纸本)9798331511258

Acoustic emission (AE) is one of the most relevant and cost-effective non-destructive testing methods for identifying defects in industrial objects. This paper addresses two primary tasks in defectoscopy: locating hazardous AE zones and classifying signals according to the presumed defect type. Through our research, we have determined and experimentally confirmed that the most suitable machine learning method for localization is a modified DBSCAN, while Agglomerative Clustering is optimal for typification. This paper details the specific tuning and modifications applied to these methods for AE. The resulting models were successfully tested on real-world data. The accuracy of the localization results was assessed using statistical analysis and consultations with AE experts, while typification was validated probabilistically and tested on sample data.

关键词： Location awareness Accuracy Recurrent neural networks Statistical analysis Acoustic emission Probabilistic logic Real-time systems Reliability Tuning Testing

来源：评论

学校读者我要写书评

暂无评论

Direct and Inverse Optimization Problems in a Gas Deposit Model 15

Direct and Inverse Optimization Problems in a Gas Deposit Mo...

引用

15th International Conference Management of Large-Scale System Development, MLSD 2022

作者： Skiba, Alexander Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Design Methods for Developing Systems Department of Mathematical Methods of Regional Programming Moscow Russia

ISBN: (数字)9781665497015

ISBN: (纸本)9781665497015

A continuous dynamic model for the development of a gas field is studied. Two mathematical problems are posed, solved and analyzed. In the direct problem, we are looking for the maximum accumulated profit on a set of temporary functions of a certain type. In the inverse optimization problem, we define the entire set of planning horizons. We subject the assigned tasks to a comprehensive analysis. © 2022 IEEE.

关键词： Profitability

来源：评论

学校读者我要写书评

暂无评论

Machine Learning in Defectoscopy: DBSCAN for Localization, Agglomerative Clustering for Typification

Machine Learning in Defectoscopy: DBSCAN for Localization, A...

引用

2025 International Russian Smart Industry Conference, SmartIndustryCon 2025

作者： Akhmadeev, Ruslan Litvinov, Yurii Grigorieva, Anastasiya Saint Petersburg State University Department of Computer Science Saint Petersburg Russia Saint Petersburg State University Department of System Programming Saint Petersburg Russia

ISBN: (纸本)9798331511241

关键词： Acoustic emission testing

来源：评论

学校读者我要写书评

暂无评论

Advanced IOT Traffic Light Control System 5

Advanced IOT Traffic Light Control System

引用

5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023

作者： Hamad, Martin Abou El Hajj, Antonio Daou, Roy Abi Zeid Hayek, Ali Haidar, Gaby Abou Lebanese German University Faculty of Public Health Biomedical Technologies Department Lebanon MART Learning Education and Research Center Lebanon University of Kassel Department of Computer Architecture and System Programming Kassel Germany American University of Science and Technology Engineering Faculty Zahle Lebanon

ISBN: (纸本)9798350309959

For several years, traffic congestion has been a major problem in big cities where the number of cars and different means of transportation has been increasing significantly. The problem of congestion is becoming more and more critical, and if not treated smartly this issue will negatively affect drivers by wasting time and fuel gas while waiting for hours in lanes. This paper presents a new and smart way to mitigate this issue in an affordable cost, minimum processing power, and low power consumption. This concept takes into consideration the majority of the cases that may cause congestion and presents a smart and accurate outputs to ease traffic flow leading to the prediction of the peak hours of traffic congestion for smarter control. A model is designed to study the case of a four lanes crossroad with two traffic lights and two LCD monitors. The strategy in reading data is divided into two parts: real data from sensors and pre collected data from google maps to create a kind of a predicted pattern over a certain time interval. The responsiveness of the system is analyzed thoroughly, and the accuracy of all possible cases is carefully considered and evaluated. Each part of the system was tested alone, and the overall system is still in an ongoing testing phase. The results have shown minimum faulty errors and accepted outputs that can lead to safe traffic control decisions. Finally, integrating more IoT devices and sensors between V2V, V2P, V2I with the help of artificial intelligence will definitely optimize this system with higher accuracy. © 2023 IEEE.

关键词： Traffic congestion

来源：评论

学校读者我要写书评

暂无评论

Implementing and Executing Static Analysis using LLVM and CodeChecker

arXiv

引用

arXiv 2024年

作者： Horváth, Gábor Kovács, Réka Nikolett Szalay, Richárd Porkoláb, Zoltán Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Loránd University Budapest Hungary

Static analysis is a method to analyse the source code without executing it. It is widely used to find bugs and code smells in industrial software. Among other methods, the most important techniques are the one based on the abstract syntax tree and the one performing symbolic execution. Both of these methods found their role in modern software development as they have different advantages and limitations. In this tutorial, we present two problems from the C++ programming language: the elimination of redundant pointers;and how can we deal with dangling pointers originated from the misuse of the std::string class. These two issues have different theoretical backgrounds and finding them requires different implementation techniques. We will provide a step-by-step guide to implement the checkers – software to identify the aforementioned problems –, one is based on the abstract syntax analysis method, the other will explore the possibilities of the symbolic execution. The methods are explained in great detail and supported by code examples. We intend this tutorial both for architects of static analysis tools and for those developers who want to understand the advantages and the constraints of the individual methods. © 2024, CC BY.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Sensing Metric-Based Hybrid Underlay/Overlay Transmission Framework for CR-IoT Networks for Smart City Applications 7

Sensing Metric-Based Hybrid Underlay/Overlay Transmission Fr...

引用

7th IET Smart Cities Symposium, SCS 2023

作者： Bala, Indu Mijwil, Maad M. Abotaleb, Mostafa El-Kenawy, El-Sayed M. Ibrahim, Abdelhameed School of Electrical and Electronics Engineering Lovely Professional University Punjab India Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt

ISBN: (纸本)9781839539831

With the increasing number of IoT devices, there is a growing need for bandwidth to support their communication. Unfortunately, there is a shortage of available bandwidth due to preallocated bands for various services. To address this issue, Cognitive Internet of Things (CR-IoT) enables devices to optimize their efficiency and enhance their communication capabilities by intelligently accessing available bandwidth. This is achieved through the use of soft sensing metrics, where devices continuously monitor the RF environment and transmit data opportunistically in overlay mode if a free channel is detected, or in underlay mode if not. In this paper, a soft sensing metric based hybrid transmission framework is proposed for CR-IoT devices to meet the data rate requirement for the smart city applications. The efficacy of this approach is demonstrated through simulation results. © The Institution of Engineering & Technology 2023.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：