Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "BDD" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Wykorzystanie pseudo-MTBDD w dekompozycji zespołu funkcji
    Decomposition of multi-output function based on pseudo-MTBDD
    Autorzy:
    Opara, A.
    Kania, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/156224.pdf
    Data publikacji:
    2008
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    binary decision diagrams (BDD)
    multi-terminal BDD (MTBDD)
    logic synthesis
    decomposition
    Opis:
    W obliczu coraz większej złożoności projektów kluczową rolę odgrywają efektywne algorytmy i struktury danych używane w procesie syntezy. W artykule przedstawiona jest koncepcja reprezentacji liści diagramów o wielu liściach (MTBDD) za pomocą diagramów BDD z wprowadzonymi dodatkowymi zmiennymi. Zabieg taki upraszcza algorytmy dekompozycji prowadzone dla odpowiednich zespołów funkcji.
    This paper presents concept of representing multi-terminal binary decision diagram (MTBDD) by BDD diagrams with added special variables. MTBDD represents a set of boolean functions and is decomposed to implement them in typical FPGA devices. Common function relation can be extracted by merging a few single functions into a group represented by MTBDD diagram. There is special approach taken to efficiently perform merging process.
    Źródło:
    Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 496-497
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analiza zastosowania narzędzia Cucumber w testowaniu aplikacji
    Study on applying the Cucumber tool in testing applications
    Autorzy:
    Herman, Illia
    Plechawska-Wójcik, Małgorzata
    Powiązania:
    https://bibliotekanauki.pl/articles/98118.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Lubelska. Instytut Informatyki
    Tematy:
    Cucumber
    Gherkin
    BDD
    Java
    Kotlin
    Opis:
    Niniejsza artykuł przedstawia analizę narzędzia do tworzenia testów automatycznych o nazwie Cucumber oraz opisuje jak dane narzędzie jest wykorzystywane w praktyce. W ramach artykułu stworzono kilka przypadków testowych, aby zweryfikować działanie obranego podejścia do testowania w programowaniu w językach Java i Kotlin, atakże został porównany czas wykonania testów w obu językachz rodziny języków obiektowych.
    The paper presents an analysis of the Cucumber automated test tool and describes how this tool is used in practice.As part of the paper, several test cases were created to fully verify the operation of the chosen approach to testing in programming in Java and Kotlin languages also the time of testing were compared in both languages from the object-oriented language family.
    Źródło:
    Journal of Computer Sciences Institute; 2019, 11; 91-95
    2544-0764
    Pojawia się w:
    Journal of Computer Sciences Institute
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wykorzystanie dwupoziomowej optymalizacji do poprawy wyników syntezy z wykorzystaniem BDD
    Enhancing logic synthesis based on two-stage BDD decomposition by using two-level optimization
    Autorzy:
    Opara, A.
    Kania, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/155115.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    binarne diagramy decyzyjne (BDD)
    synteza logiczna
    CPLD
    decomposition
    technology mapping
    logic optimization
    binary decision diagrams (BDD)
    Opis:
    W artykule przedstawiona jest koncepcja syntezy ukierunkowanej na zrównoważoną optymalizację powierzchni i prędkości działania układu. Pierwszym etapem syntezy jest dekompozycja wierszowa wykorzystująca BDD, ukierunkowana na struktury PAL. Celem dekompozycji jest minimalizacja liczby bloków logicznych struktury programowalnej. Drugi etap syntezy jest ukierunkowany na optymalizację szybkości działania układu. Istotą dwupoziomowej optymalizacji jest odpowiednie wykorzystanie trójstanowych buforów wyjściowych. Uzyskane rezultaty eksperymentów dowodzą szczególnej efektywności proponowanych rozwiązań dla struktur CPLD zbudowanych z bloków typu PAL o niewielkiej liczbie iloczynów.
    This paper presents a concept of the original method of two-stage BDD-based decomposition combined with two-level PAL-oriented optimization. The aim of the proposed approach is oriented on the balanced (speed/area) optimization. The first step of the method is original PAL-oriented decomposition. The presented non-standard decomposition provides minimization of the implemented circuit area and reduction of necessary logic blocks in the programmable structure. This decomposition consists in sequential search for an input partition providing feasibility of implementation of the free block in one PAL-based logic block, containing a predefined number of product terms. In the presented algorithms the Reduced Ordered Binary Diagrams were used as an efficient representation of logic functions. The partitioning of the variables in a partition matrix is equivalent to the cut in the ROBDD diagram representing the logic function. To efficiently approximate the number of product terms in a sum of product form, the concept of path counting was developed. The second step of the proposed logic synthesis is oriented to the speed optimization. The original two-level optimization is based on utilizing tri-state buffers. The results of experiments prove that the presented approach is especially effective for CPLD structures which consist of PAL-based logic blocks containing a low number of product terms
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 864-867
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Binarne Diagramy Decyzyjne w technologii .NET
    Binary Decision Diagrams in .NET Technology
    Autorzy:
    Łabiak, G.
    Makowski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/152908.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    BDD
    DLL
    Platform Invocation Service
    NET
    C#
    .NET
    Opis:
    W referacie przedstawiono sposób adaptacji istniejącego pakietu BDD (CUDD), napisanego w języku C/C++ dla środowiska UNIX, na platformę .NET. Opracowane przejście opiera się w głównej mierze na wykorzystaniu bibliotek DLL. Uzyskane wyniki potwierdzają dobrą jakość opracowanej transformacji, czego dowodem jest uzyskanie porównywalnego rezultatu dekompozycji funkcji boolowskiej dla funkcji znanych z literatury.
    The paper presents a method of implementation of BDD package in .NET platform, originally designed for UNIX operating system. Described transformation consists in using mainly Dynamic Link Library. Obtained results proved its usefulness, what is confirmed by the outcome for literature example of Boolean function decomposition, which turned out to be comparable.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 78-80
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie diagramów BDD w syntezie logicznej dla układów typu PAL
    Application of BDD in Logic Synthesis for PAL-based Devices
    Autorzy:
    Milik, A.
    Kania, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/155584.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    BDD
    PAL
    PLD
    synteza logiczna
    dekompozycja
    logic synthesis
    decomposition
    Opis:
    W artykule przedstawiono zastosowanie diagramów BDD w procesie syntezy dla układów typu PAL. Diagramy BDD wykorzystywane są w procesie dekompozycji funkcji w celu szybkiego wyszukania możliwych do implementacji w pojedynczej komórce PAL podukładów.
    The paper presents the BDD based method of function decomposition for PAL-based devices. A BDD diagram is successfully used for function mapping for LUT based FPGAs [3]. In opposite to LUT-based circuits PAL-based devices are limited in number of products while number of inputs to the block is large (Fig. 1). Before decomposition procedure can be applied, function variables are ordered. Decomposition procedure searches BDD tree for suitable decomposition starting from variables with the largest index (just above terminals 0 and 1). When satisfying function is found its subtree is substituted by node that belong to newly created variable (Fig. 3 a,b,c,d). Procedure is applied iteratively until root node is reached. Decomposition procedure efficiency is proofed with use of ISCAS LG89 benchmarks. Obtained implementation results are compared to classical approach in Tab. 1.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 118-120
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Decomposition of multi-output functions oriented to configurability of logic blocks
    Autorzy:
    Kubica, M.
    Kania, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/201673.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    BDD
    decomposition
    logic synthesis
    technology mapping
    rozkład
    Synteza logiczna
    Mapowanie technologii
    Opis:
    The main goal of the paper is to present a logic synthesis strategy dedicated to an LUT-based FPGA. New elements of the proposed synthesis strategy include: an original method of function decomposition, non-disjoint decomposition, and technology mapping dedicated to configurability of logic blocks. The aim of all of the proposed synthesis approaches is the sharing of appropriately configured logic blocks. Innovation of the methods is based on the way of searching decomposition, which relies on multiple cutting of an MTBDD diagram describing a multi-output function. The essence of the proposed algorithms rests on the method of unicoding dedicated to sharing resources, searching non-disjoint decomposition on the basis of the partition of root tables, and choosing the levels of diagram cutting that will guarantee the best mapping to complex logic blocks. The methods mentioned above were implemented in the MultiDec tool. The efficiency of the analyzed methods was experimentally confirmed by comparing the synthesis results with both academic and commercial tools.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2017, 65, 3; 317-331
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Decomposition-based logic synthesis for PAL-based CPLDs
    Autorzy:
    Opara, A.
    Kania, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/907756.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    rozkład
    odwzorowanie technologiczne
    optymalizacja logiczna
    BDD
    CPLD
    decomposition
    technology mapping
    logic optimization
    Opis:
    The paper presents one concept of decomposition methods dedicated to PAL-based CPLDs. The proposed approach is an alternative to the classical one, which is based on two-level minimization of separate single-output functions. The key idea of the algorithm is to search for free blocks that could be implemented in PAL-based logic blocks containing a limited number of product terms. In order to better exploit the number of product terms, two-stage decomposition and BDD-based decomposition are to be used. In BDD-based decomposition methods, functions are represented by Reduced Ordered Binary Decision Diagrams (ROBDD)). The results of experiments prove that the proposed solution is more effective, in terms of the usage of programmable device resources, compared with the classical ones.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2010, 20, 2; 367-384
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Obraz ciała i jego zaburzenia. Aspekty teoretyczne w kontekście wybranych jednostek psychopatologicznych
    Body image and body image disorders. Theoretical approach towards psychopathological features
    Autorzy:
    Nitsch, Katarzyna
    Prajs, Elżbieta
    Kurpisz, Jacek
    Tyburski, Ernest
    Powiązania:
    https://bibliotekanauki.pl/articles/943321.pdf
    Data publikacji:
    2012
    Wydawca:
    Medical Communications
    Tematy:
    autodestructive behaviours
    bodily self
    body dysmorphic disorder (BDD)
    body image
    dissociation
    eating disorders
    obesity
    ja cielesne
    dysmorficzne zaburzenia ciała (bdd)
    dysocjacja
    obraz ciała
    otyłość
    zaburzenia odżywiania się
    zachowania autodestrukcyjne
    Opis:
    The article presents a review of the literature about body image disorders in selected mental disorders, i.e. eating disorders, obesity, autodestructive behaviours and body dysmorphic disorder. The author defines the term of the body image, as referred to the terms: body schema and bodily self. She emphasizes the correlation between early childhood traumas and development of cognitive and emotional deformations related to the body, referring also to possibilities and limitations of therapeutic work. The first part introduces the way the body image present in literature is perceived, along with theoretical considerations on its nature, components and disorders resulting from its disturbances. Then she proc eeds to describe the characteristics and types of the body image deformities in eating disorders and obesity, emphasizing the conclusion drawn from the research, about the correlation between the body image distortion and the self-image distortion. Further on, the term bodily self is discussed, which highlights the significance of specific developmental disturbances for integration and arrangement of body-related experiences. The author emphasizes the contribution of early childhood traumas to the development of one’s pathological attitude to the body, including autodestructive behaviours. Another discussed subject is dissociative defence disorder underlying the states of bodily alienation and perhaps also autodestruction (as observed in eating disorders and borderline personality). The last part presents characteristics of body dysmorphic disorder, its clinical aspects and consequences. With the final conclusion the author closes her considerations about the correlation between the body image disorders and structural aspects of personality which are subjected to psychotherapy.
    Artykuł stanowi przegląd literatury na temat problemu zaburzeń obrazu ciała w wybranych zaburzeniach psychicznych: zaburzeniach odżywiania się, otyłości, zachowaniach autodestrukcyjnych oraz dysmorficznych zaburzeniach ciała. Autorzy definiują pojęcie obrazu ciała, uściślając jego ramy wobec pojęć schemat ciała i Ja cielesne. Podkreślają związek między urazami wczesnodziecięcymi i powstaniem zniekształceń poznawczych i emocjonalnych wobec ciała, odwołując się także do możliwości i ograniczeń pracy terapeutycznej. W pierwszej części przybliżają obecny w literaturze sposób pojmowania obrazu ciała, teoretyczne rozważania na temat jego natury, komponentów i zaburzeń wynikających z jego zakłóceń. Następnie opisują właściwości i rodzaje zaburzeń obrazu ciała w zaburzeniach odżywiania się i otyłości, uwypuklając wyłaniający się z badań wniosek o związku między zniekształceniem obrazu ciała i zniekształceniem obrazu Ja. W dalszej części zostaje omówiony konstrukt Ja cielesne, który służy wyjaśnieniu znaczenia specyficznych zakłóceń rozwojowych dla integracji i organizacji doświadczeń związanych z ciałem. Autorzy podkreślają znaczenie urazów wczesnodziecięcych dla kształtowania się patologicznego stosunku jednostki wobec ciała, między innymi zachowań autodestrukcyjnych. Następnie analizują zagadnienie mechanizmu obronnego dysocjacji, leżącego u podłoża stanów cielesnego wyobcowania i być może także autodestrukcji (tak jak obserwuje się to zjawisko w zaburzeniach odżywiania się, w osobowości borderline). Ostatnią część stanowi charakterystyka dysmorficznego zaburzenia ciała, jego aspektów klinicznych i konsekwencji. Wnioskiem końcowym autorzy zamykają rozważania na temat związku zaburzeń obrazu ciała ze strukturalnymi aspektami osobowości, będącymi przedmiotem psychoterapii.
    Źródło:
    Psychiatria i Psychologia Kliniczna; 2012, 12, 3; 176-182
    1644-6313
    2451-0645
    Pojawia się w:
    Psychiatria i Psychologia Kliniczna
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria
    Autorzy:
    Góngora, P. A
    Rosenblueth, D. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/329934.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    shortest path
    Bellman–Ford algorithm
    Nash equilibrium
    BDD
    model checking
    najkrótsza ścieżka
    równowaga Nasha
    sprawdzanie modelu
    Opis:
    Consider games where players wish to minimize the cost to reach some state. A subgame-perfect Nash equilibrium can be regarded as a collection of optimal paths on such games. Similarly, the well-known state-labeling algorithm used in model checking can be viewed as computing optimal paths on a Kripke structure, where each path has a minimum number of transitions. We exploit these similarities in a common generalization of extensive games and Kripke structures that we name “graph games”. By extending the Bellman–Ford algorithm for computing shortest paths, we obtain a model-checking algorithm for graph games with respect to formulas in an appropriate logic. Hence, when given a certain formula, our model-checking algorithm computes the subgame-perfect Nash equilibrium (as opposed to simply determining whether or not a given collection of paths is a Nash equilibrium). Next, we develop a symbolic version of our model checker allowing us to handle larger graph games. We illustrate our formalism on the critical-path method as well as games with perfect information. Finally, we report on the execution time of benchmarks of an implementation of our algorithms.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2015, 25, 3; 577-596
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Synteza wielowyjściowych układów logicznych prowadząca do wykorzystania wspólnych bloków logicznych
    Multi-output logic devices synthesis utilizing common logic blocks
    Autorzy:
    Opara, A.
    Kania, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/155719.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    dekompozycja
    wielokorzeniowe binarne diagramy decyzyjne (BDD)
    synteza programowalnych układów logicznych
    decomposition
    shared binary decision diagrams (SBDD)
    programmable logic devices synthesis
    Opis:
    W artykule przedstawiona jest koncepcja wykorzystania wielokorzeniowych binarnych diagramów decyzyjnych (SBDD) oraz diagramów o wielu liściach (MTBDD) podczas dekompozycji funkcji logicznych. Funkcje te są poddawane dekompozycji, by można je było zaimplementować w typowych strukturach FPGA. W prezentowanym rozwiązaniu operowanie na wielu funkcjach pozwala na współdzielenie bloków związanych w dekompozycji Ashenhursta, a tym samym wymaga mniejszej ilości zasobów struktury programowalnej. Powyższa koncepcja została przedstawiona na przykładzie dekompozycji układu rd84.pla.
    This paper presents concept of using multi-root (shared) and multi-terminal binary decision diagrams (SBDD and MTBDD) to represent a set of boolean functions. These functions are decomposed to implement them in typical FPGA devices. Most of algorithms based on BDD operates on single function, so many common relations can not be extracted. In presented approach operating on many functions gains better utilization of programmable device's resources. As an example it is shown decomposition of rd84.pla circuit. With best author's knowledge there's no better results for this circuit published in literature.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 39-41
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      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