Wyniki wyszukiwania dla: JEZYKI PROGRAMOWANIA SPRZETOWEGO - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: JEZYKI PROGRAMOWANIA SPRZETOWEGO

Filtry

wszystkich: 371
wybranych: 147

wyczyść wszystkie filtry


Filtry wybranego katalogu

  • Kategoria

  • Rok

  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Wyniki wyszukiwania dla: JEZYKI PROGRAMOWANIA SPRZETOWEGO

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

  • Measurement of pulse signal period from incremental encorder by counters of Multifunctuin DAQ devices.

    W artykule omówiono parametry liczników znajdujących się na wielofunkcyjnych kartach akwizycji sygnałów pomiarowych. Przedstawiono przygotowane w środowisku programowania Lab VIEW aplikacje wykorzystujące te liczniki. Służą one do pomiaru i rejestracji długości zadanej liczby okresów mierzonego sygnału oraz liczby okresów uzależnionej od ich długości (metoda zliczania zależnego z wydłużonym czasem pomiaru). Aplikacje te zostały...

    Pełny tekst do pobrania w portalu

  • Symulator Sym-PS4 sterownika programowalnego PS4-201-MM1

    W pracy przedstawiono opis opracowanego programowego symulatora Sym-PS4 sterownika programowalnego PS4-201-MM1. Symulator umożliwia tworzenie i testowanie programów sterowania napisanych dla samego sterownika, jak również programów napisanych dla sterownika z dołączonymi do niego modułami rozszerzenia lokalnego LE4. Symulator posiada możliwość dołączania do niego tworzonych modeli sterowanych obiektów i pozwala na symulację działania...

  • Model ontologiczny referencyjnego problemu planowania misji inspekcyjnych

    Publikacja

    - Rok 2011

    Rozważany problem doboru, alokacji i planowania działań grupy robotów inspekcyjnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym. Zaproponowany model definiowany przez zbiór zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych z nieruchomymi i poruszającymi się przeszkodami a także flotę robotów mobilnych oraz zbioru ograniczeń wiążących te zmienne, wyrażany jest w postaci...

  • Simultaneous Optimization of Unicast and Anycast Flows and Replica Location in Survivable Optical Networks

    Dotychczasowe prace z zakresu ochrony sieci przed awariami dotyczyły przypadku transmisji unicast. W niniejszym artykule rozważamy problem ochrony transmisji anycast (jeden-do-jednego-z-wielu). Jako wariant ochrony stosujemy podejście pojedynczej ścieżki zabezpieczającej (ang. path protection), chroniącej przed awarią pojedynczego węzła.Wprowadzono nowe modele programowania całkowitoliczbowego optymalnego znajdowania tras oraz...

    Pełny tekst do pobrania w portalu

  • Reguły efektywnego projektowania semantycznych usług WWW

    Publikacja

    - Rok 2010

    W pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Nawiązano do reguł formalizacji wiedzy za pomocą systemów ontologicznych, dla których implementacji opracowano języki programowania OWL i KIF. Odniesiono się także do sieci semantycznych jako metody sztucznej inteligencji w kontekście założeń projektu Web 3.0. Omówiono zasady stosowania języków XML, XML Schema, RDF, RDF Schema, OWL, SPARQL, a także...

  • Nowoczesne metody planowania rozwoju systemu dystrybucji energii elektrycznej.

    Publikacja

    - Rok 2004

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

  • Selected problems concerning strength of a floating dock with roof

    Publikacja

    W pracy przedstawiono modele i wyniki analizy wytrzymałości konstrukcji zadaszonego doku pływającego. Obliczono, że ścianki wiązarów zadaszenia, aby mogły przenieść obciążenia środowiskowe, muszą mieć grubość 24 mm. Ciężkie przesuwne segmenty zadaszenia generują w dennikach pontonu doku naprężenia sięgające 25% wartości dopuszczalnych. Wytężenie konstrukcji pontonu doku i podbudowy, obciążonych ciężarem zadaszenia i dokowanego...

  • Analiza częstotliwościowa sprzężeń elektromagnetycznych w układach ścieżek mikroelektronicznego układu hybrydowego

    Publikacja

    Zaprezentowano problematykę sprzężeń elektromagnetycznych pomiędzy układem ścieżek mikroelektronicznego układu hybrydowego. Przedstawiono aplikację metody operatorowej (w połączeniu z przekształceniem przez podobieństwo i przekształceniem Fouriera) do analizy procesu propagacji zakłóceń przewodzonych w dziedzinie częstotliwości. Przy wykorzystaniu opcji programowania strukturalnego w programie Mathcad, opracowano, uruchomiono i...

  • Różne kształty pobudzeń optymalnych dla celów identyfikacji parametrów modeli systemów farmakokinetycznych

    Publikacja

    W pracy przedstawiono optymalizację pobudzeń dla celów identyfikacji parametrycznej kompartmentowych modeli systemów farmakokinetycznych opisanych w kategorii zmiennych stanu. Stosowana w pracy funkcja kryterialna to ślad macierzy Fishera (optymalizacja czułościowa). Rozważono klasę pobudzeń optymalnych o ograniczonej energii, ze względu na występowanie w przypadku wielu leków skutków ubocznych zależnych od szybkości podania leku....

  • Multicriteria optymization method for yacht design

    Publikacja

    - Rok 2003

    Artykuł dotyczy optymalizacji wielokryterialnej projektowania innowacyjnego systemu jachtowego w taki sposób by osiągnąć polepszone zachowanie dynamiczne w dowolnych warunkach nawigacji morskiej. W artykule skoncentrowano się na komputerowej symulacji, modelowaniu i optymalizacji matematycznego modelu jachtu w różnych warunkach żeglowania w celu poprawy zdolności manewrowania i zwiększenia szybkości. Przeprowadza się symulację...

  • Bezzałogowa zdalnie sterowana jednostka latająca

    Quadrocopter jako przykład drona wykorzystywany jest coraz częściej przez sektor publiczny i przemysłowy. W pierwszej kolejności zaprojektowano i wykonano ramę urządzenia. Następnie dobrano elementy pozwalające na lot quadrocoptera. Na płycie znalazła się jednostka centralna w postaci mikrokontrolera Atmega644PA. W dalszej części udokumentowano proces programowania kolejnych elementów składających się na program sterujący quadrocopterem....

    Pełny tekst do pobrania w portalu

  • 1+1 Protection of Overlay Distributed Computing Systems: Modeling and Optimization

    Publikacja

    - Rok 2012

    W niniejszym artykule przedstawiono autorską koncepcję ochrony transmisji od krańca do krańca (ang. 1+1 protection) dla systemów przetwarzania rozproszonego (ang. distributed computing systems). Artykuł prezentuje nowatorskie rozwiązanie dedykowane systemom typu ''overlay'', w których system przetwarzania rozproszonego stanowi warstwę najwyższą w warstwowej architekturze sieci, korzystającą z usług warstwy sieci transportowej....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Ocena języków systemów ekspertowych dla celu implementacji baz wiedzy Systemu Wieloagentowego

    Publikacja

    - Rok 2007

    W pracy dokonano oceny wybranych narzędzi do implementacji modelu baz wiedzy systemu wieloagentowego do oceny technologii informatycznych. Narzędzia te to języki programowania systemów ekspertowych. Jakkolwiek bardzo dobrze sprawdzają się one w zastosowaniach związanych z gromadzeniem wiedzy w postaci zarówno faktów, jak i reguł to może się okazać, że nie udaje się z ich wykorzystaniem zrealizować wszystkich wymagań zdefiniowanych...

  • Podaż na Mazowszu a rozwój klastrów. Cz. 3

    Publikacja

    - Problemy Jakości - Rok 2008

    Autorka identyfikuje i opisuje występujące na Mazowszu inicjatywy klastrowe, szczególną uwagę poświęcając klastrom rolniczym. W ostatnich latach obserwuje się systematyczny przyrost sformalizowanych układów klastrowych w całym kraju. W przypadku inicjatyw klastrowych w woj. mazowieckim - część z nich kształtuje się w sposób naturalny - w oparciu o występujące mechanizmy rynkowe, ale większość powstała i sformalizowała się w odpowiedzi...

  • Diagnostyka układów elektronicznych z wykorzystaniem magistrali testujących

    Przedstawiono przegląd magistral testujących przeznaczonych do diagnostyki układów elektronicznych: magistralę IEEE 1149.1 dla układów cyfrowych, magistralę IEEE 1149.4 dla układów mieszanych sygnałowo oraz magistralę IEEE 1149.6 dla układów cyfrowych sprzężonych pojemnościowo. Pokazano wyniki badań nad wykorzystaniem magistrali IEEE 1149.4 do pomiarów interkonektów typu RLC na pakietach układów elektronicznych. Do badań użyto...

  • Protokół SOAP i jego zastosowanie.

    Publikacja

    - Rok 2004

    W pracy przedstawiono zasadę działania i organizację protokołu SOAP, który w chwili obecnej może być uważany za jeden z najważniejszych standardów w systemach rozproszonych. Zaprezentowano genezę powstania protokołu i jego współczesne zastosowania ze szczególnym uwzględnieniem problemów przenośności. Ponadto opisano formaty wiadomości i modele przesyłania danych w SOAP. Protokół, podobnie jak niemal wszystkie technologie informatyczne,...

  • DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE

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

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Metody wymiarowania zasobów sieci w architekturze IIP Internetu Przyszłości

    Niniejszy artykuł omawia założenia, strukturę oraz metody wymiarowania zasobów sieci wdrożone w architekturze Internetu Przyszłości w ramach projektu Inżynieria Internetu Przyszłości (IIP) realizowanego w latach 2010-2013. W szczególności artykuł opisuje założenia proponowanych modeli programowania liniowego wykorzystanych w celu rozdziału zasobów sieci (przepustowości łączy, mocy przetwarzania węzłów) pomiędzy Równoległymi Internetami....

  • End-to-end service survivability under attacks on networks

    W artykule zaproponowano model znajdowania przeżywalnych i odpornych na ataki połączeń od końca do końca dla sieci o topologii bezskalowej. Głównymi założeniami są: zróżnicowanie sposobu zapewniania przeżywalności połączeń w zależności od klasy ruchu oraz omijanie przez ścieżki aktywne węzłów, narażonych na ataki (tzw. centrów). Wprowadzono nową metrykę dla wyznaczania ścieżek, proporcjonalną do wymaganej jakości obsługi połączeń,...

    Pełny tekst do pobrania w portalu

  • BC-MPI: running an mpi application on multiple clusters with beesycluster connectivity

    Publikacja

    - Rok 2007

    W artykule zaproponowano nowy pakiet BC-MPI, który umożliwiauruchomienie aplikacji MPI na wielu klastrach z różnymi implementacjami MPI. Wykorzystuje dedykowane implementacje MPIdo komunikacji wewnątrz klastrów oraz tryb MPI THREAD MULTIPLE dokomunikacji pomiędzy klastrami w dodatkowych wątkach aplikacji MPI. Ponadto, aplikacja BC-MPI może być automatycznie skompilowanai uruchomiona przez warstwę pośrednią BeesyCluster. BeesyClusterumożliwia...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • End-to-end service survivability under attacks on networks

    Publikacja

    - Rok 2005

    W artykule zaproponowano model znajdowania przeżywalnych i odpornych na ataki połączeń od końca do końca dla sieci o topologii bezskalowej. Głównymi założeniami są: zróżnicowanie sposobu zapewniania przeżywalności połączeń w zależności od klasy ruchu oraz omijanie przez ścieżki aktywne węzłów, narażonych na ataki (tzw. centrów). Wprowadzono nową metrykę dla wyznaczania ścieżek, proporcjonalną do wymaganej jakości obsługi połączeń,...

  • Dynamiczna aplikacja internetowa maszyny indukcyjnej w ujęciu obiektowym dla potrzeb symulacji obwodowej

    Tematem referatu jest dynamiczna aplikacja internetowa, która umożliwia symulację obwodową silnika indukcyjnego trójfazowego z wykorzystaniem interfejsu przeglądarki WWW. Model matematyczny silnika jest zdefiniowany w tzw. osiach naturalnych i sformułowany na podstawie metody energetycznej Lagrange’a. Do implementacji modelu maszyny w aplikacji internetowej wybrano projekt typu Web Forms, który jest składnikiem środowiska programistycznego...

    Pełny tekst do pobrania w portalu

  • Finansowanie rozwoju klastrów o znaczeniu regionalnym w Regionalnych Programach Operacyjnych

    Publikacja

    - Rok 2010

    Niniejszy artykuł stanowi kontynuację przeglądu programów unijnych uruchomionych w nowym okresie programowania, tj w latach 2007-2013, ukierunkowanych na wspieranie klastrów i inicjatyw klastrowych. Autorka skupia się na programach realizowanych na poziomie regionalnym, przewidzianych w ramach Regionalnych Programów Operacyjnych, za których wdrożenie w każdym województwie odpowiadają władze samorządowe, pełniące funkcję Instytucji...

  • Współczesne trendy w diagnostyce układów elektronicznych z wykorzystaniem magistral testujących

    Przedstawiono najnowsze trendy w dziedzinie testowania układów elektronicznych z wykorzystaniem opartych na brzegowej ścieżce sterująco-obserwacyjnej magistral testujących. Dla każdej magistrali przedstawiono jej strukturę oraz rozwiązania kluczowych elementów. Przedstawiono wyniki badań nad wykorzystaniem magistrali IEEE 1149.4 do testowania i identyfikacji uszkodzeń w układach elektronicznych z użyciem wyposażonych w magistralę...

  • Przegląd technologii baz danych - architektura systemu baz danych

    Publikacja

    - Rok 2006

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

  • Aplikacja do zarządzania zasobami domeny pakietowej z IP QoS

    Publikacja

    Wraz z upublicznieniem Internetu i jego globalizacją pojawiła się potrzeba realizacji usług czasu rzeczywistego, a co za tym idzie potrzeba zapewnienia jakości poprzez rozróżnienie klas ruchu i traktowanie każdej z tych klas według innych reguł obsługi. W artykule przedstawiono system zarządzania zasobami domeny pakietowej opartej na architekturze DiffServ. Omawiany system pracuje w strukturze warstwowej - w warstwie zarządzania,...

  • Polityka rozwoju regionalnego w Polsce

    Publikacja
    • A. Szerenos

    - Rok 2002

    Przełom w zainteresowaniu problematyką polityki regionalnej nastąpił w wyniku przeprowadzenia w Polsce reformy ustrojowej w styczniu 1999 roku, kiedy w miejsce 49 województw powstało 16 dużych regionów- województw, odpowiadających europejskim jednostkom terytorialnym typu NUTS2. W poniższym opracowaniu została opisana przede wszystkim rola samorządu terytorialnego w stymulowaniu rozwoju regionalnego i prowadzeniu polityki regionalnej....

  • Integrated development plans of the functional urban areas in Pomeranian region in Poland

    The European Commission put a growing emphasis on the territorial and integrated app roach to policy support addressed in the frame of regional policy. In a special way this process refers to cities along with their functional environment. In Poland the National Spatial Development Concept 2030 has introduced the concept of functional areas, among others – Functional Urban Areas (FUAs). There is...

    Pełny tekst do pobrania w portalu

  • Wpływ współczesnych obiektów handlowych na strukturę śródmieść.

    Publikacja

    - Rok 2008

    Przedmiotem pracy jest analiza oddziaływań współczesnych obiektów handlowych na struktury śródmiejskie w aspektach architektoniczno-urbanistycznych.Punktem wyjścia do rozważań na temat relacji centrów handlowych i dzielnic centralnych miast jest zarysowanie historii ich rozwoju, ustalenie ich cech charakterystycznych oraz elementów odróżniających je od tradycyjnych układów - ulic handlowych.Jako zasadnicze sfery oddziaływania obiektów...

  • Smart Pen - new multimodal computer control tool for graphomotorical therapy

    W sytuacji, gdy około 15% populacji uczniów wykazuje cechy dyslektyczne, koniecznością staje się wyposażenie szkół w efektywne narzędzia do diagnozy i terapii tego rodzaju zaburzeń. Dzięki wykorzystaniu tabletu i specjalnie skonstruowanego długopisu wyposażonego w czujniki nacisku uzyskano możliwość monitorowania wielu parametrów, które do tej pory były dla terapeutów całkowicie niedostępne (np. pomiar nacisku na podłoże czy ścisku...

    Pełny tekst do pobrania w portalu

  • Towards Efficient Parallel Image Processing on Cluster Grids Using GIMP.

    Publikacja

    Ze względu na fakt, iż niewielu użytkowników posiada wiedzę niezbędną do wykorzystania niskopoziomowych bibliotek programowania równoległego w celu przyspieszenia działania programów operujących na obrazach, proponujemy plugin do znanej aplikacji GIMP, który umożliwia potokowe wykonanie szeregu filtrów na obrazach załadowanych przez plugin. Prezentujemy szczegóły implementacyjne, scenariusze testowe i wyniki na klastrach, potencjalnie...

  • Integracyjna metoda konstrukcji aplikacji obiektowych w środowisku graficznym z uwzględnieniem wymagań jakościowych

    Publikacja

    - Rok 2008

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

  • Object Views - metoda mapowania obiektowo-ontologicznego

    Publikacja

    - Rok 2008

    Niniejszy rozdział opisuje koncepcję biblioteki Object Views. Biblioteka ta służy do realizacji mapowania obiektowo-ontologicznego, które stanowi interfejs pomiędzy bazą wiedzy a aplikacją napisaną w obiektowym języku programowania, jakim jest Java. Rozwiązanie to wzorowane jest na Java Persistence API - mapowaniu obiektowo-relacyjnym. Architektura Object Views pozwala na łatwe dostosowanie do dowolnej bazy wiedzy bez względu na...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast

    STRONA GŁÓWNAOBSZARY TEMATYCZNERADA NAUKOWARECENZENCIREDAKCJAINFORMACJE DLA AUTORÓWRECENZJAKONTAKT Strona główna > Numer 14/2017 > Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast METODY I APLIKACJE ZDALNEGO SZKOLENIA MIESZKAŃCÓW INTELIGENTNYCH MIAST Jerzy Balicki, Piotr Dryja, Waldemar Korłub, Maciej Tyszka Rozwój nowego rodzaju miast i regionów nazywanych smart cities pociąga za sobą nowy sposób...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Przegląd programów wsparcia dla klastrów w ramach cluster-based policy ue

    Publikacja

    - Rok 2010

    Problematyka współpracy w strukturach klastrowych znajduje coraz większe rzesze zwolenników - z jednej strony klastry są przedmiotem rozważań teoretycznych, podejmowanych przez naukowców reprezentujących różne podejścia i nurty badawcze, z drugiej strony fenomen klastrów został doceniony przez decydentów politycznych, którzy coraz częściej decydują się na wspieranie rozwoju klastrów w ramach inicjatyw klastrowych. Polityka wspierania...

  • Pakiet SIMMECHANICS jako narzędzie w dydaktyce dynamiki układów wielomasowych

    Publikacja

    W pracy zaprezentowano oprogramowanie przydatne w procesie nauczania dynamiki układów wielomasowch. We wspomnianym procesie dydaktycznym wymagane jest, aby wykład poszerzyć o ćwiczenia komputerowe, pozwalające na samodzielne modelowanie układów omawianych na wykładzie. Poszukiwane oprogramowanie powinno wprowadzać studenta w szczegóły teorii zaczynając od zagadnień prostych, w których fragmenty bardziej złożone przywoływane są...

  • Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności

    Publikacja

    - Rok 2020

    Książka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Optymalizacja alokacji modułów programistycznych w rozproszonym systemie szkolenia wojskowego

    Publikacja
    • A. Zacniewski

    - Rok 2011

    W pracy przedstawiono system metodologiczny do wyznaczania i oceny przydziałów modułów programistycznych w rozproszonym systemie informatycznym, bazującym na systemie MOODLE, wspomagającym zdalne nauczanie i szkolenie wojskowe. Opracowano modele matematyczne rozproszonych systemów komputerowych, na podstawie których sformułowano zadania optymalizacji wielokryterialnej. Główny nacisk położono na zastosowanie algorytmów ewolucyjnych...

  • System monitoringu rozdzielnic kampusu Politechniki Gdańskiej

    W artykule opisano koncepcję, realizację programową oraz stanowisko testowe systemu monitoringu rozdzielnic kampusu Politechniki Gdańskiej. Zaproponowano realizację sprzętową oraz opracowano realizację programową systemu monitoringu rozdzielnic dla dwóch budynków: Gmachu Głównego i Centrum Obsługi Technicznej. Ważną cechą opracowanego rozwiązania jest jego skalowalność, gdyż docelowo system monitoringu będzie obejmował wszystkie...

    Pełny tekst do pobrania w portalu

  • Ontology-Aided Software Engineering

    Publikacja

    - Rok 2012

    This thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Architektura przyjazna seniorom w Polsce XXI wieku. Kształtowanie przestrzeni zamieszkania, pracy i rozrywki

    Publikacja

    Polska, podobnie jak wiele innych krajów, zmaga się obecnie z procesem starzenia społeczeństwa, który w najbliższych latach będzie przybierał na sile. Dlatego bardzo istotne jest, aby już teraz rozpocząć proces przystosowywania miast do zmieniającej się struktury społecznej, tak aby w przyszłości mogły być one miejscem, w którym ludzie starsi będą mogli swobodnie i bezpiecznie mieszkać oraz funkcjonować. W realiach polskich można...

  • Wsparcie unijne dla sektora MSP w Polsce w perspektywie lat 2007-2013

    Publikacja

    - Rok 2011

    Fundusze Unii Europejskiej wywierają niewątpliwie korzystny wpływ na rozwój i wzrost gospodarczy państw członkowskich. W okresie programowania 2007 - 2013 Polska jest największym beneficjentem pomocy finansowej z Funduszy Europejskich.Pomoc finansowa jest przyznawana w ramach programów pomocowych zwanych programami operacyjnymi. Każdy program charakteryzuje się innym rodzajem przedsięwzięć i podmiotów, które mogą się ubiegać o...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Metoda neuronowego wyznaczania przestrzennych pól przepływów w przydźwiękowych i naddźwiękowych kanałach łopatkowych turbin parowych

    Publikacja

    - Rok 2022

    Niniejsza rozprawa doktorska została poświęcona opracowaniu metody neuronowego wyznaczania przestrzennych pól przepływów w okołodźwiękowych kanałach łopatkowych turbin parowych. Obiektem badań naukowych przedstawionych w kolejnych rozdziałach są dwa ostatnie stopnie części niskoprężnej turbozespołu 18K370 z wylotem ND-37. Pierwszym etapem badań była budowa numerycznego modelu przepływu pary mokrej przez analizowany układ łopatkowy....

    Pełny tekst do pobrania w portalu

  • Influence of external walls' thermal capacitance on indoor thermal comfort

    Publikacja

    - Rok 2013

    The doctoral thesis presents the results of numerical investigations on the influence of walls’ thermal capacitance on indoor thermal comfort. A proper set of thermal parameters of a building structure can considerably limit the heating / cooling demand, and passively increase the indoor thermal comfort. However the effect of building thermal capacitance on indoor conditions is complex and not always beneficial. Among a great number...

  • Optymalizacja kosztu działania aplikacji na urządzeniach mobilnych wspomaganych przez chmurę obliczeniową

    Publikacja

    - Rok 2018

    Rozprawa doktorska dotyczy problemu optymalnego rozdziału aplikacji na dwa heterogeniczne środowiska – urządzenie mobilne i chmurę obliczeniową – w celu minimalizacji kosztu jej wykonania. W części wstępnej przedstawiona została problematyka dotycząca urządzeń mobilnych, w tym urządzeń IoT (Internet of Things), architektury chmury obliczeniowej, a także istniejące badania związane ze współpracą pomiędzy urządzeniami mobilnymi i...

    Pełny tekst do pobrania w portalu

  • Optymalizacja sygnału testującego dla potrzeb identyfikacji modeli procesów biologicznych i medycznych

    Publikacja

    Rozprawa poświęcona jest optymalizacji sygnału testującego dla celów identyfikacji modeli procesów biologicznych i medycznych. Zagadnienie to zawiera się w szerszym zagadnieniu optymalizacji eksperymentu, polegającym na poszukiwaniu tej wartości wybranej zmiennej eksperymentu (w rozprawie jest to sygnał testujący), która zapewni maksimum obranego kryterium optymalności. Optymalizacja eksperymentu jest szczególnie istotna w zastosowaniach...