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.
Adaption of parameters during neural network training according to the actual shape of the error surface is supposed to be a powerful instrument to enforce convergence and to decrease time consumption of neural network training. This paper presents an analysis how fuzzy adaption of training parameters (learning rate and momentum) could accelerate backpropagation learning in feedforward networks...
The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While difference bound matrices (DBMs) are effective for representing sets of clock values, binary decision diagrams (BDDs) can efficiently represent huge discrete state sets. In this paper, we introduce a simple general framework for combining...
A GA based path planning software for mobile robot systems focussing on energy consumption is presented. One special feature of this software is the consideration of changing texture — and therefore changing energy requirements when moving — within given environments. Problem specific genetic operators are introduced, and especially the handling of exceptional situations is described in detail.
The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern vehicles. In this paper, we present the first timed automata model of its physical layer protocol, and we use automatic verification to prove fault tolerance under several error models and hardware assumptions. The key challenge...
This article describes a simple control of elementary flight variables for an unmanned airship such like airship flight altitude and airship azimuth or flight direction. For this purpose were all controllers designed on the basis of nonlinear mathematical model of airship flight mechanics which was obtained by PEM (Projection Equivalent Method) [13]. All controllers were designed for “silent” airship...
Unmanned aerial systems (UAS) can be used nowadays for automatic visual inspection of power lines. Two challenging problems need to be solved: The detection of the power lines and the tracking of the lines. This paper presents a method for vision systems to extract power lines from cluttered natural backgrounds e.g. trees, cloudy skies. By means of range filters, some morphological operations, Canny...
This paper proposed an On-line path planning algorithm for an autonomous airship based on the genetic algorithms. The airship assumed to be used in applications that consider existence of restricted environment and require the airship to fly few meters above the ground where there is a big possibility of collisions with obstacles. The proposed On-line path planner takes in consideration the detections...
This article describes a Projection Equivalent Method (PEM) as a new approach for modeling of aircraft. PEM is a method [20] by which it is possible to obtain a mathematical model of the aerodynamic forces and moments acting on the flying machine during flight. For PEM, it is characteristic that in principle it provides an acceptable regression model of aerodynamic forces and moments, which possesses...
One of the key challenges during a disaster is that the activity of rescue and relief has to be well-coordinated. For this reason there is a need for a complex system that will provide facilities for acquisition, exchanging and sharing of immediate information to obtain a better overview of current situation and interactively improve the coordination of the rescue team. his article presents our approach...
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.