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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Time-Domain Synthesis of Linear Circuits With Periodically Variable Parameters
    Autorzy:
    Siwczyński, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/911223.pdf
    Data publikacji:
    2000
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    układ parametryczny
    synteza
    optymalizacja
    parametric circuits
    synthesis
    optimisation
    Opis:
    A novel synthesis method of linear electric networks with periodically variable parameters is presented. These types of networks can be implemented as resistance-parametric, (conductance-capacitance)-parametric or (resistance- inductance)- parametric multiports. The time-varying parameters are determined so as to extremize some specific optimisation criteria. Consequently, the synthesis task has a unique solution. The starting point of the solution method is the original theorem proved in the paper, which deals with the minimum-energy networks.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2000, 10, 3; 623-637
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mechanism of a motion platform inducing the movement of the operator’s seat in a heavy machine
    Autorzy:
    Tora, G.
    Trzaska, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/265478.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    symulator
    synteza
    modelowanie mechanizmu
    modeling of the mechanism
    synthesis
    simulator
    Opis:
    One of the major work safety issues involves the investigations of machine vibrations and the way they affect the machine operators. These investigations can be performed in the laboratory conditions in a setup in which the seat vibrations are induced by a motion platform. A complex mechanism is proposed implementing 3 translations and 2 rotation movements, and actuated by three electric motors. This study investigates the design structure of the real motion platform mechanism and provides the synthesis of link dimensioning. Kinematic dependencies are formulated and the Jacobian matrix is derived accordingly to solve the equations of motion. Computer simulation procedure yields the critical seat vibration frequency and amplitudes for the available asynchronous motors.
    Źródło:
    International Journal of Applied Mechanics and Engineering; 2016, 21, 4; 1007-1015
    1734-4492
    2353-9003
    Pojawia się w:
    International Journal of Applied Mechanics and Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Trace elements in solutions from zeolite synthesis
    Pierwiastki śladowe w roztworach po syntezie zeolitów
    Autorzy:
    Adamczyk, Z.
    Makosz, E.
    Nowińska, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/396725.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    zeolite
    trace elements
    synthesis
    solutions
    zeolit
    pierwiastki śladowe
    synteza
    popioły lotne
    Opis:
    The paper presents the content of selected elements in solutions formed after the synthesis of zeolitic material based on fly ash. Fly ash samples were taken from two pulverized fuel-fired boilers at the Rybnik Power Plant: one boiler fired solely with coal and one co-fired with coal and biomass. The tests conducted have shown that solutions remaining after zeolite synthesis from fly ash generated in boilers co-fired with coal and biomass had higher content of elements than those derived from fly ash generated from burning only coal. It was also found that increasing NaOH concentration of the solution used in zeolite synthesis caused increased content of the individual elements.
    W artykule przedstawiono zawartości wybranych pierwiastków w powstałych roztworach po syntezie materiału zeolitowego na bazie popiołu lotnego. Próbki popiołu lotnego pochodziły z Elektrowni Rybnik z dwóch kotłów pyłowych: opalanego czystym węglem i ze współspalania węgla z biomasą. Przeprowadzone badania wykazały, że wyższe zawartości pierwiastków występują w roztworach poreakcyjnych, powstałych po syntezie popiołów pochodzących ze współspalania węgla z biomasą, niż w roztworach po syntezie popiołów będących produktem spalania czystego węgla. Stwierdzono ponadto, że wraz ze wzrostem stężenia NaOH roztworu zastosowanego do syntezy zeolitów wzrasta ilość poszczególnych pierwiastków.
    Źródło:
    Civil and Environmental Engineering Reports; 2013, 11; 5-11
    2080-5187
    2450-8594
    Pojawia się w:
    Civil and Environmental Engineering Reports
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Parametry teksturalne analcymu powstałego przy użyciu 1M roztworu NaOH
    Textural parameters of analcime formed with 1M solution of NaOH
    Autorzy:
    Adamczyk, Z.
    Makosz, E.
    Powiązania:
    https://bibliotekanauki.pl/articles/372239.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    analcym
    parametry teksturale
    popiół lotny
    synteza
    analcime
    textural parameters
    fly ash
    synthesis
    Opis:
    W pracy przedstawiono parametry teksturalne materiału zeolitowego, powstałego w wyniku hydrotermalnej syntezy popiołu lotnego. Do zeolityzacji wykorzystano popiół lotny w ilości 200 g, zawierający kwarc, mullit, składniki nieprzezroczyste, szkliwo oraz w podrzędnej ilości hematyt i nieprzepaloną substancję organiczną, a proces syntezy prowadzono przy użyciu 1M roztworu NaOH. W produktach po syntezie zidentyfikowano analcym, jako dominujący zeolit, z domieszką innego zeolitu - kankrynitu. Parametry teksturalne otrzymanego materiału zeolitowego wskazują, że jest to materiał mezoporowaty. Porównanie parametrów teksturalnych otrzymanego materiału zeolitowego zbudowanego z analcymu z domieszkami kankrynitu z innym materiałem zeolitowym otrzymanym w wyniku podobnej syntezy, gdzie obecny był tylko jeden zeolit – analcym wskazuje, że obecność kankrynitu wpływa na te parametry, jednakże nie zmienia to typu adsorbentu ze względu na wielkość porów.
    The paper presents the textural parameters of the zeolite material, resulting from hydrothermal synthesis of fly ash. For the zeolitization fly ash was used, in an amount of 200g, containing quartz, mullite, opaque components, glaze and in the subordinate amount hematite and not burnt organic substance; the process for the synthesis was conducted using 1 M solution of NaOH. The product identified in the synthesis was analcime, as dominant zeolite, with admixture of other zeolite - kankrynite. Textural parameters of obtained zeolite material indicate that material is mesoporous. Comparison of the textural parameters of obtained zeolite material built up of analcime with admixture of kankrynite with another zeolite material obtained from a similar synthesis, where there was present only one zeolite – analcime, indicates that the presence of kankrynite affect these parameters, however it does not change the type of the adsorbent due to the size pores.
    Źródło:
    Zeszyty Naukowe. Inżynieria Środowiska / Uniwersytet Zielonogórski; 2015, 158 (38); 5-12
    1895-7323
    Pojawia się w:
    Zeszyty Naukowe. Inżynieria Środowiska / Uniwersytet Zielonogórski
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Time-variant Darlington synthesis and induced realizations
    Autorzy:
    Pik, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/908129.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    system liniowy
    synteza Darlingtona
    contractive linear systems
    Darlington synthesis
    time-variant linear systems
    Opis:
    For a block lower triangular contraction T, necessary and sufficient conditions are given in order that there exist block lower triangular contractions T1,1, T2,1 and T2,2 such that Ut= [ T1,1 T ] T2,1 T2,2 is unitary. For the case when T1,1* and T2,2 have dense ranges, all such embeddings are described. Each unitary embedding of UT induces a contractive realization of T, and various properties of this realization are characterized in terms of the unitary embedding.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2001, 11, 6; 1331-1360
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Synthesis of finite state machines for CPLDs
    Autorzy:
    Czerwiński, R.
    Kania, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/930019.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    synteza logiczna
    FSM
    kodowanie stanów
    optymalizacja logiczna
    CPLD
    logic synthesis
    state assignment
    logic optimization
    Opis:
    The paper presents a new two-step approach to FSM synthesis for PAL-based CPLDs that strives to find an optimum fit of an FSM to the structure of the CPLD. The first step, the original state assignment method, includes techniques of two-level minimization and aims at area minimization. The second step, PAL-oriented multi-level optimization, is a search for implicants that can be shared by several functions. It is based on the graph of outputs. Results of experiments prove that the presented approach is especially effective for PAL-based CPLD structures containing a low number of product terms.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2009, 19, 4; 647-659
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On distributed symbolic control of interconnected systems under persistency specifications
    Autorzy:
    Apaza-Perez, W. Alejandro
    Combastel, Christophe
    Zolghadri, Ali
    Powiązania:
    https://bibliotekanauki.pl/articles/1838152.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    symbolic controller synthesis
    distributed controller
    interconnected system
    synteza kontrolera
    rozproszony system sterowania
    system połączony
    Opis:
    This paper presents an abstraction-based technique to solve the problem of distributed controller design enforcing persistency specifications for interconnected systems. For each subsystem, controller synthesis is based on local distributed sensor information from other subsystems. An effective method is presented for quantification of such partial information in an abstraction in terms of level sets of Lyapunov-like ranking functions. The results are illustrated on a laboratory hydraulic system.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2020, 30, 4; 629-639
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Block-based physical modeling with applications in musical acoustics
    Autorzy:
    Rabenstein, R.
    Petrausch, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/907909.pdf
    Data publikacji:
    2008
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    modelowanie fizyczne
    filtr cyfrowy
    filtr elektryczny
    synteza dźwięku
    physical modeling
    wave digital filters
    sound synthesis
    Opis:
    Block-based physical modeling is a methodology for modeling physical systems with different subsystems. Each subsystem may be modeled according to a different paradigm. Connecting systems of diverse nature in the discrete-time domain requires a unified interconnection strategy. Such a strategy is provided by the well-known wave digital principle, which had been introduced initially for the design of digital filters. It serves as a starting point for the more general idea of blockbased physical modeling, where arbitrary discrete-time state space representations can communicate via wave variables. An example in musical acoustics shows the application of block-based modeling to multidimensional physical systems.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2008, 18, 3; 295-305
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optimization on the complementation procedure towards efficient implementation of the index generation function
    Autorzy:
    Borowik, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/330597.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    data reduction
    feature selection
    indiscernibility matrix
    logic synthesis
    index generation function
    redukcja danych
    selekcja cech
    synteza logiczna
    funkcja generowania indeksów
    Opis:
    In the era of big data, solutions are desired that would be capable of efficient data reduction. This paper presents a summary of research on an algorithm for complementation of a Boolean function which is fundamental for logic synthesis and data mining. Successively, the existing problems and their proposed solutions are examined, including the analysis of current implementations of the algorithm. Then, methods to speed up the computation process and efficient parallel implementation of the algorithm are shown; they include optimization of data representation, recursive decomposition, merging, and removal of redundant data. Besides the discussion of computational complexity, the paper compares the processing times of the proposed solution with those for the well-known analysis and data mining systems. Although the presented idea is focused on searching for all possible solutions, it can be restricted to finding just those of the smallest size. Both approaches are of great application potential, including proving mathematical theorems, logic synthesis, especially index generation functions, or data processing and mining such as feature selection, data discretization, rule generation, etc. The problem considered is NP-hard, and it is easy to point to examples that are not solvable within the expected amount of time. However, the solution allows the barrier of computations to be moved one step further. For example, the unique algorithm can calculate, as the only one at the moment, all minimal sets of features for few standard benchmarks. Unlike many existing methods, the algorithm additionally works with undetermined values. The result of this research is an easily extendable experimental software that is the fastest among the tested solutions and the data mining systems.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2018, 28, 4; 803-815
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    FSM encoding for BDD representations
    Autorzy:
    Gosti, W.
    Villa, T.
    Saldanha, A.
    Sangiovanni-Vincentelli, A. L.
    Powiązania:
    https://bibliotekanauki.pl/articles/911255.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    binarny diagram decyzyjny
    kodowanie
    automat skończony
    synteza logiczna
    weryfikacja formalna
    binary decision diagram
    encoding
    finite state machine
    logic synthesis
    formal verification
    logic representation
    Opis:
    We address the problem of encoding the state variables of a finite state machine such that the BDD representing the next state function and the output function has the minimum number of nodes. We present an exact algorithm to solve this problem when only the present state variables are encoded. We provide results on MCNC benchmark circuits.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2007, 17, 1; 113-128
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    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