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

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Akram Kh. Nishanov Oybek Allamov Askar T. Rakhmanov Janar Yusupova Ortik B. Ruzibaev Department of Systematic and Practical Programming Technical Sciences Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Software Engineering Urgench Branch of Tashkent University of Information Technology named after Muhammad al Khwarizmi Urgench Uzbekistan Department of systematic and practical programming Tashkent university of information technologies named after muhammad al-Khwarizmi Tashkent Uzbekistan Faculty of Software Engineering Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan

ISBN: (数字)9798350389234

ISBN: (纸本)9798350353051

The article considers in the intellectual processing of information, moving from a large unit of measurement to a smaller, more important unit of measurement, selecting sets of informative symbols and classifying symbols, developing modern recognition systems that help specialists in the field, as well as evaluating the states of objects to be classified, developing a classification algorithm for multi-class cases of educational samples. The development of a multi-class algorithm for symbol classification serves to develop the theory of symbol recognition. It deals with the construction of a decision rule construction algorithm. Its main purpose is to determine which of the given classes the recognized object belongs to. The complexity or simplicity of the proposed algorithm depends on the number of classes participating in the study sample. If the number of classes is two, then the formulation of decision rules is simple. That is why the classification algorithms proposed by most authors are solved for cases where the number of classes is three or more, the decisive rule in the matter of classification of objects is solved by making two classes. The construction of a multi-class decision rule for classification, which takes into account all classes at the same time, is a complex and urgent issue. In the article, in the classification of objects, a multi-level complex structured decision rule was developed based on special inequalities, and two-, three- and multi-class classification algorithms were developed.

关键词： Training Productivity Measurement units Atmospheric measurements Symbols Particle measurements Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

Deriving Distinguishing Sequences for Input/Output Automata

Deriving Distinguishing Sequences for Input/Output Automata

引用

2020 IEEE East-West Design and Test Symposium, EWDTS 2020

作者： Yevtushenko, Nina Burdonov, Igor Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia

ISBN: (纸本)9781728198996

Input/Output (I/O) automata are widely used when deriving high quality tests for (components of) complex discrete systems based on so called distinguishing sequences. For I/O automata, the number of distinguishability relations is much bigger than for classical deterministic Finite State Machines (FSM). In order to avoid submitting the same test sequence several number of times, i.e., avoid the "all weather conditions"assumption, the separability relation can be considered. If two Input/Output automata are separable then there exists an input sequence such that after submitting this sequence and observing produced outputs it can be uniquely concluded which automaton is under testing. In this paper, we modify the discipline of applying input sequences and discuss the derivation of separating sequences for automata with mixed states, i.e., states where transitions both under inputs and under outputs are defined, as well as with cycles labeled by outputs. We also illustrate how an adaptive separating sequence can be derived when both automata are input-enabled. © 2020 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Applying Enhanced Real-Time Monitoring and Counting Method for Effective Traffic Management in Tashkent

引用

SENSORS 2023年第11期23卷 5007-5007页

作者： Kutlimuratov, Alpamis Khamzaev, Jamshid Kuchkorov, Temur Anwar, Muhammad Shahid Choi, Ahyoung Software Gachon Univ Dept AI Seongnam Si 13120 South Korea Tashkent Univ Informat Technol Dept Informat Comp Technol & Programming Tashkent 100200 Uzbekistan Tashkent Univ Informat Technol Dept Comp Syst Tashkent 100200 Uzbekistan

This study describes an applied and enhanced real-time vehicle-counting system that is an integral part of intelligent transportation systems. The primary objective of this study was to develop an accurate and reliable real-time system for vehicle counting to mitigate traffic congestion in a designated area. The proposed system can identify and track objects inside the region of interest and count detected vehicles. To enhance the accuracy of the system, we used the You Only Look Once version 5 (YOLOv5) model for vehicle identification owing to its high performance and short computing time. Vehicle tracking and the number of vehicles acquired used the DeepSort algorithm with the Kalman filter and Mahalanobis distance as the main components of the algorithm and the proposed simulated loop technique, respectively. Empirical results were obtained using video images taken from a closed-circuit television (CCTV) camera on Tashkent roads and show that the counting system can produce 98.1% accuracy in 0.2408 s.

关键词： vehicle counting YOLOv5 intelligent transportation system smart city

来源：评论

学校读者我要写书评

暂无评论

B2A, A Straight-Through Approach from Basics to Advanced Level: Case Study for Python Course 11

B2A, A Straight-Through Approach from Basics to Advanced Lev...

引用

11th Workshop on software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2024

