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.
Considering path coverage as the test adequacy criterion, a modified multiple paths test data generator based on particle swarm optimisation (MMPPSO) algorithm is proposed. During the particle swarm optimisation process, each particle tracks the individual best position and the global best position. For the multiple paths coverage problem, different fitness functions are applied to assess the individual...
We present a novel local shape descriptor by means of General Adaptive Neighborhoods (GANs) based on the properties of the heat diffusion process on a Riemannian manifold. The GAN is a spatial region, surrounding the feature point and fitting its local shape structure, which is isometric. Our signature, called the Heat Propagation Contours (HPCs), is obtained by analysing the well-known heat kernel...
Power loss caused by wind speed deficit in wind turbine wake is a critical issue for wind farms. Various engineering wake models have been developed and applied to predict velocity distribution in wind turbine wake and wind farm power production. In this study, three widely used wind turbine wake models, Jensen, Frandsen and Larsen model, were compared and validated, in order to find out prediction...
There are some limitations when analyzing and studying Internetware by using traditional software reliability theory and method which is not adaptive to the open, dynamic and changeable network environment. Based on the basic principle, the characteristics and the analysis of Internetware, the theory and the technology of Internetware reliability are innovated and developed. The research status, the...
This paper presents a CUDA-based real-time solution for true-color synthesis of remote sensing image. The solution reduces total execution time in three aspects. 1. Apply Pinned Memory to reduce data transfer time between host memory and GPU global memory. 2. Use look-up table to reduce computing time. 3 Overlap kernel executions and data transfers, besides register pages and execute kernels in parallel...
This paper presents a learned feature based method for scene labelling. This method is combined with a novel strategy to improve global label consistency. We first follow a traditional way to investigate trained features from convolutional neural networks (ConvNets) for scene labelling. Then, motivated by the recent successful use of general features extracted from ConvNets for various applications,...
Test coverage is a effective approach of testing effectiveness and adequacy, which has positive impact on software reliability and defect coverage. The test coverage function describes the change of test coverage during the test procedure, and it is an important factor of software reliability models with test coverage. In this paper, the change of test coverage is represented by the generalized logistic...
The purpose of this paper is to investigate heterogeneous multi-column ConvNets (MCCNN) and fusion methods for them. We first construct heterogeneous MCCNN by combining ConvNets with different structures. We then use different fusion methods to check their performances to find out the effect of fusion methods for MCCNN. We also propose a novel sliding window based fusion framework which defines a...
For the need of actually combining RGB data and depth input in computer vision research, new RGB-D features for object recognition are proposed. We present six kinds of RGB-D kernel matching functions on kernel view. They have the capability of capturing different RGB-depth cues including position, size, shape and distance. Due to the infinite dimensional character in Gaussian space, it is computationally...
In this paper, we propose a faster and more efficient color image segmentation technique, which is called local window K_means (LWK_means), consisting of three modules: window presetting, local window clustering, windows merging. LWK_means divides the color image into many windows, and then parallelly processes each window using the proposed local window K_means clustering algorithm, which is adaptive...
With rapid development of Graphics Processing Units (GPU) technologies, GPUs are strongly motivated to be adopted in many real-time applications. However, it is still a challenging work to efficiently integrate multiple GPUs into multicore/multiprocessor real-time systems, due to many real world constraints caused by the non-real-time closed-source GPU drivers. To avoid timing violations, k-exclusive...
Many collapse cases of wind turbines which operated in wind farms are caused by the event that blade tip hits the tower. So, one of the important indicators in wind turbine design is the tip deflection estimation. The distance from tip to the outside of the tower determines the safety of wind turbines. Usually the maximum tip deflection (also known as displacement) possibly occurs in some extreme...
Pitch actuator endures complex load during operation process of wind turbine, and its load-bearing capacity influences the safe operation of whole wind turbine. In this paper, according to the operation control requirements of wind turbine, all kinds of complex operation conditions of pith actuator are taken into account, and GL-bladed software is used to calculate the load of pitch actuator. And...
This paper, based on the reduced version of Beddoes-Leishman dynamic stall model, makes deeply research about airfoil dynamic stall for wind turbines. Considering about the operating environment of wind turbine, the model, constructed in this paper, neglects the compressibility of airflow, and mainly considers attached flow, trailing edge separation and vortex lift. This paper uses fourth-order Runge-Kutta...
First of all, expression to mild solution of the time varying singular distributed parameter system is given via the theory of GE mild evolution operator in Hilbert space. Then the sufficient condition concerning the continuity of the mild solution, and the sufficient condition concerning the existence and uniqueness of the solution are obtained.
Cooperative coverage by multiple robots with contact sensors is studied in this paper. Multiple robots internal spiral coverage algorithm is presented to overcome the sensing limitation of the robot whose sense range is the radius of the body. The algorithm guarantees complete coverage by repeating covering portion of the environment and setting the GATE grids. The algorithm is also robust in that...
Suffering from the low performance, conventional emulational device model is the bottle-neck of the whole virtual machine system. Utilizing memory virtualizating technology, a novel virtual device acceleration solution with high performance is presented and implemented by the video device accelerating solution on Xen, which is an open-source project. A test result generated by the specific the benchmark...
The software engineering literature is full of test data selection and adequacy strategies. However, It is still a question whether these adequacy strategies are effective or not. So it is necessary to research how to evaluate the effectiveness of test strategy. The effectiveness of random and subdomain testing methodology is normally evaluated by failure detecting ability. However, detecting more...
Videoconferencing not only needs intra-stream synchronization to ensure the reconstruction quality of the stream, but also has real time requirement to satisfy the natural interaction between participants. This paper analyzed the components of end-to-end delay in the videoconferencing over wireless campus network with the objective of understanding how to reduce the delay as much as possible. Then...
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.