Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE

Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE

  • Implementacja elementów SCORM w systemie zarządzającym nauczaniem Moodle.

    Publikacja

    - Rok 2004

    W referacie dokonano analizy możliwoci takiej rozbudowy systemu Moodle, aby uzyskać zgodnoć z modelami danych okrelonymi w specyfikacji SCORM. Zaprezentowano idee podstawowych mechanizmów zdolnych do obsługi dodatkowych formatów kursów on-line, w tym metody dostarczania odpowiednich zasobów wiedzy do użytkownika. Przedstawiono problemy zwišzane z rozszerzeniem systemu Moodle o obsługę API zgodnego z SCORM oraz opis zaimplementowanych...

  • Confronting representative spectral structures of vocal tract pulse responses

    Publikacja

    - Archives of Acoustics - Rok 2006

    Artykuł niniejszy jest kolejnym w cyklu prac publikowanych na łamach Materiałów OSA, które poświęcono problemowi klasyfikacji formalnej leksemów odmiennych języków.W pracy omówiono metody i rezultaty automatycznego kwalifikowania wybranych leksemów trzech systemów języka na podstawie konfrontowania ich cyfrowych reprezantacji.

    Pełny tekst do pobrania w portalu

  • Pozyskiwanie wiedzy dla zarządzania przepływem informacji.

    Publikacja

    - Rok 2004

    W pracy scharakteryzowano problemy formalnego (ilościowego) i miękkiego (jakościowego) modelowanie przepływu informacji w systemach autonomicznych.

  • A risk-based method for ship safety assessment at the preliminary designstage

    Publikacja

    - Rok 2003

    Praca 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

    Publikacja

    - Rok 2014

    Celem 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

    Publikacja

    - Rok 2009

    Architekci 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Koncepcja urbanistyczna dzielnicy "Alfa Park" w Gdańsku

    Publikacja

    - Rok 2015

    Koncepcja urbanistyczna w formacie masterplanu opracowana dla obszaru dawnego poligonu wojskowego w rejonie ul.Myśliwskiej i przystanku PKM Jasień

  • Systemy agentowe - cechy, zastosowanie oraz przegląd narzędzi do ich tworzenia

    Publikacja

    - Rok 2006

    Rosnące zapotrzebowanie na systemy inteligentne powoduje jednoczesny wzrost zainteresowania tematyką systemów agentowych, mogących znaleźć zastosowanie w budowie wieloagentowych środowisk systemów inteligentnych. Niniejszy artykuł stanowi przegląd problematyki systemów agentowych poczynając od prezentacji definicji a kończąc na specyfikacji środowisk do wywarzania takich systemów. Stanowi także próbę odpowiedzi na ważne pytanie...

  • Definicje ontologii w wieloagentowym systemie do oceny technologii informatycznych

    Publikacja

    Celem artykułu jest zdefiniowanie ontologii dla potrzeb systemu wieloagentowego do oceny technologii informatycznych. Definicje ontologii stanowią podstawę do przygotowania ich specyfikacji dla potrzeb JADE (Java Agent Development Framework). W założeniu ma to być rozwiązanie wieloagentowe korzystające z takich elementów jak bazy wiedzy oraz ontologie traktowane z punktu widzenia JADE jako dołączane biblioteki. W artykule zaprezentowano...

  • SDL i prosty scheduler - zastosowania.

    Publikacja

    - Rok 2004

    Rozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...

  • Zachowanie poprzez sieciowanie w przedsiębiorczości społecznej w odpowiedzi na trudne otoczenie instytucjonalne – przypadek 5 spółdzielni socjalnych

    Publikacja

    Celem 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...

    Pełny tekst do pobrania w portalu

  • Problemy posadowienia podpór mostu drogowego na palach prefabrykowanych.

    Stosowanie 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.

    Pełny tekst do pobrania w portalu

  • Anna Sobolewska mgr

    Biogram 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

    Publikacja

    - Rok 2012

    Omowiono zastowania Decyzyjnego DNA, regresji liniowej oraz funkcji RELIEF-F w procesach formalnego modelowania i wspomagania zarzadzania wiedza oraz zarzadzania doswiadczeniem.

  • Stalowe zbiorniki i konstrukcje powłokowe

    Publikacja

    Referat zawiera opis aktualnych problemów dotyczących projektowania zbiorników na paliwa płynne. W artykule przedstawione zostały aktualne wytyczne normowe dotyczące projektowania i wykonania zbiorników: normę „PN-EN 1993-1-6. Projektowanie konstrukcji stalowych. Część 1-6: Wytrzymałość i stateczność konstrukcji powłokowych”, normę „PN-EN 1993-4-2. Projektowanie konstrukcji stalowych. Część 4-2: Zbiorniki” i normę „PN-EN 14015....

  • The uses of the pressuremeter test for the design of north transversal tunnel in Grenoble

    Publikacja

    - Archives of Civil Engineering - Rok 2006

    Wyniki 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

    Publikacja

    - Rok 2016

    Istnieje 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.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Visual Languages and Formal Methods

    Konferencje

  • Kwalifikowanie technologii spawania zgodnie z wytycznymi normy pn-en iso 15614-8 na przykładzie płyt sitowych stosowanych w u-rurowych wymiennikach ciepła

    W artykule przedstawiono charakterystykę normy PN-EN ISO 15614-8:2005 "Specyfikacja i kwalifikowanie technologii spawania metali. Badanie technologii spawania. Część 8: Spawanie rur z płytami sitowymi". Zaprezentowano algorytm postępowania w przypadku stosowania tej normy, podano warunki, które uzasadniają wybór normy PN-EN ISO 15614-8 do zatwierdzania technologii spawania. Przedstawiono przykład złączy spawanych stosowanych w...

    Pełny tekst do pobrania w portalu

  • Analiza użytkowa systemów telekomunikacji satelitarnej

    Publikacja

    Opisano kierunki rozwoju osobistej telekomunikacji satelitarnej. Omówiono zapotrzebowanie na usługi świadczone przy użyciu techniki satelitarnej. Przeanalizowano doświadczenia wynikające z eksploatacji systemów typu LEO i GEO, z punktu widzenia ich możliwości użytkowych i aktualnego zapotrzebowania rynku na usługi telekomunikacyjne dostarczane poprzez satelitę. Scharakteryzowano przydatność quasi-globalnego podsystemu Inmarsat-GAN...

  • Potrzeba uporządkowania procesu budowlanego w fazie odbiorów

    Publikacja

    - Rok 2016

    Problem 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.

    Artykuł 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...

    Pełny tekst do pobrania w portalu

  • Comprehensive circumscribing of non-linearity cases of a water supply system with smooth flow control

    W 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...

    Pełny tekst do pobrania w portalu

  • Chemia budowlana [ĆW] 24/25

    Kursy Online
    • N. Walczak
    • M. Szopińska
    • A. Kalinowska
    • A. Sokołowska
    • G. Gałęzowska

    Zadania obliczeniowe uwzględniające zagadnienia: mol, gramorównoważniki, skład procentowy, stechiometria reakcji, pisanie równań chemicznych; stężenia molowe i normalne; stężenia procentowe, bilansowanie reakcji redox; twardość wody- przeliczanie wskaźników; dysocjacja elektrolityczna, pH; 

  • Zasady przedsiębiorczości i zarządzania - lato 2023

    Kursy Online

    1. Warunki opłacalności prowadzenia biznesu.2. Definicja specyfikacji funkcjonalnej i technicznej3. Klasyfikacja rodzajów przedsiębiorczości4. Schemat funkcjonalny firmy hi-tec5. Marketing6. Konflikty pomiędzy działem Marketingu i R&D7. Pozyskiwanie kapitału od venture-capital8. Organizacja Działu Sprzedaży9. Priorytetyzacja10. Podejmowanie decyzji z użyciem algorytmu Markowa

  • Miernictwo i systemy pomiarowe W/L, IMM, sem. 04, letni 21/22 (M:31677W0)

    Kursy Online
    • M. Dobrzyński
    • K. Miętka

    Podstawowe pojęcia z metrologii. Metody, błędy i niepewność pomiarów. Tolerowanie i pasowania długości i kątów. Metody analizy wymiarowej. Zasady zamienności części maszyn. Dokładność wykonania przedmiotów. Elementy specyfikacji geometrii wyrobów, tolerowanie kształtu, kierunku i położenia. Charakterystyka struktury geometrycznej powierzchni przedmiotów. Zasady tolerowania geometrycznego. Wzorce i przyrządy pomiarowe.

  • Metrologia i systemy pomiarowe, W/L/C, MiBM NST, sem. 04, letni 21/22 (M:31917W0)

    Kursy Online
    • M. Dobrzyński
    • K. Miętka

    Podstawowe pojęcia z metrologii. Metody, błędy i niepewność pomiarów. Tolerowanie i pasowania długości i kątów. Metody analizy wymiarowej. Zasady zamienności części maszyn. Dokładność wykonania przedmiotów. Elementy specyfikacji geometrii wyrobów, tolerowanie kształtu, kierunku i położenia. Charakterystyka struktury geometrycznej powierzchni przedmiotów. Zasady tolerowania geometrycznego. Wzorce i przyrządy pomiarowe.

  • Metrologia i systemy pomiarowe , W/L/C, ZiIP, sem. 02, letni 21/22 (PG_00055050)

    Kursy Online
    • M. Dobrzyński
    • K. Miętka

    Podstawowe pojęcia z metrologii. Metody, błędy i niepewność pomiarów. Tolerowanie i pasowania długości i kątów. Metody analizy wymiarowej. Zasady zamienności części maszyn. Dokładność wykonania przedmiotów. Elementy specyfikacji geometrii wyrobów, tolerowanie kształtu, kierunku i położenia. Charakterystyka struktury geometrycznej powierzchni przedmiotów. Zasady tolerowania geometrycznego. Wzorce i przyrządy pomiarowe.

  • Właściwości transmisyjne podwodnego kanału akustycznego

    Publikacja

    - Rok 2012

    Właściwości transmisyjne podwodnego kanału akustycznego są silnie uwarunkowane specyfiką jego geograficznej lokalizacji i zmieniają się w czasie. Istnieje potrzeba, by w systemie niezawodnej komunikacji dopasowywać do nich parametry warstwy fizycznej protokołu transmisji danych. Do realizacji tego celu niezbędny jest sparametryzowany opis podwodnego kanału komunikacyjnego. W artykule przedstawiono wyniki pomiarów odpowiedzi impulsowych...

  • Pseudostany w diagramach maszyny stanowej języka UML 2.0

    Publikacja

    - Rok 2006

    Kluczowymi pojęciami w odniesieniu do obiektowych baz danych są obiekty i ich klasy. Aspekt dynamiczny obiektów w systemach intensywnie wykorzystujących dane może być modelowany przy wykorzystaniu diagramów maszyn stanowych. Semantykę tego rodzaju diagramów w wersji 2.0 języka UML znacząco rozbudowano o szereg kategorii pojęciowych. Do najistotniejszych z nich należą pseudostany obiektów. Pozwalają one na precyzyjną specyfikację...

  • Robust design in delta domain for SISO plants: PI and PID controllers

    W pracy przedstawiono zunifikowaną metodę numerycznie odpornej syntezy sterowników (regulatorów) działających w dyskretnym czasie w układach sterowania skalarnymi obiektami czasu ciągłego. Wykorzystano dyskretnoczasowe modele takich obiektów, oparte na tak zwanym operatorze delta, charakteryzującym się korzystnymi odpornościowymi cechami w przypadku stosowania dostatecznie małych wartości okresu próbkowania przetwarzanych sygnałów....

  • Ekspertyza(1)

    Publikacja

    - Rok 2013

    Ekspertyza dotycząca podtrzymania odwołania złożonego przez firmę EAS ENVIMET POLSKA Sp. z o.o. z siedzibą w Wieliczce, ul. Park Kingi 1 32-020 Wieliczka w Krajowej Izbie Odwoławczej przy Prezesie Urzędu Zamówień Publicznych, ul. Postępu 17a 02-676 Warszawa, wobec treści ogłoszenia o zamówieniu opublikowanym dnia 20 lipca 2013r. w Dzienniku Urzędowym Unii Europejskiej pod numerem 2013/S 140-243351 oraz wobec postanowień specyfikacji...

  • Ekspertyza

    Publikacja

    - Rok 2013

    Ekspertyza dotycząca podtrzymania odwołania złożonego przez firmę MARCIN JANIK ENVI-SYSTEM, Osiedle Sienkiewicza 6 lok.1, 32-080 Zabierzów w Krajowej Izbie Odwoławczej przy Prezesie Urzędu Zamówień Publicznych, ul. Postępu 17a 02-676 Warszawa, wobec treści ogłoszenia o zamówieniu opublikowanym dnia 28 czerwca 2013r. w Dzienniku Urzędowym Unii Europejskiej pod numerem 2013/S 124-212469 oraz wobec postanowień specyfikacji istotnych...

  • Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL

    W referacie przedstawiony został autorski moduł oprogramowania ProSIL wspomagający zarządzanie bezpieczeństwem funkcjonalnym. W module ProSILen wykorzystuje się metody matrycy oraz grafów ryzyka. Referat nawiązuje w swej tematyce do zagadnień związanych z etapem określania specyfikacji wymagań bezpieczeństwa dla zidentyfikowanych funkcji bezpieczeństwa realizowanych przez systemy E/E/PE. Składa się ona z dwóch podstawowych grup...

    Pełny tekst do pobrania w portalu

  • Technika satelitarna w telekomunikacji

    Scharakteryzowano różne rozwiązania satelitarnych systemów telekomunikacyjnych, głównie pod względem rodzaju zastosowanej orbity, co ma zasadnicze znaczenie użytkowe. Dokonano przeglądu dotychczasowych reprezentatywnych projektów takich systemów, analizując kolejne fazy ich rozwoju oraz występujące bariery technologiczno-ekonomiczne. Przedstawiono stan prac ETSI w zakresie specyfikacji GMR, której praktycznym przykładem są pierwsze...

  • Emilia Miszewska dr inż.

           Emilia 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...

  • A model of ship propulsion systems operating process.

    Publikacja

    - Rok 2004

    Artykuł 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

    Publikacja

    - Rok 2016

    W 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

    Publikacja

    - Rok 2020

    Graficzne, 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

    Publikacja

    Recykling 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine

    Publikacja
    • L. Wielopolski
    • M. Maryanski
    • B. Ciesielski
    • A. Forman
    • L. Reinstein
    • A. Meek
    • M. Maryański

    - MEDICAL PHYSICS - Rok 1987

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Scale effect in shaft friction from direct shear tests

    Przeanalizowano 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...

    Pełny tekst do pobrania w portalu

  • The application of an expert system for simulation investigations in yhe aided design of ship power systems automation.

    Publikacja

    - Rok 2004

    Przedstawiono 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

    Publikacja

    - Rok 2005

    W 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 Online
    • A. B. Mikulska

    Podstawy mikroekonomii dla msu 4. sem. - 2h zajęć prowadzi w formule on-line dr Aniela Mikulska.

  • Seminarium dyplomowe, S-30, WIMiO, MiBM, II st., sem. 02, stacjonarne, (PG_00057411), semestr letni 2022/2023

    Kursy Online

    Wymagania 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

  • Aestheticization of Flowcharts

    Publikacja

    - Rok 2008

    One 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

    Celem 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ę...

    Pełny tekst do pobrania w portalu

  • FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition

    Publikacja

    - COMPUTERS AND GEOTECHNICS - Rok 2008

    W 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.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Metrologia i systemy pomiarowe , W/L/C, MiBM, sem. 02, letni 21/22 (PG_00055375)

    Kursy Online
    • M. Dobrzyński
    • K. Miętka

    Podstawowe pojęcia z metrologii. Metody, błędy i niepewność pomiarów. Tolerowanie i pasowania długości i kątów. Metody analizy wymiarowej. Zasady zamienności części maszyn. Dokładność wykonania przedmiotów. Elementy specyfikacji geometrii wyrobów, tolerowanie kształtu, kierunku i położenia. Charakterystyka struktury geometrycznej powierzchni przedmiotów. Zasady tolerowania geometrycznego. Zaawansowane metody pomiarowe (WMP,...)....