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.
In this paper, we present a vision-aided inertial navigation system (VINS) for localizing wheeled robots. In particular, we prove that VINS has additional unobservable directions, such as the scale, when deployed on a ground vehicle that is constrained to move along straight lines or circular arcs. To address this limitation, we extend VINS to incorporate low-frequency wheel-encoder data, and show...
A research approach of crack detection of rotating shafts based on acoustic emission (AE) signals and machine learning is proposed in this paper. The relationship between crack intensity and domain features are investigated, and the features which could well indicate the crack condition are selected for modelling and crack prediction. Multiple Linear Regression (MLR), Artificial Neural Networks (ANN)...
The spindle motor in machine tool mostly adopt induction motor. In order to achieve dynamic control of the magnetic field and torque, one needs to estimate the synchronous induction motor electrical angle. The calculation is based on the basis of the rotor time constant. The accuracy of the parameter measurements will affect the performance significantly. How to improve the spindle motor torque is...
An automated flow is described for total-ionizing dose (TID)-aware SPICE model generation that includes TID response and its dependence on process variability and layout. A memetic algorithm that balances multiple objectives, subject to realistic constraints, is introduced for global optimization of the flow. A differential evolution algorithm is adapted for global exploration, and a modified random...
Previous work has shown the ability of waveform LiDAR sensors to accurately describe various land cover types [1] and biomass estimates made in the field [2]. What is lacking, however, is a way to describe the different structural components that are embedded in the digitized backscattered energy from the LiDAR pulse. This study aims to extract structural components from waveform LiDAR data in terms...
Applying synthetic aperture interferometric radiometer (SAIR) in near field imaging has been receiving great interest in the recent years. Because the traditional far-field Fourier imaging theory is not valid in near-field condition, developing the proper near-field imaging techniques is the major desirable objective of near field SAIR applications. This work is devoted to establish an effective near...
Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Effectively verifying service composition to comply with the requirements is challenging. Verifying the composed service against certain properties is discussed in this paper. TLA (Temporal Logic of Actions) is introduced to enable effective verification. In particular,...
Accurately estimating rice biomass and yield is important not only for rice cropping management, but also for quantitatively understanding carbon cycle in agricultural ecosystem. This study integrated a rice canopy scattering model with Genetic Algorithm Optimization Tool (GAOT) to simulate rice biophysical parameters and to estimate rice biomass from L-band, HH polarization mode ALOS/PALSAR radar...
In this paper, we present an ILP formulation to assist designers to identify the architectural design, binding schema and scheduling algorithm while satisfying physical constraints such as available logic resources, computation time and memory usage used. Directing the solver to optimise for logic usage, execution time, or other parameters allows ease of exploration of the design space. This case...
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.