Wyszukiwarka
Filtry
wszystkich: 529
-
Katalog
- Publikacje 301 wyników po odfiltrowaniu
- Czasopisma 8 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 31 wyników po odfiltrowaniu
- Wynalazki 2 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 170 wyników po odfiltrowaniu
- Wydarzenia 7 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: GRAMATYKA GRAFOWA
-
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ą.
-
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.
-
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.
-
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.
-
Grafika Inżynierska I, P, ZiIP sem 01, zimowy 2021/2022 (PG_ 00055730)
Kursy OnlineZakres tematyczny projektów z przedmiotu Grafika Inżynierska I dla studentów kierunku Zarządzanie i Inżynieria Produkcji, I stopień, semestr 01
-
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.
-
Analiza różnych konfiguracji siłowni w aspekcie ekonomicznym i ekologicznym oraz technicznym dla szybkiej jednostki patrolowej. Część I. Założenia projektowe oraz możliwe konfiguracje siłowni
PublikacjaPrzedstawiono analizę możliwych do zastosowania na jednostce patrolowo-inspekcyjnej konfiguracji napędu. Porównano napędy stosowane na tego typu jednostkach pod kątem parametrów technicznych, ekonomicznych i ekologicznych. Analizie tej poddano układy napędowe z silnikami Diesla, turbinami gazowymi oraz układy kombinowane (silnik Diesla i/lub turbina gazowa/silnik Diesla).
-
Grafika inżynierska, PG_00055799
Kursy Online -
Zdolni z Pomorza 2019/20 - Kropki i kreski, czyli grafy i ich zastosowania
Kursy OnlineCel kursu: Celem kursu jest wprowadzanie uczniów w świat grafów i zapoznanie ich z praktycznymi zastosowaniami teorii grafów. Opis kursu: Dawno temu Leonard Euler, jadąc do Petersburga, zatrzymał się po drodze w Królewcu. Tam zainteresował go problem, nad którym, jak wieść niesie, głowili się mieszkańcy tego miasta: czy da się przespacerować po Królewcu tak, aby każdy z jego siedmiu mostów przejść dokładnie raz? Euler podszedł...
-
Mirosław Andrusiewicz prof. dr hab. n. med. i n. o zdr.
OsobyPosiadane dyplomy, stopnie naukowe lub artystyczne ̶ stopień doktora habilitowanego nauk medycznych (dyscyplina biologia medyczna) z dnia 4 grudnia 2017 r. Tytuł osiągnięcia naukowego: „Analiza wybranych genów związanych z przebiegiem zmian patologicznych w komórkach wywodzących się z żeńskich wewnętrznych narządów płciowych”; Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Lekarski II; recenzenci: Prof....
-
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.
-
Założenia metodyczne i rozwiązania warsztatowe multimedialnego skryptu do geometrii wykreślnej
PublikacjaMultimedialne techniki przekazu i odbioru informacji odgrywają coraz większą rolę w różnych formach kształcenia. Artykuł porusza zagadnienia związane z konstruowaniem i oceną elektronicznego skryptu do geometrii wykreślnej. Kolejno omówiono cztery fazy tworzenia multimedialnego podręcznika, a mianowicie: przygotowawczą, projektowania, wykonywania materiałów oraz fazę doskonalenia.
-
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.
-
Programowanie dynamiczne w rozwiązywaniu problemów szeregowania zadań w systemach o acyklicznej strukturze
PublikacjaRozważono rozrzedzone systemy niepodzielnych zadań dwuprocesorowych o jednostkowych długościach operacji oraz systemy maszyn dedykowanych (open shop,flow shop, mixed shop) o operacjach zero-jedynkowych. Przedstawiono rodzinę wielomianowych algorytmów opartych na programowaniu dynamicznym, pozwalających na znalezienie optymalnego uszeregowania względem szerokiej rodziny funkcji kryterialnych. Stopień rozrzedzenia systemu zdefiniowano...
-
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.
-
Widzenie komputerowe
Kursy OnlineKurs skierowany dla studentów II stopnia kierunku Matematyka, specjalność Geometria i Grafika Komputerowa. Jego zakres obejmuje metody akwizycji, filtrowania, analizy i rozpoznawania obrazów.
-
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...
-
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...
-
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.
-
Innowacyjność w dziedzinie obróbki drewna. Politechnika Gdańska - wdrożenia na medal
PublikacjaPrzedstawiono szereg opracowań powstałych w Katedrze Technologii Maszyn i Automatyzacji Produkcji na rzecz przemysłu przerobu drewna: pilarka ramowa wielopiłowa, urządzenie do sprawdzania tarcicy w sposób ciagły, program symulacji pracy traka, wizyjny kontroler ostrzy pił oraz system identyfikacji zarysu poprzecznego koła pilarki taśmowej. Część z tych opracowań była wyróżniona na międzynarodowych targach wynalazków złotymi i srebrnymi...
-
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...
-
Grafika Inżynierska II, niestacjonarne
Kursy Online -
Grafika Inżynierska 2018/19
Kursy OnlineKurs łączy w sobie elementy kształcenia tradycyjnego z e-nauczaniem. Przeznaczony jest dla studentów kierunku GOSPODARKA PRZESTRZENNA, semestr 1, studia inżynierskie I stopnia. Celem nauczania jest zdobycie przez studentów wiedzy i umiejętności z zakresu graficznej prezentacji obiektów 3D na płaszczyźnie i umiejętności sprawnego odczytania rzutów.
-
Grafika Inżynierska 2019/20
Kursy OnlineKurs łączy w sobie elementy kształcenia tradycyjnego z e-nauczaniem. Przeznaczony jest dla studentów kierunku GOSPODARKA PRZESTRZENNA, semestr 1, studia inżynierskie I stopnia. Celem nauczania jest zdobycie przez studentów wiedzy i umiejętności z zakresu graficznej prezentacji obiektów 3D na płaszczyźnie i umiejętności sprawnego odczytania rzutów.
-
GRAFIKA INŻYNIERSKA (Ch) - WYKŁAD
Kursy OnlineKuras grafiki inżynierskiej - część wykładowa Student po ukończeniu kursu powinien znać środowisko rysunkowe Autodesk Inventor, umieć samodzielnie wykonywać rysunki techniczne (np. maszynowe, schematy (technologiczne) instalacji stosowanych w technologii chemicznej). Docelowym efektem kształcenia jest nabycie przez studenta umiejętności wystarczających dla praktycznego czytania i wykonywania rysunków technicznych z wykorzystaniem...
-
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.
-
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.
-
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...
-
Zastosowanie chromatografii gazowej w analityce technicznej do charakterystyki ksylenu technicznego na potrzeby rejestracji w systemie REACH
PublikacjaW pracy przedstawiono metodykę badań ksylenu technicznego w celu jego charakterystyki zgodnie z wymaganiami rejestracyjnych systemu REACH. W badaniach zastosowano technikę chromatografii gazowej z detektorem płomieniowo-jonizacyjnym (GC-FID) oraz w sprzężeniu ze spektrometrią mas (GC-MS) Chromatografia gazowa umożliwia wykonanie dwóch fundamentalnych oznaczeń tego typu mieszaniny – tzn. zbadania czystości mieszaniny oraz identyfikacji...
-
Gas chromatography-olfactometry of alcoholic beverages
PublikacjaW rozdziale 5 książki przedstawiono zastosowanie techniki chromatografia gazowa-olfaktometria (GC-O)w ustalaniu zależności między zapachem a składem chemicznym lotnej frakcji napojów alkoholowych. W pierwszej części przedstawiono zasadę techniki GC-O, procedury przygotowania próbek do analizy, metody zbierania danych oraz warunki analizy. Następnie omówiono zastosowanie techniki GC-O w analizie i ocenie jakości różnych napojów...
-
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...
-
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...
-
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ą...
-
Aromagrams - aromatic profiles in the appreciation of food quality
PublikacjaW ostatnich latach obserwuje się coraz powszechniejsze stosowanie analizy instrumentalnej do oceny jakości organoleptycznej produktów spożywczych. Nowe podejście polega na tworzeniu profili zapachowych, swego rodzaju "aromagramów" charakterystycznych dla danego produktu. Do najczęściej stosowanych technik pozwalających na tworzenie i rozpoznawanie "aromagramów" należą techniki chromatograficzne, w szczególności chromatografia gazowa...
-
Kompleksowy model nowej generacji układu chłodzenia silnika spalinowego
PublikacjaPrzedstawiono tendencje w konstrukcji układów chłodzenia i dostępne komercyjne metody modelowania pracy układu chłodzenia. Przeprowadzono obliczenia symulacyjne temperatury cieczy komercyjnym programem komputerowym AmeSIM i porównano wyniki z pomiarami wykonanymi na hamowni podwoziowej. Opisano wybrane procesy wymiany ciepła występujące w układach chłodzenia. Przedstawiono ogólny model elementu cieplnego w postaci grafów wiązań...
-
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...
-
Model chłodnicy płytowej pracującej w układzie chłodzenia samochodowego silnika spalinowego
PublikacjaW artykule przedstawiono zastosowanie chłodnic płytowych w nowoczesnych układach chłodzenia silników spalinowych. uzasadniono potrzebę budowy modelu chłodnicy pozwalającego na przeprowadzenie badań symulacyjnych w nieustalonych warunkach pracy silnika samochodowego. Jako metodę modelowania przyjęto metodę grafów wiązań i równań stanu. Przyjęta metoda pozwala na powiązanie modelu chłodnicy z elementami systemu energetycznego silnik-pojazd,...
-
Metoda georadarowa w diagnostyce betonowych obiektów mostowych wzdłuż linii Pomorskiej Kolei Metropolitalnej w Gdańsku
PublikacjaW pracy przedstawiono badania doświadczalne metodą georadarową betonowych obiektów mostowych wzdłuż nowopowstałej linii Pomorskiej Kolei Metropolitalnej (PKM) w Gdańsku. Przedmiotem badań był wiadukt drogowy, ramowo łukowa oraz ramowa kładka dla pieszych. Pomiary wykonano za pomocą zestawu georadarowego Alladin z anteną o częstotliwości emitowanej fali równej 2 GHz. W artykule opisano także podstawy teoretyczne metody georadarowej...
-
Szkoła letnia na WETI
WydarzeniaKatedra Algorytmów i Modelowania Systemów WETI organizuje szkołę letnią pt.: "Gdansk Summer School of Advanced Science on Algorithms for Discrete Optimization" dla osób zainteresowanych algorytmiką i teorią grafów.
-
Zakres sprawiedliwości dystrybutywnej w Polsce.
PublikacjaW rozdziale tym przedstawiono wyniki badań empirycznych sprawiedliwości dystrybutywnej i redystrybutywnej w Polsce. Zakres sprawiedliwości dystrybutywnej (w fazie dystrybucji) zilustrowano na przykładzie nierówności płacowych w latach 1992-1999. Podjęto też próbę oceny zakresu dyskryminacji płacowej z uwagi na płeć oraz segregacji na rynku pracy. Dla oceny sprawiedliwości redystrybutywnej wykorzystano oświadczenia podatkowe z roku...
-
Model of speed-varing rotor for mechatronic systems analysis and design
PublikacjaW artykule przedstawiono sposób modelowania złożonych układów mechatronicznych w oparciu o metodę grafów wiązań. Celem zilustrowania metody posłużono się przykładem liczbowym, w którym rozważano wirnik obracający się ze zmienną prędkością kątową. Prezentowana metodyka doskonale nadaje się do modelowania układów o zróżnicowanej naturze fizycznej. Otrzymany model ma charakter obiektu o pewnej liczbie wejść i wyjść, który można w...
-
Detection of roles of actors in social networks using the properties of actors' neighborhood structure.
PublikacjaArtykuł opisuje metodę identyfikacji ról aktorów sieci społecznej. Metoda ta może być szczególnie przydatna w sieciach społecznych, o których posiadamy ograniczoną wiedzę, głównie zawężoną do lokalnych powiązań pomiędzy aktorami. Przedstawiona w artykule metoda korzysta z grafu relacji społecznych, algorytmu identyfikacji ról oraz zbioru grafów wzorców relacji. Rozwiązanie zostało przetestowane w społeczności użytkowników serwisu...
-
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...
-
Badania agregacji imidazoliowych cieczy jonowych w wodzie w odniesieniu do zastosowań w technologii chemicznej
PublikacjaPrzedmiotem pracy była charakterystyka agregacji imidazoliowych cieczy jonowych w środowisku wodnym, tworzonych struktur oraz wpływu wybranych czynników na agregację. Badania objęły zróżnicowane strukturalnie związki, będące kombinacją kationu 1-alkilo-3-metyloimidazoliowego (n = 4-18) oraz różnych anionów. W badaniach wykorzystano metody badawcze fizykochemii powierzchni, pozwalające na oszacowanie oddziaływań powierzchniowych...
-
New procedure of silica gel surface modification. Preparation of gaseousstandard mixtures for calibration purposes.
PublikacjaPrzedstawiono nową procedurę modyfikacji powierzchni żelu krzemionkowego z wykorzystaniem trimetyloaminy jako odczynnika. Próbki chemiczne modyfikowanego nośnika zostały wykorzystane do sporządzenia gazowych mieszanin wzorcowych (chlorek metylu jako składnik mierzony) techniką termicznego rozkładu związków powierzchniowych. Głównym celem badań było sprawdzenia przydatności nowej procedury modyfikacji powierzchni żelu do...
-
New procedure of silica gel surface modification-preparation of gaseous standard mixtures of methyl chloride using the technique of thermal decomposition of the surface compound for calibration of a TD-GC-FID system.
PublikacjaPrzedstawiono nową procedurę modyfikacji powierzchni żelu krzemionkowego w celu wytworzenia związku powierzchniowego będącego źródłem chlorku metylu. Minimalna temperatura rozkładu (150 st. C) zapewnia trwałość chemicznie modyfikowanego złoża w temp. pokojowej. Badania prowadzono w temperaturze optymalnej (280 st.C). Stwierdzono, że powierzchnia żelu jest obsadzona jednorodnie przez związek powierzchniowy i gazowa mieszanina wzorcowa...