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

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Mezentsev, Mykola Kharchenko, Artem Gasanov, Magomediemin Orlova, Tetyana National Technical University 'Kharkiv Polytechnic Institute' Computer Engineering and Programming Department Kharkiv Ukraine Vice-rector for Scientific and Pedagogical Work National Technical University 'Kharkiv Polytechnic Institute' Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

To estimate the measure of proximity and distance in various tasks (clustering, classification, etc.), one of the most common ways to represent information about objects is a binary indications vector. At the same time, to estimate the measure of proximity, a sufficiently large number of relationships are used that describe binary indicators of similarity and distance between objects with qualitative characteristics. At the same time, during the real functioning of objects, their characteristics can change over time, which can lead to uncertainties when comparing binary vectors of qualitative indications that describe these objects. Therefore, it is advisable to use many-valued logics that can take into account such uncertainties. The paper describes approaches to the application of such logics, and also considers their modifications to determine the measures of proximity and distances for objects whose characteristics are described by vectors using many-valued logics under uncertainty. © 2022 IEEE.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

Information technologies for calculating the effect of wire thickness and insulation material on its heating temperature during operation 4

Information technologies for calculating the effect of wire ...

引用

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

作者： Katunin, Albert Kulakov, Oleg Kolomiitsev, Oleksii Heiko, Hennadii Rudakov, Ihor Department of Fire and Technological Safety of Facilities and Technologies National University of Civil Defence of Ukraine Kharkiv Ukraine Scientific Department on Problems of Civil Protection and Technogenic and Ecological Safety National University of Civil Defence of Ukraine Kharkiv Ukraine Computer Engineering and Programming Department National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350395532

The paper evaluates the influence of wire thickness and insulation material on its heating temperature during operation. The temperature and time characteristics of wire exploitation under conditions of different load currents are analysed. The ranges of the wire temperature increase during operation are determined for wires with insulation made of polyethylene, polyvinyl chloride, enamel, and rubber. © 2023 IEEE.

关键词： Wire

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Smart Human Posture Monitoring Device Using a Wearable Vest 7

Design and Implementation of a Smart Human Posture Monitorin...

引用

7th International Conference on Advances in Biomedical engineering, ICABME 2023

作者： Daou, Roy Abi Zeid Geha, Elio Aoun, Youssef Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Biomedical Engineering Department Furn El Chebbak Beirut Lebanon Mart Learning Education and Research Center Chananir Lebanon Lebanese German University Faculty of Public Health Biomedical Technologies Department Jounieh Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Germany Universidad Politecnica de Madrid Lab of Bioinstrumentation and Nanomedicine Centro de Tecnologia Biomedica Spain

ISBN: (纸本)9798350325850

Chronic back pain can present a serious health concern, with symptoms that can significantly affect an individual's well-being, mobility, and overall quality of life over an extended period. While chronic back pain may manifest suddenly in some cases, it often develops gradually and persists for weeks, and in untreated cases, it can linger for years. Hence, the utilization of assistive devices such as wearable posture-monitoring vests can offer valuable assistance and guidance to users. This research paper is dedicated to the development of a system for detecting, diagnosing, and correcting poor posture, specifically leaning posture. The vest is designed to provide users with visual, auditory, and tactile cues to help them address this issue, thereby reducing the risk associated with leaning. Additionally, an integrated electrical box has been designed to consolidate all components directly onto the main board in a secure enclosure. This box also displays the daily count of instances where the user has leaned. This system is characterized by its electrical safety, portability, compactness, comfort, and affordability. A comprehensive analysis of the system's performance has been conducted with a meticulous evaluation of accuracy. Each component of the system has undergone successful testing, and the system as a whole is currently in the testing phase. The results of these tests have indicated a lack of faulty errors and have demonstrated outstanding accuracy and detection rates. Over 100 individuals of varying ages, genders, and BMI categories were involved in testing, with each person wearing the device for an average of six hours. The accuracy rate achieved was 98.85%, with an average of 54.35 instances of poor posture detected per participant. © 2023 IEEE.

关键词： Wearable technology

来源：评论

学校读者我要写书评

暂无评论

Multi-criteria Radio Frequency Identification Approach for Manufacturing Company Selection Based on Partitioned Maclaurin Symmetric Mean Operators Under Complex Intuitionistic Fuzzy Set Environment

引用

International Journal of Fuzzy Systems 2024年第5期26卷 1730-1748页

