Wyniki wyszukiwania - BazTech

1

Algorithm of Translation of MSC-specified System into Petri Net

Kryvyy S., Matvyeyeva L.

Fundamenta Informaticae

|

2007

|

Vol. 79, nr 3-4

431-445

EN

We present in this paper the algorithm which performs the translation of MSC'2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justified. Here we supplement the MSC'2000 standard with the formal definition of the MSC < condition > element by means of process algebra. This translation algorithm is the part of the automated verification system which formally specifies and verifies a designed software or hardware system specified in the MSC language and is presented in [1] and [2].

2

Algorithms for searching the basis solution of systems of linear homogenous diophantine equations

Grzywacz W., Kryvyy S.

Computing, Multimedia and Intelligent Techniques

|

2007

|

Vol. 3, nr 1

20-32

EN

Algorithms of solving systems of linear constraints over the set of natural numbers are applied in various sciences and spheres. Among them we should highlight Petri Nets [2], logic deduction in the first order predicate calculus with use of associative-commutative unification, computer algebra [6] etc. The special case of system of linear Diophantine constraints is system of homogenous linear Diorhantine equations (SHLDE), where solutions are searched over the set of naturals or the set {0,1}. In this work the algorithms for solving SHLDE over the set of naturals will be presented.

3

Automatic Modeling and Analysis of MSC-specified Systems

Kryvyy S., Matvyeyeva L., Lopatina M.

Fundamenta Informaticae

|

2005

|

Vol. 67, nr 1-3

107--120

EN

Formal Methods are a set of methods and tools based on mathematical modeling and formal logic that are used to specify and verify requirements and architecture of hardware or software systems. They can also include means of automatic proving of key properties of designed software or hardware systems. In this paper automatic system is presented which specifies formally and verify designed software or hardware system specified in MSC language. Automatic system is represented as technological process that applies the formal modeling technique of Petri nets and is based on linear algebra methods of analysis, namely, solving the systems of linear equations over the set of natural numbers, in order to research the properties of a system under design. The system is first modeled as a Petri net, and then this model is analyzed. The understanding of the system which results from the analysis will lead to a hopefully errorless system.

4

Zastosowanie algorytmów Markowa i algebr uniwersalnych do projektowania systemów obliczeń symbolicznych

Kryvyy S., Wyrzykowski R., Kopta P.

Zeszyty Naukowe Politechniki Rzeszowskiej. Informatyka

|

2003

|

z. 2 [206]

57-72

PL

Systemy obliczeń symbolicznych odgrywają ważną rolę w informatyce. Wykorzystuje się je w różnych dziedzinach, takich jak: zbiory, algebra i geometria komputerowa, grafy, metody numeryczne, translatory itd. W artykule zaproponowano podejście do budowy takich systemów na podstawie algorytmicznego systemu Markowa i systemu algebraicznego struktur listowych. Za pomocą takiego systemu można wykonywać przetwarzanie różnych obiektów: zbiorów, algebr, grafów, logik, języków programowania itd. Do realizacji tych zadań wykorzystuje się systemy algebraiczne struktur listowych, które są dynamicznymi strukturami danych i najbardziej nadają się do takich obliczeń.

EN

Symbolic computation systems play a major role in computer information science. They are being explored in several fields such as: collections of class, in computer algebra and geometry, graphs, numerical methods, translators, etc. In the article we suggest the way to build such systems based on Markow algorithmic system and systems of algorithmic linear structures. Thanks to such systems it is possible to translate different objects such as: collections, algebras, graphs, logical programming languages etc. In order to realize these assignments we are utilizing algebraic systems of linear structure which are dynamic data structures and which are most practical resolutions.

5

O rozwiązaniach i niektórych zastosowaniach liniowych ograniczeń w zbiorze {0, 1}

Kryvyy S., Grzywacz W., Łopatina M. W.

Zeszyty Naukowe Politechniki Rzeszowskiej. Informatyka

|

2003

|

z. 2 [206]

43-55

PL

Liniowe ograniczenia odgrywają ważną rolę w wiciu dziedzinach współczesnej nauki obliczeniowej dzięki temu. że wiele problemów z tych dziedzin redukuje się do rozwiązania tych liniowych ograniczeń lub sprawdzenia spełnialności w zbiorze liczb całkowitych lub naturalnych. Takie ograniczenia i systemy ograniczeń nazywamy diofantycznymi. Szczególnym przykładem systemów liniowych ograniczeń diofantycznych są systemy jednorodnych, liniowych równań w zbiorze {0, 1}. Oznacza to, że współczynniki tych układów równań są liczbami ze zbioru {-1, 0,1} a rozwiązania szuka się w zbiorze {0, 1}. W artykule zostaną, zaproponowane metody rozwiązań zarówno w przypadku jednego równania, jak i układu równań.

EN

Linear constraints play great role in computer science. because very many problems are reduced to solutions of such systems of contraints over set of natural numbers or over set {0, 1}. These constraints are called the Diophantine linear consiraints. In this paper are consider some methods of solutions and some applications of solution algorithms.