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

30th International Scientific Conference Electronics, ET 2021

作者： Mateva, Maya Angelova, Maria Faculty of Computer Systems and Technologies Technical University of Sofia Department of Programming and Computer Technologies Sofia1000 Bulgaria

ISBN: (纸本)9781665445184

Speech is a natural way of communicating between human beings and as such, it triggers an interest of transforming it to a way of interaction with a computer as well. Once it is converted into a sequence of words, it can easily be applied for executing commands, thus enabling people to perform tasks easily or in some cases - tasks that are even impossible for them to be performed. The automatic speech recognition becomes a task solved with various success based on the accuracy, online/offline availability, speed. However, with the constant improvement of the neural networks, it is getting easier to solve and the most prominent solution seems to be the Transformer architecture of neural networks. In this paper, we describe the design of an encoder-decoder TensorFlow architecture and the process of training the model with a specially created Bulgarian dataset. © 2021 IEEE.

关键词： Speech recognition

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Creating a Forecasting Model of Passenger Flows in Non-Scheduled Air Transportation

Creating a Forecasting Model of Passenger Flows in Non-Sched...

引用

Problems of Logistics, Management and Operation in the East-West Transport Corridor (PLMO), International Conference on

作者： Nadir Aghayev Dashqin Nazarli Department of Computer Systems and Programming National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan Department of Air Transport Production National Aviation Academy of the Republic of Azerbaijan Baku Azerbaijan

ISBN: (数字)9798350353099

ISBN: (纸本)9798350353105

In the article, a new method of building a forecast model using a fuzzy approach for charter air transportation time series with intra-series multiplicative changes is proposed. The method is based on the use of correlation functions in the calculation of forecast values based on statistical indicators of intra-row changes. In regular air transportation, the changes in the time series of statistical indicators are stable. On charter flights, these changes are unstable. This is due to the strong random effects of external factors (a sudden increase in demand for flights, economic changes, etc.) on the formation of charter flights. For this reason, the application of models based on trend changes does not give good enough results when building forecast models for charter flights. Therefore, to solve the problem, we propose to build a forecast model using a fuzzy approach, using the randomness of the intra-series changes of the statistical indicators of this type of air transportation. The researched method was checked based on the actual data of the time series of charter flights, and the results were obtained within acceptable limits.

关键词： Economics Correlation Atmospheric modeling Time series analysis Buildings Predictive models Air transportation Market research Forecasting Logistics

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

arXiv

引用

arXiv 2024年

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

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 "failures" 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

来源：评论

学校读者我要写书评

暂无评论

Traffic Modeling for the Industrial Internet of NanoThings 4

Traffic Modeling for the Industrial Internet of NanoThings

引用

4th IEEE KhPI Week on Advanced Technology, KhPI Week 2023

作者： Kuchuk, Nina Kovalenko, Andriy Ruban, Igor Shyshatskyi, Andrii Zakovorotnyi, Oleksandr Sheviakov, Iurii Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Computerized Management Systems National Aviation University Kyiv Ukraine Civil AviationI nstitute Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine

ISBN: (纸本)9798350395532

Industrial Internet of NanoThings (IIoNT) traffic model proposed. The model is based on the developed algorithm for Dynamic Data Composition Control. The application of the algorithm made it possible to reduce the total amount of transmitted information from the end nodes of IIoNT. The model made it possible to determine the parameters of aggregation traffic of IIoNT cluster gateway. With the calculated parameters, the value of the aggregated package is maximized. The main limitation is not exceeding the value of the boundary delay for the transmission of sensor readings. The model also allows you to dynamically determine the required amount of the gateway buffer memory. © 2023 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Method of Detection of Intrusions Based on Stacking Meta-Algorithm

Method of Detection of Intrusions Based on Stacking Meta-Alg...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Svitlana Gavrylenko Vladislav Zozulia Nataliia Khatsko Department of Computer Engineering and Programming National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Department Information Systems and Technologies National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

ISBN: (数字)9798350384499

ISBN: (纸本)9798350384505

An analysis of modern computer network intrusion detection systems was carried out. The application of machine and deep learning methods for classification problems has been investigated. The UNSW-NB15 dataset, developed at the Australian Cyber Security Center's (ACCS) Cyber Range Laboratory, contains data on normal network operations and synthetic intrusions. Data pre-processing was performed, including class balancing using the SMOTEENN method and selection of informative features using the Recursive Feature Elimination method. The possibility of using the stacking meta-algorithm to detect intrusions into computer networks has been investigated. A new algorithm for generating packets of raw data is proposed, which generates two sets of training data: one for training basic models, the other for a meta-model. A study of the effectiveness of using Random Forest, ANN, K Nearest Neighbor methods and Support Vector Machine and Random Forest as a decision-making meta-model was conducted. The use of the stacking meta-algorithm with the proposed algorithm for forming packets of output data, as well as basic models and a meta-model, led to a significant improvement in the quality of the model. It was found that, on average, recall and f1 score increased by 55.6% and 37.4%, respectively, compared to raw data and other models.

