Logo Komeniusz jest nowym środowiskiem informatycznym umożliwiającym pracęz wieloma obiektami graficznymi (żółwiami) jednocześnie, w tym poruszaniesię obiektów, a także dołączenie do programu plików graficznych, dźwięko-wych i wideo. Wymienione cechy kwalifikują Logo Komeniusz jako efektywne na-rzędzie multimedialne o dużych możliwościach prezentacyjnych i programistycznych jednocześnie. Zaprezentowano przykłady wykorzystania Logo Komeniusz donauczania wybranych tematów z geometrii i informatyki, a także projekty ilustrujące możliwości multimedialne tego środowiska.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
There are well known problems which are not decidable: halting problem, provability in PA, being a first order tautology, and others. Since all these problem deal with notions like computability and provability, they are beyond the scope of “usual” mathematics - mathematical analysis, for instance. Here, we will show a bunch of examples of simple undecidable statements of such mathematics.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
It is a fairly hard task TO design hardware that implements recursive computations using a repetitive style, which is supported in mast hardware description languages suck as VHDL and Verilog. In this paper we show how one can very elegant and rapidly yield hardware models that implement recursive computations. The hardware model is expressed in the most popular hardware description language VHDL As a case study, we implement the Karatsuba-Ofman's divide-and-conquer multiplication algorithm. The generated hardware is efficient in terms of response time and compact in terms of hardware area.
One of the main problems in mobile robotics is obtaining knowledge about the surroundings from sensor data. This article describes attempts of fast 3D observed scene feature extraction based on information from a two-camera stereovision system. The additional assumption is that the robot vision system, dedicated to the navigation purpose, should be able to work with low quality images. The power of recursive techniques in the implementation of real-time working algorithms is presented in regard to standard area-based stereo matching but mainly focused on the new recursive algorithm for characteristic object segmentation in low quality images.
PL
Artykuł opisuje próby ekstrakcji cech trójwymiarowych obserwowanej sceny na podstawie informacji, pochodzącej z dwukamerowego systemu stereowizyjnego robota mobilnego. Jako dodatkowe założenie przyjęto, że system wizyjny robota, przeznaczony do celów nawigacji, powinien działać bazując nawet na obrazach niskiej jakości, która często jest efektem braku sztywności układu kamer podczas ruchu robota. Tematem wiodącym jest ukazanie siły technik rekurencyjnych, pozwalających na implementację algorytmów pracujących w czasie rzeczywistym. Zaprezentowano zasadę stosowania rekurencji do eliminacji obliczeń Redundantnych w algorytmach stereoskopowego dopasowywania obszarami oraz nowy algorytm rekurencyjny opracowany w celu wychwytywania obiektów charakterrystycznych w obrazach niskiej jakości. Algorytm, po wykonanej filtracji LoG, pozwala na wykrywanie obiektów dużych oraz grup małych obiektów, zależnie od ustawionego progu. Ponadto, zastosowanie algorytmu nie wymaga użycia dodatkowych metod usuwania szumów z obrazu. Opracowana metoda, przeznaczona do przygotowania obrazów stereowizyjnych do dalszej analizy, pozwala zachować w postaci obiektów większą ilość charakterystycznych cech widocznych na obrazie. Wyodrębnione obiekty mają umożliwić dalszą rekonstrukcję sceny 3D.
The implementations of matrix multiplication on contemporary, vector-oriented, and multicore-oriented computer hardware are very carefully designed and optimized with respect to their efficiency, due to the essential significance of that operation in other science and engineering domains. Consequently, the available implementations are very fast and it is a natural desire to take advantage of the efficiency of those implementations in other problems, both matrix and nonmatrix. Such an approach is often called a black box matrix computation paradigm in the literature on the subject. In this article, we gathered a broad series of algorithms taking advantage of the efficiency of fast matrix multiplication algorithms in other mathematical and computer science operations.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Celem artykułu jest przeprowadzenie analizy możliwości wykorzystania Warstwy Tranzycji Petriego w adaptacyjnych regulatorach neuronowo-rozmytych z rekurencjami zwiększającymi wymiar bazy reguł regulatora. Zastosowanie rekurencji prowadzi do zmiany funkcji sterującej regulatora, co przy odpowiednim doborze rekurencji oraz parametrów regulatora prowadzi do poprawy wskaźników jakości sterowania. Niestety w przypadku regulatorów N-F z rekurencjami od wyjścia do wejścia lub innymi rozwiązaniami powodującymi zwiększenie liczby wejść regulatora, a tym samym wymiaru bazy reguł znacząco wzrasta złożoność obliczeniowa rozważanych algorytmów. Zastosowanie WTP pozwala na obniżenie kosztu numerycznego algorytmu. Jednoczesne zastosowanie zarówno rekurencji jak i WTP pozwala na jednoczesną poprawę wskaźników jakości sterowania bez zwiększania, a nawet przy zmniejszeniu kosztu numerycznego algorytmu. Rozważania teoretyczne zostały poparte badaniami symulacyjnymi jak i eksperymentalnymi. Zaproponowano także metodologię doboru nastaw regulatora.
EN
This article aims to analyze the possibility of using Petri Transition Layer in the adaptive neuro-fuzzy controllers with recursions increasing number of controllers rules. The use of recursion leads to a change of control function, and an appropriate selection of recursion and controller parameters leads to improved control quality indicators. Unfortunately, in the case of NF controllers with output to input recursion or other solutions that cause an increase in the number of controller inputs, the dimension of the controllers rules base significantly increases the computational complexity of the algorithm. At the same time the use of PTL reduces the numerical cost of the algorithm. Simultaneous use of both recursion and PTL enables simultaneous improvements in quality control without increasing, and even while reducing the cost of numerical algorithm. Theoretical considerations have been supported by studies and experimental simulation. Also methodology of tuning of controller parameters was proposed.
7
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We introduce the (q, h)-blossom of bivariate polynomials, and we define the bivariate (q, h)-Bernstein polynomials and (q, h)-Bézier surfaces on rectangular domains using the tensor product. Usingthe (q, h)-blossom, we construct recursive evaluation algorithms for (q, h)-Bézier surfaces and we derive adual functional property, a Marsden identity, and a number of other properties for bivariate (q, h)-Bernsteinpolynomials and (q, h)-Bézier surfaces. We develop a subdivision algorithm for (q, h)-Bézier surfaces witha geometric rate of convergence. Recursive evaluation algorithms for quantum (q, h)-partial derivatives ofbivariate polynomials are also derived.
Artykuł prezentuje, czym jest rekurencja, jakie są jej mocne i słabe strony. Zostało w nim także zaprezentowanych i omówionych kilka prostych algorytmów rekurencyjnych. W artykule przedstawiono rekurencyjne i iteracyjne wersje algorytmów potęgowania, obliczania silni, obliczania wyrazów ciągu Fibonacciego, a także rekurencyjne wersje rozwiązania problemów wież Hanoi i reprezentacji liczby naturalnej w postaci sumy naturalnych składników.
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ć.