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

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-100 z 290
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ł:
Niezależność Jednostki Notyfikowanej w procesie weryfikacji WE podsystemów strukturalnych kolei
Autorzy:
Napieralski, J.
Powiązania:
https://bibliotekanauki.pl/articles/249186.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
interoperacyjność
jednostka notyfikowana
weryfikacja WE
Opis:
Wdrażanie interoperacyjności stanowi tło dla realizowanego na szeroką skalę procesu inwestycyjnego na polskiej kolei. Nie można natomiast mówić o interoperacyjności systemu kolei bez przeprowadzanych przez Jednostki Notyfikowane procesów weryfikacji WE podsystemów strukturalnych. Praktyka współdziałania podmiotów zaangażowanych w proces inwestycyjny z Jednostką Notyfikowaną, chociaż na przestrzeni lat niewątpliwie uległa pozytywnej ewolucji, jest jednak obszarem stale wymagającym doskonalenia. Jednocześnie, szczególnego podkreślenia wymaga również zagwarantowana przez Prawodawcę, zarówno polskiego, jaki i europejskiego, niezależność Jednostki Notyfikowanej w procesie weryfikacji WE. W referacie zaprezentowane zostaną podstawowe, obligatoryjne do stosowania mechanizmy gwarantujące niezależność Jednostki Notyfikowanej w procesie weryfikacji WE podsystemów, wraz z ich uzasadnieniem prawnym. Przywołane zostaną również najczęściej występujące w praktyce działalności Jednostki Notyfikowanej zagrożenia dla niezależności i bezstronności wraz z opisem środków minimalizowania tego ryzyka.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2018, 2(116); 171-179
1231-9171
Pojawia się w:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
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ł:
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ł:
Metoda weryfikacji mówcy na podstawie nieuzgodnionej wypowiedzi
Autorzy:
Grad, L.
Powiązania:
https://bibliotekanauki.pl/articles/273287.pdf
Data publikacji:
2005
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
weryfikacja mówcy
niezależna detekcja klas
metody minimalnoodległościowe
Opis:
W artykule została przedstawiona metoda weryfikacji mówcy na podstawie nieuzgodnionej wypowiedzi (ang. text independent). Metoda ta oparta jest na metodzie niezależnej detekcji klas, zaliczanej dp metod klasyfikacji minimalnoodległościowych.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2005, R. 11, nr 22, 22; 93-104
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza koncepcji mDokumentów
Analysis of the mDocuments concept
Autorzy:
Lewandowski, Remigiusz
Powiązania:
https://bibliotekanauki.pl/articles/891248.pdf
Data publikacji:
2018-08-10
Wydawca:
Wyższa Szkoła Bezpieczeństwa Publicznego i Indywidualnego Apeiron w Krakowie
Tematy:
weryfikacja tożsamości
GSM
bezpieczeństwo
identity verification
security
Opis:
Celem artykułu jest przedstawienie analizy zagrożeń związanych z wdrożeniem mechanizmu weryfikacji tożsamości obywatela poprzez wykorzystanie telefonu komórkowego. Analiza ta dotyczy modelu opublikowanego przez Ministerstwo Cyfryzacji Opisu założeń projektu informatycznego pn. „mDokumenty w Administracji Publicznej w Polsce – Faza 1”, opartego o dane identyfikacyjne przechowywane i przetwarzane w ramach rejestrów centralnych. Artykuł oparto o analizę Opisu założeń projektu informatycznego oraz analizę literatury przedmiotu i publicznie dostępnych danych dotyczących stopnia informatyzacji Polski. Analiza wskazuje, że wykorzystanie telefonu komórkowego jako narzędzia identyfikacji obywatela budzi wątpliwości i obarczone jest poważnymi mankamentami. Najważniejsze z nich to: niewystarczająca pewność co do poprawności weryfikacji tożsamości wynikająca m.in. z niezastosowania narzędzi biometrycznych, wysokie ryzyko kradzieży tożsamości poprzez phishing lub poprzez kradzież aparatu telefonicznego, uzależnienie procesu weryfikacji tożsamości od żywotności baterii w telefonie oraz od przebywania w zasięgu działania sieci GSM. Artykuł prowadzi do wniosku, że w dalszych pracach nad koncepcją mDokumentów rozważone powinny zostać możliwości zwiększenia bezpieczeństwa identyfikacyjnego poprzez wprowadzenie identyfikacji opartej o narzędzia biometryczne oraz poprzez wprowadzenie szyfrowania SMS.
The goal of the paper is to present an analysis related to an introduction of citizen identity verification mechanism based on the mobile phone. The analysis refers to the model published by the Ministry of Digitalization in The Description of an IT Project’s Design Brief “mDocuments in the Public Administration in Poland – Phase 1”. The model is based on personal data stored and processed by central registers. The article is based on the analyses of The Description of an IT Project’s Design Brief, the literature concerning the issue as well as publicly available data referring to the level of Poland’s digitalization. The analysis shows that using a mobile phone as an instrument of citizen identification is questionable and it has various drawbacks. The most important of them refer to insufficient confidence related to the correctness of a verified identity (resulting from lack of biometric tools), high risk of identity theft by phishing or phone theft, dependence of the identity verification process on the battery lifespan as well as GSM coverage. The article leads to the conclusion that one should consider possible ways of increasing the identification security in the prospective work on the idea of mDocuments. These ways include identification based on biometric tools and SMS encryption.
Źródło:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje; 2016, 24; 135-150
2299-4033
Pojawia się w:
Kultura Bezpieczeństwa. Nauka – Praktyka – Refleksje
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Timed concurrent state machines
Współbieżne maszyny stanowe z czasem
Autorzy:
Daszczuk, W. B.
Powiązania:
https://bibliotekanauki.pl/articles/305419.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
metody formalne
weryfikacja modelowa
weryfikacja w czasie rzeczywistym
automaty czasowe
formal methods
model checking
real time verification
Timed Automata
Opis:
Timed Concurrent State Machines are an application of Alur Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to storę a verified system in ready-to-verification form, and to multiply it by various testing automata.
Współbieżne maszyny stanowe z czasem TCSM są aplikacją automatów czasowych Alura w środowisku koincydencyjnym współbieżnych maszyn czasowych CSM (w przeciwieństwie do środowisk przeplotowych). TCSM pasują do idei automatów testujących, które pozwalają wyspecyfikować zależności czasowe łatwiej niż poprzez formuły temporalne. Ponadto zdefiniowano sposób wyznaczania globalnej przestrzeni stanów w dziedzinie czasu (współbieżne maszyny stanowe regionów RCSM), co pozwala przechowywać badany system w postaci gotowej do weryfikacji i mnożyć go przez różne automaty testujące.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 23-36
1508-2806
2300-7036
Pojawia się w:
Computer Science
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ł:
Wykorzystanie metody AHP jako modelu decyzyjnego w procedurze weryfikacji dostawców wybranego przedsiębiorstwa
Using the AHP method as decisions model to verify suppliers in a chosen company
Autorzy:
Michalczyk, L.
Powiązania:
https://bibliotekanauki.pl/articles/1377704.pdf
Data publikacji:
2013
Wydawca:
Polskie Wydawnictwo Ekonomiczne
Tematy:
logistyka
metoda AHP
weryfikacja dostawców
logistics
AHP method
Opis:
Artykuł omawia zastosowanie metody AHP w opisie klasyfikującym dostawców wybranego przedsiębiorstwa branży spożywczej. W ramach analizy wyszczególniono panel ekspercki, ustalono kryteria wartościowania dostawców definiując zakres: korzyści, szans, zagrożeń i ryzyka związanego z każdym z tych kryteriów. Na tej podstawie można też budować szablony wartościujące dostawców również w innych przedsiębiorstwach, zwłaszcza produkcyjnych. Element ten wyznacza również utylitarny niniejszego artykułu, który mógłby stanowić model decyzji dotyczących wyboru dostawców na konkurencyjnym rynku.
The article discusses the use of the AHP method to classify the suppliers of a chosen foodstuff company. As part of the analysis, a team of experts was established and evaluation criteria for suppliers were delineated with the scope of benefits, opportunities, dangers and risks defined for each of the criteria. The template may also be used to evaluate suppliers in other companies, especially production-oriented. The article's utility consists in providing a decision process template for selecting suppliers in a competitive market.
Źródło:
Gospodarka Materiałowa i Logistyka; 2013, 1; 26-32
1231-2037
Pojawia się w:
Gospodarka Materiałowa i Logistyka
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ł:
Procedura weryfikacji metrologicznej potokowego, zautomatyzowanego systemu do kontroli przemysłowych wyrobów elektrycznych
The metrological verification procedure of automatic testing system for industrial electrical products
Autorzy:
Kern, J.
Machalica, P.
Powiązania:
https://bibliotekanauki.pl/articles/157432.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
system pomiarowy
weryfikacja metrologiczna
measurement system
metrological verification
Opis:
Referat przedstawia rozwiązanie problemu weryfikacji funkcjonalnej i metrologicznej zautomatyzowanego systemu do testowania wyrobów elektrycznych, systemu o podwyższonych wymaganiach z zakresu wydajności i wiarygodności wyników oceny wyrobów. Procedura, opracowana w oparciu o analizę niezawodnościową i opracowany zbiór etalonów, modelujących parametry testowanych obiektów, integruje dwie techniki diagnostyczne - współbieżne, permanentne monitorowanie stanów połączeń przemieszczanych głowic pomiarowych; oraz -okresową diagnostykę, w postaci dwu różnych działań -weryfikacji funkcjonalnej oraz weryfikacji niepewności pomiarowych systemu.
The paper presents the solution of the functional and metrological verification of the automatic system, developed for testing electrical products. The system is characterized by high speed of testing and high level of classification quality. The procedure is developed on the basis of reliability analyses and a special set of etalons, designed for modelling the characteristic of the product under test. The verification procedure integrates two diagnostic methods – concurrent, permanent monitoring of the states of moving test head connectors, and periodic diagnostics – in a form of two different activities- functional verification and metrological verification.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 368-371
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza dokładności modeli układu koło-podłoże dla warunków spulchnionej gleby lekkiej
Accuracy analysis of the tyre-soil models to the conditions of the loosened light sandy soil
Autorzy:
Szafarz, A.
Błaszkiewicz, Z.
Powiązania:
https://bibliotekanauki.pl/articles/291388.pdf
Data publikacji:
2005
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
układ koło-podłoże
model
weryfikacja numeryczna
weryfikacja empiryczna
spulchnianie gleby
gleba lekka
tyre-soil system
numerical verification
empirical verification
light soil
Opis:
W pracy przedstawiono analizę dokładności znanych modeli układu koło - podłoże dla warunków ruchu kół po spulchnionej glebie lekkiej. Obliczone z modeli w badaniach symulacyjnych takie parametry jak głębokość koleiny, opór toczenia i siła uciągu kół, na podstawie parametrów opon i parametrów trakcyjnych gleby wyznaczonych doświadczalnie, odniesiono odpowiednio do rezultatów badań empirycznych. Wykazano małą dokładność analizowanych modeli z wyjątkiem uwzględniających wiele parametrów opon i podłoża modeli Błaszkiewicza opartych o metody numeryczne.
In this work the accuracy analysis of the known tyre - soils models was performed to the conditions of the light sandy soil. The calculated values from the models of the traction parameters: tyre sinkage, rolling resistance and drawbar pull, on the basis the tyre and traction soil parameters, were compared with the investigation results, respectively. It was stated the small accuracy of the models other authors in the analysed soil conditions, exception of the Błaszkiewicz computer based models for the tyre sinkage and rolling resistance, included many tyre and soil parameters.
Źródło:
Inżynieria Rolnicza; 2005, R. 9, nr 2, 2; 145-152
1429-7264
Pojawia się w:
Inżynieria Rolnicza
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ł:
Technologie OLEDB, ADO i ADO.NET w systemach informatycznych wspomagających proces weryfikacji wiedzy studentów
OLEDB and ADO.NET technologies in information systems supporting verification of the students’ knowledge
Autorzy:
Mueller, W.
Boniecki, P.
Kujawa, S.
Powiązania:
https://bibliotekanauki.pl/articles/290408.pdf
Data publikacji:
2005
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
weryfikacja wiedzy
student
OLEDB
ADO
ADO.NET
knowledge verification
Opis:
Proces weryfikacji wiedzy klasycznymi metodami, przy wzrastającej liczbie studentów oraz generalnie niskiej umiejętności przelewania swoich myśli na papier, jest wyjątkowo czasochłonny i w coraz większym stopniu subiektywny. W tej sytuacji uzasadniona jest budowa systemów informatycznych, pozwalających na sprawdzenie wiedzy studentów. Wśród technologii ułatwiających tworzenie tego typu aplikacji, które powinny mieć charakter internetowy, jest technologia OLEDB wraz z interfejsem ADO i ADO.NET. Upraszczają one w znaczący sposób pobór informacji z różnych źródeł danych, które stanowią podstawę budowy pytań. Na bazie tych technologii wytworzono systemy informatyczne, wspomagające proces weryfikacji wiedzy zdobytej przez studentów.
Traditional knowledge verification is exceptionally time consuming and subjective as the number of students increases and, generally, their writing skills are relatively low. This situation justifies construction of the information systems allowing verification of students’ knowledge. Among the internet technologies facilitating development of such applications there are the OLEDB and its interfaces – ADO and ADO.NET. They significantly simplify acquiring information from various data sources as the basis for constructing questions. With the use of such technologies the information systems were developed to support verification of knowledge gained by students.
Źródło:
Inżynieria Rolnicza; 2005, R. 9, nr 8, 8; 229-238
1429-7264
Pojawia się w:
Inżynieria Rolnicza
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ł:
Petri nets and activity diagrams in logic controller specification – transformation and verification
Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
Autorzy:
Grobelna, I.
Grobelny, M.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/389795.pdf
Data publikacji:
2010
Wydawca:
Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:
formal verification
logic controller
model checking
Petri nets
UML Activity
Diagrams
formalna weryfikacja
sterownik logiczny
weryfikacja modelowa
sieci Petriego
diagramy aktywności UML
Opis:
The paper presents formal verification method of logic controller specification taking into account user-specified properties. Logic controller specification may be expressed as Petri net or UML 2.0 Activity Diagram. Activity Diagrams seem to be more user-friendly and easy-understanding that Petri nets. Specification in form of activity diagram may afterwards be transformed into Petri net, which may then be formally verified and used to automatically generate implementation (code). A new transformation method dedicated for event-driven systems is proposed. Verification process is executed automatically by the NuSMV model checker tool. Model description based on specification and properties list is being built. Model description derived from Petri net is presented in RTL-level and easy to synthesize as reconfigurable logic controller or PLC. Properties are defined using temporal logic. In model checking process, verification tool checks whether requirements are satisfied in attached system model. If this is not the case, appropriate counterexamples are generated.
Praca prezentuje metodę formalnej weryfikacji specyfikacji sterownika logicznego uwzględniającą właściwości podane przez użytkownika. Specyfikacja sterownika logicznego może być przedstawiona m.in. w postaci sieci Petriego lub diagramu aktywności języka UML. Diagramy aktywności wydają się być bardziej przyjazne i zrozumiałe dla użytkownika niż sieci Petriego. Specyfikacja w postaci diagramu aktywności może zostać przekształcona do sieci Petriego, która następnie może być formalnie zweryfikowana i wykorzystana do automatycznej generacji implementacji (kodu). Węzły diagramu aktywności konsekwentnie interpretowane są jako tranzycje sieci Petriego, w odróżnieniu od klasycznego podejścia (w starszych wersjach UML) gdzie odwzorowywało się je jako miejsca sieci Petriego. Proces weryfikacji wykonywany jest automatycznie przez narzędzia weryfikacji modelowej. Tworzony jest opis modelu bazujący na specyfikacji oraz lista wymagań. Nowatorskim podejściem jest przedstawienie sieci Petriego na poziomie RTL w taki sposób, że łatwo jest przeprowadzić syntezę logiczną sieci w postaci współbieżnego rekonfigurowalnego sterownika logicznego lub sterownika PLC bez konieczności przekształcania modelu. Wymagania określone są przy użyciu logiki temporalnej. W procesie weryfikacji modelowej narzędzie weryfikujące NuSMV sprawdza, czy model systemu spełnia stawiane mu wymagania. Jeżeli tak nie jest, generowany jest odpowiedni kontrprzykład.
Źródło:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2010, 13; 79-91
1899-0088
Pojawia się w:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Obliczenia symulacyjne prądu upływu powierzchni starzonych izolatorów trakcyjnych w ujęciu teorii perkolacji
Simulation calculation of surface’s aged electrical traction leakage current in percolation theory
Autorzy:
Frączak, P.
Banaszak, S.
Powiązania:
https://bibliotekanauki.pl/articles/376854.pdf
Data publikacji:
2017
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
prąd perkolacji izolatora
laboratoryjna weryfikacja prądu perkolacji izolatora
teoria perkolacji
Opis:
W pracy przedstawiono wartości natężenia prądu upływu powierzchni izolatorów trakcyjnych kompozytowych uzyskane w czasie badań starzeniowych oraz obliczeń symulacyjnych za pomocą modeli elektrycznych perkolacji ich powierzchni. Badania procesu starzenia izolatorów trakcyjnych przeprowadzono w stosownej komorze starzeniowej przy odpowiedniej wartości napięcia sieci i określonym stężeniu solanki w postaci mgły. Pomiary i rejestrację prąd upływu powierzchni starzonych izolatorów trakcyjnych dokonywano za pomocą specjalnie zbudowanego urządzenia. Natomiast obliczenia symulacyjne prądu upływu powierzchni starzonych izolatorów trakcyjnych dokonano za pomocą modeli elektrycznych perkolacji (perkolacja dla gałęzi na sieci) ich powierzchni. Modele elektryczne perkolacji stanowią obwody elektryczne, które składają się z sieci kwadratowych o charakterze impedancyjnym oraz odpowiednich źródeł napięcia o określonej częstotliwości. Modele elektryczne perkolacji zawierają losowe sposoby zwierania gałęzi na sieciach. Procedura obliczeń symulacyjnych prądu upływu starzonych izolatorów trakcyjnych polegała na stworzeniu ich schematów zastępczych powierzchni oraz zadeklarowaniu stosownych analiz prądowych w programie PSpice. Uzyskane w ten sposób wartości natężenia prądu upływu powierzchni izolatorów prętowych porównano z wartościami wyznaczonymi doświadczalnie podczas badań starzeniowych. Otrzymano podobne wartości natężenia prądu upływu powierzchni izolatorów w wyniku obliczeń symulacyjnych (teoria perkolacji) oraz pomiarów laboratoryjnych.
The paper presents the value of traction composite insulator surface’s leakage current obtained during the study of aging and the simulation calculations using electrical models of their surface’s percolation. The research of traction insulators going process have been conducted in the appropriate chamber at a suitable voltage value with a certain concentration of the brine in the form of mist. The measurement and registration of surface leakage current of aged traction insulators have been made using specially developed equipment. The simulation calculations of aged traction insulators surfaces’ leakage have been made using the models of their surface’s electrical percolation (percolation for the branch network). Electrical percolation models represent electric circuits, which consist of impedance square networks and the corresponding voltage sources of a specific frequency. The electric percolation models include the random ways of closing the branches on the network. The procedure of simulation calculations of aged traction insulators surfaces’ leakage current was to create their surfaces’ substitute diagrams and to declare the relevant current analyzes in PSpice software. The obtained values of rod insulators surfaces’ leakage current have been compared with the values designated experimentally during the aging researches. The values of insulators surfaces’ leakage current obtained as a result simulation calculations (percolation theory)were similar to the laboratory measurements.
Źródło:
Poznan University of Technology Academic Journals. Electrical Engineering; 2017, 90; 195-202
1897-0737
Pojawia się w:
Poznan University of Technology Academic Journals. Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Statistical verification of possibility of creating of the combustion engine sets
Analiza osiągów silników spalinowych wprowadzanych do eksploatacji po różnych okresach ich wytwarzania
Autorzy:
Sitnik, L. J.
Powiązania:
https://bibliotekanauki.pl/articles/243072.pdf
Data publikacji:
2007
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
silniki spalinowe
osiągi
weryfikacja statystyczna
combustion engines
performance
statistical verification
Opis:
Investigations were conducted two parties after 30 combustion engines about sparkle ignition the same type and kind every. The row of parameters in investigations was marked characterizing the engines. Got results were analyzed statistically. With verification this results, that some parameters of engines, the same party (how np. maximum rotational moment) they characterize from value of average with comparatively small dispersions. Deviations these contain in borders several percentage what it was it been possible to treat as value in borders of measuring mistakes. Different however, (how for example the temperature of fumes) the larger fluctuations show. It the unexpectedly large dispersions were noticed was near steering parameters of engine such how the relation of air to fuel or else the angle of outdistancing the ignition. Dispersions these come, near small speeds of crank rampart, to tens percentage and get smaller to a dozen or so percentage in measure of growth of rotational speed. It is then the unexpected result especially that set the dispersions of value practically such do not influence on parameters of engines how maximum rotational moment or else the isolated waste of fuel. Every party was has brought back it is possible observations these to engines. It was noticed was however the differences in parameters of engines from both parties. The studied parties of engines were produced in comparatively distant temporary compartment two quarters. Proof was the aim of work or noticed differences between parties are essential.
Przeprowadzono badania hamowniane dwu partii po 30 silników spalinowych o zapłonie iskrowym tego samego typu i rodzaju każda. W badaniach wyznaczono szereg parametrów charakteryzujących silniki. Przeanalizowano statystycznie uzyskane rezultaty. Z weryfikacji tej wynika, że niektóre parametry silników, tej samej partii (jak np. maksymalny moment obrotowy) charakteryzują się stosunkowo małymi rozrzutami od wartości średniej. Odchylenia te zawierają się w granicach kilku procent co można potraktować jako wartości w granicach błędów pomiarowych. Inne natomiast, (jak np. temperatura spalin) wykazują fluktuacje większe. Nieoczekiwanie duże rozrzuty zauważono przy nastawach silnika takich jak stosunek powietrza do paliwa czy też kąt wyprzedzenia zapłonu. Rozrzuty te dochodzą, przy małych prędkościach wału korbowego, do kilkudziesięciu procent i zmniejszają się do kilkunastu procent w miarę wzrostu prędkości obrotowej. Jest to wynik nieoczekiwany zwłaszcza, że rozrzuty wartości nastaw praktycznie nie wpływają na osiągi silników takie jak maksymalny moment obrotowy czy też jednostkowe zużycie paliwa. Spostrzeżenia te odnieść można do silników każdej partii. Zauważono jednak różnice w osiągach silników z obu partii. Badane partie silników wyprodukowano w stosunkowo odległym przedziale czasowym dwu kwartałów. Celem pracy było wykazanie czy zauważone różnice między partiami są istotne.
Źródło:
Journal of KONES; 2007, 14, 2; 423-431
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Podstawowe domniemania w procesie weryfikacji wyborów w państwie demokratycznym
Basic presumptions in the judicial election verification process in a democratic state
Autorzy:
Mojski, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/1929710.pdf
Data publikacji:
2021-08-31
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
weryfikacja wyborów
domniemania
państwo demokratyczne
election verification
presumptions
democratic state
Opis:
Proces weryfikacji wyborów, rozumiany jako sprawdzenie prawidłowości ich przebiegu według prawnie wyznaczonych ram, jest niezbędnym elementem procedury wyborczej w państwie demokratycznym. Proces ten w stosunkowo krótkim czasie musi doprowadzić do stwierdzenia ważności lub nieważności wyborów, co ma podstawowe znaczenie dla potwierdzenia lub zaprzeczenia demokratycznej legitymacji wybranych przedstawicieli władzy. Stopień skomplikowania wyborów przekłada się przy tym na stopień skomplikowania procesu ich weryfikacji, co w celu jego uproszczenia prowadzi do wykorzystywania w nim ustanowionych prawnie domniemań. Celem tego opracowania jest teoretyczna analiza podstawowych domniemań wyborczych państw demokratycznych, tj. domniemania ważności wyborów i domniemania konstytucyjności procedury wyborczej, z uwzględnieniem niebezpieczeństw ustrojowych związanych z ich nieprawidłowym stosowaniem.
The election verification process, understood as checking the correctness of their course within the legally prescribed framework, is an essential element of the election procedure in a democratic state. This process in a relatively short period of time, must lead to the declaration of validity or nullity of the elections, which is necessary for confirming or contradicting the democratic legitimacy of elected representatives of power. The complexity of the elections translates into the complexity of the process of their verification, which, in order to simplify it, leads to the use of legally established presumptions in it. The aim of this study is the theoretical analysis of the basic election presumptions of democratic states, i.e. the presumption of validity of elections and the presumption of constitutionality of the election procedure, taking into account the systemic dangers related to their incorrect application.
Źródło:
Przegląd Prawa Konstytucyjnego; 2021, 4 (62); 225-234
2082-1212
Pojawia się w:
Przegląd Prawa Konstytucyjnego
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ł:
Projektowanie betonu samozagęszczalnego
Autorzy:
Gołaszewski, J.
Szwabowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/343137.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Producentów Cementu
Tematy:
beton samozagęszczalny
projektowanie składu
wymagania reologiczne
skład
składnik
weryfikacja doświadczalna
Źródło:
Budownictwo, Technologie, Architektura; 2011, 2; 62-69
1644-745X
Pojawia się w:
Budownictwo, Technologie, Architektura
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification of logical descriptions with functional indeterminacy
Weryfikacja specyfikacji logicznych z indeterminizmem funkcjonalnym
Autorzy:
Cheremisinova, L.
Powiązania:
https://bibliotekanauki.pl/articles/153445.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automatyzacja projektowania
formalna weryfikacja
symulacja
design automation
formal verification
simulation
Opis:
The problem under discussion is to check whether a given system of incompletely specified Boolean functions is implemented by a logical description with functional indeterminacy that is represented by a system of connected blocks. Each of blocks is specified by a system of completely or incompletely specified Boolean functions. Simulation based and SAT based verification methods is considered. The first method simulates the structure specified by the second description on the domain of the first description. The second method formulates the verification problem as checking satisfiability of a conjunctive normal form. The results of computer investigation of the proposed methods are given.
W artykule omówiono problem sprawdzania, czy dany układ częściowo określonych funkcji Boole'owskich jest realizowany przez specyfikację logiczną z indeterminizmem funkcjonalnym. Ta specyfikacja jest przedstawiona jako system połączonych bloków, z których każdy odpowiada układowi całkiem albo częściowo określonych funkcji Boole'owskich. Rozpatrzono metodę symulacyjną i metodę bazującą na analizie spełnialności funkcji. Pierwsza z tych metod symuluje strukturę, opisaną przez drugą specyfikację, w dziedzinie pierwszej specyfikacji. Druga metoda sprowadza problem weryfikacji do problemu spełnialności funkcji w postaci iloczynu sum. Przedstawiono wyniki komputerowych badań skuteczności zaproponowanych metod.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 519-513
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Identity verification based on certificateless public key cryptography
Weryfikacja tożsamości oparta o bezcertyfikatową kryptografię klucza publicznego
Autorzy:
Pejaś, J.
Klasa, T.
Powiązania:
https://bibliotekanauki.pl/articles/153555.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
weryfikacja tożsamości
uwierzytelnianie
bezpieczeństwo informacji
identity verification
authentication
information security
Opis:
Verification of claimed identity becomes a problem of growing significance nowadays, as the number of e-commerce transactions grows rapidly and new information distribution channels are created by companies and institutions of all kinds. As most of them rely or make a use of a public network, such as the Internet, security of transferred data and information in most cases requires authorization of the user. Unfortunately, most existing authentication solutions create rather weak binding with real identity of the user, while some, like ID documents, are worthless in case of electronic transactions as they are nothing more than just a piece of paper or plastic, with no real connection with the electronic system. A secure digital signature based on traditional PKI, at the same time, relies on trust migrated through commercial companies, with the help of certificates. The proposed protocol of identity verification combines national e-ID document functionality with certificateless Public Key Cryptography (CL-PKC) to provide a safe and trustful way of identity verification, joining most advantages of current systems and limiting downsides to a minimum.
Weryfikacja tożsamości stała się problemem rosnącej wagi, gdy liczba transakcji w handlu elektronicznym rośnie gwałtownie a nowe kanały dystrybucji informacji są tworzone przez różne firmy i instytucje. Ze względu na fakt, że większość z nich wykorzystuje sieć publiczną, jak na przykład Internet, bezpieczeństwo przesyłanych danych i informacji w większości przypadków wymaga autoryzacji użytkownika. Niestety, większość istniejących technik uwierzytelniania tworzy dość słabe powiązanie z rzeczywistą tożsamością użytkownika, a inne, takie jak dokumenty tożsamości, są bezużyteczne w przypadku transakcji elektronicznych gdyż są niczym więcej niż kawałkiem papieru lub plastiku, bez faktycznego połączenia z systemem elektronicznym. Jednocześnie, bezpieczny podpis elektroniczny oparty o tradycyjne PKI polega na zaufaniu przekazywanemu poprzez komercyjne podmioty, za pomocą certyfikatów. Proponowany protokół weryfikacji tożsamości łączy funkcjonalność narodowego elektronicznego dokumentu tożsamości z bezcertyfikatową kryptografią klucza publicznego (CL-PKC) aby zapewnić bezpieczny i godny zaufania sposób weryfikacji tożsamości, łączący większość zalet aktualnych rozwiązań i ograniczający wady do minimum.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 12, 12; 1533-1536
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
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ł:
Cooperation of multiple autonomous robots and analysis of their swarm behawior
Współpraca roju autonomicznych robotów i analiza ich zbiorowych zachowań
Autorzy:
Czejdo, B.
Daszczuk, W. B.
Grabski, W.
Bhattacharya, S.
Powiązania:
https://bibliotekanauki.pl/articles/316981.pdf
Data publikacji:
2018
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
autonomous robots
behavior verification
model checking
integrated model of distributed systems
deadlock
termination
autonomiczne roboty
weryfikacja zachowań
weryfikacja modelowa
zintegrowany model systemów rozproszonych
zakleszczenie
terminacja
Opis:
In this paper, we extended previous studies of cooperating autonomous robots to include situations when environmental changes and changes in the number of robots in the swarm can affect the efficiency to execute tasks assigned to the swarm of robots. We have presented a novel approach based on partition of the robot behavior. The sub-diagrams describing sub-routs allowed us to model advanced interactions between autonomous robots using limited number of state combinations avoiding combinatorial explosion of reachability. We identified the systems for which we can ensure the correctness of robots interactions. New techniques were presented to verify and analyze combined robots’ behavior. The partitioned diagrams allowed us to model advanced interactions between autonomous robots and detect irregularities such as deadlocks, lack of termination etc. The techniques were presented to verify and analyze combined robots’ behavior using model checking approach. The described system, Dedan verifier, is still under development. In the near future, timed and probabilistic verification are planned.
W artykule opisano kontynuację wcześniejszych badań dotyczących współpracy autonomicznych robotów wewnątrz budynku. Obejmują one obejmują sytuacje, w których zmiany środowiska i zmiana liczby robotów w roju mogą poprawić lub pogorszyć efektywność wykonywania zadań przypisanych do roju robotów. Zaprezentowaliśmy nowatorskie podejście z wykorzystaniem dzielenia zachowań robota na zachowania składowe. Poddiagramy opisujące kładowe podmarszruty pozwoliły nam modelować zaawansowane interakcje między autonomicznymi robotami w oparciu o ograniczoną liczbę kombinacji zachowań, unikając eksplozji kombinatorycznej przestrzeni osiągalności. Opisano systemy, dla których możemy zapewnić poprawność interakcji robotów i zaprezentowano techniki weryfikacji i analizy zachowań połączonych robotów. Diagramy podzielone na partycje pozwoliły nam modelować zaawansowane interakcje pomiędzy autonomicznymi robotami i wykrywać nieprawidłowości, takie jak zakleszczenia, brak terminacji itp. Przedstawiono techniki weryfikacji i analizy złożonych zachowań robotów za pomocą techniki weryfikacji modelowej. Opisany system weryfikacji, Dedan, jest wciąż rozwijany. W niedalekiej przyszłości planowana jest weryfikacja z czasem rzeczywistym i probabilistyczna.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2018, 19, 12; 872-879
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Offline signature identification and verification using noniterative shape context algorithm
Autorzy:
Adamski, M.
Saeed, K.
Powiązania:
https://bibliotekanauki.pl/articles/333019.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
weryfikacja podpisu
offline signature verification (SV)
signature identification
shape context method
Opis:
The paper presents experimental results on offline signature identification and verification. At the first stage of the presented system, the binary image of the signature undergoes skeletonization process using KMM algorithm to have a thinned, one pixel-wide line, to which a further reduction is applied. For each thinned signature image a fixed number of points comprising the skeleton line are selected. The recognition process is based on comparing the reference signatures with the questioned samples using distance measure computed by means of Shape Context algorithm. The experiments were carried out using a database containing signatures of 20 individuals. For the verification process random forgeries were used to asses the system error. The main advantage of the presented approach lies in utilizing only one reference signature for both identification and verification tasks, whereas the achieved results are comparable with respect to the systems that use several training samples per subject.
Źródło:
Journal of Medical Informatics & Technologies; 2009, 13; 47-52
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prognozy wskaźnika zatrudnienia i ich weryfikacja w krajach Unii Europejskiej w świetle strategii „Europa 2020”
Employment rate forecasts and their verification in the European Union member states in the light of the Europe 2020 strategy
Autorzy:
Krupowicz, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/424982.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
strategia „Europa 2020”
prognozy wskaźnika zatrudnienia
weryfikacja prognoz
subiektywne modele formalne
Opis:
Jednym z celów strategii „Europa 2020” jest osiągnięcie wskaźnika zatrudnienia osób w wieku 20-64 lata na poziomie co najmniej 75%. Celem badania było ustalenie, jakiego tempa zmian w czasie należy spodziewać się, aby kraje wspólnoty osiągnęły założone wartości wskaźnika w 2020 roku. Zbudowano subiektywne modele formalne o różnych postaciach funkcji trendu dla krajów członkowskich Unii. Wyznaczono prognozy wskaźnika do 2020 roku. Zweryfikowano prognozy wyznaczone na lata 2010-2015. Posłużono się średnimi błędami ex post (ME, MAE, MAPE), współczynnikami: Theila i rozbieżności dla różnic. Prognozy były generalnie obarczone małymi błędami, ale systematycznie zawyżane, a przyczynami złej jakości prognoz było nieodgadnięcie średniej wartości zmiennej. Stosując kryterium minimalizacji błędu średniego ex post, ustalono, że w 18 krajach oraz całej wspólnocie charakterystyczny był przyspieszony wzrost, w 4 krajach – stały wzrost, w 3 – spowolniony wzrost, a w 2 – spowolniony spadek wskaźnika zatrudnienia.
Źródło:
Econometrics. Ekonometria. Advances in Applied Data Analytics; 2017, 1 (55); 25-42
1507-3866
Pojawia się w:
Econometrics. Ekonometria. Advances in Applied Data Analytics
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ł:
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ł:
Model do wyznaczania oporu toczenia opon
A model for the determination of the wheel resistance forces
Autorzy:
Błaszkiewicz, Z.
Powiązania:
https://bibliotekanauki.pl/articles/288493.pdf
Data publikacji:
2006
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
opór toczenia opon
model
weryfikacja empiryczna
wheel resistance force
empirical verification
Opis:
W pracy przedstawiono nowy model do wyznaczania oporu toczenia opon opracowany przez autora. Model jest oparty na uproszczonej metodzie wyznaczania przestrzennego kształtu powierzchni kontaktu opony z podłożem i uwzględnia odkształcenia opon. Przeprowadzona weryfikacja empiryczna modelu wykazała dużą zgodność wyników uzyskanych z obliczeń z wynikami badań doświadczalnych.
In this work the new model for the determination of the wheel resistance force elaborated by author, is presented. This model contains the simplified method for the determination of the parameters of the spatial contact area the tyre with the soil and takes wheel deformations. The empirical verification shows good agreement of the calculated resistance forces of the tyres obtained from the model with the experimental results.
Źródło:
Inżynieria Rolnicza; 2006, R. 10, nr 2 (77), 2 (77); 137-144
1429-7264
Pojawia się w:
Inżynieria Rolnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Offline signature verification based on shape contexts using shared and user-specific thresholds
Autorzy:
Adamski, M.
Saeed, K.
Powiązania:
https://bibliotekanauki.pl/articles/333777.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
offline signature verification (SV)
shape contexts
weryfikacja podpisu w trybie offline
Opis:
In this paper we present a system for offline signature verification based on Shape Context Descriptors. The system input are binarized images of handwritten signatures from GPDS database available for non-commercial research. During preprocessing each signature image is thinned using KMM algorithm in order to obtain 1-pixel wide skeleton. The feature vector is built from Shape Context Descriptors computed for selected points on skeletonized signature line. The verification process is based on the distance measure that uses Shape Context Descriptors. The presented system is evaluated using random and skilled forgeries with shared and user-specific thresholds.
Źródło:
Journal of Medical Informatics & Technologies; 2013, 22; 195-201
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
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ł:
Modelowanie relacyjne struktury technologicznych linii suszarni ziarna zboz
Autorzy:
Myhan, R
Powiązania:
https://bibliotekanauki.pl/articles/807214.pdf
Data publikacji:
1997
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:
badania modelowe
linie technologiczne
zboza
suszenie
weryfikacja poprawnosci modelu
ziarno
suszarnie
Opis:
Paper presents the principles for developing and formal verifying relational structures of process lines for drying grain. Author proposes the objects representing individual process line components to be divided into classes. Relational model limits, method for recording structure, and the method of formal verification of recording accuracy are defined herein. These specifications provide a foundation for developing software capable to representing the structure of any drying plant process line.
Praca dotyczy określenia ogólnych zasad tworzenia i formalnej weryfikacji poprawności modelu relacyjnego struktury linii technologicznej suszami ziarna zbóż. Założenia te stanowią podstawę przy opracowywaniu oprogramowania pozwalającego na odwzorowanie dowolnej linii technologicznej suszarni.
Źródło:
Zeszyty Problemowe Postępów Nauk Rolniczych; 1997, 445; 269-276
0084-5477
Pojawia się w:
Zeszyty Problemowe Postępów Nauk Rolniczych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Identyfikacja błędnych podpisów w kolekcjach
Batch identification of bad signatures
Autorzy:
Pieprzyk, J.
Pastuszak, J.
Powiązania:
https://bibliotekanauki.pl/articles/317682.pdf
Data publikacji:
2001
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
weryfikacja podpisów cyfrowych
weryfikacja podpisów cyfrowych w kolekcjach
identyfikacja błędnych podpisów
kody identyfikujące błędne podpisy
digital signature verification
batch signature verification
bad signature identification
identification codes
Opis:
Weryfikacja poprawności podpisów cyfrowych jest obliczeniowo kosztowna. Aby ją zwiększyć, zamiast pojedynczych podpisów weryfikacji poddaje się kolekcje. Jeżeli wszystkie podpisy w kolekcji są poprawne, to cała kolekcja jest akceptowana. Pojawienie się błędnych podpisów w kolekcji powoduje, że weryfikacja jest błędna. Nie można odrzucić całej kolekcji, zachodzi więc konieczność identyfikacji błędnych podpisów w kolekcji. W artykule zdefiniowano metody identyfikacji błędnych podpisów. W szczególności określono weryfikacje typu "dziel i rządź", w których wejściowe kolekcje są dzielone na podkolekcje tak długo, aż końcowe błędne kolekcje zawierają pojedyncze podpisy. Opisano również weryfikator Hamminga identyfikujący jeden błędny podpis w kolekcji oraz uogólniono ten weryfikator do postaci dwupoziomowego weryfikatora, umożliwiającego identyfikacje dwóch błędnych podpisów. Podano też definicję ogólnego weryfikatora zdolnego do identyfikacji dowolnej liczby błędnych podpisów w kolekcjach.
Verification of digital signatures is expensive in terms of computing resources required to perform the task. Batch verification is a technique that uses homomorphic property to increase efficiency. If all signatures are correct in a batch, the whole batch is accepted otherwise bad signature must be identified and rejected. For obvious reasons, rejection of bad batches is not possible as they typically include also valid signatures that must be accepted. In the paper, methods of bad signature identification are defined. In particular, the identification using the "divide and conquer" method is described. In this method the input batch is repeatedly divided into sub-batches until the final sub-batches contain single bad signatures. The Hamming verifier is defined as the one being able to identify a single bad signature. Its generalisation allowing identification of two bad signatures resulting in the so-called two level Hamming verifier, is given. The work concludes with remarks about verifiers that identify arbitrary number of bad signatures.
Źródło:
Telekomunikacja i Techniki Informacyjne; 2001, 2; 46-60
1640-1549
1899-8933
Pojawia się w:
Telekomunikacja i Techniki Informacyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O konieczności wykonania drugiej edycji Szczegółowej Mapy Geologicznej Sudetów w skali 1 : 25 000 : przykłady rewizji budowy geologicznej z wykorzystaniem podkładu lidarowego numerycznego modelu powierzchni terenu
About the need to develop the second edition of the detailed geological map of the Sudetes at the scale of 1 : 25,000 : examples of a revision of the geological pattern using the LIDAR Digital Elevation Models
Autorzy:
Wojewoda, J.
Powiązania:
https://bibliotekanauki.pl/articles/2075533.pdf
Data publikacji:
2016
Wydawca:
Państwowy Instytut Geologiczny – Państwowy Instytut Badawczy
Tematy:
mapy geologiczne
weryfikacja danych
podkład lidarowy
geological maps
data revision
LIDAR DEM
Opis:
The currently available map sheets issued under the edition of the Detailed Geological Map of the Sudetes at the scale of1 : 25,000 (SMGS25), and especially those compiled in the 1950s and 1960s, does not meet the requirement of uniformity and accuracy of mapping, and they do not contain some key information that has been acquired as a result of multidisciplinary geological studies in the Sudetes over the last half-century. New research tools, such as LIDAR models of the land surface (DEM), allow for partial migration of data and (or) the implementation of recent research results, however, it should be verified by experienced geologists in the field. This is documented by two examples of their use to different areas in the Sudetes, which are composed primarily of sedimentary rocks.
Źródło:
Przegląd Geologiczny; 2016, 64, 9; 597--603
0033-2151
Pojawia się w:
Przegląd Geologiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Usage of modal test in verification of numerical model
Autorzy:
Więckowski, J.
Odyjas, P.
Powiązania:
https://bibliotekanauki.pl/articles/1190011.pdf
Data publikacji:
2016
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
analiza modalna
analiza numeryczna
weryfikacja danych
modal analysis
fans vibrations
numerical simulation
Opis:
Tuning of the numerical model is very important step during designing process. Correctly tuned model ensures proper evaluation of dynamic characteristics of vibrating object. This paper presets comparison of experimental modal analysis and theoretical numerical modal test of axial fan casing. Thanks to properly tuned model, it was possible to receive results of the numerical simulations similar to real test.
Źródło:
Interdisciplinary Journal of Engineering Sciences; 2016, 4, 1; 42--44
2300-5874
Pojawia się w:
Interdisciplinary Journal of Engineering Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie enzymatycznej hydrolizy białek
Modeling of protein enzymatic hydrolysis
Autorzy:
Noworyta, A.
Trusek-Hołownia, A.
Lech, M.
Powiązania:
https://bibliotekanauki.pl/articles/2073223.pdf
Data publikacji:
2015
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
reakcja depolimeryzacji
albumina
termolizyna
weryfikacja modelu
depolymerization reaction
albumin
thermolysin
model verification
Opis:
Przedstawiono założenia modelu obliczania postępu reakcji enzymatycznej depolimeryzacji, która jest przykładem reakcji szeregowo-równoległej. Opisano metodę postępowania na przykładzie reakcji hydrolizy albuminy przy wykorzystaniu termolizyny. Reakcja posłużyła do weryfikacji tego modelu. Stwierdzono złożoną kinetykę zachodzącej reakcji, hamowanej jej produktami. Uzyskano dobrą zgodność przebiegu modelowego z doświadczalnym; zarówno ogólnego stopnia przereagowania jaki składu wybranych frakcji oligopeptydów.
Model assumptions of enzymatic depolymerization reaction (an example of series-parallel reactions) are presented. A method of proceeding on the example of albumin hydrolysis using thermolysin was elaborated. The reaction was used for model verification. A complex kinetics with product inhibition was proposed. A good agreement with the experimental data both for the hydrolysis degree and composition of peptides selected fractions was obtained. Therefore the model was positively veryfied.
Źródło:
Inżynieria i Aparatura Chemiczna; 2015, 4; 189--190
0368-0827
Pojawia się w:
Inżynieria i Aparatura Chemiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Proces weryfikacji WE podsystemu „Energia” modernizowanych linii kolejowych w świetle opinii Agencji Kolejowej Unii Europejskiej
The “EC” verification process of the Energy subsystem of modernized railway lines in the light of the opinion of the European Union Agency for Railways
Autorzy:
Szczepaniuk, M.
Powiązania:
https://bibliotekanauki.pl/articles/249224.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
interoperacyjność
podsystem „Energia”
weryfikacja WE
interoperability
„Energy” subsystem
“EC” verification of subsystems
Opis:
Wśród obowiązków nałożonych przez Komisję Europejską na zarządców infrastruktury modernizujących linii kolejowych jest zapewnienie zgodności z przepisami europejskimi w kwestii interoperacyjności. W podsystemie „Energia” takim aktem jest rozporządzenie Nr 1301/2014, przewidujące certyfikację m.in. układu zasilania, jak i sieci trakcyjnej, przy braku możliwości podziału podsystemu. Ze względu na swoją odrębność od innych wymagań prawnych, jak również niejasność używanych pojęć, precyzyjne wyznaczenie granic oceny nastręcza wielu trudności uczestnikom procesu inwestycyjnego. Sytuacji nie poprawia fakt podziału właścicielskiego podsystemu w Polsce na część zasilania oraz sieci trakcyjnej należące do różnych podmiotów. Agencja Kolejowa Unii Europejskiej (AKUE) w opinii technicznej przedstawiła doprecyzowujące stanowisko w kwestii zakresu weryfikacji inwestycji. W artykule zostanie zaprezentowana jego analiza i komentarz autora w odniesieniu do warunków polskich. Wskazane zostaną również skutki zastosowania podejścia AKUE w odniesieniu do inwestycji w podsystemie „Energia” dotyczących jedynie jego fragmentu.
Among the obligations imposed by the European Commission on infrastructure managers modernizing railway lines is to ensure compliance with European rules on interoperability. In the "Energy" subsystem, such an act is the Regulation No. 1301/2014 requiring the certification of, among others, the power supply and the traction network. It should be noted, that the Regulation No. 1301/2014 does not foresee subsystem division. Due to its separateness from other legal requirements, as well as unclear terms used, precise determination of the boundaries of the assessment poses many difficulties to the participants of the investment process. The situation is not improved by the fact that the Energy subsystem in the Republic of Poland is divided into a part of the power supply and the traction network belonging to different entities. In the technical opinion, the European Union Rail Agency presented a more precise position regarding the scope of the verification of investments. The article will present its analysis and commentary of the author in relation to Polish conditions. The effects of the application of the AKUE approach to investments in the energy subsystem regarding only a part of it will also be indicated.
Źródło:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2018, 2(116); 135-141
1231-9171
Pojawia się w:
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cross modeling of embedded systems using SysML and Petri Nets
Autorzy:
Szmuc, Wojciech
Szmuc, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/397841.pdf
Data publikacji:
2018
Wydawca:
Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:
embedded systems
cross modeling
formal verification
systemy wbudowane
modelowanie krzyżowe
formalna weryfikacja
Opis:
Cross modeling in embedded systems development is proposed in the paper. The main idea consists in a translation of SysML artifacts into the related Coloured Petri Net (CPN) models, which may be verified directly or using other tools, e.g. Temporal Logic Provers. The paper is an extension of [20] mainly by insertion of sequence diagrams (SysML) and presentation of their mapping into CPN models. The additional part describes communication features and completes the cross modeling approach.
Źródło:
International Journal of Microelectronics and Computer Science; 2018, 9, 2; 60-65
2080-8755
2353-9607
Pojawia się w:
International Journal of Microelectronics and Computer Science
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ł
Tytuł:
Selection of search strategies for solving 3-SAT problems
Autorzy:
Pułka, A.
Powiązania:
https://bibliotekanauki.pl/articles/330562.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
SAT solving
formal verification
CNF
Boolean satisfiability
badanie spełnialności logicznej
weryfikacja formalna
Opis:
The paper concerns the problem of Boolean satisfiability checking, which is recognized as one of the most important issues in the field of modern digital electronic system verification and design. The paper analyzes different strategies and scenarios of the proving process, and presents a modified and extended version of the author’s FUDASAT algorithm. The original FUDASAT methodology is an intuitive approach that employs a commonsense reasoning methodology. The main objective of the work is to investigate the SAT-solving process and try to formulate a set of rules controlling the reasoning process of the FUDASAT inference engine. In comparison with the author’s previous works, the paper introduces new mechanisms: hypergraph analysis, multiple variable assignments and search space pruning algorithms. The approach considers only 3-SAT class functions, although a generalization of the method is discussed as well. The presented approach has been tested on various benchmarks and compared with the original pure FUDASAT algorithm as well as with other algorithms known from the literature. Finally, the benefits of the proposed SAT solving technique are summarized.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 2; 283-297
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja przed naprawą rozpylaczy paliwowych zaworów wtryskowych silników wysokoprężnych
Verification of diesel engine injection valves prior to fuel injector repair
Autorzy:
Raunmiagi, Z.
Powiązania:
https://bibliotekanauki.pl/articles/360278.pdf
Data publikacji:
2008
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
naprawa
weryfikacja
rozpylacz
paliwowy zawór wtryskowy
repair
verification
nozzle
fuel injector valve
Opis:
Artykuł zawiera ocenę jakości zużytych rozpylaczy na podstawie znanych metod pomiarowych z wykorzystaniem nowoczesnych urządzeń metrologii warsztatowej. W pracy zostały przedstawione rodzaje uszkodzeń rozpylaczy oraz aspekty techniczno-ekonomiczne celowości ich naprawy.
The article presents the quality assessment of used injectors based on known measurement methods with the use of the up-to-date metrological devices. Different types of injector damage and technical and economical aspects of the usefulness of their repairs have been presented.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2008, 14 (86); 38-42
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Eksperymentalna weryfikacja poprawności odtwarzania przebiegów sił i ciśnień impulsowych
Experimental verification of the correctness of reconstruction of impulsive force and pressure waveforms
Autorzy:
Detka, M.
Kaczmarek, Z.
Powiązania:
https://bibliotekanauki.pl/articles/152571.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
weryfikacja
transmitancja widmowa
odtwarzanie
niepewność standardowa
verification
spectral transmittance
reconstruction
standard uncertainty
Opis:
W artykule przedstawiono metodę weryfikacji poprawności odtwarzania przebiegów sił i ciśnień impulsowych. Odtwarzanie wymienionych przebiegów wymuszeń impulsowych przeprowadzono w dziedzinie częstotliwości z wykorzystaniem transmitancji widmowej elastycznego pręta działającego jako przetwornik mechaniczny. Metoda weryfikacji polega na porównaniu obliczonej, zgodnie z procedura odtwarzania, estymaty przebiegu impulsu odkształcenia w danym przekroju pręta ze zmierzonym przebiegiem tego impulsu w tym przekroju. Na podstawie wyników weryfikacji dokonano oszacowania niepewności odtwarzania amplitudy i czasu trwania przebiegów impulsowych.
The work deals with a method for verifying the correctness of reconstruction of impulsive force and pressure waveforms. The impulsive strain waveforms were reconstructed in the frequency domain using a spectral transmittance of an elastic bar acting as a mechanical transducer. The verification required comparing an estimate of a strain waveform in a selected cross-section, calculated according to the reconstruction procedure, with a measured waveform of this impulse in the same cross-section. The verification results were used for calculating the uncertainty of the amplitude reconstruction and the duration of the impulsive waveforms.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 9 bis, 9 bis; 462-465
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formalna weryfikacja automatycznego zrównoleglenia procesów
Formal verification of automatically parallelised processes
Autorzy:
Dziurzański, P.
Karpicki, M.
Powiązania:
https://bibliotekanauki.pl/articles/155149.pdf
Data publikacji:
2006
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
formalna weryfikacja
logika temporalna CTL
asercja
równoleglizowanie
SystemC
formal verification
parallelisation
assertion
Opis:
W artykule przedstawiono technikę formalnej weryfikacji systemów sprzętowo-programowych opisanych za pomocą języka opisu systemów SystemC. Formalnej weryfikacji dokonuje się z wykorzystaniem logiki temporalnej CTL i asercji. Przedstawiono formuły CTL dla systemu z jedną sekcją równoległą. Badania eksperymentalne wykazały liniowy wzrost liczby formuł i liniowy przyrost czasu działania programu automatycznie wstawiającego asercję, przez co prezentowane podejście nadaje się do zastosowań przemysłowych.
In this paper, we present a formal verification technique of software/hardware systems given in the SystemC system description language. The verification is performed using temporal logic CTL and assertions. We enumerate the CTL formulas generated from a system with a single parallel section. Experimental results present a linear growth of a number of formulas and linear growth of the execution time of the developed tool that automatically inserts CTL assertions. Consequently, the proposed approach is suitable for industrial applications.
Źródło:
Pomiary Automatyka Kontrola; 2006, R. 52, nr 11, 11; 35-38
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przyczyny i kierunki weryfikacji Katalogu typowych konstrukcji nawierzchni podatnych i półsztywnych
Reasons and ways of verification of "Catalogue of typical structures of flexible and semi-rigid pavement"
Autorzy:
Judycki, J.
Jaskuła, P.
Powiązania:
https://bibliotekanauki.pl/articles/143935.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:
katalog typowych nawierzchni
weryfikacja
projektowanie nawierzchni
roads
typical structures
pavement catalogue
verification
Opis:
W artykule przedstawiono przegląd przyczyn i kierunków weryfikacji obecnego "Katalogu typowych konstrukcji nawierzchni podatnych i półsztywnych" z 1997 r., której celem jest wyeliminowanie niedostatków obecnego Katalogu. Główne kierunki weryfikacji Katalogu, którą realizuję zespół Politechniki Gdańskiej to dostosowanie Katalogu do: (1) obecnych technologii i materiałów, (2) obecnych sposobów wzmacniania podłoży drogowych, (3) zwiększonego obciążenia dróg przez ruch drogowy, (4) obecnych udoskonalonych metod projektowania konstrukcji nawierzchni.
The paper presents a review of reasons and directions of the verification of the "Catalogue of typical flexible and semi-rigid pavement structures" from 1997, which aim is to eliminate the weaknesses of the present Catalogue. The main directions of the verification of the Catalogue, that is carried out by the team of Gdansk University of Technology is to adjust the Catologue to: (1) present technologies and materials, (2) present methods of improvement of existing subgrade soil, (3) increased traffic loading, (4) improved methods of design of pavement structures.
Źródło:
Drogownictwo; 2011, 6; 183-188
0012-6357
Pojawia się w:
Drogownictwo
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
PROCEDURA FINANSOWANIA PROGRAMÓW NARODOWEJ AGENCJI WYMIANY AKADEMICKIEJ
Autorzy:
Jan, Dytko,
Powiązania:
https://bibliotekanauki.pl/articles/567659.pdf
Data publikacji:
2019-09-04
Wydawca:
Międzynarodowy Instytut Innowacji Nauka – Edukacja – Rozwój w Warszawie
Tematy:
Programy NAWA
beneficjenci finansowania programów NAWA
decyzja administracyjna i jej weryfikacja
dekodyfikacja
Opis:
Narodowa Agencja Wymiany Akademickiej (NAWA) jest agendą rządową, której przedmiotem działalności jest realizacja zadań określonych ustawami na rzecz systemu nauki i szkolnictwa wyższego w Polsce. Posiada osobowość prawną, a w stosunkach międzynarodowych posługuje się nazwą "Polish National Agency for Academic Exchange". Programy służące realizacji zadań NAWA ustanawia jej Dyrektor. W programach takich mogą uczestniczyć osoby fizyczne i osoby prawne, znajdujące się w szeroko pojętym systemie nauki i szkolnictwa wyższego. Prawem tych podmiotów jest ubieganie się o finansowanie lub współfinansowanie realizacji programów NAWA. Przyznanie środków na realizację tych programów odbywa się w postępowaniu administracyjnym zakończonym wydaniem decyzji przez Dyrektora Agencji. Postępowanie to poprzedzone jest konkursem na wyłonienie najlepszej oferty, która podlega ocenie formalnej i merytorycznej przez ekspertów niezależnych od NAWA. W tym celu ustanawiana jest lista rankingowa, a podmiot usytuowany na jej czele staje się zwycięzcą konkursu, a zarazem beneficjentem środków finansowych. Decyzja o przyznaniu lub odmowie przyznania środków na finansowanie lub współfinansowanie realizacji programów NAWA podlega weryfikacji w trybie remonstracji albo skargi sądowo-administracyjnej. W postępowaniu w sprawie finansowania lub współfinansowania programów realizujących zadania NAWA nie stosuje się przepisów ustawy Kodeksu postępowania administracyjnego. Postępowanie to mieści się zatem w kręgu postępowań administracyjnych szczególnych – dekodyfikowanych.
Źródło:
International Journal of Legal Studies (IJOLS); 2019, 5(1); 185-200
2543-7097
2544-9478
Pojawia się w:
International Journal of Legal Studies (IJOLS)
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Estimation of the possibility of using a simple thermodynamic model to evaluate the benefits of modifying a real spark ignition engine
Estymacja możliwości zastosowania prostego modelu termodynamicznego do oceny korzyści wynikających z modyfikacji rzeczywistego silnika z zapłonem iskrowym
Autorzy:
Rak, Krzysztof
Cyklis, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/2130923.pdf
Data publikacji:
2021
Wydawca:
Państwowa Wyższa Szkoła Zawodowa w Nowym Sączu
Tematy:
SI engine
turbo-compressor
model
experimental verification
silnik ZI
turbosprężarka
weryfikacja eksperymentalna
Opis:
Improving engine performance is the general goal of all designers of new cars. Nevertheless, there is and will continue to be a significant number of older cars on the market, where modifications can improve their performance in terms of fuel consumption and emissions, but also in terms of driving properties, giving the user fuel economy and greater driving pleasure. However, before starting the modification, it is worth knowing computationally what final effects we can expect. The paper shows that it can be estimated on the basis of simple thermodynamic calculations based on the basic Otto cycle, where the data for the calculations are very limited: they require geometric dimensions as well as pressure and temperature values provided by the selected compressor. The thermodynamic calculations of the cycle in two versions were shown, and the results were verified on a real engine while driving and related to the results of road tests and the chassis dynamometer.
Poprawa parametrów pracy silników jest generalnym celem wszystkich konstruktorów nowych samochodów. Niemniej jednak na rynku istnieje i długo jeszcze będzie istniała znacząca ilość samochodów starszych, gdzie modyfikacje mogą poprawić ich parametry pracy pod względem zużycia paliwa i emisji, ale także własności jezdnych, dając użytkownikowi oszczędność paliwa i większą przyjemność z jazdy. Przed przystąpieniem do modyfikacji warto jednak wiedzieć obliczeniowo, jakich efektów finalnych możemy się spodziewać. W pracy pokazano, że można to estymować na podstawie prostych obliczeń termodynamicznych, opartych na podstawowym obiegu Otto, gdzie dane do obliczeń są bardzo ograniczone: wymagają wymiarów geometrycznych oraz wielkości ciśnienia i temperatury podawanych przez dobraną sprężarkę. Pokazane zostały obliczenia termodynamiczne obiegu w dwóch wersjach, a wyniki zostały sprawdzone na rzeczywistym silniku w czasie jazdy oraz odniesione do wyników badań drogowych i na hamowni podwoziowej.
Źródło:
Journal of Engineering, Energy and Informatics; 2021, 1; 5-17
2720-4162
2720-5541
Pojawia się w:
Journal of Engineering, Energy and Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja danych pozafinansowych przedsiębiorstw odpowiedzialnych społecznie - wyniki badania ankietowego
Verification of non-financial data of socially responsible companies - the results of the survey
Autorzy:
Wiśniewska, Jolanta
Chojnacka, Ewa
Powiązania:
https://bibliotekanauki.pl/articles/587060.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Dane CSR
Społeczna odpowiedzialność biznesu
Weryfikacja
Corporate Social Responsibility
CSR reports
Verification
Opis:
Przedsiębiorstwa postrzegane jako społecznie odpowiedzialne powinny informować swoich interesariuszy o działaniach podejmowanych w obszarach: ekonomicznym, społecznym i środowiskowym. Podstawowym narzędziem komunikacji społecznej odpowiedzialności biznesu jest publikacja danych CSR. Zgodnie z wytycznymi Global Reporting Initiative, podstawowym celem raportowania danych CSR jest przyczynienie się do dialogu z interesariuszami, który wpływa na decyzje i zachowania zarówno organizacji, jak i jej interesariuszy. Czynnikiem budującym zaufanie interesariuszy do informacji zawartych w raportach społecznych jest poddanie ich zewnętrznej weryfikacji. Zewnętrzny audytor, sprawdzając wiarygodność raportowanych danych, uwiarygadnia te dane i potwierdza, iż są one rzetelne i mogą być podstawą podejmowania decyzji. Celem artykułu jest przedstawienie stosowanej w polskich przedsiębiorstwach praktyki dotyczącej zewnętrznej weryfikacji danych CSR i jej wpływu na treść publikowanych informacji. Wyniki wskazują, iż większość respondentów poddaje swoje dane pozafinansowe niezależnej, zewnętrznej weryfikacji. Najczęściej wybierane firmy do weryfikacji danych CSR to firmy audytorskie i GRI.
Companies perceived as socially responsible should inform their stakeholders about their activities undertaken within economic, social and environmental areas. The major communication tool of corporate social responsibility is publishing CSR reports. According to the guidelines of the Global Reporting Initiative, the primary purpose of CSR reports is to contribute to the development of the dialogue with stakeholders, which impacts decisions and behaviours of both the organization and its stakeholders. The factor fostering stakeholder confidence to the information contained in public reports is submitting them to external verification. The external auditor checks the reliability of the reported data, approves this data and confirms that they are reliable and can be the basis for decision-making. This article presents the practice of Polish companies in the area of external verification of CSR reports and the impact of this verification on the content of information published. The results show that the majority of our respondents submit their nonfinancial data to external verification. The most frequently chosen companies that verify those data are auditing companies and GRI.
Źródło:
Studia Ekonomiczne; 2016, 284; 97-107
2083-8611
Pojawia się w:
Studia Ekonomiczne
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ł:
Sprzętowa weryfikacja funkcjonalna magistrali AMBA® AXI
Functional hardware verification of AMBA® AXI bus
Autorzy:
Duc, P.
Powiązania:
https://bibliotekanauki.pl/articles/155275.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
AMBA
AXI
Sce-Mi
sprzętowa weryfikacja funkcjonalna
functional coverage
functional hardware verification
Opis:
W artykule przedstawiono moduł monitora magistrali AMBA® AXI, umożliwiający weryfikację poprawności oraz weryfikację functional coverage protokołu AXI w systemach koemulacji sprzętowo-programowej układów SoC (System-on-Chip). Układ monitora składa się z syntezowalnej części sprzętowej oraz części programowej. Część sprzętowa służy do bezpośredniej obserwacji stanu magistrali i zawiera podstawowe elementy weryfikacyjne, zaś część programowa umożliwia komunikację części sprzętowej z programowym środowiskiem weryfikacyjnym.
The currently observed increase in SoC (System-on-Chip) system complexity determines evolution of the verification methods to ensure complete and as fast as possible verification of the whole system correctness. One of the main direction in development of the complex SoC design verification methodology is implementation of hardware accelerated systems in the verification process. There is a number of ways used in this kind of verification. One is the transaction based hardware-software co-emulation, that support high level software test environment to control and observe the hardware implementation of design under test. This paper presents the AMBA® AXI bus monitor for using in co-emulation systems, with particular attention paid to the Sce-Mi based systems. The monitor architecture has two parts, hardware and software. The synthesizable hardware part is implemented in a programmable device of the emulator system and is used to direct bus observation through basic checkers. The task of the monitor software part is to enable proper configuration of the hardware part, to receive verification status information, to perform more sophisticated checking and to report verification results. Communication between the hardware and software parts is based on exchange of message vectors through a message channel known from the co-emulation Sce-Mi standard.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 966-968
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Signature verification using contextual information enhancement and dynamic programming
Autorzy:
Adamski, M.
Saeed, K.
Powiązania:
https://bibliotekanauki.pl/articles/332874.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
weryfikacja podpisu online
programowanie dynamiczne
online signature verification
feature context
dynamic programming
Opis:
This paper presents the results of experiments on online signature verification. Information gathered during the signing process like pen trajectory, pressure, elevation and altitude is utilized to prove the authenticity of a signature or to detect a forgery attempt. Signature verification task is carried out by means of the Template Matching approach. The presented method is based on the signature description in terms of its local features and their relations. The comparison of features in the reference and tested signatures is conducted using Dynamic Time Warping technique.
Źródło:
Journal of Medical Informatics & Technologies; 2008, 12; 35-40
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The prediction of the low fetal birth weight based on quantitative description of cardiotocographic signals
Autorzy:
Czabański, R.
Jeżewski, M.
Wróbel, J.
Kupka, T.
Łęski, J.
Jeżewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/333495.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
weryfikacja podpisu online
programowanie dynamiczne
online signature verification
feature context
dynamic programming
Opis:
Cardiotocography (CTG) is a routine method of fetal condition assessment used in modern obstetrics. It is a biophysical method based on simultaneous recording and analysis of activity of fetal heart, fetal movements and maternal uterine contractions. The fetal condition is diagnosed on the basis of printed CTG trace evaluation. The correct interpretation of CTG traces from a bedside monitor is very difficult even for experienced clinicians. Therefore, computerized fetal monitoring systems are used to yield the quantitative description of the signal. However, the effective methods, aiming to support the conclusion generation, are still being searched. One of the most important features defining the state of fetal outcome is the weight of the newborn. The presented work describes an application of the Artificial Neural Network Based on Logical Interpretation of fuzzy if-then Rules (ANBLIR) to evaluate the risk of the low birth weight using a set of parameters quantitatively describing the CTG traces. The obtained results confirm that the neuro-fuzzy based CTG classification methods are very efficient for the prediction of the fetal outcome.
Źródło:
Journal of Medical Informatics & Technologies; 2008, 12; 97-102
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model Checking Temporal Properties of Reaction Systems
Weryfikacja temporalnych własności systemów reakcyjnych
Autorzy:
Męski, A.
Penczek, W.
Rozenberg, G.
Powiązania:
https://bibliotekanauki.pl/articles/182724.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
reaction systems
model checking
temporal logic
systemy reakcyjne
weryfikacja modelowa
logika temporalna
Opis:
This paper defines a temporal logic for reaction systems (RSTL). The logic is interpreted over the models for the context restricted reaction systems that generalize standard reaction systems by controlling context sequences. Moreover, a translation from the context restricted reaction systems into boolean functions is defined in order to be used for a symbolic model checking for RSTL over these systems. Finally, model checking for RSTL is proved to be PSPACE-complete.
Praca wprowadza logikę temporalną dla systemów reakcyjnych (RSTL), która jest interpretowana w modelach dla systemów reakcyjnych z ograniczeniami kontekstów. Systemy te uogólniają standardowe systemy reakcyjne przez wprowadzenie ograniczeń kontrolujących dopuszczalne konteksty. Ponadto, przedstawiono translację z systemów reakcyjnych z ograniczeniami kontekstów do formuł boolowskich, która umożliwia symboliczną weryfikację modelową dla tych systemów oraz RSTL. Wykazano również, że problem weryfikacji modelowej dla RSTL jest problemem PSPACE-zupełnym.
Źródło:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2014, 1028; 1-28
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Konwergencja wyrobisk chodnikowych na podstawie wyników obliczeń numerycznych i ich weryfikacja pomiarami in situ
Roadways convergence based on numerical calculation and its verification by "in-situ" research
Autorzy:
Małkowski, P.
Niedbalski, Z.
Majcherczyk, T.
Powiązania:
https://bibliotekanauki.pl/articles/349428.pdf
Data publikacji:
2008
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
wyrobisko górnicze
pomiary konwergencji
numeryczna weryfikacja
mining workings
convergence research
numerical verification
Opis:
Dla oceny stateczności wyrobisk podziemnych powszechnie stosowane są metody numeryczne. Dobór modelu i parametrów fizycznych skał jest kluczowym, a zarazem najtrudniejszym zadaniem dla właściwego funkcjonowania wyrobiska. O poprawności wykonanych obliczeń mogą świadczyć jedynie pomiary kopalniane, które zostaną wykonane po wydrążeniu wyrobiska. W artykule przedstawiono wyniki obliczeń numerycznych, na podstawie których zaprojektowano dwa wyrobiska korytarzowe w kopalniach węgla. Zastosowano w nich najbardziej obecnie w Polsce popularną łukową obudowę podporową typu ŁP. Następnie w wyrobiskach tych przez okres kilkunastu miesięcy prowadzono pomiary konwergencji. Praktyczna ocena wtórnego stanu równowagi była przyczynkiem do wykonania obliczeń dla kilkunastu modeli sprężystych oraz sprężysto-plastycznych, które pozwoliły zweryfikować wstępne założenia analizowanych modeli i wskazać metody obliczeniowe najbardziej odpowiadające zadanym warunkom górniczo-geologicznym.
Numerical models are common in use to evaluate the roadways' stability. The main task to solve the problem is to choose the appropriate model and rock-mass parameters. Only the above will ensure the working's proper function. Simultaneously only underground research carried out after the working drifting can confirm any necessary correction of numerical calculations. The numerical calculation results for two coal mine roadways were presented in the paper. The steel arch support was used in these workings - the most popular in Poland. Convergence measurements gave the possibility to recalculate the task. Several new elastic and elasto-plastic models were designed using the two years research. Initial assumptions were modified using the research data and the most accurate numerical models for evaluation of the workings' stability in the coal mines were found.
Źródło:
Górnictwo i Geoinżynieria; 2008, 32, 1; 199-215
1732-6702
Pojawia się w:
Górnictwo i Geoinżynieria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja poziomu nienaruszalności funkcji związanych z bezpieczeństwem
Integrity level verification for safety-related functions
Autorzy:
Śliwiński, M.
Powiązania:
https://bibliotekanauki.pl/articles/2069733.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Morski w Gdyni. Polskie Towarzystwo Bezpieczeństwa i Niezawodności
Tematy:
bezpieczeństwo funkcjonalne
weryfikacja bezpieczeństwa
nienaruszalność bezpieczeństwa
functional safety
safety verification
safety integrity
Opis:
This article describes methods for the safety integrity level (SIL) verification of safety-related functions with regard to probabilistic criteria given in international standards IEC 61508 and IEC 61511. These functions are realized using the electrical, electronic and programmable electronic (E/E/PE) systems or safety instrumented systems (SIS). Some methods are proposed for quantitative probabilistic modelling taking into account potential dependent failures in redundant systems with diverse channels within subsystems. The analyses of safety-related systems include testing and maintenance planning of subsystems, in particular the sensors and actuators with regard to the probabilistic criteria defined for given SIL. The methods are illustrated on some examples of systems from industrial hazardous plants.
Źródło:
Journal of Polish Safety and Reliability Association; 2011, 2, 3; 69--78
2084-5316
Pojawia się w:
Journal of Polish Safety and Reliability Association
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Procedury fizyczne przed wykonaniem terapii Gamma Knife
Physical procedures prior to Gamma Knife treatment
Autorzy:
Kozłowska, B.
Antończyk-Szewczyk, K.
Mitek, A.
Powiązania:
https://bibliotekanauki.pl/articles/112315.pdf
Data publikacji:
2018
Wydawca:
Indygo Zahir Media
Tematy:
testy fizyczne
planowanie leczenia
weryfikacja planów
physical tests
treatment planning
plan verification
Opis:
Współczesna medycyna oraz wysokie wymagania pacjentów stawiają duże wyzwanie nie tylko przed lekarzami, ale również przed fizykami medycznymi, którzy odpowiedzialni są m.in. za sprawne działanie urządzeń terapeutycznych oraz diagnostycznych. W celu weryfikacji poprawności działania urządzeń terapeutycznych wykonywane są testy kontrolne. W przypadku urządzenia Gamma Knife przeprowadza się testy dzienne, miesięczne oraz roczne. Istotnym testem jest test precyzji ogniska (geometryczny test QA oraz test Pin Point), a także dozymetria. Weryfikacja planów leczenia odbywa się przy użyciu niezależnego oprogramowania GammaKnifeCheck MuCheck v.9.2.0.
Modern medicine and high requirements of patients pose a big challenge not only for doctors but also for medical physicists, who are responsible for the efficient operation of therapeutic and diagnostic devices. In order to verify the correct functioning of the therapeutic devices, control tests are performed. The Gamma Knife tests are the following: daily, monthly and yearly. An important test is the focus precision test (Geometric QA test and Pin Point test) and dosimetry. Verification of treatment plans is carried out using the independent software GammaKnifeCheck MuCheck v.9.2.0.
Źródło:
Inżynier i Fizyk Medyczny; 2018, 7, 5; 351-354
2300-1410
Pojawia się w:
Inżynier i Fizyk Medyczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kontrola upraw rolnych z wykorzystaniem bezzałogowych systemów latających (UAS)
Controll of agriculture crops using unmanned aerial systems (UAS)
Autorzy:
Sanecki, J.
Konieczny, J.
Klewski, A.
Stepien, G.
Wolejsza, P.
Konieczny, K.
Beczkowski, K.
Powiązania:
https://bibliotekanauki.pl/articles/62530.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Stowarzyszenie Infrastruktura i Ekologia Terenów Wiejskich PAN
Tematy:
rolnictwo
doplaty bezposrednie
uprawy polowe
weryfikacja
systemy bezzalogowe
Fotogrametryczne Loty Bezzalogowe
wykorzystanie
Opis:
Obecnie kontrola dopłat bezpośrednich do rolnictwa dotyczy weryfikacji wielkości upraw oraz zachowania odpowiedniej kultury rolnej. Wielkość upraw, określana jest przy użyciu ortofotomapy o niskiej stosunkowo rozdzielczości, odzwierciedlającej stan sprzed kilku lub kilkunastu miesięcy, a nawet lat. Permanentne żądania Komisji Europejskiej dotyczące zwrotu środków przeznaczonych na dopłaty do polskiego rolnictwa, wskazują że stosowane dotychczas metody i procedury kontrolne są niewystarczające. Celem publikacji jest zaprezentowanie optymalnej metodyki kontroli wniosków dotyczących dopłat bezpośrednich do rolnictwa, w oparciu o dane teledetekcyjne i geodezyjne. Dzięki opisanej metodyce możliwa będzie budowa skutecznego i dającego jednoznaczne wyniki systemu kontroli dopłat, budowa i zastosowanie kluczy interpretacyjnych oraz wzorców porównawczych i systemu eksperckiego do analizy danych. Umożliwi to szybką identyfikację i opis techniczny upraw, z uwzględnieniem wielkości i stopnia ich utrzymania. Będzie to możliwe również dzięki wykorzystaniu danych obrazowych z Bezzałogowych Systemów Powietrznych (Latających).
Currently, the control of supplement payment to agriculture concerns on verification of size of agriculture crops, proceeding of suitable agricultural culture. The size of tillages is defining using law resolution ortophotomap according state of terrain before months (even years). Permanent demands of European Committee Union relating repayment of supplement money for polish agriculture, show that the method applied so far and the supervisory procedures are insufficient. The aim of the article is to present the optimum control methodology of applications relating direct supplement payment to agriculture, on the basis of remote sensing and geodetic data. Thanks to the presented methodology, an effective and giving the unambiguous results control system will be possible to construct. Building and application of interpretative keys as well as the comparative patterns in expertise system for data analysis, will enable the quick identification and the technical description of the crop area. It will be possibleby applying of Unnmanned Aerial Systems (UAS) imageries.
Źródło:
Infrastruktura i Ekologia Terenów Wiejskich; 2014, II/3
1732-5587
Pojawia się w:
Infrastruktura i Ekologia Terenów Wiejskich
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On using the t-test for assessing association between Likert-scale variables
O wykorzystaniu testu t do badania wspólzależności zmiennych mierzonych na skali Likerta
Autorzy:
Gamrot, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/587312.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Correlation
Hypothesis testing
Likert scale
Normality
Korelacja
Normalność
Skala Likerta
Weryfikacja hipotez
Opis:
Survey objectives often include assessment of associations among study variables. These variables are sometimes discrete. In particular they may be expressed using the well known Likert scale, where the respondents choose one of several mutually exclusive, predefined responses. In such a case some authors advocate the use of correlation tests dedicated to testing hypotheses about correlation between continuous variables for discrete ones. In this paper, statistical consequences of such an approach are investigated, and resulting problems are illustrated for the well-known t-test based on assumption of bivariate normality.
W badaniach statystycznych często wykorzystywane są pytania zamknięte, na które respondent odpowiada, wybierając jedną z kilku wzajemnie wykluczających się opcji odpowiedzi. Typowym przypadkiem jest wykorzystanie do wyrażenia wartości zmiennych skali Likerta. Równocześnie dość często cel badania stanowi wykrycie współzależności pomiędzy zmiennymi. W niniejszej pracy rozważono konsekwencje kontrowersyjnej praktyki rozpatrywanej w literaturze, polegającej na stosowaniu testu t-Studenta przeznaczonego dla rozkładów ciągłych do badania współzależności pomiędzy zmiennymi dyskretnymi.
Źródło:
Studia Ekonomiczne; 2019, 390; 7-17
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
TEST ZGODNOŚCI χ2 OPARTY NA PRÓBACH NIEPROSTYCH
χ2 GOODNESS OF FIT TEST IN NON-SIMPLE SAMPLING
Autorzy:
Domański, Czesław
Powiązania:
https://bibliotekanauki.pl/articles/452925.pdf
Data publikacji:
2016
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Katedra Ekonometrii i Statystyki
Tematy:
estymacja
weryfikacja hipotez
centralne twierdzenie graniczne
estimation
hypothesis verification
central limit theorem
Opis:
Klasyczna teoria wnioskowania statystycznego dostarcza nam metod estymacji nieznanych parametrów rozkładu, szacowania postaci funkcji określającej ten rozkład oraz weryfikację hipotez na podstawie prób prostych, tzn. takich, w których obserwacje są stochastycznie niezależne i mają ten sam rozkład prawdopodobieństwa. Problemy związane z estymacją, w szczególności metody adaptacji centralnego twierdzenia granicznego dla prób nieprostych oraz weryfikację hipotez o zgodności rozkładów dla prób nieprostych za pomocą testu χ2 będą przedmiotem tego artykułu.
Classical theory of statistical inference provides methods of estimation of unknown population parameters, density estimation and statistical hypothesis testing, based on simple random sampling, that is sampling scheme, in which all individuals are stochastically independent and identically distributed. Problems with estimation, especially with adaptation of central limit theorem to non-simple sampling and verification of goodness of fit hypothesis with χ2 test will be subject of this article.
Źródło:
Metody Ilościowe w Badaniach Ekonomicznych; 2016, 17, 3; 33-42
2082-792X
Pojawia się w:
Metody Ilościowe w Badaniach Ekonomicznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Verification of zero-dimensional model of SOFC with internal fuel reforming for complex hybrid energy cycles
Autorzy:
Badur, J.
Lemański, M.
Kowalczyk, T.
Ziółkowski, P.
Kornet, S.
Powiązania:
https://bibliotekanauki.pl/articles/184970.pdf
Data publikacji:
2018
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
fuel cell
SOFC
mathematical model
experiment
verification
ogniwo paliwowe
model matematyczny
eksperyment
weryfikacja
Opis:
The article presents a zero-dimensional mathematical model of a tubular fuel cell and its verification on four experiments. Despite the fact that fuel cells are still rarely used in commercial applications, their use has become increasingly more common. Computational Flow Mechanics codes allow to predict basic parameters of a cell such as current, voltage, combustion composition, exhaust temperature, etc. Precise models are particularly important for a complex energy system, where fuel cells cooperate with gas, gas-steam cycles or ORCs and their thermodynamic parameters affect those systems. The proposed model employs extended Nernst equation to determine the fuel cell voltage and steadystate shifting reaction equilibrium to calculate the exhaust composition. Additionally, the reaction of methane reforming and the electrochemical reaction of hydrogen and oxygen have been implemented into the model. The numerical simulation results were compared with available experiment results and the differences, with the exception of the Tomlin experiment, are below 5%. It has been proven that the increase in current density lowers the electrical efficiency of SOFCs, hence fuel cells typically work at low current density, with a corresponding efficiency of 45–50% and with a low emission level (zero emissions in case of hydrogen combustion).
Źródło:
Chemical and Process Engineering; 2018, 39, 1; 113--128
0208-6425
2300-1925
Pojawia się w:
Chemical and Process Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie modeli danych do weryfikacji implementacji wzorców projektowych
Autorzy:
Wojszczyk, R.
Khadzhynov, W.
Powiązania:
https://bibliotekanauki.pl/articles/118470.pdf
Data publikacji:
2016
Wydawca:
Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:
wzorce projektowe
model danych
ERD
weryfikacja oprogramowania
design patterns
data model
verifying implementation
Opis:
Wzorce projektowe to zagadnienie szeroko opisywane w uznanej literaturze i wykorzystywane przez wielu programistów, ale mimo to nie ma nad nimi formalnej kontroli. W artykule poruszony został problem weryfikacji implementacji wzorców projektowych stosowanych w programowaniu obiektowym. W procesie weryfikacji wyróżniono dwa modele danych: formalną reprezentację będącą ekwiwalentem badanego oprogramowania oraz repozytorium implementacji wzorców zawierające informacje opisujące implementację wzorców projektowych. Opracowane rozwiązanie pozwoli wykazać błędy i potencjalne problemy w implementacji.
Although the design patterns constitute the issue that has been widely discussed in the literature and used by many software developers, there is no formal control over them. The article discussed the problem of verifying the implementation of design patterns applied in object-oriented programming. Two following data models were distinguished in the process of verification: a formal representation that is an equivalent of the analysed software, and a repository of implementation of patterns containing information describing the implementation of design patterns. The proposed solution will make it possible to show implementation errors and potential problems.
Źródło:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2016, 10; 193-209
1897-7421
Pojawia się w:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O weryfikowaniu poprawności matematycznych procesów w oparciu o dane empiryczne
Verification of mathematical models of the processes on the basis of experimental data
Autorzy:
Kornacki, A.
Wesołowska-Janczarek, M.
Powiązania:
https://bibliotekanauki.pl/articles/238905.pdf
Data publikacji:
2008
Wydawca:
Instytut Technologiczno-Przyrodniczy
Tematy:
model matematyczny
proces
weryfikacja
dane empiryczne
mathematical model
process
models' verification
experimental data
Opis:
Opisywanie przebiegu procesów modelami matematycznymi jest problemem, który interesuje wielu badaczy w różnych dziedzinach wiedzy. Jednakże ustalenie kształtu modelu wymaga jeszcze zweryfikowania jego poprawności w oparciu o dane empiryczne. Praca zawiera propozycje metod statystycznych, które mogą być wykorzystywane do przeprowadzenia takiej weryfikacji. Zaproponowane metody zostały zilustrowane na przykładach wyników badań uzyskanych podczas eksperymentów z dziedziny inżynierii rolniczej.
In many fields of natural sciences the mathematical models are used to describe the different processes and phenomena. Very important issue for the research is verification of developed models with the experimental data. Paper presents some propositions of statistical methods which may be used for such verification. The methods proposed are illustrated by the experimental data from the field of agricultural engineering.
Źródło:
Problemy Inżynierii Rolniczej; 2008, R. 16, nr 3, 3; 5-18
1231-0093
Pojawia się w:
Problemy Inżynierii Rolniczej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Introduction to Alvis modelling language
Wprowadzenie do języka modelowania Alvis
Autorzy:
Szpyrka, M.
Matysik, P.
Mrówka, R.
Witalec, W.
Baniewicz, J.
Balicki, K.
Powiązania:
https://bibliotekanauki.pl/articles/152699.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
język modelowania Alvis
formalna weryfikacja
systemy wbudowane
Alvis language
formal verification
embedded systems
Opis:
Alvis is a novel modelling language designed for embedded systems. It combines both high level programming language used to define agents behaviour with hierarchical graphical modelling language used to define interconnections between agents. The paper presents a survey of the most important features of the language.
Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów wbudowanych. Łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Podstawowym elementem języka Alvis są agenty, które mogą działać współbieżnie, komunikować się ze sobą, czy też współzawodniczyć o zasoby dzielone. Dynamika poszczególnych agentów jest opisywana w warstwie kodu używającej do tego celu języka programowania wysokiego poziomu (połączenie natywnych konstrukcji języka Alvis i języka funkcyjnego Haskell). W warstwie graficznej definiowane są połączenia między agentami wskazujące, które agenty się ze sobą komunikują i jaki jest kierunek tej komunikacji. Warstwa ta ma postać grafu hierarchicznego, co pozwala rozwijać systemu wbudowane metodą od ogółu do szczegółu lub odwrotnie. Formalną reprezentacjąmodelu w języku Alvis jest graf LTS (Labelled Transition System), który reprezentuje wszystkie osiągalne stany i przejścia między nimi. Graf ten jest stosowany do formalnej weryfikacji modelu. Artykuł zawiera przegląd najistotniejszych cech języka Alvis.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 9, 9; 1086-1089
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uses of new sensitivity and DAE solving methods in SMARTMOBILE for verified analysis of mechanical systems
Autorzy:
Auer, E.
Luther, W.
Powiązania:
https://bibliotekanauki.pl/articles/930091.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
układ wieloczłonowy
weryfikacja wyników
wrażliwość
niepewność
multibody systems
result verification
sensitivity
DAE
uncertainty
Opis:
Software for modeling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly erroneous) finite precision arithmetic and does not take into account uncertainty in the input data. The program SMARTMOBILE enhances the existing MSS MOBILE with verified techniques to provide a guarantee that the obtained results are correct and measure the influence of data uncertainty. In this paper, we outline the main features and functionalities of SMARTMOBILE. In particular, we focus on its use of newly developed methods for sensitivity analysis and DAE solving for several practically relevant mechanical systems.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2009, 19, 3; 455-467
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Blaski i cienie zdalnej pracy ze studentami pierwszego roku studiów
Upsides and downsides of online learning in the pandemic
Autorzy:
Dems-Rudnicka, Katarzyna
Jóźwik, Izabela
Terepeta, Małgorzata
Powiązania:
https://bibliotekanauki.pl/articles/2031503.pdf
Data publikacji:
2021
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
nauczanie zdalne
efekty kształcenia
weryfikacja zdalna
online learning
pandemic
learning outcomes
assessment methods
Opis:
Ogłoszenie w marcu 2020 roku zamknięcia uczelni z powodu pandemii i konieczność natychmiastowego wdrożenia nauczania on-line były zarówno dla nas, jak i dla studentów, dużym wyzwaniem. Nauczanie zdalne zaburzyło nie tylko tradycyjny rytm zajęć, ale również typową relację nauczyciel-student. Oprócz kwestii technicznych, szczególnie ważna stała się sprawa odpowiedniego motywowania studentów do samodyscypliny, koncentracji i systematyczności w nauce. Artykuł przedstawia nasze doświadczenia z trzech semestrów pracy zdalnej. Przedstawimy opinie studentów o zajęciach zdalnych, które zebrałyśmy w ankietach i indywidualnych rozmowach.
The closure of universities in March 2020 due to the pandemic and the need for immediate implementation of online learning was a big challenge for both us and students. E-learning disrupted not only the traditional rhythm of classes, but also the typical teacher-student relationship. In addition to technical difficulties, the issue of properly motivating students to discipline themselves, concentrate and learn systematically became particularly important. The article presents our experiences from three semesters of remote work. The last two semesters of e-learning brought different experiences than the first one. At the beginning, both our and the students’ technical skills were not perfect, but at least we knew each other and we were aware of the students’ mathematical abilities. In 2020/2021 the situation was quite different. We and our new students had gained a lot of technical experience, but we did not know each other. We explain how we dealt with this situation and which methods were helpful. We also present students’ opinions about remote classes that we collected in surveys and individual interviews.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2021, 72; 25-28
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 10- i 20-dniowej prognozy wskaźnika standaryzowanego opadu SPI
Verification of 10- and 20-day forecasts of the standardized precipitation index SPI
Autorzy:
Bak, B.
Labedzki, L.
Powiązania:
https://bibliotekanauki.pl/articles/60902.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Stowarzyszenie Infrastruktura i Ekologia Terenów Wiejskich PAN
Tematy:
meteorologia
opady atmosferyczne
niedobor opadow
nadmiar opadow
wskaznik standaryzowanego opadu
prognozy meteorologiczne
weryfikacja
Źródło:
Infrastruktura i Ekologia Terenów Wiejskich; 2015, II/1
1732-5587
Pojawia się w:
Infrastruktura i Ekologia Terenów Wiejskich
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using probabilistic automata for security protocols verification
Autorzy:
Siedlecka-Lamch, O.
Kurkowski, M.
Piątkowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/122825.pdf
Data publikacji:
2016
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
verification of security protocols
probabilistic methods
weryfikacja protokołów bezpieczeństwa
metody probabilistyczne
protokoły uwierzytelniania
Opis:
The article discusses the issues of modeling and the analysis of executions, which is a substantial part of modern communication protocols - authentication protocols, which are generally referred to herein as security protocols. The article presents a way of security protocols executions analysis with the use of probabilistic automata, without well known and widely used perfect cryptography assumption (we assume allowing the possibility of breaking a key with a specified probability). This type of analysis leads to interesting observations about the operation of the protocol and its weaknesses.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 2; 119-125
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O nowych elementach mechaniki procesu kruszenia - problem obciążeń (na przykładzie kruszarki dźwigniowej Blakea)
On new elements of mechanics of crushing process - problem of loading (based on Blake toggle crusher)
Autorzy:
Zawada, J.
Chochoł, K.
Powiązania:
https://bibliotekanauki.pl/articles/349573.pdf
Data publikacji:
2006
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
energia kruszenia
hipotezy energetyczne kruszenia
weryfikacja eksperymentalna
crushing energy
crushing energy hypotheses
experimental verification
Opis:
Dotychczasowy opis mechaniki procesu kruszenia w kruszarkach dwurozporowych, przedstawiany w literaturze i wykorzystywany w praktyce, jest na ogół opisem przybliżonym. Obszerne badania wykonane na nowoczesnym stanowisku badawczym zweryfikowały dotychczasowe poglądy na tę mechanikę.
The available description of mechanics of crushing process in double toggle Blake crushers, presented in literature and applied in practice, in general, is an approximated description which usually needs verification. Wide experimental studies were carried out at a modern test stand including model crusher of Blake type, measuring and control-register system. The results enabled to formulate new approach to mechanics of crushing processes, mainly focused on: load distribution in working space, friction conditions in working space, crushing energy and verification of energy hypotheses, deformation of toggle mechanism components. The results obtained in the studies formulate the base for theoretical analysis of the mechanics of the process.
Źródło:
Górnictwo i Geoinżynieria; 2006, 30, 3/1; 355-363
1732-6702
Pojawia się w:
Górnictwo i Geoinżynieria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Matematyczne modelowanie procesu suszenia w nieruchomym złożu. Cz. II. Weryfikacja modelu
Mathematical modelling of drying process in a fixed bed. Part 2. Model verification
Autorzy:
Szarycz, M.
Kamiński, E.
Jałoszyński, K.
Powiązania:
https://bibliotekanauki.pl/articles/287496.pdf
Data publikacji:
2006
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
model matematyczny
suszenie
złoże nieruchome
weryfikacja
seradela
mathematical model
drying
fixed bed
verification
serradilla
Opis:
W pracy przedstawiono wyniki symulacji procesu suszenia materiału siewnego seradeli oraz porównano je z wynikami uzyskanymi empirycznie. Dla przeprowadzenia obliczeń wykonano doświadczenia uzależniające współczynnik suszarniczy K oraz równowagową zawartość wody ur od temperatury i wilgotności względnej powietrza. Weryfikacja modelu podczas suszenia materiału siewnego seradeli wykazała dobrą zbieżność danych obliczonych i eksperymentalnych.
The paper presents results of drying process simulation for serradilla sowable material, compared to empirical data. In order to make calculations, experiments were carried out, in which drying coefficient K and balance water content ur values were determined in relation to air temperature and relative humidity. The model verification during serradilla sowable material drying proved good convergence of calculated and experimental data.
Źródło:
Inżynieria Rolnicza; 2006, R. 10, nr 12(87), 12(87); 491-499
1429-7264
Pojawia się w:
Inżynieria Rolnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Signature verification: A comprehensive study of the hidden signature method
Autorzy:
Putz-Leszczyńska, J.
Powiązania:
https://bibliotekanauki.pl/articles/331346.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
signature verification
online recognition
time warping
hidden signature
weryfikacja podpisu
rozpoznawanie online
podpis ukryty
Opis:
Many handwritten signature verification algorithms have been developed in order to distinguish between genuine signatures and forgeries. An important group of these methods is based on dynamic time warping (DTW). Traditional use of DTW for signature verification consists in forming a misalignment score between the verified signature and a set of template signatures. The right selection of template signatures has a big impact on that verification. In this article, we describe our proposition for replacing the template signatures with the hidden signature—an artificial signature which is created by minimizing the mean misalignment between itself and the signatures from the enrollment set. We present a few hidden signature estimation methods together with their comprehensive comparison. The hidden signature opens a number of new possibilities for signature analysis. We apply statistical properties of the hidden signature to normalize the error signal of the verified signature and to use the misalignment on the normalized errors as a verification basis. A result, we achieve satisfying error rates that allow creating an on-line system, ready for operating in a real-world environment.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2015, 25, 3; 659-674
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa SIL z wykorzystaniem autorskiej aplikacji ProSIL
ProSIL software system for computer aided safety integrity level verification
Autorzy:
Śliwiński, M.
Barnert, T.
Piesik, E.
Powiązania:
https://bibliotekanauki.pl/articles/269027.pdf
Data publikacji:
2013
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
modelowanie probabilistyczne
weryfikacja poziomu nienaruszalności bezpieczeństwa SIL
probabilistic modelling
safety integrity level (SIL) verification
Opis:
W referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA (moduł ProSIL/LOPA). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami PN-EN 61508 i PN-EN 61511.
In this article a prototype ProSIL software system for computer-aided functional safety management is discribed. The software consists of three modules for: determination of the required SIL level (ProSILen), verification of the SIL level (ProSILer), and layer of protection analysis (ProSIL/LOPA). In ProSIL the methods concerning functional safety analysis in the process of the design and operation of Safety Instrumented Systems (SIS) are implemented according to PN-EN 61508 and PN-EN 61511 standards, and some new methods.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2013, 36; 161-164
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Code generation for CSM/ECSM models in COSMA environment
Generacja kodu programu na podstawie modelu CSM/ECSM w środowisku COSMA
Autorzy:
Grabski, W.
Nowacki, M.
Powiązania:
https://bibliotekanauki.pl/articles/305423.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
weryfikacja
COSMA
generacja kodu
CSM
ECSM
automaty skończenie stanowe
model checking
code generation
FSM
Opis:
The COSMA software environment, developed in the Institute of Computer Science, WUT, was designed primarily for model checking of reactive systems specified in terms of Concurrent State Machines (CSM). However, COSMA supports also Extended CSM (ECSM). The extensions allow for using complex data types and pieces of C/C++ code, attributed to CSM states and/or transitions. Because of these extensions, ECSM models cannot be verifed by model checking, but they can be used as an intermediate step in code generation. The underlying CSM represent then the flow of control within cooperating components and the communication among them while the extensions specify the data structures and the details of their processing. The paper discusses the code generation from ECSM diagrams. The approach is illustrated with an example.
Środowisko COSMA, rozwijane w Instutycie Informatyki Politechniki Warszawskiej, powstało z myślą o weryfikacji modeli (model checking) systemów reaktywnych specyfikowanych przy pomocy automatów CSM (Concurrent State Machines) jak i ich rozszerzonej wersji (ECSM - Extended CSM). Rozszerzenie CSM o złożone struktury danych, atrybuty związane z przejściami i stanami oraz możliwość bezpośredniego użycia kody w C/C++ powodują, że model wyrażony w ECSM nie może być formalnie weryfikowany, a jedynie stanowić krok pośredni przy generacji kodu. W takim podejściu model CSM reprezentuje sterowanie i komunikację pomiędzy modułami systemu, podczas gdy ECSM - dane i szczegóły przetwarzania. Artykuł omawia generację kodu z modelu ECSM zilustrowaną przykładem.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 49-59
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Z działalności Ośrodka Dokumentacji Zabytków : weryfikacja zabytków architektury i ewidencja miast
Autorzy:
Charytańska, Maria
Powiązania:
https://bibliotekanauki.pl/articles/536757.pdf
Data publikacji:
1962
Wydawca:
Narodowy Instytut Dziedzictwa
Tematy:
ODZ
weryfikacja zabytków architektury i budownictwa
ewidencja miast zabytkowych w Polsce
Ośrodek Dokumentacji Zabytków
Źródło:
Ochrona Zabytków; 1962, 2; 69-70
0029-8247
Pojawia się w:
Ochrona Zabytków
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Construction of a flexible simulation model of a corporation
Autorzy:
Radosiński, Edward
Radosiński, Łukasz
Powiązania:
https://bibliotekanauki.pl/articles/406379.pdf
Data publikacji:
2019
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
flexible simulation model
corporation
computer simulator
verification
elastyczny model symulacyjny
korporacja
symulator komputerowy
weryfikacja
Opis:
The instability of the real structure of a firm is one of the fundamental problems in simulating microeconomic systems. This paper proposes a method, called ACV (abstraction – gradual concretization – verification) for constructing a flexible simulation model of a corporation. This method is based on the assumption that an effective approach to simulating a microeconomic system should take into account the structural instability of the modelled object. Practical implementation of the ACV method is illustrated using the EK_AN simulator of a firm. The purpose of the simulator as a scientific tool of operations research is to analyse the relations of given inputs (decisions) with the short- and mediumterm forecasts of a firm’s economic performance.
Źródło:
Operations Research and Decisions; 2019, 29, 1; 75-95
2081-8858
2391-6060
Pojawia się w:
Operations Research and Decisions
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Changing probabilistic beliefs in persuasion
Zmiana probabilistycznych przekonań w perswazji
Autorzy:
Budzyńska, K.
Kacprzak, M.
Powiązania:
https://bibliotekanauki.pl/articles/341061.pdf
Data publikacji:
2010
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
perswazja
przekonania
ogika prawdopodobieństwa
formalna weryfikacja
logika prawdopodobieństwa
persuasion
beliefs
probabilistic logic
formal verification
Opis:
The aim of the paper is to extend our formal model of persuasion with an aspect of change of uncertainty interpreted probabilistically. The general goal of our research is to apply this model to design a logic and a software tool that allow for verification of persuasive multi-agent systems (MAS). To develop such a model, we analyze and then adopt the Probabilistic Dynamic Epistemic Logic introduced by B. Kooi. We show that the extensions proposed in this paper allow us to represent selected aspects of persuasion and apply the model in the resource re-allocation problem in multi-agent systems.
Celem pracy jest rozszerzenie zaproponowanego przez nas formalnego modelu perswazji o aspekt zmiany niepewności przekonań agentów interpretowanych w teorii prawdopodobieństwa. Wzbogacony model jest podstawą do zdefiniowania logiki i zaprojektowania narzędzia, które umożliwia automatyczną weryfikację perswazyjnych systemów wieloagentowych. W celu realizacji tego zadania analizujemy i adaptujemy Probabilistyczną Dynamiczną Epistemiczną Logikę wprowadzoną przez B. Kooi. Zastosowanie zaproponowanego podejścia do analizowania wybranych aspektów perswazji omawiamy na przykładzie problemu alokacji zasobów w rozproszonych komputerowych systemach.
Źródło:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2010, 6; 23-39
1644-0331
Pojawia się w:
Zeszyty Naukowe Politechniki Białostockiej. Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-100 z 290

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