Hasil untuk "Railroad engineering and operation"

Dectot--Le Monnier de Gouville Esteban, Mohammad Hamdaqa, Moataz Chouchen

YARA has established itself as the de facto standard for "Detection as Code," enabling analysts and DevSecOps practitioners to define signatures for malware identification across the software supply chain. Despite its pervasive use, the open-source YARA ecosystem remains characterized by ad-hoc sharing and opaque quality. Practitioners currently rely on public repositories without empirical evidence regarding the ecosystem's structural characteristics, maintenance and diffusion dynamics, or operational reliability. We conducted a large-scale mixed-method study of 8.4 million rules mined from 1,853 GitHub repositories. Our pipeline integrates repository mining to map supply chain dynamics, static analysis to assess syntactic quality, and dynamic benchmarking against 4,026 malware and 2,000 goodware samples to measure operational effectiveness. We reveal a highly centralized structure where 10 authors drive 80% of rule adoption. The ecosystem functions as a "static supply chain": repositories show a median inactivity of 782 days and a median technical lag of 4.2 years. While static quality scores appear high (mean = 99.4/100), operational benchmarking uncovers significant noise (false positives) and low recall. Furthermore, coverage is heavily biased toward legacy threats (Ransomware), leaving modern initial access vectors (Loaders, Stealers) severely underrepresented. These findings expose a systemic "double penalty": defenders incur high performance overhead for decayed intelligence. We argue that public repositories function as raw data dumps rather than curated feeds, necessitating a paradigm shift from ad-hoc collection to rigorous rule engineering. We release our dataset and pipeline to support future data-driven curation tools.

ZHAO Yanju, CHEN Dawei, SHUAI Renzhong et al.

The bogie compartment area of high-speed trains has been identified as a major source of aerodynamic noise during high-speed operation. To effectively reduce aerodynamic noise at this area, a noise reduction method based on serrated leading-edge vortex generators is proposed. Large eddy simulation (LES) and the Ffowcs Williams-Hawkings (FW-H) acoustic equation were used to numerically simulate aerodynamic noise at the bogie area based on a 1:8-scale simplified bogie model at a train speed of 400 km/h. The analysis examined the effects of serrated vortex generator heights of 20 mm, 40 mm, and 60 mm on the flow field disturbance, vortex shedding, and sound radiation characteristics at the bogie area. Numerical simulation results indicated that the serrated structures with a height of 40 mm were most effective in noise reduction within the 500 Hz frequency band, reducing wall-mounted dipole acoustic energy by up to 36%; the 40 mm high serrated vortex generators reduced far-field radiated noise by an average of 0.5 dB, with the maximum noise reduction reaching 2 dB. These effects are mainly due to the optimization and regulation from the vortex generators' characteristics to separate the shear flow at the front edge of the bogie area and to disturb spanwise vortices, which effectively weaken low-frequency noise caused by vortex shedding and shear layer instability, and suppress the self-sustained oscillation of Rossiter modes. The study shows that serrated leading-edge vortex generators significantly improve aerodynamic noise distribution at the bogie area, with the greatest noise reduction observed for the 40 mm height. These findings offer an effective approach to aerodynamic noise control at the bogie area.

Alexandros Gazis, Ioannis Papadongonas, Athanasios Andriopoulos et al.

This article provides a comprehensive overview of sensors commonly used in low-cost, low-power systems, focusing on key concepts such as Internet of Things (IoT), Big Data, and smart sensor technologies. It outlines the evolving roles of sensors, emphasizing their characteristics, technological advancements, and the transition toward "smart sensors" with integrated processing capabilities. The article also explores the growing importance of mini-computing devices in educational environments. These devices provide cost-effective and energy-efficient solutions for system monitoring, prototype validation, and real-world application development. By interfacing with wireless sensor networks and IoT systems, mini-computers enable students and researchers to design, test, and deploy sensor-based systems with minimal resource requirements. Furthermore, this article examines the most widely used sensors, detailing their properties and modes of operation to help readers understand how sensor systems function. The aim of this study is to provide an overview of the most suitable sensors for various applications by explaining their uses and operations in simple terms. This clarity will assist researchers in selecting the appropriate sensors for educational and research purposes or understanding why specific sensors were chosen, along with their capabilities and possible limitations. Ultimately, this research seeks to equip future engineers with the knowledge and tools needed to integrate cutting-edge sensor networks, IoT, and Big Data technologies into scalable, real-world solutions.

