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 danych" wg kryterium: Wszystkie pola

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 39
Tytuł:
Trivializing verification of cryptographic protocols
Autorzy:
Piątkowski, Jacek
Szymoniak, Sabina
Powiązania:
https://bibliotekanauki.pl/articles/38704303.pdf
Data publikacji:
2023
Wydawca:
Instytut Podstawowych Problemów Techniki PAN
Tematy:
security protocol verification
tree visualisation
hierarchical data structure
weryfikacja protokołu bezpieczeństwa
wizualizacja drzewa
hierarchiczna struktura danych
Opis:
One of the main problems of the digital world is information security. Every second, peopleprocess millions of pieces of information that must be protected from unauthorized access. Cryptographic protocols that define the communication plan and the cryptographictechniques used to secure the messages come to the rescue. These protocols should alsobe regularly verified regarding their ability to protect systems from exposure to threatsfrom the computer network. Bearing in mind the need to secure communication, verify thecorrect operation of security methods and process large amounts of numerical data, we decided to deal with the issues of modeling the execution of cryptographic protocols and theirverification based on the CMMTree model. In this article, we present a tool that verifiesa protocol’s security. The tool allows for modelling a protocol and verifying that the pathin the execution tree represents an attack on that protocol. The tool implements a specially defined hierarchy of protocol classes and a predicate that determines whether a nodecan be attached to a tree. We conducted a number of tests on well-known cryptographicprotocols, which confirmed the correctness and effectiveness of our tool. The tool foundthe attack on the protocols or built an execution tree for them.
Źródło:
Computer Assisted Methods in Engineering and Science; 2023, 30, 4; 389-406
2299-3649
Pojawia się w:
Computer Assisted Methods in Engineering and Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification of the geothermal conditions in the Polish Lowlands based on data from new drilling performed in the years 2000-2022
Weryfikacja uwarunkowań geotermalnych na Niżu Polskim na podstawie danych z nowych wierceń zrealizowanych w latach 2000-2022
Autorzy:
Bujakowski, Wiesław
Zacharski, Piotr
Bielec, Bogusław
Tyszer, Magdalena
Pierzchała, Karol
Tomaszewska, Barbara
Pająk, Leszek
Kępińska, Beata
Szczepański, Krystian
Powiązania:
https://bibliotekanauki.pl/articles/2203303.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Instytut Gospodarki Surowcami Mineralnymi i Energią PAN
Tematy:
Polish Lowlands
geothermal conditions
Lower Jurassic reservoir
Lower Cretaceous reservoir
potential discharge of wells
Niż Polski
uwarunkowania geotermalne
zbiornik dolnej jury
zbiornik dolnej kredy
wydajność ujęć geotermalnych
Opis:
The aim of the presented work was an attempt to verify the geothermal conditions in the Polish Lowlands (Lower Jurassic and Lower Cretaceous reservoir) based on new geological information. The paper presents geothermal conditions in the Polish Lowlands according to the state of recognition at the end of 2022 in order to update the hydrogeothermal conditions in selected regions. Based on the scientific and research works published so far as well as numerous geothermal investments, and geological information from twenty-three new exploratory drilling events performed in the years 2000-2022 (nineteen of which were performed/documented after 2006), the authors undertook to update forecasts of the top surface of Lower Jurassic and Lower Cretaceous formations, the total thickness of these formations and the potential discharge of wells. The analysis was performed using the QGIS Desktop 3.24.1 software, a cross-platform and free open-source geoinformation software application (GIS ) that enables the viewing, editing and analyzing of spatial data and the creation of maps. The correction covered the course of the isolines on all six analyzed maps. The presented analysis made it possible to make a spot correction of the forecasted course of the isoline in relation to the maps published earlier in the Atlas of geothermal resources in the Polish Lowlands. Mesozoic formations developed in 2006, edited by Wojciech Górecki. Information obtained from newly drilled geothermal boreholes enabled the local correction of the forecasted values of individual parameters while maintaining the general trend.
Celem pracy była próba weryfikacji uwarunkowań geotermalnych na Niżu Polskim (zbiornik dolnej jury i dolnej kredy) na podstawie nowych informacji geologicznych. W pracy przedstawiono uwarunkowania geotermalne na Niżu Polskim według stanu rozpoznania na koniec 2022 r. w celu aktualizacji warunków hydrogeotermalnych w wybranych regionach. Na podstawie dotychczas opublikowanych prac naukowo-badawczych, a także zrealizowanych licznych inwestycji geotermalnych, oraz informacji geologicznej z nowych 23 wierceń poszukiwawczych zrealizowanych w latach 2000-2022 (19 z nich wykonano/udokumentowano po roku 2006), autorzy podjęli się aktualizacji prognoz zalegania stropu utworów jury dolnej i kredy dolnej, miąższości całkowitej tych utworów oraz potencjalnej wydajności ujęć geotermalnych. Analizę wykonano z wykorzystaniem oprogramowania QGIS Desktop 3.24.1, wieloplatformowego, wolnego i otwartego oprogramowania geoinformacyjnego (GIS ) umożliwiającego przeglądanie, edytowanie i analizowanie danych przestrzennych oraz tworzenie map. Korekta objęła przebieg izolinii na wszystkich sześciu analizowanych mapach. Zaprezentowane analizy pozwoliły na dokonanie punktowej korekty prognozowanego przebiegu izolinii w odniesieniu do publikowanych wcześniej map w Atlasie zasobów geotermalnych na Niżu Polskim. Formacje mezozoiku opracowanym w 2006 r., pod redakcją naukową Wojciecha Góreckiego. Informacje uzyskane z nowo wykonanych otworów geotermalnych pozwoliły na lokalną korektę prognozowanych wartości poszczególnych parametrów przy zachowaniu ogólnego trendu.
Źródło:
Gospodarka Surowcami Mineralnymi; 2023, 39, 1; 193--216
0860-0953
Pojawia się w:
Gospodarka Surowcami Mineralnymi
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag na temat możliwości ustalenia wysokości kosztów procesu karnego w Polsce w drodze wnioskowania statystycznego
A few remarks on estimating criminal trial costs in Poland by means of inferential statistics
Autorzy:
Florczak, Waldemar
Powiązania:
https://bibliotekanauki.pl/articles/2140646.pdf
Data publikacji:
2022-10-04
Wydawca:
Łódzkie Towarzystwo Naukowe
Tematy:
accounting records
query data
representative sample
verification of statistical hypotheses
dane księgowe
kwerenda danych
próba reprezentatywna
weryfikacja hipotez statystycznych
Opis:
Przedmiot badań: Przedmiot badań stanowią szacunki kosztów procesu karnego w Polsce przy użyciu dostępnych danych zastanych i ankietowych. Cel badawczy: Celem artykułu jest próba empirycznej odpowiedzi na kilka ważkich pytań związanych z możliwością pomiaru wysokości kosztów procesu karnego w polskim sądownictwie. Metoda badawcza: Do realizacji celu badawczego wykorzystano dane zastane z oficjalnych raportów księgowych, prowadzonych na szczeblu wybranych sądów, oraz podjęto starania o ich zaczerpnięcie ze źródeł bezpośrednio afiliowanych przy Ministerstwie Sprawiedliwości. Wysiłki te nie doprowadziły do oczekiwanych efektów; jedynym źródłem informacji w w/w obszarze okazała się baza danych utworzona na potrzeby realizacji grantu NCN nr 2015/19/B/HS5/01217 „Koszty procesu karnego w świetle ekonomicznej analizy prawa”, kierowanego przez dr hab. Dobrosławę Szumiło-Kulczycką, prof. UJ. Informacje zawarte w tej bazie posłużyły do sformułowania kilku hipotez badawczych – poniżej intencjonalnie przedstawionych w formule pytań – których weryfikacji dokonano za pomocą adekwatnych narzędzi statystyki matematycznej (testdwóch średnich, metoda ANOVA, test wielu proporcji). Wyniki: Pomimo że utworzona baza danych stanowi bezprecedensowe i najpełniejsze źródło wiedzy w zakresie ilościowych, kosztowych aspektów procesu karnego w Polsce, to jednak próba generalizacji wniosków, które mogłyby być sformułowane na jej podstawie na populację wszystkich sądów w Polsce, musi być bardzo ostrożna. W świetle przeprowadzonego w tym artykule badania zgromadzone w bazie dane nie mogą być bowiem uznane za w pełni reprezentatywne. Ponadto – warunkowo względem wniosku poprzedzającego – zróżnicowanie przedmiotowe spraw karnych nie tłumaczy w sposób jednoznaczny różnic w kosztach procesu karnego.
Background: The paper attempts to estimate criminal trial costs in Poland by means of existing official data as well as survey data dedicated to such costs. Research purpose: The paper aims to empirically answer several weighty questions concerning the estimation of criminal trial costs in Poland. Methods: An attempt was made to benefit from existing official data found in accounting records reported regularly by individual courts of justice, as well as by the Ministry of Justice. However, both attempts failed, so the only credible source of data was the database elaborated within research project no 2015/19/B/HS5/01217 “Criminal trial costs in the light of law and economics analysis”, funded by the National Science Centre of Poland (NCN), and supervised by Prof. Dobroslawa Szumilo-Kulczycka, PhD from the Jagiellonian University. Information collected in the database enabled the author to formulate a few research hypotheses – presented in the form of brief questions – to be verified using appropriate statistical methods (test for two means, ANOVA method, multi proportions test). Conclusions: Although the database elaborated for the NCN project constitutes an unprecedented source of credible data regarding criminal trial costs in Poland, any attempts to generalize possible conclusions that could be drawn on the basis of this data for all Polish courts must be cautious. This is because, in the light of the statistical analyses carried out in this investigation, the data cannot be regarded as fully representative. Additionally, diversification in the structure of criminal acts across individual courts cannot explain the actual differences in the criminal trial costs reported by individual courts .  
Źródło:
Studia Prawno-Ekonomiczne; 2022, 124; 101-119
0081-6841
Pojawia się w:
Studia Prawno-Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Initial verification of an application for the calculation of technological parameters during production of trimix mixture = Wstępna weryfikacja aplikacji do obliczeń parametrów technologicznych podczas produkcji mieszaniny trimiksowej
Autorzy:
Budych, Piotr.
Powiązania:
Polish Hyperbaric Research 2021, nr 2, s. 7-14
Współwytwórcy:
Olejnik, Adam (prace podwodne). Autor
Data publikacji:
2021
Tematy:
Nurkowanie
Prace podwodne
Analiza danych
Badania naukowe
Inżynieria mechaniczna
Artykuł z czasopisma fachowego
Opis:
W artykule omówiono wyniki badań przeprowadzonych na potrzeby pracy dyplomowej inżynierskiej, realizowanej w Katedrze Technologii Prac Podwodnych Akademii Marynarki Wojennej w Gdyni. Badania dotyczyły stworzenia aplikacji do obliczeń parametrów technologicznych podczas produkcji mieszaniny trimiksowej. Jest to jedna z mieszanin oddechowych wykorzystywanych do realizacji nurkowania. Przedstawiono pozostałe mieszaniny oddechowe oraz ich charakterystykę. Autor zauważa, że obliczenia konieczne do wytworzenia optymalnej mieszaniny są żmudne, stąd też potrzeba stworzenia aplikacji. Opracowana aplikacja służy do obliczeń parametrów technologicznych podczas produkcji mieszaniny trimiksowej i jest dedykowana do produkcji gazu z uprzednio wyprodukowanej mieszaniny nitroksowej.
Tabele, wykresy.
Bibliografia na stronie 13.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Weryfikacja poprawności transferu danych BIM w celu obliczeń MES na przykładzie obiektu usługowo-biurowego
Verification of correctness of BIM data transfer for FEM computation using example of service-office facility
Autorzy:
Pabian, Katarzyna
Wosatko, Adam
Powiązania:
https://bibliotekanauki.pl/articles/1860645.pdf
Data publikacji:
2020
Wydawca:
Polski Związek Inżynierów i Techników Budownictwa
Tematy:
building information modelling
FEM
finite element method
service-office object
transfer danych
poprawność
program inżynierski
REVIT
TEKLA
BIM
modelowanie informacji o budynku
MES
metoda elementów skończonych
obiekt usługowo-biurowy
data transfer
correctness
software for engineers
Opis:
Artykuł dotyczy porównania współpracy pomiędzy programami inżynierskimi na podstawie transferu danych modelu zgodnie z ideą BIM. W tym celu taki sam model BIM obiektu usługowo-biurowego utworzono w dwóch różnych programach źródłowych, a następnie wykonano jego eksport i poddano weryfikacji za pomocą analizy MES. Obiekt składa się z hali stalowej oraz dwóch niewielkich budynków biurowych o konstrukcji żelbetowej. Do modelowania użyto programów REVIT oraz TEKLA, a obliczenia wykonano za pomocą programu ROBOT. Weryfikacja MES zawiera głównie analizę statyczną, ale pokazane są także wyniki dla zagadnienia drgań własnych.
The paper evaluates the interaction between software packages for engineers on the basis of data transfer according to the BIM idea. For this purpose the same model of an office-service building set is prepared in two different source packages and next it is exported and verified using the FEM analysis. The facility consists of a steel hall and two small office buildings with reinforced concrete structure. The REVIT and TEKLA programs are selected for modeling, while package ROBOT is used for computations. The FEM verification contains mainly a static analysis, but the results of an eigen-vibration problem are also shown.
Źródło:
Przegląd Budowlany; 2020, 91, 12; 20-29
0033-2038
Pojawia się w:
Przegląd Budowlany
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Czas zapożyczenia wyrazów do języka rosyjskiego – weryfikacja danych zawartych w rosyjskich słownikach etymologicznych
When were loanwords introduced to the Russian language — the verification of data in Russian etymology dictionaries
Autorzy:
Głuszak, Dorota
Powiązania:
https://bibliotekanauki.pl/articles/2031556.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
linguistics
history of the Russian language
chronology of loanwords
opinion journalism of the 17th century
Źródło:
Slavia Orientalis; 2019, LXVIII, 4; 779-787
0037-6744
Pojawia się w:
Slavia Orientalis
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Porównanie zużycia energii elektrycznej przez przenośniki taśmowe w kopalni węgla brunatnego. Część 4. Rozważania teoretyczne i weryfikacja dla danych z Konina
Comparison of electric energy consumption by belt conveyors in a brown coal mine. Part 4. Theoretical considerations and verification for data from Konin
Autorzy:
Bajda, Mirosław
Jurdziak, Leszek
Powiązania:
https://bibliotekanauki.pl/articles/170928.pdf
Data publikacji:
2019
Wydawca:
Poltegor-Instytut Instytut Górnictwa Odkrywkowego
Tematy:
zużycie energii elektrycznej
przenośniki taśmowe
zmienna prędkość
oszczędność energii
dobór przenośnika
transport węgla brunatnego
electricity consumption
belt conveyors
variable speed
energy saving
belt conveyor selection
lignite transport
Opis:
Czwarty artykuł z cyklu poświęconego analizie zużycia energii przez przenośniki węglowe w kopalni węgla brunatnego nie odwołuje się do danych z kopalni, lecz przedstawia rozważania teoretyczne zagadnienia zużycia energii przez przenośniki. Przechodząc od czynników wpływających na zużycie energii i całkowitych oporów ruchu przenośnika autorzy przeszli do zapotrzebowania na moc i zdefiniowanego we wcześniejszych pracach wskaźnika zużycia energii WskZE. Weryfikację przeprowadzono dla danych empirycznych opublikowanych w innych artykułach dla przenośników ze zmienną prędkością, które funkcjonują w kopalni węgla brunatnego w Koninie. W przeciwieństwie dla danych z kopalni Bełchatów na przenośniku węglowym DW5, który miał podobną długość (940 m), to wydajność koparki była stała w trakcie testów, a zmieniana była prędkość taśmy i przez to stopień wypełnienia taśmy. Dzięki temu można było przetestować zależności testowe zarówno dla zmiennej średniej wydajności przy stałej prędkości [1-3] jak i zmiennej prędkości przy stałej wydajności [30, 31, 34, 35]. Wskaźnik zużycia energii, jak podpowiada teoria oporów ruchu przenośnika, okazał się funkcją dwóch zmiennych, dla przenośnika poziomego. Jest on liniowo zależny od prędkości i odwrotnie proporcjonalny od bieżącej wydajności. Analiza ilorazu mocy potrzebnej do jałowej pracy przenośnika (pustego) i pracy z obciążeniem pokazała, że choć obniżanie prędkości przy stałej wydajności prowadzi do coraz niższego zużycia energii, to jednak coraz większą część energii zużywa się na transport ciężkiej i szerokiej taśmy oraz poruszanie wielkich krążników dobranych do przeniesienia szczytowych wydajności koparki. W pracy zasugerowano zmianę paradygmatu doboru przenośników, by poprawić stosunek masy urobku na taśmie do masy części ruchomych (taśmy i krążników) i obniżać zużycie energii poprzez lepsze wykorzystanie wydajności teoretycznej poprzez lepszą organizację pracę ciągów np. pokazywanie nie tylko ilości i jakości urobku na tablicach synoptycznych, lecz również bieżącego wskaźnika zużycia energii i wartości skumulowanych dla wybranych okresów.
The fourth paper from the cycle devoted to the analysis of energy consumption by coal conveyors in a lignite mine does not refer to data from the Bełchatów mine but presents theoretical considerations of the issue of energy consumption by conveyors. Moving from factors influencing energy consumption and the total resistance of the conveyor, the authors moved to the demand for power and the unit energy consumption index WskZE defined in previous works. The verification was carried out for empirical data published in other papers for conveyors with variable speed that operate in the Konin lignite mine. Unlike the data from the Bełchatów mine on the DW5 coal conveyor in Konin, which had a similar length (940 m), the excavator’s output was constant during testing, and the belt speed and thus the degree of belt filling degree (in %) was changed. Thanks to this, it was possible to test relationships for both: variable average capacity at the constant speed [1-3] and variable speed at the constant capacity [30, 31, 34, 35]. The unit energy consumption index, as suggested by the theory of conveyor resistance, turns out to be a function of two variables (for a horizontal conveyor). It is linearly dependent on speed and inversely proportional to current capacity. Analysis of the ratio of power needed for the idle operation of the conveyor (empty) and work with load showed that although lowering the speed at constant capacity leads to lowering the level energy consumption, however, an increasing part of the energy is consumed for the transport of heavy and wide belt and moving large rollers selected to match peak excavator performance. The paper suggests a change in the paradigm of the selection of conveyors to improve the ratio of the mass of spoil on the belt to the mass of moving parts (belts and rollers) and reduce energy consumption by better use of theoretical efficiency through better organization of the conveyor lines operation, e.g. showing not only the quantity and quality of spoil on synoptic boards but also the current energy consumption indicators and their cumulative values for selected periods.
Źródło:
Górnictwo Odkrywkowe; 2019, 60, 6; 4-16
0043-2075
Pojawia się w:
Górnictwo Odkrywkowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja autentyczności kolorów na zdjęciach wykonanych w technice analogowej
Checking color authenticity in analog photos
Autorzy:
Sokołowski, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/267227.pdf
Data publikacji:
2019
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
zbiór danych
fotografia kolorowa
fotografia historyczna
uczenie maszynowe
uwierzytelnianie
data set
colour photography
historic photography
machine learning
authenticity
Opis:
W artykule opisano zagadnienie odróżniania historycznych fotografii pomiędzy oryginalnie kolorowe a koloryzowane. Rozważono problem doboru zdjęć pod względem technologii, w jakiej zostały wykonane. Następnie wykorzystując sieci neuronowe już w części wyuczone na innych zbiorach danych, sprawdzono ich efektywność w rozwiązywaniu badanego problemu. Rozważono wpływ rozmiaru obrazu podanego na wejściu, architektury zastosowanej sieci, a także zestawu danych użytego do uczenia sieci i wyodrębniania cech. W rezultacie potwierdzono przydatność opracowanego zbioru do treningu sieci, a także zaobserwowano, że zwiększanie rozmiaru sieci nie przynosi dodatkowych korzyści. Uzyskana trafność rozróżniania sięgnęła ponad 92 %.
The article describes a dataset designed to train neural networks distinguishing historical photographs between the ones that have original historic color and those which were contemporary colorized. The problem of choosing photos in terms of technology and content was considered. Using some of the pre-trained neural networks on other collections, their effectiveness in solving the studied issue was checked. The influence of the input image size, the depth of the neural network used as well as the data set used to train the network to extract features was investigated. As a result, the usefulness of the developed set for network training was confirmed, and it was observed that increasing the network did not bring any additional benefits. The reached accuracy is up to 92.6%.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2019, 68; 45-48
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja danych podczas zawierania umów internetowych i bezpieczeństwo danych w sieci
Autorzy:
Górska, Marta
Powiązania:
https://bibliotekanauki.pl/articles/1409273.pdf
Data publikacji:
2019
Wydawca:
Collegium Witelona Uczelnia Państwowa
Tematy:
weryfikacja danych
umowy internetowe
bezpieczeństwo dziecka
Opis:
Celem tego artykułu jest przedstawienie, w jaki sposób nasze dane są weryfikowane podczas zawierania jakichkolwiek umów w Internecie. Należy wykazać, jakie zabezpieczenia mają portale oraz jakie niebezpieczeństwa wynikają z braku zabezpieczeń. Artykuł koncentruje się na umowach zawieranych przez młodych ludzi korzystających z płatności elektronicznych i zwraca szczególną uwagę na umowy zawierane przez dzieci. Obserwacja funkcjonowania w rzeczywistości wirtualnej sugeruje przyjrzenie się tworzeniu profili na portalach społecznościowych i konsekwencje zawierania takich umów. Dane dostarczone podczas rejestracji i umieszczone w ramach korzystania z oferowanej usługi są wykorzystywane w innych procesach. Zakres analizy pokazuje, że powinniśmy nadzorować działalność w sieci młodzieży i edukować je, jak mądrze korzystać z Internetu.
Źródło:
Zeszyty Naukowe Państwowej Wyższej Szkoły Zawodowej im. Witelona w Legnicy; 2019, 3, 32; 97-105
1896-8333
Pojawia się w:
Zeszyty Naukowe Państwowej Wyższej Szkoły Zawodowej im. Witelona w Legnicy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ustalanie i weryfikacja danych technicznych w procesie klasyfikacji pojazdów dla celów ewidencji, rejestracji i badań technicznych
Determination and verification of technical data in the process of vehicle classification for the purposes of registration and periodic technical inspection
Autorzy:
Balke, M.
Balke, I.
Karpiński, R.
Powiązania:
https://bibliotekanauki.pl/articles/313938.pdf
Data publikacji:
2018
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
klasyfikacja pojazdów
ewidencja pojazdów
katalog ITS
katalog elektroniczny
vehicle classification
vehicle register
ITS catalogue
electronic catalog
Opis:
W artykule przybliżono temat ewidencjonowania i klasyfikacji pojazdów w Polsce. Przytoczone zostały zarówno wybrane obowiązujące przepisy, jak również podstawowe zasady stosowane w przedmiotowym zakresie. Od 2004 roku w celu ujednolicenia klasyfikacji pojazdów oraz usprawnienia ich weryfikacji, do procedur stosowanych podczas rejestracji pojazdów włączono system pomocniczy, tj. elektroniczny katalog marek i typów pojazdów homologowanych oraz dopuszczonych do ruchu na terytorium Rzeczypospolitej Polskiej opracowywany przez Instytut Transportu Samochodowego tzw. Katalog ITS.
The article brings closer the topic of records and classification of vehicles in Poland. Quoted have been, both selected the applicable laws as well as fundamental principles applied in the field. Since 2004, in order to harmonize the vehicles classification and improve their verification, the procedures used during the registration of vehicles have been supplemented by the auxiliary system, i.e. the electronic catalogue of makes and type-approved vehicles admitted to the operation in the territory of the Polish Republic elaborated by the Motor Transport Institute so-called “The ITS Catalogue”.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 6; 339-342, CD
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja i uszczegółowienie granic mezoregionów fizycznogeograficznych województwa łódzkiego na podstawie współczesnych danych przestrzennych
Verification and refinement of the boundaries of physicogeographical mesoregions in the Łódź voivodeship based on contemporary spatial data
Autorzy:
Majchrowska, A.
Papinska, E.
Powiązania:
https://bibliotekanauki.pl/articles/2078058.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Warszawski. Wydział Geografii i Studiów Regionalnych
Opis:
W pracy przedstawiono wyniki weryfikacji granic mezoregionów fizycznogeograficznych województwa łódzkiego na podstawie współczesnych danych przestrzennych. Wyodrębniono 28 mezoregionów, które przynajmniej częściowo mieszczą się w województwie łódzkim. Porównano parametry zweryfikowanych mezoregionów z jednostkami wydzielonymi przez Kondrackiego (2002), takie jak pole powierzchni, obwód, odległość i kierunek przesunięcia środka ciężkości oraz dwa wskaźniki kształtu. Najważniejsze zmiany obejmują wytyczenie dwóch nowych mezoregionów: Międzyrzecza Pysznej i Niecieczy, wyodrębnionego z Kotliny Szczercowskiej i Niecki Przyrowskiej, która powstała z części Niecki Włoszczowskiej.
The paper presents the results of verification of the boundaries of physicogeographical mesoregions of Łódz voivodeship based on contemporary spatial data. The presented attempt to update the existing geographical division of Poland by J. Kondracki coincides with the preparations for landscape audits of voivodships. The basic cartographic material used for verifying and refining the boundaries was the vector and raster data of the Detailed Geological Map of Poland in the 1 :50 000 scale of the Łódz Region, geomorphological sketches included in the Explanations for these maps and the Digital Terrain Model with a resolution at least 100 m. A geomorphological map of the Lodz region turned out very useful (Turkowska 2006). To a lesser extent, the Computer Map of the Hydrographic Division of Poland MPHP 2010 (http://geoportal.kzgw.gov.pl) was applied. GIS software: ArcGIS 10.2 and QGIS 2.14 Essen were used for spatial data analysis. Twenty eight mesoregions, which at least partly fall within the Łódz Region, were delineated as a result of verification and refinement of the boundaries of 25 J. Kondracki's mesoregions (fig. 1, tab. 1). The comparison of mesoregion parameters such as surface area (tab. 2), perimeter, distance and direction of centroid shift (tab. 3), and two shape indices, demonstrated that the corrections of boundaries and displacement of physico-geographic regions are significant (fig. 2). The most important changes include the delineation of two new mesoregions: the Przyrów Basin, which was created from a part of the Włoszczowa Basin (fig. 3) and Interfluve of the Pyszna and Nieciecz Rivers, set apart from the Szczerców Basin (fig. 4).
Źródło:
Prace i Studia Geograficzne; 2018, 63, 1; 93-107
0208-4589
Pojawia się w:
Prace i Studia Geograficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Determination of a mathematical model of the thin-film photovoltaic panel (CIS) based on measurement data
Wyznaczanie modelu matematycznego cienkowarstwowego panelu fotowoltaicznego (CIS) na podstawie danych pomiarowych
Autorzy:
Trzmiel, G.
Powiązania:
https://bibliotekanauki.pl/articles/301199.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
photovoltaic panel
CIS solar cells
approximation
mathematical model
statistical verification
panel fotowoltaiczny
ogniwa słoneczne CIS
aproksymacja
model matematyczny
weryfikacja
Opis:
In this paper the author attempted to determine the most accurate mathematical model of the photovoltaic panel composed of a monolithic structure of series connected Copper Indium Diselenide (CIS) based solar cells, based on its actual measurement data. The purpose of this paper has been achieved by implementing the original applications which, using the methods of approximation, made it possible to design the final mathematical model of the tested panel, characterized by the minimum of error modelling. Using the known literature on the operation of similar facilities, the model parameters were determined directly from the collection of random measurement data; then the obtained models were verified by several different statistical methods. As a result, the best model was selected, based on the smallest dispersion of the theoretical values (simulated) calculated from the model relative to the actual measurements. The model will be used in practice in the future to evaluate the condition (inefficiency, use) of photovoltaic panels, what will be the theme of following articles.
W artykule autor dąży do określenia, w oparciu o rzeczywiste dane pomiarowe, najbardziej dokładnego modelu matematycznego panelu fotowoltaicznego, składającego się z monolitycznej struktury połączonych szeregowo ogniw fotowoltaicznych typu CIS. Cel pracy został osiągnięty poprzez wdrożenie oryginalnych aplikacji, które przy użyciu metod aproksymacji umożliwiły zaprojektowanie ostatecznego modelu matematycznego badanego panelu, charakteryzującego się minimalnym błędem modelowania. Wykorzystując literaturę tematu dotyczącą działania podobnych obiektów nieliniowych, parametry modelu zostały określone bezpośrednio z wcześniej zarchiwizowanych losowych danych pomiarowych. Następnie uzyskane modele zweryfikowano kilkoma różnymi metodami statystycznymi. W wyniku tego wybrano najlepszy model, oparty na najmniejszej dyspersji wartości teoretycznych (symulowanych) obliczonej z modelu w stosunku do rzeczywistych pomiarów. Otrzymany model zostanie w przyszłości zastosowany w praktyce do oceny stanu (niesprawności, zużycia) paneli fotowoltaicznych, co będzie tematem kolejnych artykułów.
Źródło:
Eksploatacja i Niezawodność; 2017, 19, 4; 516-521
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja kompletności danych ogólnokrajowej Bazy Azbestowej metodami teledetekcyjnymi na przykładzie pruszkowskiej dzielnicy Żbików
Verification of completeness of data of the National Asbestos Database by remote sensing methods on the example of the Pruszków district of Żbików
Autorzy:
Ścisłowski, Ł.
Bielecki, A.
Powiązania:
https://bibliotekanauki.pl/articles/132375.pdf
Data publikacji:
2017
Wydawca:
Polskie Towarzystwo Geograficzne
Tematy:
azbest
baza azbestowa
obraz multispektralny
satelita WorldView2
teledetekcja
klasyfikacja nadzorowana
asbestos
asbestos database
multispectral images
WorldView2 satellite
remote sensing
supervised classification
Opis:
Poniższa praca weryfikuje kompletność danych zawartych w ogólnopolskiej Bazie Azbestowej przy użyciu technik teledetekcyjnych z wybranej części gminy miejskiej Pruszków. Podjęto próbę inwentaryzacji cementowo-azbestowych pokryć dachowych przy użyciu wysokorozdzielczych zobrazowań multispektralnych wykonanych przez sensory satelity WorldView 2. We wstępie przedstawiono krótką charakterystykę materiału, jakim jest azbest oraz opisano „Program Oczyszczania Kraju z Azbestu na lata 2009-2032”. Następnie zaprezentowano źródła danych użytych do przeprowadzonych analiz. W części praktycznej opisano metody przygotowania danych, a także proces przeprowadzenia klasyfikacji nadzorowanej, której wynikiem było wykrycie cementowo-azbestowych dachów. Pomimo, że wysokorozdzielcze i multikanałowe zobrazowania nie zawierają wartości odbić dla najodpowiedniejszych do wykrycia azbestu długości fal, otrzymane wyniki można uznać za satysfakcjonujące (np. do celów weryfikacji dokładności inwentaryzacji pokryć azbestowych dla jednostek samorządu terytorialnego). Wyniki przeprowadzonej inwentaryzacji zostały porównane z krajową Bazą Azbestu dla jednej z dzielnic Pruszkowa - Żbikowa. Otrzymano znaczące rozbieżności pomiędzy obiema inwentaryzacjami.
This study verifies the completeness of data contained in the national Asbestos Database, using remote sensing techniques in a selected area of Pruszków. The attempt was made to prepare an inventory of asbestos-cement roofs using the multi-spectral satellite imagery obtained from the high-resolution WorldView 2 satellite. In the introduction, a brief characteristic of the asbestos was presented and the National Asbestos Purification Program for 2009-2032 was described. Then, the sources of data used in the research were presented. The practical part presents the method of data preparation, and then, describes the process of conducting the supervised classification, which resulted in the detection of cement-asbestos roofing. Although the high-resolution and multi-channel WorldView-2 satellite does not record the best wavelength for the detection of asbestos covers, it led results that are satisfactory, e.g. for the purpose of monitoring the accuracy of inventory results carried out for the needs of local governments. The results of the conducted inventory were compared with the nationwide Asbestos Database for the Pruszków district - Żbików. There were significant discrepancies in the number of asbestos covered roofs that were inventoried.
Źródło:
Teledetekcja Środowiska; 2017, 56; 25-35
1644-6380
Pojawia się w:
Teledetekcja Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja kwalifikacji kandydatów na biegłych sądowych z dziedziny kryminalistyki na przykładzie analizy danych dotyczących biegłych sądowych wpisanych na listę prowadzoną przez Prezesa Sądu Okręgowego w Poznaniu
Verification of candidates for court experts in forensics on the example of the practice developed at the District Court in Poznan
Autorzy:
Hrehorowicz, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/692866.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
court experts
determining the qualifications
qualifications of expert
biegli sądowi
weryfikacja
kwalifikacje
Opis:
This article aims to establish the current practice of determining the qualifications of candidates for court experts. This is done on the example of the model developed by the District Court in Poznan on the basis of the author’s research. The study involved examination of personal files of court experts in forensics entered in the list kept by the President of the District Court in Poznan.First, the standard model for determining the qualifications of candidates for  expert witnesses adopted by statute has been presented, and then the  qualifications of expert witnesses from the list and the manner of their  documentation by candidates examined. This is followed by an analysis of the manner in which the qualifications of candidate experts are verified by the President of the District Court in Poznan.
Celem artykułu jest ustalenie modelu weryfikacji kwalifikacji kandydatów na biegłych sądowych istniejącego w praktyce. Model ten ukazano na przykładzie modelu wypracowanego w okręgu poznańskim. Artykuł przygotowano na podstawie badań własnych przeprowadzonych na obszarze Sądu Okręgowego w Poznaniu. Badaniom poddano akta osobowe biegłych sądowych z dziedziny kryminalistyki wpisanych na listę prowadzoną przez Prezesa Sądu Okręgowego w Poznaniu. Artykuł podzielono na dwie części. W pierwszej części ukazano ustawowy model weryfikacji kwalifikacji kandydatów na biegłych sądowych. W części drugiej przedstawiono kwalifikacje biegłych sądowych wpisanych na listę Sądu Okręgowego w Poznaniu oraz sposób ich dokumentowania przez kandydatów na biegłych. W części tej ukazano również wypracowany przez Prezesa Sądu Okręgowego w Poznaniu sposób weryfikacji tych kwalifikacji.  
Źródło:
Ruch Prawniczy, Ekonomiczny i Socjologiczny; 2017, 79, 1; 173-189
0035-9629
2543-9170
Pojawia się w:
Ruch Prawniczy, Ekonomiczny i Socjologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wspomaganie procesu układania planu zajęć dydaktycznych – weryfikacja poprawności planu
Support the process of timetable scheduling for an educational course – timetable verification
Autorzy:
Szczęśniak, B.
Powiązania:
https://bibliotekanauki.pl/articles/113646.pdf
Data publikacji:
2017
Wydawca:
STE GROUP
Tematy:
doskonalenie procesów
baza danych
arkusz kalkulacyjny
procesy informacyjne
process improvement
data base
spreadsheet
information process
Opis:
W artykule przedstawiono rozwiązania, które zostały zastosowane w celu Weryfikacji poprawności tworzonego planu, w narzędziu informatycznym wspomagającym proces układania planu zajęć dla kursu edukacyjnego. Zaprezentowane narzędzie stworzono w arkuszu kalkulacyjnym zgodnie z autorską koncepcją „Mikronarzędzi Bazujących na Relacyjnym Modelu Danych”. Określając założoną funkcjonalność rozwiązania, ustalono główne warunki, które muszą być spełnione, żeby gotowy plan mógł zostać uznany za poprawny. Za pomocą diagramu związków encji zgodnego z CASE – Method pokazano zidentyfikowaną dla przeanalizowanego zagadnienia strukturę danych. Przedstawiono sposób implementacji tej struktury w arkuszu kalkulacyjnym. W najistotniejszej części opracowania, szczegółowo opisano zaproponowane rozwiązania, które pozwalają na weryfikację wszystkich zidentyfikowanych warunków. W końcowej części artykułu zidentyfikowano wszystkie elementy arkusza kalkulacyjnego, które pozwoliły na uzyskanie założonej funkcjonalności.
The article presents solutions applied to verify the correctness of a timetable being developed using an IT tool supporting the process of timetable scheduling for an educational course. The tool being addressed was originally created in a spreadsheet by following the author’s signature concept of “Microtools Based on the Relational Data Model”. In the part dedicated to establishing the functionality assumed for the solution in question, main conditions to be satisfied in order for the timetable to be verified as correct have been determined. The data structure identified for the problem analysed has been illustrated using the Entity Relationship Diagram in line with the CASE Method. The manner in which this structure is implemented in a spreadsheet has been discussed. The most important section of the study provides a detailed description of the proposed solutions enabling verification of all the pre-defined conditions. In closing paragraphs of the article, all spreadsheet elements which enabled the assumed functionality to be achieved have been identified.
Źródło:
Systemy Wspomagania w Inżynierii Produkcji; 2017, 6, 6; 222-233
2391-9361
Pojawia się w:
Systemy Wspomagania w Inżynierii Produkcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 39

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