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.
East-ADL is an architectural description language dedicated to safety-critical automotive embedded system design. We have previously modified East-adl to include energy constraints and transformed energy-aware real-time behavioral constraints in East-adl into analyzable Uppaal models. In this paper, we extend our previous work by including support for Stateflow, which is used to design event-driven...
In modern power electronic systems, DC-DC converter is one of the main controlled power sources for driving DC systems. But the inherent nonlinear and time-varying characteristics often result in some difficulties mostly related to the control issue. This paper presents a robust nonlinear adaptive controller design with a recursive methodology based on the pulse width modulation (PWM) to drive a DC-DC...
The goal of salient object detection is to estimate the regions which are most likely to attract human's visual attention. As an important image preprocessing procedure to reduce the computational complexity, salient object detection is still a challenging problem in computer vision. In this paper, we proposed a salient object detection model by integrating local and global superpixel contrast at...
Based on the theoretical model of three-level converters, a mathematical model of the predictive active power and reactive power control is deduced. Relationship of both active power and reactive power with voltage vectors is analyzed from an instantaneous power perspective. Influence and tendency caused by voltage space vectors on the active power and reactive power are described in detail. Because...
Different with traditional videos, three dimensional video (3DV) contains multiview videos as well as their corresponding depth maps. Depth maps are not used for viewing, but for rendering virtual views. Therefore, the quality of virtual view should be taken into account during depth compression. A modified distortion model is proposed to be used as the distortion criterion during the compression...
High embedding capacity is desired in digital image watermarking. In this paper, we propose a novel rank-based image watermarking method to achieve high embedding capacity. We first divide the host image into blocks. Then the 2-D discrete cosine transform (DCT) and zigzag scanning is used to construct the coefficient sets with a secret key. After that, the DCT coefficient sets are modified using a...
Despite of many works being conducted on spherical robots in recent years, there are few practical applications. Existing spherical robots still have many drawbacks, such as weak capability of environmental perception and low precision of motion control. This paper presents a spherical robot carrying a binocular stereovision, referred to as Visionbot. The robot aims to use stereovision to enhance...
In view of the traditional image edge detection method easily lead to the disadvantage such as burr and discontinuous, use LVQ neural network to detect the digital image edge. By extracting and calculating the median characteristics, directional information characteristics and Krisch operator direction characteristics of each sample image point, generate the neural network training set and train the...
The paper proposed a new model of CCHP system driven by combining solar energy and internal combustion engine on the basis of traditional CCHP system driven only by the last one; joined the energy storage battery to improve the utilization of renewable energy sources and improve the shortcoming of solar energy; then established the multi-objective optimization model of economics, primary energy consumption...
In this paper, droop-based automatic control schemes are presented to control parallel inverter-interfaced distributed generators (DG) in a way that proportional reactive power sharing is possible in islanded microgrids under different structures. This paper modifies the conventional reactive power-voltage (Q-V) droop control strategy used in inductive (L-type) islanded microgrids by implementing...
Performance, energy consumption and soft error have become parallel important design concerns for microprocessors. As the largest on-chip structures, cache memories play an impressive role in microprocessor design. The awareness of cache reliable energy-efficiency is highly important for microprocessor designers, especially at early design stage. The dynamic behavior of cache reliable energy-efficiency...
Electromagnetic gun loading control system is based on the core chip of STM32F103VET6, and the measurement system based on LABVIEW. Displacement sensor and pressure sensor of signals are collected and transmitted via two USB to PC, it can be observed in real time online, at the same time, people can control the movement of the push rod status by PC to send commands. STM32 chip has low power consumption...
A description of the calculus of positively constructed formulas (PCF) and prover based on this calculus is considered. The PCF calculus has been developed by Russian scientists S.N. Vassiliev and A.K. Zherlov by an evolutionary way in describing and solving control theory problems. This calculus has features, which are applicable in control theory. The described implementation of the prover uses...
Multi-terminal dc (MTDC) systems based on line-commutated converters have been studied and discussed for more than fifty years. However, no series MTDC system has actually been implemented due to the difficulties in the dc circuit breaker design and the coordination between dc terminals. Recently, the topology with two series converters located in the same station has been becoming popular in practice...
Traditional IGBT turn-on loss evaluation methods are curve fitting of double pulse test data without insight of IGBT turn-on process. This paper proposed an analytical evaluation method of IGBT turn-on loss. In the proposed method, a qualitative IGBT switching waveform and an IGBT switching trajectory in output characteristics are used to analyze IGBT turn-on process. The detailed expressions for...
This paper proposes a sliding-mode observer for real-time DDoS detection on network routers, which will be used for connection-oriented services. The developed observers estimate the traffics going through the routers and identify those connections without the following-up packets based on the real-time queue length information inside the routers. These identified traffics are suspicious DDoS attacks...
In this paper, an asymmetric kernel is proposed for extracting sparse features from two-dimensional visual face images for identity recognition. Essentially, the kernel consists of an inner product of two vectors where one of them has been raised to power terms element-wise. The impact of such a power term is suppression of less influential features where only relevant ones are used for estimation...
Morphological changes of retinal vessels such as arteriovenous (AV) nicking are signs of many systemic diseases. In this paper, an automatic method for AV-nicking detection is proposed. The proposed method includes crossover point detection and AV-nicking identification. Vessel segmentation, vessel thinning, and feature point recognition are performed to detect crossover point. A method of vessel...
It's known that electro-hydrostatic actuators (EHA) are characterized by rapid and obvious temperature rise on account of high integration and poor conditions for heat dissipation. In view of this situation, thermal circuit network of motor in EHA differs because thermal resistances occupy temperature-varying properties. Hence, thermal slide rheostat has been introduced into network newly in this...
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.