Saba Sanami, Amir G. Aghdam

Reliable aero-engine anomaly detection is crucial for ensuring aircraft safety and operational efficiency. This research explores the application of the Fisher autoencoder as an unsupervised deep learning method for detecting anomalies in aero-engine multivariate sensor data, using a Gaussian mixture as the prior distribution of the latent space. The proposed method aims to minimize the Fisher divergence between the true and the modeled data distribution in order to train an autoencoder that can capture the normal patterns of aero-engine behavior. The Fisher divergence is robust to model uncertainty, meaning it can handle noisy or incomplete data. The Fisher autoencoder also has well-defined latent space regions, which makes it more generalizable and regularized for various types of aero-engines as well as facilitates diagnostic purposes. The proposed approach improves the accuracy of anomaly detection and reduces false alarms. Simulations using the CMAPSS dataset demonstrate the model's efficacy in achieving timely anomaly detection, even in the case of an unbalanced dataset.

Rashina Hoda

Agentic AI is poised to usher in a seismic paradigm shift in Software Engineering (SE). As technologists rush head-along to make agentic AI a reality, SE researchers are driven to establish agentic SE as a research area. While early visions of agentic SE are primarily focused on code-related activities, early empirical evidence calls for a consideration of a wider range of socio-technical activities and concerns to make it work in practice. This paper contributes to the emerging visions by: (a) recommending an expansion of its scope beyond code, toward a 'whole of process' vision, grounding it in SE foundations and evolution and emerging agentic SE frameworks, (b) proposing a preliminary set of values and principles to guide community efforts, and (c) sharing guidance on designing and using well-defined vocabulary for agentic SE. It is hoped that these ideas will encourage collaborations and steer the SE community toward laying strong foundations of agentic SE so it is not limited to enabling coding acceleration but becomes the next process-level paradigm shift.

Pierre-Emmanuel Goffi, Raphaël Tremblay, Bentley Oakes

Successfully engineering interactive industrial DTs is a complex task, especially when implementing services beyond passive monitoring. We present here an experience report on engineering a safety-critical digital twin (DT) for beer fermentation monitoring, which provides continual sampling and reduces manual sampling time by 91%. We document our systematic methodology and practical solutions for implementing bidirectional DTs in industrial environments. This includes our three-phase engineering approach that transforms a passive monitoring system into an interactive Type 2 DT with real-time control capabilities for pressurized systems operating at seven bar. We contribute details of multi-layered safety protocols, hardware-software integration strategies across Arduino controllers and Unity visualization, and real-time synchronization solutions. We document specific engineering challenges and solutions spanning interdisciplinary integration, demonstrating how our use of the constellation reporting framework facilitates cross-domain collaboration. Key findings include the critical importance of safety-first design, simulation-driven development, and progressive implementation strategies. Our work thus provides actionable guidance for practitioners developing DTs requiring bidirectional control in safety-critical applications.

Shiruo Hu, Wenbo Shan, Yingjia Li et al.

