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ę "combinatorial logic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Synteza układów kombinacyjnych na jednym uniwersalnym układzie PAL z wykorzystaniem montażowego łączenia wyjść
    Synthesis of combinatorial logic on single PAL device using wired-or method of PAL outputs joining
    Autorzy:
    Solov'ev, V.
    Klimowicz, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/341115.pdf
    Data publikacji:
    2002
    Wydawca:
    Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
    Tematy:
    synteza logiczna
    układy kombinacyjne
    logic synthesis
    combinatorial logic
    Opis:
    W artykule został opisany algorytm syntezy układów kombinacyjnych z łączeniem montażowym wyjść, dopuszczający użycie tylko jednego uniwersalnego układu PAL, a także jego modyfikacje pozwalające zastosować ten algorytm do syntezy na jednym "klasycznym" układzie PAL oraz do syntezy na jednym bloku funkcjonalnym złożonego układu programowalnego. Algorytm wykorzystuje właściwości architektury współczesnych uniwersalnych układów PAL, takie jak różna liczba linii iloczynów podłączona do jednej makrokomórki i możliwość wyboru polaryzacji sygnału wyjściowego. Określono też warunki realizacji systemu funkcji boolowskich przy pomocy tego algorytmu. Wyniki działania algorytmu porównano z innymi znanymi metodami oraz z wynikami uzyskanymi za pomocą systemu MAX+Plus II.
    This article contains a description of an algorithm of synthesis of combinatorial logic schemes, which uses wired-OR method of joining outputs, limited to use only one universal PAL device and some modifications, which allow to use this algorithm to synthesis on single "classic" PAL device and one functional block of complex programmable device. This algorithm uses features of modern universal PAL devices, such as different number of terms connected to single macrocell and possibility of selection of output signal polarity. Conditions allowing to realize boolean function system using this algorithm are described. Work results are compared
    Źródło:
    Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2002, Z.1; 219-233
    1644-0331
    Pojawia się w:
    Zeszyty Naukowe Politechniki Białostockiej. Informatyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    La linguistique peut-elle sortir de son état pré-galiléen ?
    How can linguistics get out of its pre-Galilean state?
    Autorzy:
    Desclés, Jean-Pierre
    Powiązania:
    https://bibliotekanauki.pl/articles/31341185.pdf
    Data publikacji:
    2021-11-10
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    Operators
    Categorical grammars
    Tenses, aspects and modalities
    Mathematization of linguistic concepts
    Types of Church
    Combinatorial logic
    Opis:
    The future of linguistics implies a better definition of concepts, especially in the semantic analysis. The notion of operator plays an important role in several areas of linguistics, for instance categorical grammars and representations of the meanings of grammatical categories. The general topology makes it possible to mathematize the grammatical concepts (time, aspects, modalities, enunciative operations) by means of operators. Curry’s Combinatorial Logic is an adequate formalism for composing and transforming operators at different levels of analysis that connect the semiotic expressions of languages (the observables) with their semantico-cognitive interpretations. The article refers to many studies that develop the points discussed.
    Źródło:
    Neophilologica; 2021, 33; 1-23
    0208-5550
    2353-088X
    Pojawia się w:
    Neophilologica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Declarativity in modelling and problem solving
    Autorzy:
    Niederliński, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/205883.pdf
    Data publikacji:
    2000
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    język symulacyjny
    język wysokiego poziomu
    optymalizacja kombinatoryczna
    CHIP
    CLP
    combinatorial optimisation
    constraint solving
    declarative programming
    high level language
    logic programming
    logic programming languages
    Prolog
    simulation language
    Opis:
    The paper discusses a new trend in the modelling software for combinatorial and mixed combinatorial-continuous decision problems. The trend, aiming at solving those problems by the simple activity of properly describing them, is best exemplified by a constantly inereasing spectrum of Constraint Logic Programming (CLP) languages. The first such language was Prolog. After a short historical survey concentrating mainly on Prolog, main characteristics of a modern, commercially successful CLP language - CHIP - are presented, discussed and illustrated. The CLP approach to problem solving is compared with traditional Operation Research approaches.
    Źródło:
    Control and Cybernetics; 2000, 29, 1; 325-339
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dobór optymalnej taryfy telekomunikacyjnej przy użyciu programowania w logice z ograniczeniami
    Solving the optimal telecommunication rate plan configuration problem with constrained logic programming
    Autorzy:
    Witkowski, Jakub
    Kamiński, Bogumił
    Jakuczun, Wit
    Powiązania:
    https://bibliotekanauki.pl/articles/587282.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Ekonomiczny w Katowicach
    Tematy:
    Optymalizacja doboru taryfy
    Optymalizacja kombinatoryczna
    Programowanie w logice z ograniczeniami
    Combinatorial optimization.
    Constrained logic programming
    Rate plan configuration
    Opis:
    Praca opisuje algorytm optymalizacyjny rozwiązujący w efektywny sposób problem wyboru optymalnej taryfy w telefonii komórkowej. Ze względu na bardzo dużą liczbę możliwości łączenia usług telekomunikacyjnych w taryfy rozważany problem optymalizacyjny jest złożonym nieliniowym zagadnieniem programowania kombinatorycznego. W niniejszej pracy pokazujemy, że tego typu zadanie może zostać efektywnie rozwiązane przy pomocy programowania w logice z ograniczeniami (constraint logic programming). Wykorzystanie takiego podejścia dodatkowo pozwala na stworzenie modelu, który może być łatwo modyfikowany. Zapewnia to możliwość jego łatwego wykorzystania w praktyce biznesowej, gdzie składowe taryf telekomunikacyjnych podlegają częstym zmianom.
    We present an efficient algorithm that solves the telecommunication rate plan optimization problem. It is a complex and non-linear combinatorial programming task if we take into account realistic structures of offers available for mobile telephony subscribers. In the paper we show that constrained logic programming is an efficient approach to finding an optimal solution of this problem. Additionally, application of constrained logic programming allows us to formulate the problem in a simple way that provides a low-cost maintenance of the solution in practical applications when the rate plan structure often changes.
    Źródło:
    Studia Ekonomiczne; 2015, 235; 253-265
    2083-8611
    Pojawia się w:
    Studia Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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