Wyniki wyszukiwania dla: AUTOMATYCZNE ROZWIĄZYWANIE ZADAŃ - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: AUTOMATYCZNE ROZWIĄZYWANIE ZADAŃ

Wyniki wyszukiwania dla: AUTOMATYCZNE ROZWIĄZYWANIE ZADAŃ

  • Automatyczne konstruowanie ekstraktora cech sygnałów wibroakustycznych na podstawie podobnych zadań diagnostycznych.

    Publikacja

    - Rok 2003

    W pracy przedstawiono koncepcję automatycznego tworzenia uniwersalnego ekstraktora cech istotnych dla grupy podobnych zadań klasyfikacji w dziedzinie sygnałów wibroakustycznych.

  • Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych.

    Publikacja

    - Rok 2003

    W artykule omówiono założenia projektowe i architekturę edukacyjnego systemu informatycznego nadzorującego proces wnioskowania użytkownika podczas rozwiązywania zadań obliczeniowych. Opisywany jest system z bazą wiedzy, w których wiedza o zadaniach z elementarnej matematyki, fizyki lub chemii jest reprezentowana w postaci modeli obliczeniowych, stanowiących szczególny przypadek sieci semantycznych. Scharakteryzowano prototypowy...

  • Mechanika ogólna. Rozwiązywanie zagadnień z MATHCAD-em. Red. E. Kiliś.

    Publikacja

    - Rok 2002

    Przedstawiono rozwiązywanie zadań z mechaniki ogólnej za pomocą programu MATHCAD. Zaprezentowano wykorzystanie możliwości tego programu zarówno w zakresie przekształceń symbolicznych i obliczeń numerycznych, jak i wizualizacji graficznych. W części pierwszej opisano program MATHCAD, kładąc akcent na te jego funkcje, które mogą być przydatne w rozwiązywaniu zadań z mechaniki ogólnej. Część druga zawiera przykłady zadań...

  • Zdzisław Kowalczuk prof. dr hab. inż.

    W 1978 ukończył studia w zakresie automatyki i informatyki na Wydziale Elektroniki Politechniki Gdańskiej, następnie rozpoczął pracę na macierzystej uczelni. W 1986 obronił pracę doktorską, w 1993 habilitował się na Politechnice Śląskiej na podstawie pracy Dyskretne modele w projektowaniu układów sterowania. W 1996 mianowany profesorem nadzwyczajnym, w 2003 otrzymał tytuł profesora nauk technicznych. W 2006 założył i od tego czasu...

  • On thermal and Flow Expert Systems Based on Artificial Neural Network (ANN)

    Publikacja

    - Rok 2003

    Zaprezentowano możliwość realizacji jednego z zadań systemów eksperckich, polegającego na określaniu rozmiaru eksploatacyjnej degradacji parametrów geometrycznych układów łopatkowych turbin. Dyskusję przeprowadzono w oparciu o zastosowanie wybranego typu sztucznej sieci neuronowej (SSN). Badano jakość i dokładność polegającą na dobrej identyfikacji rozmiaru degradacji przez tę wybraną SSN wykrywającą rozmiar degradacji geometrycznej....

  • On Application of Selected Methods of Artificial Intelligence in Expert Systems for Thermal and Flow Diagnostics

    Przedyskutowano problem wspomagania przez systemy ekspertowe decyzji eksploatacyjnych służb nadzoru obiegów turbin parowych. Uwagę skupiono na realizacji jednego z zadań tych systemów, polegającemu na określenie rozmiaru eksploatacyjnej degradacji parametrów geometrycznych układów łopatkowych turbin. Dyskusję przeprowadzono na przykładzie jednego z komponentów metod sztucznej inteligencji: wybranego typu sztucznej sieci neuronowej...

  • Projekt zespołowy, P, Mechatronika sem. 06, letni 21/22 (M:31437W0)

    Kursy Online
    • J. Kropiwnicki

    Przedstawienie przebiegu procesu projektowania i rozwiązywania problemów inżynierskich.Definiowanie problemu. Rozwiązywanie zadań inżynierskich z wykorzystaniem aktualnej wiedzy ogólnej ispecjalistycznej. Stosowanie współczesnych narzędzi działania inżynierskiego.  

  • Optimizing Control by Robustly Feasible Model Predictive Control and Application to Drinking Water Distribution Systems

    Publikacja

    - Rok 2009

    The paper considers optimizing Model Predictive Control (MPC) for nonlinear plants with output constraints under uncertainties. Although the MPC technology can handle the constraints in the model by solving constraint model based optimization task, satisfying the plant output constraints still remains a challenge. The paper proposes Robustly Feasible MPC (RFMPC), which achieves feasibility of the outputs in the controlled plant....

  • PROPERTIES OF PARAMETRIC ALGORITHMIC DESIGN OF RESIDENTIAL HOUSES IN URBAN CONTEXT

    Publikacja

    Design explorations of architectural avant-garde resulted in the development of digital techniques that allow solving very complex and demanding contemporary design challenges. In the architectural discourse the new design workshop seems to be symbolized mainly by the projects of sports facilities, cultural, administrative or multifunctional high-rise buildings. However for the quality of society life is more important to exploit...

  • Piotr Falc mgr inż.

    Osoby

    Certyfikowany Kierownik Projektu, Certyfikowany Manager IT, Certyfikowanych Audytor Manager z wieloletnim doświadczeniem popartym certyfikatami. Nie obawia się wyzwań i złożónych projektów. Zdolności analityczne pozwalają mu na rozwiązywanie problemów w sposób sprawny i kompleksowy, jednocześnie myśląc o całości przedsięwzięcia i sukcesie projektu. Stara się wzmacniac dobe cechy zespołu i podwładnych. Nie stroni też od specjalistycznych...

  • Distance learning trends: introducing new solutions to data analysis courses

    Nowadays data analysis of any kind becomes a piece of art. The same happens with the teaching processes of statistics, econometrics and other related courses. This is not only because we are facing (and are forced to) teach online or in a hybrid mode. Students expect to see not only the theoretical part of the study and solve some practical examples together with the instructor. They are waiting to see a variety of tools, tutorials,...

    Pełny tekst do pobrania w portalu

  • Model otwartej architektury rozproszonych dokumentów elektronicznych wspierającej proces podejmowania decyzji w trybie obliczeń zespołowych

    Publikacja

    - Rok 2013

    Model otwartej architektury mobilnych dokumentów interaktywnych MIND, został opracowany w celu efektywnego zarządzania informacją w procesach podejmowanych przez organizacje oparte na wiedzy. Architektura ta stanowi całościowy opis struktury i funkcjonalności dokumentu, zaprojektowanego w celu realizacji rozproszonego przetwarzania zespołowego i pracy grupowej. Umożliwia automatyczne przejście od statycznej postaci dokumentów...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Kolos z Algebronu, czyli zgamifikowana algebra liniowa (ETI)

    Wydarzenia

    18-03-2022 13:00 - 18-03-2022 15:00

    Studenci I roku WETiI w semestrze zimowym mieli okazję przetestować prototyp aplikacji wspierającej systematyczną pracę i motywację w ramach przedmiotu algebra liniowa. Czy Poszukiwacze pokonali Kolosa z Algebronu?

  • Automatyczne urządzenia przełączające niskiego napięcia

    Publikacja

    - Rok 2006

    Układy samoczynnego załaczania rezerwy zasilania (SZR), okrełslane w PN-EN 60947-6-1 jako automatyczne urządzenia przełaczające (ATSE ang. Automatic Transfer Switching Equipment) są przeznaczone do zapewnienia ciągłosci zasilania odbiorców energii elektrycznej. W artykule omówiono klasyfikację ATSE, budowę elektrycznych blokad aparatów wykonawczych oraz zalecane czasy zadzialania ATSE. Przedstawiono automatyczne urządzenia przełaczające...

  • Wykorzystanie nowych metod wnioskowania w grafice i animacji komputerowej

    Publikacja

    - Rok 2006

    Referat opisuje realizowane zadania badawcze, dotyczące wykorzystana nowych metod wnioskowania (tzw. soft-computingu) w przetwarzaniu grafiki i animacji komputerowej. W pierwszym z zadań, opracowaniu metody poprawy jakości fotografii tekstu przeznaczonych do rozpoznawania znaków, wykorzystano algorytmy przetwarzania obrazów i ich modyfikacje do usuwania ze zdjęcia tła oraz gradientu jasności, następnie nowa metoda filtracji nieliniowej...

  • Automatyczne urządzenia przełączające nn - oferta firmy Siemens

    Publikacja

    - Rok 2006

    Układy samoczynnego załaczania rezerwy zasilania (SZR), okrełslane w PN-EN 60947-6-1 jako automatyczne urządzenia przełaczające (ATSE ang. Automatic Transfer Switching Equipment) są przeznaczone do zapewnienia ciągłosci zasilania odbiorców energii elektrycznej. W artykule omówiono klasyfikację ATSE, budowę blokad aparatów wykonawczych oraz zalecane czasy zadzialania ATSE. Przedstawiono automatyczne urządzenia przełaczające oferowane...

  • Automatyczne sprawdzanie testów.

    Publikacja

    - Rok 2004

    W artykule przedstawiono przykłady wykorzystania arkusza kalkulacyjnego do przeprowadzenia i automatycznej oceny testu. Test może zawierać pytania o charakterze otwartym, zadania jednokrotnego oraz woelokrotnego wyboru.

  • Szeregowanie zadań uwarunkowanych czasowo

    Publikacja

    - Rok 2011

    w pracy przedstawiono wyniki badań nad problemami szeregowania zadań uwarunkowanych czasowo. dla problemu 1|pi=a+bisi|σci przedstawiono nowe heurystyki, przypadek wielomianowy oraz w pełni wielomianowy schemat. wprowadzono koncepcję eliminacji zdominowanych fragmentów harmonogramu, oraz pokazano jak wykorzysta¢ ją do konstrukcji algorytmu dokładnego dla tego problemu, a także jak przy jej pomocy przyspieszy¢ inne algorytmy. następnie...

  • Automatyczne systemy naprowadzania i sterowania środkami transportu

    Kursy Online
    • W. Tarełko

    Składowe nazwy przedmiotu: - automatyczne systemy ® automatyzacja (ang. automation) - systemy naprowadzania i sterowania ® naprowadzanie, nawigacja i sterowanie (ang. guidance, navigation and control system); - środki transportu.

  • Szeregowanie zadań wieloprocesorowych metodą kolorowania hiperkrawędzi

    W artykule rozważamy problem szeregowania jednostkowych zadań wieloprocesorowych na procesorach dedykowanych z repetycją zadań i ograniczeniami dostępności. Prezentujemy zebrane wyniki złożoności dla różnych typów instancji powyższego problemu szeregowania z kryteriami długości harmonogramu, sumy czasów zakończenia zadań i kosztu całkowitego. Problem ten opisujemy modelem kolorowania krawędzi różnych klas hipergrafów.

    Pełny tekst do pobrania w portalu

  • Badania operacyjne - Szeregowanie zadań

    Kursy Online
    • J. Raczek
    • K. Wereszko
    • K. Giaro
    • J. Konorski

    Tematyka szeregowania zadań stanowi jeden z głównych nurtów badań operacyjnych. Podejmuje ona problemy planowania pracy i układania harmonogramów, dotychczas zdefiniowała tysiące rozmaitych modeli obejmujących różnorodne rodzaje zadań, wykorzystywane przez nie zasoby i tryby pracy. Głównym celem, jaki stawia sobie teoria jest opracowanie efektywnych algorytmów umożliwiających tworzenie harmonogramów optymalnych w sensie określonego...

  • Szeregowanie zadań dwuprocesorowych w systemach otwartych

    W pracy rozważany jest problem szeregowania zadań dwuoperacyjnych w systemie otwartym (open-shop), z kryterium minimalizacji długości harmonogramu oraz sumy czasów zakończenia wszystkich zadań. Zakładając jednostkowe czasy wykonywania operacji można stosować efektywne metody chromatyczne rozwiązywania problemu, poprzez sprowadzenie go do modelu grafowego oraz zastosowanie w nim wybranego modelu kolorowania, które pozwala uzyskać...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Szeregowanie zadań sprzężonych metodą kolorowania grafów

    Publikacja

    - Automatyka / Automatics - Rok 2003

    Rozważono problem szeregowania zadań sprzężonych na pojedynczym procesorze w obecności ograniczeń kolejnościowych. Zidentyfikowano przypadki wielomianowe dla tego zagadnienia NP-trudnego.

  • Szeregowanie zadań metodami kolorowania grafów.Monografie 37.

    Publikacja

    - Rok 2003

    Niniejsza praca poświęcona jest wykorzystaniu teorii chromatycznej grafów w szeregowaniu. Koncepcja ta polega na przedstawieniu zbioru zadań w postaci krawędzi tzw. grafu konfliktów.

  • Uszeregowania zadań wieloprocesorowych minimalizuje średni czas przepływu

    W artykule rozważane są problemy efektywnego wyznaczania uszeregowań wieloprocesorowych dla zadań jednostkowych na dedykowanych procesorach równoległych, które minimalizują średni czas przepływu.

  • Mechanika ogólna : Rozwiązywanie zagadnień z MATHCAD-em

    Publikacja

    - Rok 2015

    W książce zaprezentowano nową metodę studiowania mechaniki, umożliwiającą kształtowanie intuicji inżynierskiej. W tym celu wykorzystano program MATHCAD, który usprawnia żmudne obliczenia i pozwala zaoszczędzić czas na dokładną analizę rozważanych zjawisk oraz otrzymanych wyników. Książka polecana studentom na zajęcia z mechaniki ogólnej oraz jako praktyczną pomoc przy wykonywaniu prac dyplomowych, a także inżynierom szukającym...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Drgania mechaniczne : Rozwiązywanie zagadnień z MATHCAD-em

    Publikacja

    - Rok 2015

    Autor proponuje jednoczesne poznawanie teorii drgań mechanicznych i wdrażanie jej do analizy własności dynamicznych układów mechanicznych. Stosuje do tego celu wspomaganie komputerowe za pomocą programu MATHCAD. Wyjaśnia naturę zjawiska drgań mechanicznych i jego znaczenie w technice oraz wpływ na środowisko. Prezentuje też wzorcowe programy pomocne przy samodzielnym programowaniu obliczeń. Podaje zasady tworzenia modeli dyskretnych...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Chromatyczne szeregowanie zadań w cyklicznych systemach produkcyjnych.

    Publikacja

    - Rok 2005

    Głównym celem pracy jest klasyfikacja złożoności obliczeniowej problemu szeregowania zadań w przypadku cyklicznej pracy systemu produkcyjnego. Rozważane są przy tym trzy modele szeregowania: system zadań dwuprocesorowych, system otwarty i system przepływowy. Kryterium optymalizacyjnym które jest analizowane jest długość cyklu wyrażająca częstość realizacji poszczególnych zestawów operacji. W pracy posługiwano się teorią grafów...

  • Metaheurystyki w szeregowaniu zadań uwarunkowanych czasowo

    w artykule tym zbadano zastosowanie algorytmów metaheurystycznych w problemach szeregowania zadań uwarunkowanych czasowo. porównano wyniki algorytmu genetycznego, ewolucji różnicowej oraz symulowanego wyżarzania, z reprezentacjami rozwiązania: permutacyjną, opartą o priorytety reguł i kodowaniem przedziałowym, osiągnięte w rozwiązywaniu np-trudnego problemu 1 | pi = ai + bisi | sum wici. gdzie to możliwe, wyniki porównano z rozwiązaniami...

  • Modelowanie podziału zadań przewozowych w obszarach zurbanizowanych

    Publikacja

    - Rok 2018

    Niniejsza rozprawa doktorska dotyczy problematyki modelowania podziału zadań przewozowych w procesie modelowania podróży. Wykonane analizy wykazały zasadność zastosowania dodatkowych czynników w modelowaniu wyboru środka transportu z uwagi na ich istotny wpływ na jakość modelu dla wybranych motywacji podróży. W pracy zawarto przykładowe modele uwzględniające każdy z analizowanych czynników. Z wykorzystaniem badań heurystycznych...

  • Finansowanie zadań oświatowych jednostek samorządu terytorialnego

    Publikacja

    - Rok 2021

    Celem monografii jest przedstawienie, analiza i ocena procesu organizacji i finansowania zadań oświatowych w Polsce. W ujęciu szczegółowym w książce skupiono się opisie zasad organizacji i finansowania zadań oświatowych z punktu widzenia samorządu terytorialnego, w tym także zasad finansowania i przekazywania środków publicznych w formie dotacji placówkom prowadzonym przez podmioty inne niż jednostki samorządu terytorialnego. W...

  • Definicja zadań inteligentnych agentów do oceny technologii informatycznych

    Publikacja

    Celem pracy jest prezentacja definicji zadań agentów dla potrzeb systemu agentowego do oceny technologii informatycznych.

  • Ocena podstawowych zadań publicznych uczelni akademickich w Polsce

    Publikacja

    Przedmiot badań: W ciągu ostatniej dekady w Polsce kilkakrotnie zmieniono system szkolnic­twa wyższego w różnych aspektach, jednak główne obszary działalności pozostawały niemalże bez zmian. Jednak dotychczas, po pierwsze, nie przeanalizowano poszczególnych podstawo­wych zadań uczelni poza trzema głównymi, tj. działalności dydaktycznej, naukowo-badawczej i transferu wiedzy. Po drugie, nie dokonano całościowej...

    Pełny tekst do pobrania w portalu

  • AUTOMATYCZNE GENEROWANIE KOLEJNOŚCI LIST UTWORÓW MUZYCZNYCH

    Publikacja

    - Rok 2021

    W niniejszym rozdziale przedstawiono przygotowanie algorytmu do automa-tycznego układania kolejności utworów muzycznych i zgrywającego je do postaci jednego, długiego miksu. Dzięki algorytmowi dobierane są utwory na podstawie analizy podobieństwa fragmentów końcowych i początkowych utworów. Podo-bieństwo to jest obliczane za pomocą odległości euklidesowej między wektorami parametrów wyznaczonymi przez autoenkoder oraz na podstawie...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Monitorowanie usług i zadań na platformie KASKADA

    Publikacja

    Przedstawiono monitor usług na platformie KASKADA. Zaprezentowano trzy sposoby monitorowania usług (1) przez mechanizmy wewnętrzne platformy, (2) na bieżąco przez użytkownika (3) przez użytkownika po zakończeniu działania usługi. Zawarto szczegółowy opis cyklu życia usługi i związanych z nią zadań obliczeniowych wraz z wymianą informacji pomiędzy elementami podlegającymi monitorowaniu oraz hierarchią i porządkiem uzupełniania plików...

  • Ekonometria - modele jednorównaniowe : Zbiór zadań z rozwiązaniami. - R. Piotrowski.

    Publikacja

    - Rok 2011

    Zbiór zadań opracowany został na podstawie wykładów i ćwiczeń na studiach dziennych i zaocznych z przedmiotu "ekonometria" prowadzonych w ostatnich latach przez autora w Gdańskiej Wyższej Szkole Administracji na Wydziale Ekonomiczno - Społecznym. Jest on uzupełnieniem pozycji ogólnodostępnych na rynku, związanych z problemami modelowania procesów ekonomicznych. Praca została podzielona na dwanaście rozdziałów. W pierwszych jedenastu...

  • Inteligentny planista systemu operacyjnego Linux zorientowany na obsługę zadań sieciowych

    Zaprezentowano nowy algorytm planisty systemu operacyjnego Linux zorientowanego na obsługę zadań sieciowych. Przedstawiono koncepcje algorytmu takiego planisty. Dokonano analizy możliwości adaptacji jądra systemu Linux do automatycznego wykrywania zadań sieciowych. Zaprezentowano testy porównawcze prototypu implementacji autorskiego algorytmu z obecnie używanym planistą Linuksa CFS.

  • Pareto-optymalne szeregowanie zadań wieloprocesorowych na procesorach dedykowanych

    Publikacja

    - Rok 2008

    Problem szeregowania jednostkowych zadań wieloprocesorowych na maszynach dedykowanych można modelować przy pomocy hipergrafów. Znamy kilka klas hipergrafów, dla których szeregowanie z kryterium kosztu całkowitego jest wielomianowe. Pokażemy jak przy pomocy modelu z kosztem całkowitym można rozwiązać problemy z innymi kryteriami znanymi z teorii szeregowania, oraz jak rozwiązać problemy dwukryterialne.

  • Algorytm branch-and-bound dla pewnego problemu szeregowania zadań uwarunkowanych czasowo

    Publikacja

    W artykule został przedstawiony algorytm branch-and-bound dla problemu szeregowania zadań uwarunkowanych czasowo 1 | pi = 1 + aisi | sum Ci. Przedstawiono także wyniki eksperymentów komputerowych prezentujących wydajność algorytmu. Zastosowanie przedstawionego algorytmu umożliwia powiększenie "obliczalnych" rozmiarów instancji o 6-10 zadań w stosunku do algorytmu pełnego przeszukiwania.

    Pełny tekst do pobrania w portalu

  • Uszeregowania zadań wieloprocesorowych w ogólnych systemach równoległych.

    Publikacja

    - Rok 2002

    Planowanie procesorów produkcyjnych czy sterowanie systemami komputerowymi wymaga skonstruowania adekwatnych modeli teoretycznych w celu uzyskania zadowalającego poziomu efektywności stosowanych rozwiązań oraz przeprowadzenia w miarę jak najpełniejszej klasyfikacji problemów ''łatwych'' oraz ''trudnych''obliczeniowo. W pracy rozważane są problemy deterministycznego szeregowania zadań wieloprocesorowych w środowisku maszyn...

  • Sterowanie automatyczne i regulacja turbin_2021

    Kursy Online
    • M. Dzida

    Ogólna analiza układów regulacji. Wielkości charakterystyczne procesu regulacji turbozespołów parowych i gazowych. Charakterystyki statyczne turbozespołów. Charakterystyki dynamiczne układów regulacji automatycznej. Specyfika regulacji turbozespołów parowych. Regulacja turbozespołów gazowych. Regulacja automatyczna bloków kombinowanych. Regulacja automatyczna turbin okrętowych. Modele matematyczne turbin parowych oraz turbin gazowych....

  • Sterowanie automatyczne maszyn przepływowych (PG_00042128)

    Kursy Online
    • M. Dzida
    • J. Frost

  • Rozwiązywanie problemów społecznych jako przestrzeń dla sektora małych firm

    Artykuł jest próbą naświetlenia w jaki sposób małe podmioty rynkowe mogą wykorzystywać problemy społeczne jako przestrzeń do działań przedsiębiorczych. Autorki przedstawiają w jakim stopniu i jakie czynniki warunkują zaangażowanie małych firm w tego typu działalność.

    Pełny tekst do pobrania w portalu

  • Specyfikacja zadań w procesie tworzenia Komputerowego Modelu Przepływu (KMP)

    Publikacja

    - Rok 2017

    W opracowaniu przedstawiono pięć faz i szesnaście zadań, które trzeba wykonać w procesie tworzenia KMP. W każdym zadaniu określono cel, zakres i metodykę jego realizacji. Szczególną uwagę zwrócono na specyfikę postępowania w przewymiarowanych układach wodociągowych.

  • Automatyczne odczytywanie napisów z diagnostyką ich ważności

    Publikacja

    - Rok 2007

    Przedstawiono koncepcję urządzenia wykrywającego i odczytującego napisy z przeznaczeniem dla osoby niewidomej. Zaprezentowano problemy jakie pojawiają się przy konstruowaniu takiego urządzenia i sposoby ich przezwyciężenia. Przedyskutowano ponadto schemat funkcjonalny oprogramowania sterującego takim urządzeniem. Dodatkowo opisano metodę badania podobieństwa figury do litery lub cyfry opartą na odwzorowaniu maksymalnego kwadratu...

  • Automatyczne konstruowanie ekstraktorów cech w problemach klasyfikacji

    Publikacja

    - Rok 2009

    W pracy zaproponowano i zbadano ideę automatycznego tworzenia ekstraktora cech. Ekstraktor taki uzyskiwany jest na drodze uczenia, metodami ewolucyjnymi wykorzystującymi zbiory uczące pochodzące z innych problemów klasyfikacyjnych, w określonym sensie podobnych do problemu rozpatrywanego. Uzyskiwany w ten sposób ekstraktor powinien poprawiać uogólnianie klasyfikatora uczonego niewielką liczbą przykładów z zadania rozpatrywanego,...

  • Automatyczne generowanie testów na podstawie modeli UML

    Publikacja

    - Rok 2006

    Rozdział stanowi wprowadzenie do problematyki automatycznej generacji przypadków testowych na podstawie dokumentacji wykonanej w UML. Zaprezentowano powiązania pomiędzy dokumentacją wykonaną w fazach analizy i projektowania systemu a dokumentacją testową, szersze ujęcie zagadnień automatycznego generowania testów, metody generowania przypadków testowych, wyniki podobnych prac (projekt AGEDIS, profil testowy UML) oraz dyskusję efektywności...

  • Heurystyczne algorytmy szeregowania zadań wieloprocesorowych na procesorach dedykowanych

    Problem szeregowania zadań wieloprocesorowych na procesorach dedykowanych można zaprezentować przy pomocy modelu kolorowania krawędzi hipergrafów. Hipergrafem nazywamy pewne uogólnienie grafu, w którym krawędzie mogą zawierać dowolnie wiele wierzchołków. Model taki pozwala symulować rozmaite zjawiska praktyczne oraz teoretyczne. Kolorowanie hiperkrawędzi hipergrafów jest uogólnieniem kolorowania krawędzi grafów, zatem jest problemem...

  • W pełni wielomianowy schemat aproksymacyjny dla pewnego problemu szeregowania zadań uwarunkowanych czasowo

    w artykule tym rozważany jest następujący problem szeregowania zadań: dany jest jeden procesor, zbiór zadań j1, ..., jn, czas przetwarzania zadania i wynosi pi = a + bisi, zaś celem jest minimalizacja całkowitego czasu wykonywania zadań. przedstawiony został pełny wielomianowy schemat aproksymacyjny, który, o ile wszystkie współczynniki wydłużania zadań (bi) w instancji problemu są różne i większe od pewnej, ustalonej liczby u,...

  • Jak szybko gasić pożar, czyli przypadek szeregowania zadań czasowozależnych

    artykuł poświęcony jest planowaniu pracy brygad strażackich walczących z pożarami lasu. model matematyczny, który tutaj zastosowano to szeregowanie zadań uwarunkowanych czasowo. przedyskutowano złożoność problemu w przypadku zastosowania dwóch kryteriów optymalizacji: długości harmonogramu i średniego czasu przepływu. pokazano, że w ogólności nie istnieją uszeregowania idealne, zapewniające minimalizację obu kryteriów jednocześnie

    Pełny tekst do pobrania w portalu