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

A new approach to recognizing the use of attitude markers by authors of academic journal articles

EXPERT SYSTEMS WITH APPLICATIONS 2023年第1期230卷

作者： Soylu, Mucahit Soylu, Ayfer Das, Resul Inonu Univ Vocat Sch Comp Programming Dept Organized Ind Zone Malatya Turkiye Inonu Univ Sch Foreign Languages Malatya Turkiye Firat Univ Fac Technol Dept Software Engn TR-23119 Elazig Turkiye

This study investigates the use of Attitude Markers(AMs) by native academic authors of English (NAAEs) and Turkish-speaking academic authors of English (TAAEs) in 100 academic articles on Teacher Education. The primary objectives are to examine the forms and functions of AMs used by both groups to indicate their stance in articles and to compare the frequency and variety of AMs used by each group. The study employs a corpus -based approach and adopts a graph visualization method to present the findings. The data were cleaned using a software-supported approach to improve the efficiency of corpus compilation. The data were analyzed using the Antconc text analysis tool (Anthony, 2011) and Log-likelihood statistics. The reliability of the analysis was tested by calculating the inter-rater reliability. To do this, the content coded by one of the researchers and an independent rater was compared using Cohen's Kappa coefficient. The results ranged from 0.81 to 0.92, indicating a high level of reliability. Later, the findings were visualized using a radial knowledge graph. The statistical analysis showed significant differences in the use of certain AMs between the two groups, including AMs related to "assessment"(-13,20 LL;p<.01) and "significance"(-82,64 LL;p<.01). The findings indicate that both NAAEs and TAAEs commonly use AMs to convey their stance, with 'significance' and 'assessment' being the most frequent functional categories, and 'adjective' being the most commonly used form of AMs in both corpora. The findings provide valuable insights into the use of AMs in academic writing and can inform the development of English for academic purposes (EAP) course materials to enhance the academic writing skills of novice writers. The results of the study suggest that future research could use graph visualization to carry our corpus studies and could explore the effectiveness of using Artificial Intelligence (AI) technologies to minimize human bias in qualitative analyses.

关键词： Radial knowledge graph Graph visualization Stance in academic writing Attitude markers Native nonnative writers

来源：评论

学校读者我要写书评

暂无评论

Guiding attention in flow-based conceptual models through consistent flow and pattern visibility

引用

DECISION SUPPORT SYSTEMS 2024年 185卷

作者： Figl, Kathrin Soffer, Pnina Weber, Barbara Univ Innsbruck Dept Informat Syst Prod & Logist Management Innrain 52 A-6020 Innsbruck Austria Univ Haifa Fac Social Sci Dept Informat Syst Haifa Israel Univ St Gallen Inst Comp Sci Software Syst Programming & Dev St Gallen Switzerland

A critical part of flow-based conceptual modeling, such as process modeling, is visualizing the logical and temporal sequence in which activities in a process should be completed. While there are established standards and recommendations, there is limited empirical research examining the influence of process model layout on model comprehension. To address this research gap, we conducted a controlled eye-tracking experiment with 70 participants comparing different layouts. The experimental results confirm that the visibility of control flow patterns is critical for assisting users with visual processing, particularly attentional allocation, when comprehending process models for both local comprehension tasks and tasks requiring cognitive integration of model components. In models with more directional changes, users' visual attention is more drawn to irrelevant regions, but comprehension is less affected as long as patterns remain visible. Our findings not only elucidate how cognitive fit between a visual representation and a task can manifest itself and the perceptual benefits it brings, but they can also guide the automated layout of models in tools and complement practical process modeling guidelines.

关键词： Process models Conceptual models Layout Eye-tracking Model comprehension

来源：评论

学校读者我要写书评

暂无评论

Solving the laminar boundary layer problem in heat transfer with heuristic optimization techniques

引用

HELIYON 2023年第6期9卷 e16955页

作者： Gunal, Ozen Akpinar, Mustafa Manisa Celal Bayar Univ Dept Comp Programming Manisa Turkiye Higher Coll Technol Comp Informat Sci Sharjah U Arab Emirates Sakarya Univ Dept Software Engn Sakarya Turkiye

