Filtry
wszystkich: 5765
wybranych: 4301
-
Katalog
- Publikacje 4301 wyników po odfiltrowaniu
- Czasopisma 48 wyników po odfiltrowaniu
- Osoby 158 wyników po odfiltrowaniu
- Wynalazki 10 wyników po odfiltrowaniu
- Projekty 54 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Zespoły Badawcze 20 wyników po odfiltrowaniu
- Kursy Online 624 wyników po odfiltrowaniu
- Wydarzenia 27 wyników po odfiltrowaniu
- Dane Badawcze 520 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: BETONY SAMOZAGĘSZCZALNE
-
Design and Optimization of a Compact Planar Radiator for UWB Applications and Beyond
PublikacjaA compact monopole antenna for ultra-wideband (UWB) and beyond applications has been proposed. The radiator is based on the monopole topology. The super-wideband behavior has been achieved using a combination of spline-based modifications applied to the driven element, as well as utilization of a tapered feed and a slot-modified ground plane. The electrical performance of the structure has been tuned using a numerical optimization...
-
Metody optymalizacji dyskretnej w analizie podobieństwa drzew filognetycznych
Publikacja -
Adaptacyjny regulator kursu statku z zastosowaniem metody backstepping
PublikacjaW układach morskich aplikacja nieliniowych technik adaptacyjnych do sterowania ruchem statku jest obecnie niezbędna aby uwzględnić występujące niepewności strukturalne i parametryczne. Jest to szczególnie istotne, ponieważ dynamika statku zależy od dużej masy i wpływu zakłóceń środowiskowych zarówno addytywnych jak i multiplikatywnych, wywołanych przez fale, wiatry i prądy oceaniczne. Artykuł obejmuje zagadnienie projektowania...
-
Metody wyznaczania izolacyjności akustycznej w warstwowych przegrodach budowlanych
PublikacjaLekkie panele warstwowe jako elementy wypełniające znalazły szerokiezastosowanie w halach przemysłowych z uwagi na ich dobre cechy wytrzymałościowe i cieplne, niski ciężar i krótki czas montażu.W artykule opisano sposób wyznaczania izolacyjności akustycznej od dźwięków powietrznych paneli kompozytowych CSIP przy zastosowaniu 3 różnych podejść: pomiarów doświadczalnych, zaawansowanych symulacji numerycznych MES oraz uproszczonych...
-
Imitating Quantum Probabilities: Beyond Bell’s Theorem and Tsirelson Bounds
PublikacjaLocal hidden-variable model of singlet-state correlations discussed in M. Czachor, Acta Phys. Polon. A 139, 70, is shown to be a particular case of an infinite hierarchy of local hidden-variable models based on an infinite hierarchy of calculi. Violation of Bell-type inequalities can be interpreted as a `confusion of languages' problem, a result of mixing different but neighboring levels of the hierarchy. Mixing of non-neighboring...
-
Nowe metody przetwarzania sygnałów w wybranych zagadnieniach wibroakustyki
PublikacjaMonografia Nowe Metody Przetwarzania Sygnałów w Wybranych Zagadnieniach Wibroakustyki będąca piętnastym Tomem z serii Monografie Katedry Automatyzacji Procesów AGH w Krakowie poświęcona jest zagadnieniom związanym z zastosowaniem i wykorzystaniem metod przetwarzania sygnałów wibroakustycznych w wybranych problemach technicznych i medycznych. W pierwszym rozdziale niniejszej monografii przedstawiono zagadnienia dotyczące metod przetwarzania...
-
Listening to Live Music: Life beyond Music Recommendation Systems
PublikacjaThis paper presents first a short review on music recommendation systems based on social collaborative filtering. A dictionary of terms related to music recommendation systems, such as music information retrieval (MIR), Query-by-Example (QBE), Query-by-Category (QBC), music content, music annotating, music tagging, bridging the semantic gap in music domain, etc. is introduced. Bases of music recommender systems are shortly presented,...
-
Metody testowania wibracyjnego elementów wynoszonych w przestrzeń kosmiczną
PublikacjaW 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ć...
-
Zastosowanie metody elementów skończonych w procesie topnienia medium
PublikacjaW 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
PublikacjaWraz 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
PublikacjaMonografia 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
PublikacjaSTRONA 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...
-
Metody wykorzystania energii z rekuperacji w transporcie szynowym
PublikacjaW 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...
-
Możliwość wykorzystania popiołów z osadów ściekowych w betonie
PublikacjaIlość popiołów lotnych ze spalania osadów ściekowych rośnie na całym świecie. Ich unieszkodliwianie jest poważnym problemem ekologicznym. W pracy przedstawiono ocenę możliwości wykorzystania popiołów lotnych z osadów ściekowych w betonie. Wykonano dwie serie badawcze dla dwóch współczynników (w/s) równych 0,49 oraz 0,55 z udziałem 10% i 20% popiołu lotnego (SSA), jako zamiennika cementu. Skład chemiczny wykazał, że popiół (SSA)...
-
Akceleracja metody elementów skończonych przy użyciu procesora graficznego
PublikacjaArtykuł 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...
-
Wybrane metody szeregowania danych w sieci IEEE 802.16e
PublikacjaW pracy omówiono wybrane metody szeregowania danych stosowane w sieciach opartych na standardzie IEEE 802.16e (WiMAX Mobile) oraz wskazano ich mankamenty. Przedstawiono również najważniejsze mechanizmy odpowiedzialne za zarządzanie jakością usług oraz przydział zasobów poszczególnym terminalom. Znaczną uwagę skierowano na przyszłościowe kierunki badań w tym zakresie.
-
Efektywność skrępowania betonu w grubościennych słupach typu Concrete-Filled Steel Tube o przekroju kołowym
PublikacjaW słupach typu CFST w stanie granicznym dochodzi do zwiększenia wytrzymałości betonu rdzenia na skutek jego skrępowania. Zaistnienie tego zjawiska zależy od wielu czynników. Jednym z najważniejszych z nich jest sztywność obwodowa płaszcza stalowego. Jej wpływ na efektywność wzrostu wytrzymałości betonu rdzenia przebadano eksperymentalnie na grupie 48 grubościennych słupów CFST. Wykazano, że nadmierne zwiększanie grubości płaszcza...
-
Ocena wpływu wybranych parametrów materiałowych i technologicznych dybli na zachowanie nawierzchni z betonu cementowego
PublikacjaW ostatnich 10 latach zauważono znaczny wzrost zastosowania nawierzchni z betonu cementowego w krajowej sieci dróg szybkiego ruchu. Wiodące wśród nawierzchni z betonu cementowego są nawierzchnie dyblowane i kotwione. Cechą charakterystyczną tego rozwiązania jest podzielenie jednorodnej nawierzchni na szereg płyt poprzez wykonanie poprzecznych i podłużnych szczelin dylatacyjnych. Ich zadaniem jest zapobiegnięcie powstawaniu losowych...
-
Analiza lepkosprężysta nawierzchni drogowych z zastosowaniem betonu asfaltowego konwencjonalnego i o wysokim module sztywności
PublikacjaRozprawa doktorska dotyczy lepkosprężystego zachowania się konstrukcji nawierzchni drogowych z zastosowaniem betonów asfaltowych konwencjonalnych AC i o wysokim module sztywności AC-WMS. Składa się z trzech części. Pierwsza część dotyczy zaprojektowania i właściwości mieszanek mineralno-asfaltowych, zróżnicowanych pod względem krzywych uziarnienia i rodzaju asfaltu. Przedstawiono wyniki badania odporności na koleinowanie oraz właściwości...
-
Numeryczne modelowanie betonu niezbrojonego dla mieszanego rodzaju zniszczenia przy zastosowaniu podejścia ciągłego i nieciągłego
PublikacjaArtykuł omawia model połączony ciągły-nieciągły do modelowania stref lokalizacji i rys w betonie niezbrojonym. Obliczenia wykonano stosując rozszerzoną metodę elementów skończonych. Wyniki numeryczne porównano z doświadczeniami.
-
Nowoczesne elementy betonowe dla kanalizacji
PublikacjaWarunki obciążeń w kanalizacji. Korozja betonów. Współczesne rozwiązania, nowa norma betonowa. Problem wyboru - beton, czy żelbet. Betony samozagęszczające. Zasadyt produkcji betonów dla kanalizacji.
-
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.
-
Nowe metody rekultywacji wód powierzchniowychna przykładzie jezior w Polsce
PublikacjaPodstawowym zagrożeniem jezior jest ich eutrofizacja, będąca głównie wynikiem odprowadzania do jezior i ich dopływów niedostatecznie oczyszczonych ścieków . Jedynie część ekosystemów jest w stanie sobie poradzić z nadmiarem trofii i zneutralizować wprowadzone ładunki zanieczyszczeń. W pozostałych przypadkach konieczne jest podjęcie działań rekultywacyjnych. Zagadnienie rekultywacji wód eutroficznych należy do największych wyzwań...
-
Metody oznaczania in vitro właściwości przeciwutleniających próbek żywności. Cz. I
PublikacjaWystępowanie większości chorób cywilizacyjnych może być rezultatem stresu oksydacyjnego prowadzącego do różnorodnych zmian w ludzkim organizmie, wywołanych działaniem tzw. reaktywnych form tlenu. Z tego też powodu pojawiło się olbrzymie zapotrzebowanie na szybkie testy umożliwiające pomiar całkowitej zawartości przeciwutleniaczy czy też ogólnej siły przeciwutleniającej produktów żywnościowych a w szczególności świeżych warzyw...
-
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...
-
Prognozirovanie svojstv betonov s pomoŝ'û iskusstvennyh nejronovyh setej
PublikacjaObserwacje mózgu ludzkiego oraz podstawowych komórek z jakich się składa (neuronów), doprowadziły do prób modelowania niedużych układów połączonych neuronów. Układy te, zwane w literaturze jako sieci neuronowe lub sieci neuropodobne (ang. neural network) wykazują pewne cechy zbliżone do cech mózgu. Są nimi np. zdolność uczenia i kojarzenia. Choć znany obecnie model matematyczny neuronu jest dość skomplikowany, to zachęcające wyniki...
-
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ę...
-
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.
-
Superconducting Energy Gap in Hole-Doped Graphene Beyond the Migdal's Theory
Publikacja -
Beyond quid pro quo: good soldiers and characteristics of their helping behaviours
Publikacja -
Metody ustalania cen produktów na rynku usług w Polsce
Publikacja -
The high-cyclic model for sand tested beyond the usual ranges of application
Publikacja -
Metody różnicowe dla równań parabolicznych z silną zależnością funkcyjną
Publikacja -
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...
-
Beyond Advising: The Representative Role of Advisory Councils (The Case of Polish Cities)
Publikacja -
Analiza systemu zasilania trolejbusów z wykorzystaniem metody Monte Carlo
PublikacjaW rozprawie przedstawiono model symulacyjny układu zasilania sieci trolejbusowej oparty na metodzie Monte Carlo. Przeprowadzono eksperymentalną weryfikację opracowanej metody obliczeniowej. Zaprezentowano przykładowe zastosowanie modelu symulacyjnego. Opracowana metoda może być wykorzystana dla celów analizy układów zasilania trakcji trolejbusowej i tramwajowej.
-
Metody ochrony przed spoofingiem w systemach nawigacji satelitarnej GNSS
PublikacjaPrzedstawiono problem spoofingu w systemach nawigacji satelitarnej. Dokonano przeglądu metod wykrywania i eliminacji spoofingu. Ponadto, przedstawiono wyniki badań rozwiązania antyspoofingowego opartego na przestrzennym przetwarzaniu sygnałów.
-
Nowoczesne metody usuwania śniegu i lodu z powierzchni użytkowych
PublikacjaW artykule zostały przedstawione klasyczne metody usuwania śniegu i lodu z nawierzchni użytkowych. Dokonano analizy skutków wykorzystywania środków chemicznych. Opisano szacunkowe koszty wynikające z konieczności utrzymania nawierzchni użytkowych „niszczonych” w skutek zmian temperaturowych i wykorzystywanych środków chemicznych. Przedstawiono nowoczesne metody odmrażania oparte o zastosowanie systemów podgrzewania elektrycznego...
-
Zastosowanie metody galwanostatycznej do wyznaczania błędu fazy elektrod woltamperometrycznych
PublikacjaW pracy przeanalizowano właściwości metrologiczne elektrod woltamperometrycznych w dziedzinie częstotliwości. Wykazano, że w przypadku, gdy reakcja elektrochemiczna kontrolowana jest procesem transportu jonów, elektroda woltamperometryczna zachowuje się tak jak przetwornik pomiarowy I rzędu. Jej właściwości metrologiczne opisane są przez czułość, częstotliwość graniczną, błąd amplitudy i błąd fazy. Przeprowadzona analiza pokazała,...
-
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
PublikacjaCelem niniejszej rozprawy oraz stypendium odbytego w ramach projektu było opracowanie numerycznie efektywnego rozwiązania algorytmicznego i sprzętowego, które umożliwia przyspieszenie analizy problemów elektromagnetycznych metodą elementów skończonych (MES) z funkcjami bazowymi wysokiego rzędu. Metoda elementów skończonych w dziedzinie częstotliwości stanowi wydajne i uniwersalne narzędzie analizy układów mikrofalowych (rys....
-
Wybrane metody badania poziomu metylacji DNA w komórkach eukariotycznych
PublikacjaMetylacja regionów promotorowych jest jednym z głównych mechanizmów regulacji transkrypcji genów u eukariota. W komórkach ssaczych metylacja DNA zachodzi głównie na reszcie cytozyny występującej w dinukleotydach CpG i jest katalizowana przez metylotransferazy DNA (DNMT1, DNMT3A i DNMT3B) (Turek Plewa, Jagodziński 2005). Mapowanie 5 metylocytozyny w DNA genomowym jest jednym z narzędzi do badania wpływu metylacji na tkankowo-specyficzną...
-
METODY DOSKONALENIA SYSTEMU ZARZĄDZANIA ŚRODOWISKOWGO ISO14001 W PRZEDSIĘBIORSTWACH PRODUKCYJNYCH
PublikacjaOpracowanie ma na celu przedstawienie problematyki doskonalenia zarządzania środowiskowego w przedsiębiorstwach produkcyjnych. W opracowaniu przedstawiono główne wymagania w obszarze doskonalenia systemu zarządzania środowiskowego zgodnego z wymaganiami ISO14001. Zaprezentowano wybrane metody oraz mechanizmy doskonalenia systemów zarządzania środowiskowego ISO14001 stosowane w praktyce. Dokonano prezentacji autorskiej metody doskonalenia...
-
Metody wymiarowania zasobów sieci w architekturze IIP Internetu Przyszłości
PublikacjaNiniejszy artykuł omawia założenia, strukturę oraz metody wymiarowania zasobów sieci wdrożone w architekturze Internetu Przyszłości w ramach projektu Inżynieria Internetu Przyszłości (IIP) realizowanego w latach 2010-2013. W szczególności artykuł opisuje założenia proponowanych modeli programowania liniowego wykorzystanych w celu rozdziału zasobów sieci (przepustowości łączy, mocy przetwarzania węzłów) pomiędzy Równoległymi Internetami....
-
Metody symulacji przetwornika z impulsowym sygnałem wyjściowym modulowanym częstotliwościowo
PublikacjaW artykule przedstawiono porównanie zaproponowanych przez autorów metod symulacji wyjściowego sygnału impulsowego przetwornika napięcie-częstotliwość U/F. Pierwsza z analizowanych metod oparta jest na modelu fizycznym przetwornika, druga na jego równaniu matematycznym. Mimo odmiennego podejścia otrzymano zbliżone wyniki. W pierwszej metodzie uzyskano wyniki obarczone błędami kwantowania o rozkładzie jak w rzeczywistym układzie...
-
Wybrane metody szacowania obciążenia krytycznego mostów kratownicowych górą otwartych
PublikacjaW artykule przedstawiono wybrane metody wyznaczania obciążenia krytycznego oraz szacowania nośności ściskanych pasów mostów kratownicowych górą otwartych z uwzględnieniem wyboczenia. Wśród tych metod znalazły się numeryczne analizy liniowe oraz nieliniowe wykorzystujące metodę elementów skończonych, algorytmy bazujące na procedurach normowych oraz uproszczone modele prętowe podparte sprężyście. Opisane metody sprawdzono na przykładzie...
-
Zaawansowane metody charakterystyki i uzdatniania wody w basenach kąpielowych
PublikacjaW literaturze przedmiotu szeroko opisywane są zagrożenia dla zdrowia kąpiących się i obsługi ze względu na losowe występowanie w wodzie bakterii grupy coli, bakterii Escherichia coli typu kałowego, gronkowca koagulazo-dodatniego, pierwotniaków Cryptosporidium Parvum, Gardia i innych mikroorganizmów, a także produktów reakcji związków dezynfekujących z zanieczyszczeniami organicznymi w wodzie. Stosowane dotychczas technologie uzdatniania...
-
Najnowsze doświadczenia i aplikacje metody hydrofitowej w gospodarce komunalnej
PublikacjaSystemy hydrofitowe od ponad pięciu dekad są stosowane w gospodarce komunalnej wielu krajów i stają się coraz bardziej popularne również w Polsce. Pomimo zdobytych doświadczeń z eksploatacji tysięcy obiektów funkcjonujących na świecie wciąż prowadzone są badania nad rozpoznaniem i możliwością kontrolowania procesów zapewniających usuwanie różnych zanieczyszczeń i mikrozanieczyszczeń ze ścieków. W kolejnych publikacjach autorzy...
-
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.