Search
Filters
total: 4515
filtered: 3673
-
Catalog
- Publications 3673 available results
- Journals 4 available results
- People 139 available results
- Inventions 6 available results
- Projects 47 available results
- Laboratories 2 available results
- Research Teams 18 available results
- e-Learning Courses 593 available results
- Events 22 available results
- Open Research Data 11 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: METODY DZIEDZINOWE (DSM)
-
Możliwości modelowania w biomechanice = Modelling capabilities in biomechanics
PublicationOmówiono mozliwości modelowania w biomechanice. Zaprezentowano główne kierunki badań biomechanicznych oraz metody modelowania, w tym najbardziej popularne oprogramowania do symulacji komputerowej modeli biomechanicznych ciała człowieka. Przedstawiono metody wykorzystania programów komputerowych CHARM, SIMM oraz AnyBody System do utworzenia biomechanicznych modeli ramienia człowieka.
-
Binding free energy of selected anticancer compounds to DNA - theoreticalcalculations
PublicationPraca dotyczy swobodnej energii wiązania z DNA trzech związków o działaniu przeciwnowotworowym (mitoksantronu i dwóch pochodnych pirymidoakrydyny). Obliczenia wykorzystywały metody Poissona-Boltzmanna (udział elektrostatyczny) i metody SASA (udział nieelektrostatyczny). W wyniku badań zaproponowano struktury kompleksów jakie tworzą badane ligandy z DNA.
-
Physical and numerical modelling of flow pattern and combustion process in pulverized fuel fired boiler.
PublicationW pracy przedstawiono źródła powstawania toksycznych związków podczas procesu spalania, metody ich redukcji. Do tego zadania wykorzystano eksperymentalne modelowanie fizyczne i uzupełniono je modelowaniem numerycznym. Obie metody, techniki modelowania miały na celu optymalizację procesu spalania.Wyniki obliczeń numerycznych porównano z pomiarami.
-
Zastosowania sztucznej inteligencji w projektowaniu statków
PublicationZaprezentowano metodologię zastosowania sztucznej inteligencji w postaci sieci neuronowej oraz wnioskowania na podstawie przypadków w systemach wspomagania do projektowania statków. Prezentowane metody zostały zrealizowane w systemie ekspertowym wspomagania projektowania statków. Prezentowane metody zostały zrealizowane w systemie ekspertowym wspomagania projektowania automatyki okrętowej.
-
Polityka finansowa jednostek samorządu terytorialnego w zreformowanym systemie finansów publicznych
PublicationW artykule omówiono gospodarkę finansową i politykę finansową jednostek samorządu terytorialnego w Polsce. Wskazano na dotychczasowe metody stosowane przez samorządy i możliwości szerszego wykorzystania metody samofinansowania. Finanse samorządowe i ich stan są szczególnie ważnym problemem w warunkach korzystania ze środków unuijnych.
-
Zastosowanie technik chromatograficznych do badań charakterystyki fizykochemicznej czystych substancji i mieszanin
PublicationW pracy przedstawiono metody wyznaczania charakterystyki fizykochemicznej substancji czystych i ich mieszanin z zastosowaniem technik chromatograficznych. Opisano metodę destylacji symulowanej oraz techniki odwróconej chromatografii cieczowej i gazowej. Przedstawiono metody wyznaczania parametrów rozpuszczalności, entalpii adsorpcji, współczynnika podziału, porowatości, właściwości kwasowo-zasadowych.
-
Wykonanie skanowania terenu przy Urzędzie Wojewódzkim w Gdańsku wraz z opracowaniem raportu dla kontraktu: "Budowa wiaduktu Biskupia Górka w Gdańsku"
PublicationCelem opracowania jest wykonanie skanu obszaru w rejonie przyszłej inwestycji pn. "Wiadukt Góra Biskupia w Gdańsku" w poszukiwaniu możliwie występujących pod poziomem terenu zabytkowych zabudowań. W zakresie opracowania wykonano pomiary z użyciem metody georadarowej (GPR), badań elektrooporowych (ERT) oraz metody grawimetrycznej.
-
A method of vibration surveillance with a use of the optimal control at energy performance index and the acceleration feedback
PublicationDokonano twórczej modyfikacji metody nadzorowania drgań za pomocą sterowania optymalnego przy energetycznym wskaźniku jakości. Zaproponowano oryginalną modyfikację, która polega na bezpośrednim powiązaniu sygnału pomiarowego z akcelerometru i optymalnego sygnału sterującego. Przewidziano obiecujące perspektywy zastosowań praktycznych zmodyfikowanej metody do przypadków frezowania szybkościowego.
-
The crucial contemporary problems of the computational methods for ship propulsor hydrodynamics
PublicationPraca przedstawia krytyczny przegląd współczesnych metod obliczeniowych stosowanych do projektowania i analizy pracy pędników okretowych. Omówiono modele linii nośnej i powierzchni nośnej, a także metody elementów brzegowych i metody RANSE oraz LES. Przedstawiono przykładowe wyniki obliczeń oraz oceniono i porównano dokładność opisywanych metod.
-
On the use of instantaneous complex frequency for pitch and formant tracking.
PublicationW pracy opisano algorytm śledzenia częstotliwości podstawowej i formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. Działanie algorytmu przetestowano na nagraniach polskich samogłosek, których wysokość zmieniała się płynnie. Wyniki testów wraz z porównaniem działania opisanej metody i metody predykcji liniowej zawarto w artykule.
-
Porównanie metod montażu stalowych pionowych zbiorników walcowych
PublicationOmówiono dwie metody montażu zbiorników stalowych:- przez nadbudowę pierścieni blach płaszcza,- przez podbudowę pierścieni blach płaszcza.Trzecia metoda montażu - metoda rulonowa nie jest w pełni porównywalna z dwoma pierwszymi metodami ze względu na ograniczony zakres jej stosowania. Wskazano na przewagę metody montażu przez nadbudowę.
-
Zastosowania trójkątnych płytek w grafice komputerowej
PublicationPraca opisuje metody pokrywania trójkątnymi płytkami dowolnych powierzchni trójwymiarowych reprezentowanych przez siatki trójkątne. Omówione są znane metody konstruowania i układania trójkątnych płytek oraz ich optymalizacja algorytmami kolorowania grafów. Zaproponowana jest ulepszona hybrydowa metoda, umożliwiająca pokrycie dowolnej powierzchni wzorem, który wymaga kierunkowego uporządkowania.
-
Modele probabilistyczne w teorii projektowania i eksploatacji spalinowych siłowni okrętowych.
PublicationW monografii zaprezentowano oryginalne modele i metody projektowania okrętowych siłowni spalinowych, wykorzystujące charakterystyki probabilistyczne określające rzeczywiste warunki eksploatacji statków. Omówiono tematyczne bazy danych, podstawy teoretyczne i metody projektowania okrętowych układów energetycznych, efekty utylizacji ciepła odpadowego, wybrane problemy projektowania instalacji i wybrane zagadnienia eksploatacyjne.
-
Modelowanie układów napędu elektrycznego metodą grafów wiązań
PublicationW pracy przedstawiono wybrane elementy metody grafów wiązań w zastosowaniu do modelowania i symulacji dynamiki układów napędu elektrycznego (UNE). Przykładowe badania symulacyjne wykonano z zastosowaniem programu 20-sim. Celem pracy jest także popularyzacja metody grafów wiązań wśród inżynierów elektryków zajmujących się UNE.
-
A two-scale numerical approach to granular systems
PublicationW artykule zaprezentowano wyniki dwuskalowego numerycznego podejścia do materiałów granulowanych. Na poziomie mikro materiał był modelowany przy zastosowaniu metody elementów dyskretnych, natomiast na poziomie makro przy zastosowaniu metody elementów skończonych na bazie macierzy sztywności wyznaczonej na podstawie naprężeń i odkształceń na poziomie mikro.
-
Modelling of concrete fracture at aggregate level using FEM and DEM based on X-ray uCT images of internal structure
PublicationArtykuł podejmuje problem pękania w zginanych belkach betonowych. Proces pękania był obserwowany przy zastosowaniu mikrotomografii . Zaobserwowany proces był symulowany numerycznie przy zastosowaniu metody elementów skończonych i metody elementów dyskretnych. Beton był opisany jako materiał 4-fazowy. Otrzymano dobrą zgodność wyników numerycznych z doświadczalnymi.
-
The methods of braking forces measurement for e mechanical vehicle
PublicationPrzedstawiono metody pomiaru sił hamowania pojazdów samochodowych.
-
Wypływki PE
PublicationPublikacja opisuje metody kontroli jakości połączeń zgrzewnych.
-
A Method Supporting Monitoring And Repair Processes of Information Systems
PublicationW pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...
-
A parametric method for evaluation of resistance of swath ships
PublicationArtykuł zawiera sformułowania metody parametrycznej służącej do wyznaczania oporu kadłuba statku o konfiguracji swath. Metodę opracowano opierając się na rezultatach obliczeń numerycznych, uzyskanych metodami strukturalnymi, wywiedzionymi ze sformułowań teoretycznej hydromechaniki okrętu, wykonanych na dostatecznie licznej serii kształtów kadłuba, o systematycznie uzmiennianych parametrach kształtu. Następnie przedstawiono rezultaty...
-
Method to solve the non-linear systems of equations for steady gradually varied flow in open channel network.
PublicationW artykule omówiono rozwiązanie systemu równań nieliniowych opisujacych przepływ ustalony wolnozmienny w sieci kanałów otwartych. Niewiadomymi są glębokości w poszczególnych przekrojach oraz natężenia przepływów w poszczególnych gałęziach systemu. Układ musi być rozwiązywany iteracyjnie. Klasyczne metody Picarda i Newtona mogą okazać się nieskuteczne ze względu na oscylacje rozwiązania w kolejnych iteracjach i związany z tym brak...
-
Turbina wiatrowa jako element systemu radiolokalizacyjnego
PublicationW referacie zaproponowano wykorzystanie turbiny wiatrowej do umieszczenia elementów systemu radiolokalizacyjnego do określania położenia obiektów latających. Zaproponowane rozwiązanie umożliwia osza-cowanie położenia obiektu w przestrzeni, zwłaszcza w ruchu, za pomocą sygnałów lokalizacyjnych nadawanych jednocześnie z wybranych punktów konstrukcyjnych turbiny. Przedstawiono matematyczną analizę metody oraz algorytm Chana (CA) do...
-
Szacowanie niepewności funkcji przetwarzania przetwornika LEM CT -5T metodą Monte Carlo
PublicationW referacie zaprezentowano metodologię szacowania niepewności funkcji przetwarzania przetwornika prądowego, na przykładzie przetwornika LEM CT-5T, przy zastosowaniu metody opartej na Przewodniku GUM z zastosowaniem prawa propagacji niepewności oraz metody numerycznej Monte Carlo. Przedstawiono szczegółową analizę doboru rozkładu wielkości wejściowej. W przypadku metody Monte Carlo dobór rozkładu wielkości wejściowych jest bardzo...
-
Szacowanie niepewności funkcji przetwarzania przetwornika LEM CT -5T metodą Monte Carlo
PublicationW referacie zaprezentowano metodologię szacowania niepewności funkcji przetwarzania przetwornika prądowego, na przykładzie przetwornika LEM CT-5T, przy zastosowaniu metody opartej na Przewodniku GUM, z zastosowaniem prawa propagacji niepewności oraz metody numerycznej Monte Carlo. Przedstawiono szczegółową analizę doboru rozkładu wielkości wejściowej. W przypadku metody Monte Carlo dobór rozkładu wielkości wejściowych jest bardzo...
-
Excavation induced cast iron pipeline failure – a numerical study
PublicationNumerical study on impact of an unsecured excavation on an underground pipeline. Analysis focused on investigation of pipeline displacement generated by soil movement caused by excavation and heavy traffic. Numerical calculations and soil parameter sensitivity analysis based on Finite Element Method. Some comparisons of results with real-life failure cases.
-
Verification of multiband system for non-contact emissivity measurements
PublicationW pracy przeprowadzono weryfikację wielopasmowej pasywnej metody pomiaru emisyjności obiektu na drodze eksperymentalnej. W oparciu o zrealizowane stanowisko pomiarowe dokonano pomiarów emisyjności wybranych obiektów. Uzyskano dobrą zgodność wyników pomiarów z wynikami wcześniejszej komputerowej analizy systemu. Potwierdziło to przydatność wielopasmowej metody do pomiaru emisyjności w warunkach roboczych.
-
A method for determination of fuel oil consumption saving by stepvise differetiating loads on ship diesel engines running in paralel.
Publicationprzedstawiono metodykę wyznaczania oszczędniości w zużyciu paliwa dla silników pracujących na wspólną sieć w wyniku różnicowania ich obciążeń oraz stosowania metody krokowych zmian obciążenia. znajomość charakterystyk zużycia paliwa poszczególnych silników oraz histogramu rozkładu obciążeńeksploatacyjnych pozwala po zastosowaniu proponowanej metody na wyznaczanie oszczędności w zuzyciu paliwa.
-
Szerokopasmowy model uogólnionego łącznika energoelektronicznego
PublicationPrzedstawiono rezultat wstępnych prac nad modelem IGBT przydatnym do symulacji wymagających odwzorowania stanów dynamicznych tranzystora. Zrezygnowano z metody potencjałów węzłowych na rzecz metody zmiennych stanu. Sprawdzono zachowanie klasycznego modelu z nieliniowymi pojemnościami zaciskowymi, których charakterystyki dobrano na podstawie danych katalogowych. Przedstawiono przykład rozszerzenia modelu.
-
Prognozowanie zapotrzebowania na energię elektryczną na etapie projektu wstępnego statku.
PublicationPrzedstawiono metody wyznaczania zapotrzebowania na energię elektryczną na statkach, celem doboru wielkości i ilości źródeł energii elektrycznej. Scharakteryzowano metody dotychczas stosowane oraz zaprezentowano nową metodę analityczno-wskaźnikową pozwalającą na określanie zapotrzebowania na energię wytypowanych grup odbiorników przy znajomości ich mocy zainstalowanych oraz współczynników wykorzystania.
-
Parametric method of preliminary prediction of the ship building costs
PublicationPrzedstawiono założenia koncepcyjne i teoretyczne metody, opracowano wzory aproksymacyjne służące odpowiednio do wyznaczania jednostkowych kosztów budowy: kadłuba, wyposażenia okrętowego oraz siłowni z układem napędowym. Utylitarny charakter metody zilustrowano przykadami prognoz kosztów budowy czterech różnych typów statków zaprojektowanych w ramach projektu EUREKA BALTECOLOGICALSHIP E!3065.
-
Diagnostyka uszkodzeń żelbetowej, monolitycznej ściany w realizowanym budynku wielorodzinnym
PublicationW artykule przedstawiono przypadek uszkodzeń żelbetowej, monolitycznej ściany, do którego doszło podczas demontażu systemowych szalunków prefabrykowanych. W miejscu uderzenia beton uległ wykruszenia, poniżej przy górnej części ściana rozwarstwiła się. Wykonane badania diagnostycze za pomocą metody ultradźwiękowej umożliwiły określenie zakresu uszkodzenia i opracowani optymalnej metody naprawy
-
Ocena jakości superkondensatorów wybranymi metodami, wykorzystując zjawiska losowe i badania rozkładu temperatury
PublicationW artykule przedstawiono metody analizy jakości wykonania próbek superkondensatorów na podstawie pomiarów szumów generowanych w ich strukturach oraz rozkładów temperatury na ich powierzchni. Prezentowane metody zostały porównane z obecnie stosowanymi parametrami oceny jakości tych elementów. Wyniki uzasadniają wprowadzenie dodatkowych parametrów, pozwalających oceniać jakość superkondensatorów.
-
Periodic stick-slip deformation of granular material under quasi-static conditions
PublicationArtykuł omawia wyniki porównawcze między doświadczeniami z użyciem metody korelacji obrazów cyfrowych (DIC) a symulacjami z użyciem metody elementów dyskretnych (DEM) dla problemu przesuwającej się sztywnej ścianki w piasku. W doświadczeniach zaobserwowano w piasku deformację typu slip-stick, która nie została odtworzona w obliczeniach DEM..
-
Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą
PublicationRozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...
-
Warstwowa ocena epidemiologiczna architektury zakładów opiekuńczo-leczniczych i zakładów gieriatycznych = Layer based epidemiological quality assessment of architecture of care security and geriatric wards
PublicationW artykule opisano możliwość wykorzystania autorskiej metody warstwowej oceny epidemiologicznej (WOE) do oceny potencjalnego ryzyka zakażeń w obiektach przeznaczonych dla osób starszych. Materiał i metody: W celu weryfikacji możliwości użycia metody WOE do oceny zagrożeń w zakresie bezpieczeństwa epidemiologicznego środowiska zbudowanego poddano analizie dostępne źródła literatury związane z obowiązującymi w Polsce wymaganiami...
-
Ocena uziemień odgromowych według aktualnych przepisów normalizacyjnych
PublicationW artykule zostały omówione procedury i wymagania stawiane systemom uziemień przez przepisy normalizacyjne z punktu widzenia ich skuteczności w systemie ochrony odgromowej. Podstawą takich ocen są pomiary z zastosowaniem metody udarowej lub wysokoczęstotliwościowej. W przypadku metody udarowej przeanalizowano wpływ czasu czoła udaru testującego na otrzymane wyniki.
-
A comparative evaluation of PCR ribotyping and ERIC PCR for determining the diversity of clinical Pseudomonas aeruginosa isolates
PublicationW pracy porównano dwie metody stosowane do badania różnorodności genetycznej drobnoustrojów. Modelem do badań była grupa 62 klinicznych izolatów bakterii P. aeruginosa. Zdecydowanie wyższy potencjał różnicujący stwierdzono w przypadku metody ERIC PCR, której zastosowanie pozwoliło na wyodrębnienie 36 różnych genotypów. W przypadku rybotypowania wyróżniono tylko 9 genotypów.
-
Analysis of volatile oxidation products in rapeseed oil
PublicationCelem pracy było opracowanie metody umożliwiającej określenie stabilności oksydatywnej oleju rzepakowego na podstawie analizy lotnych produktów utleniania lipidów. Na etapie opracowywania metody dobrano optymalne parametry ekstrakcji lotnych analitów techniką SPME. Przeprowadzono również elementy walidacji tej procedury. Zaproponowano też substancje markerowe mogące posłużyć za wyróżniki procesu utleniania lipidów.
-
Reprezentacje dynamiczne podpisu odręcznego
PublicationZdefiniowano zespolone reprezentacje dynamiczne podpisu składanego odręcznie, zarejestrowanego za pomocą tabletu graficznego. Przedstawiono metody uzyskiwania tych reprezentacji oraz metody wspomagające ocenę zgodności aktualnych podpisów z wzorcem. Omówiono również zalety i wady tych metod. Zaprezentowano wyniki działania oryginalnych algorytmów przetwarzania i podejmowania decyzji, zaimplementowanych w środowisku MATLAB.
-
Derivation of continuous explicit two-step Runge-Kutta methods oforder three
PublicationW pracy podana jest konstrukcja ciągłych rozszerzeń dla nowych reprezentacji dwukrokowych metod Rungego-Kutty rzędu trzeciego. Podane zostały metody oceny błędu lokalnego metody oraz opisany został sposób implementacji tych metod dla zmiennego kroku. Przeprowadzono szereg eksperymentów numerycznych pokazujących ich efektywność i konkurencyjność dla programu dde23 z Matlabu.
-
Oznaczanie fazy stałej w tłuszczach. Determination of solid fat content in fats.
PublicationW pracy dokonano przeglądu metod oznaczania indeksu fazy stałej (SFI - solid fat index) oraz zawartości fazy stałej (SFC - solid fat content) w tłuszczach. Obok metody NMR, obecnie powszechnie stosowanej i zalecanej przez normy, przedstawiono też inne metody analityczne które stosowano, lub stosuje się do tego typu analiz.
-
Optimization of development of district heating system
PublicationZaprezentowano metody optymalizacji systemów ciepłowniczych. Przedstawiono metodę oraz algorytm optymalizacji rozwoju systemu, obejmujący wszystkie jego elementy w formie oddzielnych modułów. Sformułowane zadanie optymalizacji dla wybranego regionu miejskiego rozwiązano z wykorzystaniem programowania liniowego całkowitoliczbowego. Dokonano analizy wyników oraz wskazano na użyteczność metody oraz kierunki i możliwości jej zastosowania.
-
Wytwarzanie Nanokrystalicznego Tytanianu Strontu do Tlenkowych Ogniw Paliwowych
PublicationKorzystając z dwóch metod: metody mielenia w fazie stałej, a następnie wygrzewania w niskiej temperaturze (600 °C) oraz standardowej metody syntezy w fazie stałej wytworzono tytanian strontu domieszkowany niobem. Na podstawie analizy widm dyfraktometrii rentgenowskiej określono czystość fazową oraz korzystając z równania Scherrera wyznaczono wielkość krystalitów wytworzonego materiału.
-
A Novel Modal Technique for Time and Frequency Domain Analysis of Waveguide Components
PublicationW pracy zaprezentowano, nową i szybką metodę analizy komponentów falowodowych. Metoda opiera się na kombinacji metody różnic skończonych, metody dekompozycji dziedziny obliczeniowej, redukcji rzędu modelu oraz dyskretnych rozwinięć funkcyjnych. Przedstawiona technika pozwala na skrócenie czasu analizy układu nawet o dwa rzędy wielkości w stosunku do poprzednich algorytmów.
-
Ocena uziemień odgromowych według aktualnych przepisów normalizacyjnych
PublicationW artykule zostały omówione procedury i wymagania stawiane systemom uziemień przez przepisy normalizacyjne z punktu widzenia ich skuteczności w systemie ochrony odgromowej. Podstawą takich ocen są pomiary z zastosowaniem metody udarowej lub wysokoczęstotliwościowej. W przypadku metody udarowej przeanalizowano wpływ czasu czoła udaru testującego na otrzymane wyniki.
-
Symulacja przetworników z wyjściowym sygnałem impulsowym modulowanym częstotliwościowo
PublicationTematem artykułu jest generacja sygnałów impulsowych modulowanych częstotliwościowo. Przedstawiono metodę wyznaczenia położenia kolejnych impulsów sygnału dla przykładowych przebiegów. Podano możliwości realizacji metody w postaci przyrządu wirtualnego oraz urządzenia mikroprocesorowego. Przedstawione metody mogą być wykorzystane do symulacji przetworników pomiarowych z wyjściem częstotliwościowym w trakcie testowania systemów...
-
Szacowanie liczby roszczeń w działalności towarzystwa ubezpieczeniowego w oparciu o metodę zagospodarowania poniesionych strat
PublicationW publikacji omawia się znaczenie prognoz w zarządzaniu przedsiębiorstwem, klasyfikacje metod prognozowania ryzyka i szacowania jego wielkości poprzez wykorzystanie prognozy, ryzyko w działalności firmy ubezpieczeniowej, metody ilościowe w szacowaniu ryzyka działalności ubezpieczeniowej i roszczenia. Prezentuje się również przykład wykorzystania metody zagospodarowania poniesionych strat do oszacowania liczby roszczeń.
-
Badanie algorytmów ekstrakcji tonu krtaniowego w śpiewie.
PublicationReferat opisuje dwie główne metody ekstrakcji tonu krtaniowego w śpiewie. Obie metody oparte są o filtrację odwrotną sygnału, ale rozróżnia je sposób aproksymacji charakterystyki częstotliwościowej traktu głosowego. Pierwsza metoda opiera się na wygładzaniu cepstralnym, druga na aproksymacji charakterystyki formantowości metodą predykcji liniowej. W referacie omówiono algorytm detekcji tonalności i automatycznego wyboru analizowanej...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Direct detection of quantum entanglement
PublicationBasing on positive maps separability criterion we propose the experimentally viable, direct detection of quantum entanglement. It is efficient and does not require any a priori knowledge about the state. For two qubits it provides a sharp (i.e., “if and only if”) separability test and estimation of amount of entanglement. We view this method as a new form of quantum computation, namely, as a decision problem with quantum data structure.