This paper develops a Smart Public Transportation System using RFID technology, IoT integration, and a MERN-based web application for increasing the efficiency, accessibility, and user experience of urban transit syst...
详细信息
ISBN:
(数字)9798331513894
ISBN:
(纸本)9798331513900
This paper develops a Smart Public Transportation System using RFID technology, IoT integration, and a MERN-based web application for increasing the efficiency, accessibility, and user experience of urban transit systems. It addresses problems such as unreliable bus tracking, lack of support for multilingualism, and ineffective communication between operators and passengers. The key hardware components include RFID tags for bus identification, and IoT-enabled bus stations with RFID scanners, speakers, GSM modules for data transmission, and LCD displays. These ensure accurate real-time updates about the bus locations. On the software side, it is supported by a MERN stack, including MongoDB, ***, ***, and ***, providing a responsive web interface that’s complemented by *** for dynamic route visualization and WebSockets for live updates. Multilingual support through i18next makes it inclusive for various user groups. The system is efficient in that it only updates when RFID scanners capture bus tags at certain checkpoints, thereby reducing server load much more than GPS-based systems. Additional features include route tracking, interactive maps, ticket pricing, and anonymous passenger chats. Crowd-sourced feedback mechanisms and an admin panel for bus management ensure the reliability and scalability of the system. This work shows the feasibility of cost-effective, scalable, and user-centric modernization of public transportation systems, paving the way for further enhancements such as integrated payment systems and AI-based route optimization.
The proceedings contain 28 papers. The special focus in this conference is on Bridging the Gap Between AI and Reality. The topics include: Responsible and Trusted AI: An Interdisciplinary Perspective;team Design Patte...
ISBN:
(纸本)9783031754333
The proceedings contain 28 papers. The special focus in this conference is on Bridging the Gap Between AI and Reality. The topics include: Responsible and Trusted AI: An Interdisciplinary Perspective;team Design Patterns for Meaningful Human Control in Responsible Military Artificial Intelligence;transparent Transparency Developing a Scheme for Understanding Transparency Requirements;AI Act for the Working Programmer;AI Assisted Programming: (AISoLA 2024 Track Introduction);SEGym: Optimizing Large Language Model Assisted softwareengineering Agents with Reinforcement Learning;Towards Specification-Driven LLM-Based Generation of Embedded Automotive software;proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase;LLM-Based Scheme for Synthesis of Formal Verification Algorithms;verification and Learning for Assured Autonomy;a Comparison of Monitoring Techniques for Deep Neural Networks;efficient Shield Synthesis via State-Space Transformation;Runtime Verification and AI: Addressing Pragmatic Regulatory Challenges;A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL;Systematic Translation from Natural Language Robot Task Descriptions to STL;it’s Safe to Play While Driving: From a Spatial Traffic Logic Towards Traffic Games;monitoring Safety and Reliability of Underwater Robots: A Case Study;statistical Model Checking the 2024 Edition!;Reinforcement Learning for Discretized Euclidean MDPs;adaptive Stopping Algorithms Based on Concentration Inequalities;digging for Decision Trees: A Case Study in Strategy Sampling and Learning;statistical Analysis of the Impact of Bit-Flips in Security Critical Code;statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa;On SMC-Based Dependability Analysis in LoLiPoP-IoT Project;Towards Verifying Robotic systems Using Statistical Model Checking in STORM.
Order Independent Transparency (OIT) remains a pivotal challenge in real-time rendering, with applications spanning gaming, simulations, and AR/VR experiences. Traditional techniques, such as Depth Peeling and K-Buffe...
详细信息
ISBN:
(数字)9798331522216
ISBN:
(纸本)9798331522223
Order Independent Transparency (OIT) remains a pivotal challenge in real-time rendering, with applications spanning gaming, simulations, and AR/VR experiences. Traditional techniques, such as Depth Peeling and K-Buffer OIT, have provided foundational solutions to this challenge, while modern approaches like Stochastic Alpha Blending, Weighted OIT with Multi-Frustum, and Deep Learning-Based OIT have introduced innovative pathways to achieve high-quality transparency with improved performance. This survey presents a comprehensive review of these techniques, highlighting their underlying principles, implementation nuances, and trade-offs in terms of performance, memory overhead, and visual fidelity. In addition, this survey examines advanced concepts that push the boundaries of OIT, addressing the growing demands of real-time applications. By providing a detailed analysis of these methods and their suitability for various rendering contexts, this paper aims to serve as a practical guide for researchers and practitioners striving for advancements in real-time transparency solutions.
Developing safe and reliable systems goes beyond simply specifying what they should do but also understand how they might fail. This paper proposes a framework for capturing both, functional requirements safety requir...
详细信息
This paper reports the development of a prototype AI-driven energy forecasting tool for industrial applications, designed to operate with energy metering systems and plant activity metrics. A time history of real-time...
详细信息
ISBN:
(数字)9798331522216
ISBN:
(纸本)9798331522223
This paper reports the development of a prototype AI-driven energy forecasting tool for industrial applications, designed to operate with energy metering systems and plant activity metrics. A time history of real-time plant activity data, which is typically available from SCADA-based asset activity indicators and operational parameters, is utilised along with energy timeseries data within a model regressed to correlate energy consumption with high accuracy. Prototype software was developed as a Windows Forms application and applied to an industrial case study: provision of real-time energy forecasts and optimization insights for a working sawmill are discussed. The application has been designed for future integration with existing SCADA systems, enabling seamless, automated energy monitoring, forecasting and decision support. Future enhancements of the model include incorporating specific production types and more granular operational data to further refine prediction accuracy, and application to profiling energy efficiency of process design options. The work highlights the potential for practical and low-cost AI-powered tools to enhance energy efficiency in modern manufacturing environments and process industries, including small/medium enterprises (SMEs).
Artificial Intelligence (AI) models use statistical learning over data to solve complex problems for which straightforward rules or algorithms may be difficult or impossible to design;however, a side effect is that mo...
详细信息
The wide application of computer technology has been deeply integrated into the field of scientific research, engineering design, and across the military technology, diversified industries, and even business, culture,...
详细信息
ISBN:
(数字)9798331504205
ISBN:
(纸本)9798331504212
The wide application of computer technology has been deeply integrated into the field of scientific research, engineering design, and across the military technology, diversified industries, and even business, culture, art and entertainment industry. While profoundly affecting People's Daily life, it shows strong vitality and broad application prospects. Therefore, this paper will deeply discuss the embedded real-time software testing, energy consumption research and application practice in the field of computing software design, and reveal its specific advantages in the application process through systematic analysis.
Critical embedded software, such as spacecraft flight software, requires high reliability, efficiency, and real-time performance while being capable enough to meet application needs. The increasing prevalence of Linux...
详细信息
Undetected anomalous incidents on the freeway, such as crashes, can cause increased congestion and secondary crashes. To address this problem, we recently released a real freeway traffic anomalous event detection data...
详细信息
ISBN:
(纸本)9798400714986
Undetected anomalous incidents on the freeway, such as crashes, can cause increased congestion and secondary crashes. To address this problem, we recently released a real freeway traffic anomalous event detection dataset. However, our evaluation was limited to a static week of traffic data. This demo presents a live anomaly detection dashboard, processing sensor data with a 1-minute delay. It has interactive components to adjust the anomaly detection performance, providing a realistic evaluation of graph anomaly detection methods for long-term analysis and method improvements.
The proceedings contain 37 papers. The special focus in this conference is on Russian Automation. The topics include: Mapping and Path Planning Methods for Highly Automated Vehicles in Agriculture;morphological Analys...
ISBN:
(纸本)9783031824937
The proceedings contain 37 papers. The special focus in this conference is on Russian Automation. The topics include: Mapping and Path Planning Methods for Highly Automated Vehicles in Agriculture;morphological Analysis and Synthesis Features of Technological Processes;a Modern Method of Wireless Control of Unguarded Railway Crossings;duties and Obligations of the Railway Staff Concerned When the Microprocessorized Contactless Controlling Gauge Device Signal Is Triggered;integration of Automated Management systems for Enterprises’ Transport and Technical Services;development of an Automation Module for Planning Trajectories for Painting Aircraft Fuselage Elements;identification of Metal Sheets in the Flow, Based on the Marking Imprint, Using Neural Networks;study of the Performance of Adaptive Sensor Networks for Collecting and Processing Thermoelectric Data;development and Research of a Cartographic Model for Municipal Planning as the Basis of an Intelligent Geoinformation System;BIM Visual Programming of Bionic Architecture Construction Using Dynamo and Revit;development of a Model and Algorithms for Trigger Control of Technological Processes of Resource Provision;system for Statistical Assessment of Means of Controlling Engineers’ Qualification for Information Support to Manage the Recruiting Process in Industry;smart Enumeration Technology;comparative Analysis of C-Band Conical Horn Antenna Sparse Structures Characteristics at Different Frequencies;software Implementation of Heuristic Methods of Optimization and Integration into a Cloud Service;computer System for Modeling Fluid Flow Around Bodies and Its Potential in Industry;the Effect of Regular and Irregular Segmentations on Characteristics and Charge Distribution Densities of Microstrip Lines;reinforcement Learning with External Teacher for Building Energy Management.
暂无评论