Filters
total: 676
filtered: 113
Search results for: OBIEKTOWE PROGRAMOWANIE ROZPROSZONE
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW 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...
-
Object oriented grid computing for computational electromagnetics
PublicationArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...
-
Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych
PublicationW 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...
-
Rozproszone systemy kogeneracji
PublicationPrzedstawiono rozproszone systemy kogeneracji . pokazano układy kogeneracyjne opalane gazem.
-
Rozproszone kolorowanie grafów
PublicationW pracy rozważany jest rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowe, rozproszone algorytmy kolorowania grafów wraz z dokładną analizą teoretyczną i wynikami eksperymentów obliczeniowych.
-
Programowanie strukturalne
PublicationCelem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublicationArtykuł 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...
-
Sterowanie rozproszone układami zasilania bezprzerwowegopracującymi równolegle
PublicationW referacie przedstawiono propozycję jednofazowego systemu zasilania bezprzerwowego (UPS) zbudowanego w oparciu o pracujące równolegle moduły przekształtników DC-AC-DC-AC z separacją galwaniczną. Opisano opracowany i zastosowany w układzie system komunikacji pomiędzy modułami oparty na warstwie fizycznej CAN, obsługujący sterowanie rozproszone typu master-slave pozwalające na uzyskanie wysokiej dyspozycyjności systemu UPS. Układy...
-
Relacyjne i obiektowe bazy danych w zarządzaniu przedsiębiorstwem – przegląd i analiza porównawcza
PublicationBazy 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...
-
Rozproszone kolorowanie grafów
PublicationW pracy zaprezentowano nowy rozproszony algorytm kolorowania grafów. Przeprowadzone eksperymenty pokazują, że daje on lepsze wyniki niż znany wcześniej algorytm trywialny.
-
Rozproszone łamanie szyfrów
PublicationZaprezentowano podstawowe techniki łamania szyfrów symetrycznych i asymetrycznych o stosunkowo niewielkiej długości kluczy. Przedstawiono ogólną charakterystykę metod łamania szyfrów. Ilustracją tych metod jest zaprezentowana aplikacja służąca do łamania haseł lub badania odporności haseł na odgadnięcie.
-
Programowanie algorytmiczne w edukacji architektonicznej
PublicationWprowadzenie komputerów do projektowania architektonicznego uprościło projektowanie złożonych form geometrycznych. Na podstawie cyklicznych warsztatów badawczych, prowadzonych od 2011 roku na Politechnice Gdańskiej, przedstawiona została problematyka związana z zastosowaniem projektoawania algorytmicznego w architekturze. Celem warsztatów jest popularyzacja oraz sprawdzenie sprawności posługiwania się narzędziami służącymi do projektowania...
-
Programowanie działań przestrzennychuwarunkowanych równoważeniem rozwoju regionu
PublicationW artykule przedstawiono zarys badań nad kryteriami wyboru i kolejności działań z zakresu zrównoważonej odnowy przestrzeni miejskiej, które wpisują się w równoważenie rozwoju regionu. W wyniku przeprowadzonych badań stworzony zostanie system kryteriów oceny inwestycji, pozwalający ustalić priorytety działań przestrzennych i odpowiednie instrumenty w skali ponadlokalnej i regionalnej.
-
Ośrodki Leczenia Uzależnień - Programowanie i Projektowanie
PublicationProblematyka projektowania i programowania współczesnych ośrodków leczenia uzależnień jest wyzwaniem dla architektów. Nastał właściwy czas dla powstawania nowych, w pełni skutecznych, funkcjonalnie dopracowanych modelowych ośrodków leczenia i opieki nad osobami uzależnionymi. W związku z tym w niniejszym rozdziale zawarto opis zarysu modelowych koncepcji ośrodków leczenia uzależnień oraz zaprezentowano dwa przykłady projektów magisterskich...
-
Rozproszone przechowywanie zapasowych kopii danych
PublicationPokazano metodę wykorzystania systemu przetwarzania rozproszonego do zabezpieczenia instytucji przed skutkami ataku hakerskiego połączonego ze zniszczeniem bazy danych tej instytucji. Metoda ta polega na wplataniu pakietów danych do materiałów audio-video ściąganych przez internautów korzystających z serwisów filmowych Video-on-Demand i przechowywaniu danych w rozproszeniu na setki lub nawet tysiące komputerów.
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublicationArtykuł 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 rewitalizacji a planowanie miejscowe - o problemie koordynacji
PublicationArtykuł dotyczy znaczenia nowego narzędzia planistycznego jakim jest miejscowy plan rewitalziacji. W artykule przedstawiono podstawowe kwestie związane z jego wprowadzaniem w kontekście obecnej sytuacji prawnej
-
Obliczenia rozproszone w syntezie obrazów parametrycznych
PublicationArtykuł prezentuje rozproszony system przetwarzania danych dla potrzeb syntezy obrazów parametrycznych. Zastosowano w tym celu metodę Compute Server.
-
Skojarzone układy rozproszone zasilane paliwem gazowym.
PublicationOmówiono znaczenie stosowania w energetyce i ciepłownictwie skojarzonej gospodarki cieplno-elektrycznej. Przedstawiono pojęcie generacji rozproszonej oraz wskazano typowe przykłady technologii stosowanych w źródłach rozproszonych. Podano główne przyczyny zainteresowania nimi i rozwoju tych technologii. Scharakteryzowano, ostatnio zrealizowane w krajowym ciepłownictwie, wybrane przykłady zastosowań skojarzonych źródeł rozproszonych,...
-
Efektywne programowanie procesora TMS320C6711 przy użyciu pakietu SIMULINK.
PublicationW artykule opisano alternatywny, w stosunku do standardowych metod kodowania, sposób programowania procesora TMS320C6711 z wykorzystaniem bibliotek pakietu SIMULINK. Scharakteryzowano własności karty uruchomieniowej ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711 firmy Texas Instruments, pod kątem tworzenia programów do układów prototypowych. Opisano także cechy pakietu SIMULINK jako wydajnego narzędzia pozwalającego na...
-
Architektura i programowanie inteligentnych sterowników opartych na układach mikroprocesorowych.
PublicationZaprezentowano zasoby i architekturę mikrokontrolerów. Przedstawiono ideę sterowania z wykorzystaniem systemu komputerowego oraz kryteria doboru komputera do realizacji programów sterujących obiektami w czasie rzeczywistym. Scharakteryzowano metody wymiany informacji systemu komputerowego z otoczeniem. Wskazano na możliwości rozbudowy zasobów mikrokontrolera. Opisano przykładową aplikację.
-
Rozproszone elektrociepłownie gazowe w woj. pomorskim. Cz. I
PublicationPrzedstawiono ideę skojarzonej gospodarki cieplno-elektrycznej oraz generacji rozproszonej.
-
Rozproszone elektrociepłownie gazowe w woj. pomorskim. Cz. II
PublicationScharakteryzowano nowo zrealizowane elektrociepłownie gazowe na terenie woj. pomorskiego.
-
Aplikacje rozproszone jako bazowe usługi w inteligentnej przestrzeni obliczeniowej
PublicationZaprezentowano rozwój trendów w przetwarzaniu rozproszonym i ich wpływ na tworzenie nowego typu systemów przetwarzania informacji. Ten rodzaj systemów jest w sposób naturany zintegrowany ze środwiskiem, gdzie znajduje się użytkownik. Przedyskutowano sposób implementacji odpowiednich metod na bazie architekury SOA. Przedstawiono projekt inteligentnej ściany jako przykład tego rodzaju aplikacji.
-
Rozproszone systemy teleinformatyczne: inteligencja, autonomia, racjonalność i bezpieczeństwo kooperacji
PublicationWzrostowi inteligencji i autonomii podmiotów komunikacji systemów teleinformatycznych towarzyszy rozszerzanie paradygmatu analizy i projektowania w stronę podmiotów indywidualnie racjonalnych (egoistycznych). Wymaga to zastosowania metod teorii gier niekooperatywnych. W referacie pokazano przykłady zachowań egoistycznych określonych jako "wymuszanie pierwszeństwa" i "fałszywe tablice" odpowiednio w środowisku wireless multihoming...
-
Rozproszone, skojarzone układy gazowo-parowe w krajowej energetyce i ciepłownictwie
PublicationScharakteryzowano układy technologiczne kilku wybranych elektrociepłowni zasilanych różnorodnym paliwem gazowym.
-
Rozproszone, skojarzone układy gazowo-parowe w krajowej energetyce i ciepłownictwie
PublicationPrzedstawiono i scharakteryzowano ostatnio zrealizowane w krajowej energetyce wybrane przykłady układów gazowo-parowych realizujących skojarzoną gospodarkę cieplno-elektryczną.
-
Programowanie dynamiczne w rozwiązywaniu problemów szeregowania zadań w systemach o acyklicznej strukturze
PublicationRozważono rozrzedzone systemy niepodzielnych zadań dwuprocesorowych o jednostkowych długościach operacji oraz systemy maszyn dedykowanych (open shop,flow shop, mixed shop) o operacjach zero-jedynkowych. Przedstawiono rodzinę wielomianowych algorytmów opartych na programowaniu dynamicznym, pozwalających na znalezienie optymalnego uszeregowania względem szerokiej rodziny funkcji kryterialnych. Stopień rozrzedzenia systemu zdefiniowano...
-
Rozproszone mechanizmy obrony przed niekooperacyjnym zachowaniem węzłów w wieloskokowych sieciach bezprzewodowych
PublicationW chwili obecnej rosnącym zagrożeniem dla funkcjonowania sieci staje się niekooperacyjne zachowanie węzłów, tzn. ataki polegające na przyjęciu przez nie procedur funkcjonowania niezgodnych ze standardem, aby uzyskać niesprawiedliwą przewagę nad innymi węzłami.Jest to możliwe na skutek obecnego podejścia do projektowania mechanizmów sieciowych, nastawionego na maksymalizację ogólnej efektywności przy jednoczesnym założeniu pełnej...
-
Czynniki wpływające na magnetyczne pole rozproszone elementów konstrukcyjnych wykonanych ze stali węglowych
PublicationPrzeprowadzono badania próbek wykonanych ze stali węglowej lokalnie odkształconych plastycznie. Badano wpływ lokalnej deformacji na rozkład magnetycznego pola rozproszonego wokół próbek w zależności od warunków panujących podczas deformowania oraz wykonywania pomiarów. Na podstawie porównania rezultatów otrzymanych dla próbek o różnej historii stwierdzono, iż rejestrowane anomalie rozkładu MPR są spowodowane w głównej mierze przepływem...
-
Rozproszone usługi obliczeniowe na klastrach TASK z dostępem przez WWW i Web Services.
PublicationArtykuł omawia architekturę i doświadczenia wstępnych faz specyfikacji wymagań i analizy projektu, który umożliwi zdalne wykorzystanie równoległych klastrów i/lub superkomputerów sieci TASK przez użytkowników z rozproszonych geograficznie lokalizacji. System zapewni dotychczasowym i nowym użytkownikom klastrów i superkomputerów TASK zdalne uruchamianie i zarządzanie aplikacjami, bibliotekami równoległymi i sekwencyjnymi poprzez...
-
Systemy rozproszone cechujące się sztuczną inteligencją do wspomagania zarządzania bankami w warunkach kryzysowych
PublicationW pracy rozważa się techniki zwiększenie efektywności sektora bankowego za pomocą wprowadzenia zaawansowanych usług sieciowych. Kluczowe znaczenie odgrywają systemy eksperckie, które przy wykorzystaniu botów umożliwiają znaczącą poprawę szeregu aspektów komunikacji. Natomiast za pomocą algorytmu genetycznego możliwe jest znaczące skrócenie czasu reakcji systemu w odniesieniu do systemów projektowanych bez uwzględnienia optymalizacji...
-
Programowanie rozwoju Województwa Pomorskiego w standardach Unii Europejskiej. (Strategie, plany rozwoju i zagospodarowania, programy operacyjne).
PublicationPrzedstawiono strategie, plany rozwoju i zagospodarowania, programy operacyjne Województwa Pomorskiego.
-
Influence of Exception Handling on Distributed Applications.
PublicationW artykule przedstawiono metodologię oceny systemów rozproszonych w sytuacji występowania wyjątków i błędów. Analiza jest przeprowadzana przez zidentyfikowanie zmian stanów danych i wyprowadzenie ogólnych charakterystyk systemu. Rozproszone zależności są modelowane przez podstawowe zależności między metodami i złożone zależności występujące w sytemie. Analiza umożliwia odpowiedź na pytanie, jak zależności rozproszone wpływają na...
-
Rozwój systemu bezpieczeństwa ruchu drogowego.
PublicationProgramowanie systemu zarządzania bezpieczeństwem ruchu drogowego.System bezpieczeństwa ruchu drogowego w Polsce.Regionalne i lokalne systemy brd.Działania w programie GAMBIT 2005.
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł 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...
-
Logika opracowania regionalnych programów rozwojowych
PublicationW monografii opracowano szereg metod przeznaczonych do badania układów społeczno-ekonomicznych. Metody te zostały ułożone w jedyny system, stanowiący tzw. programowanie celowe.
-
Zastosowanie programowania dynamicznego do planowania dobowej pracy elektrowni pompowych
PublicationW artykule przedstawiono algorytm obliczeń wykorzystujący programowanie dynamiczne do planowania pracy elektrowni pompowych w systemie elektroenergetycznym. Przedstawiono wyniki obliczeń planów dobowej pracy przykładowej elektrowni pompowej.
-
Aspekty geotechniczne w projektowaniu infrastruktury komunalnej
PublicationZnaczenie badań geotechnicznych na etapie projektowania i realizacji. Kategorie, zakres badań. Badania in situ. Projektowanie geotechniczne. Programowanie badań. Wybór parametrów. Geotechnika metod bezwykopowych. Stateczność skarp. Projektowanie odwodnień wykopów
-
Nowoczesne metody planowania rozwoju systemu dystrybucji energii elektrycznej.
PublicationW referacie omówiono dwie metody planowania rozwoju systemu dystrybucji energii elektrycznej: programowanie całkowito-liczbowe i programowanie ewolucyjne. Wskazano na szereg innych metod, które w szczególnych sytuacjach także prowadzą do właściwego rozwiązania problemu planowania. Zwrócono uwagę na szczególną efektywność programowania ewolucyjnego. Przedstawiono czynniki sprawiające, że problem planowania rozwoju poprzez planowanie...
-
Architektura systemu Comcute
PublicationPrzedstawiono architekturę systemu Comcute realizującego masywne przetwarzanie rozproszone wykorzystujące powszechny wolontariat użytkowników komputerów w sieciach rozległych.
-
Wzajemne wykluczanie w programowaniu współbieżnym
PublicationW 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.
-
Postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce
PublicationPublikacja prezentuje najważniejsze polskie i światowe postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce. w szczególności omówiono takie zagadnienia jak badanie pierwszości liczb, programowanie liniowe, płaskie rysowanie grafów i szybkie mnożenie macierzy.
-
Zachłanne algorytmy kolorowania grafów w modelu rozproszonym
PublicationW artykule porównano cztery rozproszone algorytmy kolorowania grafów. Zaprezentowano wyniki eksperymentów komputerowych, w których badano liczbę rund i kolorów uzyskanych dla grafów losowych.
-
Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
PublicationW artykule rozważamy listowo-kosztowe kolorowanie wierzchołków i krawędzi grafu w modelu wierzchołkowym, krawędziowym, totalnym i pseudototalnym. Stosujemy programowanie dynamiczne w celu otrzymania algorytmów wielomianowych dla drzew. Następnie uogólniamy to podejście na dowolne grafy z ograniczonymi liczbami cyklomatycznymi i na ich multikolorowania.
-
Integracyjna metoda konstrukcji aplikacji obiektowych w środowisku graficznym z uwzględnieniem wymagań jakościowych
PublicationIntegracyjna 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
PublicationKsiąż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
PublicationPraca 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,...
-
Komputerowo wspomagane wytwarzanie. Wybrane problemy obróbki wiórowej.
PublicationPrzedstawiono wybrane elementy wspomagające programowanie obrabiarek sterowanych numerycznie. Podano przykład instrukcji obróbkowej powstałej przy pomocy systemu EdgeCAM, który umożliwia wizualizację ścieżek narzędzia jakie zostaną wygenerowane w czasie obróbki oraz przedstawiono wybrane możliwości systemu CAM. Scharakteryzowano zalety nowoczesnego sterowania obrabiarki NC, porównując dwa sterowniki różnych producentów: starszy...
-
Inteligentne superkomputery wirtualne do prognozowania trendów w finansach
PublicationW pracy zaproponowano wykorzystanie infrastruktury superkomputerów wirtualnych do obliczeń inteligentnych w finansach. Ponieważ zaawansowane metody wymagają dużych mocy obliczeniowych, omówiono gridy obliczeniowe rozumiane jako superkomputery wirtualne ze szczególnym uwzględnieniem środowiska obliczeniowego dla cyberwaluty Bitcoin. Ponadto zaproponowano programowanie genetyczne do opracowania strategii inwestycji giełdowych. Na...