Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  recursive algorithms
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus
EN
In the paper we define three new complexity classes for Turing Machine undecidable problems inspired by the famous Cook/Levin's NP-complete complexity class for intractable problems. These are U-complete (Universal complete), D-complete (Diagonalization complete) and H-complete (Hypercomputation complete) classes. In the paper, in the spirit of Cook/Levin/Karp, we started the population process of these new classes assigning several undecidable problems to them. We justify that some super-Turing models of computation, i.e., models going beyond Turing machines, are tremendously expressive and they allow to accept arbitrary languages over a given alphabet including those undecidable ones. We prove also that one of such super-Turing models of computation - the $-Calculus, designed as a tool for automatic problem solving and automatic programming, has also such tremendous expressiveness. We investigate also completeness of cost metrics and meta-search algorithms in $-calculus.
EN
It is shown how a stability test, alternative to the classical Routh test, can profitably be applied to check the presence of polynomial roots inside half-planes or even sectors of the complex plane. This result is obtained by exploiting the peculiar symmetries of the root locus in which the basic recursion of the test can be embedded. As is expected, the suggested approach proves useful for testing the stability of fractional-order systems. A pair of examples show how the method operates. It is believed that the suggested geometric approach can also be of some didactic value in introducing basic control-system tools to engineering students.
EN
The primary importance of the paper is the application of the efficient formulation for the simulation of open-loop lightweight robotic manipulator. The framework employed in the paper makes use of the spatial operator algebra and the associated equations are expressed in joint space. This compact representation of the manipulator dynamics makes it possible to solve the robot forward and inverse dynamics problems in a recursive and fast manner. In the current form, the presented algorithm can be applied for the dynamics simulation of an open-loop chain system possessing any number of joints. Specifically, the formulation has been successfully applied for the analysis of the 7DOF KUKA LWR robot. Results from a number of test cases for the robot demonstrate the verification of the calculations.
PL
W artykule przedstawiono efektywny algorytm do analizy dynamiki manipulatora przestrzennego o otwartym łańcuchu kinematycznym. Równania opisujące dynamikę układu zapisano w formie algebraiczno-macierzowej w przestrzeni współrzędnych złączowych. Wprowadzona zwarta reprezentacja równań opisujących ruch manipulatora pozwoliła na rozwiązanie zadania prostego i odwrotnego dynamiki manipulatora w rekursywny i wydajny sposób. Algorytm uogólniono na przypadki analizy dynamiki otwartych łańcuchów kinematycznych z dowolną liczbą stopni swobody. Opracowane sformułowanie zastosowano do analizy dynamiki manipulatora KUKA LWR o siedmiu stopniach swobody. Zweryfikowano poprawność obliczeń numerycznych dla testowych przypadków ruchu manipulatora, a wyniki porównano z rezultatami otrzymanymi w pakiecie komercyjnym do obliczeń dynamiki układów wieloczłonowych.
PL
Przedmiotem badań jest metoda pomiaru wartości chwilowych sygnałów okresowych. W układzie stosowane są niestacjonarne czujniki o okresowo zmiennych współczynnikach. Układ pomiarowy ma strukturę dwutorową. W każdym torze znajduje się człon korekcyjny. W ramach tej struktury identyfikowane są parametry czujników i na tej podstawie na bieżąco korygowane są sygnały wyjściowe z czujników. Możliwość zastosowania rekurencyjnych algorytmów identyfikacji potwierdziły wyniki badań symulacyjnych.
EN
The dynamic measurements of periodically varying signals are considered. The measurement system involves two parallel channels. Each of them consists of a sensor, an A/D converter and a serial corrector as a discrete-time object. The sensors have time-varying parameters, too. The conception of the "blind correction" is tested. Unknown parameters of the correction algorithm are calculated by recursive identification algorithm. Convergence of this algorithm is conditioned by 'singularities' in estimate parameter curves. The both correctors work in on-line mode. Simulation results confirm applicability of such a correction.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.