Hasil untuk "Industrial engineering. Management engineering"

Sumesh Kharnotia, Bhavna Arora, Ravdeep Kour

The extensive embrace of Android has amplified malware risks, resulting in a need for better detection methods. This article investigates the area of static analysis, which analyses applications without execution by examining code and manifest files. We focus on studies from 2022 to 2025, regarding the feature extraction, datasets, feature selection, and approaches based on Machine Learning (ML) and Deep Learning (DL). We conclude by defining the major limitations and research gaps presented in studies regarding static analysis, and many insights for potential development of detection models that are efficient, accurate, and lightweight to improve detection patterns of Android malware.

Esteban Parra, Sonia Haiduc, Preetha Chatterjee et al.

Peer review is the main mechanism by which the software engineering community assesses the quality of scientific results. However, the rapid growth of paper submissions in software engineering venues has outpaced the availability of qualified reviewers, creating a growing imbalance that risks constraining and negatively impacting the long-term growth of the Software Engineering (SE) research community. Our vision of the Future of the SE research landscape involves a more scalable, inclusive, and resilient peer review process that incorporates additional mechanisms for: 1) attracting and training newcomers to serve as high-quality reviewers, 2) incentivizing more community members to serve as peer reviewers, and 3) cautiously integrating AI tools to support a high-quality review process.

Himon Thakur, Armin Moin

The discussion around AI-Engineering, that is, Software Engineering (SE) for AI-enabled Systems, cannot ignore a crucial class of software systems that are increasingly becoming AI-enhanced: Those used to enable or support the SE process, such as Computer-Aided SE (CASE) tools and Integrated Development Environments (IDEs). In this paper, we study the energy efficiency of these systems. As AI becomes seamlessly available in these tools and, in many cases, is active by default, we are entering a new era with significant implications for energy consumption patterns throughout the Software Development Lifecycle (SDLC). We focus on advanced Machine Learning (ML) capabilities provided by Large Language Models (LLMs). Our proposed approach combines Retrieval-Augmented Generation (RAG) with Prompt Engineering Techniques (PETs) to enhance both the quality and energy efficiency of LLM-based code generation. We present a comprehensive framework that measures real-time energy consumption and inference time across diverse model architectures ranging from 125M to 7B parameters, including GPT-2, CodeLlama, Qwen 2.5, and DeepSeek Coder. These LLMs, chosen for practical reasons, are sufficient to validate the core ideas and provide a proof of concept for more in-depth future analysis.

Yang Yue, Zheng Jiang, Yi Wang

The heterogeneity in the organization of software engineering (SE) research historically exists, i.e., funded research model and hands-on model, which makes software engineering become a thriving interdisciplinary field in the last 50 years. However, the funded research model is becoming dominant in SE research recently, indicating such heterogeneity has been seriously and systematically threatened. In this essay, we first explain why the heterogeneity is needed in the organization of SE research, then present the current trend of SE research nowadays, as well as the consequences and potential futures. The choice is at our hands, and we urge our community to seriously consider maintaining the heterogeneity in the organization of software engineering research.

K. Sullivan, Sebastian Thomas, M. Rosano

Roberto Montemanni, Sara Ceschia, Andrea Schaerf

Home healthcare has become more and more central in the last decades, due to the advantages it can bring to both healthcare institutions and patients. Planning activities in this context, however, presents significant challenges related to route planning and mutual synchronization of caregivers.In this paper we propose a new compact model for the combined optimization of scheduling (of the activities) and routing (of the caregivers) characterized by fewer variables and constraints when compared with the models previously available in the literature. The new model is solved by a constraint programming solver and compared experimentally with the exact and metaheuristic approaches available in the literature on the common datasets adopted by the community. The results show that the new model provides improved lower bounds for the vast majority of the instances, while producing at the same time high quality heuristic solutions, comparable to those of tailored metaheuristics, for small/medium size instances.

Sandra Coello Suarez, V. Sanchez Padilla, Ronald Ponguillo-Intriago et al.

