Wyniki wyszukiwania dla: ZBIÓR CYKLI FUNDAMENTALNYCH
-
Paremetrization of sounds for recognizing hazarodus events
PublikacjaNowoczesne systemy monitoringu działają na zasadzie automatycznego wykrywania niebezpiecznych zdarzeń na podstawie analizy obrazu z kamer i dźwięku z mikrofonów. W niniejszej publikacji skupiono się na pierwszym etapie rozpoznawania zdarzeń dźwiękowych, jakim jest parametryzacja dźwięku. Podstawą do skutecznego działania systemu jest znalezienie parametrów, których zmienność najlepiej odzwierciedla cechy charakterystyczne dźwięku...
-
On-line measurement of cell impedance during charging and discharging process
PublikacjaW pracy przedstawiono założenia metody pomiaru impedancji, która w przeciwieństwie do dotychczasowych technik impedancyjnych stosowanych w badaniach ogniw, umożliwia pracę on-line. W celu zaprezentowania możliwości metody wykonano eksperyment polegający na cyklicznym ładowaniu i rozładowywaniu elektrody ołowianej w 4.8M H2SO4 z jednoczesnym pomiarem impedancji. Zmiany parametrów elektrycznych otrzymanych w wyniku analizy widm impedancyjnych...
-
Kinetyka formowania się tlenku miedzi(I) na elektrodzie Cu w oparciu o badania impedancyjne
PublikacjaWykorzystano technikę Dynamicznej Elektrochemicznej Spektroskopii Impedancyjnej (DEIS) do wyznaczenia chwilowych widm impedancyjnych w zakresie potencjałów formowania się warstwy pasywnej tlenku miedzi (I) w roztworze 0.1M NaOH. Autorzy skupili się na określeniu charakteru zmian parametrów impedancyjnych towarzyszących powstawaniu monowarstwy Cu-OHads. Do analizy zastosowano elektryczny obwód zastępczy R(CR)(COR). Zmiany tych parametrów...
-
Metoda określania spawalniczych pól temperatur.Krajowa Naukowo-Techniczna Konferencja Spawalnicza ''Postęp i innowacje w spawalnictwie''.
PublikacjaPrzedstawiono opracowanie i weryfikację modelu wykorzystującego metodę bilansów elementarnych (MBE), w układzie przestrzennym z ruchomą siatką, niestacjonarnych zagadnień przepływu ciepła w płycie podczas spawania. Zakres pracy obejmuje, analizę i wykonanie obliczeń cykli cieplnych na przykładzie napawania i spawania. Weryfikację i modyfikację opracowanych modeli dokonano w oparciu o istniejące wyniki badań doświadczalnych. Pokazano...
-
Sieć dostępowa jako element zarządzanej sieci telekomunikacyjnej
PublikacjaPrzedstawiono spojrzenie na sieć dostępową jako zarządzany przez TMN element sieci telekomunikacyjnej. Określono usługi i funkcje zarządzania siecią dostępową należące do warstwy zarządzania elementami sieci. Przedstawiono zbiór funkcji zarządzania realizowanych w instalowanych w polskiej sieci telekomunikacyjnej systemach dostępowych.
-
Strong mixing Markov semigroups on C1 are meager
PublikacjaDowodzi się, że zbiór tych półgrup operatorów Markowa na klasie Schattena C1, dla których w mocnej topologii operatorowej T(t) jest zbieżne do operatora Markowa Q, gdzie Q jest 1-wymiarową projekcją, jest zbiorem rzadkim w zbiorze wszystkich półgrup Markowa.
-
Przeobrażenia architektury - adaptacje, modernizacje, rehabilitacje
PublikacjaPraca jest zbiorem i analizą najnowszych efektów działań projektowych i realizacyjnych w dziedzinie adaptacji z jednoczesną próbą wyodrębnienia występujących określonych kierunkow tych działań.W pracy przedstawiono zbiór charakterystycznych dla danej dziedziny przykładów rozwiązań, opatrzonych krytycznym komentarzem, uzupełnionych o własne działania badawcze i projektowo-realizacyjne.
-
Marek Kowalewski dr
Osoby -
Podstawy technologii selektywnego spiekania laserowego proszków polimerowych – SLS
PublikacjaW pracy zaprezentowano zbiór informacji oraz praktycznych wskazówek związanych z drukowaniem elementów metodą selektywnego spiekania laserowego proszków polimerowych – SLS. Zawarte treści dotyczą omówienia zasady działania, charakterystyki poszczególnych czynników procesu oraz powszechnie stosowanych materiałów. Przedstawiono ponadto najważniejsze korzyści i ograniczenia związane z wykorzystaniem metody SLS.
-
Podstawowe motywy współczesnego wychodźstwa polskiego.
PublikacjaW artykule dokonano analizy przyczyn wychodzstwa polskiego z lat 80-tych i 90-tych XX w. Podkreślano , ze we współczesnym wychodźstwie nie decyduje jeden wyizolowany czynnik ale ich zbiór ( przyczyny polityczne , psychologiczne , ekonomiczne , prawne , społeczne i kulturowo-cywilizacyjne). Czynniki te nakładają sie na siebie.
-
Effect of environmental temperature variations on protective properties of organic coatings
PublikacjaW oparciu o model rozwoju naprężeń oraz niszczenia kumulatywnego przedyskutowano wpływ zmiennych temperatur środowiska na mechaniczną spójność i własności ochronne systemów powłokowych. Badano wpływ cykli temperaturowych pomiędzy 20 i 55 st. C oraz między -20 i 20 st. C na trwałość różnych powłokowych systemów malarskich na stali. Stosując technikę spektroskopii impedancyjnej monitorowano zmiany parametrów powłok poddanych cyklom...
-
Evolutionary approach to solving multi-ship encounter situations
PublikacjaW artykule wprowadzono nowe podejście do rozwiązywania sytuacji spotkań wielu statków poprzez połączenie założeń teorii gier z programowaniem ewolucyjnym. Spotkanie wielu statków jest zamodelowane jako gra rozgrywana przez ''myślących graczy'' - statki o różnych, potencjalnie zmiennych strategiach. Rozwiązanie - zbiór kooperujących (niekolidujących) trajektorii jest znajdowane za pomocą algorytmu ewolucyjnego.
-
Niezawodność siłowni biogazowych z silnikami spalinowymi
PublikacjaW artykule przedstawiono problematykę określania ryzyka i niezawodności siłowni kogeneracyjnych z tłokowymi silnikami spalinowymi zasilanymi biogazem. Opisano podstawową teorię, metody i zastosowanie oceny niezawodności i ryzyka w obiektach przemysłowych. Zaprezentowano przykładowy zbiór danych statystycznych dla silników spalinowych oraz zaproponowano stworzenie bazy danych niezawodnościowych dla silników zasilanych biogazem.
-
Metody oznaczania pestycydów w pyle zawieszonym.
PublikacjaPył PM (particulate matter) jest jednym z potencjalnych zagrożeń zdrowia wywołanych zanieczyszczeniem powietrza. Zwłaszcza pył respirabilny, inaczej frakcja PM10 (frakcja pyłów o średnicy cząstek mniejszej niż 10 µm), jest uważana za specyficzny rodzaj zanieczyszczeń, ponieważ ten zbiór cząstek może penetrować do obszaru wymiany gazowej w płucach.
-
Wnioskowanie z różnych źródeł osobników w systemie RKaSeA
PublikacjaNiniejszy artykuł prezentuje koncepcję zarządzania wiedzą asercjonalną zastosowaną w systemie zarządzania wiedzą RKaSeA. Koncepcja ta traktuje opis świata jako zbiór osobników. Dzięki temu udało się objąć nią również mechanizmy obsługi reguł oraz mechanizm pozyskiwania wiedzy z zewnętrznych źródeł danych. Mechanizmy te sa traktowane jako dodatkowe typy źródeł osobników.
-
Właściwości i spawalność dwufazowych stali odpornych na korozję typu duplex = Mechanical properties and weldability of duplex stainless steels
PublikacjaW artykule scharakteryzowano nowoczesne stale odporne na korozję o strukturze ferrytyczno- austenitycznej typu duplex podając ich skład chemiczny, strukturę, właściwości mechaniczne i odporność korozyjną. Przedstawiono podstawowe problemy, które mogą wystąpić podczas spawania tego typu stali. Omówiono przemiany fazowe w strukturze stali zachodzące pod wpływem obróbki cieplnej i cieplnych cykli spawania oraz ich wpływ na właściwości...
-
Planning and simulation studies of cellular-type manufacturing processes
PublikacjaZaproponowano metodę i algorytmy projektowania struktur organizacyjnych systemów wytwarzania typu gniazdowego, z wykorzystaniem zdefiniowanych modeli zapisu wiedzy technologicznej i zasad grupowej obróbki przedmiotów. Wyznaczono wskaźniki efektywności procesu grupowego przebiegającego w systemach gniazdowych z rozmieszczeniem komórkowym oraz funkcjonalnym stanowisk wg przyjętych formuł analitycznych. Zawarto wyniki zrealizowanych...
-
Process control strategy deployment with part measuring activity in a flexible machining cell
PublikacjaRozwinięto zintegrowany model planowania i sterowania przebiegu procesu w rzeczywistym, zrobotyzowanym elastycznym gnieździe obróbki (EGO) ze współrzędnościową maszyną pomiarową, realizującą funkcje pomiarowo-kontrolne wytwarzanych przedmiotów. Analizowano współzależności wybranych heurystycznych planów kontroli przedmiotów oraz strategii szeregowania operacji procesów technologicznych, z zastosowaniem programowalnych modeli symulacyjnych...
-
Zarządzanie projektem innowacyjnym
PublikacjaW poniższym rozdziale autorka prezentuje cykl życia projektu innowacyjnego, dzieląc go na cztery główne fazy: rozpoczęcia, planowania i organizowania, wykonawstwa i zakończenia, a następnie na mniejsze działania zawarte w każdej z tych faz. Dodatkowo autorka przedstawia zbiór wykorzystywanych metod i narzędzi oraz rezultaty podejmowanych prac w każdym z opisanych etapów realizacji projektu.
-
Automatyzacja zarządzania zdarzeniami drogowymi
PublikacjaZarządzanie zdarzeniami drogowymi obejmuje zbiór zadań planistycznych, organizacyjnych i operacyjnych, które mają na celu podjęcie skutecznych działań w przypadku wystąpienia kolizji, wypadków lub innych nieprzewidzianych zdarzeń w ruchu drogowym. Wykorzystanie środków telematyki transportu pozwala na usprawnienie działań operacyjnych oraz stwarza możliwości gromadzenia informacji, które mogą posłużyć udoskonaleniu procesów planistycznych...
-
Reprezentacja map procesów biznesowych Rummlera-Brache'a w języku PMDL na potrzeby agentów monitorujących proces wytwórczy.
PublikacjaW artykule przedstawiono zastosowanie technologii Web Farming do procesów zarządzania projektami informatycznymi w firmie komputerowej. Proces wytwórczy definiowany jest w formie hierarchicznego zbioru procesów biznesowych opisywanych zgodnie z formalizmemzaproponowanym przez Rummlera-Brache'a. Zbiór ten odwzorowany jest na zapis w języku PMDL, z którego generowany jest kod agentów monitorujących proces wytwórczy.
-
Anita Zgorzelska dr inż.
Osoby -
Description of the solution set of the von Karman equations for a circular plate in a small neighbourhood of a simple bifurcation point
PublikacjaW niniejszej pracy badamy równania von Karmana dla cienkiej, sprężystej, kołowej płyty na sprężystym podłożu, poddawanej działaniu sił ściskających wzdłuż brzegu. Są to równania różniczkowe cząstkowe IV rzędu. Stosując metody analizy nieliniowej, opisujemy zbiór rozwiązań równań von Karmana w małym otoczeniu jednokrotnego punktu bifurkacji.Badania były finansowane przez grant nr 1 P03A 042 29.
-
Konkurencja monopsonistyczna na rynkach pracy a agregatowy model płac na przykładzie gospodarki polskiej
PublikacjaW pierwszej części artykułu przedstawiono koncepcję funkcjonowania przedsiębiorstw w warunkach konkurencji monopsonistycznej na rynkach pracy. Uznano, iż każde z funkcjonujących w gospodarce przedsiębiorstw kształtuje poziom zatrudnienia i płac na podstawie indywidualnych funkcji podaży pracy oraz własnych możliwości produkcyjnych. Przy tych założeniach poziom płac w każdym z przedsiębiorstw kształtowany jest przez zbiór czynników...
-
Generating fractal tiles using Voronoi diagrams
PublikacjaPraca opisuje szczególną klasę podziałów powierzchni n-wymiarowego torusa na komórki o fraktalnym brzegu. Zbiór komórek przejawia nietypowe własności samopodobieństwa, może zostać użyty do wypełnienia przestrzeni R^n w sposób periodyczny lub aperiodyczny ze zmienną gęstością podziałów. Zaproponowany został algorytm do generowania takich podziałów używając diagramów Woronoja. Opisana metoda może mieć zastosowania w grafice komputerowej.
-
Analiza systemów współpracy Gatekeeperów.
PublikacjaReferat obejmuje zagadnienia związane z zapewnieniem współpracy pomiędzy gatekeeperami pracującymi w systemie VoIP działającym w oparciu o zbiór zaleceń ITU-T H.323. Zaprezentowano podstawowe topologie pracy gatekeeperów. Uwzględniono omówienie pojęć związanych z alternatywnymi gatekeeperami. Przedstawiono wykorzystywaną implementację gatekeepera, modele laboratoryjne i przyjęte scenariusze. Omówiono wyniki badań i dalsze prace...
-
A note on compact and compact circular edge-colorings of graphs
PublikacjaW pracy rozważamy dwa warianty kolorowania krawędzi grafów prostych i ważonych, mianowicie kolorowania zwarte oraz zwarte cyrkularne. Rozważamy relacje pomiędzy nimi. Dowodzimy, że każdy zewnętrznie planarny graf dwudzielny posiada zwarte pokolorowanie krawędziowe oraz, że problem ten dla grafów ogólnych jest NP-zupełny. Podajemy również wielomianowy 1.5-przybliżony algorytm oraz pseudowielomianowy dokładny algorytm zwartego cyrkularnego...
-
Niskomocowy komparator z zatrzaskiem przeznaczony do cyfrowego przetwornika obrazu CMOS
PublikacjaW artykule zaproponowano realizację analogowego niskomocowego komparatora z zatrzaskiem przeznaczonego do cyfrowego piksela CMOS. Komparator zaprojektowano w technologii 0,35 μm CMOS. Układ zoptymalizowano pod kątem obniżenia poboru mocy ze źródła zasilającego i powierzchni topografii. W projekcie zastosowano techniki redukcji poboru mocy statycznej i dynamicznej. Komparator przebadano symulacyjnie w układzie cyfrowego piksela...
-
Niskomocowy komparator z zatrzaskiem przeznaczony do cyfrowego przetwornika obrazu CMOS
PublikacjaW artykule zaproponowano realizację analogowego niskomocowego komparatora z zatrzaskiem przeznaczonego do cyfrowego piksela CMOS. Komparator zaprojektowano w technologii 0,35 μm CMOS. Układ zoptymalizowano pod kątem obniżenia poboru mocy ze źródła zasilającego i powierzchni topografii. W projekcie zastosowano techniki redukcji poboru mocy statycznej i dynamicznej. Komparator przebadano symulacyjnie w układzie cyfrowego piksela...
-
Komputerowa weryfikacja układów cyfrowych CMOS utworzonych z podukładów zasilanych ze źródeł o różnych wartościach napięcia
PublikacjaW pracy zaprezentowano wyniki komputerowej weryfikacji cyfrowego układu CMOS utworzonego z klastrów, z których każdy jest zasilany odpowiednio malejącymi wartościami napięć. Zbiór klastrów został utworzony przy pomocy algorytmu ECA (Evolutionary Clustering Algorithm) dla potrzeb redukcji mocy pobieranej ze źródła zasilającego. Otrzymane rozwiązanie, charakteryzujące się zmniejszeniem zapotrzebowania na moc, nie powoduje pogorszenia...
-
Algorytmy rozpoznawania zmian chorobowych
PublikacjaW pracy przedstawiono, opisano i porównano pod wzgledem skutecznosci wybrane algorytmy rozpoznawania chorób w filmach endoskopowych, zaimplementowane w ramach aplikacji Wspomagania Badan Medycznych. Dokonano oceny algorytmów w zaawansowanym srodowisku testowym, zbudowanym w oparciu o duzy zbiór obrazów z filmów endoskopowych, pozyskanych we współpracy z Gdanskim Uniwersytetem Medycznym. Jednoczesnie zaprezentowano sposób optymalizacji...
-
Wyznaczanie czasów stygnięcia przy spawaniu pod wodą metodą lokalnej komory suchej
PublikacjaPrzedmiotem pracy było wyznaczenie zależności empirycznej umożliwiającej obliczanie czasu stygnięcia w zakresie 800-500° C przy spawaniu pod wodą metodą lokalnej komory suchej. Problem rozwiązano przy zastosowaniu teorii planowania badań. Określono ilościowy wpływ warunków spawania: grubości elementów spawanych oraz energii liniowej spawania na czas stygniecia w zakresie temperatur 800-500°C. Równania otrzymane na drodze analiz...
-
Wpływ niszczącego oddziaływania wody i mrozu na trwałość zmęczeniową betonu asfaltowego
PublikacjaArtykuł przedstawia badania zmęczeniowe betonu asfaltowego poddanego niszczącemu oddziaływaniu wody i mrozu. Laboratoryjną symulację oddziaływania wody i mrozu oparto na oryginalnej i zmodyfikowanej procedurze normy AASHTO T283. Modyfikacja procedury polegała na wprowadzeniu zamiast 1 cyklu zamrażania i odmrażania 50 i 150 cykli. Badania zmęczeniowe betonu asfaltowego wykonano w aparacie NAT w schemacie pośredniego rozciągania....
-
Total outer-connected domination numbers of trees
PublikacjaNiech G=(V,E) będzie grafem bez wierzchołków izolowanych. Zbiór wierzchołków D nazywamy zbiorem dominującym totalnym zewnętrznie spójnym jeżli każdy wierzchołek grafu ma sąsiada w D oraz podgraf indukowany przez V-D jest grafem spójnym. Moc najmniejszego zbioru D o takich własnościach nazywamy liczbą dominowania totalnego zewnątrznie spójnego. Praca m.in. zawiera dolne ograniczenie na liczbę dominowania totalnego zewnętrznie spójnego...
-
Analysis of Mapping within S-module Framework
PublikacjaW artykule zaprezentowano wyniki prac na podejściem konglomeratowym. Podejście to polega na semantycznym opisywaniu zawartości modułów ontologicznych z wykorzystaniem zdefiniowanej algebry modułów. Głównym osiągnięciem zaprezentowanym w pracy jest opis procesu przekształcania bazy wiedzy DDL w zbiór konglomeratów. Jako że te dwie metody prezentują różne podejścia do modularyzacja, analiza procesu stanowi podstawę do dyskusji na...
-
Thermally stimulated currents in disordered solids at step heating
PublikacjaW pracy podano rezultaty badań teoretycznych prądów termicznie stymulowanych (TSC) w nieuporządkowanych ciałach stałych, wywołanych krokowym ogrzewaniem próbki. Rozszerzono metodę Gobrechta-Hofmanna analizy TSC na przypadek znaczącego powtórnego pułapkowania nośników. Rozpatrzono TSC mierzone w próbkach o konfiguracji koplanarnej i kanapkowej. Głównymi czynnikami ograniczającymi TSC są wówczas odpowiednio: rekombinacja monomolekularna...
-
Podnoszenie skuteczności procesu produkcyjnego w warunkach rosnącej indywidualizacji produktów
Publikacjaw opracowaniu przedstawiono wpływ rosnącej różnorodności produktów na skuteczność pro-cesu produkcyjnego. w prowadzonych analizach różnorodności produktów potraktowano, jako zakłócenie i zastosowano elementy klasycznej teorii sterowania do wypracowania rozwiązań minimalizujących negatywne konsekwencje różnorodności produktów na skuteczny przebieg procesu produkcyjnego. omówiono podstawowe elementy teorii sterowania wykorzystane...
-
Model of the hydraulic pump powertrain of refuse collection vehicle compaction mechanism
PublikacjaW pracy przedstawiono symulację pracy układu napędowego pompy hydraulicznej mechanizmu prasującego śmieciarki oraz wpływ różnych konfiguracji elementów składowych tego urządzenia na zużycie paliwa silnika napędowego w warunkach przyjętego cyklu obciążenia. W tym celu wykorzystano model układu napędowego pompy hydraulicznej mechanizmu prasującego śmieciarki w formie grafów wiązań oraz wyniki pomiarów ciśnienia roboczego w siłownikach...
-
Electrochemical activity and characterization of hybrid material consisted of poly(3,4- ethylenedioxythiophene) and silver hexacyanocobaltate
PublikacjaPrac przedstawiono charakterystykę elektrochemiczną oraz powierzchniową materiału hybrydowego składającego się z polimeru przewodzącego, poli(3,4-etylenodioksytiofenu) oraz nieorganicznej sieci typu redoks, heksacyjanokobaltanu srebra. Materiał scharakteryzowano technikami jak AFM, SEM. Skład materiału oznaczono za pomocą mikroanalizy rentgenowskiej EDX. Analiza potwierdziła obecność sieci nieorganicznej w materiale. Proporcja...
-
Application of the theory of energy transformation systems to fatigue assessment of steel elements under multiaxial periodic loading
PublikacjaPraca dotyczy symulacji odporności zmęczeniowej elementów stalowych poddanych wieloosiowym obciążeniom okresowym w zakresie wysokocyklowym. W tym celu zdefiniowano jednoosiowe naprężenie sinusoidalne, równoważne w sensie trwałości zmęczeniowej materiału naprężeniu aktualnemu gdy każda jego kartezjańska składowa jest dana w postaci szeregu Fouriera. Warunki równoważności wynikają z teorii systemów transformacji energii i wiążą się...
-
Cyclic mechanical stress impact on protective properties of organic coatings
PublikacjaCelem pracy jest zaprezentowanie wyników badań wpływu cyklicznych naprężeń mechanicznych na układy powłoka/metal. Powtarzające się naprężenia mechaniczne zostały zidentyfikowane jako czynnik w znaczącym stopniu przyczyniający się do degradacji powłok. Próbki składające się z powłoki epoksydowej nałożonej na stal St3SAl poddano serii 21000 cykli naprężenie-odpuszczenie. Badania przeprowadzono w zakresie odkształceń elastycznych...
-
Rozwojowa koncepcja formułowania strategii.
PublikacjaNaczelne kierownictwo przedsiębiorstwa nie wykorzysta właściwie planowania strategicznego, jeżeli w jego sposobie myślenia nie pojawi się ponad strategiczna perspektywa czasowa w stosunku do otoczenia i przedsiębiorstwa, będąca wielokrotnością cyklu planistycznego. Rozszerzony w ten sposób horyzont myślenia strategicznego o przyszłości przynosi systemowe , wieloaspektowe widzenie problemów. Uwzględnianie ich w decydowaniu, czyni...
-
Jakość i efekty kształcenia, a kolejne etapy procesu Bolońskiego
PublikacjaKraje uczestniczące w procesie bolońskim od lat poszukują fundamentalnych wartości i dobrych praktyk związanych z jakością kształcenia. Zapewnienie jakości w szkolnictwie wyższym nie jest problemem wyłącznie europejskim. Na całym świecie obserwuje się coraz większe zainteresowanie tą tematyką, co jest odzwierciedleniem zarówno gwałtownego rozwoju szkolnictwa wyższego, jak i związanych z nim kosztów jakimi obciążone jest z tego...
-
SUBIEKTYWNA OCENA MULTIPLEKSU RADIOFONII LOKALNEJ DAB+ DZIAŁAJĄCEJ W GDAŃSKU I WROCŁAWIU
PublikacjaStandard DAB+ (Digital Audio Broadcasting plus) jest wiodącym systemem naziemnej radiofonii cyfrowej. W porównaniu do analogowej radiofonii FM wszystkie usługi, obejmujące tradycyjne programy radiowe oraz usługi transmisji danych, grupowane są w zbiór (ensemble). Praca ta przedstawia proces rekonfiguracji polskiego multipleksu na przykładzie lokalnej radiofonii DAB+ w Gdańsku i Wrocławiu. Opisuje wyniki badań subiektywnych dotyczących...
-
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...
-
Podniesienie sprawności konwersji energii biomasy poprzez termiczno-chemiczną pirolizę w biopaliwa ciekle i gazowe
PublikacjaProduktem termicznego rozkładu biomasy jest biowęgiel, biopaliwa ciekłe i palny gaz (wodny, generatorowy). Dzięki zwiększonej gęstości energii w tych przetworzonych biopaliwach ich transport, magazynowanie i dalsze przetwarzanie jest ekonomicznie i ekologicznie bardziej opłacalne, niż surowej biomasy, która jest lekka i ma małą kaloryczność. Zaprezentowane w niniejszym opracowaniu metody przetwarzania biomasy w energię użyteczną...
-
Wykorzystanie taksonomii do integracji danych w zasobach Internetu
PublikacjaRozproszony zbiór danych internetowych można zintegrować i efektywnie zorganizować wykorzystując możliwości usług sieciowych i taksonomii. W artykule przedstawiono wyniki pomiarów nakładu pracy niezbędnej do budowy usług sieciowych publikujących zorganizowane zbiory danych. Omówiono zasady ręcznej i automatycznej budowy taksonomii. Przeanalizowano problemy optymalizacji takiej struktury oraz korzyści z kolorowania nazw wyróżnionych...
-
Efektywność metod modelowania systemów z perspektywy psychologii poznawczej.
PublikacjaPsychologiczne dopasowanie metod modelowania systemów i narzędzi CASE do profilu wykonawcy ma istotny wpływ na efektywność pracy rozumianą chociażby jako czas wykonania zadania, ilość wprowadzonych defektów, łatwość pracy,czy też łatwość wykorzystania rezultatów. W referacie zaprezentowano dwa podejścia do oceny metod modelowania z perspektywy poznawczej. W pierwszym podejściu wykorzystano zbiór wymiarów poznawczych, natomiast...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Hiperheurystyki w kolorowaniu grafów
PublikacjaHiperheurystyki to jeden z nowych trendów w technice obliczeniowej. Można je zdefiniować jako algorytmy, które wykorzystują zdefiniowany zbiór prostych heurystyk do znalezienia przybliżonego rozwiązania. Celem algorytmu jest znalezienie takiej sekwencji uruchamiania tych prostych operacji, która będzie dawała najlepsze rozwiązanie dla danej instancji problemu lub danej klasy instancji problemu. W pracy zdefiniowano heurystyki dla...