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

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

来源：评论

学校读者我要写书评

暂无评论

Energy Efficiency Improvement System for AC Circuits

Energy Efficiency Improvement System for AC Circuits

引用

2024 Conference of Young Researchers in Electrical and Electronic Engineering, ElCon 2024

作者： Kulagin, Vladimir Selivanov, Kirill Vlasov, Andrey Aminev, Dmitrii Bunina, Lyudmila Bikovsky, Sergey Moscow Technical University of Communications and Informatics Moscow Russia Bauman Moscow State Technical University Bmstu Department of Design and Technology of Electronic Devices Moscow Russia Russian Technological University - Mirea Department of Development of Software Solutions and System Programming Moscow Russia Russian Technological University - Mirea Department of Electrical Engineering Systems Moscow Russia

ISBN: (纸本)9798350360646

The problem of the rational use of energy resources remains constantly relevant and requires the search for new approaches. One of them is power control. In AC circuits, the authors see the most promising method of phase AC power control. Based on it, a power control module was developed. The structural and circuit diagrams of the developed device are presented to implement the proposed solution. The authors produced its experimental prototype and conducted experimental testing at various levels of regulated power. Savings when using the proposed power control module were calculated using the example of energy consumption in various sectors of energy-intensive systems. According to the data obtained, the module allows saving energy consumption without significant discomfort to the energy user. The calculated results allow concluding that the proposed AC power control module is fully operational, and its widespread use will significantly reduce the need for electricity. © 2024 IEEE.

关键词： energy consumption energy efficiency power control

来源：评论

学校读者我要写书评

暂无评论

Application of Machine Learning Techniques for Software Anomaly Detection

Application of Machine Learning Techniques for Software Anom...

引用

International Conference on Applied Mathematics & Computer Science (ICAMCS)

作者： Veska Gancheva Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia Sofia Bulgaria

