Automatyczne wyznaczanie złożoności obliczeniowej algorytmów

Slides:



Advertisements
Podobne prezentacje
C++ w Objectivity Marcin Michalak s1744. Pomocne pakiety: Data Definition Language (DDL). Standard Template Library (STL). Active Schema.
Advertisements

Testowanie oprogramowania metodą badania pokrycia kodu
Łukasz Monkiewicz.
Rozwiązania Mobilne dla Przedsiębiorstw Jakub Abramczyk Dyrektor Regionalny 21 Czerwiec, 2007.
REKURENCJA.
Krzysztof Manuszewski
1 © 2006 Cisco Systems, Inc. All rights reserved.SEC Agenda Cisco Business Partner Wymogi bezpieczeństwa współczesnej architektury sieciowej CISCO Self-Defending.
Made by : Jakub Maćkowiak
Strona tytułowa „ POLSKIE ROLNICTWO W UNII EUROPEJSKIEJ”
ZESPÓŁ SZKÓŁ OGÓLNOKSZTAŁCACYCH NR 11 W SOSNOWCU PODSUMOWANIE ANKIETY DLA RODZICÓW.
Wpływ zmian demograficznych na polską gospodarkę.
FUNKCJE TRYGONOMETRYCZNE - podstawy
Wzory Cramera (metoda wyznacznikowa)
Tablice.
1 COMPANY PRIVATE 1 EDUKACJA DLA PRZEMYSŁU PRZEMYSŁ DLA EDUKACJI Janusz Zakręcki Prezes Zarządu, Dyrektor Naczelny Mielec, 7 grudnia 2009r.
Prezentacja z przedmiotu „systemy wizyjne”
Zarządzanie międzynarodowe
Fundusze europejskie i współpraca międzynarodowa Moduł H Opiekun dr Renata Lisowska.
Anna Salamończyk. Kontekst użycia programu: O Nauka nowego materiału - nowych pojęć: O wybór (dodawanie) pojęć, O powtarzanie, O możliwość związanie rysunków.
Uniwersytet Mikołaja Kopernika Wydział Fizyki, Astronomii i Informatyki Stosowanej Podyplomowe Studium Programowania i Zastosowań Komputerów DorFin Baza.
Instalacja i konfiguracja serwera OpenVPN
Grupa tematyczna - PANEL EKSPERTÓW Technologie dla ochrony środowiska Zabrze, 26 październik 2006 Kierownik grupy Jan BONDARUK GŁÓWNY INSTYTUT GÓRNICTWA.
Zwiększenie wykorzystania energii z OZE w budownictwie
Zintegrowany System Zmniejszenia Eksploatacyjnej Energochłonności Budynków dr Stanisław Grygierczyk Gliwice, r. II Seminarium zadania badawczego.
TYPY STRUKTURALNE Tablice Tablicą nazywamy złożoną strukturę danych, która zawiera zbiór elementów tego samego typu.
Dyplomant : Karol Czułkowski
Aplikacja umożliwiająca projektowanie sztucznych cząsteczek małych regulatorowych RNA Promotor: Prof. dr hab. inż. Jacek Błażewicz Rafał Flieger Tomasz.
ALGORYTM.
Definiowanie i wykonywanie procesów biznesowych z wykorzystaniem Business Process Execution Language Recenzent: prof. dr hab. Mykhaylo Yatsymirskyy Promotor:
Wojewódzki Urząd Pracy w Białymstoku ANALIZA KLUCZOWYCH SEKTORÓW WOJEWÓDZTWA PODLASKIEGO Powiązania sektora handlu i usług elektronicznych z rynkiem pracy.
TUTORING Szkoła Podstawowa nr 93 im. Tradycji Orła Białego we Wrocławiu Rok szkolny 2010/ 2011.
Automatyzacja testów akceptacyjnych
1 Mierzenie problemowe w zakresie warunków nauczania języków obcych w szkołach publicznych.
Jak skutecznie organizować szkolenia językowe w firmie
xHTML jako rozszerzenie HTML
PHP Operacje na datach Damian Urbańczyk. Operacje na datach? Dzięki odpowiednim funkcjom PHP, możemy dokonywać operacji na datach. Funkcje date() i time()
Prezentacja dla klasy III gimnazjum Przedmiot: matematyka Dział: Funkcje Temat: Graficzna ilustracja układów równań (lekcja pierwsza)
Panel Roboczy M1 Tworzywa sztuczne termoplastyczne.
Planowanie strategiczne w ośrodkach innowacji i przedsiębiorczości Marzena Mażewska SOOIPP.
Mł. kpt. inż. Tomasz Kiełbasa Zastępca Kierownika Jednostki Certyfikującej Poznań, 27 kwietnia 2010 r. M IĘDZYNARODOWE TARGI OCHRONY PRACY, POŻARNICTWA.
1 Strategia dziel i zwyciężaj Wiele ważnych algorytmów ma strukturą rekurencyjną. W celu rozwiązania rozwiązania problemu algorytm wywołuje sam siebie.
SYTUACJA NA RYNKU PRACY W WOJEWÓDZTWIE KUJAWSKO-POMORSKIM RADZIEJÓW, r.
Liczby Fibonacciego.
Narodowy Fundusz Ochrony Środowiska i Gospodarki Wodnej UNIA EUROPEJSKA FUNDUSZ SPÓJNOŚCI Kryteria wyboru projektów w ramach Programu Operacyjnego Infrastruktura.
Bohdan Rożnowski Konrad Konefał
Postawy pracowników i pracodawców wobec rynku pracy Prezentacja wyników badań ankietowych Bohdan Rożnowski Konrad Konefał Projekt realizowany w ramach.
Projekt realizowany w ramach ZPORR, współfinansowany ze środków Unii Europejskiej z Europejskiego Funduszu Społecznego i budżetu państwa Ocena i oczekiwania.
A. Jędryczkowski – 2006 ©. Tablica to struktura danych zawierająca zbiór obiektów tego samego typu i odpowiada matematycznemu pojęciu wektora (tablica.
PREZENTACJA WYNIKÓW BADANIA PRZEPROWADZONEGO ZA POMOCĄ ANKIET SPRAWDZENIE POZIOMU DOPASOWANIA KOMPETENCJI ABSOLWENTÓW DO POTRZEB PRACODAWCÓW INŻYNIER BUDOWNICTWA.
Podsumowanie wdrożonych środków finansowych w ramach 4 osi priorytetowej Programu Rozwoju Obszarów Wiejskich na lata Europejski Fundusz Rolny.
RÓŻNE SPOSOBY ROZWIĄZANIA TEGO SAMEGO ZADANIA NA RÓŻNYCH ETAPACH EDUKACYJNYCH.
Narzędzie wspomagające projektowanie aplikacji Proficy iFIX
Podsumowanie Programu IW INTERREG III A Czechy –Polska w Województwie Śląskim Ocena wpływu transgranicznego Konferencja Podsumowująca Interreg III A Czechy.
Dodawanie Autor: Zbigniew Skarszewski 3+5=
Mnożenie Autor: Zbigniew Skarszewski 1 x 5 =
KLIMAT PROWADZENIA BIZNESU W POWIECIE SOKÓLSKIM w latach prezentacja wyników ankiet przeprowadzonych wśród lokalnych przedsiębiorców.
Matmatura 2013; 2014; 2015; 2016; 2017…. p. Katarzyna Misztal z uczniami klasy 2F: Monika Tobera Milena Ściana Radosław Stochmal KTO?
Warsztaty użytkowników programu PLANS – Karwia06 Język makropoleceń JMP programu PLANS Część I mgr inż. Tomasz Zdun.
Instrukcja switch switch (wyrażenie) { case wart_1 : { instr_1; break; } case wart_2 : { instr_2; break; } … case wart_n : { instr_n; break; } default.
Obsługa strumienia wejścia/wyjścia /zajęcia nr 2/ printf – wyświetlanie scanf – ??? dla printf: \n - nowa linia \t - tabulator poziomy \b - znak cofania.
Trwałość projektu "Pomorskie dobry kurs na edukację. Wspieranie uczniów o szczególnych predyspozycjach w zakresie matematyki, fizyki i informatyki" Obszar.
Rzeszów r.. Liczba osób badanych 3 Odpowiedzi badanych na temat stosowania krzyku przez rodziców 4.
Beneficjent Zespół Szkół Samochodowych im. T. Kościuszki we Włocławku Włocławek ul. Leśna 1A.
Badanie wychylenia osi komina przemysłowego Dr inż. Ryszard Kowalski
Krystian Pruszyński, Michał Choromański, mgr inż. Dominik Próchniewicz
Komtech Sp. z o.o. Magic Janusz ROŻEJ.
System informacji turystycznej Projekt Konferencja, Ostrava, Zarys działań projektowych i przedsięwzięć synergicznych.
Analiza procesów metodą siatki jakości, badanie satysfakcji klienta, doskonalenie z wykorzystaniem analizy ryzyka 24 kwietnia IV Konferencja Analizy.
Weed Wizualna eksploracja danych Andrzej Bartoszek Adam Dudczak Przemysław Gwóźdz Jakub Jankowski.
ZAPISYWANIE LICZB ARABSKICH Opracowała mgr Agnieszka Dyrka
Zapis prezentacji:

Automatyczne wyznaczanie złożoności obliczeniowej algorytmów Promotor dr inż. Roman Starosolski Autor Krzysztof Pawełczyk

Plan wystąpienia Cel pracy Wymagania wobec rozwiązania Możliwe rozwiązania Struktura rozwiązania Stan prac Podsumowanie

Cel pracy Wyznaczanie złożoności obliczeniowej za pomocą metod analitycznych. Chęć sprawdzenia szacunków. Poznanie faktycznych złożoności dla praktycznych danych. 1. Da się wyznaczyć złożoność, a właściwie tylko jej przybliżenie. Ograniczenie się do liczenia operacji dominujących.

Wymagania wobec rozwiązania Łatwość użycia i niska ingerencja w kod algorytmu Zliczanie wszystkich operacji Obsługa liczb stało- i zmiennopozycyjnych, znaków Tablice jedno- i wielowymiarowe

Możliwe rozwiązania Implementacja wymaganego minimalnego zbioru klas „na sztywno”. Wykorzystanie szablonów klas. +Możliwość całkowitego zamknięcia kodu klas w bibliotece lib. – Brak elastyczności, zamknięty zbiór typów danych Elastyczność. Nie można zamknąć kodu w bibliotece lib.

Struktura rozwiązania Predefiniowane typy danych Szablony typów danych Integer DataTypeTemplate Char Counter BasicDataTypeTemplate Control Predefiniowane typy danych zbudowane na bazie sazblonów. Szablon podstawowy zawiera statyczny obiekt typu Counter, który rejestrowany jest w obiekcie Control. Obiekt Control jest singletonem, zawiera adresy wszystkich counterów. MathDataTypeTemplate XMLWriter Table

Stan prac Pozostało: XMLWriter. Predefiniowane typy danych. Testowanie (UnitTesty). Przeanalizowanie działania na podstawie dwóch algorytmów. Napisanie pracy inżynierskiej. 

Podsumowanie Zestaw szablonów klas i klas. Zliczanie wszystkich operacji. Wynik w postaci pliku XML.

Podsumowanie Mała ingerencja w kod:

Podsumowanie Mała ingerencja w kod:

Dziękuję za uwagę