作者： Shazmeen, Abbasi Dakić, Pavle Zoltan, Alwahab Dhulfiqar Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University 1/C Pázmány Péter st. BudapestH-1117 Hungary Faculty of Informatics and Computing Singidunum University Danijelova 32 Belgrade Serbia Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovičova 2 Bratislava842 16 Slovakia

In this study, we present a straightforward teaching strategy for teaching the Python programming language. Our method emphasizes a clear progression from fundamental to sophisticated concepts. Beginning with a thorough explanation of core Python ideas, we show a beginner-level script that dissects each line of code and displays the results. One distinguishing feature of our system is that students use ChatGPT to optimize code, which encourages them to improve the core program with fewer lines. After getting the updated solutions, students carefully compare the original and optimized programs to discover improvements and potential flaws. This study underlines the effectiveness of the Straight-Through Approach, which focuses on improving Python understanding while also developing critical thinking and code optimization skills. Our findings show that this strategy is a simple and effective way for teachers to assist students in growing from basic to advanced Python abilities, resulting in a dynamic and successful learning environment. The proposed technique will teach students how to use AI-driven modules correctly, such as ChatGPT. © 2024 Copyright for this paper by its authors.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

A domain-specific language for modeling and analyzing solution spaces for technology roadmapping

arXiv

引用

arXiv 2021年

作者： Breckel, Alexander Pietron, Jakob Juhnke, Katharina Sihler, Florian Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

The introduction of major innovations in industry requires a collaboration across the whole value chain. A common way to organize such a collaboration is the use of technology roadmaps, which act as an industry-wide long-term planning tool. Technology roadmaps are used to identify industry needs, estimate the availability of technological solutions, and identify the need for innovation in the future. Roadmaps are inherently both time-dependent and based on uncertain values, i.e., properties and structural components can change over time. Furthermore, roadmaps have to reason about alternative solutions as well as their key performance indicators. Current approaches for model-based engineering do not inherently support these aspects. We present a novel model-based approach treating those aspects as first-class citizens. To address the problem of missing support for time in the context of roadmap modeling, we introduce the concepts of a common global time, time-dependent properties, and time-dependent availability. This includes requirements, properties, and the structure of the model or its components as well. Furthermore, we support the specification and analysis of key performance indicators for alternative solutions. These concepts result in a continuous range of various valid models over time instead of a single valid model at a certain point of time. We present a graphical user interface to enable the user to efficiently create and analyze those models. We further show the semantics of the resulting model by a translation into a set of global constraints as well as how we solve the resulting constraint system. We report on the evaluation of these concepts and the Iris tool with domain experts from different companies in the automotive value chain based on the industrial case of a smart sensing electrical fuse. © 2021, CC BY-NC-ND.

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Mapping aids using source location tracking increase novices' performance in programming cyber-physical systems

arXiv

引用

arXiv 2022年

作者： Witte, Thomas Vogt, Andrea Seufert, Tina Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Germany Department Learning and Instruction Institute of Psychology Education Ulm University Germany