A rising variety of platforms and software programs have leveraged repository-stored datasets and remote access in recent years. As a result, datasets are more vulnerable to malicious attacks. As a result, network security has grown in importance as a research topic. The usage of intrusion detection systems is a well-known strategy for safeguarding computer networks. This paper proposes an anomaly detection method that blends rule-based and machine-learning-based methods. In order to construct the appropriate rules, a genetic algorithm is utilized. Principal component analysis is used to extract the relevant features aimed to improve the performance. The suggested method is validated experimentally using the KDD Cup 1999 dataset, which meets the requirement of using appropriate data. The proposed method is applied to detect and analyze four types of attacks in a well-known benchmark dataset: Neptune, Ipsweep, Pod, and Teardrop, utilizing Support Vector Machine, Decision Tree, and Naive Bayes algorithms. After testing the characteristics specified in the training phase, the data is classified into attack categories and normal behavior during the machine learning phase.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

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

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

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 $(\text{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 $\text { 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 $\text { 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 longitudi

关键词： Computer science Open Access Model checking System recovery Software Safety Logic Reliability Proposals Software engineering

来源：评论

学校读者我要写书评

暂无评论

Social Engineering Attacks Detection Approach 13

Social Engineering Attacks Detection Approach

引用

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

作者： Lysenko, Sergii Vorobiov, Volodymyr Bokhonko, Oleksandr Gaj, Piotr Savenko, Oleg Woloszyn, Jacek Khmelnitsky National University Department of Computer Engineering and Information Systems Khmelnitsky Ukraine Silesian University of Technology Gliwice Poland Khmelnitsky National University Department of Computer Engineering and System Programming Khmelnitsky Ukraine Kazimierz Pulaski University of Technology and Humanities in Radom Department of Informatics and Teleinformatics Radom Poland

ISBN: (纸本)9798350396119

The paper focuses on the problem of technical social engineering attacks that encompass the manipulation of individuals to reveal sensitive information, execute actions, or breach security systems. These exploits frequently capitalize on human psychology, trust, and a lack of vigilance to attain unauthorized entry to networks, systems, or data. In contrast to traditional social engineering tactics that center on psychological manipulation, technical social engineering attacks employ technological means and strategies to manipulate and beguile individuals. The paper presents an attempt to detect social engineering attacks. The approach utilized four machine learning algorithms (decision tree, random forest, K-nearest neighbor, and extreme gradient boosting). The analysis is centered on data collected from network hosts, which may serve as indicators of a potential social engineering attack. The empirical results demonstrated high detection accuracy. © 2023 IEEE.

关键词： Cybersecurity

来源：评论

学校读者我要写书评

暂无评论

Neuromorphic Neurons and Networks for Artificial Intelligence Built Using Temporal Space Calculations 32

Neuromorphic Neurons and Networks for Artificial Intelligenc...

引用

32nd International Scientific Conference Electronics, ET 2023

作者： Trendafilov, Ianislav Gancheva, Veska Neuromorphica Ltd. 8 Kliment Ohridski blvd. Sofia1335 Bulgaria Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria

ISBN: (纸本)9798350302004

We deigned a spiking neural network that computes network weights in the temporal dimension. Such a network can be used for artificial intelligence and deep learning. We demonstrate circuits implementing blocks for building such a network and then a training model. This enables creation of efficient Hessenstein-Reichardt detectors observed in motion detection networks in the nature. The proposed network allows reconfiguration across network layers algorithmically. © 2023 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Migrating Birds Optimization-Based Feature Selection for Text Classification

arXiv

引用

arXiv 2024年

作者： Kaya, Cem Kilimci, Zeynep Hilal Uysal, Mitat Kaya, Murat Dogus University Turkey Department of Information Systems Engineering Kocaeli University Turkey Department of Software Engineering Dogus University Turkey Department of Computer Programming Acibadem University Turkey

This research introduces a novel approach, MBO-NB, that leverages Migrating Birds Optimization (MBO) coupled with Naive Bayes as an internal classifier to address feature selection challenges in text classification having large number of features. Focusing on computational efficiency, we preprocess raw data using the Information Gain algorithm, strategically reducing the feature count from an average of 62221 to 2089. Our experiments demonstrate MBO-NB's superior effectiveness in feature reduction compared to other existing techniques, emphasizing an increased classification accuracy. The successful integration of Naive Bayes within MBO presents a well-rounded solution. In individual comparisons with Particle Swarm Optimization (PSO), MBO-NB consistently outperforms by an average of 6.9% across four setups. This research offers valuable insights into enhancing feature selection methods, providing a scalable and effective solution for text classification. © 2024, CC BY-NC-ND.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Human VS AI-Generated Content: Where to Draw the Line?

Human VS AI-Generated Content: Where to Draw the Line?

引用

International Scientific Conference Electronics (ET)

作者： Daniela V. Minkovska Elena V. Antonova Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria

ISBN: (数字)9798350376449

ISBN: (纸本)9798350376456

The integration and detection of AI (Artificial Intelligence) in a variety of fields, primarily education, are examined in this paper. With an emphasis on virtual assistants and their uses, it explores the potential and constraints of such technology. A study was conducted with students at the Technical University of Sofia, to assess their ability to distinguish between texts written by humans and AI. The results showcase that learners need to develop their critical analysis skills evidenced by their mixed expertise.

关键词： Ethics Virtual assistants Education Artificial intelligence Standards

来源：评论

学校读者我要写书评

暂无评论

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

Development and Analysis of Genetic Algorithm for Optimizati...

引用

International Russian Smart Industry Conference (SmartIndustryCon)

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

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._

关键词：

来源：评论

学校读者我要写书评

暂无评论

Univariate & Multivariate Forecasting of Time Series Through a Contemporary Manner

Univariate & Multivariate Forecasting of Time Series Through...

引用

International Conference on High Technology for Sustainable Development (HiTech)

作者： Kiril Koparanov Daniela Minkovska Elena Antonova Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Department of Computer Systems Technical University of Sofia Sofia Bulgaria

ISBN: (数字)9798350358100

ISBN: (纸本)9798350358117

Detailed forecasting of time series is one of the fields where the latest advancements in information technology make significant contributions. Operating with financial data poses noteworthy challenges owing to its inherent nature and substantial impact on economic dynamics within society. This study explores the utilization of automated tools as a set of resources for both unifactorial and multifactorial forecasting, drawing conclusions and providing recommendations.

关键词： Economics Accuracy Time series analysis Predictive models Data models Forecasting Sustainable development Information technology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：