Heat transfer takes place in every aspect of our daily life. Many situations, such as energy conversion plants, heating devices, and cooling systems, focus on heat transfer. One of the subjects in heat transfer is the boundary layer of the laminar flow problem. Well-known exploratory algorithms are used to solve for the flow on a flat plate in this study. The algorithms used are genetic algorithm (GA), particle swarm optimization (PSO), simulated annealing (SA), ant colony optimization for continuous domains (ACOR), artificial bee colony (ABC), and firefly algorithm (FA). The three properties, the layer thickness of the laminar boundary, heat flux, and the distance of the leading edge, are optimized. Each property is determined in three conditions;minimum, maximum, and target. The results showed that PSO, SA, ABC, and FA algorithms were more suitable than GA and ACOR algorithms. It has also been determined that the processing times are long in the FA and SA algorithms. The findings show that heuristic algorithms can find global results or results close to global results in heat transfer problems.

关键词： Particle swarm optimization Artificial bee colony Heat transfer Flat plate Optimization Laminar boundary layers

来源：评论

学校读者我要写书评

暂无评论

Formal Verification of Neural Networks? 23rd

Formal Verification of Neural Networks?

引用

23rd Brazilian Symposium on Formal Methods (SBMF)

作者： Leucker, Martin Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany

ISBN: (纸本)9783030638818;9783030638825

Machine learning is a popular tool for building state of the art software systems. It is more and more used also in safety critical areas. This demands for verification techniques ensuring the safety and security of machine learning based solutions. However, we argue that the popularity of machine learning comes from the fact that no formal specification exists which renders traditional verification inappropriate. Instead, validation is typically demanded, but formalization of so far informal requirements is necessary to give formal evidence that the right system is build. Moreover, we present a recent technique that allows to check certain properties for an underlying recurrent neural network and which may be uses as a tool to identify whether the system learned is right.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Applications of Fuzzy Logic in Recruitment Systems

Applications of Fuzzy Logic in Recruitment Systems

引用

2022 International Conference on Information Science and Communications Technologies, ICISCT 2022

作者： Medetova, Kunduz Sultanov, Djamshid Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of System and Applied Programming Tashkent Uzbekistan Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Department of Hardware and Software of Management Systems in Telcommunications Tashkent Uzbekistan

ISBN: (纸本)9781665472296

This paper presents methods for solving problems using the method of fuzzy logic. This method serves to study the characteristics of determining the level of compliance of a candidate for an existing vacant position. When measuring compliance with database requirements based on the results of assessing compliance with the requirements of an employee for a position. The use of artificial intelligence in personnel records gives high efficiency and serves for decision making. © 2022 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Automated Computation of Therapies Using Failure Mode and Effects Analysis in the Medical Domain

引用

KUNSTLICHE INTELLIGENZ 2024年第3期38卷 189-201页

作者： Luttermann, Malte Baake, Edgar Bouchagiar, Juljan Gebel, Benjamin Gruening, Philipp Manikwadura, Dilini Schollemann, Franziska Teifke, Elisa Rostalski, Philipp Moeller, Ralf Univ Lubeck Inst Informat Syst Lubeck Germany Univ Lubeck Inst Telemat Lubeck Germany Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany Univ Hosp Schleswig Holstein Dept Infect Dis & Microbiol Campus Lubeck Lubeck Germany Univ Lubeck Inst Neuro & Bioinformat Lubeck Germany Univ Lubeck Inst Mol Med Lubeck Germany Univ Lubeck Inst Elect Engn Med Lubeck Germany Univ Hosp Schleswig Holstein Dept Anesthesiol & Intens Care Campus Lubeck Lubeck Germany

Failure mode and effects analysis (FMEA) is a systematic approach to identify and analyse potential failures and their effects in a system or process. The FMEA approach, however, requires domain experts to manually analyse the FMEA model to derive risk-reducing actions that should be applied. In this paper, we provide a formal framework to allow for automatic planning and acting in FMEA models. More specifically, we cast the FMEA model into a Markov decision process which can then be solved by existing solvers. We show that the FMEA approach can not only be used to support medical experts during the modelling process but also to automatically derive optimal therapies for the treatment of patients.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Carrot and Stick approaches when managing Technical Debt 3