Motivation and Background. Novices need to overcome initial barriers while programming cyber-physical systems behavior, like coding quadcopter missions, and should thus be supported by an adequately designed programming environment. Using multiple representations by including graphical previews is a common approach to ease coding and program understanding. However, novices struggle to map information of the code and graphical previews. Previous studies imply that mapping aids in a live programming environment might support novices while programming and foster a deeper understanding of the content. To implement these mapping aids in a domain independent way Source Location Tracking based on run-time information can be used. Method. In our study, we tested N = 82 participants while interacting and learning in an online programming environment. Using our 2x2 between-subject design study, we investigated the effects of two mapping aids: highlighting and dynamic linking on coding correctness including typical errors, and learning outcomes. Based on process data successful strategies were analyzed. Results. Combining both mapping aids compared to one aid resulted in higher performance. While highlights were more helpful for implementing the quadcopter missions (mission 1: p = .008*, ηpartial2 = .091), dynamic linking improved learning outcomes on the comprehension (F(1,75) = 5.61, p = .020*, ηpartial2 = .070) and application level (F(1,75) = 4.08, p = .047*, ηpartial2 = .052). Traces of learning strategies were related to higher coding correctness (organizing: r = .553, p © 2022, CC BY-NC-ND.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Models and algorithms for determining the probability of occurrence of a critical combination of events for three-element minimum sections in intelligent decision support systems

Models and algorithms for determining the probability of occ...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Oleksii Kolomiitsev Iryna Zakharchenko Viacheslav Tretiak Serhii Osiievskyi Alina Rybalchenko Hennadii Heiko Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Department of mathematics and software of ACS Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine

A method for determining the probability of occurrence of a critical combination of events for the three-element minimum cross-sections of attributes of the characteristics of the software quality model of intelligent...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Editorial

引用

programming AND COMPUTER software 2021年第8期47卷 555-557页

作者： Tchernykh, A. Juarez Ramirez, Reyes Russian Acad Sci Inst Syst Programming Moscow Russia CICESE Res Ctr Ensenada Baja California Mexico South Ural State Univ Chelyabinsk Russia Univ Autonoma Baja California Tijuana Baja California Mexico Mexican Network Software Engn Mexico City DF Mexico

Machine learning, artificial intelligence, data science, cloud computing, information technology, digital twins, Internet of Things, etc., are emerging trends to deal with complex and challenging problems in a variety of business, scientific, and social domains. The paper “Improving the Analytic Hierarchy Process (AHP) for requirements prioritization using Evolutionary Computing” presents an improved AHP using evolutionary computing techniques to optimize requirements prioritization. [...]the guest editors are thankful to all authors who submitted high-quality manuscripts and our reviewers for their efforts in reviewing the contributions.

关键词： Computer Science general software Engineering/programming and Operating Systems Operating Systems software Engineering Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Predicting the Performance of ATL Model Transformations (extended abstract)

Predicting the Performance of ATL Model Transformations (ext...

引用

2024 software Engineering, SE 2024

作者： Groner, Raffaela Bellmann, Peter Höppner, Stefan Thiam, Patrick Schwenker, Friedhelm Tichy, Matthias Ulm University Institute for Software Engineering and Programming Languages James-Franck-Ring UlmD-89069 Germany Ulm University Institute of Medical Systems Biology Albert-Einstein-Allee UlmD-89081 Germany Ulm University Institute of Medical Systems Biology Institute of Neural Information Processing Albert-Einstein-Allee UlmD-89081 Germany Ulm University Institute of Neural Information Processing James-Franck-Ring UlmD-89069 Germany

ISBN: (纸本)9783885797371

Model transformations are used in different areas of computer science. They are often used during the development of software but also at runtime, e.g., to update a digital twin. However, users of these languages still suffer from very limited tool support, especially in the context of performance engineering techniques, users are left to their own devices. In particular, performance prediction approaches for model transformations are unknown until now. To tackle this issue, we performed several experiments in which we used three different machine learning approaches to predict the performance of five transformations written in the Atlas Transformation Language (ATL) based on different characterizations of input models. In our experiments, we trained a random forest, a linear regression, and a support vector regression model with a radial basis functional kernel using real-world models. The results of our experiments show that we can achieve a mean absolute percentage error between 2.07% and 10.63% using support vector regression and a straightforward model characterization consisting of the number of model elements, the number of references, and the number of attributes. We also show a weakness of our approach which fails to predict the performance of transforming attributes with an arbitrary size, like string attributes. More details about our experiments can be found in our corresponding publication, which was accepted by the 2023 ACM/SPEC International Conference on Performance Engineering (ICPE) [Gr23]. © 2024 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Prediction models

来源：评论

学校读者我要写书评

暂无评论

Determination of Insulation Parameters with Optimization Algorithms

Determination of Insulation Parameters with Optimization Alg...

引用

International Conference on Decision Aid Sciences and Applications (DASA)

作者： Gunal, Ozen Akpinar, Mustafa Akpinar, Keyser Ovaz Manisa Celal Bayar Univ Dept Comp Programming Manisa Turkey Sakarya Univ Dept Software Engn Sakarya Turkey Amity Univ Dept Comp Sci Dubai U Arab Emirates Sakarya Univ Dept Comp Engn Sakarya Turkey Rochester Inst Technol Dept Comp Secur Dubai U Arab Emirates

ISBN: (纸本)9781665495011

Insulation is one of the essential energy efficiency and sustainability topics. While insulation is primarily the subject of buildings, insulation can also be made in pipes and heat exchangers in the factory environment. In the first example of this study, the insulation material that should be used for the specified heat loss in the case of a basic circular heat source being covered with insulation material was determined, while in the second case, the targeted insulation thickness with the accepted maximum heat loss and insulation material coefficient was tried to be determined. The results obtained show that errors were zero in particle swarm optimization (PSO) and artificial bee colony (ABC) algorithms in the first case. In the second case, PSO, ABC, and firefly (FA) optimization algorithms have the lowest average error with 3x10(-5)%, 1x10(-5)%, 3x10(-5)%, respectively.

关键词： insulation optimization energy heat transfer

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：