Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: algorytmy niedeterministyczne

Sortuj według:

Ogranicz wyniki do:

Effectiveness of non-evolutionary non-deterministic optimization methods in design of electrical machines

Dąbrowski M., Rudeński A.

Archives of Electrical Engineering

2009

Vol. 58, nr 1-2

31-42

Application possibilities of three non-deterministic algorithms for induction motors optimization have been tested. These are the following algorithms investigated: the swarm optimization algorithm (PSO - Particle Swarm Optimization); the algorithm based on the social behavior of human societies grouped in the civilization (SBBOA - Social Behavior Based Optimization Algorithm), and the immune algorithm (CSA - Clonal Selection Algorithm). The mentioned algorithms, which are similar to the evolution methods, operate on sets (populations) of solutions, but without the use of direct mechanisms of the natural selection and succession. For this reason they are named the non-evolutionary methods. Calculation results of two 3-phase induction motors with double-cage rotor are presented in this paper. The computational experiment shows usefulness of the immune algorithm for the induction motors optimization and rather a non-usefulness for these purposes of the algorithm based on the social behavior.

W pracy rozpatrzono możliwości zastosowania trzech niedeterministycznych algorytmów w optymalizacji maszyn elektrycznych. Zbadano algorytmy optymalizacji: rojowej; bazującej na zachowaniach społeczeństw tworzących cywilizację; immunologiczny. W tych algorytmach, podobnie jak w metodach ewolucyjnych, operuje się na zbiorach (populacjach) rozwiązań, jednak nie wykorzystując bezpośrednio mechanizmów doboru naturalnego oraz dziedziczenia. Eksperymenty obliczeniowe wykonane na przykładzie optymalizacji trójfazowych silników indukcyjnych dwu klatkowych wykazały m.in. dużą przydatność algorytmu immunologicznego oraz nieprzydatność algorytmu opartego na zachowaniach społeczeństw. Natomiasl algorytm optymalizacji rojowej jest wprawdzie skuteczny, ale prowadzi do gorszych wyników niż algorytm ewolucyjny oraz strategia ewolucyjna (μ + λ)-ES.

Weryfikacja temporalnych własności algorytmów niedeterministycznych

Kacprzak M.

Zeszyty Naukowe Politechniki Białostockiej. Matematyka, Fizyka, Chemia

2001

Z. 20

37--53

W pracy zaprezentowany został system dowodowy dla logiki temporalnej czasu rozgałęzionego, nazwany Temporalną Logiką Procesów. Pozwala on na badanie statycznych i dynamicznych własności programów wyrażonych jako formuły temporalne rozważanego języka. Udowodniono mocne twierdzenie o pełności dla przedstawionego systemu formalnego.

This paper provides one of the versions of prepositional, branching time temporal logic, called Process Temporal Logic. It allows to verify static and dynamic properties of programs, which are expressed as temporal formulas. PTL system is presented with the infinitary axiomatic system and the proof of the completeness theorem. The majority of temporal logics treats a program as a separate object and not as a language element. The system shown in this article is different. Program is a part of expression which describes its quality just as in dynamic and algorithmic logic.