Filtry
wszystkich: 38562
-
Katalog
- Publikacje 15822 wyników po odfiltrowaniu
- Czasopisma 167 wyników po odfiltrowaniu
- Konferencje 30 wyników po odfiltrowaniu
- Osoby 324 wyników po odfiltrowaniu
- Wynalazki 15 wyników po odfiltrowaniu
- Projekty 111 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 40 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 1112 wyników po odfiltrowaniu
- Wydarzenia 47 wyników po odfiltrowaniu
- Dane Badawcze 20887 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: METODA MODALNA
-
PRZEGLĄD METOD PRZETWARZANIA DŹWIĘKU WYKORZYSTYWANYCH W APARATACH SŁUCHOWYCH
PublikacjaNiniejszy artykuł odnosi się do aktualnego stanu technologii wykorzystywanych w cyfrowych aparatach słuchowych, ze szczególnym uwzględnieniem technik cyfrowego przetwarzania sygnałów dźwiękowych. W artykule przedstawiono czynniki mające wpływ na efektywność aparatów słuchowych, a także zaprezentowano przykłady nowoczesnych metod cyfrowego przetwarzania sygnałów. Przedstawiono również przykłady ograniczeń współczesnych aparatów...
-
Ochrona brzegów morskich - przegląd metod stosowanych w Polsce
PublikacjaW celu minimalizacji negatywnego wpływu procesów erozyjnych, w zależności od lokalizacji i intensywności działania czynników niszczących na brzeg morski, dobierane są odpowiednio metody wzmacniania i ochrony plaż. W artykule przedstawiono metody stosowane w Polsce od najmniej wpływającej na środowisko refulacji poprzez nasadzenia, do wznoszonych konstrukcji takich jak ostrogi, progi podwodne i falochrony. Uwzględniono zrealizowane...
-
Wykorzystanie metod zorientowanych obiektowo do programowania sterowników programowalnych
PublikacjaW artykule zostały przedstawione główne udogodnienia wynikające z wykorzystywania zasad i metod podejścia obiektowego do programowania sterowników programowalnych. Omówiona została aktualna sytuacja tradycyjnych języków tekstowych i graficznych po wprowadzeniu rozszerzenia IEC 61499 normy IEC61131. W dalszej części zaprezentowano podział cyklu tworzenia programu na trzy zasadnicze części - analizę, projektowania oraz programowanie...
-
Założenia do integracji metod zarządzania ryzykiem w transporcie
PublikacjaNiniejszy referat stanowi wynik prac zespołu interdescyplinarnego pracującego nad próbą integracji metod zarządzania ryzykiem, którego członkowie byli przedstawicielami czterech rodzajów transportu: kolej, lotnictwo, transport morski, transport drogowy, w projekcie Zintegrowany System Bezpieczeństwa Transportu ZEUS. Referat zawiera zalożenia do integracji metod zarządzania ryzykiem w transporcie.
-
SYMULACJA PRACY GRUNTOWEGO WYMIENNIKA CIEPŁA - UŻYCIE METOD NUMERYCZNYCH
PublikacjaArtykuł poświęcony jest zagadnieniu wykorzystania symulacji numerycznych do projektowania GWC( Gruntowego Wymiennika Ciepła). W artykule opisano różne rodzaje gruntowych wymienników ciepła. Aparaty te używane są do wykorzystania pojemności cieplnej gleby w połączeniu z pompą ciepła dla zwiększenia ich skuteczności. Jedno, dwu i trój wymiarowe modele obliczeniowe procesu wymiany ciepła znaleźć można w literaturze. Modele symulacyjne...
-
Testy równoważności metod pomiarowych dla pyłu zawieszonego pm10
PublikacjaCelem prowadzonych badań było wykazanie równoważności metody wagowej oznaczania pyłu PM10, spełniającej wymogi referencyjności, z metodami oznaczania "on-site" dla losowo dobranych par danych (4 symulacje). We wszystkich przypadkach równoważność określona została za pomocą trzech odrębnych analiz: zgodnie z procedurą opisaną w Normie Europejskiej EN 12341:1998 oraz z wykorzystaniem analiz regresji ortogonalnej i liniowej, w celu...
-
Zastosowanie metod analizy wielowymiarowej w rozpoznawaniu komórek nowotworowych
PublikacjaArtykuł przedstawia sposób zastosowania metody k-średnich (k-means) do analizy danych o komórkach nowotworu piersi pochodzących z Breast Cancer Wisconsin Data Set, pobranych podczas biopsji cienkoigłowej. Celem analizy jest sprawdzenie, czy na podstawie parametrów geometrycznych pobranych komórek istnieje możliwość automatycznego podziału pacjentek na grupy o podobnym ryzyku wystąpienia nowotworu złośliwego. Zastosowanie metody...
-
Charakterystyka badań i metod projektowania pali przemieszczeniowych wkręcanych
PublikacjaCharakterystyka dotychczasowych badań pali przemieszczeniowych wkręcanych, zrealizowanych za granicą i w kraju. Przedstawienie kilku metod obliczania nośności pali przemieszczeniowych wkręcanych, zaproponowanych przez autorów zagranicznych. Porównanie wyników obliczeń na przykładzie rzeczywistym z praktyki i weryfikacja z wynikami badania pala w terenie.
-
Charakterystyka badań i metod projektowania pali przemieszczeniowych wkręcanych
PublikacjaTechnologia pali przemieszczeniowych wkręcanych na polskim rynku usług geotechnicznych jest stosunkowo nowa i ciągle znajduje się na etapie rozwoju. Skłoniło to autorów artykułu do przeanalizowania stanu wiedzy na temat tego rodzaju pali oraz zebranie doświadczeń badawczych i praktycznych z nimi związanych. Autorzy liczą, że informacje zawarte w pracy poszerzą wiedzę dotyczącą rozpatrywanej technologii palowania i przyczynią się...
-
ANALIZA METOD STOSOWANYCH PRZY PROJEKTOWANIU OKRĘTOWYCH INSTALACJI GRZEWCZYCH
PublikacjaW artykule przedstawiono wybrane problemy dotyczące etapów projektowania instalacji grzewczych. Przedstawiono metody doboru zapotrzebowania na ciepło na statkach morskich podczas wstępnego projektowania oraz technikę sporządzania bilansu ciepła.
-
Reprezentacja danych dźwiękowych w kontekście metod uczenia maszynowego
PublikacjaDźwięk odgrywa kluczową rolę w przekazywaniu informacji lub ostrzeganiu o niebezpieczeństwie. Do opracowania wydajnego cyfrowego asystenta głosowego zdolnego do efektywnej współpracy z człowiekiem niezbędne jest użycie algorytmów opisujących sygnał dźwiękowy w formie cyfrowej. W poniższej pracy skategoryzowano i opisano najpowszechniejsze metody opisu sygnałów audio używanych jako wejścia dla algorytmów uczenia maszynowego. Wskazano...
-
Przegląd metod wyznaczania parcia mieszanki betonowej na deskowanie
PublikacjaW pracy poruszono tematykę wyznaczania parcia mieszanki betonowej na deskowanie. Zebrano i opisano wybrane cztery modele stosowane do wyznaczania rozkładu ciśnienia poziomego świeżej mieszanki betonowej oddziaływującej na deskowanie. Dokonano krótkiego przeglądu literatury z zakresu omawianej tematyki parcia mieszanki betonowej na deskowanie.
-
Zastosowanie metod projekcji w algorytmach różnicowych elektrodynamiki obliczeniowej.
PublikacjaW pracy przedstawiono koncepcję poprawienia wydajności metody różnic skończonych metodąprojekcji Rayleigha-Ritza w przestrzeniach skończeniewymiarowych. Zastosowano oryginalną koncepcję budowy podprzestrzeni rzutowej, budowanej w oparciu o fizyczne własności rozwiązania. Zaprezentowano przykłady analizy wybranych struktur mikrofalowych.
-
Metody ustalania cen produktów na rynku usług w Polsce
Publikacja -
CartoMetric: Ocena semantycznych właściwości ontologii za pomocą metody kartograficznej
PublikacjaW ostatnich latach, głównie dzięki rozwojowi inicjatywy Sieci Semantycznej (ang. Semantic Web), staliśmy się świadkami powstawania coraz większej liczby gwałtownie ewoluujących ontologii. W takiej sytuacji zarówno użytkownicy Sieci, jak i komputerowe agenty potrzebują metody oceny właściwości ontologii, w szczególności takiej, która uwzględni jej cechy semantyczne, czyli kształt przestrzeni dozwolonych modeli. Niniejsza praca prezentuje...
-
Metody wnioskowania kontekstowego z danych zapisanych w zewnętrznych źródłach
PublikacjaW poprzednich pracach autorów został przedstawiony system wnioskowania z danych zapisanych w zewnętrznych źródłach - KL (Knowledge Layer). Metody SED (Semantic Enrichment of Data) i RED (Reasoning over External Data) zastosowane w tym systemie umożliwiają wzbogacenie danych o semantykę oraz wnioskowanie z tych danych analogicznie jak z ontologicznego opisu świata. Dane zapisane w źródłach zewnętrznych są wzbogacone o terminologię...
-
System do badań nieniszczących warystorów metodą rezonansowej spektroskopii ultradźwiękowej
PublikacjaW prezentowanym systemie pomiarowym wykorzystano metodę ''przemiatania'' częstotliwości do identyfikacji częstotliwości rezonansowych, które zależą od właściwości struktury badanego warystora. Jako kryterium zastosowano parametr jakości Q, na podstawie którego proponuje się eliminację wadliwych elementów we wczesnej fazie ich produkcji.
-
Metody pomiarowe stosowane na platformach powietrznych w badaniach geologicznych
PublikacjaW pracy przedstawiono metody pomiarowe stosowane w pomiarach geologicznych z zastosowaniem platform powietrznych, takich jak samoloty, śmigłowce i bezpilotowe pojazdy (UVA). W wykrywaniu różnego rodzaju złóż bogactw mineralnych stosowana jest metoda magnetometryczna, elektromagnetyczna oraz grawimetryczna.
-
Rozdział 7. Metody oznaczania i badania białek w żywności
PublikacjaPrzedstawiono metody frakcjonowania białek żywności, oznaczania ich składu aminokwasowego i oddzielania niebiałkowych związków azotowych. Określono przydatność rozmaitych technik chromatograficznych i elektroforetycznych do rozdzielania białek i podano zasady oznaczania zawartości białek metodą Kjeldahla, biuretową, Lowryego, Bradforda i z wykorzystaniem absorbcji w nadfiolecie. Scharakteryzowano przydatność metod immunometrycznych.
-
Metody przydatne do wspomaganego komputerem projektowania wstępnego statków śródlądowych
PublikacjaMonografia zawiera zbiór metod przydatnych do projektowania wstępnego statków śródlądowych. Metody opracowano w wyniku badań inspirowanych potrzebą rozwiązywania konkretnych zagadnień projektowych, jakie pojawiały się przy realizacji projektowych prac studialnych prowadzonych w ramach tematu: "Nowa generacja przyjaznych środowiskowo statków śródlądowych i przybrzeżnych dla polskiego systemu dróg wodnych relacji Wschód-Zachód" -...
-
Metody różnicowe dla równań parabolicznych z silną zależnością funkcyjną
Publikacja -
Identyfikacja parametrów maszyny synchronicznej z magnesami trwałymi metodą częstotliwościową
Publikacja -
Efektywne metody lokalizowania terminala ruchomego w systemie WCDMA/FDD
PublikacjaZaproponowano, poddano analizie i zbadano na drodze symulacyjnej dwie nowe, efektywne metody lokalizowania terminala ruchomego w systemie WCDMA/FDD (Wideband Code Division Multiple Access/Frequency Division Duplex). Metody te umożliwiają estymację położenia terminala ruchomego bez konieczności znajomości różnicy czasów w synchronizacji stacji bazowych RTD (Relative Time Difference). Eliminacja różnicy czasów RTD znacząco upraszcza...
-
Definiowanie wiarygodności w Sieci Semantycznej metodą ontologicznego opisu asercji
PublikacjaW rozdziale została zaprezentowana metoda definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania z wiedzy opisanej w kontekście wiarygodności. Przedstawiona w rozdziale metoda opisuje zasadę budowania opisu wiarygodności dla części asercjonalnej ontologii. Definiowanie wiarygodności metodą ontologicznego opisu asercji jest rozumiane jako przypisanie asercjom unarnym i binarnym zbioru cech i ich wartości. W rozdziale...
-
Zastosowanie metody estymacji rozkładem dyskretnym do oceny niezawodności fundamentu
PublikacjaPraca dotyczy oceny nośności granicznej stochastycznego podłoża gruntowego. Przyjmując jako miarę bezpieczeństwa wskaźnik niezawodności, analizę przeprowadzono metodą estymacji rozkładem dyskretnym (PEM - Point Estimate Method). W metodzie tej ciągłą zmienną losową zastępuje się składającą się z impulsów dyskretną zmienną losową i aproksymuje charakterystyki statystyczne. Obliczenia wykonano dla przypadku obciążonej pionowo i osiowo...
-
Metody i narzędzia prewencyjne w projektowaniu i eksploatacji dróg
PublikacjaSpośród wielu systemowych elementów zarządzania bezpieczeństwem infrastruktury drogowej, wyróżnić można cztery rodzaje działań mające charakter prewencyjny, a mianowicie: Ocena oddziaływania na bezpieczeństwo ruchu, Audyt bezpieczeństwa ruchu drogowego, Zarządzanie bezpiecezństwem sieci drogowej i Przeglądy dróg. Działania te, jako środki prewencyjne w projektowaniu i eksploatacji dróg powinny stanowić spójny system ocen projektowanych...
-
Sondowanie statyczne metodą CPTU podłoża gruntowego pod nasypem drogowym.
PublikacjaW artykule przedstawiono sposób wykonania badania sondowania statycznego metodą CPTU przez nasyp drogowy w celu oszacowania warunków konsolidacji podłoża gruntowego.
-
Metody udostępniania materiałów multimedialnych w sieciach LAN i WAN.
PublikacjaW referacie przedstawiono możliwości wzbogacania treści edukacyjnych dzięki wykorzystaniu technik multimedialnych. Uzupełnienie materiału edukacyjnego w postaci plików audio oraz wideo daje zupełnie nową jakość . Opisano jak stworzyć taki materiał, jaki jest potrzebny do realizacji oraz jak bardzo czasochłonny jest ten proces. Wnioski i spostrzeżenia zostały przedstawione na podstawie praktycznej realizacji wykładu dot. Systemu...
-
Metody udostępniania materiałów multimedialnych w sieciach LAN I WAN.
PublikacjaWraz z rozpowszechnianiem usług szerokopasmowych zmniejsza się ograniczenie co do objętości oferowanych materiałów edukacyjnych udostępnianych w sieciach LAN i WAN. W referacie przedstawiono możliwości wzbogacenia treści edukacyjnych dzięki wykorzystaniu technik multimedialnych. Uzupełnienie materiału edukacyjnego w postaci plików audio i wideo daje zupełnie nową jakość. Opisano jak stworzyć taki materiał, jaki sprzęt jest potrzebny...
-
Implementacja zmodyfikowanej metody biliniowej 2D w elektronicznym systemie wbudowanym
PublikacjaPrzedstawiono implementację zmodyfikowanej metody biliniowej 2D diagnostyki sieci analogowych we wbudowanych mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda cechuje się prostym algorytmem diagnostycznym, który z powodzeniem można zaimplementować w 8-bitowych, powszechnie stosowanych mikrokontrolerach z interfejsem SPI, oraz nie wymaga nadmiernej rozbudowy mikrosystemu o część testującą (BIST). Zaletą metody...
-
Zastosowanie metody analizy obrazu w określaniu odporności kawitacyjnej materiałów
PublikacjaPrzedstawiono optyczną metodę określania właściwości kawitacyjnych materiału oraz charakterystyki kawitacyjnej stanowiska przy zastosowaniu komputerowej analizy obrazu erodowanej powierzchni uzyskanego w mikroskopie świetlnym.
-
Metody budowania strategicznej karty wyników na przykładzie Wirtualnej Polski.
PublikacjaJedną z metod przełożenia strategii na cele operacyjne firmy oraz kontroli jej wykonania jest ''strategiczna karta wyników'' ( ang. Balanced Scorecard,skrót: BSC), w której odpowiednio dobrane mierniki pozwalają na mierzenie wykonania strategii w perspektywie nie tylko finansowej, ale także: klienta,procesów wewnętrznych oraz nauki i rozwoju. Celem artykułu jest zaprezentowanie sposobu, w jaki prowadzono prace nad zbudowaniem...
-
Planowanie rozmieszczenia strażników w galeriach sztuki metodą kolorowania grafów
PublikacjaW niniejszym rozdziale zaprezentujemy podejście chromatyczne do wyznaczenialiczby straży w galeriach dowolnego kształtu bez dziur oraz w galeriach or-togonalnych z dziurami, a także bez dziur. Rozważane tu problemy są NP-trud-ne pod względem złożoności obliczeniowej.
-
Zastosowanie metody QFD do doskonalenia jakości użytkowej serwisów WWW
PublikacjaW artykule przedstawiono zastosowanie metody QFD do doskonalenia jakości użytkowej serwisów WWW o charakterze handlowym. W omawianym podejściu zostają zidentyfikowane wymagania klienta-użytkownika oraz czynniki techniczne, które budują sukces serwisu WWW oraz związanego z nim przedsięwzięcia gospodarczego. Następnie w macierzy domu jakości zostaje wydzielony ''rdzeń'' serwisu, zawierający najważniejsze dla klienta funkcje, oraz...
-
Modelowanie metodą elementów skończonych odchyłek dopuszczalnych w połączeniach śrubowych
PublikacjaW pracy przedstawiono model MES typowego połączenia teowego na śruby. Występujące w rzeczywistości luzy pomiędzy powierzchniami łączonych elementów a także trzonem śruby a powierzchnią otworu zamodelowano wykorzystując elementy typu GAP. Przeanalizowano szereg przypadków występowania luzów w połączeniach na śruby zgrubne i na śruby pasowane. Szczegółowy opis modelu oraz wyniki przeprowadzonych analiz w formie wykresów znajdują...
-
Metody oceny wyników usprawniania działalności operacyjnej (przykład zasto-sowań)
PublikacjaArtykuł omawia warunki, jakie należy spełniać przy doborze miar i procesie dokonywania pomiaru efektów usprawniania działalności operacyjnej. Prezentuje metody oceny wyników działalności operacyjnej, wśród których znaczące miejsce ma zdolność produkcyjna, produktywność, przepustowość i skuteczność. Wskazuje również na potrzebę powiązania miar z celami całego przedsiębiorstwa.
-
Zastosowanie metody AHP do oceny zagrożeń na stanowiskach pracy.
PublikacjaW artykule przedstawiono podstawy wielokryterialnej metody wspomagania decyzji AHP (ang. Analytic Hierarchy Process) oraz jej zastosowanie do oceny zagrożeń na stanowiskach pracy.
-
Wspomaganie projektowania automatyki siłowni statku przy zastosowaniu metody CBR.
PublikacjaW referacie zaprezentowano metodologię CBR (wnioskowania na podstawie przypadków), zastosowano w systemie ekspertowym wspomagania projektowania automatyki okrętowej na podstawie informacji o statkach zbudowanych oraz modelu dziedzinowego.
-
Wzmacnianie i uszczelnianie gruntu metodą mieszania in situ (Soil Mixing).
PublikacjaAktualny stan rozwoju różnych metod mieszania gruntu, łącznie z charakterystyką używanych maszyn i stosowanego wykonawstwa oraz podsumowaniem doświadczeń. Główne obszary zastosowania oraz podejście projektowe. Aplikacje związane z posadowieniem obiektów drogowych i budowlanych oraz uszczelnianiem gruntu Wybrane przykłady realizacji.
-
Metody badań skłonności stali do pęknięć zimnych przy spawaniu
PublikacjaW artykule przedstawiono charakterystykę pęknięć zimnych oraz metody badania skłonności do ich powstawania, które podzielono na analityczne i eksperymentalne. Zaprezentowano również zakres stosowania metod analitycznych i porównanie metod eksperymentalnych.
-
Synteza obrazów parametrycznych w badaniu perfuzji mózgu metodą MRI.
PublikacjaZaprezentowano analizę teoretyczną podstaw obrazowania parametrycznego dla badań dynamicznych mózgu z dożylnym podaniem środka kontrastującego. Opracowano oprogramowanie umożliwiające syntezę obrazów parametrycznych. Na podstawie przeprowadzonej analizy oraz wstępnych wyników symulacji wskazano na potrzebę dalszych badań celem standaryzacji obrazowania parametrycznego.
-
Statystyczno-ekonometryczne metody analizy czynnikowej zdolności do przetrwania przedsiębiorstw.
PublikacjaW rozdziale zostały omówione podstawowe definicje z zakresu upadłości i przetrwania przedsiębiorstw. Ponadto przedstawiono klasyfikacje upadłości oraz statystyczno - ekonometryczne metody analizy czynnikowej zdolności do przetrwania przedsiębiorstw.W pierwszej części rozdziału omówiono podstawowe pojęcia dotyczące zagadnień bankructwa, upadłości i likwidacji przedsiębiorstw. W drugiej częsci rozdziału przedstawiono podstawy teoretyczne...
-
Charakterystyka odcieków powstających w aspekcie wyboru metody ich oczyszcania
PublikacjaArtykuł obejmuje analizę odcieków generowanych w zakładach utylizacji odpadów w aspekcie ich ilości i jakości oraz możliwości oczyszczania/zagospodarowania, ze szczególnym zwróceniem uwagi na metody biologiczne, najbardziej przyjaznej środowisku. Ponad trzyletnie badania prowadzono na dwóch obiektach zlokalizowanych w woj. pomorskim, gdzie pobierano próbki ścieków technologicznych, powstających podczas sortownia oraz kompostownia odpadów...
-
Modelowanie matematyczne w procesie oczyszczania ścieków metodą osadu czynnego
PublikacjaModelowanie matematyczne w procesie oczyszczania ścieków metodą osadu czynnego dla możliwości zwiększenia efektywności w branży WOD-KAN
-
Stanowisko do weryfikacji nowej metody pomiaru rezystancji pętli zwarciowej
PublikacjaW artykule przedstawiono budowę i zasadę działania stanowiska laboratoryjnego, które umożliwia weryfikację eksperymentalną nowej metody pomiaru rezystancji pętli zwarciowej. Metoda ta charakteryzuje się tym, że nie następuje wyzwalanie wyłączników różnicowoprądowych, mimo wykorzystania stosunkowo dużej wartości prądu pomiarowego. Weryfikacja metody na stanowisku laboratoryjnym jest podstawą do skonstruowania prototypowego miernika...
-
Metody wzmacniania krótkich wsporników słupa w świetle badań eksperymentalnych
PublikacjaW artykule podano metody wzmacniania wsporników słupów, których skuteczność została zweryfikowana badaniami eksperymentalnymi. Niezależnie od zastosowanej metody efektywność wzmocnienia wspornika jest głównie uzależniona od smukłości ścinania wspornika, ilości zbrojenia wewnętrznego i jego wytężenia przed wzmocnieniem.
-
Poszukiwanie metody określania sił podłużnych w szynach toru bezstykowego
PublikacjaArtykuł przedstawia w zarysie przegląd wybranych prac badawczych nad znalezieniem metody określania sił podłużnych w szynach toru bezstykowego, przeprowadzonych na przestrzeni ostatnich kilkudziesięciu lat. Rozległość tych badań jest imponująca, jednak efekty wciąż nie są do końca zadowalające. Jak dotąd nie opracowano bowiem metody bezpośredniego pomiaru sił podłużnych, dostosowanej w pełni do warunków praktyki utrzymaniowej.
-
Jakość popłuczyn z płukania sieci wodociągowej metodą ukierunkowanego przepływu
Publikacjaprzedmiotem analizy jest jakość popłuczyn z płukania 80 km sieci wodociągowej w biłgoraju metodą ukierunkowanego przepływu w 2008 r. analizie poddano wyniki badań laboratoryjnych około 300 próbek w zakresie suchej pozostałości i zawartości żelaza ogólnego. największe wartości wskaźników odnotowano w trakcie pierwszej wymiany wody wraz z tendencją malejącą w kolejnych cyklach. bilans usuniętych zanieczyszczeń wskazuje, że masa suchej...
-
Wykorzystanie skomputeryzowanej metody sztucznych baz w badaniach procesu docierania
PublikacjaPrzedstawiono metodę pomiaru ubytku liniowego docieranych elementów i docieraków. W badaniach wykorzystano wzorcowe odciski Vickers'a wykonane na stalowych próbkach kontrolnych. Pomiary przekątnych odcisków przeprowadzono przy pomocy mikroskopu stereoskopowego i kamery CCD, sprzężonej z programem komputerowym MultiScan v.6.08.
-
Metody i jezyki opisu scenariuszy zachowań aplikacji przetwarzania wszechobecnego
PublikacjaPrzedstawiono opis przetwarzania scenariuszy zachowań aplikacjiprzetwarzania wszechobecnego. Zaprezentowano charakterystykę porównawczą języków wykorzystywanych do opisu takich scenariuszy. Przytoczono prace, w których podjęto próby wykorzystania języków formalnych do weryfikowania poprawności scenariuszy na etapie ich defniowania.