作者： Azam, Muhammad Jana, Chiranjibe Khan, Muhammad Sajjad Ali Pal, Madhumangal Xin, Qin Yang, Shilin Sarkar, Biswajit Faculty of Science Beijing University of Technology Beijing100022 China Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore721102 India Department of Mathematics Khushal Khan Khattak University Karak Khyber Pakhtunkhwa Karak27200 Pakistan Faculty of Science and Technology University of the Faroe Islands Tórshavn Faroe Islands Department of Industrial Engineering Yonsei University 50 Yonsei-ro Sinchon-dong Seodaemun-gu Seoul03722 Korea Republic of Center for Global Health Research Saveetha Medical College Saveetha Institute of Medical and Technical Sciences Saveetha University Tamil Nadu 600077 Chennai India Department of Industrial Engineering and Management National Taipei University of Technology Taipei City 106344 Taiwan Chennai602105 India

The theory of intuitionistic fuzzy sets (IFSs) plays an essential role to deal with uncertainty and ambiguity. However, the IFSs deal only with anticipation, not periodicity. But, complex IFSs (CIFS) can handle both uncertainties and periodicity at a time. Therefore, this paper focuses on a new multi-criteria decision making (MCDM) approach using Maclaurin symmetric mean (MSM) operator in connection with the CIFS setting. Then, we develop some CIF partitioned based MSM (CIFPMSM) operators and their weighted form by considering that all the criteria can be arranged into some groups. The proposed operators not only deal with the interrelationship among criteria but also deal with the partitioned relationship among criteria. We discuss the properties of these proposed operators and investigate their cases. Finally, a decision-making approach for radio frequency identification (RFID) for manufacturing companies is developed based on the proposed operators and compared the results with the existing method to show the application and feasibility of the proposed method. © The Author(s) under exclusive licence to Taiwan Fuzzy Systems Association 2024.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Collaboration And Versioning Framework – A Systematic Top-Down Approach

Collaboration And Versioning Framework – A Systematic Top-D...

引用

Conference on Model Driven engineering Languages and Systems Companion (MODELS-C)

作者： Jakob Pietron Alexander Raschke Joeri Exelmans Matthias Tichy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Department of Computer Science University of Antwerp – Flanders Make Antwerp Belgium

CONTEXT: Versioning allows users to efficiently create and evolve artifacts, not only but especially in the domain of model-driven engineering. Due to collaboration tools, the place and time where users jointly work at their artifacts do not play an important role anymore. Objective: We systematically elaborated a classification framework for collaboration and versioning tools. The intention is threefold: First, it should be possible to classify existing approaches. Second, deriving from user goals requirements to be met, and capabilities to be supported by a new tool. Third, given a set of capabilities, highlight which user goals can be achieved. Method: According to Kang and Lee, we systematically elaborated a problem space and a solution space and created mappings between both spaces and their sub-spaces. To demonstrate the applicability, we classified existing VCS like git, Google Docs, and several MDE-specific approaches. Results: The created feature diagram covers 238 features and contains about 87 constraints. Conclusion: The developed framework supports researchers and developers in classifying their tools, revealing new opportunities to improve their tools, and guiding the development of new tools.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design of a Novel Safe Approach to Monitor Drivers While Operating Their Cars

Design of a Novel Safe Approach to Monitor Drivers While Ope...

引用

International Conference on Advances in Biomedical engineering (ICABME)

作者： Aseel Elhawawsha Carla Zeine Roy Abi Zeid Daou Dominik Kalinowski Joseph Khattar Samer Telawi Josef Boercsoek Department of Computer Architecture and System Programming University of Kassel Kassel Germany Mechatronics Eng. Department Saculty of Engineering Université La Sagesse Beirut Lebanon

Road accidents have been known to be one of the leading death causes around the world for a long time. Thus, cars and all kinds of road vehicles form a huge source of danger, and they relate to multiple high risks. There are many factors that can contribute to road traffic accidents such as the health condition of the driver if a medical emergency event happened while driving, drowsiness, or mind-wandering. The proposed system can monitor the behavior of the driver while driving as well as his/her health status. Moreover, it analyzes the monitored data, alerts the driver in a timely manner, and assists him/her in adjusting the driving behavior. Different dangerous and risky situations which can be faced during driving can be captured and avoided by using such a system which leads at the end to increase road traffic safety and reduce vehicle collisions. Notifications are developed in cases of drowsiness, loss of focus, or other concerns that may emerge while driving. However, when the driver's ability to operate the vehicle safely is hampered by a health concern, the implemented system is only able at this stage to alarm the driver itself and the surrounding cars as a first level of alarms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：