Filters
total: 6175
filtered: 5075
-
Catalog
- Publications 5075 available results
- Journals 7 available results
- People 193 available results
- Inventions 8 available results
- Projects 74 available results
- Laboratories 3 available results
- Research Teams 20 available results
- Research Equipment 1 available results
- e-Learning Courses 675 available results
- Events 36 available results
- Open Research Data 83 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: METODYKA%20OBLICZE%C5%83
-
Metoda zarządzania ryzykiem w inżynierii drogowej. K. Jamroz.
PublicationW monografii zaprezentowano bazujące na ryzyku podejście do zarządzania bezpieczeństwem ruchu drogowego. Można wyróżnić cztery zasadnicze jej części. W pierwszej przedstawiono przegląd problemów zarządzania bezpieczeństwem w inżynierii drogowej, pozwalający na identyfikację brakujących elementów zarządzania ryzykiem w tej dziedzinie. Następnie ukazano założenia i koncepcję metody zarządzania ryzykiem w inżynierii drogowej, nazwaną...
-
Wpływ metody syntezy na właściwości wybranych przewodników jonowych
PublicationPublikacja przedstawia wyniki pomiarów przewodników jonowych syntezowanych różnymi metodami.
-
Zastosowanie metody elementów skończonych w procesie topnienia medium
PublicationW artykule przedstawiono wyniki analizy numerycznej procesu topnienia materiału w dwóch modelach cieplnych. Założono, że w rozpatrywanych układach transport ciepła zachodzi wyłącznie mechanizmem przewodzenia. Obliczenia zrealizowano z wykorzystaniem metody entalpowej za pomocą programu ANSYS Fluent. Sprawdzono bilans energetyczny rozwiązania i wykazano prawność otrzymanych wyników.
-
Wybrane metody zastosowania inteligencji rozproszonej w projektowaniu architektonicznym
PublicationWraz z rozwojem oraz popularyzacją narzędzi komputacyjnych wykorzystywanych w praktyce architektonicznej, projektanci opierają swoją pracę o algorytmy wcześniej odległe od swojej dziedziny. Specyfika projektowania architektonicznego, w której często możliwe jest wiele różnorodnych rozwiązań spełniających określone warunki, lub ocena efektu jest czysto subiektywna, a natomiast zdefiniowanie algorytmu opisującego problem niezwykle...
-
Wizyjne metody pomiarowe w diagnostyce górnej sieci trakcyjnej
PublicationMonografia zawiera analizę wykorzystania – na potrzeby diagnostyki i monitoringu górnej sieci trakcyjnej – wizyjnych metod pomiarowych, a w szczególności metody autorskiej opartej na użyciu kamery obrazowej i analizie obrazu, pozwalających na pomiar położenia obiektu fizycznego w przestrzeni dwuwymiarowej. Opracowana metoda łączy wysoką funkcjonalność, dużą rozdzielczość pomiarową oraz bardzo niski poziom niepewności pomiaru z...
-
Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast
PublicationSTRONA GŁÓWNAOBSZARY TEMATYCZNERADA NAUKOWARECENZENCIREDAKCJAINFORMACJE DLA AUTORÓWRECENZJAKONTAKT Strona główna > Numer 14/2017 > Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast METODY I APLIKACJE ZDALNEGO SZKOLENIA MIESZKAŃCÓW INTELIGENTNYCH MIAST Jerzy Balicki, Piotr Dryja, Waldemar Korłub, Maciej Tyszka Rozwój nowego rodzaju miast i regionów nazywanych smart cities pociąga za sobą nowy sposób...
-
Nieortogonalna metoda dostępu wielokrotnego dla systemów następnych generacji
PublicationW artykule zaprezentowano nieortogonalną, metodę dostępu wielokrotnego do kanału, nazywaną w skrócie metodą NOMA, która jest prawdopodobna do zastosowania w systemach 5G. Porównano ją z dotychczas powszechnie stosowanymi metodami ortogonalnymi OMA. Analizę przeprowadzono dla łącza w dół i łącza w górę.
-
Metody testowania wibracyjnego elementów wynoszonych w przestrzeń kosmiczną
PublicationW trakcie wynoszenia ładunku w rakiecie, poddawany jest on wielu obciążeniom, których efektem są m.in. jego drgania. Zanim element zostanie dopuszczony do wylotu, przeprowadzona musi zostać analiza obliczeniowa oraz ładunek musi zostać poddany testom zgodnie z normami. W pracy przedstawiono wstępne obliczenia metodą elementów skończonych, które wykazują, że obciążenia podczas testów są większe niż podczas lotu, co może otwierać...
-
METODA WIELOKRYTERIALNEJ OCENY PRZEBUDOWY UKŁADÓW TOROWYCH NA SZLAKACH
PublicationRozprawa doktorska dotyczy zagadnienia projektowania układów geometrycznych toru kolejowego w procesie modernizacji linii kolejowych. Scharakteryzowano główne cechy dotyczące tej tematyki w oparciu o literaturę polską i zagraniczną, w tym przepisy branżowe. Przedstawiono czynniki wpływające na projektowanie modernizacji linii kolejowych. Określono wartości dopuszczalne parametrów kinematycznych i geometrycznych. Specyfika omawianego...
-
Metody ograniczania prądów zwarciowych w sieciach niskiego napięcia
PublicationPrezentuje się własności istniejących ograniczników prądu oraz nowego hybrydowego bezstykowego ogranicznika prądów zwarciowych, powstałego przez zastąpienia układu stykowego specjalnym bezpiecznikiem krótkotopikowym. Przedstawia się możliwość zastosowania go do ograniczania skutków łuku awaryjnego w rozdzielnicach nn oraz poprawy jakości energii elektrycznej przez eliminację zapadów napięcia w wyniku bardzo szybkiego wyłączania...
-
Metoda pośrednia wyznaczania wartości współczynnika Kv w pneumatyce
PublicationW praktyce przemysłowej do opisu właściwości przepływowych elementów nadal chętnie wykorzystywany jest współczynnik wymiarowy Kv. Wartość tego współczynnika wyznacza się metodą bezpośrednią - dość skomplikowaną i kosztowną. Zastosowanie metod pośrednich zbiornikowych wymaga przejścia z ciśnień statycznych na ciśnienia spiętrzenia. W pracy przedstawiono sposób wyznaczenia wartości współczynnika wymiarowego Kv (w rozumieniu normy...
-
Portal ontologii: Metoda specyfikowania wymagań dla serwisów internetowych
PublicationZaproponowano nową metodologię specyfikowania wymagań aplikacji i zweryfikowano je na bazie praktycznych doświadczeń. W szczególności uwzględniono aplikacje internetowe z punktu widzenia efektywnego i skutecznego ich użytkowania. Dotychczasowa ocena jakościowa tej metodologii potwierdza jej praktyczną użyteczność.
-
Metody opisu ontologii: Inżynieria ontologii i jej zastosowania
PublicationPrzedstawiono rozwój języków opisu technologii i wskazano mozliwości ich zastosowania w różnych dziedzinach, a zwłaszcza do integracji i automatycznego uruchamiania usług sieciowych.
-
Metody wykorzystania energii z rekuperacji w transporcie szynowym
PublicationW artykule przedstawiony został przegląd metod wykorzystania energii pochodzącej z hamowania odzyskowego. Wśród znanych i stosowanych w praktyce metod wymieniono wykorzystanie odzyskanej energii na nietrakcyjne potrzeby własne pojazdu, magazynowanie odzyskanej energii w zasobnikach (pokładowych lub stacjonarnych) i wykorzystywanie jej w razie potrzeby, transformację i zwrot odzyskanej energii do krajowej sieci zasilania, a także...
-
Akceleracja metody elementów skończonych przy użyciu procesora graficznego
PublicationArtykuł przedstawia rezultaty akceleracji obliczeń metody elementów skończonych z użyciem procesora graficznego. Dzięki zastosowaniu masowo zrównoleglonych obliczeń na procesorze graficznym dwóch najbardziej kosztownych obliczeniowo etapów generacji macierzy współczynników i rozwiązywania układu równań przy użyciu metody gradientów sprzężonych z wielopoziomowym prekondycjonerem o schemacie V udało się pięciokrotnie skrócić czas...
-
Cienkie warstwy TiO2: metoda otrzymywania, charakterystyka oraz zastosowania
PublicationGłównym celem naukowym badań było lepsze poznanie mechanizmu tworzenia cienkich warstw fotokatalitycznych w postaci nanorurek TiO2 oraz zrozumienie wpływu ich morfologii oraz struktury na aktywność oraz stabilność w procesie fotodegradacji zanieczyszczeń organicznych zarówno w fazie wodnej jak i gazowej. Szczególną uwagę poświęcono syntezie nowych typów fotokatalizatorów w oparciu o matryce nanorurek TiO2 (nanorurki modyfikowane...
-
Metoda BP jako próba sformalizowania informatycznego projektu badawczego.
PublicationArtykuł prezentuje nowe iteracyjne podejście organizacji procesu do wytwarzania oprogramowania. Przedyskutowana metoda kładzie największy nacisk na zarządzanie innowacjami w projekcie informatycznym.
-
Metody odzysku ciepła w systemach klimatyzacyjnych i wentylacyjnych.
PublicationPrzedstawiono przegląd metod oraz urządzeń do odzysku ciepła stosowanych w systemach wentylacyjnych i klimatyzacyjnych. Opisano zasadę działąnia tych urządzeń oraz możliwości ich zastosowania w zależności od warunków technicznych. Zaprezentowano przykłady systemów kombinowanych, w których zastosowano kilka współpracujących ze sobą, różnego typu, urządzeń do odzysku ciepła.
-
Bezpieczeństwo komputerów w sieci. Część 2: Metody obrony.
PublicationOmówiono praktyczne sposoby zwiększania pewności pracy i bezpieczeństwa serwerów i komputerów osobistych, zasady bezpiecznej ich eksploatacji oraz metody obrony przd najczęściej spotykanymi zagrożeniami. Przedstawiono podstawowe zagadnienia z zakresu firmowej polityki bezpieczeństwea. Zaproponowano minimalny zestaw narzęzi i metod ochrony dla sieci firmowej.
-
Nowoczesne metody planowania rozwoju systemu dystrybucji energii elektrycznej.
PublicationW referacie omówiono dwie metody planowania rozwoju systemu dystrybucji energii elektrycznej: programowanie całkowito-liczbowe i programowanie ewolucyjne. Wskazano na szereg innych metod, które w szczególnych sytuacjach także prowadzą do właściwego rozwiązania problemu planowania. Zwrócono uwagę na szczególną efektywność programowania ewolucyjnego. Przedstawiono czynniki sprawiające, że problem planowania rozwoju poprzez planowanie...
-
Układy automatyki statku oraz metody wspomagania ich projektowania
PublicationPrzedstawiono zagadnienia związane z układami automatyki statku, w szczególności układami automatyki podsystemu elektroenergetycznego. Scharakteryzowano proces projektowania układów automatyki systemu energetycznego statku i zasygnalizowano problemy związane z wykorzystaniem metod sztucznej inteligencji do wspomagania tego procesu.
-
Efektywna metoda replikacji stanu dynamicznie powiązanych obiektów rozproszonych.
Publication.
-
Modyfikacje algorytmu metody relaksacyjnej w optymalizacji schematów próbkowania
PublicationW pracy przedstawiono metodę relaksacyjną stosowaną z powodzeniem przy wyznaczaniu optymalnych schematów próbkowania. Zaproponowano modyfikacje tej metody polegające na lokalnym ograniczaniu przedziału przeszukiwania optimum w kierunku oraz na wprowadzeniu kroku o zmiennej długości. Porównano skuteczność nowych algorytmów dla dwóch modeli kompartmentowych. Jako podstawę do oceny wybrano szybkość działania i odporność na zatrzymanie...
-
Metody generowania sąsiedztwa w metaheurystycznych metodach harmonogramowania projektów
PublicationNiniejszy rozdział dotyczy obszaru optymalizacji harmonogramu projektu z wykorzystaniem metod zaliczanych do matahurystyk. Punktem wspólnym wiekszosci tychże metod jest konieczność wygenerowania ''nowego'' rozwiązania lub zbioru rozwiązań w kolejnych iteracjach. W rodziale przedstawiono metody generowania ''nowych'' rozwiazn dla potrzeb metaheurystyk oraz metody generowania ''nowych'' rozwiązań dla reprezentacji permutacyjnej,...
-
Metody pomiaru wsporników belek żelbetowych obciążonych siłą ukośną
PublicationArtykuł przedstawia technikę i sposób pomiaru poszukiwanych wielkości podczas badań w skali naturalnej żelbetowych wsporników belek. Badania mają na celu określenie wpływu dodatkowej siły poziomej, działającej poza obciążeniem pionowym, na nośność, wytężenie i morfologię zarysowania.
-
Elektro-magnetyczna metoda badania procesu degradacji stali austenitycznych
PublicationBadano próbki ze stali A304 oraz A347 po eksploatacji oraz próbki poddane deformacji plastycznej. Przyjęto założenie, że degradacja prowadzi do wzrostu zawartości fazy ferrytycznej w tych stalach, co może być wykorzystane do oceny stopnia degradacji. Artykuł prezentuje wyniki wstępnych badań nad możliwością wykrycia relatywnie niewielkich koncentracji fazy ferrytycznej. Próbki w początkowym stadium procesu degradacji (wycięte z...
-
Algorytmiczne metody redukcji poboru mocy w układach CMOS
PublicationW pracy przedstawiono wybrane możliwości zredukowania poboru mocy układów CMOS z wykorzystaniem dwóch algorytmów szeregowania zadań w procesie syntezy wysokiego poziomu układów cyfrowych. Zaprezentowano dwa opracowane algorytmy, a mianowicie MAREL i UNILO, dla których utworzono odpowiednie programy pozwalające uzyskać redukcję mocy projektowanych układów CMOS. Przeprowadzone badania testowe przy pomocy standardowych benchmarków...
-
Ocena technologii tulei rozprężnej z wykorzystaniem metody FMEA.
PublicationPrzedstawiono wykorzystanie metody FMEA (Failure Mode and Effect Analysis) do analizy procesu technologicznego tulei rozprężnej jako elementu roboczego docieraka do obróbki maszynowo-ręcznej otworów walcowych. W ocenie technologii uwzględniono symulowaną zmienność liczb priorytetowych, występowania, znaczenia i wykrywalności.
-
Komponentowa metoda budowy systemu oceny przedsięwzięć komunikacyjno-negocjacyjnych
PublicationW pracy omówiono istotę oraz podstawowe parametry komunikacji interpersonalnej. Uzasadniono potrzebę komputerowej rejestracji eksperymentów umożliwiających ocenę tego typu procesów ludzkiej działalności. Zaprezentowano komponentową metodę wytwarzania internetowego systemu realizującego takie funkcje. Opisano jego architekturę, sposób implementacji oraz możliwości praktycznego wykorzystania.
-
A new method of current limitation. Nowa metoda ograniczania prądu.
PublicationZaprezentowano nowa ideę hybrydowego, bezstykowego ogranicznika prądów zwarciowych oraz możliwości jego aplikacji. W ograniczniku tym zastąpiono łącznik zestykowy bezpiecznikiem o ultra krótkim topiku, dzięki czemu uniknięto niedogodności związanych z napędem występujących w klasycznych łącznikach hybrydowych. Rolą bezpiecznika w tym nowym zestawie jest wyłącznie zadziałanie w warunkach zwarciowych, a po przejęciu prądu...
-
Metody opisu treści obrazów dla potrzeb systemów wyszukiwania.
PublicationPrzedstawiono metody opisu i wyszukiwania obrazów na podstawie ich treści. Zaproponowano schemat ekstrakcji regionów oraz generacji ich opisów z zastosowaniem kodów długości serii. W opracowanym systemie zaprojektowano i zaimplementowano możliwość definiowania zapytań do baz danych uwzględniając:właściwości i parametry regionu (deskryptory intensywności, tekstury, i kształtu) oraz relacji przestrzennych pomiędzy regionami.
-
Zakłócenia w układach cyfrowych. Mechanizmy i metody pomiaru
PublicationPrzedstawiono mechanizmy powstawania i sposoby pomiaru podatności układów cyfrowych na zakłócenia. Zaprezentowano metodę pomiaru dynamicznej odporności na zakłócenia układów cyfrowych z zastosowaniem wzorcowego sygnału szumowego z możliwością ograniczania szerokości pasma stymulującego sygnału szumowego. Opisano opracowane modele symulacyjne i przykładowe wyniki badań potwierdzające efektywność zaproponowanej metody.
-
Możliwości logiki metody kreowania przestrzeni jako definicja architektury
PublicationPolemika przedstawiająca rozumienie architektury jako procesu projektownia jako materialno-racjonalną metodę stawiającą architekta na równi z rzemieślnikiem.Przedstawiana -omawiana ''metoda pięciu struktur jest jedną z wielu praktycznych metod projektowania.
-
Metody i standardy pozycjonowania terminali w systemach komórkowych
PublicationW artykule przedstawiono problem wyznaczania położenia terminala ruchomego w systemach komórkowych. Przedstawiono wybrane metody oraz na podstawie systemu GSM i UMTS przedstawiono obowiązujące standardy lokalizowania terminala ruchomego w sieciach komórkowych.
-
Metoda symulacyjna w modelowaniu niezawodności przestrzennych układów prętowych.
Publication -
Zobaczyć – rozpoznać – zrozumieć Wizualizacja jako metoda upowszechniania wiedzy
PublicationOpracowanie jest efektem zetknięcia dwóch perspektyw badawczych: nauk przyrodniczych (np. mikrobiologia, biotechnologia, inżynieria środowiska i zasobów naturalnych, oceanologia) z naukami humanistyczno-społecznymi (studia wizualne, geografia kulturowa, studia miejskie). Konieczność takiego zestawienia naukowych punktów widzenia i języków stanowi konsekwencję odmiennych doświadczeń zdobytych przez autorki podczas prowadzenia badań...
-
Metoda wektorowej modulacji szerokości impulsów pięciofazowego falownika napięcia
PublicationW artykule przedstawiono metodę wektorowej modulacji szerokości impulsów pięciofazowego falownika napięcia. W takim przekształtniku załączenie wektorów aktywnych powoduje jednoczesne formowanie dwóch wektorów napięcia wyjściowego. Komplikacja sterowania wynika z tego, że położenie obu wektorów napięcia oraz ich długości są wzajemnie zależne. Rozwiązanie zaproponowane w pracy umożliwia jednak niezależne formowanie dwóch wektorów...
-
Metody usuwania zakłóceń podczas pomiarów polowych widm Ramana
PublicationW pracy zostały scharakteryzowane źródła zakłóceń występujące podczas pomiarów widm Ramana w warunkach polowych. Zaprezentowano wpływ czasu integracji na jakość rejestrowanych widm w przypadkach, gdy szumy własne spektrometru mają składową typu 1/f, dominującą w zakresie małych częstotliwości. Przedstawiono także wyniki uzyskane podczas pomiarów z detekcją synchroniczną, stosowaną w przenośnych spektrometrach Ramana, w pomiarach...
-
Wpływ metody akwizycji sygnałów częstotliwościowych na dokładność pomiaru
PublicationPrzedstawiono metody przetwarzania impulsowego sygnału częstotliwościowego. Opisane metody pozwalają na odtworzenie wartości wielkości mierzonej w stałych odstępach czasu w trybie on-line i off-line. Przeprowadzono symulację pomiaru prędkości obrotowej przetwornikiem obrotowo-impulsowym, wyznaczając wartości błędu pomiaru i efektywnej liczby bitów. Wykazano mniejszą wartość błędu i większą wartość efektywnej liczby bitów dla metody...
-
Metody usuwania zakłóceń podczas pomiarów polowych widm Ramana
PublicationW pracy zostały scharakteryzowane źródła zakłóceń występujące podczas pomiarów widm Ramana w warunkach polowych oraz sposoby redukcji ich wpływu na jakość rejestrowanych widm. Zaprezentowano wpływ czasu integracji na jakość rejestrowanych widm w przypadkach, gdy szumy własne spektrometru mają składową typu 1/f, dominującą w zakresie małych częstotliwości. Przedstawiono także wyniki uzyskane podczas pomiarów z detekcją synchroniczną,...
-
Wpływ metody akwizycji sygnałów częstotliwościowych na dokładność pomiaru
PublicationW artykule przedstawiono metody przetwarzania impulsowego sygnału częstotliwościowego. Opisane metody pozwalają na odtworzenie wartości wielkości mierzonej w stałych odstępach czasu w trybie on-line i off-line. Przeprowadzono symulację pomiaru prędkości obrotowej przetwornikiem obrotowo-impulsowym, wyznaczając wartości błędu pomiaru i efektywnej liczby bitów. Wykazano mniejszą wartość błędu i większą wartość efektywnej liczby bitów...
-
Wpływ metodyki obliczania mózgowej objętości krwi na wiarygodność diagnozy udaru niedokrwiennego w badaniach DSC-MRI
PublicationNiedokrwienny udar mózgu jest jednym z najczęściej spotykanych oraz najlepiej udokumentowanych incydentów mózgowo-naczyniowych (Dani et al., Ann Neurol 2011, 70(3), 384-401), a obrazowanie mózgu metodą DSC-MRI (ang. Dynamic Susceptibility Contrast - Magnetic Resonance Imaging) wskazuje się jako umożliwiające m.in. diagnozę niedokrwionej tkanki, prognozę jej dalszych losów, oraz rozróżnienie niedokrwienia odwracalnego od nieodwracalnego...
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
The most competitive manufactured products in the polish export on theeu market
PublicationCelem publikacji jest wyselekcjonowanie najbardziej konkurencyjnych wyrobów przemysłowych w polskim eksporcie przemysłowym na unijny rynek w latach 1995-2003. Analiza została przeprowadzona na bardzo wysokim poziomie dezagregacji danych, co pozwoliło przedstawić listę 10 najbardziej konkurencyjnych artykułow przemysłowych, wywożonych na rynek Unii Europejskiej w badanych latach. NR DOKUM: 76583
-
Analysis of Factors Having an Influence on Current in Non-Linear Inductive Brunch
PublicationArtykuł prezentuje analityczny opis pršdu włšczania nieliniowej gałęzi indukcyjnej. Analizę przeprowadzono w oparciu o odcinkowo-liniowš aproksymację charakterystyki magnesowania. Przeanalizowano wpływ chwili właczenia napięcia, charakteru obwodu i magnetyzmu szczštkowego rdzenia na przebieg i wartoć maksymalnš pršdu.
-
Measurement accuracy evaluation of transmission line earthings by impulse tests
PublicationUziemienia słupów linii energetycznych powinny być sprawdzane okresowo. Pomiary rezystancji takich uziemień przy pomocy metody niskoczęstotliwościowej wymaga wyłaczania linii i odkręcania przewodów odprowadzających od konstrukcji słupa. Metoda udarowa jest znacznie łatwiejsza w tej aplikacji i nie wymaga wyłaczania linii na czas pomiarów. W pracy oszacowano wpływ uziemień sąsiednich słupów na dokładność pomiarów metodą udarową.
-
Improving quality of life in automotive by professional preparation to external audits
PublicationZaproponowano podniesienie jakości procesów zarządzania w przemyśle samochodowym w oparciu o rozbudowany model profesjonalnego przygotowania i późniejszego wykorzystania wyników zewnętrznych audytów.
-
Narrowband interference suppression in IEEE 802.15.4a ultrawideband receiver
PublicationW referacie przedstawiono metodę redukcji wpływu silnych sygnałów wąskopasmowych na jakość transmisji ultraszerokopasmowej w standardzie IEEE 802.15.4a poprzez modyfikację sekwencji impulsów w odbiorniku korelacyjnym. Opisano strukturę rozpatrywanego odbiornika i sposób tworzenia zmodyfikowanych sekwencji wzorcowych, a także przedstawiono wyniki symulacji komputerowych jakości pracy łącza UWB w obecności zakłóceń o charakterze...
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublicationWe describe a technique that maps unranked trees to their hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to techniques implemented with minimal tree automata, our procedure builds a pseudo-minimal DTA. Pseudo-minimal automata are larger than the minimal ones but in turn the mapping can be arbitrary, so it can be determined prior to the automaton construction. We also provide procedures to build incrementally...
-
Wpływ specyficznych właściwości czynnych systemów wodociągowych w Polsce na metodykę pomiarów terenowych i interpretacje ich wyników
PublicationW opracowaniu scharakteryzowano trzy następujące cechy: 1) przewymiarowanie sieci wodociągowej, 2) pozorną chropowatość przewodów z odłożonymi osadami, 3) pulsację ciśnienia w układzie wodociągowym. Następnie wskazano na utrudnienia jakie one powodują w przygotowaniu pomiarów, ich przeprowadzeniu, a niekiedy interpretacji uzyskanych wyników. W efekcie dowiedziono, że normalne warunki eksploatacji nie pozwalają na bezpośrednie pomiary...