Hydro-Science and Engineering (Hydro-SE) is a critical and irreplaceable domain that secures human water supply, generates clean hydropower energy, and mitigates flood and drought disasters. Featuring multiple engineering objectives, Hydro-SE is an inherently interdisciplinary domain that integrates scientific knowledge with engineering expertise. This integration necessitates extensive expert collaboration in decision-making, which poses difficulties for intelligence. With the rapid advancement of large language models (LLMs), their potential application in the Hydro-SE domain is being increasingly explored. However, the knowledge and application abilities of LLMs in Hydro-SE have not been sufficiently evaluated. To address this issue, we propose the Hydro-SE LLM evaluation benchmark (Hydro-SE Bench), which contains 4,000 multiple-choice questions. Hydro-SE Bench covers nine subfields and enables evaluation of LLMs in aspects of basic conceptual knowledge, engineering application ability, and reasoning and calculation ability. The evaluation results on Hydro-SE Bench show that the accuracy values vary among 0.74 to 0.80 for commercial LLMs, and among 0.41 to 0.68 for small-parameter LLMs. While LLMs perform well in subfields closely related to natural and physical sciences, they struggle with domain-specific knowledge such as industry standards and hydraulic structures. Model scaling mainly improves reasoning and calculation abilities, but there is still great potential for LLMs to better handle problems in practical engineering application. This study highlights the strengths and weaknesses of LLMs for Hydro-SE tasks, providing model developers with clear training targets and Hydro-SE researchers with practical guidance for applying LLMs.

Rabia Hassan, Zeeshan Ahmad Arfeen, Mehreen Kausar Azam et al.

Purpose – Material selection, driven by wide and often conflicting objectives, is an important, sometimes difficult problem in material engineering. In this context, multi-criteria decision-making (MCDM) methodologies are effective. An approach of MCDM is needed to cater to criteria of material assortment simultaneously. More firms are now concerned about increasing their productivity using mathematical tools. To occupy a gap in the previous literature this research recommends an integrated MCDM and mathematical Bi-objective model for the selection of material. In addition, by using the Technique for Order Preference by Similarity to Ideal Solution (TOPSIS), the inherent ambiguities of decision-makers in paired evaluations are considered in this research. It goes on to construct a mathematical bi-objective model for determining the best item to purchase. Design/methodology/approach – The entropy perspective is implemented in this paper to evaluate the weight parameters, while the TOPSIS technique is used to determine the best and worst intermediate pipe materials for automotive exhaust system. The intermediate pipes are used to join the components of the exhaust systems. The materials usually used to manufacture intermediate pipe are SUS 436LM, SUS 430, SUS 304, SUS 436L, SUH 409 L, SUS 441 L and SUS 439L. These seven materials are evaluated based on tensile strength (TS), hardness (H), elongation (E), yield strength (YS) and cost (C). A hybrid methodology combining entropy-based criteria weighting, with the TOPSIS for alternative ranking, is pursued to identify the optimal design material for an engineered application in this paper. This study aims to help while filling the information gap in selecting the most suitable material for use in the exhaust intermediate pipes. After that, the authors searched for and considered eight materials and evaluated them on the following five criteria: (1) TS, (2) YS, (3) H, (4) E and (5) C. The first two criteria have been chosen because they can have a lot of influence on the behavior of the exhaust intermediate pipes, on their performance and on the cost. In this structure, the weights of the criteria are calculated objectively through the entropy method in order to have an unbiased assessment. This essentially measures the quantity of information each criterion contribution, indicating the relative importance of these criteria better. Subsequently, the materials were ranked using the TOPSIS method in terms of their relative performance by measuring each material from an ideal solution to determine the best alternative. The results show that SUS 309, SUS 432L and SUS 436 LM are the first three materials that the exhaust intermediate pipe optimal design should consider. Findings – The material matrix of the decision presented in Table 3 was normalized through Equation 5, as shown in Table 5, and the matrix was multiplied with weighting criteria ß_j. The obtained weighted normalized matrix V_ij is presented in Table 6. However, the ideal, worst and best value was ascertained by employing Equation 7. This study is based on the selection of material for the development of intermediate pipe using MCDM, and it involves four basic stages, i.e. method of translation criteria, screening process, method of ranking and search for methods. The selection was done through the TOPSIS method, and the criteria weight was obtained by the entropy method. The result showed that the top three materials are SUS 309, SUS 432L and SUS 436 LM, respectively. For the future work, it is suggested to select more alternatives and criteria. The comparison can also be done by using different MCDM techniques like and Choice Expressing Reality (ELECTRE), Decision-Making Trial and Evaluation Laboratory (DEMATEL) and Preference Ranking Organization Method for Enrichment Evaluation (PROMETHEE). Originality/value – The results provide important conclusions for material selection in this targeted application, verifying the employment of mutual entropy-TOPSIS methodology for a series of difficult engineering decisions in material engineering concepts that combine superior capacity with better performance as well as cost-efficiency in various engineering design.

