Filtry
wszystkich: 1669
-
Katalog
- Publikacje 1415 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 50 wyników po odfiltrowaniu
- Wynalazki 11 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 68 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 60 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA
-
Standarycja i certyfikacja degradacji środowiskowej tworzyw sztucznych, cz II
PublikacjaRozkład tworzyw sztucznych w środowisku jest złożonym procesem, którego przebieg w dużym stopniu zależy od rodzaju tworzywa sztucznego, jak również od warunków, na które tworzywo jest narażone. W niniejszej pracy przedstawiono usystematyzowany, aktualny stan szybko rosnących zasobów normatywnych w zakresie biodegradacji. Opracowanie to powstało na podstawie analizy danych różnych organów normalizacyjnych takich jak: Amerykańskie...
-
Theoretical and experimental investigation of Optical Coherent Tomography topologies
PublikacjaW artykule przedstawiono teoretyczną i eksperymentalną analizę konfiguracji interferometrów w układach koherentnego tomografu optycznego. Zaprezentowano zrealizowany układ, którego specjalnie zaprojektowana konfiguracja pozawala na analizę zmian polaryzacji sygnału pomiarowego.
-
FORMAL METHODS IN SYSTEM DESIGN
Czasopisma -
Wytwarzanie architektury korporacyjnej jako środowisko weryfikacji systemu agentowego do oceny technologii informatycznych
PublikacjaPrezentowana praca jest kontynuacją serii artykułów obejmujących badania technologii informatycznych i w swoich założeniach prezentuje rozwinięcie koncepcji zastosowania systemu wieloagentowego do oceny technologii informatycznych. Koncepcja powstała w Zakładzie Zarządzania Technologiami Informatycznymi na Politechnice Gdańskiej w 2007 roku a jej rozwój i aktualny stan badań jest prezentowany w niniejszym artykule. Głównym przeznaczeniem...
-
Możliwości wykorzystania modeli sieci ulicznej do weryfikacji ustawień brzegowych systemu sterowania ruchem
PublikacjaCelem referatu było sprawdzenie czy metoda zaimplementowana w programie TRANSYT będzie możliwa do wykorzystania przy ustalaniu ustawień brzegowych dla sygnalizacji świetlnej w systemie sterowania ruchem TRISTAR. Wykorzystano przy tym zaawansowane modele matematyczne na których bazują narzędzia do prognozowania i analiz ruchu na poziomie makro i mikroskopowym: SATURN, PTV VISUM i PTV VISSIM oraz narzędzia do optymalizacji sygnalizacji...
-
Business process modelling and simulation using formal experience record
PublikacjaZaproponowano modelowanie procesow biznesowych w oparciu o formalny zapis doswiadzcen. Przedtswiono softwerowa implementacje zaproponowego modelu.
-
Knowledge management based on formal models of software project management
PublikacjaCelem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...
-
Komputerowa weryfikacja układów cyfrowych CMOS utworzonych z podukładów zasilanych ze źródeł o różnych wartościach napięcia
PublikacjaW pracy zaprezentowano wyniki komputerowej weryfikacji cyfrowego układu CMOS utworzonego z klastrów, z których każdy jest zasilany odpowiednio malejącymi wartościami napięć. Zbiór klastrów został utworzony przy pomocy algorytmu ECA (Evolutionary Clustering Algorithm) dla potrzeb redukcji mocy pobieranej ze źródła zasilającego. Otrzymane rozwiązanie, charakteryzujące się zmniejszeniem zapotrzebowania na moc, nie powoduje pogorszenia...
-
Weryfikacja i aktualizacja "Katalogu typowych konstrukcji nawierzchni podatnych i półsztywnych" z 1997 roku - Etap III
Publikacja...
-
Weryfikacja odwzorowania kształtów i wymiarów podzespołów płaskich, wycinanych w technologii elektrodrążenia urządzenia wspomagającegozrobotyzowane narzędzia laparoskopowe
PublikacjaW pracy zaprezentowano analizę poprawności wykonaniapodzespołów urządzenia będącego zrobotyzowanym mikronadgarstkiem,wykorzystywanym dla zwiększenia ruchliwości narzędzilaparoskopowych o średnicy 2,5 mm. Analizowane podzespoły wykonanesą w skali 7:1 w technologii elektrodrążenia drutem o średnicy50 mm. Charakteryzują się architekturą płaską o określonej głębokościi skomplikowanym kształcie w pozostałych dwóch wymiarach. Analiziepoddano...
-
Hala namiotowa o konstrukcji stalowej - Statyczno - wytrzymałościowa weryfikacja nośności i bezpieczeństwa obiektu o konstrukcji stalowej
PublikacjaPrzedmiotem opracowania jest analiza statyczno – wytrzymałościowa konstrukcji hali namiotowej zlokalizowanej na nabrzeżu portu rybackiego, usytuowanego na brzegu Morza Bałtyckiego, na terenie administrowanym przez oddział stoczniowy spółki Szkuner. Celem niniejszego opracowania eksperckiego jest określenie: stopnia wykorzystania nośności istniejących elementów konstrukcyjnych obiektu na podstawie: pierwotnego opracowania projektowego...
-
Jak zorganizować stanowisko pracy w aptece od strony formalnej? (cz.1)
PublikacjaW artykule omówione zostały zasady organizowania stanowisk pracy.
-
Effective Formula for Impact Damping Ratio for Simulation of Earthquake-induced Structural Pounding
PublikacjaStructural pounding during earthquakes may cause substantial damage to colliding structures. The phenomenon is numerically studied using different models of collisions. The aim of the present paper is to propose an effective formula for the impact damping ratio, as a parameter of the impact force model used to study different problems of structural pounding under seismic excitations. Its accuracy has been verified by four various...
-
Zur Ähnlichkeit der Drill und Biegeträger-Formeln für dünnwandige Stäbe.
PublikacjaPrzeanalizowano serię wzorów dla prętów cienkościennych w przypadku działania skupionego momentu skręcającego na belkę wspornikową swobodnie podpartą i obustronnie utwierdzoną dla przypadku charakterystyki giętnoskrętnej. Podkreślono dokładność tych wzorów, które mogą dotyczyć obciążenia nieruchomego i ruchomego.
-
Identyfikacja strumienia pojazdów jako podstawa planowania i weryfikacji rozwiązań logistycznych na obszarach zurbanizowanych
PublikacjaPrzedstawione systemowe podejście do logistyki miejskiej, oparte na funkcji kryterialnej, wymaga prowadzenia ciągłej oraz okresowej akwizy-cji danych o ruchu pojazdów. System akwizycji powinien także umożli-wiać rejestrację i analizę procesów przekazywania towarów konsumpcyj-nych, odpadów komunalnych, wykorzystania zastrzeżonych miejsc posto-jowych itp. Przedstawiono wybrane systemy identyfikacji strumieni pojaz-dów i omówiono...
-
BADANIA ZNACZNIKOWE W CELU WERYFIKACJI KIERUNKU FILTRACJI POD JAZEM ELEKTROWNI WODNEJ PIŁA-KOSZYCE
PublikacjaPrzedmiotem opracowania jest wykonanie badań znacznikowych w rejonie jazu piętrzącego EW Koszyce wraz z analizą wyników w celu ustalenia kierunków filtracji wody w pod-łożu budowli. Dodatkowo w ramach niniejszego opracowania przedstawiono analizę piezometryczną dla zapory lewobrzeżnej oraz wykonano badania przy obniżonym poziomie zbiornika powyżej zapory.
-
Możliwości i ryzyka związane z automatyzacją weryfikacji pracy studentów na przykładzie przedmiotu Metrologia
PublikacjaPrzedmiot Metrologia jest wykładany na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej na trzecim semestrze studiów na trzech kierunkach: Elektronika i Telekomunikacja, Inżynieria Biomedyczna oraz Automatyka, Cybernetyka i Robotyka. W trakcie zajęć laboratoryjnych studenci wykonują sześć ćwiczeń, z których dwa są całkowicie oceniane przez program weryfikujący...
-
Hala namiotowa o konstrukcji stalowej: Statyczno - wytrzymałościowa weryfikacja nośności istniejącej płyty fundamentowej wykonanej pod halą namiotową
PublikacjaDla istniejącego, nowowykonanego obiektu produkcyjnego, zlokalizowanego nad brzegiem morza, na terenie stoczniowym, wykonano analizy statyczno - wytrzymałościowe w celu weryfikacji nośności istniejącej konstrukcji żelbetowej płyty fundamentowej, stanowiącej jednocześnie posadzkę techniczną obiektu. W celu pozyskania niezależnych danych o analizowanym obiekcie i warunkach naturalnych oraz zmienionych gruntu pod obiektem wykonano...
-
A Formal Approach to Model the Expansion of Natural Events: The Case of Infectious Diseases
PublikacjaA formal approach to modeling the expansion of natural events is presented in this paper. Since the mathematical, statistical or computational methods used are not relevant for development, a modular framework is carried out that guides from the external observation down to the innermost level of the variables that have to appear in the future mathematical-computational formalization. As an example we analyze the expansion of Covid-19....
-
Thermal analysis of copper(II) complexes of general formula [Et4N]2[CuBrnCl4-n]
PublikacjaBadano dekompozycję termiczną związków składających sie z anionów: [CuBrnCl4-n]2- (n=0-4) i kationów tetrametyloamoniowych. Stosowano następujące metody badawcze: TG-FTIR, TG-MS, DTA i DTG. Pomiary przeprowadzono w atmosferze argonu i powietrza w zakresie temperatur od 293 K do 1073 K. Produkty dekompozycji identyfikowano metoda spektroskopii w podczerwieni (IR i FIR) oraz metodą dyfrakcji promieniowania rentgenowskiego.
-
Development of Local IDF-formula Using Controlled Random Search Method for Global Optimization
PublikacjaThe aim of the study is to present the effective and relatively simple empirical approach to rainfall Intensity-Duration-Frequency-formulas development, based on Controlled Random Search (CRS) for global optimization. The approach is mainly dedicated to the cases in which the commonly used IDF-relationships do not provide satisfactory fit between simulations and observations, and more complex formulas with higher number of parameters...
-
Thermal analysis of manganese(II) complexes of general formula(Et4N)2[MnBrnCl4−n]
PublikacjaBadano termiczną dekompozycję związków zawierających aniony [MnBrnCl4−n]2− (n = 0-4) i kation tetraetylammonium. Wykorzystywano metody DSC i TG. Badania prowadzono w atmosferze argonu w temperaturze 173-500K (DSC)i 300-1073K (TG). Produkty dekompozycji określono za pomocą MS, FTIR, Far-FTIR i dyfraktometrii rentgenowskiej.
-
Thermal analysis of manganese(II) complexes of general formula (Bu4N)2[MnBrnCl4−n]
PublikacjaBadano termiczną dekompozycję związków zawierających aniony tetrahalogenomanganese(II), [MnBrnCl4−n]2−(n = 0-4) i kationy tetrabutylammonium. Stosowane metody to: DSC, TG-FTIR, TG-MS i DTA. Pomiary prowadzono w argonie i powietrzu w zakresie temperatur 173-450K (DSC) i 300-1073K (TG). Stałe produkty dekompozycji identyfikowano metodami spektroskopii FT-FIR i dyfraktometrii rentgenowskiej.
-
A Conception of Pairwise Comparisons Model for Selection of Appropriate Body Surface Area Calculation Formula
PublikacjaBody surface area (BSA) may be computed using a variety of formulas, but the computed BSA differs from real BSA values for particular subjects. This is presented in the paper by computing BSA values for selected subject and comparing them to the real BSA value obtained with the use of a 3D body scanner. The results show inequalities in the relevant BSA computing formulas. Hence, there is a need to determine a method that will allow...
-
CERTYFIKACJA SYSTEMÓW ZARZĄDZANIA JAKOŚCIĄ I BEZPIECZEŃSTWEM ŻYWNOŚCI - AKTUALNE TRENDY I PERSPEKTYWY
PublikacjaW opracowaniu zaprezentowano uwarunkowania dotyczące certyfikacji systemów zarządzania jakością i bezpieczeństwem żywności. Przedmiotem badań była liczba certyfikatów w przedsiębiorstwach należących do sektora rolno-spożywczego w Polsce. Na podstawie danych, uzyskanych od jednej z wiodących na świecie jednostek certyfikujących, przeprowadzono analizę porównawczą dotyczącą skali certyfikacji, zarówno w odniesieniu do wymagań norm...
-
Interpolation of complex dynamic trajectory for hand-written signature verification
PublikacjaRożważono problem interpolacji trajektorii jedno-grafelowego podpisu odręcznego do rozpoznawania i weryfikacji podpisu złożonego za pomocą tabletu. Przedyskutowano użyteczność interpolacji celem unifikacji podpisu, dla potrzeb porównania aktualnie złożonego podpisu ze wzorcem zapisanym w bazie. Wykorzystano różne reprezentacje trajektorii. Opracowano system decyzyjny wykorzystujący filtr dopasowany. Pracę zilustrowano przykładami...
-
Zarządzanie bezpieczeństwem morskim z wykorzystaniem Formalnej Oceny Bezp0ieczeństwa Żeglugi na przykładzie Zatoki Pomorskiej
PublikacjaProjekt systemu formalnej oceny bezpieczeństwa żeglugi dla Zatoki Pomorskiej i portu Świnoujście, wykonany zgodnie z zaleceniami IMO. Zastosowanie technik wspomagających analizę ryzyka wykorzystywanych w FSA. Wnioskowanie dotyczące bezpieczeństwa na podstawie analizy FSA.
-
The formal safety assessment and influence of human factor in application to chosen ship's type
PublikacjaTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie się, a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna....
-
Notre Dame Journal of Formal Logic
Czasopisma -
Simple empirical formula to estimate the main geomechanical parameters of preplaced aggregate concrete and conventional concrete
PublikacjaPreplaced aggregate concrete (PAC) or two-stage concrete is a specific type of concrete successfully employed in many projects including underwater concrete structures, massive concrete structures, structures made of reinforced concrete, and improvement of concrete structures. PAC is significantly different than the conventional concrete. In this type of concrete, aggregates are initially poured into the mold, the voids between...
-
PROJEKT I WDROŻENIE ZAAWANSOWANEGO SYSTEMU TELEMETRII DO POMIARÓW ZACHOWANIA BOLIDU FORMULA STUDENT
Publikacjapracy przedstawiono proces projektowania i wytworzenia zaawansowanego systemu telemetrii, który został zaaplikowany w piątej generacji bolidu stworzonego przez zespół PGRacing Team. Zastosowanie tego rozwiązania pozwoliło na optymalizację konstrukcji i ustawienia zawieszenia pojazdu. Zebrane dane pochodzą z sensorów, w których skład wchodzą m. in. GPS, akcelerometr, czujniki temperatury opon, liniowe czujniki skoku zawieszenia,...
-
Ocena zasobów oraz weryfikacja granic obszaru ochronnego GZWP nr 133 Młotkowo za pomocą numerycznego modelu przepływu wód podziemnych
PublikacjaModel Głównego Zbiornika Wód Podziemnych powstał w celu dokonania oceny dostępnych zasobów wód oraz zweryfikowania granic strefy ochronnej. GZWP Młotkowo jest położony w południowej części Pojezierza Krajeńskiego. Ze względu na konieczność weryfikacji granic zbiornika wyznaczonych przez Kleczkowskiego i in. (1990) do badań modelowych przyjęto obszar cztery razy większy niż rozmiar GZWP. W celu osiągnięcia najbardziej wiarygodnych...
-
Weryfikacja i interpretacja wyników pomiarów akustycznych w obiekcie Filharmonii Kaszubskiej w Wejherowie w aspekcie zgodności z projektem akustyki
PublikacjaPrzeanalizowano wyników pomiarów akustycznych zrealizowanych przez wykonawcę robót wykończeniowych (pomiary w zakresie akustyki wnętrz i akustyki budowlanej). Zalecono rozszerzenie zakresu pomiarów, po pełnym zakończeniu robót w obiekcie, oraz ich ponowną analizę w aspekcie zgodności z projektem akustyki.
-
Experimental verification of natural convective heat transfer phenomenon from isothermal cuboids
PublikacjaArtykuł przedstawia wyniki badań eksperymentalnych konwekcyjnej wymiany ciepła od powierzchni izotermicznego prostopadłościanu o stosunkowo dużych rozmiarach (t.j. 1.5 m x1 m x 0.5 m). Celem tych badań było otrzymanie wyników, które można by porównać z otrzymanymi dla obiektu w mniejszej skali i prezentowano we wcześniejszych doniesieniach (Int. J. Heat Mass Transfer 46 (2003) 2169-2178). Rozwiązanie eksperymentalne przeprowadzono...
-
Verification of the criteria for evaluation of water and frost resistance of asphalt concrete
PublikacjaThe paper presents the results of field investigation - condition survey of existing pavements and the results of laboratory tests on water and frost resistance of samples cored from the these pavements. The purpose of testing was to verify the criteria for evaluation of the resistance of asphalt concrete to the action of water and frost by way of comparing the results of field and laboratory tests, followed by evaluation of their...
-
New Generation of Water lubricated Foil bearing - Numerical Models and Experimental Verification
PublikacjaIn the paper a new idea of foil water lubricated bearing and methodology of hydrodynamic characteristics calculations is presented. To assesses the theoretical characteristics of these bearings two different computer models were built. First is structural model coupled with fluid model. It takes into account: fluid flow in the deformed fluid gap, specific design of bearing support and friction in bearing support. The second is...
-
Tissue fixed with formalin and processed without paraffin embedding is suitable for imaging of both peptides and lipids by MALDI-IMS
Publikacja -
Analiza akustyczna jako parametr klasyfikacji formalnej homonimii międzyjęzykowej [The acoustic analysis as a parameter for classifying interlingual homonymy]
Publikacja -
Blokowe algorytmy interpolacji trajektorii zespolonych i oceny ich podobieństwa, z zastosowaniem do weryfikacji dynamicznego podpisu odręcznego
PublikacjaRozprawa doktorska poświęcona jest dwóm zagadnieniom. Pierwsze z poruszanych zagadnień to blokowe algorytmy interpolacji. W stosowanych i opisywanych dotychczas rozwiązaniach interpolacji za pomocą algorytmów blokowych, realizowanych po stronie częstotliwości, czyli przy użyciu transformaty Fouriera, zarówno krotność interpolacji jak i długości interpolowanych sygnałów były ograniczone do kolejnych potęg 2. Wynikało to przede wszystkim...
-
Generalized Taylor formula and shell structures for the analysis of the interaction between geosythetics and engineering structures of transportation lines
PublikacjaThe analysis of the interaction between geosynthetics and engineering structures (e.g. railroad bed, soil foundation, pipeline) assumes that the geosynthetic form elastic membranes or shell laid on different types of foundations. The mathematical description of that problems in continuous domain employs Laplace operator Δ or d’Alembert operator □. In this paper we demonstrate the analysis based on generalize Taylor formula, and...
-
Zur Ahnlichkeit der Drill- und Biegetrager-Formeln fur dunnwandige Stabe - Stellungsnahme zur Zuschrift.
PublikacjaPrzedstawiono stanowisko odnośnie uwag dyskutanta, stwierdzające możliwości przyjęcia różnych dróg przejścia granicznego w analizie problemu.
-
The suitability of DNA extracted from formalin-fixed, paraffin-embedded tissues for double differential polymerase chain reaction analysis
Publikacja -
Krzysztof Formela dr inż.
Osoby -
The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublikacjaTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna. W konsekwencji...
-
Why set of experience knowledge structure can be considered a knowledge representattion for formal decision events?
PublikacjaOmówiono zasady reprezentacji wiedzy przy pomocy zbioru dośwadczeń. Uzasadniono wybór takiej reprezentacji na tle badańliteraturowych.
-
Wykonanie weryfikacji nośności mostów kolejowych na bocznicy GL w Gdańsku oraz ustalenie maksymalnego dopuszczalnego nacisku na oś
PublikacjaCelem opracowania jest wykonanie weryfikacji nośności mostu kolejowego na bocznicy GL nad kanałem w rejonie ul. Zawodzie w Gdańsku oraz ustalenie maksymalnego dopuszczalnego nacisku na oś. Zakres opracowania obejmuje: • inwentaryzację konstrukcji, • ocenę stanu technicznego konstrukcji, • wykonanie symulacji obliczeniowych zachowania konstrukcji na skutek oddziaływań reprezentatywnych schematów obciążeń, • podsumowanie i wnioski.
-
Wykonanie weryfikacji nośności mostów kolejowych na bocznicy GL w Gdańsku oraz ustalenie maksymalnego dopuszczalnego nacisku na oś
PublikacjaCelem opracowania jest wykonanie weryfikacji nośności mostu kolejowego na bocznicy GL nad rz. Rozwójka w Gdańsku oraz ustalenie maksymalnego dopuszczalnego nacisku na oś. Zakres opracowania obejmuje: • inwentaryzację konstrukcji, • ocenę stanu technicznego konstrukcji, • wykonanie symulacji obliczeniowych zachowania konstrukcji na skutek oddziaływań reprezentatywnych schematów obciążeń, • podsumowanie i wnioski.
-
The existence and stability of the anions matching the formula (M=Li, Na, K, Be, Mg, Ca, B, Al, Ga)
Publikacja -
Bifractal receiver operating characteristic curves: a formula for generating receiver operating characteristic curves in credit-scoring contexts
PublikacjaThis paper formulates a mathematical model for generating receiver operating characteristic (ROC) curves without underlying data. Credit scoring practitioners know that the Gini coefficient usually drops if it is only calculated on cases above the cutoff. This fact is not a mathematical necessity, however, as it is theoretically possible to get an ROC curve that keeps the same Gini coefficient no matter how big a share of lowest...
-
Theoretical and experimental investigation of low-noise optoelectronic system configurations for low-coherent optical signal detection
PublikacjaW artykule przedstawiono wyniki teoretycznej i eksperymentalnej analizy konfiguracji niskokoherencyjnego układu detekcji sygnałów optycznych. Zaprezentowano zaprojektowany układ detekcji optycznych sygnałów niskokoherencyjnych, który pozwala na pracę w konfiguracji zrównoważonej i niezrównoważonej, co umożliwia porównanie parametrów obu konfiguracji.