The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Distributed system for sampling and analysis of electroencephalograms is proposed and implemented in alpha state. The system is based on the previously developed database for archiving of the electroencephalograms in Ukrainian National Grid infrastructure. The new components of the system include EEG sensors for laboratory animals, simulations software and data procession algorithms. The first application...
This paper presents a traffic integrated powertrain simulation framework. The co-simulation environment aims at mimicking real-world driving, by combining microscopic traffic simulation with a detailed mathematical powertrain model in Simulink. The co-simulation is capable of emulating onboard sensors, V2X communication and capturing causal behavior of the real-world scenarios, results pertaining...
The transition from a model-driven to a requirements-driven approach in the software development for programmable logic controllers will allow the developers to focus on the proper definition of the problem which needs to be solved and let the computer find a suitable solution for it automatically. This article presents a domain specific language intended to support this transition. The main focus...
A hydrological sensor network is a comprehensive monitoring system which consists of varieties of hydrological stations. The spatial optimization of the deployment of these gauging stations is critical for obtaining hydrological information effectively, given that sensing resources are often limited. In this paper, we consider the hydrological station siting problem as a continuous location problem...
The control load system is a force simulation system, which simulates the operating force of the pilot when piloting an aircraft. According to the analysis of a certain type of aircraft control load system, designs an electric load control system by using DC torque motor as actuator. The system takes DSP TMS320F28335 as the controller, with the signal conditioning circuit, A/D conversion circuit,...
Our life is becoming faster day by day by the blessing of the internet of things (IoT). It plays a vital role to reduce the time to complete a computer-based or IT related work. Cloud and fog computing are one of the main elements of IoT which helps to provide service accurately in fewer times. A significant portion of the work related to fog and cloud computing indicates that fog computing is better...
In cognitive radio (CR), changing the primary user's status diminishes the achievable throughput for secondary user. Traffic of primary user is inversely proportional to throughput of secondary user. Increasing sensing time increases the primary user protection, but has a negative effect on the throughput of secondary user. Solving the dilemma of sensing-throughput tradeoff is to find the optimal...
Images are formed by counting how many photons traveling from a given set of directions hit an image sensor during a given time interval. When photons are few and far in between, the concept of image breaks down and it is best to consider directly the flow of photons. Computer vision in this regime, which we call scotopic, is radically different from the classical image-based paradigm in that visual...
The depth images acquired by consumer depth sensors (e.g., Kinect and ToF) usually are of low resolution and insufficient quality. One natural solution is to incorporate with high resolution RGB camera for exploiting their statistical correlation. However, most existing methods are intuitive and limited in characterizing the complex and dynamic dependency between intensity and depth images. To address...
This paper presents a new method for extracting urban roadside trees automatically from mobile laser scanning point clouds. This method mainly includes three steps. First, ground point clouds are removed by voxel-based upward growing method. Second, Euclidean distance segment method is used to cluster non-ground point clouds into certain individual objects. Then crown seeds of the initial layer is...
A new radiometry and design framework has been introduced in the latest Digital Imaging and Remote Sensing Image Generation model (DIRSIG5) that allows for faster simulations while streamlining the generation of high-fidelity radiometric data. The same framework that allows for improved computational performance has also modularized simulation components to allow for extensive interchangeability based...
Current Nyiragongo Volcano observatory systems yield poor monitoring quality due to unpredictable dynamics of volcanic activities and limited sensing capability of existing sensors (seismometers, acoustic microphones, GPS, tilt-meter, optical thermal, and gas flux).The sensor node has limited processing capacity and memory. So if some tasks from the sensor nodes can be uploaded to the server of cloud...
Cyber-physical system correctness can be ensured by employing formal methods, including model inference. A rather new direction of research is using formal plant models for closed-loop verification and inferring these models from execution traces of the system. Since the quality of the resulting model heavily depends on trace coverage, in this paper we propose efficient methods for automatic plant...
Cyber physical systems (CPS) involve physical and cyber components seamlessly integrated one into another. With the current technical and technological developments CPS are getting increasingly pervasive in multiple spheres of society. CPS are laying on the edge between engineering and information technology. In both cases CPS becoming more and more complex. This complexity constitutes a great challenge...
Mobile crowd sensing has the potential to acquire massive data from places and address large-scale societal problems. However, most currently existing crowd sensing systems suffer from insufficient participants. Therefore, incentive design for crowd sensing is essential and urgent. In this paper, different from the auction-based and server-dominant incentives, we design a personalized incentive, PIE,...
In this paper, the Discrete Controller Synthesis (DCS) technique is applied in order to obtain a correct-by- construction automatic distributed scheduling of Wireless Sensor Network (WSN). Our approach starts from an abstract formal model considering that communication between nodes are instantaneous. Then, a refined model is obtained by adding a realistic communication mechanism while preserving...
We report on a novel low-computation object grasping method that can classify complex objects into primitive shapes and then select the object grasping posture based on predefined grasping postures associated with the approximated primitive shapes. In this approach, the object is not precisely modeled, and the grasping posture is selected from a small number of candidates without massive search; thus,...
An online self-estimation algorithm is developed to jointly estimate the states describing the traffic flow dynamics in a signalized junction under different traffic conditions, together with model parameters and their uncertainties. The proposed novel methodology is based on the Expectation-Maximization algorithm and Robbins-Monro stochastic approximation. The algorithm is validated by simulating...
The engineering of cyber physical systems requires holistic simulation perspectives. To cope with the complexity of these systems, we aim to provide a simulation methodology that is efficient regarding model complexity. The required holistic perspective is reached on a coarse level, which is co-simulated with multiple detailed models of some areas of the system that are of particular interest to the...
In this paper, we implemented the Side Scan Sonar (SSS) module for the UnderWater Simulator (UWSim) [1], specifically focusing on sonar image simulation. To obtain the simulated SSS images, we adopted the Lambertian diffusion model [2]. The beam profile was modeled using a pair of sine wave functions. We developed this sonar module in the UWSim which runs on Robot Operating System (ROS) framework...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.