关键词： Training Support vector machines Computational modeling Stacking Training data Intrusion detection Predictive models Nearest neighbor methods Data models Random forests

来源：评论

学校读者我要写书评

暂无评论

Research of Neural Network Methods of Visual Defectoscopy of Metal Structures

Research of Neural Network Methods of Visual Defectoscopy of...

引用

2023 International Conference on Industrial Engineering, Applications and Manufacturing, ICIEAM 2023

作者： Chernikov, Alexander Smirnova, Elena Zhavoronkov, Oleg Peter the Great St. Petersburg Polytechnic University Higher School of Automation and Robotics St. Petersburg Russia Saint Petersburg State University Department of System Programming St. Petersburg Russia Computer Vision Systems Llc St. Petersburg Russia

ISBN: (纸本)9781665475952

The production of metal pipes is an important component of metallurgy and the entire industry as a whole. Traditional surface quality control is carried out by human inspectors, which is unsatisfactory due to low productivity, reliability and economy. Therefore, the introduction of an automatic visual inspection system into this production allows you to quickly find defects in products and reduce economic losses. To solve this problem, an algorithm based on the neural networks of the YOLOv5 and Unet architectures has been created, which allows finding the bounding frames of defects and their segmentation mask from the image. The created algorithm was applied to two control sites: mandrel defectoscopy and pipe defectoscopy. For mandrel defectoscopy, the accuracy for mAP 0.5 detection is 0.785, for iou_score segmentation - 0.562. For pipe defectoscopy, the accuracy for mAP 0.5 detection is 0.693, for iou_score segmentation - 0.526. © 2023 IEEE.

关键词： Computer vision

来源：评论

学校读者我要写书评

暂无评论

Al-Biruni Earth Radius Optimization for COVID-19 Forecasting

引用

Computer systems Science & Engineering 2023年第7期46卷 883-896页

作者： El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Mostafa Abotaleb Tatiana Makarovskikh Amal H.Alharbi Doaa Sami Khafaga Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams University11566CairoEgypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura University35516MansouraEgypt Department of System Programming South Ural State University454080ChelyabinskRussia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia

Several instances of pneumonia with no clear etiology were recorded in Wuhan,China,on December 31,*** world health organization(WHO)called it COVID-19 that stands for“Coronavirus Disease 2019,”which is the second version of the previously known severe acute respiratory syndrome(SARS)Coronavirus and identified in short as(SARSCoV-2).There have been regular restrictions to avoid the infection spread in all countries,including Saudi *** prediction of new cases of infections is crucial for authorities to get ready for early handling of the virus ***:Analysis and forecasting of epidemic patterns in new SARSCoV-2 positive patients are presented in this research using metaheuristic optimization and long short-term memory(LSTM).The optimization method employed for optimizing the parameters of LSTM is Al-Biruni Earth Radius(BER)***:To evaluate the effectiveness of the proposed methodology,a dataset is collected based on the recorded cases in Saudi Arabia between March 7^(th),2020 and July 13^(th),*** addition,six regression models were included in the conducted experiments to show the effectiveness and superiority of the proposed *** achieved results show that the proposed approach could reduce the mean square error(MSE),mean absolute error(MAE),and R^(2)by 5.92%,3.66%,and 39.44%,respectively,when compared with the six base *** the other hand,a statistical analysis is performed to measure the significance of the proposed ***:The achieved results confirm the effectiveness,superiority,and significance of the proposed approach in predicting the infection cases of COVID-19.

关键词： COVID-19 prediction meta-heuristic optimization LSTM Al-Biruni earth radius algorithm

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Understanding Student Success Prediction Using SHapley Additive exPlanations

Understanding Student Success Prediction Using SHapley Addit...

引用

Computer Science (COMSCI), International Scientific Conference on

作者： Berat Ujkani Daniela Minkovska Ognyan Nakov Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria

Predicting student success is an important task in educational institutions, as it allows for targeted interventions and support systems to enhance educational outcomes. This paper explores the use of SHAP (SHapley Additive exPlanations) model-agnostic method in understanding and interpreting student success prediction. The predictive model was built using Multi-Layer Perceptron neural network algorithm on a large public dataset. By shedding light on the underlying factors driving student success, this research contributes to the advancement of data-driven decision-making in education.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：