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

International Conference on Intelligent and Fuzzy Systems, INFUS 2020

作者： Yüksel, Asım Sinan Tan, Fatma Gülşah Computer Engineering Department Süleyman Demirel University Isparta Turkey Vocational School Computer Programming Department Manisa Celal Bayar University Manisa Turkey

ISBN: (纸本)9783030511555

Pollen contains highly allergic proteins. One of the major causes of allergic diseases is the pollen in the air we breathe. Asthma patients are known to show allergic reaction to pollens. Therefore, they need to be more careful and avoid the factors that trigger asthma. In this study, the first step was taken to develop an artificial-intelligence-based decision support system to improve the quality of life of asthma patients. Finding the ratio of pollen in nature is a long process, and it is measured by using different instruments and hours of calculations in laboratories. In this study, Adaptive Network-Based Fuzzy Extraction System (ANFIS) and normalization methods were applied to meteorological data to estimate the breathing levels of asthma patients according to the amount of pollen in the air. The data were tested via the Artificial Neural Networks method, and it was found that the model produced better results that are very close to real values when compared to the results in ANFIS. © 2021, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Automated System for Freight Transportation Optimization on the Transport Network

引用

Periodica Polytechnica Transportation Engineering 2023年第4期51卷 386-393页

作者： Dekhtyaruk, Mykola Department of Information Technologies and Programming Institute of Computer Technologies Open International University of Human Development "Ukraine" 23 Lvivska Str. Kyiv03115 Ukraine

An automated system for freight traffic optimization on a transport network has been developed, which is realized in the form of a complex computer program with application of the visual design environment of Embarcadero RAD Studio. The program complex consists of the main form from which two subprograms are loaded. The search of optimum routes performed by the routing optimization subprogram is used at transportations of freight on the set transport network based on different schemes (from one vertex (the supplier) to all other vertices (consumers), serially - from each vertex to all other vertices, and from two (or several) set of vertices to all other vertices). Freight delivery between the supply and consumption points was optimized by means of the freight transportation optimization subprogram, taking into account the restrictions on the volume of freight at the points of departure and destination. © 2023 Budapest University of Technology and Economics. All rights reserved.

关键词： Freight transportation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

Approach and Concept of Workflow for Animal Husbandry Data Integration and Analysis

Approach and Concept of Workflow for Animal Husbandry Data I...

引用

National Conference with International Participation (TELECOM)

作者： Veska Gancheva Stella Vetova Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Computer Systems Technical University of Sofia Sofia Bulgaria

ISBN: (纸本)9781665482134

A concept for data integration and risk analysis in animal husbandry production is presented in this paper. The proposed animal husbandry data integration and analysis model structure consists of three layers, each of which combines the tasks to be performed. The architecture for data integration and its components are described. The workflow organization is depicted in details including modules and their connections used for data exchange. On the base of the presented workflow experiments were implemented. To perform the experimental part of the study, statistical data on the population of domestic animals is used. The analysis of their results show the trend in the risk of animal husbandry production.

关键词： Analytical models Animals Data integration Production Market research Information filters Data models

来源：评论

学校读者我要写书评

暂无评论

Machine Learning Model for Predicting Failures in the Context of Autonomous Vehicles 7

Machine Learning Model for Predicting Failures in the Contex...

引用

7th International Conference on System Reliability and Safety, ICSRS 2023

作者： Krini, Abderrahim Ouertani, Aymen Börcsök, Habil. Josef Robert Bosch GmbH Engineering of Reliability and Quality Functional Safety Schwäbisch Gmünd Germany Institute of Functional Safety & Cyber Security Baden-Wuerttemberg Cooperative State University Lörrach Germany University of Kassel Computer Architecture und System Programming Kassel Germany

ISBN: (纸本)9798350306057

In general, failure data is obtained in the automotive industry during the warranty period. If these contain the expression of a service life characteristic for each failure, statements can be made about the reliability and availability of the systems. For this purpose, estimation methods are used to adapt empirical lifetime distributions to theoretical lifetime distributions. By means of the distribution characteristics, a prognosis of the reliability and availability to be expected is also possible beyond the observation time. In addition to the data basis to be investigated, which is available completely in test bench and experimental trials or re-censored in the field, various methods can be used for estimation. In the past, several methods have been used, such as the estimators according to Eckel [1], Kaplan-Meier [2] or the estimators according to Pauli [3]. In general, a field failure is subject to several stresses, which can be described by expressions of several lifetime characteristics. For this application case, which occurs in the automotive industry, the known estimation methods, [1]-[3], cannot be used. In this paper, the necessity of multidimensional estimation methods will be introduced first. Then, a new estimation method for multidimensional metrics is presented. In a further step, mathematical proof is given that the new method can provide realistic results. Finally, two example data sets from bench testing and field are presented. Furthermore, some recommendations for the use of the new method are concretized in this context. © 2023 IEEE.

关键词： Automotive industry

来源：评论

学校读者我要写书评

暂无评论

A theoretical approach to a safety-based predictive adaptation of wireless communication channel parameters in harsh environments

引用

Safety in Extreme Environments 2020年第1期2卷 93-101页

作者： Gaus, L. Schwarz, M. Boercsoek, J. Computer Architecture and System Programming University of Kassel Kassel Germany

This paper presents an approach to a real-time optimization of safety parameters in wireless communication systems. When considering the GEC–model (Generalized Erasure Channel) and the black channel design of a communication channel, then the PFH (Probability of Failure per Hour) value can be estimated using the parameters ε – BER (bit-error-rate), φ – BLR (bit-loss-rate), v – number of safety related messages per second, n – message length and d_min – minimum distance of a linear code. The number of safety related messages per second v and the message length n, including the information block k and the checksum block r, can be varying between the permissible bounds. Accordingly, the variable parameters can be adjusted at run-time with additional assimilation of the used cyclic code. It allows the real-time prediction and optimization of the safety parameters. In this paper, the concept of the parameter estimation is discussed and based on it the optimization problem is defined. © Springer Nature Switzerland AG 2020.

关键词： Black channel Communication CRC GEC Probability prediction Safety parameter

来源：评论

学校读者我要写书评

暂无评论

A new Estimation Method for Automotive Multidimensional Metrics 31st

A new Estimation Method for Automotive Multidimensional Metr...

引用

31st European Safety and Reliability Conference, ESREL 2021

作者： Krini, Abderrahim Börcsök, Josef Engineering of Reliability and Quality Robert Bosch GmbH Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9789811820168

In general, failure data is obtained in the automotive industry during the warranty period. If these contain the expression of a service life characteristic for each failure, statements can be made about the reliability and availability of the systems. For this purpose, estimation methods are used to adapt empirical lifetime distributions to theoretical lifetime distributions. By means of the distribution characteristics, a prognosis of the reliability and availability to be expected is also possible beyond the observation time. In addition to the data basis to be investigated, which is available completely in test bench and experimental trials or re-censored in the field, various methods can be used for estimation. In the past, several methods have been used, such as the estimators according to ECKEL [1], Kaplan-Meier [2] or the estimators according to Pauli [3]. In general, a field failure is subject to several stresses, which can be described by expressions of several lifetime characteristics. For this application case, which occurs in the automotive industry, the known estimation methods, [1], [2], [3], cannot be used. In this paper, the necessity of multidimensional estimation methods will be introduced first. Then, a new estimation method for multidimensional metrics is presented. In a further step, mathematical proof is given that the new method can provide realistic results. Finally, two example data sets from bench testing and field are presented. Furthermore, some recommendations for the use of the new method are concretized in this context. © ESREL 2021. Published by Research Publishing, Singapore.

关键词： Reliability

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：