Results 51 to 60 of about 26,748 (274)

Automatic and portable mapping of data parallel programs to OpenCL for GPU-based heterogeneous systems [PDF]

, 2015
General-purpose GPU-based systems are highly attractive, as they give potentially massive performance at little cost. Realizing such potential is challenging due to the complexity of programming.
Wang, Z, O'Boyle, Michael, O’boyle, MFP, Wang, Zheng, Grewe, D, Grewe, Dominik   +5 more
core   +1 more source

Intention inference‐based interacting multiple model estimator in photoelectric tracking

IET Control Theory & Applications
Aiming to improve the estimation and prediction accuracy of a target's position, this paper proposes a state estimation method for photoelectric tracking systems, based on the evaluation of the tracked target's motion intention. Traditional photoelectric
Minxing Sun, Huabo Liu, Qianwen Duan, Junzhe Wang, Yao Mao, Qiliang Bao   +5 more
doaj   +1 more source

Detection of Obstacle Intrusion in Front of Train Based on Vehicle-borne LiDAR

Kongzhi Yu Xinxi Jishu, 2023
Obstacle intrusion threatens the running safety of automatically-operated train seriously. This paper proposes a method to detect obstacle intrusion in front of the trains based on vehicle-borne LiDAR. Firstly, a composite rail track model is established
ZENG Xiang, JIANG Guotao, PAN Wenbo, LENG Binghan, CHEN Guibin   +4 more
doaj  

Prediction of Surface Topography Parameters in Direct Laser Interference Patterning of Stainless Steel Using Infrared Monitoring and Convolutional Neural Networks

Advanced Engineering Materials, EarlyView.
This study presents an infrared monitoring approach for direct laser interference patterning (DLIP) combined with a convolutional neural network (CNN). Thermal emission data captured during structuring are used to predict surface topography parameters.
Lukas Olawsky, Marcelo Sallese, Leander Kläber, Clemens Kuhn, Keming Du, Andrés Fabián Lasagni   +5 more
wiley   +1 more source

Prediction Method of Air Braking Force of Heavy Load Train Based on Fuzzy Logic-based Neural Network

Kongzhi Yu Xinxi Jishu, 2022
Due to the strong nonlinearity of air braking of heavy load train, the large error of feedback decompression amount, and the coupling relationship between charging and exhaust time and decompression process, it is difficult to guarantee the operation ...
SHI Ke, ZHANG Zhengfang, BAI Jinglei, JIANG Jie   +3 more
doaj  

A Thermodynamic 3D Model for the Simulation of Diffusion‐Controlled Alloying Processes in Heterogeneous Material Structures

Advanced Engineering Materials, EarlyView.
A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer, Leonhard Holländer, André Langohr, Hans Jürgen Maier   +3 more
wiley   +1 more source

Formal verification of concurrent programs [PDF]

, 1999
Interactive theorem proving provides a general approach to modeling and verification of both finite-state and infinite-state systems but requires significant human efforts to deal with many tedious proofs.
Yu, Shen-Wei
core  

Design and Implementation of Automatic Auxiliary Alignment System for Train Based on BeiDou Positioning

Kongzhi Yu Xinxi Jishu, 2023
In the field of operation safety control of railway trains, the driving alignment is considered as the reference point for the basic data of the train operation monitoring device (LKJ).
WU Yue, XIAO Lizhi, WU Xiaoxin
doaj  

Air‐Pressure–Actuated Vibroacoustic Metamaterial With Tunable Bandgap: Design, Modeling, and Characterization

Advanced Engineering Materials, EarlyView.
This article presents the design, modeling, and characterization of air‐pressure–actuated programmable vibroacoustic metamaterials (PVAMM). The study focuses on leveraging air pressure to dynamically tune resonance frequencies for effective noise attenuation.
William Kaal, Michael M. Becker, Sarah C. L. Fischer   +2 more
wiley   +1 more source

Automatisches Klassifizieren : Verfahren zur Erschliessung elektronischer Dokumente [PDF]

, 2004
Automatic classification of text documents refers to the computerized allocation of class numbers from existing classification schemes to natural language texts by means of suitable algorithms.
Oberhauser, Otto
core