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

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

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 $(\text{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 “failuresy” 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 $\text { 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 $\text { 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 longitudi

关键词： computer science Open Access Model checking System recovery Software Safety Logic Reliability Proposals Software engineering

来源：评论

学校读者我要写书评

暂无评论

Optimal speed controller design with interval type-2 fuzzy sets 2

Optimal speed controller design with interval type-2 fuzzy s...

引用

2nd IEEE KhPI Week on Advanced Technology, KhPI Week 2021

作者： Zakovorotniy, Alexander Kharchenko, Artem National Technical University Kharkiv Polytechnic Institute Computer Engineering and Programming Department Kharkiv Ukraine

ISBN: (纸本)9781665412056

Interval type-2 fuzzy sets are often used in the designing of fuzzy systems associated with the speed control under uncertainty. In this paper, we consider the possibilities of using interval type-2 fuzzy sets to describing the uncertainties that arise when defining input variables. These uncertainties can be presented as the different meanings on the same dynamic system or changes in the technical parameters that occur due to external factors. We also present complex interval type-2 fuzzy sets and give the examples of their use to reduce the number of fuzzy sets and rules in a fuzzy knowledge base. The necessary conditions for the construction of complex interval type-2 fuzzy sets and methods for determining lower and upper membership functions in them are also given. The footprint of uncertainty for the complex interval type-2 fuzzy set is presented with upper and lower membership functions of different fuzzy sets. All methods which are described in this work can be used in decision support systems design, to select the optimal parameters of a nonlinear system, or in fuzzy speed controller design. © 2021 IEEE.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

Approximation of the Objective Functional in a Partially Defined Optimization Problem 3

Approximation of the Objective Functional in a Partially Def...

引用

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

作者： Kalinin, Yevhen Kuchuk, Nina Lysytsia, Dmytro National University of Life and Environmental Sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine National Technical University «kharkiv Polytechnic Institute» Department of Computer Engineering and Programming Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

The reliable operation of today's complex technical systems often relies on remote software solutions for predicting their performance. To solve these tasks, client-server architectures, based on the database server, used to store the obtained data, as well as server-based data analyzers are taken advantage of. Due to the increasing complexity of tasks of diagnosing the state of complex technical systems, associated with the generation of higher volumes of data for assessing the current state of the diagnostic objects, the use of classical relational storage resulted in a significant increase in the requirements for cluster architectures. With the increasing use of technological solutions based on the 'Big Data' architecture, there is a contradiction associated with the need to store large amounts of unstructured data for further structuring by methods of database schema development. The mission of Data Mining is the implementation of search operations applied to the laws of behavior and overall functioning of the system under study, consisting of numerical data. An obligatory condition that arises when using Data Mining methodologies is to interpret the resulting patterns formed as a consequence of determining the practical utility of the data. In this regard, there is a need to develop a method for optimizing large amounts of data, especially in partially defined tasks, allowing the distribution of the readings of the state of complex technical systems. Thus, the paper considers the problem of objective function approximation by the linear functional in a partially defined optimization problem, when the objective function is partially defined by comparing its values on some set of vectors from the acceptance region. Necessary and sufficient conditions for the existence of the approximating linear functional and the method of recovery of its coefficients through a linear correction procedure are formulated. © 2022 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

A Comprehensive Study on m-Polar Picture Fuzzy Graphs and Its Application

Journal of Uncertain Systems

引用

Journal of Uncertain Systems 2025年第1期18卷

作者： Khatun, Jasminara Amanathulla, S. Pal, Madhumangal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 India Department of Mathematics Raghunathpur College Raghunathpur 723133 India

In real-life problems, information collected from multiple agents often exhibits "multipolar information," which cannot be accurately modeled by existing graph models. This paper introduces the m-polar picture fuzzy graph (mPPFG) as a more efficient model for such problems. The mPPFG offers a precise, flexible and comparable system compared to other graph models. The paper defines the mPPFG model and introduces new terms and properties such as order, degree, weighted arithmetic average (WAA) order, WAA degree, complement, homomorphism, isomorphism, eccentricity, radius, diameter and more. It also explores the concepts of m-polar antipodal picture fuzzy graphs, eccentric mPPFG, self-centered mPPFG and self-median mPPFG, highlighting their definitions and properties. The m-polar antipodal picture fuzzy graph represents a graph where each vertex is associated with an m-polar antipodal picture fuzzy set. The eccentric mPPFG focuses on highly eccentric vertices, while the self-centered mPPFG considers central vertices. The self-median mPPFG represents median vertices in the graph. The study of these graph types and their isomorphism properties contributes to a deeper understanding of the structural variations within mPPFGs. Furthermore, the paper proposes an application of the mPPFG model in evaluating the performance of ministers in India during their tenure. An algorithm is also developed for computing the performance of ministers. © 2024 World Scientific. All rights reserved.

关键词： complement diameter isomorphism m-polar antipodal PFG mPPFG Picture fuzzy graphs

来源：评论

学校读者我要写书评

暂无评论

A Multithreaded Approach to Masking Images used for Animation

A Multithreaded Approach to Masking Images used for Animatio...

引用

Technology Innovation Management and Engineering Science International Conference (TIMES-iCON)

作者： Veska Gancheva Kalin Belov Ivaylo Georgiev Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Stephan Angeloff Institute of Microbiology Bulgarian Academy of Sciences Sofia Bulgaria

ISBN: (数字)9798350362602

ISBN: (纸本)9798350362619

The current research is focused on designing a multithreaded parallel solution for processing a pair of raster image files that are used to create an animation. In the computational process, a multithreaded model was used when processing arrays of data. The proposed approach is verified by a multithreaded parallel program implementation. The effectiveness of the proposed solution has been verified experimentally by processing an image with dimensions 4320x5400 and a white color mask. The obtained results in terms of execution time show an acceleration of the computational process when increasing the number of threads.

关键词： Image color analysis Instruction sets Computational modeling Parallel processing Innovation management Animation Data models

来源：评论

学校读者我要写书评

暂无评论

Bi-level programming for Stackelberg Game with Intuitionistic Fuzzy Number: a Ranking Approach

引用

Journal of the Operations Research Society of China 2021年第1期9卷 131-149页

作者： Sumit Kumar Maiti Sankar Kumar Roy School of Applied Sciences and Humanities Haldia Institute of TechnologyPurba MidnaporeWB 721657India Department of Applied Mathematics with Oceanology and Computer ProgrammingVidyasagar UniversityMidnaporeWB 721102India

This paper introduces a ranking function procedure on a bi-level programming for Stackelberg game involving intuitionistic fuzzy *** fuzzy num-ber is considered in many real-life situations,so it makes perfect sense to address decision-making problem by using some specified intuitionistic fuzzy *** this paper,intuitionistic fuzziness is characterized by a normal generalized triangular intuitionistic fuzzy number.A defuzzification method is introduced based on the pro-portional probability density function associated with the corresponding membership function,as well as the complement of non-membership *** the proposed ranking technique,a methodology is presented for solving bi-level programming for Stackelberg *** application example is provided to demonstrate the applica-bility of the proposed methodology,and the achieved results are compared with the existing methods.

关键词： Bi-levelprogramming Triangular intuitionistic fuzz ynumber Ranking function Nonlinear programming Optimal solution

来源：评论

学校读者我要写书评

暂无评论

Migrating Birds Optimization-Based Feature Selection for Text Classification

arXiv

引用

arXiv 2024年

作者： Kaya, Cem Kilimci, Zeynep Hilal Uysal, Mitat Kaya, Murat Dogus University Turkey Department of Information Systems Engineering Kocaeli University Turkey Department of Software Engineering Dogus University Turkey Department of Computer Programming Acibadem University Turkey

This research introduces a novel approach, MBO-NB, that leverages Migrating Birds Optimization (MBO) coupled with Naive Bayes as an internal classifier to address feature selection challenges in text classification having large number of features. Focusing on computational efficiency, we preprocess raw data using the Information Gain algorithm, strategically reducing the feature count from an average of 62221 to 2089. Our experiments demonstrate MBO-NB's superior effectiveness in feature reduction compared to other existing techniques, emphasizing an increased classification accuracy. The successful integration of Naive Bayes within MBO presents a well-rounded solution. In individual comparisons with Particle Swarm Optimization (PSO), MBO-NB consistently outperforms by an average of 6.9% across four setups. This research offers valuable insights into enhancing feature selection methods, providing a scalable and effective solution for text classification. © 2024, CC BY-NC-ND.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

α-Reliable Shortest Path Problem in Uncertain Time-Dependent Networks

引用

International Journal of Applied and Computational Mathematics 2022年第4期8卷 1-12页

作者： Biswal, Sagarika Ghorai, Ganesh Mohanty, S.P. Department of Mathematics Nimapara Autonomous College Nimapara Puri 752106 India Department of Applied Mathematics With Oceanology and Computer Programming Vidyasagar University West Bengal Midnapore 721102 India Department of Mathematics Siksha ‘O’ Anusandhan University (SOA) Bhubaneswar 751030 India

In a congested road network, it is always desirable to find a reliable shortest path so far as travel time is concerned. Physical distance and travel time are invariably uncertain due to large-scale maintenance work, natural disaster, heavy accident, weather conditions, etc. Many researchers considered travel time to be stochastic where the Bellman’s principle of optimality is not preserved. Also, any sub-path of a shortest path is not necessarily shortest. Some researchers find non-dominated paths under different variants as a multi-objective optimization problem. Moreover, in the absence of sample data, probability theory cannot be used. In this work, the travel time is considered to be uncertain variable, where no sample data is required and it is established that Bellman’s principle of optimality is preserved. So, in contrast to the stochastic environment, classical dynamic approach can be used to find the α-reliable shortest path using uncertainty theory. © 2022, The Author(s), under exclusive licence to Springer Nature India Private Limited.

关键词： Dijkstra’s algorithm Non-dominated path Pre-trip planning Reliable shortest path Travel time Uncertain variable

来源：评论

学校读者我要写书评

暂无评论

Understanding Student Success Prediction Using SHapley Additive exPlanations

Understanding Student Success Prediction Using SHapley Addit...

引用

computer Science (COMSCI), International Scientific Conference on

作者： Berat Ujkani Daniela Minkovska Ognyan Nakov Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies Technical University of Sofia 8 Kliment Ohridski blvd. Sofia Bulgaria

Predicting student success is an important task in educational institutions, as it allows for targeted interventions and support systems to enhance educational outcomes. This paper explores the use of SHAP (SHapley Additive exPlanations) model-agnostic method in understanding and interpreting student success prediction. The predictive model was built using Multi-Layer Perceptron neural network algorithm on a large public dataset. By shedding light on the underlying factors driving student success, this research contributes to the advancement of data-driven decision-making in education.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Investment Planning in the Region

Investment Planning in the Region

引用

International Conference on Management of Large-Scale System Development (MLSD)

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

The principle of multiplicity is introduced for the components of the investment planning process. Some algorithms are given that ensure the process of investment planning at the regional level: the formation of integrated assessments of investment projects, automated generation of projects, multicriteria evaluation and selection of projects, taking into account the mutual influence of projects, optimizing the composition of projects, and taking into account financing restrictions. The features of the program system intended for the formation of plans for the territorial and sectoral development of the region are considered.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：