Parameter monitoring and control systems are crucial in the industry as they enable automation processes that improve productivity and resource optimization. These improvements also help to manage environmental factors and the complex interactions between multiple inputs and outputs required for production management. This paper proposes an automation system for broiler management based on a simulation scenario that involves sensor networks and embedded systems. The aim is to create a transmission network for monitoring and controlling broiler temperature and feeding using the Internet of Things (IoT), complemented by a dashboard and a cloud-based service database to track improvements in broiler management. We look forward this work will serve as a guide for stakeholders and entrepreneurs in the animal production industry, fostering sustainable development through simple and cost-effective automation solutions. The goal is for them to scale and integrate these recommendations into their existing operations, leading to more efficient decision-making at the management level.

Mugeng Liu, Siqi Zhong, Weichen Bi et al.

Large language model-specific inference engines (in short as \emph{LLM inference engines}) have become a fundamental component of modern AI infrastructure, enabling the deployment of LLM-powered applications (LLM apps) across cloud and local devices. Despite their critical role, LLM inference engines are prone to bugs due to the immense resource demands of LLMs and the complexities of cross-platform compatibility. However, a systematic understanding of these bugs remains lacking. To bridge this gap, we present the first empirical study on bugs in LLM inference engines. We mine official repositories of 5 widely adopted LLM inference engines, constructing a comprehensive dataset of 929 real-world bugs. Through a rigorous open coding process, we analyze these bugs to uncover their symptoms, root causes, commonality, fix effort, fix strategies, and temporal evolution. Our findings reveal six bug symptom types and a taxonomy of 28 root causes, shedding light on the key challenges in bug detection and location within LLM inference engines. Based on these insights, we propose a series of actionable implications for researchers, inference engine vendors, and LLM app developers, along with general guidelines for developing LLM inference engines.

Ashis Kumar Mandal, Md Nadim, Chanchal K. Roy et al.

Research in software engineering is essential for improving development practices, leading to reliable and secure software. Leveraging the principles of quantum physics, quantum computing has emerged as a new computational paradigm that offers significant advantages over classical computing. As quantum computing progresses rapidly, its potential applications across various fields are becoming apparent. In software engineering, many tasks involve complex computations where quantum computers can greatly speed up the development process, leading to faster and more efficient solutions. With the growing use of quantum-based applications in different fields, quantum software engineering (QSE) has emerged as a discipline focused on designing, developing, and optimizing quantum software for diverse applications. This paper aims to review the role of quantum computing in software engineering research and the latest developments in QSE. To our knowledge, this is the first comprehensive review on this topic. We begin by introducing quantum computing, exploring its fundamental concepts, and discussing its potential applications in software engineering. We also examine various QSE techniques that expedite software development. Finally, we discuss the opportunities and challenges in quantum-driven software engineering and QSE. Our study reveals that quantum machine learning (QML) and quantum optimization have substantial potential to address classical software engineering tasks, though this area is still limited. Current QSE tools and techniques lack robustness and maturity, indicating a need for more focus. One of the main challenges is that quantum computing has yet to reach its full potential.

Jake Zappin, Trevor Stalnaker, Oscar Chaparro et al.

This position paper examines the substantial divide between academia and industry within quantum software engineering. For example, while academic research related to debugging and testing predominantly focuses on a limited subset of primarily quantum-specific issues, industry practitioners face a broader range of practical concerns, including software integration, compatibility, and real-world implementation hurdles. This disconnect mainly arises due to academia's limited access to industry practices and the often confidential, competitive nature of quantum development in commercial settings. As a result, academic advancements often fail to translate into actionable tools and methodologies that meet industry needs. By analyzing discussions within quantum developer forums, we identify key gaps in focus and resource availability that hinder progress on both sides. We propose collaborative efforts aimed at developing practical tools, methodologies, and best practices to bridge this divide, enabling academia to address the application-driven needs of industry and fostering a more aligned, sustainable ecosystem for quantum software development.

Lekshmi Murali Rani, Richard Berntsson Svensson, Robert Feldt

