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

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-15 z 18
Tytuł:
Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning
Autorzy:
Tkacz, J.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/153764.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers
Opis:
W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wydarzenia i rocznice historyczne w obecnym województwie śląskim
Autorzy:
Węgrzynek, Krystian
Białokur, Marek
Chwalba, Andrzej
Greiner, Piotr
Kopiec, Jan
Krzyk, Józef
Krzyżanowski, Lech M.
Kuzio-Podrucki, Arkadiusz
Linek, Bernard
Madej, Grzegorz
Malina, Adam
Myszor, Jerzy
Parys, Paweł
Przerwa, Tomasz
Rokita, Zbigniew
Rott, Dariusz
Skworc, Wiktor
Sławek, Tadeusz
Szczepański, Marek S.
Szewczyk, Grażyna B.
Tkacz-Janik, Małgorzata
Zalega, Dariusz
Żmudzińska-Nowak, Magdalena
Powiązania:
https://bibliotekanauki.pl/articles/6939069.pdf
Data publikacji:
2022
Wydawca:
Wydawnictwo Naukowe „Śląsk"
Tematy:
ważne wydarzenia historyczne
województwo śląskie
Opis:
Redakcja Zarania Śląskiego zwróciła się do 50 badaczy wywodzących się z różnych środowisk i pochodzących z różnych części naszego województwa z prośbą o odpowiedź na pytanie: „Jakie wydarzenia historyczne z perspektywy obecnego województwa śląskiego uznaje Pani/Pan za najważniejsze”? Prosiliśmy o wytypowanie pięciu najważniejszych wydarzeń oraz krótkie wyjaśnienie wyboru, pozostawiając autorom całkowitą swobodę w konstrukcji tekstu uzasadnienia. Sugerowaliśmy jedynie, by ograniczając się do terytorium obecnego województwa śląskiego, nie zawężać poszukiwań do ram czasowych, w których zostało ono stworzone. Respondenci wybrali wydarzenia tak różne, że trudno pokusić się o podsumowanie. Wyrażamy nadzieję, iż wnioski nasuwające się czytelnikowi przyczynią się do refleksji – a może wręcz wywołają dyskusję – nad skomplikowanymi dziejami regionu. Respondenci byli proszeni o sformułowanie krótkiej wypowiedzi. W tym miejscu publikujemy wersje skrócone tych tekstów, które przekraczały sugerowaną objętość. W Suplemencie znaleźć można wersje autorskie.
Źródło:
Zaranie Śląskie. Seria druga; 2022, 8; 95-113, 157-173
0044-183X
Pojawia się w:
Zaranie Śląskie. Seria druga
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
UML Modelling in Rigorous Design Methodology for Discrete Controllers
Autorzy:
Łabiak, G.
Adamski, M.
Doligalski, M.
Tkacz, J.
Bukowiec, A.
Powiązania:
https://bibliotekanauki.pl/articles/227244.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
UML modelling
binary controller
decomposition
digital synthesis
formal analysis
verification
Opis:
The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 1; 27-34
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The unsustainable production and consumption model
Model niezrównoważonej produkcji i konsumpcji
Autorzy:
Ładyga, M.
Tkacz, M.
Powiązania:
https://bibliotekanauki.pl/articles/406169.pdf
Data publikacji:
2011
Wydawca:
Politechnika Częstochowska
Tematy:
producent
konsument
kontrahent
niezrównoważony model produkcyjno-konsumpcyjny
producer
consumer
contractor
unsustainable production and consumption model
Opis:
The article presents the relationships on the line producer-consumer-contractor represented by the unsustainable production and consumption model. It also presents a range of solutions to the problem of determining the scope of concessions contractors.
Artykuł przezentuje relację na linii producent-konsument-kontrahent reprezentowaną przez model niezrównoważonej produkcji i konsumpcji. Przedstawia także zakres rozwiązań problemu określania zakresu ustępstw kontrahentów.
Źródło:
Polish Journal of Management Studies; 2011, 4; 120-125
2081-7452
Pojawia się w:
Polish Journal of Management Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The method of balancing the production and consumption model in the case of indivisible articles
Autorzy:
Ładyga, M.
Tkacz, M.
Powiązania:
https://bibliotekanauki.pl/articles/122842.pdf
Data publikacji:
2013
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
balancing
model
indivisible articles
Opis:
In this article, a detailed case of the unbalanced production-consumption, namely a model, which is used in the case of indivisible articles, is presented. Also, the method of balancing this model is given, relying on introducing a certain ordering relation in the consumer’s set.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2013, 12, 4; 83-88
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The influence of the chain length and the functional group steric accessibility of thiols on the phase transfer efficiency of gold nanoparticles from water to toluene
Autorzy:
Soliwoda, K.
Tomaszewska, E.
Tkacz-Szczesna, B.
Rosowski, M.
Celichowski, G.
Grobelny, J.
Powiązania:
https://bibliotekanauki.pl/articles/779168.pdf
Data publikacji:
2014
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:
gold nanoparticles
phase transfer
thiols
1-decanethiol
1,1-dimethyldecanethiol
1-dodecanethiol
1-oktadecanethiol
1-tetradecanethiol
Opis:
This paper describes the influence of the chain length and the functional group steric accessibility of thiols modifiers on the phase transfer process efficiency of water synthesized gold nanoparticles (AuNPs) to toluene. The following thiols were tested: 1-decanethiol, 1,1-dimethyldecanethiol, 1-dodecanethiol, 1-tetradecanethiol and 1-oktadecanethiol. Nanoparticles (NPs) synthesized in water were precisely characterized before the phase transfer process using Atomic Force Microscopy (AFM) and Transmission Electron Microscopy (TEM). The optical properties of AuNPs before and after the phase transfer were studied by the UV-Vis spectroscopy. Additionally, the particle size and size distribution before and after the phase transfer of nanoparticles were investigated using Dynamic Light Scattering (DLS). It turned out that the modification of NPs surface was not effective in the case of 1,1-dimethyldecanethiol, probably because of the difficult steric accessibility of the thiol functional group to NPs surface. Consequently, the effective phase transfer of AuNPs from water to toluene did not occur. In toluene the most stable were nanoparticles modified with 1-decanethiol, 1-dodecanethiol and 1-tetradecanethiol.
Źródło:
Polish Journal of Chemical Technology; 2014, 16, 1; 86-91
1509-8117
1899-4741
Pojawia się w:
Polish Journal of Chemical Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The explicitness of vector balancing the unsustainable production and consumption model
Jednoznaczność wektora równoważącego niezbilansowany model produkcyjno - konsumpcyjny
Autorzy:
Ładyga, M.
Tkacz, M.
Powiązania:
https://bibliotekanauki.pl/articles/405613.pdf
Data publikacji:
2012
Wydawca:
Politechnika Częstochowska
Tematy:
produkcja
konsumpcja
metoda bilansująca
niezrównoważony model produkcyjno-konsumpcyjny
production
consumption
balancing method
unsustainable production and consumption model
Opis:
In this article, the analysis of the explicitness of vector balancing the unsustainable production and consumption model was conducted. In this analysis, contractors' options and concessions price had been included.
W niniejszej pracy dokonano analizy jednoznaczności wektora bilansującego niezrównoważony model produkcyjno-konsumpcyjny. W analizie uwzględniono możliwości i ceny ustępstw kontrahentów.
Źródło:
Polish Journal of Management Studies; 2012, 5; 261-265
2081-7452
Pojawia się w:
Polish Journal of Management Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The basic property of iteriative process of balancing the unsustainable production and consumption model
Podstawowa własność procesu iteracyjnego równoważącego niezbilansowany model produkcyjno-konsumpcyjny
Autorzy:
Ładyga, M.
Tkacz, M.
Powiązania:
https://bibliotekanauki.pl/articles/404896.pdf
Data publikacji:
2013
Wydawca:
Politechnika Częstochowska
Tematy:
iteriative process
production and consumption model
proces iteracyjny
model produkcyjno-konsumpcyjny
Opis:
In this paper, a special case of unbalanced model of production and consumption has been explained. The proposed method consists of introducing balance certain ordering relationship in the set of consumers. This method may help decision-makers in the management of essential logistics processes.
W artykule tym zostały udowodnione podstawy teoretyczne dotyczące liczby algorytmów iteracyjnych, które prowadzą do zrównoważenia niezbilansowanego modelu produkcyjno-konsumpcyjnego. Zaproponowana metoda dotyczy równoważenia pewnych związków tworzenia zamówień w grupie konsumentów. Ta metoda może pomóc decydentom w zarządzaniu podstawowymi procesami logistycznymi.
Źródło:
Polish Journal of Management Studies; 2013, 8; 175-178
2081-7452
Pojawia się w:
Polish Journal of Management Studies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
System of Optoelectronic Sensors for Breath Analysis
Autorzy:
Mikołajczyk, J.
Wojtas, J.
Bielecki, Z.
Stacewicz, T.
Szabra, D.
Magryta, P.
Prokopiuk, A.
Tkacz, A.
Panek, M.
Powiązania:
https://bibliotekanauki.pl/articles/221463.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
breath analyses
biomarkers
laser absorption spectroscopy
CEAS
MUPASS
medical screening
Opis:
The paper describes an integrated laser absorption system as a potential tool for breath analysis for clinical diagnostics, online therapy monitoring and metabolic disorder control. The sensors operate basing on cavity enhanced spectroscopy and multi-pass spectroscopy supported by wavelength modulation spectroscopy. The aspects concerning selection of operational spectral range and minimization of interference are also discussed. Tests results of the constructed devices collected with reference samples of biomarkers are also presented. The obtained data provide an opportunity to analyse applicability of optoelectronic sensors in medical screening.
Źródło:
Metrology and Measurement Systems; 2016, 23, 3; 481-489
0860-8229
Pojawia się w:
Metrology and Measurement Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Structured Mapping of Petri Net States and Events for FPGA Implementations
Autorzy:
Tkacz, J.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/227222.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
configurable logic controllers
interpreted Petri net state space
local and global state encoding
hyperpgraph
logic design
Gentzen sequents
Petri net coloring
FPGA
VHDL
Opis:
The paper presents a new method of structured encoding of global internal states and events in Reconfigurable Logic Controllers, which are directly mapped into Field Programmable Gate Arrays (FPGA). Modular, concurrently decomposed, colored state machine is chosen as a intermediate model, before the mapping of Petri net into an array structure of dedicated but very flexible and reliable digital system. The initial textual specification in formal Gentzen logic serves both as a design description for a rapid prototyping, as well as formal model, suitable for detailed computer-based reasoning about optimized and synthesized logic controller, implemented in configurable hardware. Only the selected linear subset from general, universal propositional Gentzen Logic is necessary to deduce several properties of the net, such as relations of nonconcurrency among structurally ordered macroplaces. The goal of this paper is to present the design methodology for modeling and synthesis of discrete controllers using related Petri net theory, rule-based theory (mathematical logic), and VHDL.
Źródło:
International Journal of Electronics and Telecommunications; 2013, 59, 4; 331-339
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena suszu owocowego na przykładzie chipsów jabłkowych - charakterystyka właściwości higroskopijnych
Evaluation of dried fruit on the example of apple chips - characteristics of hygroscopic properties
Autorzy:
Ruszkowska, M.
Tkacz, B.
Powiązania:
https://bibliotekanauki.pl/articles/2073205.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
chipsy jabłkowe
aktywność wody
pojemność monowarstwy
stabilność przechowalnicza
apple chips
water activity
monolayer capacity
storage stability
Opis:
Przeprowadzono porównawczą ocenę jakości suszy (chipsów) jabłkowych. Materiał badawczy stanowiły: I - produkt handlowy zakupiony w sieci handlowej - Crispy jabłkowe, polskiej firmy Paula oraz II - Susze jabłkowe wytworzone w warunkach laboratoryjnych za pomocą suszarki domowej. Izotermy sorpcji wyznaczono metodą statyczno-eksykatorową, w zakresie aktywności wody aw = 0,069÷0,932. Czas ustalenia równowagi układu wynosił 21 dni. Susze jabłkowe otrzymane w warunkach laboratoryjnych charakteryzowały się wyższą pojemnością warstwy monomolekularnej, jak również wyższą po wierzchnią właściwą sorpcji. Susze jabłkowe wytworzone w warunkach laboratoryjnych charakteryzowały się wyższą stabilnością przechowalniczą, a tym samym wyższą jakością, w porównaniu z ocenianym produktem handlowym.
A comparative evaluation of dried apple quality was performed. Crispy apple by Polish company Paula, (I) - a commercial product purchased in the trade network, and apple chips (II) - produced in laboratory conditions using a home dryer were selected as tested material. The sorption isotherms were measured using the staticdesiccator method in a range of water activity equal to aw = 0.069÷0..932. The equilibration period was equal to 21 days. Drought apple obtained in laboratory conditions were characterized by higher monolayer capacity and higher specific surface adsorption. Apple chips produced in laboratory conditions were characterized by higher storage stability and therefore higher quality, compared with the assessed commercial product.
Źródło:
Inżynieria i Aparatura Chemiczna; 2015, 5; 279--280
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:
Tkacz, J.
Bukowiec, A.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/200217.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja
Opis:
In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 3; 467-478
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparison of outlier detection methods in biomedical data
Autorzy:
Chromiński, K.
Tkacz, M.
Powiązania:
https://bibliotekanauki.pl/articles/333124.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
wykrywanie próbek odstających
diagnozy medyczne
test obserwacji odstających
outlier detection
medical diagnoses
outlier test
Opis:
In this paper the use of outlier detection methods is discussed. This analysis is an introduction to the use of various methods of outlier detection in medical diagnoses (screening). The authors investigated the usefulness of selected outlier detection methods in the context of detection sensitivity, speed performance analysis and the difficulty of automating the performance analysis by using the test methods for outlier detection.
Źródło:
Journal of Medical Informatics & Technologies; 2010, 16; 89-94
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 18

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