Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: automatons

Sortuj według:

Ogranicz wyniki do:

Porównanie implementacji programowych automatów sterujących w sterownikach wbudowanych

Grodzki L.

Pomiary Automatyka Kontrola

2007

R. 53, nr 10

33-36

Programowanie sterowników wbudowanych polega na wykorzystaniu standardowych języków i narzędzi programowania. Zadanie sterowania sekwencyjnego realizowanego przez sterownik może być w różny sposób zaimplementowane w wybranym środowisku programowania. W zależności od tego uzyskuje się programy różniące się między sobą szybkością pracy i zapotrzebowaniem na pamięć operacyjną. Parametry te stają się istotne przy doborze optymalnej konstrukcji systemu mikroprocesorowego sterownika. Praca zawiera porównanie efektywności różnych wariantów oprogramowania tego samego zadania sterowania.

Programming of embedded microcontrollers is based on usage of the standard programming languages and tools: from machine-level symbolic instructions to high-level languages - mainly C. One of the typical control task, which is usually implemented in microcontroller software, is logic sequential control. Programme implementation of that task depends on: used programming language and its possible syntax. Sometimes we can also use dedicated aiding system, which generates software implementation of the control task from its formal description to insert it into controller software. Usage of different programming languages and techniques causes that control software can work slower or faster and needs less or more operating memory. The time and memory complexity of the control software decide about the controller hardware and are important, when this hardware should be optimal. The article contains the comparison of time and memory efficiency of the exemplary control task according to usage of different programming languages, techniques and even programming tools. Conclusions pointed in the paper can be useful for microcontroller designer and programmer.

Generowanie maszyn Turinga poprzez zastosowanie nowych modeli obliczeniowych

Dubiel L.

Computer Science

2003

Vol. 5

7-25

Dla każdego problemu obliczalnego istnieje algorytm jego rozwiązania, który może być przedstawiony w postaci konkretnej maszyny Turinga. Ze względu na prostotę tej maszyny programy są bardzo skomplikowane i nieprzejrzyste. Dlatego tworzy się inne modele obliczenia, na których można szybko i łatwo zapisywać algorytmy związane z danym typem problemu, a następnie symuluje się działanie tych modeli na maszynie Turinga. Niniejszy artykuł przedstawia metodologię znajdowania modelu obliczeniowego pasującego do danego typu problemów i przekształcenie go w odpowiednią maszynę Turinga na przykładzie obliczeń na liczbach naturalnych.

For each problem that can be solved there exists algorithm, which can be described with a program of Turing machine. Because this is very simple model programs tend to be very complicated and hard to analyse by human. The best practice to solve given type of problems is to define a new model of computation that allows for quick and easy programming, and then to emulate its operation with Turing machine. This article shows how to define most suitable model for computation on natural numbers and defines Turing machine that emulates its operation.