Search results for: NAUCZANIE ZINTEGROWANE - Bridge of Knowledge

Search

Search results for: NAUCZANIE ZINTEGROWANE

Filters

total: 924
filtered: 599

clear all filters


Chosen catalog filters

  • Category

  • Year

  • Options

clear Chosen catalog filters disabled

Search results for: NAUCZANIE ZINTEGROWANE

  • Wpływ systemu logistycznego miasta na kształtowanie budynków wielofunkcyjnych

    Publication

    - Logistyka - Year 2014

    Celem artykułu jest przedstawienie wpływu systemu logistycznego miasta na kształtowanie przestrzeni zurbanizowanej poprzez projektowanie budynków wielofunkcyjnych. Przedstawione zostały tendencje rozwoju miast, oraz ich charakter kształtowania w zakresie funkcji. Wykazane zostały związki miejskiego systemu logistycznego z budynkami wielofunkcyjnymi. Zilustrowany został schemat zintegrowanej miejskiej sieci logistycznej, której...

  • Politechnika w Gdańsku i Politechnika Gdańska. Fakty i refleksje.

    Publication

    - Year 2004

    Na tle zdarzeń politycznych przedstawiono drogę rozwoju nauczania politechnicznego w Gdańskim, determinowaną latami 1904, 1921, 1931 i 1945 jako jej kamieniami milowymi. Artykuł nawiązuje do Jubileuszu 100-lecia Politechniki w Gdańsku.

  • System GIS do analizy i wizualizacji zanieczyszczeń oraz innych składników środowiska morskiego

    W artykule przedstawiono koncepcję oraz prototyp morskiego systemu GIS do zdalnego monitorowania w czasie rzeczywistym zanieczyszczeń środowiska morskiego. System pozwala na gromadzenie i integrowanie danych z różnego rodzaju sensorów, takich jak echosondy jednowiązkowe, sonary boczne i echosondy wielowiązkowe.

  • GIS for remote sensing, analysis and visualisation of marine pollution and other marine ecosystem components

    W artykule przedstawiono koncepcję oraz prototyp morskiego systemu GIS do zdalnego monitorowania w czasie rzeczywistym zanieczyszczeń środowiska morskiego. System pozwala na gromadzenie i integrowanie danych z różnego rodzaju sensorów, takich jak echosondy jednowiązkowe, sonary boczne i echosondy wielowiązkowe.

    Full text to download in external service

  • Architektury systemów informatycznych wspomagających rozwój e-uczelni

    Przedstawiono charakterystykę podstawowych kategorii architektur systemów informatycznych. Zaprezentowano koncepcję środowiska zintegrowanego e-uczelni opartą na architekturze zorientowanej na usługi dostępne dla poszczególnych kategorii użytkowników. Uzasadniono wybór takiego podejścia oraz przeanalizowano aspekty bezpieczeństwa. Omówiono również zasady integracji istniejących już systemów.

    Full text available to download

  • Zlewnia Raduni.

    Publication

    - Year 2006

    Załącznik stanowi synteze monografii pt. Charaterysytka Raduni i jej zlewni w świetle ramowej Dyrektywy Wodnej UE, wydanej jako wydawnictwo zwarte IBW PAN w Gdańsku w ramach Projektu Zamawianego pt. Metodyczne podstawy narodowego planu zintegrowanego rozwoju gospodarki wodnej w Polsce.

  • Identification of chemical pollution problems and causes in the Baltic See in relation to socio-economic drivers

    Publication

    Opisano możliwość wykorzystania nowego narzędzia do zintegrowanej oceny stanu środowiska w akwenie Morza Bałtyckiego. Takie możliwości stwarza narzędzie znane jako DPSIR czyli Drivers (sfery działalności człowieka będące źródłem potencjalnych zznieczyszczeń)-Pressures (ksenobiotyki i specyficzne czynniki szkodliwe emitowane do środowiska)-Stata (stann środowiska)- Impact (efekty niekorzystego oddziaływania na część ożywioną i nieożywioną...

    Full text available to download

  • Analysis of network infrastructure and QoS requirements for modern remote learning systems.

    Publication

    W referacie przedstawiono różne modele zdalnego nauczania. Podjęto próbę oceny wymagań nakładanych na infrastrukturę sieci. Ponadto przedstawiono mechanizmy QoS spotykane w sieciach teleinformatycznych oraz dokonano oceny możliwości ich współpracy w systemach edukacji zdalnej

  • Wybrane aspekty oceniania w kształceniu na odległość

    Publication

    W artykule podjęto tematykę oceniania w odniesieniu do podstaw teoretycznych nauczania na odległość. Przyjęcie podejścia konstruktywistycznego w kształceniu oznacza zwiększenie autonomii uczących się w wielu aspektach, w tym również w ocenianiu własnych osiągnięć.

  • Wielopoziomowe modelowanie ruchu - koncepcja i doświadczenia praktyczne

    Publication

    Doświadczenia z ostatnich lat na obszarze województwa pomorskiego wskazują, że na obszarze województwa pomorskiego stosowane są różne narzędzia prognozowania i analiz transportowych. Stosowane modele są niekompatybilne, opracowywane przy innych założeniach i co najgorzej produkowane prognozy i wyniki analiz znacznie różnią się między sobą. Biorą to pod uwagę Katedra Inżynierii Drogowej Politechniki Gdańskiej wyszła z inicjatywą...

  • Obsługa klienta jako narzędzie uzyskiwania przewagi konkurencyjnej przedsiębiorstwa.

    Publication

    - Year 2004

    Przedstawione jest rosnące znaczenie obsługi klienta jako czynnika konkurencyjności rynkowej. Interpretowane jest pojęcie obsługi klienta. Ukazane jest miejsce obsługi klienta w marketingu. Szczególny nacisk kładziony jest na prezentację zintegrowanego systemy obsługi klienta bazującego na trzech grupach elementów: elementach przedtransakcyjnych, transakcyjnych i potransakcyjnych.

  • Zarządzanie procesami przedsiębiorstwa (BMP-Business Process Management).

    Publication

    - Year 2004

    W przedstawionym rozdziale opisano założenia metody projektowania i doskonalenia zintegrowanego systemu zarządzania organizacją i procesami. System zarządzania organizacją i procesami, w odróżnieniu od aktualnych systemów polegających na zarządzaniu organizacją poprzez funkcje (wydziały, działy), jest bardziej efektywną formą zarządzania organizacjami ukierunkowanymi na rynek.

  • Designing control and protection systems with regard to functional safety aspects.

    Publication

    - Year 2005

    Zaproponowano zintegrowane podejście w ocenie bezpieczeństwa funkcjonalnego systemów E/E/PE. Niepewność probabilistycznych miar ryzyka dla elektrycznych, elektronicznych i programowalnych elektronicznych systemów jest reprezentowana za pomocą przedziałów, które są porównywane z przedziałowymi kryteriami probabilistycznymi zdefiniowanymi dla tych systemów przez normę IEC 61508, w postaci czterech poziomów nienaruszalności bezpieczeństwa...

  • Architektura i mechanizmy Równoległego Internetu IPv6 QoS

    Publication
    • K. Gierłowski
    • H. Tarasiuk
    • W. Góralski
    • J. Granat
    • J. M. Batalla
    • W. Szymak
    • P. Świątek
    • S. Hanczewski
    • R. Szuman
    • M. Giertych... and 2 others

    - Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne - Year 2011

    Referat przedstawia propozycję architektury i mechanizmy Równoległego Internetu IPv6 QoS, który jest rozważany jako jeden z trzech Równoległych Internetów w Systemie IIP tworzonym w ramach projektu Inżynieria Internetu Przyszłości (IIP). Referat zawiera funkcje i mechanizmy, które umożliwią działanie sieci wirtualnych dla wybranych typów aplikacji, takich jak e-zdrowie, monitorowanie i bezpieczeństwo publiczne, zdalne nauczanie,...

  • Architektura i mechanizmy Równoległego Internetu Ipv6 QoS

    Publication
    • H. Tarasiuk
    • W. Góralski
    • J. Granat
    • M. B. Jordi
    • W. Szymak
    • S. Hanczewski
    • R. Szuman
    • M. Giertych
    • K. Gierłowski
    • M. Natkaniec
    • J. Gozdecki

    - Year 2012

    Artykuł przedstawia propozycje architektury i mechanizmy Równoległego Internetu IPv6 QoS, który jest rozważany jako jeden z trzech równoległych Internatów w systemie IIp tworzonym w ramach projektu Inzynieria Internetu Przyszłości (IIP). Artykuł zawiera funkcje i mechanizmy, które umożliwiają działanie sieci wirtualnych dla wybranych typów aplikacji, takich jak e-zdrowie, monitorowanie, bezpieczeństwo publiczne, zdalne nauczanie,...

  • Information Technology in Mechatronics as example of multidisciplinary approach to mechatronics course

    Publication

    Artykuł poświęcony jest przedstawianiu koncepcji nauczania na nowym, multidyscyplinarnym kierunku studiów ''Mechatronika''. W szczególności zaprezentowane zostały przykłady rozwiązań dotyczące kursu przedmiotu Informatyka. Przyjęte rozwiązania mają na celu podniesienie jakości kształcenia inżynierów na Wydziale Mechanicznym Politechniki Gdańskiej.

  • Niemieckie koncepcje kształcenia inżynierów w okresie powstawania politechniki w Gdańsku.

    Publication

    - Year 2004

    Artykuł prezentuje opinie niemieckich specjalistów nauczania politechnicznego, jakie pojawiły się w piśmie ''Zeitschrift der Vereins deutsche Ingenieure'' na przełomie XIX i XX wieku. Stwierdzono wyraźne podobieństwo tych opinii z tymi, jakie widoczne są również i dzisiaj.

  • IV program brd Unii Europejskiej : Bezpieczeństwo ruchu drogowego prawem i obowiązkiem każdego obywatela

    Publication

    - Drogownictwo - Year 2010

    W maju 2007r. Minister Nauki i Szkolnictwa Wyższego powierzył Konsorcjum Naukowemu, kierowanemu przez Politechnike Gdańską, realizacje trzyletniego projektu Badawczego pt. ''Zintegrowany system bezpieczeństwa transportu''. Projektowi nadano akronim ZEUS. Głównym celem projektu jest stworzenie przez badania naukowe merytorycznych podstaw dla rozwoju integracji bezpieczeństwa transportu w Polsce, traktując tę integrację jako warunek...

  • Hierarchiczne sterowanie predykcyjne stężeniem tlenu w reaktorze biologicznej oczyszczalni ścieków

    Publication

    - Year 2011

    Oczyszczalnia ścieków jest złożonym systemem sterowania z powodu nieliniowej dynamiki, niepewności i braku wystarczającej liczby pomiarów, wielu skal czasu i wielowymiarowości. Napowietrzanie spełnia bardzo ważną rolę w oczyszczalni ścieków. Powietrze dostarczane do reaktorów biologicznych z jednej strony służy jako pokarm dla bakterii "pracujących" przy oczyszczaniu ścieków, z drugiej strony pomaga w procesach mieszania ścieków....

  • Low-cost handheld multiprobe reflectometer for the ism band

    Publication

    - Year 2008

    W artykule przedstawiona została procedura oraz działający model taniego miernika współczynnika odbicia na pasmo ISM. Koncepcja modelu oparta jest o reflektometr z multi próbkowaniem oraz wykorzystanie zintegrowanego detektora mocy firmy Analog Devices. Prototypowy miernik z interfejsem został zbudowany. Wyniki symulacji oraz eksperymentu zostały przedstawione.

  • Cykliczne rozkłady jazdy pociągów

    Publication

    Artykuł przedstawia ideę zintegrowanego cyklicznego rozkładu jazdy oraz historię wdrożenia na różnych kolejach europejskich ze szczególnym uwzględnienie kolei polskich, poczynając od lat międzywojennych aż do roku 2006. Omówiono silne oraz słabe strony koncepcji, a także szanse i zagrożenia (analiza SWOT). Przeanalizowano uwarunkowania formalnoprawne wdrażania rozkładu cyklicznego.

  • Koncepcja integracji taryfowo-biletowej transportu zbiorowego w Obszarze Metropolitalnym Trójmiasta

    Publication

    - Transport Economics and Logistics - Year 2015

    Podejmowanie działań w zakresie integracji taryfowo-biletowej transportu publicznego w Obszarze Metropolitalnym Trójmiasta należy rozpatrywać w odniesieniu do powiązanych ze sobą funkcjonalnie obszarów, obsługiwanych jednocześnie przez co najmniej dwóch organi-zatorów transportu zbiorowego, gdy ich oferty są względem siebie substytucyjne i/lub kom-plementarne. Wprowadzenie zintegrowanych rozwiązań taryfowo-biletowych ma na celu...

    Full text available to download

  • Studia podyplomowe dla nauczycieli przez Internet na przykładzie Gdańska i Warszawy

    Publication

    - Year 2003

    W artykule przedstawiono studia podyplomowe dla nauczycieli przez Internet realizowane przez Politechnikę Gdańską w ramach współpracy Wydziału Elektroniki, Telekomunikacji i Informatyki oraz Centrum Edukacji Niestacjonarnej. Zaproponowano model kształcenia zintegrowanego, który pozwala na lepsze wykorzystanie materiałów pomocniczych (biblioteki zasobów, linki, testy kontrolne, przykładowe prace dyplomowe z lat poprzednich) oraz...

  • Wykonanie i sterowanie układem stabilizacji obiektu na równi pochyłej

    Platforma ball and beam jest jednym z najbardziej popularnych fizycznych modeli laboratoryjnych przydatnych w nauczaniu inżynierii systemów sterowania. W artykule przedstawiono projekt, wykonanie i oprogramowanie platformy ball and beam. Opisano proces doboru i implementacji filtrów sygnałów pomiarowych oraz syntezę algorytmu sterowania.

    Full text available to download

  • Modele matematyczne do wspomagania komputerowo sterowania systemami produkcyjnymi.

    Publication

    - Year 2002

    Przedstawia się zasadę budowy zunifikowanego modelu matematycznego zintegrowanego sterowania systemami produkcyjnymi. Model ten składa się z modeli zespołów produkcyjnych oraz z istotnych w rozwiązaniu problemu modeli matematycznych zespołów zaopatrzeniowych oraz zespołów zbytu produktów. Uwzględnione są także w nim relacje pozwalające decydentowi podejmować decyzje dotyczące renowacji zespołów.

  • Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych

    AutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...

  • An integrated hydraulic drive system of a novel device for launching lifeboats from large passenger ship

    Publication

    Artykuł przedstawia zintegrowany układ napędu i sterowania hydraulicznego systemu ewakuacyjnego składającego się z wyciągu łańcuchowego z zamocowanymi na nim łodziami ratunkowymi oraz furto-rampy rufowej. Zastosowana tu furto-rampa z elementem wypornościowym umożliwia zwiększenie jej funkcji do samoczynnego dostosowania kąta jej wychylenia roboczego w przypadku znacznego przegłębienia statku na dziób. Przedstawiony układ hydrauliczny...

    Full text available to download

  • Using open source LMS Moodle in postgraduate studies at Gdansk University of Technology.

    Publication

    - Year 2004

    W artykule zaprezentowano doświadczenia Centrum Edukacji Niestacjonarnej Politechniki Gdańskiej na polu wdrażania systemów zarządzania nauczaniem na odległość w edukacji i korzystania z oprogramowania z otwartym kodem źródłowym (ang. open source) na przykładzie projektów Leonardo da Vinci EMDEL i V Ramowy CURE.

  • Perspektywy wykorzystania technologii internetowych typu E-learning w dydaktyce szkół wyższych.

    Publication

    Artykuł dotyczy nauczania przez Internet na poziomie uniwersyteckim. Zaprezentowany został model wirtualnego uniwersytetu, który obejmuje materiały dydaktyczne, komunikację, egzaminy i organizację. Artykuł koncentruje się na technicznych zagadnieniach. Przeanalizowano także wpływ wykorzystania technologii E-learning na różne aspekty życia wyższej uczelni.

  • Web based training system TeleCAD. Teleworkers training for CAD system users

    Publication

    - Year 2003

    W artykule zaprezentowano internetowy system dostarczania kursów do nauczania na odległość. System został opracowany w ramach projektu Leonardo da Vinci TeleCAD (1998-2001). Pokazano jak system wykorzystywany jest obecnie oraz możliwość wykorzystania w projekcie CURE (Research Framework Programme5, 2003-2005).

  • Theory vs. practice. Searching for a path of practical education

    The introduction of a three-tier model of higher education (the Bologna model) has led to considerable changes in the 1st- and 2nd-tier technical courses at universities. At present, a student with a bachelor’s degree can be employed in his / her profession after completing only 7 semesters of study. A search is under way for methods of combining theoretical knowledge taught at universities with practical knowledge gained afterwards....

    Full text available to download

  • Web-based marine gis for littoral security

    W artykule opisano koncepcję oraz przykładowe zastosowania systemu informacji geograficznej umożliwiającego zbieranie, przetwarzanie, integrowanie oraz wizualizację danych pochodzących z pomiarów bezpośrednich, obrazów lotniczych i satelitarnych oraz systemów hydroakustycznych.Przedstawiono przykłady zastosowania systemu w dziedzinie ochrony strefy przybrzeżnej takie, jak: -monitoring rozprzestrzeniania wylewu olejowego, -monitoring...

  • Szacowanie wartości niemierzonych dla celów sterowania predykcyjnego

    Publication

    - Year 2005

    Efektywne sterowanie zintegrowanym systemem ściekowym za pomocą zaawansowanych technologii sterowania - w tym przypadku technologii krzepkiego sterowania predykcyjnego (ang. Robust Model Predictive Control - RMPC) - ma na celu utrzymanie wysokiej technologicznej wydajności systemu przy relatywnie niskich kosztach jego prowadzenia oraz zapewnienie, że zostaną spełnione organiczenia związane z jakością oczyszczonych ścieków.

  • Zastosowanie komputerów w Laboratorium Metrologii i Techniki Eksperymentu.

    Publication

    W artykule przedstawiono metodykę nauczania oraz aspekty techniczne nowej edycji ćwiczeń w Laboratorium Metrologii i Techniki Eksperymentu. Metodyka ta oparta jest na komputerowym monitorowaniu pracy studenta i sprawdzaniu jego wiedzy. Połączenie programowanych przyrządów laboratoryjnych w system pomiarowy sterowany za pośrednictwem komputera znacznie usprawniło wykonywanie poszczególnych ćwiczeń. Komputer kieruje działaniami studenta,...

  • Taking advantage of the shared explicit cache system based critical sections in the shared memory parallel architectures

    Publication

    - Year 2006

    Artykuł prezentuje nową metodę implementacji sekcji krytycznych w równoległych architekturach z pamięcią współdzieloną, takich jak systemy zintegrowane wielowątkowe wieloprocesorowe. Metoda stanowi modyfikację i rozbudowanie metody zwanej Folding, dostępnej w procesorach sieciowych oraz jest w założeniach podobna do techniki zwanej cache-based locking. W porównaniu do dostępnych metod, nowa metoda usuwa problemy skalowalności i...

  • ZAGROŻENIA ZWIĄZANE Z OUTSOURCINGIEM W KONTEKŚCIE ISO 9000 – ANALIZA WIELOKROTNEGO STUDIUM PRZYPADKU

    Publication

    Outsourcing znajduje swoje zastosowanie w celu minimalizacji kosztów a także zwiększenia skuteczności procesów. Zjawisko to notuje się także w przedsiębiorstwach które zaimplementowały zintegrowane systemy zarządzania. Autorzy w niniejszej publikacji podejmują tematykę zagrożeń płynących z outsourcingu dla funkcjonowania systemów zarządzania jakością na przykładzie ISO 9000. Tekst ten jest analizą zagrożeń płynących z implementacji...

  • Some Indications Towards Teaching Programme on a Basis od 2-Years' Experience in Scope of the Mechatronics Course

    Publication

    Artyuł poświęcony jest przedstawieniu koncepcji nowego, multidyscyplinarnego kierunku studiów Mechatronika. Zawarto w nim sugestie i wskazówki wynikające z 2-letnich doświadczeń zdobytych podczas prowadzenia dotychczasowego nauczania na tym kierunku. Poczynione uwagi mają na celu poprawę jakości kształcenia inżynierów na Wydziale Machanicznym Politechniki Gdańskiej.

  • Impossible objects in geometry and graphic education

    Publication

    - Year 2005

    W artykule przedstawiono propozycję wprowadzenia do programu nauczania z geometrii przestrzennej i grafiki inżynierskiej obiektów niemożliwych (tworzonych między innymi przez M.C. Eschera). Celem analizy fenomenu obiektów niemożliwych w kontekście odwzorowań płaskich obiektów przestrzennych, a także percepcji przestrzeni jest wzbogacenie wyobrażni przestrzennej i kreatywności studentów.

  • R/EXAMS JAKO WSPARCIE W WERYFIKACJI WIEDZY STUDENTÓW

    Przydatność zasobów e-learningowych, takich jak testy i quizy online, można dostrzec w wielu sytuacjach: duża liczba studentów uczęszczających na dane zajęcia, utrwalanie, podsumowanie i weryfikacja wiedzy czy nauczanie na odległość. Celem artykułu jest zaprezentowanie pakietu R/exams dostępnego w programie statystycznym R jako wsparcia do tworzenia losowych i dynamicznych pytań oraz ich wykorzystania na platformie Moodle. Omówione...

    Full text available to download

  • Funkcje dydaktyczne naukowych kół marketingu

    Publication

    Skuteczne nauczanie marketingu w polskich uczelniach jest niezwykle trudnym i złożonym procesem. Marketing w swej naturze jest ściśle związany z praktyką gospodarczą. Absolwent szkoły wyższej powinien - oprócz kompleksowej wiedzy teoretycznej - być przygotowany do rozwiązywania rzeczywistych problemów rynkowych. Pozyskanie praktycznych umiejętności wykorzystania wiedzy zdobywanej w toku studiów oraz rozwinięcie umiejętności organizacyjnych...

  • Information Systems, Business and Law - Lessons Learnt

    Referat prezentuje badania na styku wytwarzania systemów informatycznych, procesów biznesowych i powiązanych z nimi regulacji prawnych. Zawiera on opis doświadczeń wynikających z zastosowania zintegrowanej metody analizy technicznej i prawnej podczas wytwarzania systemu ochrony własności intelektualnej. Przedstawione doświadczenia i powiązane analizy mogą być przydatne podczas tworzenia taksonomii zagadnień na styku systemów informatycznych,...

    Full text to download in external service

  • Integrated protection/restoration in survivable multilayer architectures

    Publication

    - Year 2005

    Artykuł przedstawia nową koncepcję projektowania wielowarstwowych architektur sieci przeżywalnych, wykorzystującą informację międzywarstwową do zabezpieczania odtwarzania na wypadek pojedyńczej awarii węzła lub łącza w sposob zapobiegający propagacji awarii. Oryginalne zadanie optymalizacji całej zintegrowanej architektury przeżywalnej sformułowano jako zadanie programowania całkowitego. Jest ono NP-zupełne i zaproponowano algorytm...

  • Teoria i praktyka testowania programów

    Publication

    - Year 2006

    Książka stanowi doskonałą pomoc w nauczaniu problematyki z zakresu programowania, jakości programowania, planowanie i zarządzanie procesami wytwórczymi oprogramowania, a zawarte w niej treści są przydatne zarówno testerom, analitykom, projektantom, programistom, kierownikom projektów, jak też administratorom i osobom odpowiedzialnym za zakup, eksploatację i pielęgnacją oprogramowania w firmie.

  • Obowiązek ochrony środowiska naturalnego jako granica swobody działalności gospodarczej w Polsce

    Publication

    Działalność gospodarcza powinna być prowadzona zgodnie z poszanowaniem środowiska naturalnego w ramach obowiązujacych w tym zakresie unormowań prawnych.Gospodarka odpadami oraz strategiczne podejście do międzynarodowego zarzadzania odpadami - to aktualne problemy w przedsiębiorstwach. Instrumenty polityki ochrony środowiska w odniesieniu do przedsiębiorstw, takie jak: pozwolenie zintegrowane, ocena oddziaływania na środowisko,...

  • A model-based approach to analysis of authentication protocols.

    Publication

    - Year 2004

    W referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...

  • A model-based approach to analysis of security protocols - a case study

    Publication
    • M. (. Olszewski

    - Year 2005

    Artykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...

  • Planowanie przestrzenne interdyscyplinarana sztuka kompromisu

    Publication

    - Year 2005

    Planowanie przestrzenne w zmienionych uwarunkowaniach polityczno-ekonomicznych wymaga nowego programu nauczania. Chodzi tu zaróno o studentów kierunków architekturyi urbanistyki, ale rownież studentów prawa. Tworzenie zapisów prawa miejscowego poprzez dokument miejscowego planu zagospdoarowania prestrzennego wymaga wspóldziałania wielu branż w tym prawników. Nie chodzi jednak wyłącznie o tworzenie prawa, ale głównie o interpretowania...

  • Prawne aspekty wykorzystania Internetu w procesie kształcenia studentów

    Publication

    Zajęcia prowadzone z wykorzystaniem metod i technik kształcenia na odległość nabierają coraz większego znaczenia w związku z rozwojem technologii informacyjno−komunikacyjnych. Pozwalają one na zastosowanie nowych form przekazywania wiedzy oraz komunikacji nauczycieli akademickich i studentów. Pamiętać należy, że przepisy dotyczące usług internetowych nie zostały stworzone z myślą o regulacji e−nauczania. W 2006 roku Ministerstwo...

    Full text to download in external service

  • Process control strategy deployment with part measuring activity in a flexible machining cell

    Publication

    Rozwinięto zintegrowany model planowania i sterowania przebiegu procesu w rzeczywistym, zrobotyzowanym elastycznym gnieździe obróbki (EGO) ze współrzędnościową maszyną pomiarową, realizującą funkcje pomiarowo-kontrolne wytwarzanych przedmiotów. Analizowano współzależności wybranych heurystycznych planów kontroli przedmiotów oraz strategii szeregowania operacji procesów technologicznych, z zastosowaniem programowalnych modeli symulacyjnych...

  • Trust-IT - a framework for trust cases

    Publication

    - Year 2007

    Artykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...