Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "symbolic methods" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Electronic circuit design by pole and zero distribution optimization via the semi-symbolic transimpedance method
Projektowanie układów elektronicznych poprzez optymalizację rozkładu biegunów i zer z wykorzystaniem semisymbolicznej metody transimpedancyjnej
Autorzy:
Balik, F.
Powiązania:
https://bibliotekanauki.pl/articles/131396.pdf
Data publikacji:
2016
Wydawca:
Uczelnia Jana Wyżykowskiego
Tematy:
Computer Aided Design
electronic circuit optimization
pole and zero approximation
symbolic methods
projektowanie wspomagane komputerowo
optymalizacja układów elektronicznych
aproksymacja biegunów i zer
metody symboliczne
Opis:
In this work a new method of linear circuit design in frequency domain by poles (zeros) distribution optimization is presented. The method, which uses the relationship between poles and appropriate sums of circuit time-constants, does not need the poles determination explicitly. New relationships, allowing us to calculate the time-constants matrix for circuits having capacitors and inductors as reactive elements, have been derived. Thanks to this, the elements of this matrix can be counted in a uniform manner by the transimpedance method. In the first stage of the method the criterion function is generated in semi-symbolic form, while in the second stage the optimization process is performed. The optimization loop does not include circuit equations formulation and solution. Thanks to this fact the method proposed appears to be very efficient. The examples of optimal capacitors and inductors chosen in such a way as to reach the required transfer characteristics have also been included.
W artykule została przedstawiona nowa metoda projektowania elektronicznych układów liniowych w dziedzinie częstotliwości poprzez optymalizację rozkładu biegunów i zer. Metoda, w której wykorzystano związek pomiędzy biegunami (zerami) a stałymi czasowymi obwodu nie wymaga wyznaczania biegunów explicite. W pracy zostały wyprowadzone nowe zależności pozwalające na wyznaczenie macierzy stałych czasowych układu zawierającego zarówno kondensatory jak i cewki. Dzięki temu elementy tej macierzy są obliczane w jednakowy sposób metodą transimpedancyjną. W pierwszym etapie prezentowanej metody jest wyprowadzana funkcja kryterialna w postaci semisymbolicznej, podczas, gdy w etapie drugim jest przeprowadzany proces optymalizacyjny. Tak więc, pętla optymalizacji nie obejmuje formułowania równań układu i ich rozwiązywania. Dzięki czemu proponowana metoda okazała się bardzo efektywną pod względem wymaganego czasu obliczeń. Zostały załączone przykłady optymalnego doboru pojemności i indukcyjności w taki sposób, aby układy posiadały wymagane charakterystyki częstotliwościowe.
Źródło:
Zeszyty Naukowe Uczelni Jana Wyżykowskiego. Studia z Nauk Technicznych; 2016, 5; 9-26
2543-6740
Pojawia się w:
Zeszyty Naukowe Uczelni Jana Wyżykowskiego. Studia z Nauk Technicznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Conception of partial specification of logic controller deterministic state machine
Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
Autorzy:
Łabiak, G.
Powiązania:
https://bibliotekanauki.pl/articles/156340.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne
Opis:
Zagadnienie stworzenia deterministycznego opisu zachowania sterownika logicznego (bez konfliktów między tranzycjami) opisanego diagramami statecharts [2, 9] jest zagadnieniem o złożoności problemu spełnialności i jego rozwiązanie poprzez "ręczne" konstrukcje predykatów tranzycji może być dla projektanta bardzo trudne o ile w ogóle możliwe. Referat skupia się na problemie automatycznego doboru predykatów tranzycji w warunkach niepełnej specyfikacji, tak aby maszyna stanów [2, 9] (diagram statechart, rys. 3a) modelowała zachowanie w sposób deterministyczny. W proponowanej metodzie projektant podaje najistotniejsze zdarzenia warunkujące przejścia, a system CAD automatycznie rozwiązuje konflikty tranzycji niepełnej specyfikacji. Podstawową koncepcją automatycznego rozwiązywania konfliktów tranzycji jest utworzenie własnego zestawu wszystkich zmiennych dla każdej tranzycji osobno (podrozdz. 4.1). Nowo utworzone zmienne wyznaczają bazę symbolicznej przestrzeni wektorowej, w której można przestawić wszystkie możliwe predykaty (podrozdz. 4.2). W przestrzeni symbolicznej w łatwy sposób można opisać wyrażeniem logicznym zbiór wszystkich predykatów ortogonalnych oraz zbiory odpaleń wynikające z niepełnej specyfikacji (podrozdz. 4.3). Iloczyn w przestrzeni symbolicznej zbiorów predykatów ortogonalnych i zbiorów odpaleń wyznacza zbiór zestawów ortogonalnych predykatów wynikających z częściowej specyfikacji (podrozdz. 4.4). Wszystkie operacja na zbiorach wykonywane są jako logiczne przekształcenia odpowiednich funkcji charakterystycznych, które efektywnie mogą być implementowane za pomocą binarnych diagramów decyzyjnych [7].
The issue of creating a deterministic behaviour description (without conflicts between transitions) of a logic controller is an issue of computational complexity equal to a classic satisfiability problem. Its solution through by-hand transition predicates construction can be very painstaking and tedious, if possible at all. The paper focuses on automatic transition predicates construction where transition predicates are partially specified by a designer giving only the most essential information necessary to comprehend the controller behaviour. This partial specification causes that a state machine (statechart diagram) is nondeterministic (and hence cannot be technically implemented) and the CAD system task is to transform automatically this partial specification into a corresponding deterministic form.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 1, 1; 76-79
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies