Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: systemy zamknięte

Sortuj według:

Ogranicz wyniki do:

Σ-genomorphism of algebraic structures

100%

Emanovský P.

Demonstratio Mathematica

2003

tom Vol. 36, nr 4

785--792

For an algebraic structure A = (A, F, R) of type τ and a set Σ of open formulas of the first order language L(τ), the concept of Σ-closed subset of A was introduced in [3]. The set C Σ(A) of all Σ-closed subsets of A forms a complete lattice whose properties were studied in [3], [4] and [5]. Algebraic structures A, B of type τ are called CΣ-isomorphic (or Σ-isomorphic in [3]) if the lattices CΣ(A) and CΣ(B) are isomorphic. The CΣ-isomorphisms are investigated for so-called Σ-separable algebraic structures in [3]. The study of the Σ-isomorphisms of algebraic structures is continued in this paper. We introduce the concepts of Σ-genomorphism and Σ-isogenomorphism of algebraic structures and we formulate a sufficient condition under which two structures are isomorphic. We show that for Σ-separable structures the condition is also necessary. Further, we introduce the concepts of Σ-morphism, congruential E -morphism and congruence induced by a congruential Σ-morphism. We also prove Theorem on Σ-genomorphism and Theorem on Σ-morphism.

Kreator scenariuszy testowych do walidacji reaktywnych systemów zamkniętych

84%

Sapiecha K. , Strug J. , Maksym P.

Czasopismo Techniczne. Informatyka

2007

tom R. 104, z. 1-I

45-61

Podstawową techniką walidacji w przypadku reaktywnych systemów zamkniętych jest symulacja. Wyznaczenie odpowiedniego zbioru scenariuszy testowych, pozwalających na sprawdzenie poprawności funkcjonalnej i czasowej projektowanego systemu, jest zadaniem trudnym i bardzo pracochłonnym. Zatem duże znaczenie praktyczne ma automatyzacja tego procesu. W niniejszym artykule przedstawiono prototypowe narzędzie implementujące oryginalną metodę generacji scenariuszy testowych dla reaktywnych systemów zamkniętych oraz wyniki eksperymentów przeprowadzonych z jego zastosowaniem.

Simulation is the key validation technique for reactive embedded systems. Generation of a suitable set of test scenarios for checking functional and temporal correctness of a system is a difficult task. Computer-aided test scenarios generation has thus a practical meaning. This paper presents a tool implementing a method of test scenarios generation for reactive embedded systems and the results of experiments carried out with the help of this tool.