Wyniki wyszukiwania dla: METODY SŁOWNIKOWE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: METODY SŁOWNIKOWE

Filtry

wszystkich: 38845
wybranych: 16084

wyczyść wszystkie filtry


Filtry wybranego katalogu

  • Kategoria

  • Rok

  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Wyniki wyszukiwania dla: METODY SŁOWNIKOWE

  • Data Mining Applications and Methods in Medicine

    Publikacja

    In this paper we describe the research area of data mining and its applications in medicine. The origins of data mining and its crucial features are shortly presented. We discuss the specificity of medicine as an application area for computer systems. Characteristic features of the medical data are investigated. Common problems in the area are also presented as well as the strengths and capabilities of the data mining methods....

  • Low-coherence method of hematocrit measurement

    Publikacja

    During the last thirty years low-coherence measurement methods have gained popularity because of their unique advantages. Low-coherence interferometry, low-coherence reflectometry and low-coherence optical tomography offer resolution and dynamic range of measurement at the range of classical optical techniques. Moreover, they enable measurements of the absolute value of the optical path differences, which is still an unsolved problem...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Diver Observations by Means of Acoustic Methods

    Publikacja

    Searching for objects, especially small ones, moving under water near its the free surface, is always not an easy task. Designing tools for the detection of such targets is a real challenge when the possibility of a terrorist attack is a real threat. This paper presents some aspects of diver detection by means of acoustics methods, both active (side scan sonar) and passive ones (linear receiving antenna). This approach is quite...

    Pełny tekst do pobrania w portalu

  • Locking effects in finite elemnt method

    Publikacja

    - Rok 2014

    In the present paper a short survey of the locking effect literature is given. As this area of scientific research is still developing, the author of the paper restricted it to about 70 papers. This study is proposed as an introduction to the comprehensive investigation of locking effects.

  • Computational intelligence methods in production management

    Publikacja

    This chapter presents a survey of selected computational intelligence methods used in production management. This group of methods includes, among others, approaches based on the artificial neural networks, the evolutionary algorithms, the fuzzy logic systems and the particle swarm optimization mechanisms. From the abovementioned methods particularly noteworthy are the evolutionary and the particle swarm algorithms, which are successfully...

  • Metodyka obliczeń i sporządzania świadectw

    Publikacja

    - Rok 2010

    W pracy omówiono metodykę obliczeń i sporządzania świadectw charakterystyki energetycznej budynków.

  • Low-coherence method of hematocrit measurement

    W artykule opisano niskokoherencyjna metodę pomiaru hematokrytu krwi.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • On a Method of Efficiency Increasing in Kaplan Turbine

    This paper presents a method of increasing efficiency in Kaplan-type turbine. The method is based on blade profile optimisation together with modelling the interaction between rotor and stator blades. Loss coefficient was chosen as the optimisation criterion, which is related directly to efficiency. Global optimum was found by means of Genetic Algorithms, and Artificial Neural Networks were utilised for approximations to reduce...

  • Information retrieval with semantic memory model

    Publikacja

    Psycholinguistic theories of semantic memory form the basis of understanding of natural language concepts. These theories are used here as an inspiration for implementing a computational model of semantic memory in the form of semantic network. Combining this network with a vector-based object-relation-feature value representation of concepts that includes also weights for confidence and support, allows for recognition of concepts...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • GPU-accelerated finite element method

    Publikacja

    In this paper the results of the acceleration of computations involved in analysing electromagnetic problems by means of the finite element method (FEM), obtained with graphics processors (GPU), are presented. A 4.7-fold acceleration was achieved thanks to the massive parallelization of the most time-consuming steps of FEM, namely finite-element matrix-generation and the solution of a sparse system of linear equations with the...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • COMPARISON OF BLOOD PRESSURE PREDICTION METHODS

    Publikacja

    - Rok 2014

    In the paper dierent approaches of predicting blood pressure values are presented. Basically, two methods and theirs modifications are considered. In total, seven algorithms have been examined. Tests have been conducted using both synthetic and clinical data. From our study it follows that none of the examined methods is superior to other.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Wideband Macromodels in Finite Element Method

    This letter proposes a novel projection technique for accelerating Finite Element Method simulations. The algorithm is based on the Second-order Arnoldi Method for Passive Order Reduction (SAPOR). It involves generation of two projection bases and thanks to this it is applicable to the systems of equations, which contain the quadratic frequency-dependence in the input term, that arise when projection is applied locally in the selected...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Agile Methods In Formation of Metropolis Neighbourhood

    Publikacja

    - Rok 2017

    A study of the zone adjoining the metropolis area of Tricity (Poland) was conducted on the basis of analyses of changes in spatial development, outline planning decisions and local plans of spatial development. Localities placed at several dozen kilometres from strongly urbanized areas do not constitute metropolis outskirts. The vicinity of large urban centres is an obstacle to the development of localities as self-sufficient units...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Study on Methods to Control Interstory Deflections

    Publikacja

    - Geosciences - Rok 2020

    One of the possibilities to prevent building pounding between two adjacent structures is to consider appropriate in-between separation distance. Another approach might be focused on controlling the relative displacements during seismic excitations. Although the majority of building codes around the world recommend the use of some equations of various distances between structures to avoid pounding; a lot of reports after earthquakes...

    Pełny tekst do pobrania w portalu

  • Memory and Imagination: Artwork as a Form of Testimony

    Publikacja

    - Rok 2016

    As the generation of witnesses is passing away and the testimonies of Shoah survivors are replaced by an inherited, culturally constructed memory - post-memory – art becomes a meaningful landmark in the landscape of memory. Although the narration of history - being the researchers’ discourse rather than an objective view - has been considered to a certain extent fictitious, the difference between real and fictional, between remembering...

  • Shape Memory Materials from Rubbers

    Publikacja
    • A. Reghunadhan
    • P. Jibin
    • V. Kaliyathan
    • P. Velayudhan
    • M. Strankowski
    • S. Thomas

    - Materials - Rok 2021

    Smart materials are much discussed in the current research scenario. The shape memory effect is one of the most fascinating occurrences in smart materials, both in terms of the phenomenon and its applications. Many metal alloys and polymers exhibit the shape memory effect (SME). Shape memory properties of elastomers, such as rubbers, polyurethanes, and other elastomers, are discussed in depth in this paper. The theory, factors...

    Pełny tekst do pobrania w portalu

  • Quantum-classical calculations of the nanomechanical properties of metals

    Publikacja

    - Rok 2009

    Tradycyjnie symulacje komputerowe układów w skali atomowej prowadzone są przy użyciu klasycznej metody dynamiki molekularnej (MD) bądź kwantowych metod ab initio. Główną wadą ujęcia klasycznego jest jego empiryczna natura, a co za tym idzie - niewielka przenośność, jego prostota natomiast pozwala na przeprowadzanie symulacji układów zawierających miliony atomów. W wyniku zastosowania metod kwantowych otrzymuje się bardziej wiarygodne...

  • Taking advantage of the shared explicit cache system based critical sections in the shared memory parallel architectures

    Publikacja

    - Rok 2006

    Artykuł prezentuje nową metodę implementacji sekcji krytycznych w równoległych architekturach z pamięcią współdzieloną, takich jak systemy zintegrowane wielowątkowe wieloprocesorowe. Metoda stanowi modyfikację i rozbudowanie metody zwanej Folding, dostępnej w procesorach sieciowych oraz jest w założeniach podobna do techniki zwanej cache-based locking. W porównaniu do dostępnych metod, nowa metoda usuwa problemy skalowalności i...

  • Zastosowanie metod eksploracji danych do analizy odpowiedzi czujników gazu

    Publikacja

    - Rok 2018

    Zagadnienia poruszane w niniejszej rozprawie dotyczą zastosowania metod eksploracji danych do analizy odpowiedzi czujników gazu, umożliwiających poprawną identyfikację składu mieszaniny gazowej w elektronicznych systemach rozpoznawania gazu. Elektroniczne systemy rozpoznawania gazu to urządzenia wykorzystujące czujniki gazu oraz odpowiednio dobrane metody analizy danych pomiarowych, zdolne do określenia składu mierzonej mieszaniny...

    Pełny tekst do pobrania w portalu

  • Wykorzystanie potencjometrów cyfrowych do testowania metod dynamicznej spektroskopii impedancyjnej

    Publikacja

    Przedmiotem artykułu jest opracowanie modelu układu elektrochemicznego o zmiennej w czasie impedancji. Do konstrukcji modelu wykorzystano potencjometry cyfrowe sterowane mikrokontrolerem, pozwala to programowo kontrolować zmiany impedancji modelu. Odpowiednie ukształtowanie zmian widm impedancyjnych w funkcji czasu (impedancjogramów) pozwala na ustalenie ograniczeń różnych metod pomiaru impedancji.

  • Potrzeby MŚP regionu pomorskiego w zakresie metod nadzorowania procesów

    Publikacja

    Odpowiednie stosowanie zasad orientacji procesowej decyduje o skuteczności i efektywności systemów zarządzania jakością. Poniższe opracowanie przedstawia wyniki badań pilotażowych mających wstępnie odpowiedzieć na pytanie w jakim stopniu małe i średnie firmy regionu pomorskiego są świadome znaczenia i przygotowane do systemowo ujętego nadzorowania swoich procesów.

  • Przegląd metod oceny struktur przestrzennych w warunkach zrównoważonego rozwoju

    Publikacja

    - Rok 2003

    the article "the assessment methods' review of urban structures in the sustainable development context" presents various methods along with tools and ways how to apply them. mainly it is based on methods' descriptions contained in bequest programme (building environmental quality evaluation sustainability through time). the assessment should improve formation of the built environment and practical realization of the idea of sustainable...

  • Wykorzystanie nowych metod wnioskowania w grafice i animacji komputerowej

    Publikacja

    - Rok 2006

    Referat opisuje realizowane zadania badawcze, dotyczące wykorzystana nowych metod wnioskowania (tzw. soft-computingu) w przetwarzaniu grafiki i animacji komputerowej. W pierwszym z zadań, opracowaniu metody poprawy jakości fotografii tekstu przeznaczonych do rozpoznawania znaków, wykorzystano algorytmy przetwarzania obrazów i ich modyfikacje do usuwania ze zdjęcia tła oraz gradientu jasności, następnie nowa metoda filtracji nieliniowej...

  • Application of acoustic emission metod for measurement of joint gap and cartilage surfaces

    Publikacja

    - Rok 2006

    W artykule przedstawiono zastosowanie emisji akustycznej do lokalizacji wczesnych uszkodzeń stawu biodrowego lub kolanowego człowieka. Ponadto metoda ta służy do pomiaru wysokości szczeliny stawu oraz struktury geometrycznej powierzchni chrząstki stawowej. Jest to metoda nieinwazyjna. Pomiary metodą emisji akustycznej stosujemy na ogół w materiałach, w których energia sprężysta zmienia się nagle. Takie zmiany energii mogą być...

  • Porównanie tradycyjnych i komputerowych metod animacji 2D i 3D.

    Publikacja

    - Rok 2004

    Artykuł opisuje najważniejsze zagadnienia związane z animacją tworzoną zarówno w sposób tradycyjny, jak i z zastosowaniem technik komputerowych oraz związki między tymi sposobami generowania ruchu.

  • Model rozproszonej diagnostyki systemowej z wykorzystaniem metod sztucznej inteligencji.

    Publikacja

    - Rok 2005

    .

  • Możliwości zastosowania nowoczesnych metod zarządzania w publicznej szkole wyższej.

    Publikacja

    - Rok 2003

    Artykuł dotyczy możliwości zaadoptowania nowoczesnych metod zarządzanie w szkolnictwie wyższym. Koncepcja zarządzania opartego na wiedzy, dobrze znana biznesie może być zastosowana na uniwersytetach. Podkreślano istotność planowania strategicznego.

  • Ogólna charakterystyka metod biologicznych wykorzystywanych w ocenie zanieczyszczeń środowiska.

    Publikacja

    - Rok 2004

    Przedstawiono podział metod biologicznych wykorzystywanych w ocenie zanieczyszczeń środowiska. Zdefiniowano pojęcie biowskaźnika, biomonitora i bioczujnika. Scharakteryzowano metody stosowane w biomonitoringu podając wybrane przykłady.

  • Porównanie metod oceny jakości regulacji układu regulacji generatora synchronicznego

    Publikacja

    - Rok 2005

    W artykule przedstawiono i porównano metody pozwalające na ocenę własności dynamicznych układu regulacji generatora synchronicznego, a w tym: kryteria czasowe, kryteria całkowe, linie pierwiastkowe, charakterystyki Bode'go, wartości własne. Porównanie powyższych metod jako kryteriów oceny własności dynamicznych układu wykonano dla modelu jednomaszynowego (generator synchroniczny pracujący na sieć sztywną). Generator synchroniczny...

  • Wykorzystanie metod analizy obrazów do wyznaczania udziału objętościowego faz

    Publikacja

    - Rok 2005

    Praca przedstawia możliwości wykorzystania analizy obrazów w określaniu udziału objętościowego składników strukturalnych. W badaniach wykorzystano mikroskop świetlny, sprzężony poprzez kamerę CCD, z komputeremz zainstalowanym programem do analizy obrazów MultiScan.

  • Możliwość wykorzystania metod symulacji cyfrowej w rachunku kosztów działań.

    Publikacja

    - Rok 2002

    Podejście procesowe pozwala na lepsze zrozumienie podstawowych obszarów aktywności firmy. Artykuł prezentuje możliwości jakie dają nowoczesne metody symulacji cyfrowej i rachunku kosztów działań. Ponieważ bazują na tej samej strukturze informacji, możliwe jest ich łączne stosowanie.

  • Analiza wyników pomiaru rezystancji uziemienia dla wybranych metod pomiarowych.

    Publikacja

    - Rok 2002

    Wynik pomiaru rezystancji uziemienia jest podstawą oceny skuteczności ochrony przeciwporażeniowej i odgromowej. Należy ze szczególną ostrożnością podchodzić do interpretacji wyników pomiarów, gdyż dokonana niewłaściwie może spowodować brak skuteczności ochrony przeciwporażeniowej bądź odgromowej.W referacie zaprezentowano problematykę związaną z oceną wyniku pomiaru rezystancji uziemienia przy zastosowaniu statycznych i...

  • Zastosowanie metod uczenia maszynowego w procesie rehabilitacji kończyny górnej

    Publikacja

    - Rok 2023

    Celem rozprawy jest opracowanie systemu opartego na metodach uczenia maszynowego, który w przyszłości pozwoli na zautomatyzowanie wybranych procedur w procesie rehabilitacji kończyny górnej. Nośnikiem informacji związanej ze stanem fizjologicznym pacjenta jest biologiczne sprzężenie zwrotne w postaci sygnałów elektromiografi powierzchniowej (ang. sufrace electromigraphy, sEMG). Przypuszcza się, że dzięki zastosowaniu sterowania...

    Pełny tekst do pobrania w portalu

  • Badanie metod i projektowanie usług lokalizacyjnych w sieciach radiokomunikacyjnych

    Publikacja

    - Rok 2012

    W pracy przedstawiono wybrane problemy lokalizowania obiektów w sieciach radiokomunikacyjnych, w tym komórkowych. W pierwszej kolejności zostały przedstawione nowe zasady budowy i działania systemu wywołania w niebezpieczeństwie na morzu, z wykorzystaniem infrastruktury sieci komórkowej. Na podstawie zebranych danych pomiarowych w warunkach morskich została opracowana nowa, bardziej dokładna metoda estymacji położenia terminala...

  • Wykorzystanie metod numerycznych do modelowania strat mocy w oponie

    Publikacja

    Praca stanowi wprowadzenie do zagadnienia strat mocy w oponie samochodowej wynikających z oporów toczenia. Autur stara się zbudować model opony pneumatycznej ze szczególnym uwzględniniem oporów toczenia. Przedstawiono opis celu pracy, prób stanowiskowych oraz wynikow.

  • Charakterystyka procesu ciągłej dewulkanizacji termomechanicznej z zastosowaniem metod doświadczalnych

    Publikacja

    - Przemysł Chemiczny - Rok 2013

    Badano proces termomechanicznej dewulkanizacji rozdrobnionych odpadów gumowych prowadzono przy użyciu wytłaczarki dwuślimakowej współbieżnej o specjalnej konfiguracji układu uplastyczniającej, umożliwiającego wywieranie znacznych sił ścinających na miał gumowy. W badaniach doświadczalnych zastosowano metodę powierzchni odpowiedzi RSM (response surface methodology). Wyznaczono modele matematyczne wyrażające zmienność właściwości...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Ochrona usług masowej dystrybucji multimediów z wykorzystaniem metod fingercastingu

    Publikacja

    W rozdziale przedstawione zostały problemy ochrony usług masowej dystrybucji treści multimedialnych w sieciach komputerowych przed kopiowaniem i nielegalnym rozpowszechnianiem multimediów, z wykorzystaniem metod fingerprintingu, a w szczególności podgrupy tych metod - metod fingercastingu. W odróżnieniu od innych metod fingerprintingu, metody fingercastingu wykorzystują połączenia grupowe (ang. multicast), co prowadzi do znacznego...

  • Wykorzystanie algorytmicznych i parametrycznych metod projektowania cyfrowego w urbanistyce

    Publikacja

    Opracowanie dotyczy rozwoju metod projektowania cyfrowego w skali urbanistycznej . Zaawansowane techniki komputacyjne stanowią wyzwanie i alternatywę dla znanych strategii planistycznych i konwencjonalnych planów urbanistycznych. W opracowaniu przytoczono przykładu nowatorskich projektów takich jak Kartal-Pendik Masterplan pracowni ZHA z 2006r.

  • Przegląd metod produkcji regeneratu gumowego oraz możliwości jego zastosowania

    Publikacja

    - Elastomery - Rok 2011

    Recykling materiałowy odpadów gumowych nabiera obecnie coraz większego znaczenia, stanowiąc alternatywę dla powszechnie stosowanego w Polsce odzysku energetycznego. W artykule zaprezentowano przegląd historyczny oraz obecny stan wiedzy w dziedzinie regeneracji odpadów gumowych. Publikacja zawiera charakterystykę najczęściej stosowanych metod dewulkanizacji odpadów gumowych oraz prezentuje możliwości wykorzystania regenerowanej...

  • ANALIZA PORÓWNAWCZA METOD WYZNACZANIA SZEROKOŚCI PASA RUCHU STATKU ŚRÓDLĄDOWEGO

    Publikacja

    - Rok 2016

    Żegluga śródlądowa w Polsce stanowi niewykorzystany potencjał. Możliwości przewozowe jakie posiadają rzeki są olbrzymie. Kluczowy problem stanowią parametry eksploatacyjne poszczególnych odcinków, które w znacznym stopniu ograniczają żeglowność szlaku. W związku z powyższym istotnego znaczenia nabiera wyznaczanie parametrów eksploatacyjnych śródlądowych dróg wodnych. W artykule dokonano charakterystyki śródlądowych dróg w Polsce....

  • Przegląd metod pomiaru temperatury przewodów linii napowietrznych wysokiego napięcia

    Publikacja

    - Rok 2016

    W artykule przedstawiono przegląd metod pomiaru temperatury napowietrznych linii wysokiego napięcia stosowanych w celu poprawy niezawodności eksploatacji i w celu wyznaczania dopuszczalnej obciążalności linii. Omówiono system DOL dynamicznej obciążalności linii oraz bezdotykowe metody pomiaru temperatury: pomiar z użyciem pasywnych czujników SAW (ang. Surface acoustic wave sensor), DTS (distributed temperature sensing) z wykorzystaniem...

  • Nośność graniczna oraz interpretacje metod bezpośrednich dla pali przemieszczeniowych

    Publikacja

    W ocenie możliwości przenoszenia przez pale obciążenia od projektowanych obiektów należy wykorzystywać pełną krzywą zależności obciążenie – osiadanie pala aż do wartości stanu granicznego. Problemem jest wybór miarodajnej metody określenie pełnej krzywej osiadania pala. W pracy przedstawiono różne podejścia obliczeniowe i interpretacje próbnych obciążeń statycznych oraz bezpośrednie metody analityczne oceny pracy pala w gruncie....

  • Osiadanie grupy pali w odniesieniu do współczesnych metod obliczeniowych

    Publikacja

    - Rok 2015

    W artykule omówiono zagadnienie osiadania fundamentów palowych obciążonych siłami pionowymi. Przedstawiono wykorzystywane na świecie metody obliczeniowe umożliwiające racjonalne oszacowanie osiadania pali w grupie. Metody wymieniono począwszy od prostych i mało dokładnych metod empirycznych po wyrafinowane techniki obliczeniowe, korzystające z metod numerycznych. Główny nacisk położono na nowoczesne metody analityczne, w obrębie...

  • Zastosowanie środowiska LabView do wspomagania metod eksperymentalnej analizy modalnej

    Publikacja

    - Rok 2017

    W artykule przedstawiono przykłady aplikacji napisanych w środowisku LabView i systemu pomiarowego, które wspomagają identyfikację własności dynamicznych obiektów metodami eksperymentalnej analizy modalnej. Opisano najważniejsze założenia, zastosowane techniki oraz rozwiązania kluczowych problemów napotkanych podczas tworzenia systemu pomiarowego. Trafność przyjętych rozwiązań została potwierdzona podczas użytkowania systemu w...

  • Przegląd metod szybkiego prototypowania algorytmów uczenia maszynowego w FPGA

    W artykule opisano możliwe do wykorzystania otwarte narzędzia wspomagające szybkie prototypowanie algorytmów uczenia maszynowego (ML) i sztucznej inteligencji (AI) przy użyciu współczesnych platform FPGA. Przedstawiono przykład szybkiej ścieżki przy realizacji toru wideo wraz z implementacją przykładowego algorytmu prze-twarzania w trybie na żywo.

    Pełny tekst do pobrania w portalu

  • ANALIZA EFEKTYWNOŚCI METOD GŁĘBOKIEGO UCZENIA W ODBIORZE SYGNAŁÓW GMSK

    Sztuczna inteligencja odnajduje coraz szersze zastosowanie we współczesnej radiokomunikacji, choć głównie w ujęciu badawczym. Niniejszy artykuł przedstawia przegląd i ewaluację metod z obszaru głębokiego uczenia umożliwiających detekcję sygnałów z modulacją GMSK (ang. Gaussian Minimum Shift Keying) w kanale AWGN. Badane modele porównane zostały z optymalnym detektorem pracującym zgodnie z regułą największej wiarygodności MLSE (ang....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Prognozowanie właściwości złączy spawanych pod wodą metodą lokalnej komory suchej

    Publikacja

    - Rok 2018

    Niniejsza praca jest poświęcona spawaniu pod wodą metodą lokalnej komory suchej (MLKS) i przedstawia metodologię oraz narzędzia umożliwiające prognozowanie właściwości złączy spawanych wykonanych przy zastosowaniu tej odmiany spawania. Monografia zawiera opis rozwoju spawania pod wodą oraz charakterystykę metod wykorzystywanych do realizacji prac spawalniczych. Zaproponowano nowy podział metod spawania pod wodą, uwzględniający...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Wytwarzanie cienkich warstw dla tlenkowych ogniw paliwowych metodą pirolizy aerozolowej

    Publikacja

    - Rok 2019

    Celem pracy doktorskiej były badania cienkich warstw wytworzonych za pomocą pirolizy aerozolowej na potrzeby tlenkowych ogniw paliwowych. Warstwy te miały spełniać funkcje ochronne dla dwóch zastosowań, jako bariera dyfuzyjna między katodą, a elektrolitem oraz jako warstwy ochronne dla stalowych interkonektorów pracujących w różnych atmosferach.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Identyfikacja prędkości fali elektromagnetycznej w przegrodach budowlanych diagnozowanych metodą georadarową

    Publikacja

    Praca jest poświęcona metodzie identyfikacji prędkości fali elek-tromagnetycznej na podstawie analiz dyfrakcji spowodowanych obecnością inkluzji w przegrodach budowlanych żelbetowych, ceglanych oraz zespolonych żelbetowo-ceglanych. Wyprowadzono trzy modele matematyczne opisujące dyfrakcje charakterystyczne dla inkluzji kołowej, pionowej inkluzji przy powierzchni skanowa-nia oraz granicy między dwoma ośrodkami, w którym jednym z...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych

    Publikacja

    - Rok 2017

    Bezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo...

    Pełny tekst do pobrania w portalu