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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 105
Tytuł:
Experimental research on the removal characteristics of simulated radioactive aerosols by a cloud-type radioactive aerosol elimination system
Autorzy:
Zhang, Jiqing
Jia, Ying
Lv, Xiaomeng
Xiong, Tiedan
Huang, Yuanzheng
Shen, Keke
Powiązania:
https://bibliotekanauki.pl/articles/27315664.pdf
Data publikacji:
2023
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:
Radioactive aerosols
elimination
composite
CRAES
cloud-type radioactive aerosol elimination system
FeOOH/rGO
Opis:
Radioactive aerosols in the confined workplace are a major source of internal exposure hazards for workers. Cloud-type radioactive aerosol elimination system (CRAES) have great potential for radioactive aerosol capture due to their high adsorption capacity, lack of cartridges and less secondary contamination. A CRAES was designed and constructed, and a FeOOH/rGO composite was directly prepared by a hydro-thermal method to characterise and analyse its morphology, chemical structure and removal efficiency for simulated radioactive aerosols. The results show that the FeOOH/rGO composite works in synergy with the CRAES to effectively improve the removal efficiency of simulated radioactive aerosols. A 30-minute simulated radioactive aerosol removal rate of 94.52% was achieved when using the experimentally optimized composite inhibitor amount of 2 mg/L FeOOH/rGO with 0.2 g/L PVA as a surfactant. Therefore, the CRAES coupled with the composite inhibitor FeOOH/rGO has broad application potential for the synergistic treatment of radioactive aerosols.
Źródło:
Polish Journal of Chemical Technology; 2023, 25, 4; 10--18
1509-8117
1899-4741
Pojawia się w:
Polish Journal of Chemical Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zagadnienie eliminacji drgań mechanicznych - podejście energetyczne
Autorzy:
Golec, Z.
Powiązania:
https://bibliotekanauki.pl/articles/329566.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
drgania mechaniczne
eliminacja
energia
vibration
elimination
energy
Opis:
W większości dotychczasowych rozważań dotyczących eliminacji drgań układów mechanicznych nie uwzględniano dystrybucji energii. Z drugiej strony wiadomo, że zmiana struktury układu mechanicznego (eliminator - dodatkowy obiekt mechaniczny dołączony do układu głównego) pociąga za sobą istotne zmiany w rozdziale energii. Podejście energetyczne w rozwiązaniu tego zadania ma znaczenie czysto praktyczne i wiąże się z trwałością projektowanych układów eliminacji drgań. W pracy przeprowadzono wstępne badania rozkładu energii dla czterech najbardziej znanych eliminatorów drgań: dynamicznego, wiskotycznego, ciernego i uderzeniowego.
Źródło:
Diagnostyka; 2000, 23; 31-34
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hazards in the production process, characteristics and methods of risk elimination
Autorzy:
Kulinska, E.
Dendera-Gruszka, M.
Powiązania:
https://bibliotekanauki.pl/articles/30147039.pdf
Data publikacji:
2018
Wydawca:
Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
Tematy:
safety
threat
production process
production continuity
risk elimination
Opis:
This article presents the main hazards in the production process on the basis of selected enterprises. Those hazards are mainly related to the safety of workers. The second element of the analysis is the way of elimination of risk factors. The method of risk elimination in each enterprise has been shown, with particular emphasis on the most effective ways of removing threats. The comparative analysis was applied for research purposes.
Źródło:
Scientific Journal of the Military University of Land Forces; 2018, 50, 3(189); 244-252
2544-7122
2545-0719
Pojawia się w:
Scientific Journal of the Military University of Land Forces
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sposoby niwelowania zachowań agresywnych przez nauczycieli w odniesieniu do potrzeb dzieci
Ways of eliminating aggressive behaviors by teachers in relation to children’s needs
Autorzy:
Bezpalko, Beata
Powiązania:
https://bibliotekanauki.pl/articles/893976.pdf
Data publikacji:
2019-11-17
Wydawca:
Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej. Wydawnictwo APS
Tematy:
child
teacher
aggression
elimination
dziecko
nauczyciel
agresja
niwelowanie
Opis:
The article presents the research results, the aim of which was to learn different ways of dealing with aggression by teachers, and to examine knowledge that children have about aggression and related problems. Research problems were formulated that concerned ways of eliminating children`s aggressive behaviors, which are used by teachers at work. One of the research tools was a questionnaire addressed to teachers. Providing answers, they had to demonstrate their knowledge about the different types of aggression that can be observed among children, and describe the methods and ways of dealing with it. The children were interviewed by a puppet, which was used to transform the interview into a process of interaction and to reduce the distance between the child and the researcher. The second study involving children was an interview focused on a problem. The presented research results have shown how big the problem is aggression in the life of preschool children who have shown a great knowledge about this subject. The article includes quotes from children's statements, that give an idea of what they think, feel or experience dealing with aggression. The study shows, that all the tested teachers are aware of factors causing aggression in children and know different methods and ways of eliminating aggressive behaviors. In practice, however, they are not always able to cope with this difficult and important problem and they need support. This research can be useful for teachers and parents so that they learn and understand better the problem of aggression which is ubiquitous among children, familiarize with the ways of reacting properly in difficult situations and ways of eliminating aggressive behaviors.
W artykule zaprezentowano wyniki badań, których celem było poznanie różnych sposobów radzenia sobie z agresją przez nauczycieli, oraz zbadania wiedzy jaką posiadają dzieci na temat agresji i problemów z nią związanych. Sformułowane zostały problemy badawcze, które dotyczyły sposobów niwelowania zachowań agresywnych u dzieci, jakie stosowane są przez nauczycieli w pracy. Jednym z narzędzi badawczych była ankieta skierowana do nauczycieli. Udzielając odpowiedzi musieli oni wykazać się wiedzą na temat różnych rodzajów agresji, którą można zaobserwować wśród dzieci, oraz opisać metody i sposoby radzenia sobie z nią. Zastosowany był też wywiad przeprowadzony z dziećmi za pomocą pacynki, która miała na celu przekształcić go w proces interakcji i zmniejszyć dystans dziecka z badaczem, oraz wywiad skoncentrowany na problemie. Przedstawione wyniki badań ukazały, jak wielkim problemem jest agresja w życiu dzieci w wieku przedszkolnym, które wykazały się dużą wiedzą na ten temat. W artykule zostały również umieszczone cytaty z wypowiedzi dzieci, które dają obraz tego, co myślą, czyją i przeżywają gdy muszą zmierzyć się z agresją. Z badania można wyciągnąć wniosek, że wszyscy nauczyciele, którzy zostali przebadani, zdają sobie sprawę z tego, co może wywołać agresję u dzieci i znają różne metody i sposoby niwelowania zachowań agresywnych. W praktyce nie zawsze jednak potrafią sobie poradzić z tym trudnym i ważnym problemem i potrzebują wsparcia. Badania te mogą być przydatne dla nauczycieli i rodziców, aby mogli lepiej poznać i zrozumieć problem agresji, która jest wszechobecna wśród dzieci, zapoznać się ze sposobami właściwego reagowania w trudnych sytuacjach i sposobami niwelowania zachowań agresywnych.
Źródło:
Problemy Opiekuńczo-Wychowawcze; 2019, 583(8); 31-39
0552-2188
Pojawia się w:
Problemy Opiekuńczo-Wychowawcze
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
Autorzy:
Indrzejczak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/749932.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
temporal logic
linear time
hypersequent calculus
cut elimination
Opis:
Hypersequent calculi (HC) can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Praca wychowawcza wśród Ukraińców w Wojsku Polskim w latach 1921–1939
Autorzy:
Ihor, Mraka,
Powiązania:
https://bibliotekanauki.pl/articles/902285.pdf
Data publikacji:
2018-11-07
Wydawca:
Uniwersytet Warszawski. Wydawnictwa Uniwersytetu Warszawskiego
Tematy:
educational activities
elimination no illiteracy
lectures
assimilation
patriotism
Opis:
The spread of mandatory military service for all citizens in II Rzeczypospolita caused the rapid growth of representatives of national minority in the army, Ukrainians in particular, who were often indifferent or sometimes even hostile to the country. One of the main reasons for indifference or hostile from Ukrainians was the events of Polish-Ukrainian war 1918–1919, the fight for Lviv, the defeat of ZUNR (West Ukrainian People’s Republic), in which Poland was considered to be guilty. At the same time the level of national and civil consciousness of many Poles was low enough. Taking all that into consideration, military and political authorities realized the necessity of organizing some educational activities for recruits. In the army there were some regular educational lectures with tendentiously chosen historical examples, whose aim was to smooth tensions in bilateral relations, to integrate Ukrainians into society, to bring up the sense of patriotism to Motherland, country of residence and finally to assimilate. To reach this aim, excursions, theatres and cinemas were also used for this reason.
Źródło:
Studia Interkulturowe Europy Środkowo-Wschodniej; 2018, 11; 90-113
1898-4215
Pojawia się w:
Studia Interkulturowe Europy Środkowo-Wschodniej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Elimination of modal collision: railway bridge over the Regalica River
Autorzy:
Bernacki, Dariusz
Lis, Christian
Powiązania:
https://bibliotekanauki.pl/articles/135018.pdf
Data publikacji:
2019
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
elimination
collision
railway bridge
inland navigation
transport
systems
Opis:
This study aims to identify and quantify the economic benefits of eliminating collisions between two transport systems: rail and inland waterway transport. The collision between transport systems is caused here by the obsolete structure of a railway drawbridge, which constitutes an element of the railway line used by freight and passenger transport and is located on the main inland waterway used by inland waterways freight transport. Railway transport results in limitations of inland waterway transport and, vice versa, inland waterways transport blocks railway transport during lifting of the bridge span. In the case of railway transport, the low capacity of the single-track railway bridge constitutes an additional limitation of the development of transportation. There are plans to eliminate the collision in the regional transport system by constructing a new railway bridge in place of the old drawbridge. The effects of the transportation infrastructure improvement were measured directly for both rail and inland water freight systems as well as the result of the interaction between passenger rail and car and bus transport. In order to compare the different types of impact, the effects of different actions were valued in monetary terms. The planned intervention, as investigated here, will lead to reductions in the cost of time of inland waterways freight transport and costs of time of rail passenger and freight transport and a decrease in the external costs of transport. This will make possible transportation services that are both cheaper and more reliable.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2019, 59 (131); 43-52
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rule-Generation Theorem and its Applications
Autorzy:
Indrzejczak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/749922.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
sequent calculus
cut elimination
proof theory
extralogical rules
Opis:
In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On a universal axiomatization of the real closed fields
Autorzy:
Nowak, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/1310894.pdf
Data publikacji:
1996
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
real closed fields
real valuations
Nash functions
quantifier elimination
Opis:
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
Źródło:
Annales Polonici Mathematici; 1996-1997, 65, 1; 95-103
0066-2216
Pojawia się w:
Annales Polonici Mathematici
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Waste identification and measurement as a first step towards Lean Management
Autorzy:
Szkudlarek, Beata
Zarzycka, Ewelina
Powiązania:
https://bibliotekanauki.pl/articles/658128.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Lean Accounting
waste measurement
waste elimination
value stream costing
Opis:
Lean Management (LM), a modern approach to business, has been gaining importance since the beginning of the 21st century. Lean Manufacturing used by the Japanese automakers continuously seeks to improve business processes by reducing amounts of waste in the long term. Many LM implementations have been spectacular successes, contributing to companies’ increased profitability, reduced inventories and manufacturing times, as well as fewer inhouse operations. This article deals with a step-by-step implementation of Lean Management in a Poland-based manufacturer owned by a transnational concern. The waste identification and measurement method presented in the article can be used by practically any traditionally managed firm. Gradual elimination of waste (muda) brings a firm’s conventional model of management closer to the Lean Management concept, promising measurable benefits even if the firm is not ready to take further steps into Lean Management.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 2011, 257
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Labeled Sequent Calculus for Orthologic
Autorzy:
Kawano, Tomoaki
Powiązania:
https://bibliotekanauki.pl/articles/749930.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
quantum logic
sequent calculus
cut-elimination theorem
decidability
Kripke model
Opis:
Orthologic (OL) is non-classical logic and has been studied as a part of quantumlogic. OL is based on an ortholattice and is also called minimal quantum logic. Sequent calculus is used as a tool for proof in logic and has been examinedfor several decades. Although there are many studies on sequent calculus forOL, these sequent calculi have some problems. In particular, they do not includeimplication connective and they are mostly incompatible with the cut-eliminationtheorem. In this paper, we introduce new labeled sequent calculus called LGOI, and show that this sequent calculus solve the above problems. It is alreadyknown that OL is decidable. We prove that decidability is preserved when theimplication connective is added to OL.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
World Class Manufacturing – characteristcs and implementation in an automotive enteprise
Autorzy:
Midor, K.
Powiązania:
https://bibliotekanauki.pl/articles/359101.pdf
Data publikacji:
2012
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
company management system
quality
elimination of waste in an enterprise
Opis:
The article outlines the characteristics of the WCM system, which is more and more frequently used to support enterprise management. Currently in Poland the WCM system is most often applied in automotive plants due to special quality requirements in this branch. By signalling the effects achieved by an organisation owing to WCM implementation, the author of the article wishes to make automotive plants managers interested in it, as this system might be a subsequent stage of quality improvement in a company, following the standards of ISO 9000 series.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2012, 32 (104) z. 1; 42-47
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Emisja zanieczyszczeń do atmosfery a nowoczesne technologie, na przykładzie elektrowni Jaworzno III w Jaworznie
Pollutant emission to the atmosphere and high-technology on the ex ample of Jaworzno III power station in Jaworzno
Autorzy:
Wierzbińska, M
Szczotka, A
Powiązania:
https://bibliotekanauki.pl/articles/399731.pdf
Data publikacji:
2013
Wydawca:
Polskie Towarzystwo Inżynierii Ekologicznej
Tematy:
odsiarczanie
usuwanie tlenków azotu
odżużlanie
biomasa
desulfurization
NOx elimination
deslagging
biomass
Opis:
W artykule przedstawiono przykładowe działania zmierzające do ograniczenia emisji zanieczyszczeń pyłowych i gazowych ze spalania paliw w Elektrowni Jaworzno III w Jaworznie. Produkcja energii oparta jest tu na bazie spalania mieszanki węgla kamiennego i biomasy w stosunku 9:1, co zmniejsza zawartość siarki w gazach odlotowych. Zmniejszenie emisji pyłów, SO2 i NOx uzyskano dzięki modernizacjom technologicznym, a mianowicie uruchomieniu instalacji odsiarczania spalin, instalacji mokrego odżużlania, technologii redukcji tlenków azotu oraz instalacji podawania biomasy.
In this paper technologies of pollution elimination from waste gases in Jaworzno Power Station III are presented. Mixture of coal and biomass (9:1) is combusted there. In waste gases there are dust and gaseous pollutants which are eliminated using high-technology filters and technologies of desulfurization, NOx elimination and deslagging. Changes in pollution quantities before and after Power Station modernization are presented on graphs.
Źródło:
Inżynieria Ekologiczna; 2013, 33; 175-182
2081-139X
2392-0629
Pojawia się w:
Inżynieria Ekologiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
Autorzy:
Maffezioli, Paolo
Orlandelli, Eugenio
Powiązania:
https://bibliotekanauki.pl/articles/749910.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
intuitionistic logic
existence predicate
sequent calculi
cut elimination
interpolation
Maehara's lemma
Opis:
In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants and to better understand and (partly) overcome the failure of interpolation for the implication-free fragment.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 2; 137-158
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
Autorzy:
Buszkowski, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/749946.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
nonassociative Lambek calculus
linear logic
sequent system
cut elimination
PTIME complexity
Opis:
In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus (CNL). Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 105

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