Carrot and Stick approaches when managing Technical Debt

引用

3rd IEEE/ACM International Conference on Technical Debt (TechDebt)

作者： Besker, Terese Martini, Antonio Bosch, Jan Chalmers Univ Technol Comp Sci & Engn Software Engn Gothenburg Sweden Univ Oslo Programming & Software Engn Oslo Norway

ISBN: (纸本)9781450379601

When developing software, it is vitally important to keep the level of technical debt down since it is well established from several studies that technical debt can, e.g., lower the development productivity, decrease the developers' morale, and compromise the overall quality of the software. However, even if researchers and practitioners working in today's software development industry are quite familiar with the concept of technical debt and its related negative consequences, there has been no empirical research focusing specifically on how software managers actively communicate and manage the need to keep the level of technical debt as low as possible. This paper aims to explore how software companies encourage and reward practitioners for actively keeping the level of technical debt down and also whether the companies use any forcing or penalizing initiatives when managing technical debt. This paper reports the results of both an online web-survey provided quantitative data from 258 participants and follow-up interviews with 32 industrial software practitioners. The findings show that having a TD management strategy can significantly impact the amount of TD in the software. When surveying how commonly used different TD management strategies are, we found that only the encouraging strategy is, to some extent, adopted in today's' software industry. This study also provides a model describing the four assessed strategies by presenting its strategies and tactics, together with recommendations on how they could be operationalized in today's software companies.

关键词： Technical Debt software Development software Incentive programs Empirical Study

来源：评论

学校读者我要写书评

暂无评论

Morpheus: A degradation framework for resilient IoT systems 9

Morpheus: A degradation framework for resilient IoT systems

引用

STAF 2021 Workshop: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International Workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta) Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling, STAF-WS 2021

作者： Heß, Alexander Hauck, Franz J. Mödinger, David Pietron, Jakob Tichy, Matthias Domaschka, Jörg Institute of Distributed Systems Ulm University Germany Institute of Software Engineering and Programming Languages Ulm University Germany Institute of Information Resource Management Ulm University Germany

Graceful degradation is an established concept to improve the resilience of systems, especially when other resilience mechanisms have failed. Its implementation is often heavily tied to the application code and, thus, cumbersome and error prone. As IoT systems get not only ubiquitous but also critical, reliable graceful degradation would be ideal. In this paper, we present the Morpheus framework that provides a TypeScript-internal DSL to enable a systematic development of degradable IoT systems. The design of the framework is based on the concept of separation of concerns by providing distinct yet linked languages to specify hierarchical components and their connections;the components’ operating modes and transfer functions between them;as well as state machines for the specification of the components’ behaviour in each operating mode. The operating modes for each component serve as degradation levels. Automatic degradation of a component is triggered in case of failures of connected components. With recovery from underlying failures, the component is automatically upgraded back to a higher level. We illustrate our framework using a simplified prototype of an entrance barrier of a parking garage. © 2021 Copyright (c) 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Implementing a Virtual Network on the SDN Data Plane

Implementing a Virtual Network on the SDN Data Plane

引用

2020 IEEE East-West Design and Test Symposium, EWDTS 2020

作者： Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia

ISBN: (数字)9781728198996

ISBN: (纸本)9781728198996

The paper investigates the implementation of virtual networks on the SDN data plane, modeled by a graph of physical connections between network nodes. A virtual network is defined as a set of ordered host pairs (sender, receiver), and it is implemented by a set of host-host paths that uniquely determine the switch settings. It is shown that any set of host pairs can be implemented on a connected graph without the occurrence of an infinite transfer of packets in a loop and without duplicate paths when the host receives the same packet several times. However, undesired paths may occur when a host receives a packet that is not intended for this host. On the other hand, it is shown that in some cases, implementation without undesired paths inevitably leads to duplication or looping of packets. The question is posed: on which graph can any set of host pairs be implemented without looping, duplication and undesired paths? A sufficient condition is proposed and a hypothesis is put that this condition is also the necessary condition. © 2020 IEEE.

关键词： software defined networking

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：