The development of electrical detection technology and quantitative interpretation of results, 3D geological modeling, and the search for hidden mines have made conducting electrical 3D inversion and 3D visualization ...
详细信息
In response to the problems of slow detection speed and low tracking accuracy of conventional low altitude unmanned aerial vehicle (UAV) target detection and tracking systems, this paper studies the dual station targe...
详细信息
Everyone is ware that a wide range of problems affect skin structure, function, and appearance. Dermatological issues or dermatoses are common names used to represent the skin related illness. Early detection of skill...
详细信息
In order to improve the accuracy of the position control of the ultrasonic motor and give full play to its characteristics such as low speed, fast response and self-locking in case of power failure, this paper propose...
详细信息
Event cameras, inspired by biological vision, are asynchronous sensors that detect changes in brightness. They offer notable advantages in environments characterized by high-speed motion, low lighting, or wide dynamic...
详细信息
Model-driven software engineering (MDSE) uses software models to make the complexity of cyber-physical and mechatronic systems (CPMS) manageable. For the validation of CPMS software models, closed-loop simulations are...
详细信息
Security is a high-priority issue for any software system. Emerging intelligent systems have unique security challenges that need to be addressed. In this paper, we propose a novel aspect-oriented models-based securit...
详细信息
High-throughput phenotyping (HTP) of seeds, also known as seed phenotyping, is the comprehensive assessment of complex seed traits such as growth, development, tolerance, resistance, ecology, yield, and the measuremen...
详细信息
Models based on machine learning are optimization models that collect data, assess it, and deliver the reports required by specialists and management to make the best decisions. The application of contemporary machine...
详细信息
The proceedings contain 13 papers. The special focus in this conference is on internationalconference on Reliability, Safety and Security of Railway systems: Modelling, Analysis, Verification and Certification. The t...
ISBN:
(纸本)9783031433658
The proceedings contain 13 papers. The special focus in this conference is on internationalconference on Reliability, Safety and Security of Railway systems: Modelling, Analysis, Verification and Certification. The topics include: Halfway Generic Verification of Railway Control systems;Safety Analysis of Automatic Train Operation Based on ETCS;a Tool-Chain for the Verification of Geographic Scheme Data;towards Scenario-Based Certification of Highly Automated Railway systems;preface;remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning;TrainSec: A Simulation Framework for Security modeling and Evaluation in CBTC Networks;A Formal Model of Train Control with AI-Based Obstacle Detection;Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System;automating an Analysis of Safety-Security Interactions for Railway systems;Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.
暂无评论