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ę "Bocian, S." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Złożoność półgrup charakterystycznych sum prostych “AG” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmani DFASC2
    Complexity of the characteristic semi-group “AG” of the asynchronous automatons of the strongly connected determined analogs, their extensions associated with isomorpism DFASC2
    Autorzy:
    Bocian, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/309692.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    pojazd szynowy
    sterowanie pojazdem
    symulacja sterowania
    teoria automatów
    automaty asynchroniczne
    analiza graficzna
    izomorfizm
    model matematyczny
    rail vehicle
    vehicle control
    control simulation
    automata theory
    asynchronous automaton
    graphical analysis
    isomorphism
    mathematical model
    Opis:
    W artykule przedstawiono i przeprowadzono dowód na wyznaczanie złożoności półgrup charakterystycznych sum prostych “AG” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczanie złożoności półgrupy charakterystycznej pozwala na oszacowanie złożoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzania automatu AG związanego z izomorfizmami g0, g1,..., gq-1 gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywiste. Automaty te symulują prace kilku automatów za pomocą jednego automatu zmiennego w czasie. Sumę prosta automatów można uważać odpowiednio za realizację sekwencyjnych obliczeń.
    The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semi-groups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2. automata. The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homoeomorphism of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homoeomorphism for the other classes of automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphism g0, g1,..., gq-1 where is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time. The direct sum of automatons can be considered as the realization - sequence calculations accordingly.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 12; 1473-1477, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Złożoność półgrup charakterystycznych iloczynów prostych „G” automatów asynchronicznych silnie spójnych
    Complexity of characteristic semi-groups of „G” direct sums of the strongly connected asynchronous automatons
    Autorzy:
    Bocian, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/309744.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    automat
    teoria automatów
    automat asynchroniczny spójny
    iloczyn prosty
    półgrupa charakterystyczna
    automaton
    automata theory
    asynchronous automaton
    direct sum
    characteristic semi-group
    Opis:
    W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „G” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Iloczyn prosty automatów można uważać za realizację – odpowiednio równoległych obliczeń.
    The paper presents the assumption and the evidence is carried out of the direct product complexity of characteristic semi-groups of any numbers „G” of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi-group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct product of automatons can be considered as the realization – the parallel calculations accordingly.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 1322-1326, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Izomorfizm półgrupy charakterystycznej sumy prostej i iloczynu prostego „G” i AG automatów asynchronicznych silnie spójnych i ustalonych analogów ich rozszerzeń związanych z izomorfizmami DFASC2
    Isomorphism of the characteristic semi-group of the direct sum and direct product of the asynchronous automatons of the strongly connected and determined analogs of their extensions
    Autorzy:
    Bocian, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/312147.pdf
    Data publikacji:
    2018
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    automat
    półgrupa charakterystyczna
    izomorfizm
    automaton
    semigroup
    isomorphism
    Opis:
    W artykule W artykule przedstawiono, że półgrupa charakterystyczna sumy prostej i iloczynu prostego automatów "G" i "AG" asynchronicznych silnie spójnych i ustalone analogi ich rozszerzeń są izomorficzne. Wziąwszy pod uwagę iż półgrupa charakterystyczna określa zdolność do przetwarzania informacji, to sumę prosta iloczyn prosty można uważać za realizację – odpowiednio sekwencyjnych i równoległych obliczeń. Uzyskane rezultaty oznaczają iż owa zdolność nie zależy od realizacji sekwencyjnej lub równoległej (taka sama liczba klas abstrakcji odpowiednich półgrup charakterystycznych).
    In this article it is presented that the characteristic semi-group of the direct sum and direct product "G" and "AG" of the asynchronous automatons of the strongly connected and determined analogs of their extensions are isomorphism. Taking into account that the characteristic semi-group determines the ability to process the information then the direct sum and direct product can be consider as realization – the sequence and parallel calculation accordingly. The obtained results mean that this ability doesn’t depend on the sequence and parallel realization (the same number of abstract class of the suitable characteristic semi-groups).
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 12; 312-315
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Złożoność półgrup charakterystycznych iloczynów prostych „AG ” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmami DFASC2
    Automata of the strongly connected determined analogs the extensions associated with DFASC2 isomorfisms
    Autorzy:
    Bocian, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/314184.pdf
    Data publikacji:
    2018
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    model matematyczny
    izomorfizmy
    logistyka
    pojazdy szynowe
    mathematical model
    isomorphism
    logistics
    rail vehicles
    Opis:
    W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „AG” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmami DFASC2(deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczanie złożoności półgrupy charakterystycznej pozwala na oszacowanie złożoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzania automatu AG związanego z izomorfizmami g0, g1,..., gq-1 gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywiste. Iloczyn prosty automatów można uważać odpowiednio za realizację równoległych obliczeń.
    The paper presents the assumption and the evidence is carried out of the direct product complexity of characteristic semi-groups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2. automata. The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homoeomorphism of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homoeomorphism for the other classes of automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton associated with the isomorphism g0, g1,..., gq-1 where q is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time. The direct product of automatons can be considered as the realization-parallel calculations accordingly.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 6; 1007-1011, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Złożoność półgrup charakterystycznych „G” automatów asynchronicznych silnie spójnych
    Complexity of the "G" characteristic semi – group of the strongly connected asynchronous automatons
    Autorzy:
    Bocian, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/252903.pdf
    Data publikacji:
    2016
    Wydawca:
    Instytut Naukowo-Wydawniczy TTS
    Tematy:
    optymalny układ logiczny
    złożoność półgrup
    optimal logic
    complexity of semigroups
    Opis:
    W artykule przedstawiono twierdzenie i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych dowolnej liczby („G”) automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Suma prosta automatów można uważać za realizację – odpowiednio sekwencyjnych obliczeń
    The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semigroups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi – group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct sum of automatons can be considered as the realization–the sequence calculations accordingly.
    Źródło:
    TTS Technika Transportu Szynowego; 2016, 12; 396-400
    1232-3829
    2543-5728
    Pojawia się w:
    TTS Technika Transportu Szynowego
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Fazy stacjonarne do chromatografii cieczowej z wbudowanymi grupami polarnymi : synteza i właściwości powierzchniowe
    Chemically bonded stationary phases with incorporated polar groups for liquid chromatography : the synthesis and surface properties
    Autorzy:
    Bocian, S.
    Krzemińska, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/171968.pdf
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Chemiczne
    Tematy:
    chromatografia cieczowa
    fazy stacjonarne
    wbudowane grupy polarne
    właściwości powierzchniowe
    procesy solwatacyjne
    liquid chromatography
    stationary phases
    polar embedded stationary phases
    surface properties
    solvation processes
    Opis:
    In recent years high performance liquid chromatography (HPLC) has gained a dominant position in the life sciences. The widespread use of this technique allows to perform an analysis of compounds which are used in various areas of human life. Currently, there are wide and fully untapped opportunities for synthesis of chromatographic packings with chemically bonded stationary phases. Some of the liquid chromatographic analyses needs the application of water-rich mobile phases (more than 85% water or a buffer). In such condition the performance of hydrophobic stationary phases indicate that the bonded ligands might be collapsing. This problem could be solved by increasing of organic content in the mobile phase which should improve solvation and bring bonded ligands back to the original conformation. To avoid this procedure, which reduces the retention and selectivity of the separation, it is possible to apply stationary phases with incorporated polar groups mixed with the original alkyl ligands (polar embedded stationary phases). Another possibility is to add some polar groups during endcapping procedure (polar end-capped stationary phases). This produces variation in the bonding. Chemically bonded stationary phases which include both hydrophobic and hydrophilic ligands are so-called mixed mode stationary pahses. These materials can be used in reversed phase liquid chromatography (RPLC) and there is also a possibility to use them in hydrophilic interaction liquid chromatography (HILIC). They allow to separate polar and non-polar analytes. Following the idea of green chemistry, especially green analytical chemistry, a series of stationary phases was synthesized. The obtained materials connect polar and hydrophobic groups in the structure of bonded ligands. These specific surface properties provide the stability of the stationary phase in pure water as a mobile phase. Surface properties of novel material were analyzed using various instrumental and chromatographic methods. Finaly, the mixtures of various compounds were applied to test the separation selectivity of stationary phases in various chromatographic system, including purely aqueous conditions.
    Źródło:
    Wiadomości Chemiczne; 2018, 72, 9-10; 685-701
    0043-5104
    2300-0295
    Pojawia się w:
    Wiadomości Chemiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Technologia oczyszczania nasion pomidora w wodzie i w roztworze osmotycznym
    Technology of tomato seeds purification in water and in osmotic solution
    Autorzy:
    Domoradzki, M.
    Korpal, W.
    Bocian, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/286369.pdf
    Data publikacji:
    2009
    Wydawca:
    Polskie Towarzystwo Inżynierii Rolniczej
    Tematy:
    pomidor
    odwirusowanie nasion
    usuwanie pektyn
    tomato
    seeds
    virus elimination
    removal of pectins
    Opis:
    Przeprowadzono badania odwirusowania i depektyzacji nasion 12 odmian pomidorów w wodzie i 3% roztworze osmotycznym KNO3 w skali laboratoryjnej i produkcyjnej. Stwierdzono korzystny wpływ roztworu osmotycznego dla większości badanych odmian.
    The research involved examination of virus elimination and depectization of seeds for 12 tomato varieties in water and 3% osmotic solution of KNO3, in a laboratory and commercial scale. The research confirmed advantageous effect of osmotic solution for majority of examined varieties.
    Źródło:
    Inżynieria Rolnicza; 2009, R. 13, nr 2, 2; 35-41
    1429-7264
    Pojawia się w:
    Inżynieria Rolnicza
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reduction of the neutralisation time during antimicrobial activity testing of disinfectants according to European standards
    Autorzy:
    Tyski, S.
    Bocian, E.
    Grzybowska, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/872064.pdf
    Data publikacji:
    2013
    Wydawca:
    Narodowy Instytut Zdrowia Publicznego. Państwowy Zakład Higieny
    Tematy:
    chemical disinfectant
    European standard
    antimicrobial activity
    neutralization time
    antiseptic agent
    disinfectant
    Opis:
    Background. Evaluation of the biocidal activity of chemical disinfectants and antiseptics according to European Standards (EN) is based on determination of the reduction of the number of viable test microorganisms under defined conditions. Objective. The objective of this study was to investigate whether reducing the neutralization time required following declared product contact times for the tested microorganisms yields method validations. Material and methods. This study was conducted on 14 products containing active substances from different chemical groups: alcohols, aldehydes, biguanides, quaternary ammonium compounds, phenols, amines derivatives, oxidizing agents. These products were tested according to phase 1 tests: EN 1040:2005 and EN 1275:2005 and then according to phase 2, step 1 tests: Draft EN 13727:2005 and EN 13624:2003. Biocidal activity was evaluated using the following test organisms: S. aureus ATCC 6538, P. aeruginosa ATCC 15442, E. coli NCTC 10538, E. coli ATCC 10536, E. hirae ATCC 10541, C. albicans ATCC 10231 and A. brasiliensis ATCC 16404. Results. Validation C results for all products and tested microorganism strains were at least half of the density of the suspension for validation (Nvo) after only 10 s of neutralization. Furthermore, results from test procedures performed in parallel were also positive except 5 products toward A. brasiliensis. Conclusions. The results of our study confirm that the contact time described in the European Standards phase 1: EN 1040 and EN 1275, as well as phase 2, step 1: Draft EN 13727 and EN 13624 can be precisely determined in spite of reducing the neutralization time from 5 minutes to even 10 seconds.
    Wprowadzenie. Badanie aktywności antyseptyków wg norm PN-EN polega na określeniu stopnia redukcji liczby komórek drobnoustrojów testowych, uzyskanego w deklarowanym czasie kontaktu. Cel badań. Celem pracy było zbadanie, czy skrócenie czasu neutralizacji preparatu wynoszącego 5 minut po określonym czasie jego kontaktu z drobnoustrojami testowymi, zapewni zwalidowanie metody. Materiał i metody. Wybrano 14 preparatów zawierających substancje czynne należące do różnych grup chemicznych: alkohole, aldehydy, biguanidyny, czwartorzędowe związki amoniowe, fenole, pochodne amin, związki utleniające. Badania przeprowadzono wg norm fazy 1: EN 1040:2005 i EN 1275:2005, a następnie wg norm fazy 2 etapu 1: Draft EN 13727:2005 and EN 13624:2003. Do badań użyto zalecane standardowe szczepy bakterii i grzybów: S. aureus ATCC 6538, P. aeruginosa ATCC 15442, E. coli NCTC 10538, E. coli ATCC 10536, E. hirae ATCC 10541, C. albicans ATCC 10231 and A. brasiliensis ATCC 16404. Wyniki. Wyniki walidacji C dla wszystkich produktów i badanych szczepów mikroorganizmów spełniały wymagania norm, czyli były równe co najmniej połowie gęstości zawiesiny do walidacji (Nvo) zaledwie po 10 s neutralizacji. Ponadto, w równolegle przeprowadzonych testach aktywności przeciwdrobnoustrojowej uzyskano pozytywne wyniki, z wyjątkiem 5 produktów wobec A. brasiliensis. Wnioski. Wyniki badań potwierdzają, że czas kontaktu określany wg norm fazy 1 EN 1040:2005 i EN 1275:2005, jak również fazy 2 etapu 1: Draft EN 13727:2005 i EN 13624:2003, może być precyzyjnie określony mimo skrócenia czasu neutralizacji z 5 minut nawet do 10 sekund.
    Źródło:
    Roczniki Państwowego Zakładu Higieny; 2013, 64, 2
    0035-7715
    Pojawia się w:
    Roczniki Państwowego Zakładu Higieny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analiza deformacji materiałów kompozytowych w oparciu o pewien model niesprężysty
    Study of deformation in composite material based on a non-elastic model
    Autorzy:
    Kulisiewicz, M.
    Piesiak, S.
    Bocian, M
    Jamroziak, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/236069.pdf
    Data publikacji:
    2005
    Wydawca:
    Wojskowy Instytut Techniczny Uzbrojenia
    Tematy:
    materiały kompozytowe
    composite materials
    Opis:
    Materiały kompozytowe ze względu na pewne swoje właściwości znalazły zastosowanie w konstrukcjach zwanych lekkimi osłonami balistycznymi. Takie konstrukcje w zastosowaniach wojskowych narażone są na obciążenia udarowe, ktore generowane są poprzez energię uderzenia masą skupioną (pociskiem). Dotychczasowe analizy tego zjawiska zakładają zwykle liniowo-sprężystą reakcję sił oporu materiału przebijanego na masę przebijającą. W pracy zaproponowano procedurę analizy własności opisujących zjawisko przebicia materiałów wykorzystując wybrany model niesprężysty.
    Composite materials are commonly used in light ballistic screens and in their military applications they often are subjected to shocks by the hits of bullets. Typical studies usually assume the linear-elastic reaction of material’s resisting forces against penetrating mass. In the paper a procedure for analysis of properties describing the phenomenon of penetration in the material by the non-elastic model is presented.
    Źródło:
    Problemy Techniki Uzbrojenia; 2005, R. 34, z. 95; 197-206
    1230-3801
    Pojawia się w:
    Problemy Techniki Uzbrojenia
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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