Wyniki wyszukiwania - BazTech

1

Weryfikacja i synteza programów dla reprogramowalnych sterowników logicznych z wykorzystaniem funkcji monotonicznych i diagramów BDD

Miczulski P.

Pomiary Automatyka Kontrola

|

2006

|

R. 52, nr 7 bis

112--114

PL

Artykuł jest podsumowaniem prac badawczych autora w zakresie poszukiwania efektywnych metod projektowania reprogramowalnych sterowników cyfrowych. Opisana metoda weryfikacji behawioralnej i syntezy funkcjonalnej, programów sterowania binarnego, bazuje na autorskiej koncepcji reprezentacji przestrzeni stanów, za pomocą funkcji monotonicznych i hierarchicznych diagramów decyzyjnych. Metoda weryfikacji behawioralnej pozwala na analizę właściwości sieci Petriego, w celu wykrycia wadliwych konstrukcji układu. Wynikiem syntezy funkcjonalnej są równania logiczne opisujące zachowanie układu i dekompozycja współbieżnych algorytmów sterowania binarnego na algorytmy sekwencyjne.

EN

The results of research for the effective methods of designing of reprogrammable logical controllers were presented. The described method of behavioural verification and functional synthesis of binary control programs is based of author's idea of state space representation. The state space is represented by means of monotone logical functions and hierarchical binary decision diagrams. The method of behavioural verification allows, during the analysis of Petri net properties, to find out the incorrect part of a controller specification. As the result of the functional synthesis logical equations are obtained. They define a control behaviour and a decomposition of the concurrent algorithms into sequential algorithms.

2

On bounded solutions of second order systems

Herzog G.

Demonstratio Mathematica

|

2006

|

Vol. 39, nr 4

793-801

EN

We prove existence and uniqueness of bounded solutions of u"+f(t, u) = 0, u(0) = x on [0,infinity) under quasimonotonicity and one-sided Lipschitz conditions on f.

3

A note on measures on time scales

Rzeżuchowski T.

Demonstratio Mathematica

|

2005

|

Vol. 38, nr 1

79--84

EN

A connection between the measures used on time scales and usual Lebesgue measure is established and applied to simple justifications of some recently published results on Vitali covering theorem and (delta)-differentiability of monotone functions defined on time scales.

4

On universal elements for some families of functions

Grande Z., Strońska E.

Demonstratio Mathematica

|

2004

|

Vol. 37, nr 3

679--688

EN

A point x C X is called universal element for a family phi of functions from X to y if the set {f(x)\f 6 phi} is dense in Y. In this article we show that every residual G- set in a completely regular space X (every residual set in R ) is the set of all universal elements for some family of continuous functions from X to R (for some family of quasicontinuous functions from Rk to R). Moreover we investigate the sets of all universal elements for some families of monotone functions and for some families of functions having the property of Denjoy-Clarkson.