Wyszukiwarka
Filtry
wszystkich: 610
wybranych: 387
-
Katalog
Filtry wybranego katalogu
Wyniki wyszukiwania dla: EKSTREMALNA TEORIA GRAFÓW
-
Struktury danych.
PublikacjaPraca stanowi podręcznik dla studentów pierwszych lat informatyki. Prezentuje ona podstawowe struktury danych stosowane w programach komputerowych wraz z algorytmami, ukierunkowanymi na przechowywanie informacji oraz operowanie informacją przy użyciu tych struktur. W podręczniku omówiono m.in. następujące zagadnienia: tablice uporządkowane, tablice rozproszone, sortowanie tablic, listy, drzewa binarne, drzewa wyszukiwawcze,...
-
Generation of the vorticity mode by sound in a vibrationally relaxing gas
PublikacjaW badaniu została przedstawiona procedura wyprowadzenia nowego równania dla modu wirowego generowanego przez ultradźwięki w gazach z pobudzonymi stopniami swobody. Pokazano, że w pewnych warunkach kierunek linii prądu dla modu wirowego jest przeciwny w porównaniu do płynów ze standardowym tłumieniem. Teoria została zilustrowana na przykładzie generowania modu wirowego przez okresową wiązkę akustyczną ze słabą dyfrakcją poprzeczną.
-
Weakly connected domination subdivision numbers
PublikacjaLiczba podziału krawędzi dla dominowania słabo spójnego to najmniejsza liczba krawędzi jaką należy podzielić, aby wzrosła liczba dominowania słabo wypukłego. W pracy przedstawione są własności liczby podziału krawędzi dla dominowania słabo spójnego dla różnych grafów.
-
Processing of musical metadata employing Pawlak's flow graphs.
PublikacjaW artykule przedstawiono problemy wyszukiwania informacji muzycznej. W eksperymentach posłużono się meta opisem oraz wykorzystano metodę grafów przepływowych Pawlaka. Opisano skonstruowaną bazę nagrań muzycznych. Słowa kluczowe: meta opis, wyszukiwanie informacji muzycznej, baza danych muzycznych
-
Postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce
PublikacjaPublikacja 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.
-
Modelling and uncertainty in system analysis for safety assessment.
PublikacjaArtykuł obejmuje zagadnienia związane z modelowaniem i reprezentacją niepewności i ilościowych oszacowaniach ryzyka. Problem jest istotny w praktyce, ponieważ wystęopujhą wymagania przeprowadzenia ocen niepewności miar probabilistycznych i ryzyka. Dyskutuje się potencjalne żródła niepewności i dokonuje sie przeglądu podstaw teoretycznych reprezentacji niepewności. W modelowaniu systemów zawierających nieprecyzyjnie zdefiniowane...
-
Badanie stabilności uogólnionych liniowych układów dynamicznych
Publikacjateoria stabilności zajmuje się jakościową analizą układów dynamicznych. do badania stabilności uogólnionych układów dynamicznych wykorzystuje się uogólnione wielomiany wykładnicze, które wykorzystywane są w metodzie wyznaczania odpowiedzi układów dynamicznych. takie ujęcie problemu stabilności pozwala badać stabilnoś szerokiej klasy układów dynamicznych w sposób jednolity, np. dla klasycznych układów dynamicznych ciągłych i dyskretnych...
-
Guided wave propagation in structures. Modelling, experimental studies and application to damage detection
PublikacjaCelem niniejszej pracy są eksperymentalne i numeryczne analizy propagacji prowadzonych fal sprężystych w stalowych konstrukcjach prętowych, belkowych, ramowych, tarczowych i płytowych. W szczególności praca poświęcona jest: (a) modelowaniu propagacji fal z uwzględnieniem zjawiska dyspersji; (b) budowie modeli obliczeniowych w formalizmie metody elementów spektralnych; (c) eksperymentalnej weryfikacji zaproponowanych modeli; (d)...
-
Szeregowanie rozrzedzonych systemów zadań jednostkowych 1- i 2-procesorowych w oknach czasowych
PublikacjaSzeregowanie jednostkowych zadań 1- i 2-procesorowych z dodatkowym ograniczeniem w postaci zróżnicowanych okien czasowych, w których zadania te mogą być wykonywane zamodelowano przy pomocy listowego kolorowania i multikolorowania krawędzi grafów. Kryteria jakości harmonogramu: maksymalny koszt wykonania zadania w jednostce czasu oraz suma tychże kosztów po wszystkich zadaniach można przedstawić rozszerzając kolorowanie listowe...
-
Harmonions Coloring of Graphs.
PublikacjaProblem kolorowania grafów jest motywowany radionawigacją lotniczą, kompresją obrazów i in. W rozdziale podano podstawowe fakty dotyczące tego modelu kolorowania, a wsród nich dolne i górne oszacowania na liczbę harmoniczną i algorytm o złożoności 0 (mm3) dający bardzo dobre pokolorowania przybliżone.
-
Modalne grafy wiązań - podejście wykorzystujące metodę transmitancji układu o parametrach rozłożonych
PublikacjaCelem pracy jest zastosowanie metody transmitancji układu o parametrach rozłożonych do konstruowania modalnych grafów wiązań. Grafy takie wykorzystuje się w modelowaniu układów zawierających jednowymiarowe podukłady o parametrach rozłożonych. W wyniku zaproponowanego podejścia uzyskuje się dalsze zwiększenie dokładności otrzymywanych modeli.
-
Przybliżone hybrydowe modele wybranych układów o parametrach rozłożonych
PublikacjaZaprezentowano metodę budowy modeli w postaci grafów wiązań dla układów za-wierających jednowymiarowe podukłady o parametrach rozłożonych. Wykorzystanodwa znane sposoby budowy przybliżonych modeli o parametrach skupionych dla układów o parametrach rozłożonych: dyskretyzację przestrzenną oraz analizę modalną (modalne grafy wiązań).
-
Cztery algorytmy które wstrząsnęły światem. Część III: Sprzęt czy oprogramowanie
PublikacjaW trzecim odcinku cyklu poruszono problem przyjaznego rysowania grafów oraz zaprezentowano algorytmy dla szybkiego mnożenia macierzy, a więc problemu, który pojawia się w każdej nauce inżynieryjnej. Rozważania ogólne zamknięto ilustracją postępu, jaki dokonał się w zakresie sprzętu liczącego i oprogramowania.
-
An approximation algorithm for maximum P3-packing in subcubic graphs
PublikacjaW pracy podano algorytm 4/3-przyliżony dla trudnego obliczeniowo problemu umieszczania wierzchołkowo rozłącznych dwukrawędziowych ścieżek w grafach o stopniu maksymalnym 3 i stopniu minimalnym 2. Poprawiono tym samym wcześniejsze wyniki dla grafów kubicznych (A. Kelmans, D. Mubayi, Journal of Graph Theory 45, 2004).
-
Zastosowania trójkątnych płytek w grafice komputerowej
PublikacjaPraca opisuje metody pokrywania trójkątnymi płytkami dowolnych powierzchni trójwymiarowych reprezentowanych przez siatki trójkątne. Omówione są znane metody konstruowania i układania trójkątnych płytek oraz ich optymalizacja algorytmami kolorowania grafów. Zaproponowana jest ulepszona hybrydowa metoda, umożliwiająca pokrycie dowolnej powierzchni wzorem, który wymaga kierunkowego uporządkowania.
-
Zwarte kolorowanie krawędzi
PublikacjaPraca omawia model zwartego kolorowania grafów i jego zastosowania w szere-gowaniu zadań. Podano podstawowe właściwości kolorowania zwartego, a takżegrafów dających się w ten sposób kolorować. przedstawiono szereg rodzin gra-fów dwudzielnych posiadających zwarte pokolorowania. Zdefiniowano też pewnąmiarę ''niezwartości'' kolorowania krawędziowego zwaną stratnością.
-
Uchyb, błąd, niepewność - geneza określania niedokładności w miernictwie elektrycznym
PublikacjaW artykule przedstawiono genezę pojęć określających niedokładność wyników pomiarów w miernictwie elektrycznym. W zależności od czasu obowiązywało pojęcie błędu lub uchybu, były okresy, gdy oba zwroty traktowano jako równoważne, ale również takie, gdy występowały oba zwroty, oznaczające co innego. Ostatecznie przyjęło się pojęcie błędu, a w latach 90-tych XX wieku wprowadzono kolejną miarę jakości wyników pomiarów – niepewność pomiaru,...
-
Scheduling with precedence constraints: mixed graph coloring in series-parallel graphs.
PublikacjaW pracy rozważono problem kolorowania grafów mieszanych, opisujący zagadnienie szeregowania zadań, w którym zależności czasowe zadań mają charakter częściowego porządku lub wzajemnego wykluczania. Dla przypadku, w którym graf zależności jest szeregowo-równoległy, podano algorytm rozwiązujący problem optymalnie w czasie $O(n^3.376 * log n)$.
-
Equitable 4-coloring of cacti and edge-cacti in polynomial time
PublikacjaRozważono problem wyznaczania sprawiedliwej liczby chromatycznej kaktusów i drzew wielokątowych bez trójkątów i krawędzi wiszących. Podano wielomianowy algorytm wyznaczający pokolorowanie optymalne, oparty na paradygmacie programowania dynamicznego. Tym samym znaleziona została kolejna klasa grafów planarnych, dla której kolorowanie sprawiedliwe jawi się jako zagadnienie obliczeniowo łatwe.
-
Modelowanie informacją i pozyskiwanie wiedzy.
PublikacjaW rozdziale zaproponowano metody miękkiego modelowania dla wspomagania procesu pozyskania wiedzy. Skoncentrowano się na metodach opartych na teorii grafów skierowanych, drzew decyzyjnych i sieci neuronowych. Omówiono zastosowania metod na przykładach związanych z przepływem informacji w systemach autonomicznych. Wykazano przydatność modelowania miękkiego w procesach pozyskania wiedzy.
-
Projektowanie strategii frezowania złożonych kieszeni w komponentach mechanicznych
PublikacjaPrzedstawiono metody wyznaczania optymalnych sekwencji narzędziowych w projektowaniu strategii frezowania złożonych kieszeni przy wykorzystaniu określonego zestawu narzędziowego. W doborze sekwencji dopuszczalnych uwzględniano eliminację sekwencji nieefektywnych. Alternatywne sekwencje narzędziowe modelowano w postaci ważonych grafów acyklicznych dla generowanych wariantów ścieżek kolejnych narzędzi, dokonując ich oceny kosztowej.
-
Metoda chromatyczna i jej zastosowania techniczne
PublikacjaArtykuł ma charakter przeglądowy. Przedstawiono w nim najważniejsze modele koloryzowania grafów i ich zastosowania w wybranych problemach technicznych. Ponieważ jest to wiodąca tematyka badawcza Katedry Podstaw Informatyki Wydziału ETI Politechniki Gdańskiej, praca służy również upowszechnianiu dorobku naukowego pracowników Katedry oraz osób z nią współpracujących w opisywanej dziedzinie.
-
ILOŚCIOWE BADANIA MAKROEKONOMICZNE W KONTEKŚCIE METOD BADAŃ TYPOWYCH DLA NAUK O ZARZĄDZANIU
PublikacjaW statystycznych badaniach makroekonomicznych na temat zjawisk gospodarczych w społeczeństwie, oprócz używania typowych metod ilościowych ważne jest też stosowanie innych metod badawczych z zakresu nauk społecznych. W niniejszym opracowaniu potwierdzamy, że teoria ugruntowana może być traktowana jako metoda uzupełniająca w badaniach na temat starzenia się populacji i badania determinant wydajności pracy. Uzupełniająco badania mogą...
-
Large rotations in first-order shear deformation FE analysis of laminated shells
PublikacjaAbstrakt: Teoria powłok o skończonych obrotach w ramach modelu ścinania pierwszego rzędu stanowi podstawę zaprezentowanego w pracy algorytmu MES statycznej, geometrycznie nieliniowej analizy konstrukcji warstwowych. Szczególną uwagę zwrócono na właściwy opis skończonych obrotów przy zastosowaniu kątów Eulera oraz procedurę uaktualniania parametrów obrotowych. Przedstawiono sformułowanie przyrostowe w stacjonarnym opisie Lagrange´a....
-
Energy optimisation in resilient self-stabilizing processes
PublikacjaW pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm kolorowania grafów oparty na konstrukcji drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm z gwarantowaną wielomianową liczbą ruchów, który dokładnie koloruje grafy dwudzielne.
-
Wykorzystanie słabych sygnałów, foresightu i ciągu zarządzania strategicznego w konfiguracji biznesu przyszłości
PublikacjaBurzliwość współczesnego otoczenia wyostrza zagadnienie przystosowania prowadzonej działalności gospodarczej do funkcjonowania w przyszłości. Do osiągnięcia sukcesu w biznesie przyszłości przyczynić się może wykorzystanie dostępnej już obecnie wiedzy. Na szczególną uwagę zasługuje teoria słabych sygnałów, metoda foresight oraz ciąg zarządzania strategicznego, które w połączeniu umożliwiają wypracowanie stanowiska w sprawie kształtu...
-
Pomiar dobrobytu i nierówności ekonomicznych w ramach indywidualistycznego paradygmatu ekonomii.
PublikacjaRozdział ten poświęcony jest metodom pomiaru dobrobytu ekonomicznego. Indywidualistyczny paradygmat dobrobytu bazuje na funkcjach użyteczności dochodu pojedynczej osoby, a jego podstawę stanowi teoria zachowań konsumenta. W tym rozdziale przedstawiono pomiar dobrobytu za pomocą nadwyżki konsumenta oraz indeksów Konusa, Malmquista i skal ekwiwalentności . Dobrobyt społeczny oblicza się poprzez agregację indywidualnego dobrobytu...
-
Między wspólnotą a biznesem - system rządzenia w przedsiębiorstwie społecznym – studia przypadku
PublikacjaTeoria na temat ładu korporacyjnego zdążyła się już intensywnie rozwinąć w wielu dyscyplinach, lecz w przypadku przedsiębiorstw społecznych istnieje duża luka badawcza. Celem artykułu jest rozpoznanie istotnych elementów systemu rządzenia governance w przedsiębiorstwach społecznych na przykładzie spółdzielni socjalnych oraz identyfikacja wewnętrznych charakterystyk tego systemu. W oparciu o opisową i eksploracyjną analizę przypadku...
-
Nosność dzwigarów pełnosciennych przy zginaniu w swietle teorii klasycznych, norm i nowoczesnych analiz numerycznych
PublikacjaZobrazowano aktualnosc sformułowanego przez Euler'a, ponad 200 lat temu zagadnienia statecznosci w zginanych belkach pełnosciennych wykorzystujac analizy numeryczne MES. Poruszono problematyke dotyczaca nadkrytycznej postaci równowagi srodnika, wyteeniapokrytycznego, projektowania zgodnie z obecnymi standardami EC, oraz wzgledów ekonomicznych (moliwosc rezygnacji z ebra poziomego) w rozwoju współczesnych tendencji technologicznych...
-
Distance paired domination numbers of graphs
PublikacjaW pracy przedstawione są pewne własności liczb k-dominowania parami w grafach. Wykazane jest, że problem decyzyjny liczby k-dominowania parami jest problemem NP-zupełnym nawet dla grafów dwudzielnych. Przedstawione są ograniczenia górne i dolne dla liczby k-dominowania parami w drzewach i scharakteryzowane drzewa, w których te ograniczenia są osiągnięte.
-
Analiza przybliżonego algorytmu dla problemu szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym.
PublikacjaW pracy rozważamy kombinatoryczny problem MERST polegający na szukaniu, dla danego grafu, drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym. Dla ogólnych grafów problem MERST jest NP-trudny. W pracy zaproponowano nową funkcję dobroci dla pewnego przybliżonego algorytmu rozwiązującego powyższy problem i przeprowadzono doświadczenia komputerowe w celu porównania nowej z wcześniej znaną funkcją dobroci.
-
Modele komórkowe w projektowaniu złożonych systemow miejskich
PublikacjaW artykule przedstawiono ogólne podstawy symulacji rozwoju urbanistycznego w oparciu o modele komórkowe. Nowa teoria, wykorzystująca aparat matematyczny stworzony do badań i modelowania dynamiki układów nieliniowych, rozszerza również możliwości poznawcze i wykorzystanie systemów GIS w szeroko pojmowanym planowaniu przestrzennym. Jej szybki rozwój w ostatnich latach i niezwykłe osiągnięcia w poznaniu procesów rządzących podstawową...
-
Jak transportować produkty chemiczne, czyli przypadek wsadowego szeregowania zadań kompatybilnych
PublikacjaPokazano, że pewien problem transportu produktów chemicznych może być sprowadzony do problemu szeregowania identycznych zadań kompatybilnych na wsadowych maszynach jednorodnych i rozwiązany metodami kolorowania grafów. Ponieważ problem ten jest NP-trudny, zbadano przypadki szczególne, które dają się rozwiązać w czasie kwadratowym. Rozważania ogólne są wsparte doświadczeniami komputerowymi zebranymi w trakcie implementacji wybranych...
-
Zastosowanie programów Mathematica i 20-sim do modelowania i analizy układów o parametrach rozłożonych
PublikacjaCelem pracy jest zaprezentowanie zastosowania pojęcia transmitancji układów o parametrach rozłożonych do konstruowania modalnych grafów wiązań dla układów zawierających jednowymiarowe podukłady o parametrach rozłożonych. Zaprezentowano sposób i efekty zastosowania programów Mathematica (do przygotowania parametrów modeli) i programu 20-Sim (do konstruowania modeli i do symulacji) w procesie modelowania i analizy układów zawierających...
-
Graph decomposition for improving memoryless periodic exploration
PublikacjaW ostatnich latach często badanym problem jest eksploracja anonimowych grafów z lokalnymi etykietami portów przy każdym wierzchołku. Niedawno pokazano [Czyzowicz et al., Proc. SIROCCO'09], że dla każdego grafu istnieje poetykietowanie prowadzące do eksploracji przez automat bezpamięciowy z okresem co najwyżej 13n/3. W niniejszej pracy poprawiamy to ograniczenie do 4n-2, stosując całkowicie nową technikę dekompozycji grafu.
-
Euler tour lock-in problem in the rotor-router model
PublikacjaW pracy rozważano model eksploracji grafu nieskierowanego przez pojedynczego agenta, w którym sterowanie agentem odbywa się zgodnie z zasadą ''rotor-router'' (inaczej: ''Propp machine''). Porównano czas stabilizacji agenta do trajektorii w postaci cyklu Eulera dla różnych klas grafów, prowadząc rozważania w kontekście teorii gier. Przydział początkowych portów i wskaźników w modelu jest traktowany jako rozgrywka pomiędzy graczem...
-
Wykorzystanie teorii ograniczeń do realizacji zasad koncepcji Lean
PublikacjaZłożone i dynamiczne otoczenie wymaga nieustannych zmian i doskonalenia działalności organizacji oraz rekonfiguracji procesów realizowanych w sieciach organizacji. Przed organizacjami stawiane są liczne wyzwania. Wymagania rynku powodują, że za pożądane metacechy organizacji można uznać elastyczność, jakość oraz innowacyjność. Ponadto wewnętrzne naciski na poprawę efektywności funkcjonowania organizacji wymagają ograniczania kosztów...
-
Packing [1,Delta]-factors in graphs of small degree
PublikacjaRozważano problem znalezienia w grafie zadanej liczby k krawędziowo rozłącznych [1,Delta]-faktorów, gdzie Delta oznacza stopień grafu. Problem ten można rozwiązać w czasie liniowym dla k=2, jest on jednak NP-trudny dla każdego k>=3. Pokazano, że wariant minimalizacjny problemu dla k=2 jest NP-trudny dla grafów planarnych podkubicznych, jednak w ogólności istnieje algorytm (42 Delta - 30) / (35 Delta - 21) - aproksymacyjny.
-
Modele typu ''czarna skrzynka'' elektrycznych elementów napędu hybrydowego
PublikacjaOpisano opracowany przy zastosowaniu grafów wiązań (GW) i równań stanu (RS) model pojazdu hybrydowego. Uzasadniono potrzebę stworzenia uproszczonych modeli maszyn elektrycznych i akumulatora elektrochemicznego i przedstawiono koncepcję modelu w postaci "czarnej skrzynki", w którym uwzględniono jedynie związki między parametrami energetycznymi na wejściu i wyjściu elementu. Podano przykłady zastosowania tego podejścia do modelu...
-
Easy and hard instances of arc ranking in directed graphs
PublikacjaArtykuł dotyczy uporządkowanego kolorowania łuków grafów skierowanych. Problem polega na takim przyporządkowaniu liczb łukom digrafu, aby każda skierowana ścieżka łącząca dwa łuki o tej samej liczbie (kolorze) zawierała łuk o kolorze wyższym. Praca podaje liniowy optymalny algorytm dla pewnego szczególnego przypadku, oraz zawiera dowód, iż problem ten jest obliczeniowo trudny dla 3-dzielnych acyklicznych digrafów i stałej liczby...
-
Wyznaczanie sygnału sterowania silnikiem dla zadanych parametrów ruchu pojazdu.
PublikacjaW pracy zaprezentowano model układu napędowego pojazdu w formie grafów wiązań i równań stanu. Przedstawiono również model oporów ruchu pojazdu. Wyszczególniono parametry sterowania pojazdem oraz parametry określające ruch pojazdu. W pracy zawarto schemat wyznaczania parametru sterowania silnikiem, którego uzyskanie dla zadanych parametrów ruchu pojazdu jest niezbędnym elementem badań symulacyjnych i weryfikacyjnych opracowywanych...
-
On the complexity of distributed graph coloring with local minimality constraints
PublikacjaArtykuł traktuje o zachłannym kolorowaniu grafów w modelu rozproszonym. Omówiono algorytmy rozproszone, dające w wyniku pokolorowanie spełniające warunki dla pokolorowań sekwencyjnych typu S oraz Largest-First (LF). Udowodniono również, że każda rozproszona implementacja algorytmu S wymaga co najmniej Omega(log n / log log n) rund, a algorytmu LF co najmniej Omega (n^{1/2}) rund, gdzie n oznacza liczbę wierzchołków grafu.
-
Symulacja pracy mechanizmu prasującego pojazdu do usuwania odpadów z pojemników (PUOP)
PublikacjaW pracy przedstawiono analizę pracy wybranego typu mechanizmu prasującego PUOP oraz wpływ różnych konfiguracji elementów składowych tego urządzenia na energochłonność pracy w warunkach przyjętego cyklu obciążenia. W tym celu wykorzystano model mechanizmu prasującego PUOP w formie grafów wiązań oraz wyniki pomiarów ciśnienia roboczego w siłownikach hydraulicznych mechanizmu prasującego w trakcie jednego pełnego cyklu pracy przeprowadzonych...
-
Różnorodność jako wartość kultury organizacyjnej na przykładzie pięciu największych korporacji transnarodowych świata
PublikacjaW artykule podjęto próbę zobrazowania istoty różnic kultur narodowych dla prowadzenia biznesu międzynarodowego. W części drugiej przedstawiona została ewolucyjna teoria korporacji transnaro-dowych w powiązaniu z modelami zarządzania międzykulturowego. Wysunięto tezę, że jedynie w modelu współpracy kulturowej szczególny nacisk kładzie się na kwestie różnorodności. Jedynie ten model pozwala korporacjom skutecznie działać w warunkach...
-
Wykorzystanie wnioskowania logicznego w planowaniu i sterowaniu produkcją
PublikacjaEfektywną realizację zmain, również w procesie planowania i sterowania produkcją, wspomagają odpowiednie metody i narzędzia. W artykule przedstawiono etapy realizacji pełnej zmiany według Logicznego Wnioskowania, zgodnej z teoria Ograniczeń. Scharakteryzowano też cel i zakres stosowania poszczególnych narzędzi Logicznego Wnioskowania w realizacji zmainy procesu planowania i sterowania produkcją. Artykuł prezentuje ponadto powiązania...
-
Thermodynamically consistent nonlocal theory of ductile damage
PublikacjaPrzedstawiono termodynamicznie zgodną, słabo-nielokalną teorię zniszczenia plastycznego. Wykorzystano klasyczne dynamiczne zasady zachowania pędu i momentu pędu w przestrzeni fizycznej i materialnej. Przyjęto równania konstytutywne i zdefiniowano ich niezmienniczą formę i termodynamicznie dopuszczalną postać. Wykazano, że fizyczne i materialne siły i naprężenia składają się z dwóch części, niedyssypatywnego składnika otrzymanego...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublikacjaW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych - każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublikacjaW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych – każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
program verification strategy and edge ranking of graphs
PublikacjaW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Sztuczne systemy immunologiczne w optymalizacji dyskretnej
PublikacjaSztuczne systemy immunologiczne to modele komputerowe oparte na niektórych właściwościach systemu odpornościowego kręgowców. Znajdują one szereg zastosowań m. in. w optymalizacji dyskretnej. Praca ta przedstawia informacje na temat trzech modeli obliczeniowych inspirowanych funkcjonowaniem układu immunologicznego, ich podstaw biologicznych i moŜliwych zastosowań. Artykuł zawiera opis algorytmu selekcji klonalnej w wersji optymalizacyjnej...