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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 63
Tytuł:
Weryfikacja wartości natężenia prądu upływu na powierzchni izolatora prętowego obliczonego za pomocą teorii perkolacji
The value of leakage current amperage verification on the surface of the rod insulator calculate using the percolation theory
Autorzy:
Frączak, P.
Powiązania:
https://bibliotekanauki.pl/articles/376049.pdf
Data publikacji:
2016
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
prąd perkolacji izolatora
weryfikacja
Opis:
W pracy przedstawiono obliczenia symulacyjne wartości natężenia prądu upływu na powierzchni porcelanowej izolatora prętowego za pomocą teorii perkolacji. Powierzchnię izolatora prętowego przedstawiono w postaci modelu perkolacji dla węzłów na sieci. Model ten jest obwodem elektrycznym, który składa się z sieci o charakterze rezystancyjnym oraz źródła napięcia. W modelu uwzględniono losowy sposób tworzenia węzłów "zapełnionych" na sieci. Procedura obliczeń symulacyjnych prądu upływu za pomocą modelu perkolacji polegała na stworzeniu jego schematu zastępczego oraz zadeklarowania stosownych analiz prądowych w programie PSpice. Uzyskane w ten sposób wartości natężenia prądu upływu na powierzchni izolatora prętowego porównano z wartościami zmierzonymi na badanych izolatorach na stacji prób. Otrzymano podobne wartości natężenia prądu upływu na powierzchni izolatorów w wyniku obliczeń symulacyjnych (teoria perkolacji) oraz rzeczywistych pomiarów na stacji prób.
The paper presents the simulations of leakage current amperage on the porcelain surface of the rod insulator, using percolation theory. The surface of the rod insulator is shown in the form of a percolation model for nodes on the network. This model is an electric circuit, which consists of a resistive network and the voltage source. The model included a random method of creating the knots "filled" on the network. Procedure of the simulation of leakage current using a percolation model was to create the equivalent circuit and to declare relevant current analyzes in the PSpice software. The obtained values of leakage current amperage on the surface of the rod insulator were compared with values measured on the test insulators at a testing station. The similar values of leakage current amperage on the surface of insulators were received, both: as a result of simulation (percolation theory) and the actual measurements at a testing station.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2016, 86; 323-332
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jakość środowiska - formy kontroli wynikające z ekologicznej orientacji przedsiębiorstw
Environmental quality - forms of control resulting from the ecological orientation of an enterprise
Autorzy:
Jaźwińska, D.
Powiązania:
https://bibliotekanauki.pl/articles/202816.pdf
Data publikacji:
2014
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
kontrola strategiczna
audyt
controlling
weryfikacja
Opis:
W artykule przedstawiono formy kontroli wewnętrznej i zewnętrznej, jakie powinny być stosowane w przedsiębiorstwach ukierunkowanych na zachowanie równowagi w przyrodzie. W publikacji wymieniono i scharakteryzowano rodzaje ocen, obszary kontroli oraz jednostki dokonujące przeglądu. Celem publikacji jest wykazanie potrzeby uwzględniania kryteriów i aspektów ekologicznych w procesie samokontroli, co ma znaczenie zarówno dla samego podmiotu, jak i dla środowiska przyrodniczego oraz zrównoważonego rozwoju.
The article presents the forms of internal and external control that should be used in companies focused on maintaining the balance of nature. The publication mentions and characterizes types of ratings, control areas and bodies performing inspection. The publication aims to demonstrate the need to include criteria and environmental aspects in the process of self-control in the enterprise, what is important for both the company and for the environment and sustainable development.
Źródło:
Zeszyty Naukowe Politechniki Poznańskiej. Organizacja i Zarządzanie; 2014, 62; 47-60
0239-9415
Pojawia się w:
Zeszyty Naukowe Politechniki Poznańskiej. Organizacja i Zarządzanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Underapproximating ATL with Imperfect Information and Imperfect Recall
Dolna Aproksymacja Bezpamięciowego ATL o Niepełnej Informacji
Autorzy:
Jamroga, W.
Knapik, M.
Powiązania:
https://bibliotekanauki.pl/articles/182675.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
ATL
model checking
approximation
weryfikacja
aproksymacja
Opis:
We investigate the correspondence between model checking of af-AMCi and ATLir , on the example of reachability. We identify some of the reasons for the fact that these logics are of uncomparable expressivity. These observations form the basis for a novel method for underapproximating ATLir by means of fixed-point calculations. We introduce a special version of the next-step operator, called Persistent Imperfect Next-Step Operator h_iF and show how it can be used to define a new version of reachability that carries to ATLir.
W pracy badane są związki pomiędzy weryfikacją modelową Bezpamięciowej Logiki Temporalnej Czasu Alternującego z Niepełną Informacją ATLir i Epistemicznego Alternującego Mu-Rachunku af-AMCi. Jak pokazano, naturalne uogólnienia pojęcia osiągalności z ATLir -a do af-AMCi nie przynoszą dobrych efektów: osiągalność w af-AMCi nie pociąga za sobą osiągalności w ATLir . Po zidentyfikowaniu części powodów, dla których tak się dzieje, zaproponowano nową wersję operatora następnego kroku, który pozwala na przybliżanie osiągalności w ATLir przy pomocy obliczeń stałopunktowych.
Źródło:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2015, 1032; 1-16
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Trudności eklezjalnej recepcji objawień prywatnych
Difficulties of the Ecclesiastical Reception of the so-called Private Apparitions
Autorzy:
Perszon, Jan
Powiązania:
https://bibliotekanauki.pl/articles/469523.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
objawienia prywatne
weryfikacja
Kościół
private revelations
verification
Church
Opis:
Obchodzone niedawno stulecie objawień fatimskich oraz wątpliwości związane z Medjugorie dowodzą, że kwestia tzw. objawień prywatnych jest w Kościele katolickim ciągle aktualna. W opracowaniu zasygnalizowano trudności terminologiczne, jakie teologia napotyka w zdefiniowaniu tych zjawisk (jawienia, widzenia, natchnienia, doświadczenia mistyczne). Odniesiono się też – per analogiam – do objawienia biblijnego i form jego zaistnienia. Obfitość nowych objawień prywatnych każe zapytać o ich oddziaływanie na życie Kościoła: jego modlitwę, sferę wiary i postawy moralne wiernych. Komunikacja elektroniczna (Internet) błyskawicznie upowszechnia nadzwyczajne zdarzenia (znaki, widzenia), faktycznie uniemożliwiając Magisterium Kościoła skuteczne wykonywanie jego zadania, tj. rozpoznania i weryfikacji ich wiarygodności. W rozpoznaniu prawdziwości Bożych znaków teolodzy zwracają uwagę na ważną funkcję pobożności ludowej oraz sensus fidelium. Część trzecia referuje stosowane w Kościele kryteria rozpoznawania tzw. objawień prywatnych: zbadanie okoliczności, adresata objawień, jego świadków, wreszcie zaś oznak jego wiarygodności. Kazus Medjugorie, gdzie domniemane mariofanie trwają od roku 1981, pokazuje, że proces rozeznawania autentyczności Bożych znaków bywa bardzo trudny. Z jednej strony – co do wiarygodności objawień – są negatywne orzeczenia biskupów miejsca, z drugiej milionowe rzesze pielgrzymujących do Medjugorie. Decyzja Stolicy Apostolskiej, określająca Medjugorie jako „miejsce modlitwy”, a nie objawień, jest wyrazem „cierpliwości”, z jaką do takich fenomenów podchodzi Kościół.
The centenary of the Fatima apparitions that has been recently celebrated and the doubts about Medjugorje prove that the issue of private revelations is still present in the Catholic Church. The study indicates the terminological difficulties in defining these phenomena (discovery, vision, inspiration, mystical experience). It also refers – per analogiam – to a biblical revelation and forms of its existence. The abundance of new private revelations tells us about their influence on the Church life: its prayer, the sphere of faith and the moral attitudes of the faithful. Electronic communication (the Internet) instantly spreads extraordinary events (signs, visions), and consequently prevents the Magisterium of the Church from recognizing and verifying their credibility. To recognize the truth of God’s signs, theologians pay attention to the important function of popular piety and sensus fidelium. The third part of the article refers to the criteria used in the Church to recognize the so-called private revelations: examining the circumstances and the addressee of the apparitions, the witnesses, and finally the signs of its credibility. The case of Medjugorje, where alleged maryfans have lasted from 1981, shows that the process of discerning the authenticity of God’s signs can be very difficult. On the one hand – as to the credibility of the apparitions – there are negative statements of the place bish ops, on the other – millions of pilgrims who make a pilgrimage to Medjugorje. The decision of the Holy See, which defines Medjugorje as a “place of prayer” and not revelation, is an token of “patience” that the Church approaches such phenomena.
Źródło:
Studia Koszalińsko-Kołobrzeskie; 2019, 26; 133-164
1230-0780
2719-4337
Pojawia się w:
Studia Koszalińsko-Kołobrzeskie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Walidacja a weryfikacja metody pomiarowej
Validation and verification of the measurement method
Autorzy:
Kołakowska, D.
Powiązania:
https://bibliotekanauki.pl/articles/266933.pdf
Data publikacji:
2018
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
walidacja
weryfikacja
parametry metody
validation
verification
test parameter
Opis:
Procedury walidacji i weryfikacji laboratoriów badawczych powinny być zgodne z wymogami prawnymi ujętymi w normach. Każde laboratorium badawcze musi dołożyć starań, aby badania i pomiary były wykonywane rzetelnie, zgodnie z aktualnym stanem wiedzy. W artykule przedstawiono wymogi norm, które dane laboratorium powinno przestrzegać.
There are many indicators of the "quality" of laboratory tests confirming the competence of laboratory staff as well as the technologies used. Validation is the process of monitoring a test, procedure or method. It proves that the laboratory controls the method and gives reliable results. Verification, whereas, is a one-off process, carried out to establish or confirm the expected performance of the test before applying it in the lab. Verification means checking the test in a given laboratory. The laboratory, while testing a given product, should be sure of the results obtained. Its duty is to confirm laboratory staff competences and ensure the recipient of the results that the measurements methods are appropriate. The use of welldescribed and tested methods does not automatically give a guarantee of obtaining reliable results. Therefore, the laboratory should control the quality of performed tests in order to be able to prove that it is able to meet the acceptance criteria described in the methods used by it.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2018, 59; 91-92
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Problematyka weryfikacji i naprawy wtryskiwaczy Common Rail Delhi
Issue of verification and repairing Common Rail Diesel Delphi injectors
Autorzy:
Stoeck, T.
Osipowicz, T.
Powiązania:
https://bibliotekanauki.pl/articles/315987.pdf
Data publikacji:
2013
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
wtryskiwacz
weryfikacja
naprawa
Common Rail Delphi
injectors
verification
repairing
Opis:
W artykule omówiono usterki i niedomagania wtryskiwaczy elektromagnetycznych układów typu Common Rail firmy Delphi. Pomimo stosunkowo prostej budowy i dużej floty pojazdów w których są one wykorzystywane, ich regeneracja napotyka na wiele trudności. Niewątpliwy wpływ na taki stan rzeczy ma ograniczony dostęp do części zamiennych, co wynika z polityki prowadzonej przez samego producenta. Metodykę weryfikacji i naprawy wtryskiwaczy przedstawiono dla jednostki napędowej pojazdu Mercedes-Benz E Klasa 2.2 CDI.
The article describes typical defects of Common Rail electromagnetic Delphi Diesel injectors. In spite of very easy construction and a huge usage theirs regeneration is not very easy because of limited possibilities of buying components. This is a such company policy. The verification methods has been presented to Mercedes Benz E Class vehicle with 2,2 CDI engine.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2013, 14, 10; 245-248
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sprawdzanie i weryfikacja defektoskopów ultradźwiękowych
Characterization and verification of ultrasonic flaw detector
Autorzy:
Katz, T.
Powiązania:
https://bibliotekanauki.pl/articles/107923.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sprawdzenie
weryfikacja
wzorcowanie
defektoskop
characterization
verification
calibration
flaw
detector
Opis:
Celem niniejszego referatu jest przedstawienie najważniejszych wymagań oraz przedyskutowanie problemów związanych z okresową kontrolą defektoskopów ultradźwiękowych zgodnie z wymaganiami normy PN-EN 12668-1:2010. Szczególną uwagę zwrócono na problematykę pomiaru podstawowych parametrów aparatu ultradźwiękowego, w tym wymagania dotyczące stosowanej aparatury kontrolno-pomiarowej. Zaproponowano wzór świadectwa sprawdzenia defektoskopu ultradźwiękowego, w którym wyszczególniono i potwierdzono wykonanie wszystkich testów grupy 2 normy PN-EN 12668-1:2010. Proponowane świadectwo potwierdza zgodność defektoskopu z wersją normy oraz grupą testów jakiej podlega testowany sprzęt.
The purpose of this article is to present the most important requirements and problems related to periodic inspection of ultrasonic flaw detectors in accordance with requirements of standard PN-EN 12668-1: 2010. Particular attention has been paid to the measurement of ultrasonic flaw detector parameters and requirements concerning specialist measuring equipment. The form of ultrasonic flaw detector certificate was proposed, which specifies all tests of group 2 of PN-EN 12668-1: 2010. The proposed certificate confirms the compatibility of the flaw detector with the specified standard and the test group under which the equipment was tested.
Źródło:
Badania Nieniszczące i Diagnostyka; 2017, 4; 29-32
2451-4462
2543-7755
Pojawia się w:
Badania Nieniszczące i Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dokumentacje z prac geologicznych : praktyczne aspekty sprawdzania zgodności dokumentacji z przepisami prawa oraz projektem robót geologicznych
Documentation of geological works : practical aspects of checking compliance of the documentation with law and the geological work project
Autorzy:
Dyka, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/2076140.pdf
Data publikacji:
2021
Wydawca:
Państwowy Instytut Geologiczny – Państwowy Instytut Badawczy
Tematy:
administracja geologiczna
weryfikacja
dokumentacja geologiczna
geological administration
verification
geological documentation
Opis:
One of the key tasks performed by geological administration officers is verification and approval of documentation of geological works. This article presents requirements that should be taken into account by geological administration officers during the administrative procedures in Marshal Offices and County Offices. The article discusses the most important regulations in Administrative Law and regulations from Geological Law, which should be applied. The author points to the most common shortcomings in geological documentations transferred to the offices, and shows situations in which it is necessary to refuse to approve documentation.
Źródło:
Przegląd Geologiczny; 2021, 69, 11; 741--745
0033-2151
Pojawia się w:
Przegląd Geologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Method for testing the singular and unique technical devices
Metodyka badań jednostkowych i unikatowych obiektów technicznych
Autorzy:
Zbrowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/256756.pdf
Data publikacji:
2015
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Technologii Eksploatacji - Państwowy Instytut Badawczy
Tematy:
prototype testing
decomposition
prototyping
verification
badanie prototypu
dekompozycja
prototypowanie
weryfikacja
Opis:
The achieved level of design methods and manufacturing of technical equipment enables rapid production of a fully functional prototype or standalone device. The required efficiency of prototyping methodology introduces the need for testing prototypes with use of knowledge accumulated in a database that contains descriptions of historical problems of construction, testing, commissioning, and implementation. The paper presents the methodology of testing the unique and singular technical solutions for supporting the advanced prototyping of new innovative products that were developed at the Institute for Sustainable Technologies. The aim of this work was to develop a solution, in the form of a system of testing for prototypes, enabling the control of the process of testing with a method based on the resources of accumulated knowledge concerning the design, commissioning, and implementation of high-tech equipment, performed individually or in a series. The use of testing methodology increases the guarantee of the development of prototype machines and devices that are characterised with the better quality and reliability as compared to solutions based only on the knowledge acquired and experience of the implementation team members. Pilot operated testing methodology has been applied to several prototype devices designed and constructed at the Institute for Sustainable Technologies.
Osiągnięty poziom metod projektowania i wytwarzania urządzeń technicznych umożliwia szybkie wyprodukowanie w pełni funkcjonalnego prototypu lub urządzenia jednostkowego. Wymagana efektywność procesu prototypowania wprowadza potrzebę stosowania metodyki badań prototypów wykorzystującej zasoby wiedzy zgromadzone w bazie danych historycznych problemów konstrukcyjnych, badawczych, uruchomieniowych i wdrożeniowych. W artykule przedstawiono opracowaną w Instytucie Technologii Eksploatacji metodykę badań jednostkowych i unikatowych obiektów technicznych wspomagającą prototypowanie nowych rozwiązań zaawansowanych urządzeń innowacyjnych. Celem przeprowadzonych prac było opracowanie rozwiązania w postaci systemu badań prototypów umożliwiającego sterowanie procesem badań w sposób oparty na zasobach zgromadzonej wiedzy dotyczącej projektowania, uruchamiania i wdrażania zaawansowanych technicznie urządzeń wykonywanych jednostkowo lub małoseryjnie. Wykorzystanie metodyki badań zwiększa gwarancję budowy prototypowych maszyn i urządzeń charakteryzujących się lepszą jakością i niezawodnością w stosunku do rozwiązań bazujących jedynie na wiedzy nabytej i doświadczeniu uczestników zespołu realizacyjnego. Metodykę badań pilotowo zastosowano w odniesieniu do kilkunastu prototypowych urządzeniach zaprojektowanych i wykonanych w Instytucie Technologii Eksploatacji.
Źródło:
Problemy Eksploatacji; 2015, 4; 85-98
1232-9312
Pojawia się w:
Problemy Eksploatacji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formal analysis of use case diagrams
Formalna analiza diagramów przypadków użycia
Autorzy:
Klimek, R.
Szwed, P.
Powiązania:
https://bibliotekanauki.pl/articles/305621.pdf
Data publikacji:
2010
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
UML
przypadek użycia
model formalny
weryfikacja
weryfikacja modelowa
logika temporalna
metoda tablic semantycznych
use case
formal model
verification
model checking
temporal logic
semantic tableau
Opis:
Use case diagrams play an important role in modeling with UML. Careful modeling is crucial in obtaining a correct and efficient system architecture. The paper refers to the formal analysis of the use case diagrams. A formal model of use cases is proposed and its construction for typical relationships between use cases is described. Two methods of formal analysis and verification are presented. The first one based on a states' exploration represents a model checking approach. The second one refers to the symbolic reasoning using formal methods of temporal logic. Simple but representative example of the use case scenario verification is discussed.
Diagramy przypadków użycia odgrywają znaczącą rolę w modelowaniu systemów z wykorzystaniem UML. Staranne i dokładne modelowanie ma zasadnicze znaczenie w postępowaniu umożliwiającym uzyskanie poprawnej i efektywnej architektury systemu. Artykuł odnosi się do formalnej analizy diagramów przypadków użycia. Został zaproponowany model formalny przypadku użycia, a także opisano odpowiednie konstrukcje dla relacji występujących pomiędzy przypadkami użycia. Zostały przedstawione dwie formalne metody ich analizy i weryfikacji. Pierwsza oparta jest na eksploracji stanów i reprezentuje podejście nazwane weryfikacją modelową. Druga odwołuje się do wnioskowania symbolicznego z wykorzystaniem logiki temporalnej. Został pokazany prosty i reprezentatywny przykład weryfikacji pewnego scenariusza przypadku użycia.
Źródło:
Computer Science; 2010, 11; 115-131
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Antyterrorystyczne systemy monitorujące - kierunki rozwoju
Anti-terroristic monitoring systems - the directions of the development
Autorzy:
Zbrowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/373784.pdf
Data publikacji:
2012
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
identyfikacja
materiały niebezpieczne
monitoring
terroryzm
weryfikacja
dangerous materials
identification
terrorism
verification
Opis:
W artykule scharakteryzowano współczesne systemy monitorowania antyterrorystycznego. Zaprezentowano systemy monitoringu jako integralny element zapobiegania atakom terrorystycznym. Udokumentowano konieczność rozwoju działań badawczych i rozwojowych systemów monitorowania osób, przedmiotów oraz środowiska naturalnego jako priorytetowego kierunku we współczesnej polityce bezpieczeństwa państwowego. Wskazano na potrzebę integracji monitoringu i środków taktycznych do poziomu spójnego systemu walki z terroryzmem, w którym eliminacja przeciwnika może być zastąpiona skutecznym obezwładnianiem siły żywej. Obezwładnianie terrorysty uniemożliwiające wykonanie ataku, nie tylko zapobiega ludzkiej tragedii i zniszczeniom materialnym ale także przyczynia się do zwiększenia skuteczności metod śledczych i dochodzeniowych. W przedstawionym ujęciu obezwładnianie jest następstwem prawidłowego rozpoznania przeprowadzonego z zastosowaniem systemu monitoringu. W prezentowanym artykule przeprowadzono ogólną klasyfikację antyterrorystycznych systemów monitorujących na systemy monitorowania osób, przedmiotów oraz zagrożenia ekologicznego. Wskazano kierunki rozwoju prac badawczych związanych z doskonaleniem metod monitorowania. Omówiono zagadnienia związane z monitoringiem osób ukierunkowanym na rozpoznawanie tożsamości oraz zachowań potencjalnie uznawanych za niebezpieczne przeprowadzonym na podstawie aktywnej identyfikacji i weryfikacji obiektów. Wskazano zagadnienia, których rozwój badawczy jest wspierany przez programy badawcze Unii Europejskiej oraz programy krajowe. Podkreślono duże znaczenie połączenia problematyki analizy obrazu i analizy zjawisk związanych z "mową ciała" w celu rozwoju technologii przewidywania ludzkich zachowań oraz technologii "skanowania myśli". Omówiono zagadnienia związane z monitoringiem przedmiotów uznawanych za materiały wybuchowe, broń, substancje chemiczne lub narzędzia potencjalnie niebezpieczne. Zaprezentowano najnowsze możliwości wieloparametrycznych skanerów ciała umożliwiających uzyskanie obrazu niebezpiecznych urządzeń i śladów znajdujących się na ciele np.: skrytych pod ubraniem. Ponadto przedstawiono najnowsze rozwiązania skanerów przeznaczonych do wykrywania materiałów wybuchowych wykorzystujących technologię skanowania bagażu za pomocą technik stosowanych w tomografii komputerowej. Podkreślono istotną rolę biosensorów jako nowego sposobu wykrywania materiałów wybuchowych. Omówiono zagadnienia związane z monitoringiem parametrów środowiska naturalnego jako elementu bezpieczeństwa w warunkach zagrożenia terrorystycznego. Przestawiono kierunki rozwoju prac badawczych zmierzających do zwiększenia skuteczności zdalnego wykrywania skażeń w systemach on line.
The article presents contemporary anti-terrorist monitoring systems as integral elements of a complex anti-terrorist systems. Monitoring systems are of great importance to national safety and thus R&D activity aiming at their development and improvement should be of priority in the research policy of each and every country. The authors emphasize the need for a compound anti-terrorist system, in which complete elimination of the aggressor can be replaced with their effective incapacitation that reduces the number of casualties and at the same time increases the success and efficiency of investigation methods. In the case presented in the article, the incapacitation of the terrorist is possible due to the application of the monitoring system. Apart from people monitoring systems, the authors of the article distinguish between two more groups of monitoring systems, i.e. environment and object monitoring systems, however the emphasis is put on people monitoring systems that prevent terrorist activity. The features of such systems that are widely discussed in the paper include their ability to identify potentially dangerous behaviour, read facial expressions and body language. Additionally, the range of tasks performed by contemporary multi-parameter body scanners that allow the images of potentially dangerous objects and weapon concealed underneath people.s clothing to be recorded is also presented. A significant part of the article is also devoted to object monitoring systems with particular attention paid to scanners for the detection of explosives hidden in luggage that employ computer tomography methods and biosenors. The issues connected with the monitoring of the condition of the environment are also discussed in the context of national safety, particularly the problems of remote on-line monitoring and detection of hazardous contamination. The authors also point out the R&D activity in the field of national safety and anti-terrorist protection that are supported within the framework of EU strategic research programmes.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2012, 4; 39-43
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zasadnicza nierozstrzygalność sporu ewolucjonizm-kreacjonizm
Autorzy:
Jodkowski, Kazimierz
Powiązania:
https://bibliotekanauki.pl/articles/705711.pdf
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
ewolucjonizm
kreacjonizm
weryfikacja
falsyfikacja
uteoretyzowanieobserwacji
teza Duhema
konwencjonalistyczne wybiegi
epistemiczneukłady odniesienia
Opis:
Autor przypomina znane z filozofii nauki powody, dla których spory między teoriami naukowymi nie są rozstrzygalne. Do powodów tych należy uteoretyzowanie obserwacji, teza Duhema i różne czynniki pozaempiryczne (psychologiczne, filozoficzne, socjologiczne itp.). Jednak uczeni potrafią w praktyce rozstrzygać, która z rywalizujących teorii naukowych jest lepsza. Rozstrzygnięcia te są hipotetyczne i omylne, a przez to samym tymczasowe. W przypadku sporu ewolucjonizm-kreacjonizm niemożliwe są nawet takie tymczasowe rozstrzygnięcia. Obie strony konfliktu zakładają bowiem odmienne epistemiczne układy odniesienia, które inaczej definiują istotę nauki.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 201-222
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bertrand RUSSELL, Badania dotyczące znaczenia i prawdy
Autorzy:
Sochacki, Łukasz
Powiązania:
https://bibliotekanauki.pl/articles/944138.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Instytut Filozofii i Socjologii
Tematy:
Bertrand Russell
prawda
fałsz
znaczenie
wiedza
doświadczenie
język
logika
uzasadnienie
weryfikacja
Źródło:
ARGUMENT: Biannual Philosophical Journal; 2012, 2, 2; 425-429
2083-6635
2084-1043
Pojawia się w:
ARGUMENT: Biannual Philosophical Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja wydatku upustów zbiorników wodnych w Zesławicach na rzece Dłubni
The verification of the water outflow of the weir in the dam of water reservoirs in Zeslawice on the Dlubnia River
Autorzy:
Michalec, B.
Powiązania:
https://bibliotekanauki.pl/articles/886922.pdf
Data publikacji:
2013
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:
zbiorniki wodne
jaz
odplyw wody
upusty zbiornikowe
weryfikacja
przepustowosc
rzeka Dlubnia
Źródło:
Scientific Review Engineering and Environmental Sciences; 2013, 22, 1[59]
1732-9353
Pojawia się w:
Scientific Review Engineering and Environmental Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena modeli do prognozowania pozimowych zapasów wody w glebie lekkiej
Evaluation of the models for forecasting after-winter water reserves in light soils
Autorzy:
Koźmiński, Cz.
Michalska, B.
Powiązania:
https://bibliotekanauki.pl/articles/337722.pdf
Data publikacji:
2005
Wydawca:
Instytut Technologiczno-Przyrodniczy
Tematy:
pozimowe zapasy wody
prognozy
weryfikacja
after-winter reserves of water
forecasts
verification
Opis:
Materiał wyjściowy do badań stanowiły wyniki pomiarów wilgotności nieporośniętej gleby na głębokości: 10, 20, 30, 50, 70 i 100 cm z lat 1962-1991, ze Stacji Agrometeorologicznej w Lipkach, na podstawie których obliczono zapasy pozimowe wody użytecznej w glebie w warstwach: 0-50, 0- 70 i 0-100 cm na koniec marca. Danymi wejściowymi do opracowania modeli do prognozowania pozimowych zapasów wody w glebie na koniec marca były wartości 12 czynników agrometeorologicznych (w różnych kombinacjach) do końca stycznia, lutego i marca w zależności od głębokości warstwy. Weryfikację modeli przeprowadzono za pomocą względnych błędów prognoz oraz testu Cross-Validation. Na podstawie oceny załączonych w pracy równań regresji wielokrotnej można stwierdzić ich dużą przydatność do prognozowania pozimowych zapasów wody na koniec marca na podstawie danych do końca lutego i marca.
Starting material for the studies were the measurements of soil moisture at the depths of 10, 20, 30, 50, 70 and 100 cm in bare soil collected in the years 1962 to 1991 at the Agro-meteorological Station at Lipki. From these records the quantities of after-winter reserves of useful water at the end of March in the soil layers: 0-50, 0-70 and 0-100 cm were calculated. Twelve agrometeorological factors (in various combinations) observed at the end of January, February and March depending on the layer depth and the date of a given forecast were used to create the forecasting models. The models were verified by means of relative errors of the forecasts and by the Cross-Validation test. Evaluation of the multiple regression equations included in the paper indicated their usefulness for forecasting after-winter reserves of water at the end of February and March.
Źródło:
Woda-Środowisko-Obszary Wiejskie; 2005, 5, 2; 93-110
1642-8145
Pojawia się w:
Woda-Środowisko-Obszary Wiejskie
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 63

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