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

arXiv 2022年

作者： van Glabbeek, Rob Goltz, Ursula Schicke-Uffmann, Jens-Wolfhard Data61 CSIRO Sydney Australia School of Comp. Sc. and Engineering Univ. of New South Wales Sydney Australia Institute for Programming and Reactive Systems TU Braunschweig Germany

Goltz and Reisig generalised Petri's concept of processes of one-safe Petri nets to general nets where places carry multiple tokens. BD-processes are equivalence classes of Goltz-Reisig processes connected through the swapping transformation of Best and Devillers;they can be considered as an alternative representation of runs of nets. Here we present an order respecting bijection between the BD-processes and the FS-processes of a countable net, the latter being defined-in an analogous way-as equivalence classes of firing sequences. Using this, we show that a countable net without binary conflicts has a (unique) largest BD-process. Copyright © 2022, The Authors. All rights reserved.

关键词： Equivalence classes

来源：评论

学校读者我要写书评

暂无评论

Selected challenges of software evolution for automated production systems

Selected challenges of software evolution for automated prod...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. Tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf T. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany

Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.

关键词： Software Unified modeling language Automation Hardware Adaptation models Solid modeling Testing

来源：评论

学校读者我要写书评

暂无评论

A graphical user interface for evolutionary algorithms

引用

Acta Cybernetica 2003年第2期16卷 337-365页

作者： Tóth, Zoltán Institute of Informatics University of Szeged Árpád tér 2 H-6720 Szeged Hungary Department of Computer Science 2: Programming Systems Friedrich-Alexander University of Erlangen-Nuremberg Martensstr. 3 D-91058 Erlangen Germany

The purpose of Generic Evolutionary Algorithms programming Library (GEA1) system is to provide researchers with an easy-to-use, widely applicable and extendable programming library which solves real-world optimization problems by means of evolutionary algorithms. It contains algorithms for various evolutionary methods, implemented genetic operators for the most common representation forms for individuals, various selection methods, and examples on how to use and expand the library. All these functions assure that GEA can be effectively applied on many problems. GraphGEA is a graphical user interface to GEA written with the GTK API. The numerous parameters of the evolutionary algorithm can be set in appropriate dialog boxes. The program also checks the correctness of the parameters and saving/restoring of parameter sets is also possible. The selected evolutionary algorithm can be executed interactively on the specified optimization problem through the graphical user interface of GraphGEA, and the results and behavior of the EA can be observed on several selected graphs and drawings. While the main purpose of GEA is solving optimization problems, that of GraphGEA is education and analysis. It can be of great help for students understanding the characteristics of evolutionary algorithms and researchers of the area can use it to analyze an EA's behavior on particular problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Model-Based Approach to Automotive Feature Development for Updates and Upgrades

A Model-Based Approach to Automotive Feature Development for...

引用

2023 IEEE International Conference on Service-Oriented System Engineering (SOSE)

作者： Marc Schindewolf Jan Willem Wittler Thomas Kühn Daniel Grimm Eric Sax Institut für Technik der Informationsverarbeitung Karlsruhe Institute of Technology Karlsruhe Germany Dependability of Software-intensive Systems Karlsruhe Institute of Technology Karlsruhe Germany Software Engineering and Programming Languages Martin Luther University Halle-Wittenberg Halle-Wittenberg Germany

The automotive industry faces challenges due to the increasing demand for customization and individualization by consumers. With a wide range of equipment levels and feature options, it has become impossible to test all possible configurations for a single vehicle during development and especially for vehicles already in service. As a basis for solving these challenges, integrated approaches for the development of upgradeable vehicles are required. In this context, future upgrade options should be considered and planned already in the design stage to enable sustainable business models for next vehicle generations. This paper proposes a refined variability model that combines two existing approaches to address the challenges faced by the industry. The same model can perform buildability or upgradeability checks and dynamic allocation optimization. The model is evaluated qualitatively by three exemplary use cases.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Speaker's Emotions Recognition Module Based on the GoogleLeNet Neural Network

Speaker's Emotions Recognition Module Based on the GoogleLeN...

引用

2022 International Conference on Smart Information systems and Technologies, SIST 2022

作者： Tereikovskyi, Ihor Tereikovska, Liudmyla Kryvoruchko, Olena Tereikovskyi, Oleh Tyshchenko, Dmytro Franchuk, Tamara National Technical University Of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. Of System Programming And Specialized Computer Systems Kyiv Ukraine Kyiv National University Of Construction And Architecture Dept. Of Information Technology For Design And Applied Mathematics Kyiv Ukraine Kyiv National University Of Trade And Economics Dept. Of Software Engineering And Cyber Security Kyiv Ukraine National Technical University Of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. Of Department Of Computer Engineering Kyiv Ukraine

ISBN: (数字)9781665467902

ISBN: (纸本)9781665467902