Yifan Shi, Yuan Wang, Xiaozhou Liu et al.

Purpose – Straightness measurement of rail weld joint is of essential importance to railway maintenance. Due to the lack of efficient measurement equipment, there has been limited in-depth research on rail weld joint with a 5-m wavelength range, leaving a significant knowledge gap in this field. Design/methodology/approach – In this study, the authors used the well-established inertial reference method (IR-method), and the state-of-the-art multi-point chord reference method (MCR-method). Two methods have been applied in different types of rail straightness measurement trollies, respectively. These instruments were tested in a high-speed rail section within a certain region of China. The test results were ultimately validated through using traditional straightedge and feeler gauge methods as reference data to evaluate the rail weld joint straightness within the 5-m wavelength range. Findings – The research reveals that IR-method and MCR-method produce reasonably similar measurement results for wavelengths below 1 m. However, MCR-method outperforms IR-method in terms of accuracy for wavelengths exceeding 3 m. Furthermore, it was observed that IR-method, while operating at a slower speed, carries the risk of derailing and is incapable of detecting rail weld joints and low joints within the track. Originality/value – The research compare two methods’ measurement effects in a longer wavelength range and demonstrate the superiority of MCR-method.

Yuliang Du

Purpose – Auxiliary power system is an indispensable part of the train; the auxiliary systems of both electric locomotives and EMUs mainly are powered by one of the two ways, which are either from auxiliary windings of traction transformers or from DC-link voltage of traction converters. Powered by DC-link voltage of traction converters, the auxiliary systems were maintained of uninterruptable power supply with energy from electric braking. Meanwhile, powered by traction transformers, the auxiliary systems were always out of power while passing the neutral section of power supply grid and control system is powered by battery at this time. Design/methodology/approach – Uninterrupted power supply of auxiliary power system powered by auxiliary winding of traction transformer was studied. Failure reasons why previous solutions cannot be realized are analyzed. An uninterruptable power supply scheme for the auxiliary systems powered by auxiliary windings of traction transformers is proposed in this paper. The validity of the proposed scheme is verified by simulation and experimental results and on-site operation of an upgraded HXD3C type locomotive. This scheme is attractive for upgrading practical locomotives with the auxiliary systems powered by auxiliary windings of traction transformers. Findings – This scheme regenerates braking power supplied to auxiliary windings of traction transformers while a locomotive runs in the neutral section of the power supply grid. Control objectives of uninterrupted power supply technology are proposed, which are no overvoltage, no overcurrent and uninterrupted power supply. Originality/value – The control strategies of the scheme ensure both overvoltage free and inrush current free when a locomotive enters or leaves the neutral section. Furthermore, this scheme is cost low by employing updated control strategy of software and add both the two current sensors and two connection wires of hardware.

Adam Pawlik

Abstract: The article presents the operational principles of the Poznań Metropolitan Railway (PMR) system as an alternative to the increasing share of car transport in the Poznań Agglomeration. One of the main reasons for establishing PMR is the issue of suburbanization, which has led to a significant number of Poznań residents relocating to neighboring municipalities, requiring an efficient commute to Poznań. Research findings indicate that the best solution to this problem is the provision of fast and regular rail connections, particularly for daily commutes to work and school. Furthermore, the article highlights that launching PMR is an economically attractive alternative to expanding the road network, which would be necessary if current transport trends continue. Keywords: Metropolitan railway; Suburbanization; Sustainable transport; Agglomeration

Ertugrul Basar

