Filters
total: 1150
-
Catalog
- Publications 1000 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 16 available results
- Laboratories 1 available results
- e-Learning Courses 64 available results
- Events 35 available results
- Open Research Data 2 available results
displaying 1000 best results Help
Search results for: FORMALNE%20WYMAGANIA
-
Anna Sobolewska mgr
PeopleBiogram Anna Sobolewska pracuje w Bibliotece Politechniki Gdańskiej w Sekcji Budowy Zbiorów Cyfrowych i Multimedialnych na stanowisku starszego bibliotekarza. Ukończyła studia na Wydziale Historycznym Uniwersytetu Mikołaja Kopernika, na kierunku Bibliotekoznawstwo i Informacja Naukowa. W Bibliotece Politechniki Gdańskiej zajmuje się zbiorami zabytkowymi, ich katalogowaniem zarówno formalnym jak i przedmiotowym, ich udostępnianiem...
-
Decisional DNA with embedded Relief-F linear regression for knowledge and experience management
PublicationOmowiono zastowania Decyzyjnego DNA, regresji liniowej oraz funkcji RELIEF-F w procesach formalnego modelowania i wspomagania zarzadzania wiedza oraz zarzadzania doswiadczeniem.
-
The uses of the pressuremeter test for the design of north transversal tunnel in Grenoble
PublicationWyniki otrzymane z badań presjometrycznych wykorzystano do obliczeń statycznych za pomocą programu Extreme, którym wyznacza się wartość średnią X, odchylenie standardowe, wartość charakterystyczną Xk i rozkład teoretyczny każdego z parametrów. Obliczono wartość charakterystyczną kąta tarcia wewnętrznego dla każdego rodzaju gruntów z prawdopodobieństwem Alfa (równym 5%). Badano rozkłady: normalny, log normalny, wykładniczy, Weybulla,...
-
Protokół głosowania większościowego w narzędziu wsparcia decyzji handlowych
PublicationIstnieje szerokie spektrum narzędzi i metod wspierających decyzje handlowe, lecz brakuj jasnych reguł ich stosowania. Zaproponowano samoorganizujacy się system agentowy do wspierania decyzji handlowych. System bazując na glosowaniu z dynamicznymi wagami, wskazuje efektywne indykatory na podstawie ich poprzednich osiągnięć. Przedstawiono analizę formalną i wyniki weryfikacji, potwierdzającej cechy rozwiązania.
-
Visual Languages and Formal Methods
Conferences -
Wyroby betonowe dla potrzeb sieci kanalizacyjnych.
PublicationSpecyficzne wymagania w stosunku do betonów w kanalizacji. Równowaga obciążeń, szczelność złączy, wymagania jakościowe, rozwiązania alternatywne.
-
Kanalizacyjne studzienki rewizyjne. Zagadnienia konstrukcyjne.
PublicationKonstrukcje kanalizacyjnych studzienek rewizyjnych. Rodzaje, odmiany ich specyficzne wymagania. Wady i zalety rozwiązań, zagrożenia. szczególne wymagania.
-
Podstawy projektowania urządzeń medycznych
e-Learning CoursesPodstawy projektowania elektronicznych urządzeń medycznych. Wymagania prawne, konstrukcyjne i użytkowe.
-
Potrzeba uporządkowania procesu budowlanego w fazie odbiorów
PublicationProblem dyscyplinowania procesu budowlanego. Częste odstępstwa i bylejakość, w tym niewłaściwe procedury odbiorowe. Konieczność wzmocnienia strony formalnej, w tym zwłaszcza odbiorów inwestycji, co jest szczególnie istotne w przypadku inwestycji współfinansowanych. Niski poziom przeciętnego inwestora, służb samorządowych, zwłaszcza inspektorów nadzoru inwestorskiego. Co najmniej regionalnie bardzo poważne problemy z zapewnieniem...
-
Dofinansowania z powiatowych urzędów pracy na rozpoczęcie działalności gospodarczej jako forma wsparcia mikro i małej przedsiębiorczości wraz z oceną jej efektywności na wybranych przykładach.
PublicationArtykuł opisuje zagadnienia związane z dofinansowaniami ze środków oferowanych przez powiatowe urzędy pracy na prowadzenie działalności gospodarczej. Uzyskanie dotacji wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga spełnienia kilku kryteriów. Poniższy artykuł opisuje najważniejsze kwestie i wymogi formalne związane z ubieganiem się o środki na dofinansowanie jednoosobowej działalności...
-
Comprehensive circumscribing of non-linearity cases of a water supply system with smooth flow control
PublicationW artykule opisano formalnie poprawne metody opisu matematycznego pracy pomp o płynnie regulowanych wydatkach oraz reduktorów ciśnienia i reduktorów przepływu w modelowaniu przepływów ustalonych zachodzących w systemach wodociągowych. Opisano metodę opartą o dynamiczną analizę wrażliwości systemu oraz metodę wykorzystującą charakterystyki hydrauliczne systemu wodociągowego. Przedstawiono wyniki symulacji wykorzystującej ww. metody...
-
Emilia Miszewska dr inż.
PeopleEmilia Miszewska was born in 1986 in Gdańsk. She graduated from Primary School No. 17 in Gdańsk with sports classes specializing in swimming and Janusz Kusociński Sports Secondary School No. 11 in Gdańsk. In 2005, she started uniform master's studies at the Faculty of Civil and Environmental Engineering, which she completed in 2011, defending her diploma thesis entitled "Analysis and development of fire protection guidelines and...
-
A model of ship propulsion systems operating process.
PublicationArtykuł zawiera opis formalny procesu eksploatacji układów napędowych statków. Model tego procesu został przedstawiony w formie dwuwymiarowego procesu,, którego współrzędnymi są procesy semi-Markowa o skończonych zbiorach stanów. Jeden z tych procesów jest procesem zmian stanów technicznych układów napędowych a drugi „ procesem zmian ich stanów eksploatacyjnych. Zaproponowano także jednowymiarowy model procesu eksploatacji układów...
-
JEDNORAZOWE DOTACJE NA PODJĘCIE DZIAŁALNOŚCI GOSPODARCZEJ NA PRZYKŁADZIE DOTACJI UDZIELANYCH PRZEZ POWIATOWY URZĄD PRACY W GDYNI
PublicationW artykule dokonano opisu możliwości uzyskania dofinansowania w ramach środków pochodzących z Funduszu Pracy przyznawanych przez urzędy pracy. Tego typu jednorazowe i bezzwrotne wsparcie należy do stosunkowo łatwo dostępnych form finansowania nowo powstałych przedsiębiorstw zakładanych przez osoby bezrobotne. Niemniej jednak uzyskanie dotacji, wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga...
-
Kaszubskie zamieszkiwanie. Studium
PublicationGraficzne, malarskie i fotograficzne przedstawianie przestrzeni zamieszkiwania poprzez obraz oraz formalne poprzez rzeźbę to poszukiwanie nowych środków wyrazu dla ukazania osobistych refleksji na temat domu i jego relacji środowiskowych. Stanowią dopełnienie pracy naukowej i projektowej. Cykl „kaszubskie zamieszkiwanie. studium” to efekt projektu stypendialnego (stypendium dla twórców kultury Marszałka Województwa Pomorskiego...
-
Uwarunkowania dotyczące zawartości granulatu asfaltowego w mieszankach mineralno-asfaltowych produkowanych na gorąco w otaczarkach cyklicznych
PublicationRecykling MMA na gorąco jest obecnie szeroko wykorzystywany w budownictwie drogowym. Pozwala on na uzyskanie istotnych korzyści ekologicznych i ekonomicznych. W artykule przedstawiono uwarunkowania wpływające na zawartość granulatu asfaltowego w MMA. Powinny być one uwzględniane, aby uzyskać MMA z granulatem asfaltowym o właściwościach, takich jak w przypadku mieszanek wykonanych z nowych materiałów. Omówiono głównie uwarunkowania...
-
Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine
Publication -
Scale effect in shaft friction from direct shear tests
PublicationPrzeanalizowano wartości maksymalne tarcia uzyskane w aparacie bezpośredniego ścinania w kontakcie konstrukcja-grunt dla piasków kwarcowych i węglanowych oraz gładkiego i szorstkiego kontaktu. Badania przeprowadzono przy regulowanej sztywności normalnej kontaktu, przy różnej składowej normalnej naprężenia w kontakcie i różnym zagęszczeniu gruntu. Określono efekt skali jako stosunek wartości tarcia mobilizowanego na modelu do tarcia...
-
The application of an expert system for simulation investigations in yhe aided design of ship power systems automation.
PublicationPrzedstawiono strukturę i funkcje systemu wspomagającego projektowanie automatyki systemów enegretycznych statków. Dane opisujące projektowany podsystem energetyczny są wprowadzane w trybie interaktywnym do systemu ekspertowego. Reguły określaja poprawność formalną i merytoryczną wprowadzonych danych. W przypadku braku błędów system automatycznie tworzy model symulacyjny projektowanego podsystemu enegretycznego i wywołuje program...
-
Challenges of modern assessment of safety of ships in critical conditions. Options for preliminary design
PublicationW pracy przedstawiono wyniki badań na temat zastosowania formalnej metody oceny bezpieczeństwa statków w stanie uszkodzonym w stosunku do obecnej metody, opartej na przepisach zawartych w konwencji SOLAS rozdział II-1, części A, B i B-1. Przedstawiono elementy analizy bezpieczeństwa obejmujące identyfikację zagrożeń i scenariuszy wypadków, ocenę zagrożeń, ocenę ryzyka i kontrolę ryzyka. Podano przykłady obliczeniowe i wnioski praktyczne.
-
Mikroekonomia nst msu_on-line
e-Learning CoursesPodstawy mikroekonomii dla msu 4. sem. - 2h zajęć prowadzi w formule on-line dr Aniela Mikulska.
-
Aestheticization of Flowcharts
PublicationOne of the important issues of diagrams is their aesthetics. In this paper a method of its formalization for freehand drawn flowcharts is proposed. In order to formalize the evaluation of flowcharts' aesthetics a criterion consisting of several measures is proposed. Based on this criterion the algorithms for automatic optimization of flowcharts' appearance are proposed.
-
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublicationCelem referatu było dokonanie przeglądu i porównania mechanizmów integracji wiedzy pochodzących z różnych źródeł, zaczynając od podejść kreatywnych, poprzez mniej i bardziej formalne podejścia powiązane z inżynierią oprogramowania, a kończąc na teorii badań interdyscyplinarnych i menadżerskim podejściu do zarządzania zespołami interdyscyplinarnymi. Pod względem metodologicznym, w referacie zastosowano wielodyscyplinarną analizę...
-
Ontologia języka wzorców projektowych dla systemów Smart Cities
PublicationW artykule przedstawiono definicję języka wzorów projektowych Smart Cities w postaci ontologii. Jako, że wdrażanie rozwiązania Smart City jest trudne, drogie i ściśle związane z problematyką dotycząca danego miasta, wiedza nabywana podczas pojedynczego wdrożenia jest wiedzą niezwykle cenną. Zdefiniowany przez nas język wspiera zarządzanie ww. wiedzą jako, że pozwala on na ekspresję rozwiązania, które bazując na najlepszych praktykach...
-
FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition
PublicationW artykule przedstawiono wyniki numerycznej analizy degradacji wytrzymałości na ścinanie w materiałach granulowanych podczas cyklicznego ścinania z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego.
-
Zasady wykonania konstrukcji stalowych
PublicationOmówione zostały wymagania odnośnie wykonania stalowych konstrukcji budowlanych w aspekcjie ich bezpieczeństwa, jakości oraz kontroli. Wskazano na wymagania nowych norm odnośnie procesu zarządzania zakładową kontrolą produkcji i jej certyfikacji.
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublicationThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
Ocena wykrywalności modelowych wad wąskoszczelinowych metodą pomiaru przestrzennego rozkładu magnetycznego pola rozproszonego
PublicationWykazano, że metoda pomiaru natężenia metodą pomiaru natężenia pola rozproszonego (MPR) w polu szczątkowym umożliwia skuteczne wykrywanie zewnętrznych wad szczelinowych o głębokościach 0,2 mm przy długości 2,5 mm, oraz wad punktowych o średnicy mniejszej od 1mm i głębokości 0,3 mm. Zwiększenie poziomu namagnesowania (pomiary w pełnym polu magnetycznym) umożliwiło wykrywanie wad o znacznie mniejszych rozmiarach. Wykazano również,...
-
Ekspertyza dotycząca oszacowania wartości odtwarzacza plików mp3 w telefonie komórkowym
PublicationEkspertyza ma na celu rozstrzygnięcie kwestii czy jest możliwe ustalenie, jaką część telefonu komórkowego stanowi odtwarzacz plików w formacie mp3 i czy jest on w takim przypadku "urządzeniem w urządzeniu", czy też jest to wyłącznie aplikacja.
-
Nowoczesny menedżeryzm sądowy
PublicationCelem artykułu jest ocena rozwiązań przyjętych w wymiarze sprawiedliwości dotyczących zarządzania nim przez profesjonalne podmioty. Artykuł odpowiada na pytania, na ile formalne kompetencje menedżerów sądowych pokrywają się z kompetencjami merytorycznymi i praktycznymi. I wreszcie, na ile menedżerowie są świadomi wyzwań stojących przed współczesnym wymiarem sprawiedliwości w Polsce. Brak wiedzy i umiejętności z zakresu zarządzania...
-
Comparative analysis of the theoretical models of ideal propulsor, ideal fluid brake, ideal screw propeller and ideal axial wind turbine
PublicationThe article presents a detailed discussion of four different fluid dynamics devices.These devices are presented with all relevant mathematical formulae regarding the forces, the power and the efficiency. It is demonstrated that application of the Betz theorem to axial wind turbines is not correct and it underestimates the maximujm achievable efficiency. This conclusion is supported by numerical calculations.
-
Bending of a Three-Layered Plate with Surface Stresses
PublicationWe discuss here the bending deformations of a three-layered plate taking into account surface and interfacial stresses. The first-order shear deformation plate theory and the Gurtin-Murdoch model of surface stresses will be considered and the formulae for stiffness parameters of the plate are derived. Their dependence on surface elastic moduli will be analyzed.
-
Formal Methods in Computer-Aided Design
Conferences -
Formal Power Series and Algebraic Combinatorics
Conferences -
Chemia Fizyczna - seminarium/projekt - sem. IIICh - 23/24
e-Learning CoursesMateriały i wymagania dotyczące zajęć saminaryjno-projektowych z przedmiotu Chemia Fizyczna dla kierunku Chemia III sem.
-
Serwery Aplikacji i Usług w Medycynie
e-Learning CoursesSerwery - pojęcia podstawowe, wymagania, architektury. Serwerownia i infrastruktura serwerowni Usługi i aplikacje
-
Chemia Fizyczna - seminarium/projekt - sem. letni
e-Learning CoursesMateriały i wymagania dotyczące zajęć saminaryjno-projektowych z przedmiotu Chemia Fizyczna dla kierunku Chemia IV sem.
-
Estimation of pile bearing capacity by dynamic and static tests
PublicationBadania dynamiczne, szczególnie dla pali wbijanych, w budownictwie hydrotechnicznym stają się coraz bardziej popularne. Badania, poparte formalnie zapisami zawartymi w Eurokodzie 7, wykorzystywane w badaniach ''na wodzie'' i ''na lądzie'' są szybkie i ekonomiczne. Przedstawiono serię badań dla gruntów uwarstwionych dla pali prefabrykowanych żelbetowych, wbijanych stalowych pali rurowych oraz pali Vibro-Fundex. Badania dynamiczne...
-
A performance-oriented risk-based method for assessment of safety of ships. Modelling uncertainties in hazard and risk analysis
PublicationW artykule podano informacje na temat alternatywnej metody oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka. Zaproponowano użycie metody do projektowania statków w oparciu o ocenę ryzyka. W takim podejściu do projektowania bezpieczeństwo powinno być celem projektowym. Ocena bezpieczeństwa w proponowanej metodzie powinna być dokonywana na podstawie oceny ryzyka. Do oceny ryzyka zastosowano elementy...
-
Zastosowanie badań symulacyjnych w projektowaniu układów automatyki podsystemów energetycznych statków
PublicationPrzedstawiono strukturę i funkcje systemu informatycznego wspomagania projektowania układów automatyki statku. Szczególną uwagę zwrócono na funkcję oceny rozwiązań projektowych na podstawie prowadzonych badań symulacyjnych. Omówiono reprezentację wiedzy o projektowanym podsystemie energetycznym statku, dobór struktur modeli elementów składowych podsystemów umożliwiający zastosowanie reguł do budowy modeli symulacyjnych i reguły...
-
Istota indywidualnego projektowania domów
PublicationDomy to przestrzenie stanowiące formalną i symboliczną odpowiedź na potrzebę i konieczność zamieszkiwania. Ich indywidualne projektowanie ma za zadanie odpowiedzieć na definiowane przez przyszłych mieszkańców potrzeby w warstwie fizycznej i aksjologicznej. W wyniku twórczego dialogu i wartościowego spotkania twórcy obiektu i jego przyszłego użytkownika powstaje przestrzeń będąca schronieniem, zabezpieczeniem oczekiwań, a jednocześnie...
-
Oszacowanie kąta tarcia wewnętrznego piasków morskich na podstawie sondowań statycznych metodą CPTU
PublicationOszacowanie kąta tarcia wewnętrznego piasków na Wybrzeżu Bałtyku w gruntach normalnie skonsolidowanych i prekonsolidowanych, starych złożach i refulatach. Porównanie tych wartości z wynikami badań w aparacie trójosiowego ściskania.Dobór odpowiednich zależności korelacyjnych między wynikami badań laboratoryjnych i terenowych.
-
Workshop on Formal Techniques for Java-like Programs (Workshop on Formal Techniques for Java Programs [FTJP])
Conferences -
Anita Maria Dąbrowicz-Tlałka dr
PeopleAnita Dąbrowicz-Tlałka graduated from the Faculty of Mathematics and Physics at the University of Gdańsk with an outstanding grade, having written her thesis in the field of geometric topology. She concurrently obtained a diploma in Postgraduate Studies in the Basics of Computer Science at the University of Gdańsk. In 2001 she received a Ph.D. degree in mathematical studies at the Poznań University of Technology after defending...
-
passive spice networks from non-passive data
PublicationArtykuł przestawia technike generacji schematow zastepczych w formacie SPICE dla pasywnych układów mikrofalowych. Wynikowy schemat zastepczy ma zagwarantowana pasywnosc. Schematy zastepcze powstaja na podstawie symulacji lub pomiarow w dziedzinie czestotliwosci i moga byc wykorzystane do symulacji w dziedzinie czasu.
-
Research by design w architekturze
PublicationW książce autor dowodzi, że w twórczym procesie powstawania dzieła architektonicznego, czyli obiektu zaprojektowanego a następnie zbudowanego, oprócz rozważań natury teoretycznej pierwszorzędną rolę odgrywają doświadczenia zdobyte na drodze praktycznego stosowania często na wpół intuicyjnych rozwiązań, mających dopiero w przyszłości stanowić podwalinę architektonicznych teorii. Obserwowana dzisiaj narastająca inwazja intuicji,...
-
EKSPERTYZA TECHNICZNA WOZÓW WYCIĄGOWYCH NA POCHYLNIACH KANAŁU ELBLĄSKIEGO – DLA POCHYLNI BUCZYNIEC I JELENIE
PublicationGłównym celem wykonanej ekspertyzy było wykonanie oceny stanu technicznego wozów wyciągowych znajdujących się na pochylniach Buczyniec i Jelenie, wraz ze wskazaniem przyczyn ich nieprawidłowego funkcjonowania oraz sformułowaniem zaleceń dotyczących dalszej eksploatacji. W ramach wykonanej ekspertyzy przeanalizowano istniejącą dokumentację techniczną i formalną oraz wykonano trzy wizje lokalne na pochylni Buczyniec i dwie wizje...
-
Elektrownia Ostrołęka C w budowie a „momentum-FSI”
PublicationMimo przeszkód, trwa budowa elektrowni Ostrołęka C. O tym zapewniają nas główni decydenci – Jarosław Małkowski, Prezes Elektrowni Ostrołęka, czy Sławomir Żygowski, Prezes GE Power, firmy odpowiedzialnej projekt, wykonanie i budowę. Możemy o tym dowiedzieć się w mediach społecznościowych. Ale te same media informują również, że 31 lipca 2019 r. Sąd okręgowy w Poznaniu stwierdził nieważność uchwały Walnego Zebrania Akcjonariuszy...
-
Wzornictwo regionalne jako źródło inspiracji we współczesnym projektowaniu architektonicznym
PublicationKaszuby to region o wyjątkowym wzornictwie regionalnym. Ocalało wiele dobrze zachowanych przykładów zabudowy ruralistycznej i samych obiektów architektonicznych. Szczególną rolę pełni tu wdzydzki skansen stanowiący pełnowymiarowy wzornik inspirujący współczesnych twórców. Rozwiązania formalne oraz detale rzemieślnicze utrwalone tradycją zdobniczą i określoną topografią oraz zasobnością regionu, a także elementy dekoracyjne towarzyszące...
-
The need for new transport protocols on the INTERNET
PublicationThe TCP/IP protocol suite is widely used in IP networks, regardless of diverse environments and usage scenarios. Due to the fact of being the basic concept of organizing the work of the Internet, it is the subject of interest and constant analysis of operators, users, network researchers, and designers. The Internet is a "living" organism in which new needs appear all the time. This is particularly important due to the emerging...