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ł:
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ł:
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 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ł:
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ł
Tytuł:
Bezprzewodowy pomiar ciśnienia i temperatury powietrza w kole samochodowym
Wireless measurement of pressure and temperature of air inside the car wheel
Autorzy:
Gryś, S.
Tkacz, M.
Gancarczyk, M.
Powiązania:
https://bibliotekanauki.pl/articles/268847.pdf
Data publikacji:
2016
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
technika samochodowa
czujnik ciśnienia i temperatury
adiustacja dwupunktowa
procesor stm32
automotive
driving safety
sensor of the pressure and temperature TPMS
Opis:
Publikacja ma charakter dydaktycznopopularyzatorski z zakresu nauczania metrologii, w szczególności systemów pomiarowych. W artykule przedstawiono problematykę bezprzewodowego bezpośredniego pomiaru ciśnienia oraz temperatury powietrza w kole samochodowym. Zostało stworzone stanowisko laboratoryjne pozwalające na zapoznanie się z metodą pomiaru oraz elementami systemu TPMS (ang. Tire Pressure Measurement System), jednego z nowoczesnych systemów bezpieczeństwa stosowanych w branży motoryzacyjnej. W artykule opisano konstrukcję oraz zasadę działania poszczególnych elementów stanowiska, budowę zintegrowanego czujnika, sposób komunikacji z modułem odbiorczym TPMS. Ponadto, przedstawiono obsługę stanowiska, sposób przeprowadzenia pomiarów, metodę adiustacji wskazań czujników z wykorzystaniem przyrządów kontrolnych.
The paper is focused on the issue of teaching metrology. It presents the method of wireless measurement of pressure and temperature of air in a car wheel. For the cognitive and learning purposes it was created an experimental setup to get familiar with the measuring method and elements of Tire Pressure Measurement System. TPMS is one of the modern safety systems used in the automotive industry. Paper describes the construction and operating principle of key elements of setup, i.e. object, integrated sensors, TPMS system, control instruments, the format of data frame transferred between TPMS and computer, CRC codes. Furthermore, there were presented the basic features of two software tools working with Windows based PC computer or embedded system. There was discussed a proposal of carrying out the measurements in simulated conditions with ability to change pressure and also temperature of air inside the wheel using inner heaters. The software for embedded system let to observe raw sensors' readings and additionally adjusted based on a two-point measurements involving control instruments. The adjusting routine was illustrated with an example for better clarity.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2016, 49; 25-32
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of entity-attribute-value model applications in freely available database management systems for dna microarray data processing
Autorzy:
Waller, T.
Zapart, D.
Tkacz, M.
Wróbel, Z.
Powiązania:
https://bibliotekanauki.pl/articles/332994.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
system zarządzania relacyjną bazą danych
mikromacierz DNA
entity-attribute-value model
relational database management system
DNA microarray
Opis:
Large volumes of data are generated during DNA microarrays experiments. Database management systems (DBMS) are increasingly applied to these data, providing optimum processing and management from multiple microarray experiments. In this study, freely accessible DBMS software versions were compared (Microsoft SQL Server 2008 Express Edition, Oracle Database 10g Express Edition, DB2 Express-C 9.7.2, MySQL 5.1, and PostgreSQL 9.0). We examined them in the context of possible Entity-Attribute-Value (EAV) application as an optimal organization method for microarray data. It was confirmed in the comparative analysis of component data processing methods, consistent with the EAV model, that efficient methods for microarray data analysis are available in Microsoft SQL Server 2008 Express Edition and PostgreSQL 9.0 systems. Also, DNA microarray data processing was confirmed to be more efficient with Microsoft SQL Server 2008 Express Edition as compared with PostgreSQL 9.0. The EAV method was also shown to be suitable for use with open-source versions of DBMS software as an optimum storage model for DNA microarray data. In terms of data processing methods and performance, the Microsoft SQL Server 2008 Express Edition proved to be the best among compared database systems.
Źródło:
Journal of Medical Informatics & Technologies; 2012, 20; 59-63
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Brachypodium distachyon – a model plant to study grass genome structure, dynamics and evolution
Autorzy:
Idziak, D.
Hasterok, R.
Betekhtin, A.
Borowska-Zuchowska, N.
Braszewska-Zalewska, A.
Chwialkowska, K.
Gorkiewicz, R.
Kus, A.
Kwasniewska, J.
Kwasniewski, M.
Robaszkiewicz, E.
Siwinska, D.
Wolny, E.
Chrominski, K.
Tkacz, M.
Powiązania:
https://bibliotekanauki.pl/articles/951271.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Brachypodium distachyon
model plant
grass
genome structure
Expressed Sequence Tag programme
fluorescent in situ hybridization
chromosome painting
DNA methylation
Źródło:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology; 2015, 96, 1
0860-7796
Pojawia się w:
BioTechnologia. Journal of Biotechnology Computational Biology and Bionanotechnology
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ł:
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ł:
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ł:
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ł
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