Noise: an enemy to be dealt with and a major factor limiting communication system performance. However, what if there is gold in that garbage? In conventional engineering, our focus is primarily on eliminating, suppressing, combating, or even ignoring noise and its detrimental impacts. Conversely, could we exploit it similarly to biology, which utilizes noise-alike carrier signals to convey information? In this context, the utilization of noise, or noise-alike signals in general, has been put forward as a means to realize unconditionally secure communication systems in the future. In this tutorial article, we begin by tracing the origins of thermal noise-based communication and highlighting one of its significant applications for ensuring unconditionally secure networks: the Kirchhoff-law-Johnson-noise (KLJN) secure key exchange scheme. We then delve into the inherent challenges tied to secure communication and discuss the imperative need for physics-based key distribution schemes in pursuit of unconditional security. Concurrently, we provide a concise overview of quantum key distribution (QKD) schemes and draw comparisons with their KLJN-based counterparts. Finally, extending beyond wired communication loops, we explore the transmission of noise signals over-the-air and evaluate their potential for stealth and secure wireless communication systems.

Xu Liu, Adrian B. Culver, Fenner Harper et al.

Periodically driven (Floquet) systems can exhibit possibilities beyond what can be obtained in equilibrium. Both in Floquet systems and in the related problems of discrete-time quantum walks and quantum cellular automata, a basic distinction arises among unitary time evolution operators: while all physical operators are local, not all are locally generated (i.e., generated by some local Hamiltonian). In this paper, we define the notion of equivalence up to a locally generated unitary in all Altland-Zirnbauer symmetry classes. We then classify noninteracting unitaries in all dimensions on this basis by showing that equivalence up to a locally generated unitary is identical to homotopy equivalence.

Jiuzhou Han, Wray Buntine, Ehsan Shareghi

Semi-structured explanation depicts the implicit process of a reasoner with an explicit representation. This explanation highlights how available information in a specific query is utilised and supplemented with information a reasoner produces from its internal weights towards generating an answer. Despite the recent improvements in generative capabilities of language models, producing structured explanations to verify a model's true reasoning capabilities remains a challenge. This issue is particularly pronounced for not-so-large LMs (e.g., FLAN-T5-XXL). In this work, we first underscore the limitations of supervised fine-tuning (SFT) in tackling this challenge, and then introduce a carefully crafted reward engineering method in reinforcement learning (RL) to better address this problem. We investigate multiple reward aggregation methods and provide a detailed discussion which sheds light on the promising potential of RL for future research. Our proposed method on two semi-structured explanation generation benchmarks (ExplaGraph and COPA-SSE) achieves new state-of-the-art results.

Zeinab Abou Khalil, Stefano Zacchiroli

Background: Software development results in the production of various types of artifacts: source code, version control system metadata, bug reports, mailing list conversations, test data, etc. Empirical software engineering (ESE) has thrived mining those artifacts to uncover the inner workings of software development and improve its practices. But which artifacts are studied in the field is a moving target, which we study empirically in this paper.Aims: We quantitatively characterize the most frequently mined and co-mined software artifacts in ESE research and the research purposes they support.Method: We conduct a meta-analysis of artifact mining studies published in 11 top conferences in ESE, for a total of 9621 papers. We use natural language processing (NLP) techniques to characterize the types of software artifacts that are most often mined and their evolution over a 16-year period (2004-2020). We analyze the combinations of artifact types that are most often mined together, as well as the relationship between study purposes and mined artifacts.Results: We find that: (1) mining happens in the vast majority of analyzed papers, (2) source code and test data are the most mined artifacts, (3) there is an increasing interest in mining novel artifacts, together with source code, (4) researchers are most interested in the evaluation of software systems and use all possible empirical signals to support that goal.

Ying YANG, Zhifei ZHOU, Buqi LIU et al.

In order to effectivity improve the reliability level of the software in rail transit field, it is necessary to research and apply the software reliability technology. Software reliability testing is the key of software reliability technology. Based on the traditional software test, the theory and method of software reliability test were studied. The application experience of related technologies in network control and transmission control software in rail transit field were summarized to achieve the goal of quantificational evaluating and improving the reliability of the software from the user perspective.

