Wyniki wyszukiwania dla: OBIEKTOWE%20BAZY%20DANYCH
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublikacjaW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublikacjaArtykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...
-
Relacyjne i obiektowe bazy danych w zarządzaniu przedsiębiorstwem – przegląd i analiza porównawcza
PublikacjaBazy danych są obecnie powszechnie wykorzystywanymi aplikacjami w życiu codziennym i zawodowym do gromadzenia, przetwarzania i zarządzania danymi. Stanowią one podstawowe narzędzie komputerowe wspomagające funkcjonowanie przedsiębiorstw bez względu na rodzaj prowadzonej działalności. Najpopularniejszymi rozwiązaniami oferowanymi przez firmy informatyczne są relacyjne i obiektowe bazy danych. W artykule dokonano przeglądu dostępnych...
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublikacjaArtykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...
-
Programowanie Obiektowe
Kursy Online -
Programowanie Obiektowe - 2023
Kursy Online -
Programowanie Obiektowe - 2024
Kursy Online -
PROGRAMOWANIE OBIEKTOWE [2022/23]
Kursy Online -
Programowanie obiektowe (ns) 2023
Kursy Online -
PROGRAMOWANIE OBIEKTOWE [2021/22]
Kursy Online -
PROGRAMOWANIE OBIEKTOWE [2023/24]
Kursy Online -
Zaawansowane Techniki Obiektowe 2022/23
Kursy OnlinePrzedmiot specjalnosciowy prowadzony dla 7 sem. studiow pierwszego stopnia na wydziale ETI
-
Obiektowe Języki Programowania I (2022)
Kursy Online -
Obiektowe Języki Programowania I (2023)
Kursy Online -
Zaawansowane Techniki Obiektowe 23/24
Kursy Online -
Programowanie obiektowe, ARiSS,IwSS [2016/17]
Kursy OnlineAutomatyka, Robotyka i Systemy Sterowania, specjalność Informatyka w Systemach Sterowania, semestr 3, stopień 2, studium dzienne magisterskie Kurs dotyczy kształcenia umiejętności związanych z programowaniem obiektowym w języku C++.
-
Programowanie obiektowe i grafika komputerowa 2021
Kursy Online -
Programowanie obiektowe i grafika komputerowa 2022
Kursy Online -
Obiektowe języki programowania III - 2022/23
Kursy Online -
Programowanie obiektowe i grafika komputerowa 2024
Kursy Online -
Programowanie Obiektowe i Grafika Komputerowa - 2023
Kursy Online -
Obiektowe języki programowania III - 2023/24
Kursy Online -
Obiektowe języki programowania II 2021/2022 sem.letni
Kursy Onlinekier. Fizyka Techniczna, Informatyka stosowana
-
Obiektowe języki programowania II 2022/2023 sem.letni
Kursy Onlinekier. Fizyka Techniczna, Informatyka stosowana
-
Obiektowe języki programowania II 2023/2024 sem.letni
Kursy Onlinekier. Fizyka Techniczna, Informatyka stosowana
-
Jerzy Proficz dr hab. inż.
OsobyJerzy Proficz – dyrektor Centrum Informatycznego Trójmiejskiej Akademickiej Sieci Komputerowej (CI TASK) na Politechnice Gdańskiej. Uzyskał stopień naukowy doktora habilitowanego (2022) w dyscyplinie: Informatyka techniczna i telekomunikacja. Autor i współautor ponad 50 artykułów w czasopismach i na konferencjach naukowych związanych głównie z równoległym przetwarzaniem danych na komputerach dużej mocy (HPC, chmura obliczeniowa). Udział...
-
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł 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...
-
Wzajemne wykluczanie w programowaniu współbieżnym
PublikacjaW rozdziale opisano wzajemne wykluczanie wątków w programach współbieżnych. Przedstawiono zarówno podejście proceduralne (semafory), jak i obiektowe (monitory). Omówiono sposoby działania obu mechanizmów synchronizacji oraz różnice pomiędzy nimi. Sposoby użycia omawianych mechanizmów zostały zilustrowane wzorcami: wzajemnego wykluczania oraz producent–konsument.
-
Integracyjna metoda konstrukcji aplikacji obiektowych w środowisku graficznym z uwzględnieniem wymagań jakościowych
PublikacjaIntegracyjna metoda wytwarzania aplikacji IMAC łączy obiektowe metody analizy i projektowania oprogramowania oparte o UML i RUP z implementacją w wybranym języku programowania obiektowego. Dla opisu projektu informatycznego we wszystkich fazach jego powstawania zaproponowano język modelowania i implementacji IML łączący w spójny sposób zmodyfikowane diagramy UML z elastyczną składnią tekstową opartą o popularne języki obiektowe....
-
Metodologia i techniki programowania
PublikacjaKsiążka jest syntetycznym wprowadzeniem do technik programowania. Omawia podstawowe trendy rozwoju metodologii wytwarzania oprogramowania, takie jak: metody strukturalne, obiektowe, narzędzia CASE, standaryzacje programów i ocenę złożoności oprogramowania. Pokazuje również, jak projektować kodować, testować i uruchamiać programy, aby były niezawodne i efektywne. Naszkicowano w niej możliwości środowisk wytwarzania oprogramowania....
-
Współczesne cykle wytwarzania oprogramowania
PublikacjaPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
A model-based approach to analysis of authentication protocols.
PublikacjaW 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ń...
-
Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych
PublikacjaW artykule zostały przedstawione główne udogodnienia wynikające z wykorzystywania zasad i metod podejścia obiektowego do programowania sterowników programowalnych. Omówiona została aktualna sytuacja tradycyjnych języków tekstowych i graficznych po wprowadzeniu rozszerzenia IEC 61499 normy IEC61131. W dalszej części zaprezentowano podział cyklu tworzenia programu na trzy zasadnicze części - analizę, projektowania oraz programowanie...
-
Analysis of the impact of aspect-oriented programming on source code quality
PublikacjaCelem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...
-
Przegląd technologii baz danych - stan obecny
PublikacjaW rozdziale przedstawiono sposoby klasyfikowania baz danych. Ponadto przeprowadzono ogólny przegląd dostępnych obecnie na rynku rozwiązań, z uwzględnieniem podziału na zastosowania małe i duże oraz na bazy komercyjne i bezpłatne. Powyższy przegląd pokazuje, że technologia baz danych stale się rozwija i próbuje dostosować do zmieniających się oczekiwań potencjalnych użytkowników. Kierunki rozwoju to coraz częstsze próby wykorzystania...
-
Przegląd technologii baz danych - architektura systemu baz danych
PublikacjaRozdział jest zwięzłym przeglądem rozwoju architektury systemów z bazą danych. Opisano w nim relacyjne, obiektowe i obiektowo-relacyjne bazy danych. Ponadto przedstawiono zarys architektury dwu i trojwarstwowej. Wybór architektury systemu bazy danych i architektury współpracujących z nią aplikacji niejednokrotnie jest wypadkową możliwości realizacyjnych i zasobów (personel, oprogramowanie narzędziowe, sprzęt) jakie ma do dyspozycji...
-
Knowledge Views and their application in systems engineering
PublikacjaWykorzystanie technologii Semantic Web, w szczególności baz wiedzy, w przemyśle informatycznym jest niewielkie. Jest to spowodowane między innymi dużym ryzykiem związanym z wdrażaniem nowych technologii i brakiem wiedzy na ich temat ze strony inżynierów oprogramowania. Aby zmniejszyć ryzyko związane z wdrażaniem baz wiedzy i zminimalizować nakład pracy inżynierów na zapoznanie się z nimi, w niniejszej pracy zaproponowano koncepcję...
-
Modelowanie procesów o różnych skalach czasowych na przykładzie instalacji Clausa do odzysku siarki
PublikacjaW przemyśle petrochemicznym odzyskiwanie siarki stanowi jeden z ważniejszych procesów towarzyszących kompleksowemu przetwarzaniu ropy naftowej i substancji pochodnych. W artykule przedstawiono matematyczny model instalacji odsiarczania gazów Clausa wraz z układem sterowania. Wnikliwa analiza procesów zachodzących w obiekcie pozwoliła zaproponować metodykę budowy i strukturę modelu adekwatną do potrzeb syntezy układu sterowania....
-
Problemy niepewności i integracji w przetwarzaniu danych o stanie emocjonalnym użytkownika komputera
PublikacjaIstnieje wiele programów automatycznego rozpoznawania emocji z pojedynczych modalności. Wykorzystują one różnorodne modele reprezentacji emocji, a także metody przetwarzania. Obecnie wyraźnie widoczny jest trend do wykorzystania analizy wielomodalnej oraz wielokanałowej, mającej na celu poprawę skuteczności rozpoznawania emocji oraz poprawę niezawodności. W dziedzinie automatycznego rozpoznawania emocji nie określono typowego modelu...
-
Leszek Zięba mgr inż.
OsobyJest absolwentem Wydziału Elektroniki (1979 mgr inż. Elektronik, specjalność Informatyka). W latach 1979-1994 pracował w Ośrodku Obliczeniowym PG jako starszy programista, główny technolog w dziale Oprogramowania Podstawowego i Dziale Rozwoju Oprogramowania, starszy projektant. Od 1994 zatrudniony jako starszy wykładowca w Katedrze Inżynierii Produkcji na Wydziale Zarządzania i Ekonomii Politechniki Gdańskiej, a następnie od 2004...