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

Scoring rule and its application in intuitionistic fuzzy parameterized soft set-based decision-making problem

Journal of Ambient Intelligence and Humanized Computing 2023年第10期14卷 14209-14224页

作者： Paik, Biplab Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University W.B. Midnapore721 102 India

There is an importance of multi-criteria group decision-making (MCGDM) problems based on soft set theory in decision analysis. This article focuses on MCGDM problems based on intuitionistic fuzzy parameterized soft sets (IFPSS) structure. Our goal in decision-making is to select an object by verifying all the parameters. Fuzzy ranking is one of the essential critical tools used in the MCGDM process. The ranking system plays a vital role in the comparison of Intuitionistic fuzzy numbers (IFN) in MCGDM, like fuzzy numbers. However, most of the ranking methods on IFN mentioned in the literature have some limitations. By addressing the limitations of existing score functions and proposing a new and improved method for ranking IFNs, this article can make a significant contribution to the field of MCDM and decision-making under uncertainty. We have also introduced a new similarity measure of two intuitionistic fuzzy soft sets (IFSS). Using the concept of scoring rule, we have defined the reduced FP-soft set of an IFPSS. Additionally, we have calculated the adequate standard of a decision-maker in MCGDM problems under the IFPSS environment. © 2023, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.

关键词： Decision theory

来源：评论

学校读者我要写书评

暂无评论

Optimization of neural network calculations using integer arithmetic 5

Optimization of neural network calculations using integer ar...

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Zakovorotnyi, Oleksandr Khulap, Andrii Department of Computer Engineering Programming National Technical University Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350384499

Most of the sensor devices in the Internet of Things systems are based on energy-efficient microcontrollers, the computing resources of which are limited, as well as the amount of available memory. Increasing the security of the use of such devices with the help of neural networks is an important and urgent problem. The article describes the possibility of using artificial neural networks in small microcontrollers with limited resources. The purpose of this work is to check the possibility of calculating neural networks based on integer arithmetic to reduce the time of calculating a neural network and eliminate data normalization operations, as well as to evaluate the feasibility of using such neural networks in the field of security of the Internet of Things in comparison with traditional methods, such as black lists and white lists. The following results were obtained: when switching to integer arithmetic, compared to floating point, the accuracy of the result calculations is within the permissible error of neural network training, that is, it has not changed. Execution time decreased by 30-96%, depending on the architecture of the microcontroller. The program size is reduced by 22-48%, also depending on the microcontroller architecture. Conclusions: the possibility and expediency of using neural networks optimized for microcontrollers with limited resources was proved. This will increase the security of Internet of Things systems, especially against device authentication threats and intrusion detection. Prospects for further research are determined. ©2024 IEEE.

关键词： microcontroller neural network optimization software implementation

来源：评论

学校读者我要写书评

暂无评论

Towards LLM-Based System Migration in Language-Driven Engineering 8th

Towards LLM-Based System Migration in Language-Driven Engin...

引用

8th International Conference on Engineering of computer-Based Systems, ECBS 2023

作者： Busch, Daniel Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031492518

In this paper we show how our approach of extending Language Driven Engineering (LDE) with natural language-based code generation supports system migration: The characteristic decomposition of LDE into tasks that are solved with dedicated domain-specific languages divides the migration tasks into portions adequate to apply LLM-based code generation. We illustrate this effect by migrating a low-code/no-code generator for point-and-click adventures from JavaScript to TypeScript in a way that maintains an important property: generated web applications can automatically be validated via automata learning and model analysis by design. In particular, this allows to easily test the correctness of migration by learning the difference automaton for the generated products of the source and the target system of the migration. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

DETECTION computer NETWORK INTRUSION USING DEEP NEURAL NETWORKS 5

DETECTION COMPUTER NETWORK INTRUSION USING DEEP NEURAL NETWO...

引用

5th IEEE KhPI Week on Advanced Technology, KhPIWeek 2024

作者： Gavrylenko, Svitlana Poltoratskyi, Vadym Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350384499

In this work, the effectiveness of using classical machine learning methods and modern deep neural network models for intrusion detection in computer networks has been investigated. The purpose of this work is to develop a model for detecting intrusions into computer networks based on the Transformer model using tabular input data. In this work, the UNSW-NB15 dataset is used as the source data. This dataset contains information about normal network behaviour as well as during synthetic intrusions. Models for intrusion detection in computer networks based on machine learning methods were investigated: Decision Tree, KNN, Logistic Regression, SVM, Gradient Boosting, Random Forest. A method of converting tabular data into images was developed, which made it possible to build intrusion detection models based on Vision Transformer and Vision Transformer for small-size datasets on modern Transformer architecture. The research results showed that developed model based on Vision Transformer and Vision Transformer for small-size datasets improves the quality of identification, and eliminates the need for a preprocessing step such as dimensionality reduction. ©2024 IEEE.

关键词： Logistic regression

来源：评论

学校读者我要写书评

暂无评论

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages 1st

ChatGPT in the Loop: A Natural Language Extension for Dom...

引用

1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023

作者： Busch, Daniel Nolte, Gerrit Bainczyk, Alexander Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783031460012

This paper presents an approach to no-code development based on the interplay of formally defined (graphical) Domain-Specific Languages and informal, intuitive Natural Language which is enriched with contextual information to enable referencing of formally defined entities. The paper focuses on the use and automated integration of these enriched intuitive languages via ChatGPT-based code generation to exploit the best of both language paradigms for domain-specific application development. To compensate for the lack of control over the intuitive languages we apply automated system-level validation via automata learning and subsequent model checking. All this is illustrated using the development of point-and-click adventures as a minimal viable example. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Automata Learning Language-driven Engineering Large Language Models Low-Code/No-Code Prompt Engineering Software Engineering Verification Web Application