V. L. Nezevak

Considered are the issues of using electric energy storage system in the traction power supply of direct current of a single-track section. An overview of the main directions of domestic and foreign research in the field of using these systems to increase the capacity and energy efficiency of power supply systems is given. Modeling the operation of energy storage system in traction power supply is based on the calculation of load graphs within the boundaries of inter-substation zones, formed depending on the conditions for the passage of trains and traction load on the railway section. The main provisions of the method for choosing locations and determining the parameters of energy storage system in traction power supply are considered. On the example of one of the inter-substation zones of the Sverdlovsk railway, the influence of the power of the active sectioning station on the increase in the minimum voltage level at the pantograph of the electric rolling stock is shown. The graphs of the degree of charge and the corresponding frequency distributions are given, which make it possible to evaluate the operating conditions of the electric energy storage system depending on the conditions for the formation of the traction load, as well as the graphs of the load of the electric energy storage system and the corresponding charging characteristics for the operating conditions at the sectioning post. On the example of the section under consideration, the dependence of the discharge depth of the electric energy storage system on the nominal energy intensity is shown. Based on the results of calculations, an evaluation was made of the options for passing train batches in the even and odd direction in comparison with the schedule of the performed train operation. The range of variation of the nominal values of power and energy intensity of the electric energy storage system is obtained. Comparison of the accumulation system parameters for single- and double-track sections of railways, including those with a predominance of passenger traffic, is carried out.

Rebekka Wohlrab, David Garlan

[Context and motivation:] For realistic self-adaptive systems, multiple quality attributes need to be considered and traded off against each other. These quality attributes are commonly encoded in a utility function, for instance, a weighted sum of relevant objectives. [Question/problem:] The research agenda for requirements engineering for self-adaptive systems has raised the need for decision-making techniques that consider the trade-offs and priorities of multiple objectives. Human stakeholders need to be engaged in the decision-making process so that the relative importance of each objective can be correctly elicited. [Principal ideas/results:] This research preview paper presents a method that supports multiple stakeholders in prioritizing relevant quality attributes, negotiating priorities to reach an agreement, and giving input to define utility functions for self-adaptive systems. [Contribution:] The proposed method constitutes a lightweight solution for utility function definition. It can be applied by practitioners and researchers who aim to develop self-adaptive systems that meet stakeholders' requirements. We present details of our plan to study the application of our method using a case study.

Xiong WANG, Zechun DOU, Zhiyong WU et al.

A variety of different structures of water-cooled radiators used in rail transportation were tested and compared. The effects of different types of flow channels on the flow resistance and heat dissipation performance of radiators were compared, and the heat dissipation characteristics of typical flow channels commonly used in rail transportation were obtained. The research results showed that the flow resistance can be effectively reduced by reducing the length of the flow channel and the reasonable setting of the spacing and the arrangement of the grooves; the cylindrical flow channel and the welded fintype flow channel can effectively increase the turbulence and signi fi cantly improve the heat dissipation effect. The thermal resistance and flow resistance of the welded fin type flow channel are relatively small, and the cost is low, which is more advantageous when the heat dissipation requirement of high heat flux density is required.

Tyler D. Smith, Ryan Peroutka, Robert Edman

Applications of formal methods for state space exploration have been successfully applied to evaluate robust critical software systems. Formal methods enable discovery of error conditions that conventional testing may miss, and can aid in planning complex system operations. However, broad application of formal methods has been hampered by the effort required to generate formal specifications for real systems. In this paper we present State Linked Interface Compliance Engine for Data (SLICED), a methodology that addresses the complexity of formal state machine specification generation by leveraging conventional engineering models to derive compositional formal state models and to generate formal assertions on the state machines. We demonstrate SLICED using the Virtual ADAPT model published by NASA and validate our results by replicating them using Simulink.