This paper is concerned with the design procedures of an automated testing tool, developed in Matlab®/Simulink® environment, that performs software verification during runtime on a PLC (Programmable Logic Co...
详细信息
Structural (manual or automated) testing today often overlooks typical programming faults because of inherent flaws in the simple criteria applied (e.g. branch or all-uses). Dedicated testing strategies that address s...
详细信息
This paper describes a stereo-imaging system for variable distances. The setup includes a mechanical mount system-holder, a control unit for the correct positioning of the cameras, the cameras itself and the object to...
This paper describes a stereo-imaging system for variable distances. The setup includes a mechanical mount system-holder, a control unit for the correct positioning of the cameras, the cameras itself and the object to capture. The goal of this setup was to achieve a true sense of scale and depth of the filmed material on dynamically variable distances to the object. This demands certain requirements which are usually not necessary for many applications of stereoscopic filming. In the last step, the resulting material is prepared for viewing.
This paper suggest a model of parallel computation based on Bacteria Foraging metaheuristics for Job Shop Scheduling optimization problem. The parallel model is verified experimentally by Hybrid (MPI + OpenMP) program...
详细信息
Bioniformatics is area, demanding knowledge and skills for acquisition, storing, management, analysis, interpretation and dissemination of biological information. This scientific area requires powerful computing resou...
详细信息
Simultaneous Localization and Mapping (SLAM) algorithms with multiple autonomous robots have received considerable attention in recent years. In general, SLAM algorithms use odometry information and measurements from ...
详细信息
ISBN:
(纸本)9781467324199
Simultaneous Localization and Mapping (SLAM) algorithms with multiple autonomous robots have received considerable attention in recent years. In general, SLAM algorithms use odometry information and measurements from exteroceptive sensors of robots. The accuracy of these measurements and the performance of the corresponding SLAM algorithm directly affect the overall success of the system. This paper presents comparative performance evaluations of three Simultaneous Localization and Mapping (SLAM) algorithms using Extended Kalman Filter (EKF), Compressed Extended Kalman Filter (CEKF) and Unscented Kalman Filter (UKF). Specifically, it focuses on their SLAM performances and processing time requirements. To show the effect of CPU power on the processing time of SLAM algorithms, two notebooks and a netbook with different specifications have been used. Comparative simulation results show that processing time requirements are consistent with the computational complexities of SLAM algorithms. The results we obtained are consistent with the CPU power tests of independent organizations and show that higher processing power decreases processing time accordingly. The results also show that CEKF is more suitable for outdoor SLAM applications where there are a lot of natural and artificial features.
While using a single GPU is fairly easy, using multiple CPUs and GPUs potentially distributed over multiple machines is hard because data needs to be kept consistent using message exchange and the load needs to be bal...
详细信息
In order to measure the effectiveness of safety protection systems there are several design parameters. Diagnostic coverage factor is one of the most important parameter which influences all architectures. In this sho...
详细信息
In order to measure the effectiveness of safety protection systems there are several design parameters. Diagnostic coverage factor is one of the most important parameter which influences all architectures. In this short paper the relationship between PFD avg , DC and T I are presented. 1oo2 and 1oo2D architectures are considered as examples.
The GRID infrastructure provides an aggregation of a wide variety of distributed resources for solving large-scale data intensive problems in various fields. The aim of this paper is to propose a method for grid resou...
详细信息
This paper presents a one machine multiple-product problem with bounded production rate to minimize the total linear cost of inventory under imprecise space constraint. The demand is dependent on time and known. Also ...
详细信息
暂无评论