来源：评论

学校读者我要写书评

暂无评论

An Improved Numerical Solution of Modified Regularized Long Wave Equation by Quartic Trigonometric B-Spline

引用

International Journal of Applied and Computational Mathematics 2025年第2期11卷 1-17页

作者： Kırlı, Emre Mersin, Mehmet Ali Department of Mathematics Aksaray University Aksaray 68000 Türkiye Computer Programming Aksaray University Aksaray 68000 Türkiye

This study presents the application of a numerical method specifically designed to solve the Modified Regularized Long Wave equation, a crucial model in the analysis of non-linear wave dynamics. The proposed method employs a Quartic Trigonometric B-spline approach for spatial discretization, which ensures smooth and accurate interpolation across the spatial domain, while temporal integration is conducted using the well-established fourth-order Runge–Kutta (RK4) scheme, known for its stability and precision. To evaluate the performance of the method, it is applied to three test problems: the propagation of a single solitary wave, the interaction between two and three solitary waves. The invariant quantities are computed for all test cases. To ensure the stability of the method, a stability analysis is performed through the computation of eigenvalues. The results demonstrate that the proposed method achieves a high degree of accuracy in preserving the invariant properties and produces minimal error, highlighting its efficiency and reliability. © The Author(s), under exclusive licence to Springer Nature India Private Limited 2025.

关键词： Modified regularized long wave Quartic trigonometric B-spline Runge Kutta Solitary wave

来源：评论

学校读者我要写书评

暂无评论

Model Based Development Methodology in Compliance with ISO 26262 for Safe Automotive ECU

Model Based Development Methodology in Compliance with ISO 2...

引用

2023 IEEE International Conference on Electrical, computer and Energy Technologies, ICECET 2023

作者： Hafiz, Muhammad Ikram University of Kassel Department of Computer Architecture and System Programming Kassel Germany

ISBN: (纸本)9798350327816

This work presents a practical approach of designing a functionally safe ECU for automotive application by implementing the Model Based Development (MBD) methodology. Functional safety (FuSa) in automotive can be achieved by strictly following the processes of electrical and electronic systems development as given in the ISO 26262. The scope of FuSa encompasses the risks emerging from systematic failures and random hardware failures. One approach to mitigate these failures is the Model Based Development (MBD) on which the ISO 26262 provides guidance. This approach enables to model an ECU and accelerates an IP creation by automatic RTL code generation for rapid prototyping on an FPGA level. In this work the MBD is implemented in accordance to the ISO 26262 to design and test a hardware model of an embedded ECU. The embedded Design under Test (DUT) is simulated and its output verified in Matlab/Simulink. Upon successful results, the RTL codes of the DUT are generated for a target FPGA. The RTL codes are simulated and the functionality of the DUT is verified at the FPGA level. © 2023 IEEE.

关键词： FPGA Functional Safety HDL code generation ISO 26262 Model Based Development systematic failures

来源：评论

学校读者我要写书评

暂无评论

Time variant multi-objective linear fractional interval-valued transportation problem

引用

Applied Mathematics(A Journal of Chinese Universities) 2022年第1期37卷 111-130页

作者： Dharmadas Mardanya Sankar Kumar Roy Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar UniversityMidnapore 721102West BengalIndia

This paper studies a time-variant multi-objective linear fractional transportation problem. In reality, transported goods should reach in destinations within a specific time. Considering the importance of time, a time-variant multi-objective linear fractional transportation problem is formulated here. We take into account the parameters as cost, supply and demand are interval valued that involved in the proposed model, so we treat the model as a multi-objective linear fractional interval transportation problem. To solve the formulated model, we first convert it into a deterministic form using a new transformation technique and then apply fuzzy programming to solve it. The applicability of our proposed method is shown by considering two numerical examples. At last, conclusions and future research directions regarding our study is included.

关键词： fractional transportation problem multi-objective optimization interval number time variant parameter fuzzy programming Pareto optimal solution

来源：评论

学校读者我要写书评

暂无评论

Picture fuzzy -tolerance competition graphs with its application

引用

Journal of Ambient Intelligence and Humanized Computing 2024年第1期15卷 547-559页

作者： Das, Sankar Poulik, Soumitra Ghorai, Ganesh Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University West Bengal Midnapore721102 India Department of Mathematics Kharagpur College West Bengal Kharagpur721305 India

In this study, the notions of picture fuzzy -tolerance competition graphs are exhibited adding more uncertainties to the fuzzy -tolerance competition graphs. Taking as max, min and sum functions three special types of picture fuzzy -tolerance competition graphs are introduced and few interesting properties of them are studied. The operations of Cartesian product, composition and union between two picture fuzzy digraphs are studied. Also, few hereditary properties of picture fuzzy -tolerance competition graphs under these operations are illustrated. Two real life applications in railway network and medical science are modeled using picture fuzzy min-tolerance competition graph. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2023.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Metasystems in the Strategic Management of the Region 17

Metasystems in the Strategic Management of the Region

引用

17th International Conference on Management of Large-Scale System Development, MLSD 2024

作者： Solomatin, Alexander Federal Research Center 'Computer Science and Control' of Ras Department of Mathematical Methods of Regional Programming Moscow Russia

ISBN: (纸本)9798350375718

Instead of the traditional 'system-environment' pair for objects of the regional economy, it is proposed to consider metasystems - these objects together with all interacting objects of the microenvironment. Each object is considered as a point in the multidimensional space of characteristics. Objects are visualized to reflect their development and interaction with other objects. © 2024 IEEE.

关键词： Strategic planning

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：