The integration of AI for Requirements Engineering (RE) presents significant benefits but also poses real challenges. Although RE is fundamental to software engineering, limited research has examined AI adoption in RE. We surveyed 55 software practitioners to map AI usage across four RE phases: Elicitation, Analysis, Specification, and Validation, and four approaches for decision making: human-only decisions, AI validation, Human AI Collaboration (HAIC), and full AI automation. Participants also shared their perceptions, challenges, and opportunities when applying AI for RE tasks. Our data show that 58.2% of respondents already use AI in RE, and 69.1% view its impact as positive or very positive. HAIC dominates practice, accounting for 54.4% of all RE techniques, while full AI automation remains minimal at 5.4%. Passive AI validation (4.4 to 6.2%) lags even further behind, indicating that practitioners value AI's active support over passive oversight. These findings suggest that AI is most effective when positioned as a collaborative partner rather than a replacement for human expertise. It also highlights the need for RE-specific HAIC frameworks along with robust and responsible AI governance as AI adoption in RE grows.

Nasir U. Eisty, Jeffrey C. Carver, Johanna Cohoon et al.

In the evolving landscape of scientific and scholarly research, effective collaboration between Research Software Engineers (RSEs) and Software Engineering Researchers (SERs) is pivotal for advancing innovation and ensuring the integrity of computational methodologies. This paper presents ten strategic guidelines aimed at fostering productive partnerships between these two distinct yet complementary communities. The guidelines emphasize the importance of recognizing and respecting the cultural and operational differences between RSEs and SERs, proactively initiating and nurturing collaborations, and engaging within each other's professional environments. They advocate for identifying shared challenges, maintaining openness to emerging problems, ensuring mutual benefits, and serving as advocates for one another. Additionally, the guidelines highlight the necessity of vigilance in monitoring collaboration dynamics, securing institutional support, and defining clear, shared objectives. By adhering to these principles, RSEs and SERs can build synergistic relationships that enhance the quality and impact of research outcomes.

Manel Alaya, Hanen Damak, Nizar Hadj Taieb et al.

In this paper, a particular form of practical ℎ-observers for piecewise continuous Lipschitz, one-sided piecewise continuous Lipschitz systems and quasi-one-sided piecewise continuous Lipschitz systems is extended to nonlinear non-autonomous dynamical systems with disturbances. With the notion of practical ℎ-stable functions, the obtained state estimates are used for an eventual feedback control, and the practical separation principle is tackled. An example is given to show the applicability of the main result.

Sadettin Y. Ugurlu, David McDonald, Huangshu Lei et al.

Abstract Probing the surface of proteins to predict the binding site and binding affinity for a given small molecule is a critical but challenging task in drug discovery. Blind docking addresses this issue by performing docking on binding regions randomly sampled from the entire protein surface. However, compared with local docking, blind docking is less accurate and reliable because the docking space is too largetly sampled. Cavity detection-guided blind docking methods improved the accuracy by using cavity detection (also known as binding site detection) tools to guide the docking procedure. However, it is worth noting that the performance of these methods heavily relies on the quality of the cavity detection tool. This constraint, namely the dependence on a single cavity detection tool, significantly impacts the overall performance of cavity detection-guided methods. To overcome this limitation, we proposed Consensus Blind Dock (CoBDock), a novel blind, parallel docking method that uses machine learning algorithms to integrate docking and cavity detection results to improve not only binding site identification but also pose prediction accuracy. Our experiments on several datasets, including PDBBind 2020, ADS, MTi, DUD-E, and CASF-2016, showed that CoBDock has better binding site and binding mode performance than other state-of-the-art cavity detector tools and blind docking methods.

Alma Y. Alanis, Gustavo Munoz-Gomez, Nancy F. Ramirez et al.

This work introduces an impulsive neural control algorithm designed to mitigate the spread of epidemic diseases. The objective of this paper is the development of a vaccination strategy based on a PIN-type impulsive controller based on an online-trained neural identifier to control the spread of infectious diseases under a complex network approach with time-varying connections where each node represents a population of individuals whose dynamics are defined by the MSEIR epidemiological model. Considering an unknown model of the system, a neural identifier is designed that provides a nonlinear model for the complex network trained through an extended Kalman filter algorithm. Simulation results are presented by applying the proposed control scheme for a complex network parameterized as infectious diseases.

M. P. Pereira Pessôa, Juan Manuel Jauregui Becker