The article is devoted to the development of means for recognition of the emotions of the speaker, based on the neural network analysis of fixed fragments of the voice signal. The possibility of improving recognition tools through the use of a convolutional neural network of the GoogLeNet type is shown. The expediency of training the network on the examples of the TESS database is determined. A procedure for representing a voice signal in the form of a square grayscale image has been developed. Based on the use of the specified database, the modification of the GoogLeNet network was carried out. The architecture and software implementation of the recognition module have been developed. With the help of computer experiments, it has been established that after 150 epochs of training on a fairly limited training sample, the modified GoogLeNet makes it possible to achieve an accuracy of recognition of the speaker's emotions of approximately 0.97 on test examples. The obtained accuracy is comparable to the accuracy of the best modern systems of this purpose and confirms the promise of using neural network models like GoogLeNet for emotion recognition based on voice signal analysis. The need for further research aimed at reducing the resource intensity of the neural network model is shown. © 2022 IEEE.

关键词： Emotion Recognition

来源：评论

学校读者我要写书评

暂无评论

Supervised Learning for Yaw Orientation Estimation

Supervised Learning for Yaw Orientation Estimation

引用

International Conference on Indoor Positioning and Indoor Navigation (IPIN)

作者： Tobias Feigl Christopher Mutschler Michael Philippsen Machine Learning and Information Fusion Group Fraunhofer Institute for Integrated Circuits IIS Nuremberg Germany Machine Learning and Data Analytics Lab Friedrich-Alexander University Erlangen-Nürnberg Erlangen Germany Programming Systems Group

With free movement and multi-user capabilities, there is demand to open up Virtual Reality (VR) for large spaces. However, the cost of accurate camera-based tracking grows with the size of the space and the number of users. No-pose (NP) tracking is cheaper, but so far it cannot accurately and stably estimate the yaw orientation of the user's head in the long-run. Our novel yaw orientation estimation combines a single inertial sensor located at the human's head with inaccurate positional tracking. We exploit that humans tend to walk in their viewing direction and that they also tolerate some orientation drift. We classify head and body motion and estimate heading drift to enable low-cost long-time stable head orientation in NP tracking on 100 m×100 m. Our evaluation shows that we estimate heading reasonably well.

关键词： Magnetic heads Feature extraction Acceleration Tracking Head Accelerometers Estimation

来源：评论

学校读者我要写书评

暂无评论

Optimizing Machine Learning Algorithms to Enhance Blood Donation for Liver Patients: A Case Study 7

Optimizing Machine Learning Algorithms to Enhance Blood Dona...

引用

7th IET Smart Cities Symposium, SCS 2023

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

ISBN: (纸本)9781839539831

Blood is vital for transporting oxygen, nutrients, and hormones to all body parts as it circulates through arteries and veins. It removes carbon dioxide, regulates body temperature, and maintains the body's immune system. Individuals constantly need blood and its derivatives to save their lives and improve their health through medical treatments and surgical operations. Liver diseases are one of the diseases that affects the health of individuals and requires blood to continue living. These diseases cause significant damage to people's health, and early diagnosis plays a crucial role in saving lives. In this paper, machine learning algorithms (support vector machine and random forest) are involved in detecting liver diseases and determining whether donors are suitable to donate blood from blood values. This paper is applied research that found that the performance measures of the random forest algorithm achieved excellent performance in identifying suitable people to donate blood. © The Institution of Engineering & Technology 2023.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Creating a Dynamic Online Learning Environment with AI Integration

Creating a Dynamic Online Learning Environment with AI Integ...

引用

International Computer Sciences and Information Technologies (CSIT)

作者： Oleksandra Bulgakova Zarina Viniarska Viacheslav Zosimov P.M Platonov Educational and Scientific Institute of Computer Engineering Automation Robotics and Computer Programming Odesa National University of Technology Odesa Ukraine Department of Applied information systems Taras Shevchenko National University of Kyiv Kyiv Ukraine

ISBN: (数字)9798331542634

ISBN: (纸本)9798331542641

Educational, online learning has become a common practice due to rapid digitalization and recent global events. This study focuses on developing a comprehensive online learning platform that addresses users' needs by integrating advanced AI capabilities for personalized support and adaptive learning. The platform supports user registration and authentication, course and lesson management, and offers interactive features like AI-driven chat support. In this study, we show the importance of creating user-friendly online learning platforms with the implementation of modern AI trends. The development and testing of this platform is ongoing to determine the adaptation of the system to different learning styles.

关键词： Adaptive learning Electronic learning Authentication Passwords Market research Real-time systems Artificial intelligence Information technology Standards Testing

来源：评论

学校读者我要写书评

暂无评论

Model-based Generation of Attack-Fault Trees

arXiv

引用

arXiv 2023年

作者： Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to model and model-check a holistic view on both safety and security. Manually creating a complete AFT for the whole system is, however, a daunting task. It needs to span multiple abstraction layers, e.g., abstract application architecture and data flow as well as system and library dependencies that are affected by various vulnerabilities. We present an AFT generation tool-chain that facilitates this task using partial Fault and Attack Trees that are either manually created or mined from vulnerability databases. We semi-automatically create two system models that provide the necessary information to automatically combine these partial Fault and Attack Trees into complete AFTs using graph transformation rules. © 2023, CC BY-NC-ND.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：