Filtry
wszystkich: 2378
-
Katalog
- Publikacje 2179 wyników po odfiltrowaniu
- Czasopisma 7 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 26 wyników po odfiltrowaniu
- Wynalazki 10 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 75 wyników po odfiltrowaniu
- Wydarzenia 35 wyników po odfiltrowaniu
- Dane Badawcze 12 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WZGLĘDY FORMALNE
-
Wybrane elementy projektowania budynków wielofunkcyjnych stanowiących miejskie centra logistyczne
PublikacjaCelem artykułu jest przedstawienie wybranych aspektów dotyczących projektowania budynków wielofunkcyjnych stanowiących miejskie centra logistyczne. Centrum logistyczne lokalizowane w obszarze zurbanizowanym jest formalnie obiektem, który ma na celu zaspokojenie wielu potrzeb funkcjonalnych względem potencjalnych użytkowników. Miejskie centrum logistyczne stanowi swego rodzaju system, którego podstawą jest sprawna obsługa procesów...
-
A risk-based method for ship safety assessment at the preliminary designstage
PublikacjaPraca zawiera wyniki badań dotyczących opracowania metody do analizy bezpieczeństwa statku w warunkach krytycznych. Metoda oparta jest na podejściu systemowym do oceny bezpieczeństwa, formalnej ocenie bezpieczeństwa FSA i hydromechanice okrętu. Podano przykłady oceny ryzyka utraty statku w warunkach krytycznych.
-
Kulturowe determinanty zarządzania przedsiębiorstwami klastrowymi
PublikacjaCelem prezentowanego artykułu jest próba określenia swoistego kulturowego profilu zarządzania specyficznym rodzajem organizacji, jaką jest tzw. przedsiębiorstwo klastrowe, czyli podmiot gospodarczy wchodzący w skład formalnie wyodrębnionej z otoczenia „nadorganizacji” (lub po prostu organizacji wyższego rzędu), za jaką uważana jest inicjatywa klastrowa.
-
Arte and Arche. On Art and Architecture
PublikacjaArchitekci poszukują inspiracji i wzorców dla form architektonicznych wśród innych dziedzin sztuki. Zapożyczenia, cytaty i reinterpretacje malarstwa, rzeźby, muzyki, a nawet tańca mogą przynieść oryginalne koncepcje i rozwiązania formalne, przy okazji wiążąc architekturę z szerszym kontekstem historycznym, duchowym i kulturowym. Współczesne formy architektoniczne nieraz powstają jako przestrzenna interpretacja kompozycji malarskich...
-
Od odpadów rolniczych do wysokowydajnego sorbentu. Węgiel aktywny pochodzący z łupin orzechów laskowych do oczyszczania wody i ścieków
PublikacjaŁupiny orzechów laskowych, produkt uboczny przemysłu spożywczego, mają znaczny potencjał jako prekursor do produkcji węgla aktywnego ze względu na ich dużą dostępność i dużą zawartość węgla. Przedstawiono badania możliwości przekształcenia łupin orzechów laskowych w węgiel aktywny, wykorzystany do oczyszczania ścieków z zanieczyszczeń organicznych. Porównano procesy aktywacji fizycznej i chemicznej otrzymanego węgla. Otrzymano...
-
Koncepcja urbanistyczna dzielnicy "Alfa Park" w Gdańsku
PublikacjaKoncepcja urbanistyczna w formacie masterplanu opracowana dla obszaru dawnego poligonu wojskowego w rejonie ul.Myśliwskiej i przystanku PKM Jasień
-
Zachowanie poprzez sieciowanie w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne – przypadek 5 spółdzielni socjalnych
PublikacjaCelem niniejszego artykułu jest zobrazowanie procesów, jakimi są zachowania przedsiębiorców, zachodzących w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne. Opisano zachowania przedsiębiorcze przedstawicieli pięciu spółdzielni socjalnych na podstawie pogłębionych wywiadów i obserwacji . Za pomocą metody ciągłego porównywania wyodrębniono 3 główne kategorie zachowań badanych przedsiębiorców, które...
-
Problemy posadowienia podpór mostu drogowego na palach prefabrykowanych.
PublikacjaStosowanie prefabrykowanych pali wbijanych jest obecnie bardzo częste do różnych rodzajów budownictwa. Przedstawiono zastosowanie takich pali dla posadowienia podpór mostu. Pomimo formalnie bardzo podobnych warunków geotechnicznych przyczółki wykazały zróżnicowane osiadania. Przedstawiono analizę warunków posadowienia, analizę nośności i pomiary rzeczywistych osiadań z wykorzystaniem pomiarów geodezyjnych.
-
Decisional DNA with embedded Relief-F linear regression for knowledge and experience management
PublikacjaOmowiono 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
PublikacjaWyniki 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,...
-
Anna Sobolewska mgr
OsobyBiogram 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...
-
MOŻLIWOŚCI WYKORZYSTANIA OLEJKÓW ETERYCZNYCH W PROFILAKTYCE I TERAPII INFEKCJI WYWOŁYWANYCH PRZEZ DROŻDŻE Z RODZAJU CANDIDA
PublikacjaW artykule przedstawiono perspektywy wykorzystania olejków eterycznych w terapii i profilaktyce chorób infekcyjnych wywoływanych przez drożdże. Wyniki badań z ostatnich lat jednoznacznie potwierdziły, że olejki izolowane z wielu roślin wykazują znaczną aktywność przeciwgrzybową. W przypadku infekcji powierzchniowych mogłyby one stanowić cenną alternatywę, bądź czynnik wspomagający dla stosowanych aktualnie chemioterapeutyków przeciwgrzybowych....
-
Inferring perfect phylogenies with restrictions on character state transitions
PublikacjaZnana z klasycznej literatury metoda rekonstrukcji drzewa filogenetycznego zbioru gatunków na podstawie ich cech analizowanych w modelu doskonałej filogenezy często okazuje się niewystarczająca ze względu na założenia tego modelu, zmuszające do pominięcia znanych biologom informacji. W pracy definiujemy rozszerzenie umożliwiając wprowadzenie dla każdej cechy grafu skierowanego dopuszczalnych przejść ewolucyjnych pomiędzy jej stanami....
-
Czynniki i procesy wpływające na jakość środowiska wewnętrznego w pomieszczeniach przeznaczonych do przygotowywania posiłków
PublikacjaJakość powietrza wewnętrznego w różnego typu pomieszczeniach od niemal pół wieku stanowi jeden z istotnych tematów poruszanych przez naukowców wielu obszarów nauk takich jak chemia, medycyna, inżynieria środowiska czy projektowanie i konstruowanie systemów wentylacji. Specyficznym (pod względem źródeł emisji, typu oraz ilości zanieczyszczeń mogących występować w powietrzu pomieszczenia) rodzajem mikrośrodowiska wewnętrznego, stanowiącym...
-
Protokół głosowania większościowego w narzędziu wsparcia decyzji handlowych
PublikacjaIstnieje 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.
-
Otwarte Dni Drewna - druga edycja
Kursy OnlineDruga Edycja Otwartych Dni Drewna na PG - tym razem ze względu na panującą sytuacje spotykamy sie online!
-
Visual Languages and Formal Methods
Konferencje -
Potrzeba uporządkowania procesu budowlanego w fazie odbiorów
PublikacjaProblem 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.
PublikacjaArtykuł 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...
-
Zastosowanie algorytmu ewolucyjnego do trenowania jednokierunkowych płaskich sztucznych sieci neuronowych
PublikacjaW artykule przedstawiono zastosowanie algorytmu ewolucyjnego do trenowania jednokierunkowych, płaskich, sztucznych sieci neuronowych. Przy użyciu proponowanej metody wytrenowano trzy sieci neuronowe do klasyfikacji problemu parity-3, parity-4 oraz parity-5. Otrzymane wyniki porównano z wynikami uzyskanymi przy użyciu metody wstecznej propagacji błędu ze wględu na liczbę iteracji potrzebną do wytrenowania danej sieci oraz ze względu...
-
Striving for spatial energy efficiency in dwelling complexes. Kształtowanie przestrzennej efektywności energetycznej w zespołach zabudowy mieszkaniowej.
PublikacjaThe main aim of this article was to discover the key characteristics in shaping most rewarded eco- district complexes built respectively in temperate climate zone in respect to spatial energy efficiency and resilience principles. It was done through careful case studies, comparative analysis and juxtaposition of critical parameters related to spatial energy efficiency and resilience in chosen representative dwelling complexes....
-
A model of ship propulsion systems operating process.
PublikacjaArtykuł 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
PublikacjaW 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
PublikacjaGraficzne, 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
PublikacjaRecykling 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...
-
Transakcje masowymi produktami rolnymi na rynku zbóż w Polsce
PublikacjaW pracy podjęto problematykę doboru rodzaju transakcji do wymogów zmieniającej się gospodarki otwartej w warunkach światowej globalizacji. Rolnictwo zawsze traktowano jako sektor gospodarki, który bez względu na czynniki makroekonomiczne powinien być najbardziej ze wszystkich sektorów wspierany przez aktywną politykę interwencyjną państwa. Zamiar utrzymywania administracyjnie dochodów przedsiębiorstw rolnych na ustalonym bądź...
-
ROLA ZABYTKÓW W GOSPODARCE - WYBRANE ZAGADNIENIA
PublikacjaRola zabytków w gospodarce rynkowej jest dwojaka i ogranicza się jedynie do wartości historycznej, naukowej czy artystycznej. Z jednej strony budują tożsamość narodową i pełnią funkcje społeczne, a z drugiej – stanowią produkt rynkowy, który wspiera rozwój regionalny pod względem atrakcyjności turystycznej oraz inwestycyjnej. Zabytki jako część infrastruktury stanowią element rozwoju społeczno – gospodarczego. Można więc powiedzieć,...
-
Scale effect in shaft friction from direct shear tests
PublikacjaPrzeanalizowano 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...
-
Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine
Publikacja -
Analiza napięć indukowanych i strat mocy w kablach elektroenergetycznych wysokiego napięcia dla wybranych sposobów uziemienia żył powrotnych
PublikacjaDostarczanie mocy do centrów miast coraz częściej odbywa się z wykorzystaniem linii kablowych o napięciu 110 kV. To dogodny sposób zasilania, a praktycznie jedyny możliwy w przypadku gęstej zabudowy miejskiej. Kable wysokiego napięcia zawierają współosiową żyłę powrotną, w której podczas normalnej pracy oraz w stanach zakłóceniowych (podczas zwarć) mogą indukować się znaczne napięcia względem ziemi, co zagraża porażeniem i/lub...
-
The application of an expert system for simulation investigations in yhe aided design of ship power systems automation.
PublikacjaPrzedstawiono 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
PublikacjaW 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
Kursy OnlinePodstawy mikroekonomii dla msu 4. sem. - 2h zajęć prowadzi w formule on-line dr Aniela Mikulska.
-
Aestheticization of Flowcharts
PublikacjaOne 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.
-
Seminarium dyplomowe, S-30, WIMiO, MiBM, II st., sem. 02, stacjonarne, (PG_00057411), semestr letni 2022/2023
Kursy OnlineWymagania formalne przy realizacji pracy dyplomowej. Dyskusja nad postępami w pracy, w szczególności przeglądu literatury. Prezentacja multimedialna osiągnięć z pracy dyplomowej w dwu wystąpieniach: pierwsze przeglądu literatury i założeń, drugie uzyskanych wyników. Przygotowanie do egzaminu dyplomowego. Źródła: https://wimio.pg.edu.pl/studenci/sprawy-studenckie/zasady-dyplomowania
-
Emilia Miszewska dr inż.
OsobyEmilia Miszewska urodziła się w 1986 roku w Gdańsku. Ukończyła Szkołę Podstawową nr 17 w Gdańsku z klasami sportowymi o profilu pływanie oraz Liceum Sportowe nr 11 im. Janusza Kusocińskiego w Gdańsku. W 2005 roku rozpoczęła jednolite studia magisterskie na Wydziale Inżynierii Lądowej i Środowiska, które ukończyła w roku 2011, broniąc pracę dyplomową pt. „Analiza i opracowanie wytycznych zabezpieczenia pożarowego oraz planu...
-
Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych
PublikacjaBezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo...
-
FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition
PublikacjaW 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.
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublikacjaThe 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
PublikacjaWykazano, ż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
PublikacjaEkspertyza 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.
-
Charakterystyka i właściwości kerogenu w kontekście wzbogacania rud miedzi
PublikacjaScharakteryzowano materię organiczną formacji łupkowych w odniesieniu do jej związku z minerałami metalonośnymi. W szczególności analizowano kerogen, ze względu na właściwości, stan skupienia i związanie z materią mineralną. Zestawiono najbardziej efektywne metody pozwalające na skuteczny rozdział materii organicznej i minerałów metalonośnych ze skał łupkowych, celem uzyskania koncentratu o najwyższej jakości. Omówiono flotację...
-
Wpływ mimośrodów na nośność węzłów typu "K" w kratownicach stalowych.
PublikacjaZe względu na rozwój technologii przemysłowych w kształtowaniu dźwigarów kratowych, coraz częściej odbiega się od klasycznych założeń dotyczących kształtowania tego typu konstrukcji. Ze względów technologicznych pręty skratowania nie są łączone współśrodkowo, co powoduje po-wstawanie w węzłach mimośrodów dodatnich lub ujemnych. Wpływ mimośrodów na nośność węzłów kratowych dla dźwigarów wykonanych z kształtowników walcowanych na...
-
Nowoczesny menedżeryzm sądowy
PublikacjaCelem 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...
-
Bending of a Three-Layered Plate with Surface Stresses
PublikacjaWe 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.
-
Comparative analysis of the theoretical models of ideal propulsor, ideal fluid brake, ideal screw propeller and ideal axial wind turbine
PublikacjaThe 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.
-
Formal Methods in Computer-Aided Design
Konferencje -
Formal Power Series and Algebraic Combinatorics
Konferencje -
Zastosowanie badań symulacyjnych w projektowaniu układów automatyki podsystemów energetycznych statków
PublikacjaPrzedstawiono 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...
-
A performance-oriented risk-based method for assessment of safety of ships. Modelling uncertainties in hazard and risk analysis
PublikacjaW 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...