Industrial revolutions (IRs) are mostly associated with how transformations regarding the operations of an enterprise affect said enterprise’s manufacturing systems. However, the impact of these transformations exceeds the production systems themselves; rather, they affect the entire value chain, from the product design and development process (PDDP) through manufacturing and supply-chain management to marketing and disposal. As the new PDDP to a large extent defines the value chain for a company, the challenge lies in ensuring that the designed product will help the company fully benefit from the IRs. By analysing the 4th IR, the authors reveal that few publications shed light on this aspect. Consequently, the purpose of this study is to establish features and properties that will shape the PDDP throughout the 4th IR and into a smart design engineering. To accomplish this, the authors conduct a systematic review of the literature, which provides ten findings. These findings are then analysed by 11 specialists both from academia and the industry, and the findings’ relations to the 4th IR and their impact on the product development process is discussed. By establishing these findings, this paper provides a platform for the understanding of what could potentially shape smart design engineering and its design-related activities.

Md Golam Kibria, Md Shohel Parvez, Palash Saha et al.

Background: Nowadays, computer users are facing musculoskeletal disorders (MSDs) and visual symptoms. Prolonged sitting in inappropriate, awkward, and static postures on the computer workstation may cause musculoskeletal disorders (MSDs). Similarly, inappropriate placement of monitors, illumination, and other factors such as prolonged usage of computers are related to visual symptoms. Objective: This study aims to evaluate the ergonomic deficiencies of computer workstations and their correlation with MSDs and visual symptoms. Methods: This study involved 271 university employees from a Bangladeshi engineering university. Ergonomic deficiencies were evaluated through direct observations and Occupational Safety and Health Administration checklists. In addition, the Nordic Musculoskeletal Questionnaire was used to assess the prevalence of MSDs and visual discomforts. Binary Logistic Regression (BLR) analysis was also used to examine the correlation between musculoskeletal symptoms and ergonomic deficiencies. Results: Results showed serious deficiencies in workstation setup, seating arrangement, monitor orientations, keyboard orientations, other input device orientations, and accessory setup. Employees reported that the MSDs in different body regions during the last 12 months including lower back (62 %), upper back (53 %), shoulders (47 %), and neck (25 %). Moreover, itchy eyes (69 %), tired eyes (83 %), and unclear vision (56.83 %) were the most common visual discomforts or visual symptoms among the participants. Results also revealed that monitor ergonomics and its orientation deficits were significantly associated with visual discomforts. Gender, job type, age, BMI, work experience, duration of computer work, and beak taking after 2 h were the independent variables reliably predicting the MSDs and visual symptoms. Conclusion: It is evident that MSDs and visual symptoms were associated with computer workstation deficiencies and other work-related factors.

C.W. Chukwu, E. Bonyah, M.L. Juga et al.

Tuberculosis remains one of the most dangerous diseases globally and has affected many people in Sub-Saharan Africa. In this paper, a fractional stochastic model of tuberculosis disease was formulated and analyzed. The existence and uniqueness of solutions are presented in the new approach far from the deterministic fractional operators. We carry out numerical simulations of the model using three fractional operators. Our numerical results suggest that the Caputo–Fabrizio operator has a more random effect among the three different operators than the Atangana–Baleanu and the Caputo operators. Further, it is envisaged that the fractional-order derivatives significantly impact the dynamics of the disease.

David Lo

For decades, much software engineering research has been dedicated to devising automated solutions aimed at enhancing developer productivity and elevating software quality. The past two decades have witnessed an unparalleled surge in the development of intelligent solutions tailored for software engineering tasks. This momentum established the Artificial Intelligence for Software Engineering (AI4SE) area, which has swiftly become one of the most active and popular areas within the software engineering field. This Future of Software Engineering (FoSE) paper navigates through several focal points. It commences with a succinct introduction and history of AI4SE. Thereafter, it underscores the core challenges inherent to AI4SE, particularly highlighting the need to realize trustworthy and synergistic AI4SE. Progressing, the paper paints a vision for the potential leaps achievable if AI4SE's key challenges are surmounted, suggesting a transition towards Software Engineering 2.0. Two strategic roadmaps are then laid out: one centered on realizing trustworthy AI4SE, and the other on fostering synergistic AI4SE. While this paper may not serve as a conclusive guide, its intent is to catalyze further progress. The ultimate aspiration is to position AI4SE as a linchpin in redefining the horizons of software engineering, propelling us toward Software Engineering 2.0.