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: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Algorytmy dla problemów sekwencjonowania przez hybrydyzację opartych o nieklasyczne chipy DNA

100%

Radom M. , Formanowicz P.

tom R. 86, nr 9

97-100

W niniejszym artykule przedstawione zostaną algorytmy dla problemów sekwencjonowania przez hybrydyzację opartych o dwa nieklasyczne chipy DNA. Opisane zostaną zasady kontrukcji rozpatrywanych chipów oraz sposób działania algorytmów rozwiązujących problem SBH z ich pomocą. Przedstawione zostaną także wyniki eksperymentów obliczeniowych, w których testowane będą omawiane algorytmy oraz algorytm klasyczny.

In this paper algorithms for sequencing by hybridization problems based on two non-classical DNA chips are presented. The idea of these chips is briefly described and the algorithms are presented and analyzed in detail. Also the results of an extensive experiment are showed and commented.

Some aspects of modeling and analysis of complex biological systems using time Petri nets

80%

Olszak J. , Radom M. , Formanowicz P.

tom Vol. 66, nr 1

67--78

Models of complex biological systems can be built using different types of Petri nets. Qualitative nets, for example, can be successfully used to obtain a model of such a system and on its basis a structure-based analysis can be performed. Time is an important factor influencing a whole biological system behaviour and in many cases it should be considered during building a model of such a system. In this paper various types of time Petri nets have been described and methods for studying corresponding models have been discussed. In particular, an algorithm using time parameters to enhance t-invariants based analysis is proposed. This algorithm allows for calculation of the minimal and maximal numbers of tokens (respectively, for an optimistic and pessimistic case) in particular places necessary to assure that all transitions from a given t-invariant support will be able to fire. Additionally, to address the problem of the proper assignment of time values to transitions, the known methods for calculation and evaluation of such time parameters based on the net structure have also been discussed.

Problemy dotyczące zabezpieczeń różnicowych transformatorów potrzeb ogólnych i potrzeb własnych przy przełączeniach wolnych automatyki SZR/PPZ

71%

Kulecki P. , Dimitriu P. , Fulczyk K. , Malicki P. , Radom M.

tom R. 82, nr 9

60--64

Przedstawiono problematykę nieprawidłowych działań zabezpieczeń różnicowych transformatorów potrzeb ogólnych i własnych przy przełączeniach wolnych automatyki SZR/PPZ.

The paper presents issues of malfunctions of differential protection of auxiliary and common transformer during slow ATS/PTS switching.

Some aspects of modeling and analysis of complex biological systems using time Petri nets

60%

Olszak J. , Radom M. , Formanowicz P.