Filtry
wszystkich: 1232
wybranych: 982
-
Katalog
- Publikacje 982 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Osoby 67 wyników po odfiltrowaniu
- Wynalazki 5 wyników po odfiltrowaniu
- Projekty 19 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 63 wyników po odfiltrowaniu
- Wydarzenia 19 wyników po odfiltrowaniu
- Dane Badawcze 68 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: PRZESZUKIWANIE GRAFÓW
-
Static and dynamic approach of social roles identification using PISNA and subgraphs matching
PublikacjaIdentyfikacja ról w sieci społecznej jest jednym z podstawowych zagadnień analiza takich sieci. W artykule przedstawiamy nowe podejście do tego zagadnienia. Pokazujemy w jaki sposób można dokonać identyfikacji ról poprzez tworzenie specjalnych struktur grafowych tzw. grafów wzorcowych. Przy definiowaniu tychże grafów wspieramy się metodą PISNA. Proponujemy statyczne i dynamiczne podejście do identyfikacji ról. Pokazujemy, w jaki...
-
Optimal and safe control planning with the use of discrete optimization
PublikacjaW opracowaniu zaproponowano metodę projektowania optymalnych i tolerujących uszkodzenia systemów sterowania opartych na wykorzystaniu algorytmów optymalizacji dyskretnej. Publikacja przedstawia potencjalne wady i zalety metody. Główna idea proponowanego algorytmu sprowadza się do wykorzystania struktury grafu przepływowego w celu stworzenia reprezentacji dynamiki własnej danego procesu. Poszukiwana trajektoria optymalna, jeśli...
-
Ocena Studium Podyplomowego z perspektywy roku. W: Informatyczne przygoto-wanie nauczucieli. Kształcenie zdalne, uwarunkowania, bariery, prognozy. Red. J. Migdałek, B. Kędzierska. Kraków: Rabid**2003 s. 473-479, 4 rys.
PublikacjaW referacie przedstawiono problematykę kształcenia nauczycieli w zakresieinformatyki i technologii informacyjnej na studiach podyplomowych. Omówionowyniki ankiety przeprowadzonej wśród absolwentów Studium Podyplomowego ''Zin-tegrowana Edukacja Informatyczna w Szkole Podstawowej i Gimnazjum: realizo-wanego w latach 2000/2001 w ramach III edycji grantów MEN, której celem byłozebranie opinii na temat zawartości merytorycznej oraz...
-
Elimination of dominated partial schedules in scheduling deteriorating jobs
Publikacjaw artykule rozważany jest problem szeregowania zadań uwarunkowanych czasowo, w notacji trójpolowej opisywany przez 1 | pi = a + bisi | ?ci. wprowadzona jest koncepcja zdominowanych częściowych harmonogramów oraz przedstawiony jest niewielomianowy algorytm dla problemu, który bazuje na eliminacji zdominowanych częściowych harmonogramów. przedstawione są wyniki eksperymentów obliczeniowych, porównujących zaprezentowany algorytm oraz...
-
All graphs with restrained domination number three less than their order
PublikacjaW pracy opisana jest rodzina wszystkich grafów, dla których liczbadominowania zewnętrznego jest o trzy mniejsza od ich rzędu.
-
Optimizing the process of railway geometrical layout designing with multi-criteria assessment method
PublikacjaThe paper presents the main assumptions of the Multi-criteria assessment method used in process of upgrading the railway geometrical layout. The advantages of metaheuristic search were described. The criteria influencing the investment were defined. The fitness function used in the analysis was described. The example of using the optimization algorithm with the help of self developed computer software was described.
-
Chromatyczne szeregowanie zadań w cyklicznych systemach produkcyjnych.
PublikacjaGłó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...
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublikacjaW niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...
-
Algorytmy samostabilizujące w sieciach o wybranych topologiach
PublikacjaIdea algorytmów samostabilizujących została zapoczątkowana przez E. Dijkstrę artykułem pt. „Self-stabilizing systems in spite of distributed control” (Communications of the ACM, 1974). W rozprawie został położony nacisk na algorytmy samostabilizujące działające w sieciach o pewnych specyficznych topologiach, jak na przykład w grafach maksymalnych zewnętrznie planarnych, iloczynach kartezjańskich tych grafów ze ścieżkami i w drzewach. Wykorzystując...
-
T-coloring of graphs.
PublikacjaNiniejszy rozdział omawia kontrastowe kolorowanie grafów. Podana została jego definicja i podstawowe własności, zastosowania oraz złożoność obliczeniowa problemów rozważanych w ramach tej dziedziny.
-
Nauczanie bioinżynierii z zastosowaniem narzędzi informatycznych i metod stosowanych w elektrotechnice oraz grafach wiązań
PublikacjaPrzedstawiono sposoby badań zjawisk zachodzących w krwiobiegu za pomocą obwodów elektrycznych oraz grafów wiązań. Symulacje zjawisk stanowią jeden z elementów nauczania bioinżynierii dla studentów uczelni technicznych.
-
Cztery algorytmy, które wstrząsnęły światem. Część III: Sprzęt czy oprogramowanie
PublikacjaW ostatniej części tryptyku poruszamy problem przyjaznego rysowania grafów oraz prezentujemy algorytmy dla szybkiego mnożenia macierzy. Nasze rozważania kończymy ilustracją postępu w dziedzinie sprzętu i oprogramowania
-
Inteligentne hybrydowe systemy wyszukiwania informacji
PublikacjaIstnieje wiele metod wyszukiwania informacji. Artykuł przedstawia możliwości połączenia tych metod i skonstruowania uniwersalnego, hybrydowego systemu wyszukiwania. W artykule zaproponowana została architektura personalnego agenta wyszukiwania (PAW). Posiada on cechy systemu ekspertowego, wyszukiwarki oraz agenta komputerowego. PAW pozwala na pozyskiwanie informacji personalnych tj. numery telefonów osób znajomych. Ponadto umożliwia...
-
Zmiany konstrukcyjne i technologiczne w budowie instalacji chłodniczych w kontekście zastępowania „F-gazów” oraz ich mieszanin nowymi substancjami o niskim potencjale tworzenia efektu cieplarnianego i substancjami naturalnymi
PublikacjaZe względu na zmieniające się prawodawstwo UE dotyczące możliwości wykorzystywania czynników należących do grupy tzw. „F-gazów”, pojawiają się liczne nowe problemy i zmiany w konstrukcji oraz eksploatacji urządzeń, wykorzystywanych w szeroko pojętej technice chłodniczej i klimatyzacyjnej. Zmiany te wynikają przede wszystkim z konieczności użytkowania substancji odznaczających się niskim wpływem na środowisko naturalne (ODP=0 i...
-
Kolorowanie końcówkowe multidrzew
PublikacjaW pracy przedstawiono nowy model kolorowania grafów, mianowicie kolorowanie końcówkowe. Naszkicowano związki łączące ten model z klasycznymi modelami kolorowania oraz przedstawiono wielomianowy algorytm optymalnie końcówkowo kolorujący multidrzewa.
-
Modelling of distributed-lumped parameter systems by application of modal bond graphs.
PublikacjaZastosowano metodę transmitancji układów o parametrach rozłożonych oraz dekompozycję modalną do modelowania wybranych układów dynamicznych. Zaproponowane podejście pozwala otrzymać dokładne modele niskiego rzędu w postaci grafów wiązań.
-
Designing optimal and safe control strategies for time-varying dynamical systems
PublikacjaPublikacja opisuje metodę projektowania optymalnej trajektorii punktu pracy w czasoprzestrzeni stanów przy wykorzystaniu algorytmów optymalizacji grafowej. Zakłada się deterministyczny charakter zmian dynamiki rozpatrywanego procesu. Przestrzeń robocza, będąca ograniczonym podzbiorem czasoprzestrzeni stanów, jest dzielona na zbiór segmentów, którym przypisywane są wielkości reprezentujące właściwości dynamiki własnej w obrębie...
-
Algorytm ekstrakcji cech biometrycznych twarzy
PublikacjaW referacie zawarto opis metody automatycznej lokalizacji oraz parametryzacji punktów charakterystycznych w obrazie twarzy. Do lokalizacji punktów charakterystycznych wykorzystano zmodyfikowany algorytm EBGM (ang. Elastic Bunch Graph Matching). Algorytm ten pozwala lokalizować punkty w obrazie przy założeniu niezmienności topologii grafu połączeń między nimi.W referacie przedstawiono podstawy teoretyczne metody oraz zaimplementowany...
-
Modelling of energy flow in electrical machines. A bond graph approach
PublikacjaPrzedstawiono w ujęcia grafów wiązań model przepływu energii/mocy w maszynach elektrycznych pracujących w hybrydowych systemach przetwarzania energii. Jako przykład do rozważań przyjęto system napędu trakcyjnego pojazdów hybrydowych.
-
Consensus models: Computational complexity aspects in modern approaches to the list coloring problem
PublikacjaArtykuł poświęcony jest nowym modelom konsensusowego kolorowania grafów. Artykuł zawiera omówienie trzech takich modeli, analizę ich złożoności obliczeniowej oraz wielomianowy algorytm dla częściowych k-drzew, dla tzw. modelu addytywnego.
-
Musical Metadata Retrieval with Flow Graphs, in Rough Sets and Current Trends in Computing.
PublikacjaW pracy opisano metody wyszukiwania muzyki w Internecie w oparciu o opis semantyczny. W eksperymentach wykorzystano opis muzyczny stosowany w bazie CDDB. Zaprezentowano metodę grafów przepływowych zaproponowaną przez Pawlaka.
-
The impact of emigration of Polish employees to other countries of the EU on the situation of employers in Poland
PublikacjaW opracowaniu próbowano przedstawić skutki migracji młodych ludzi po wejściu Polski do UE na polski rynek pracy. Wskazywano też jakie kroki należałoby podejmować, aby pomniejszyć te negatywne skutki.
-
Dyskretne modele niskiego rzędu ciągłych układów przenoszenia napędu.
PublikacjaCelem pracy jest prezentacja zastosowania metody transmitancji układów o parametrach rozłożonych do konstruowania modalnych grafów wiązań dla złożonych układów zawierających jednowymiarowe, jednorodne podukłady o parametrach rozłożonych występujące w układach napędowych.
-
Weakly convex and convex domination numbers.
PublikacjaW artykule przedstawione są nowo zdefiniowane liczby dominowania wypukłego i słabo wypukłego oraz ich porównanie z innymi liczbami dominowania. W szczególności, rozważana jest równość liczby dominowania spójnego i wypukłego dla grafów kubicznych.
-
Analysis of effects of formation of non-condensable gases and water vapor during a severe accident in a boiling water nuclear reactor Analiza skutków powstawania niekondensujących gazów i pary wodnej podczas ciężkiej awarii wrzącego reaktora jądrowego
Publikacja -
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.
-
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.
-
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
-
Transport wibracyjny surowca biologicznego w procesie suszenia. W: Projek-towanie mechatroniczne. Zagadnienia wybrane. Praca zbiorowa pod red. T. Uhla. Kraków: Kated. Robotyki i Dynam. Masz.AGH**2003 s. 111-116, 4 rys. bibliogr. 6 poz.
PublikacjaPrzedstawiono zagadnienie transportu wibracyjnego surowca biologicznego wprocesie suszenia oraz propozycje rozwiązania technicznego umożliwiającego zastosowanie tego sposobu transportu w urządzeniach produkcyjnych. W rozwią-zaniu tym zastosowano układy kinematyczne sterowane mikroprocesorowo umożli-wiające utrzymanie właściwych parametrów procesu w układzie sterowania w pę-tli sprzężenia zwrotnego.
-
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...
-
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.
-
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.
-
An experimental study of distributed algorithms for graph coloring.
PublikacjaW pracy podano algorytm rozproszonego kolorowania grafówi porównano ze znanym wcześniej algorytmem.
-
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).
-
Duże rozgłoszeniowe pola Closa
PublikacjaW pracy pokazano nowe podejście do blokowalności dużych rozgłoszeniowych pól Closa. Przedstawione zostały także dowody na blokowalność pola C(n,r_1,n^2-1,n,r_2) oraz pola C(n,r_1,n^2,n,r_2), w których użyto ekstremalną teorię grafów i hipergrafów.
-
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ą.
-
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.
-
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.
-
Zmodyfikowana metoda prognozowania rezultatów nadzorowania drgań narzędzie--przedmiot obrabiany. W: Projektowanie mechatroniczne. Zagadnienia wybrane. Praca zbiorowa pod red. T. Uhla. Kraków: Kated. Robotyki i Dynam. Masz.AGH**2003 s. 125-134, 3 rys. 1 tab. bibliogr. 6 poz.
PublikacjaW pracy przedstawiono zmodyfikowaną metodę prognozowania rezultatów nadzoro-wania drgań narzędzie-przedmiot obrabiany za pomocą sterowanej programowo prędkości obrotowej wrzeciona. Istotą modyfikacji jest uwzględnienie w mode-lu złożoności geometrycznej narzędzia oraz efektu rozproszenia energii pro-cesu skrawania. Podano opis dynamiki skrawania niestacjonarnego modelu obli-czeniowego, oraz sposobu nadzorowania. Zamieszczono...
-
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.
-
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.
-
Rozpraszanie sprężyste elektronów na atomach gazów szlachetnych w zakresie dużych kątów rozproszenia.**2003, 112 s. 52 rys. 18 tab. bibliogr. 188 poz. maszyn. Rozprawa doktorska /16.06.2003/ Wydz. FTiMS Promotor: prof. dr hab. M. Zubek
Publikacja.
-
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...
-
The efectiveness of polish economy in comparison with other countries
PublikacjaOgromne zróżnicowanie rozwoju gospodarczego poszczególnych krajów we współczesnym świecie rodzi wiele napięć, konfliktów i kontrowersji. Są to problemy nie tylko natury ekonomicznej i społecznej, ale także politycznej. Wiele krajów zaliczanych do słabiej rozwiniętych ma aspirację do zmniejszenia luki rozwojowej w stosunku do krajów bogatszych, poprzez przyspieszenie wzrostu gospodarzcego. Zatem interesujące wydaje sie porównanie...
-
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...
-
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...
-
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...