Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "pokrycie" wg kryterium: Wszystkie pola


Wyświetlanie 1-5 z 5
Tytuł:
Generator par testowych dla uszkodzeń opóźnieniowych
Test Pattern Generator for Delay Faults
Autorzy:
Rudnicki, T.
Powiązania:
https://bibliotekanauki.pl/articles/155669.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
MISR
pary testowe
pokrycie uszkodzeń
CUT
test pairs
Cover of Delay Faults
ROM
Opis:
Rejestr MISR pobudzany słowami odczytywanymi z pamięci ROM jest jednym z ostatnio oferowanych rozwiązań problemu generacji par testowych dla uszkodzeń opóźnieniowych. W niniejszej pracy przedstawiono koncepcję zmniejszania liczby słów programujących oraz takiej modyfikacji grafu pracy ww. generatora par testowych, która pozwala na uzyskanie akceptowalnego czasu testowania przy stosunkowo wysokim współczynniku pokrycia uszkodzeń opóźnieniowych. W pracy przedstawiono rezultaty eksperymentów, w których wygenerowano opracowaną metodą pary testów dla benchmarków ISCAS'89.
One of the recently proposed solutions to the problem generation of test pairs' patterns to target delay faults is a Multiple Input Signature Register (MISR). The paper proposes a method to minimize control words and to modify the operation diagram of the Test Pattern Generator (TPG) aiming at achieving acceptable test times while ensuring a very high coverage of delay faults. Experimental results are presented, in which the method of test pairs for benchmarks of the ISCAS'89 has been employed. These results confirm a high effectiveness of this method compared to other solutions.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 95-97
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A system for simulation of DNA coverage in shotgun sequencing processes
System dla symulacji pokrycia DNA w procesach sekwencjonowania typu shotgun
Autorzy:
Garbulowski, M.
Polański, A.
Powiązania:
https://bibliotekanauki.pl/articles/151357.pdf
Data publikacji:
2014
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sequencing
statistic
DNA coverage
sekwencjonowanie
statystyka
pokrycie DNA
Opis:
A design of a computational environment for simulation and statistical analysis of shotgun DNA sequencing process is presented. The approach involves developing simulation procedures on the basis of the Lander-Waterman theory. The explored aspects concern numbers of gaps and contigs. Simulations allow drawing certain conclusions: the created model is very similar to the Lander-Waterman theory, simulations of k-mers maps by the Poisson process allows estimating statistics of contigs number.
W artykule zawarte są informacje dotyczące statystycznej analizy metody sekwencjonowania typu „Shotgun”. Projekt zakładał stworzenie środowiska obliczeniowego oraz modelu matematycznego, który jak najdokładniej odzwierciedla proces sekwencjonowania metodą „Shotgun”, wykorzystując przy tym losowe powstawanie krótkich sekwencji nukleotydowych, tak zwanych read’ów, a co za tym idzie również losowe formowanie się contig’ów – w pełni odtworzonych odcinków sekwencji. Stworzony model dzielił sekwencję zasad na zadaną ilość read’ów o stałej długości którą następnie odtwarzał poprzez porównanie końca poprzedniego i początku kolejnego read’a, sprawdzając tym samym ile fragmentów zostaje w pełni złożonych w contig’i. Jako własności statystyczne metody można rozumieć wzory Landera-Watermana przewidujące ilość powstawania contig’ów, które biorą pod uwagę całkowitą ilość read’ów, długość read’ów oraz całą długość sekwencji wejściowej. Wartości uzyskane metodą Landera-Watermana oraz uzyskane za pomocą modelu przedstawiono w postaci wykresu zależności ilości powstających contig’ów do parametru ścieżki pokrycia. Dodatkowo pod względem statystycznym wykreślono histogramy przedstawiające częstość występowania zasad w danym miejscu stworzone w oparciu o model oraz wykreślono na wykresie zakres wyników dla ilości powstających contig’ów wyliczony jako maksima i minima dla wielu losowych prób i przedstawione jako zależność od ścieżki pokrycia.
Źródło:
Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 376-377
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza pokrycia powierzchni terenu przez działanie robota mobilnego w otoczeniu przeszkód ruchomych
The analysis of the field coverage by mobile robot in environment with moving obstacles
Autorzy:
Dąbkowski, M.
Grono, A. J.
Powiązania:
https://bibliotekanauki.pl/articles/153973.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
robotyka mobilna
robotyka behawioralna
pokrycie powierzchni
mobile robotics
behaviour based robotics
field coverage problem
Opis:
W artykule została opisana metodyka rozwiązania problemu całkowitego pokrycia nieznanej powierzchni przez autonomicznego robota mobilnego podczas jednoczesnego unikania kolizji z przeszkodami ruchomymi. Przedstawiono sformułowanie oraz dokonano szczegółowej analizy obu problemów, ze zwróceniem szczególnej uwagi na występujące ograniczenia. Zaprezentowano behawioralne podejście do sterowania robotem mobilnym wzorowane na reakcjach istot żywych, które posłużyło rozwiązaniu postawionych zadań. Opisano pokrótce zdefiniowane zachowania, a także przedstawiono wyniki symulacji dla wybranych scenariuszy kolizyjnych wraz z płynącymi z nich wnioskami.
In this paper the methodology of solving the complete field coverage problem by autonomous mobile robot during simultaneous avoiding moving obstacles was described. Formulations of both problems were shown separately and their analysises were made in details. Constraints of both tasks were took into concideration particularly. The behaviour based approach to mobile robot control which imitate the living animal actions was presented. This approach was used to solve formulated problems. Defined behaviours were shortly described. Simulation results were shown for choosen collision scenarios. Conclusions were made.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 4, 4; 4-8
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie transwersali hipergrafów w minimalizacji pojemności pamięci systemów dyskretnych
Application of hypergraph transversals to memory size minimisation
Autorzy:
Wiśniewska, M.
Wiśniewski, R.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/154751.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hipergraf
transwersala (pokrycie wierzchołkowe hipergrafu)
klasa kompatybilności
mikrooperacja
mikroinstrukcja
minimalizacja pojemności pamięci
hypergraph
hypergraph transversal
compatibility class
microoperation
microinstruction
memory size minimization
Opis:
Algorytm redukcji pojemności pamięci systemów dyskretnych bazuje na wyznaczeniu i selekcji klas kompatybilności poszczególnych mikrooperacji. Proces selekcji klas kompatybilności jest zaliczany do problemów z klasy NP-trudnych. W artykule zaprezentowano metodę selekcji klas kompatybilności opierającą się o wyznaczenie transwersali hipergrafów. Proponowane rozwiązanie zostało gruntownie przeanalizowane oraz porównane z metodami tradycyjnymi, bazującymi na przekształceniach macierzowych.
The problem of memory size minimisation is a very important part of the design process of a discrete system. Very often the volume of the prototyped memory exceeds the size of memory blocks offered by programmable devices (like FPGAs or CPLDs). One of the most popular solution to this problem is memory size minimisation. The reduction of the memory is achieved thanks to selection of the compatibility classes of the microoperations. Such a problem is NP-hard, therefore many various algorithms have been developed. Most of them are based on the graph and matrix theories. In the paper there is proposed a method for memory size reduction in which the hypergraph theory is applied. A hypergraph permits to store and reduce information about the compatibility classes in comparison with the traditional graphs. The memory size minimisation is reached thanks to the computation of its transversal (vertices cover). Any known transversal algorithm can be used in order to calculate the selection of compatibility classes. Four different covering methods of hypergraphs are presented and compared. All steps that are required in order to perform the microinstruction length reduction of discrete systems are shown. The proposed method is compared with the traditional solution. Finally, the detailed results of experiments are presented and discussed.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 777-779
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Selekcja klas kompatybilności z zastosowaniem teorii hipergrafów
Application of the hypergraph theory to selection of compatibility classes
Autorzy:
Wiśniewska, M.
Adamski, M.
Wiśniewski, M.
Powiązania:
https://bibliotekanauki.pl/articles/152400.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
hipergraf
selekcja klas kompatybilności
transwersale (pokrycie wierzchołkowe) hipergrafu
mikrooperacja
redukcja pojemności pamięci
hypergraph
selection of compatibility classes
transversals (hitting set), microoperation
memory size reduction
Opis:
Redukcja pojemności pamięci jest istotnym etapem w procesie projektowania systemów dyskretnych. Często pojemność prototypowanej pamięci przekracza rozmiar docelowego bloku pamięci (np. w układach programowalnych FPGA). Najczęściej stosowanym rozwiązaniem jest redukcja rozmiaru mikroinstrukcji w projektowanym systemie. Algorytm bazuje na wyznaczeniu, a następnie selekcji klas kompatybilności poszczególnych mikrooperacji. W artykule zaprezentowane zostaną 2 autorskie algorytmy selekcji klas kompatybilności. Metody opierają się o wykorzystanie teorii hipergrafów (zastosowanie pokrycia wierzchołkowego). Proponowane rozwiązania zostaną gruntownie przeanalizowane oraz porównane z metodą tradycyjną, bazują na przekształceniach macierzowych.
The problem of memory size reduction is a very important part of design process of discrete systems. The prototyped memory size very often exceeds the size of memory blocks offered by programmable devices (in example FPGAs). One of the most popular solutions to this problem is memory size reduction. The reduction process is based on selection of the compatibility classes of microoperations. Three methods of selection of compatibility classes are presented in the paper. The first one is a well-known method of selection, to which the fast reduction algorithm is applied. The algorithm bases on the matrix operations, which can also be represented as reduction of the hypergraph incidence matrix. In each step some vertices and edges are reduced. The reduced matrix holds the final result. The two other solutions introduced in the paper are based on the idea of computation of the minimal transversal (vertices covering) of hypergraphs. Proper microop-erations are represented by the hypergraph vertices, while compatibility classes are described by the hyperedges. Therefore, any method of hypergraph transversal calculation can be applied to achieve the selection. In the paper the authors propose and analyse the effectiveness of backtracking and greedy algorithms. The proposed solutions are compared with the traditional method, which is based on transformation of the hypergraph incidence matrix. The obtained results of experiments are analysed and discussed in detail.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 675-678
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-5 z 5

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies