作者: aesthetician 時(shí)間: 2025-3-21 22:48 作者: 使成波狀 時(shí)間: 2025-3-22 01:26 作者: PHON 時(shí)間: 2025-3-22 05:40
Dynamical Systems and Cosmologye log filtering rules to be applied on previously unseen diagnostic data to identify the root cause of the occurred problem. This paper introduces the AID4TRAIN framework and its implementation at the current project stage. Further, a preliminary case study in the railway domain is presented.作者: PANG 時(shí)間: 2025-3-22 11:29 作者: 自負(fù)的人 時(shí)間: 2025-3-22 15:54
Constantin Bota,Bogdan C?runtu,Liviu Bereteuts of each active coupler with the aim of reducing the higher fluctuations of the coupling force induced by couplers for travelling, hence minimizing the inter-cars shocks. Numerical results, including a comparison analysis with a passive coupler, confirm the effectiveness and the benefits of the pr作者: 自負(fù)的人 時(shí)間: 2025-3-22 19:18
Formal Analysis Approach for?Multi-layered System Safety and?Security Co-engineeringnd security properties, instantiate-able at each layer. We rely upon the meta-modeling and formal techniques for the specification, conceptual modeling, formal interpretation, and verification of the system w.r.t. the allocated properties. The overall approach is validated using Rodin as an instance作者: intention 時(shí)間: 2025-3-22 23:39 作者: 贊成你 時(shí)間: 2025-3-23 03:28
A Literature Review for the Application of Artificial Intelligence in the Maintenance of Railway Opef data types ranging from sound, GPS coordinates, track geometry, speed and acceleration data, data from rolling stock vibrations, knowledge from experts, historical data from logs and reports, temperature data and more. Data can also be harvested using different technologies such as IoT devices, wi作者: Lacunar-Stroke 時(shí)間: 2025-3-23 08:33 作者: archenemy 時(shí)間: 2025-3-23 11:20
A K-Prototype Clustering Assisted Hybrid Heuristic Approach for?Train Unit Scheduling. The capabilities of this framework were tested by real-world cases from UK train operating companies and compared with the results from running an exact integer solver. Preliminary results indicate the proposed methodology achieves the same optimal solutions as the exact solver for small instances作者: 責(zé)怪 時(shí)間: 2025-3-23 16:23 作者: 有抱負(fù)者 時(shí)間: 2025-3-23 20:32
Stefano Marrone,Martina De Sanctis,Valeria Vittori作者: Irritate 時(shí)間: 2025-3-24 00:04 作者: 不透明 時(shí)間: 2025-3-24 02:34
Formal Analysis Approach for?Multi-layered System Safety and?Security Co-engineering phases of the System Engineering (SE) process. Particularly, in the design phase, safety and security requirements should cascade down across different system views till the architectural design. However, such an enrichment process is often complex and lacks guidance to precisely specify the corres作者: DEFER 時(shí)間: 2025-3-24 10:02
Case Study Analysis of?STPA as?Basis for?Dynamic Safety Assurance of?Autonomous Systems safety of these systems remains extremely challenging. Previously, the concept of dynamic safety cases (DSCs), ConSerts and runtime monitoring frameworks have been presented as an engineering solution for through-life safety assurance. However, these techniques will (initially) be only as good as t作者: NAUT 時(shí)間: 2025-3-24 10:41 作者: 單挑 時(shí)間: 2025-3-24 16:58
A Literature Review for the Application of Artificial Intelligence in the Maintenance of Railway Opeally the subdomain of railway maintenance. We have analyzed the state of the art of AI applied to the railway industry by conducting an extensive literature review, summarizing different tasks and problems belonging to railway maintenance and common AI-based models implemented for their solution. Wi作者: 綁架 時(shí)間: 2025-3-24 21:55
Synthetic Data Generation for?Condition Monitoring of?Railway Switchesllenge to collect a sufficient amount of such data. An alternative is to artificially generate realistic data based on training examples. In this paper we present a method for generating the electric current time series produced by railway switch engines during switch-blades repositioning. In practi作者: Entrancing 時(shí)間: 2025-3-24 23:58
AID4TRAIN: Artificial Intelligence-Based Diagnostics for?TRAins and?INdustry 4.0ypically lead to multiple reported errors that propagate to other components, the analysts’ work is hardened by digging in cascading diagnostic messages. Root cause analysis can help to pinpoint faults from the failures occurred during system operation but it is unpractical for complex systems, espe作者: SLING 時(shí)間: 2025-3-25 04:15
Railway Digital Twins and?Artificial Intelligence: Challenges and?Design Guidelinesesent a promising paradigm to enhance the predictability, safety, and reliability of cyber-physical systems. They can play a key role in different domains, as it is also witnessed by several ongoing standardisation activities. However, several challenging issues have to be faced in order to effectiv作者: ANTH 時(shí)間: 2025-3-25 10:00 作者: GEM 時(shí)間: 2025-3-25 13:41 作者: ear-canal 時(shí)間: 2025-3-25 18:07 作者: 跑過(guò) 時(shí)間: 2025-3-25 20:26
The Theory of Catastrophes Before Poincaréromising technique towards safer autonomous systems. Although hazard generation and modularisation are not easy, we argue that STPA provides a different view on safety which aligns much better with an autonomous system view.作者: 錫箔紙 時(shí)間: 2025-3-26 03:35
https://doi.org/10.1007/978-3-662-06796-3ature on specific parameters, which are then re-sampled and used to generate new curves. The model is analyzed in different practice-relevant scenarios and shows potential for improving condition monitoring methods.作者: comely 時(shí)間: 2025-3-26 04:38 作者: TOXIC 時(shí)間: 2025-3-26 11:54 作者: 不遵守 時(shí)間: 2025-3-26 13:54 作者: 無(wú)所不知 時(shí)間: 2025-3-26 19:20
Railway Digital Twins and?Artificial Intelligence: Challenges and?Design Guidelinesntified, with interoperability being the most discussed challenge. One difficulty is to transmit operational data in real-time from edge systems to the cloud in order to achieve timely decision making. We also provide some guidelines to support the design of DTs with a focus on machine learning for railway maintenance.作者: Malfunction 時(shí)間: 2025-3-27 00:56
Dynamical Systems and Microphysicsch, this paper provides the specification of a generic data acquisition platform as a crucial step. Some particular results are recommendations for the minimal resolution and shutter type for image sensors, as well as beam steering methods and resolutions for LiDARs.作者: 孵卵器 時(shí)間: 2025-3-27 03:10 作者: 沙漠 時(shí)間: 2025-3-27 08:07
Conference proceedings 2022ineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022.?.The 11 workshop papers presented were thoroughly reviewed and sel作者: 多產(chǎn)魚(yú) 時(shí)間: 2025-3-27 13:15 作者: 廢除 時(shí)間: 2025-3-27 15:28
Conference proceedings 2022ected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience..作者: 偶像 時(shí)間: 2025-3-27 19:43
1865-0929 ed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience..978-3-031-16244-2978-3-031-16245-9Series ISSN 1865-0929 Series E-ISSN 1865-0937 作者: 變態(tài) 時(shí)間: 2025-3-28 01:00
https://doi.org/10.1007/978-3-662-06788-8or data sharing in a distributed environment. We prototype AuditTrust?using several technologies, such as Hyperledger Besu, IPFS, the Intel SGX TEE, and Vault. Our evaluation of AuditTrust?examines the latency costs of auditing and access control and shows the effectiveness of the approach.作者: Trabeculoplasty 時(shí)間: 2025-3-28 03:51
AuditTrust: Blockchain-Based Audit Trail for?Sharing Data in?a?Distributed Environmentor data sharing in a distributed environment. We prototype AuditTrust?using several technologies, such as Hyperledger Besu, IPFS, the Intel SGX TEE, and Vault. Our evaluation of AuditTrust?examines the latency costs of auditing and access control and shows the effectiveness of the approach.作者: 群居男女 時(shí)間: 2025-3-28 09:18
https://doi.org/10.1007/978-3-662-06788-8ly distrusting entities. One of the critical challenges in this context is to ensure that shared data cannot be tampered with, and that access to this data can always be traced and audited in a secure and trustworthy way, e.g., by using an access log to detect tampering. However, for audit trail dat作者: Memorial 時(shí)間: 2025-3-28 12:45
Spectral Theory of Dynamical Systems phases of the System Engineering (SE) process. Particularly, in the design phase, safety and security requirements should cascade down across different system views till the architectural design. However, such an enrichment process is often complex and lacks guidance to precisely specify the corres作者: overreach 時(shí)間: 2025-3-28 15:58 作者: BUST 時(shí)間: 2025-3-28 20:45
The Theory of Catastrophes Before Poincarédents [.]. Many accidents occur due to individual mistakes of road users. Dangerous situations are often misjudged or not recognized on time, for example, due to distraction while driving [.]. Autonomous systems in vehicles show the potential to avoid driver-related accidents, but for a Dynamic Risk作者: Inflamed 時(shí)間: 2025-3-29 01:58 作者: 做作 時(shí)間: 2025-3-29 06:14 作者: 輕率看法 時(shí)間: 2025-3-29 11:05
Dynamical Systems and Cosmologyypically lead to multiple reported errors that propagate to other components, the analysts’ work is hardened by digging in cascading diagnostic messages. Root cause analysis can help to pinpoint faults from the failures occurred during system operation but it is unpractical for complex systems, espe
