Wyniki wyszukiwania dla: DOG - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: DOG

Filtry

wszystkich: 20586
wybranych: 15063

wyczyść wszystkie filtry


Filtry wybranego katalogu

  • Kategoria

  • Rok

  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Wyniki wyszukiwania dla: DOG

  • Problemy napędów maszyn do konfekcjonowania folii opakowaniowych.

    Publikacja

    - Rok 2004

    Przedstawiono konstrukcje maszyn do konfekcjonowania folii stretch, samoprzylepnej i wstępnego rozciągania. Problemem jest napęd wałów rozciągających folię. Pokazano złożony napęd w maszynie do konfekcjonowania folii samoprzylepnej.

  • Warunki wprowadzania ścieków do wód lub ziemi.

    Publikacja

    - Rok 2004

    Omówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.

  • Wstępne przetwarzanie dźwięku przeznaczonego do odsłuchu wielokanałowego.

    Publikacja

    - Rok 2004

    W pracy opisano opracowane metody wstępnego przetwarzania plików dźwiękowych przeznaczonych do odsłuchu w systemie wielokanałowym. Umożliwiają one synchronizację i normalizację głośności. Normalizacja uwzględnia wpływ położenia głośników w panoramie odsłuchowej. Opis metod poprzedza krótka analiza głównych mechanizmów odpowiedzial-nych za lokalizację dźwięku przez człowieka.

  • System pomiarowo-informacyjny dla urządzenia do mikrotunelingu

    Publikacja

    Przedstawiono opracowany i wykonany przez autorów system pomiarowy do wizualizacji stanu pracy urządzenia do bezwykopowego wykonywania rurociągów podziemnych. Opisano modułową budowę systemu. Omówiono możliwości rejestracji zmian najważniejszych parametrów w czasie wykonywania tunelu.

  • Modelowanie sieci wodociągowych - podejście do problemu szkieletyzacji

    Publikacja

    W referacie przedstawiona została propozycja podejścia do upraszczania schematu sieci wodociągowych nazywanego szkieletyzacją (ang. skeletonization). Istota szkieletyzacji sprowadza się do zastąpienia określonego rzeczywistego fragmentu struktury sieci wybraną strukturą zastępczą. Uproszczony drogą szkieletyzacji schemat sieci jest podstawą budowy modeli matematycznych wykorzystywanych w zadaniach podejmowania decyzji, sterowania...

  • Amerykańskie dążenia do zwalczania korupcji w budownictwie

    Publikacja

    - Rok 2005

    Przedstwawiono praktyczne działania Amerykańskiego Towarzystwa Inżynierów Budownictwa (ASCE), ukierunkowane na zwalczanie plagi korupcji w USA i w wymiarze globalnym.

  • Układ do wzorcowania mierników impedancji pętli zwarciowej

    Publikacja

    Mierniki impedancji pętli zwarciowej stosowane są do sprawdzania skuteczności ochrony przeciwporażeniowej w sieciach niskiego napięcia. Znane układy i urządzenia do wzorcowania mierników impedancji pętli zwarciowej mają ograniczenia wynikające ze skończonej wartości impedancji wewnętrznej źródeł zasilania. W artykule przedstawiono sposób i układ umożliwiający dokładne wzorcowanie mierników impedancji nawet o małym zakresie pomiarowym.

  • Wykorzystanie zasobów radiowych do planowania sieci UMTS

    Publikacja

    - Rok 2005

    Przedstawiono wyniki badań symulacyjnych zjawiska przenoszenia pojemności pomiędzy różnymi warstwami hierarchicznej struktury komórek w sieci UMTS. Wskazano własności systemu umozliwiające dynamiczne kształtowanie jego pojemności w różnych warunkach operacyjnych. Wykorzystanie opisanych mechanizmów może prowadzić do zwiększenia efektywności oraz racjonalizacji wykorzystania zasobów radiowych oraz zwiększenia dostępnej pojemności.

  • Projekt DESYME - środowisko do tworzenia usług mobilnych

    Publikacja

    - Rok 2005

    Przedstawiono cele, aspekty techniczne i strukturę programu europejskiego DESYME. Przeanalizowano aktualny stan techniki i trudności, na jakie napotykają podmioty usiłujące wykorzystać techniki mobilne w swych przedsięwzięciach. Przedstawiono potencjalne korzyści płynące z implementacji w tych warunkach wyników projektu DESYME. Skrótowo przedstawiono architekturę proponowanych rozwiązań oraz wykorzystywane techniki. Przedstawiono...

  • Wykorzystanie odpadów do prowadzenia szklarniowych upraw rolnych.

    Przedstawiono sposób wykorzystania odpadów organicznych do otrzymywania biogazu, który jest źródłem zaopatrzenia w energię szklarni.

  • Zastosowanie promieniowania mikrofalowego do kondycjonowania osadów ściekowych.

    W pracy przedstawiono wyniki badań specjacji metali ciężkich w wybranych osadach ściekowych pochodzących z oczyszczalni ścieków w Gdańsku. Do oceny form występowania metali ciężkich w osadach ściekowych zastosowano metodykę sekwencyjnej eksteakcji chemicznej. Na podstawie uzyskanych wyników oceniono stopień potencjalnego zagrożenia środowiska spowodowanego obecnością metali ciężkich w osadach ściekowych.

  • Prędkość podchodzenia statków do morskich konstrukcji hydrotechnicznych.

    Artykuł zawiera propozycje zmian istniejących zaleceń w zakresie określenia prędkości podchodzenia statków do nabrzeży, pomostów, pirsów, dalb. itp. Stwierdza się, ze istniejące zalecenia zakładają zbyt duże prędkości statków w zależności od warunków środowiskowych i wyporności statków co prowadzi do przewymiarowywania urządzeń odbojowych. W przedstawionych propozycjach prędkości te są znacznie mniejsze.

  • Nowoczesne urządzenia do badania tekstury nawierzchni drogowej

    Publikacja

    - Rok 2004

    Dokonano przeglądu urządzeń do badania tekstury nawierzchni drogowej różnymi metodami. Opisano urządzenia dawniej stosowane (badania metodą wolumetryczną oraz metodą wypływu cieczy), natomiast szerzej przedstawiono nowoczesne metody badań metodą profilometryczną. Zaprezentowano także nowoczesne urządzenia trójwymiarowe do pomiaru tekstury - system T3D. Przeanalizowano wady i zalety poszczególnych urządzeń do różnych zastosowań.

  • Zastosowanie metod śledzenia wielohipotetycznego do inicjacji tras.

    Publikacja

    W pracy przedstawiono algorytm śledzenia wielohipotetycznego i jego zastosowanie do inicjalizacji tras wielu obiektów oraz inicjalizacji tras nowych obiektów oddzielających się od już śledzonego obiektu. Badania symulacyjne zaprezentowanego algorytmu przeprowadzono dla dwóch sytuacji: inicjalizacji tras dwóch obiektów znajdujących się blisko siebie oraz inicjalizacji trasy obiektu oddzielającego się od obiektu, dla którego...

  • Decymator do przetwornika A/C typu ä(delta)

    Publikacja

    - Rok 2003

    Artykuł opisuje projekt decymatora wykorzystywanego w przetworniku analogowo-cyfrowym typu ä(trójkt). Zaprojektowana struktura została zasymulowana zza pomocą programu MATLAB. Rozwijając architekturę decymatora szczególny nacisk został położony na minimalizację pobieranej mocy.

  • Zastosowanie promieniowania mikrofalowego do kondycjonowania osadów ściekowych

    Publikacja

    Praca dotyczy możliwości wspomagania procesu odwadniania komunalnych osadów ściekowych przy pomocy promieniowanie mikrofalowego. Przedstawiono wyniki badań parametrów charakteryzujących podatność osadów na odwadnianie (opór właściwy, czas ssania kapilarnego, zawartość suchej masy po odwirowaniu) uzyskane w okresie XI 1999-II 2002 dla trzech rodzajów osadów z oczyszczalni ścieków "Wschód" w Gdańsku. Porównano wyniki uzyskane dla...

  • Urządzenia do badania oporu toczenia nawierzchni drogowej

    Publikacja

    - Rok 2004

    Omówiono metody badania oporu toczenia nawierzchni drogowych. Przedstawiono unikatową przyczepę doświadczalną zbudowaną w Katedrze Pojazdów i Maszyn Roboczych Politechniki Gdańskiej, umożliwiającą badanie oporu toczenia nawierzchni drogowej metodą przyczepową. Mając dobrane opony testowe (wzorcowe, referencyjne) można klasyfikować nawierzchnie drogowe pod względem ich oporu toczenia.

  • Stanowisko diagnostyczne do badania charakterystyk robotów przemysłowych

    Publikacja

    - Rok 2003

    Przedstawiono projekt zbudowanego stanowiska diagnostycznego oraz opisano metodę pomiaru wybranych charakterystyk robotów przemysłowych zgodnie z zakładową normą Przemysłowego Instytutu Automatyki i Pomiarów, ZN-88/MERA-18/255, która podaje wymagania i określa przebieg badań robota przemysłowego IRB-6. Omawiana metoda diagnostyczna umożliwia wyznaczenie dwóch rodzajów charakterystyk funkcjonalnych robota: dokładności pozycjonowania...

  • Plomba w betonie. Systemy do naprawy kanalizacji

    Publikacja

    Nowoczesne rozwiazania stosowanych w kanalizacji systemów naprawczych.

  • Zastosowanie standardowego zasilacza łuku do zrobotyzowanego spawania.

    Publikacja

    - Rok 2004

    Przedstawiono stanowisko do zrobotyzowanego spawania elektrodą topliwą w osłonach gazów ochronnych. Opracowano technologię wykonywania spoin pachwinowych o grubościach 2,5 do 4,0mm we wszystkich pozycjach z użyciem drutu proszkowego z wypełnieniem rutylowym przy zmianie tylko jednego parametru, to jest szybkości spawania. Opisano modyfikację układów standardowego zasilacza łuku i podajnika drutu elektrodowego celem umozliwienia...

  • Korozja i wnikanie wodoru do stali 26H2MF

    Publikacja

    Przedstawiono wyniki badań korozyjnych wykonanych technikami potencjodynamiczną oraz impedancyjną w roztworach kwasu siarkowego o różnym stężeniu i w paliwie ciężkim dla stali stopowej. Stwierdzono, że mechanizm korozji i jej szybkość zależą wyraźnie od środowiska. Wykazano, że ilość wnikającego wodoru jest wystarczająca do uzyskania stężenia niezbędnego do przebiegu procesu pękania wodorowego.

  • Wykorzystanie energii wod podziemnych do celów ciepłowniczych.

    Publikacja

    - Rynek Energii - Rok 2002

    Przedstawiono wybrane przykłady zagospodarowania, do celów ciepłowniczych,zasobów energii wód podziemnych, charakteryzując bliżej zastosowany układ technologiczny źródła ciepła.

  • Platforma edX - nowe podejście do kursów online

    Współczesne metody nauczania na odległość zmieniają się dynamicznie. Powstają światowe konsorcja podejmujące starania zapewnienia dostępu do edukacji na najwyższym poziomie z wykorzystaniem Internetu. Jedną z takich prób jest platforma edX. Jej rozwój zapoczątkowały niemal 2 lata temu MIT i Harvard. Obecnie zespół liczy już 30 uczelni z całego świata. Renoma ośrodków naukowych biorących udział w projekcie przyciągnęła już ponad...

    Pełny tekst do pobrania w portalu

  • Zastosowanie metody georadarowej do badań konstrukcji żelbetowych

    Publikacja

    - Rok 2014

    W pracy przedstawiono zastosowanie metody georadarowej do diagnostyki konstrukcji żelbetowych. Metoda GPR (z ang. ground penetrating radar) należy do grupy badań nieniszczących NDT (z ang. nondestructive testing). Jest ona powszechnie stosowana m. in. w archeologii, geologii i budownictwie. Dzięki tej metodzie możliwa jest identyfikacja warstw geologicznych, podziemnej infrastruktury a także zbrojenia i potencjalnych uszkodzeń...

  • Biotesty - narzędzia do oceny stopnia zanieczyszczenia środowiska

    W dobie szybkiego postępu technologicznego oraz nierozerwalnie związanego z nim wzrostu antropopresji coraz więcej uwagi należy poświęcić monitoringowi stanu środowiska.

  • Od City Beautiful Movement do Nowego Urbanizmu

    Publikacja

    Praca obejmuje omówienie zjawiska znanego pod nazwą "urbanistyki klasycyzującej" oraz jej historycznych źródęł XIX-wiecznych. Omówiono m.in. City Beautifull Movement oraz jego konsekwencje dla kształtowania współczesnej szkoły "nowego urbanizmu"

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Wprowadzenie do modelowania MES w programie SOFISTIK

    Monografia zawiera materiał przeznaczony dla studentów kierunku budownictwo wyższych uczelni technicznych oraz inżynierów praktyków, którzy chcieliby poznać podstawy posługiwania się Metodą Elementów Skończonych (MES) wykorzystując w tym celu program SOFiSTiK. Wskazano pewne ogólne zasady obowiązujące w obliczeniach MES oraz przedstawiono wybrane aspekty technicznej strony użytkowania pre- i postprocesora systemu w odniesieniu...

  • Monowarstwowe narzędzia diamentowe do obróbek ścierno-polerskich.

    Publikacja

    - Rok 2016

    Przedstawiono konstrukcję i wytwarzania oraz obszary zastosowań narzędzi diamentowych, które charakteryzują się budową monowarstwową. Taka budowa zapewnia bardziej efektywne wykorzystanie ostrzy diamentowych. Powierzchnia czynna narzędzia jest odwzorowaniem kształtu korpusu, co umożliwia szlifowanie przedmiotów o skomplikowanych kształtach.

  • Zastosowanie próby implant do oceny spawalności stali

    Praca dotyczy oceny spawalności stali o podwyższonej i wysokiej wytrzymałości w aspekcie eksperymentalnego określania skłonności do tworzenia pęknięć zimnych. W artykule opisano metodykę określania wrażliwości na pękanie próbą implant. Przedstawiono również proponowane w literaturze i autorskie sposoby opracowywania i przedstawiania wyników badań rozpatrywaną metodą i ich interpretacji.

    Pełny tekst do pobrania w portalu

  • Monowarstwowe narzędzia diamentowe do obróbki ścierno-polerskiej.

    Publikacja

    - Mechanik - Rok 2016

    Przedstawiono budowę, sposób wytwarzania i obszary zastosowania narzędzi diamentowych o konstrukcji monowarstwowej. Taka budowa zapewnia bardziej efektywne wykorzystanie ostrzy diamentowych. Powierzchnia czynna narzędzia jest odwzorowaniem kształtu, co umożliwia szlifowanie przedmiotów o skomplikowanych kształtach.

    Pełny tekst do pobrania w portalu

  • Wykorzystanie metod akustycznych do monitoringu środowiska morskiego

    Publikacja

    W artykule przedstawiono metody i urządzenia wykorzystywane podczas obserwacji środowiska morskiego. Celem artykułu jest pokazanie możliwości odwzorowania środowiska morskiego w zależności od typu urządzenia, jego zasady działania i parametrów technicznych. Pokazane zostaną sposoby zobrazowania podwodnego za pomocą stosowanych obecnie w hydroakustyce urządzeń. Artykuł zawiera opis najczęściej stosowanych systemów wykorzystujących...

  • Jak dostosować budynki drewniane do przepisów pożarowych ?

    Publikacja

    W artykule zaprezentowano możliwości dostosowania budynków do przepisów przeciwpożarowych ze względu na odporność ogniową. Przedstawione możl i- wości są przykładowymi rozwiązaniami wpływającymi na zwiększenie wytrzymałości pożarowej drewnianych elementów obi ektów. Są to elementy czynnej i biernej ochrony pożarowej, które w różny sposób ingerują w strukturę budynku.

    Pełny tekst do pobrania w portalu

  • Urządzenia nasobne do monitorowania układu sercowo-naczyniowego

    Choroby układu sercowo-naczyniowego są najczęstszą przyczyną zgonów na świecie. Rozszerzenie tradycyjnych metod diagnostyki i monitorowania pacjentów (EKG, Holter EKG) o dodatkowe biosygnały, oraz zastosowanie zaawansowanych metod analizy zarejestrowanych danych pozwoli na wczesną reakcję na wystąpienie epizodów zagrażających zdrowiu lub życiu pacjenta. W poniższej pracy zaprezentowano dwa urządzenia nasobne do monitorowania systemu...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Zastosowanie homogenizacji do modelowania ceglanych konstrukcji zabytkowych

    Publikacja

    - Rok 2016

    W pracy przedstawiono metodę określania podstawowych parametrów wytrzymałościowych zabytkowego muru ceglanego. Zastosowano badania eksperymentalne, aby określić podstawowe parametry wytrzymałościowe cegieł. Uzyskane wyniki porównano z wartościami wymienianymi w literaturze. Tak uzyskane wartości wprowadzono do algorytmu homogenizacyjnego umożliwiającego obliczenie parametrów wytrzymałościowych muru jako materiału jednorodnego (zhomogenizowanego)....

  • Urządzenia nasobne do monitorowania układu sercowo-naczyniowego

    Publikacja

    Choroby układu sercowo-naczyniowego są najczęstszą przyczyną zgonów na świecie. Rozszerzenie tradycyjnych metod diagnostyki i monitorowania pacjentów (EKG, Holter EKG) o dodatkowe biosygnały, oraz zastosowanie zaawansowanych metod analizy zarejestrowanych danych pozwoli na wczesną reakcję na wystapienie epizodów zagrażających zdrowiu lub życiu pacjenta. W poniższej pracy zaprezentowano dwa urządzenia nasobne do monitorowania systemu...

  • Użytkowy model matematyczny quadrocoptera do celów sterowania

    Celem pracy jest budowa użytkowego modelu matematycznego quadrocoptera (QC) z uwzględnieniem urządzeń wykonawczych (UW) oraz identyfikacja jego parametrów. Zadanie identyfikacji sprowadzono do rozwiązania trzech zadań optymalizacji. Wynikiem prac jest model QC uwzględniający wpływ zmian napięcia zasilania na działanie UW.

    Pełny tekst do pobrania w portalu

  • Okna w Gdańsku od średniowiecza do współczesności

    Publikacja
    • K. Darecka

    - Rok 2016

    Publikacja dotyczy historii stolarki okiennej w Gdańsku od XIV w. do drugiej połowy XX w. Przedstawia budowę, rodzaje i części składowe okien oraz technikę ich wykonania. Historię gdańskich okien podzielono na rozwiązania średniowieczne wraz z wczesnorenesansowymi, późnorenesansowe z barokowymi, klasycystyczne oraz historyzujące, secesyjne a wrescie okna z okresu międzywojennego i powstałe po II wojnie światowej.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Nowe podejście do analizy wskaźnikowej w przedsiębiorstwie

    Publikacja

    - Rok 2013

    Autor książki przybliża problematykę efektywności metod analizy ekonomicznej przedsiębiorstw w zakresie oceny ich kondycji finansowej w erze globalizacji, powszechnej niepewności i ryzyka oraz szybko zachodzących zmian w otoczeniu firm. Dokonuje oceny powiązań systemowych wskaźników finansowych, a następnie próby implementacji logiki rozmytej w wykorzystywanej w przedsiębiorstwach analizie wskaźnikowej. W opracowaniu szczegółowo...

  • Prototypowe urządzenie laserowe do femtosekundowej mikroobróbki materiałów

    Publikacja

    - Scientific Journal of Gdynia Maritime University - Rok 2012

    W artykule przedstawiono prototypowe urządzenie do laserowej mikroobróbki materiałów. Urządzenie to wykorzystuje femtosekundowy laser światłowodowy oparty na krysztale Yb:KYW. Wykorzystanie ultrakrótkich impulsów laserowych w mikroobróbce materiałów oferuje dużą przewagę nad mikroobróbką długoimpulsową ze względu na zminimalizowanie szkodliwego wpływu oddziaływań cieplnych. Pozwala to na bardzo precyzyjne i czyste cięcia oraz wysoki...

    Pełny tekst do pobrania w portalu

  • Projektowanie łuków koszowych dostosowane do pomiarów satelitarnych

    W pracy przedstawiono nową metodę projektowania rejonu zmiany kierunku trasy kolejowej, dostosowaną do techniki ciagłych pomiarów satelitarnych. Metoda ta może się okazać szczególnie przydatna podczas projektowania regulacji osi istniejącego toru, kiedy określenie obu kierunków głównych trasy okazuje się niemożliwe. Jedynym rozwiązaniem staje się wówczas wprowadzenie do układu geometrycznego dwóch łuków kołowych o różnym promieniu,...

  • Zastosowanie techniki ściegu odpuszczającego do spawania mokrego

    W artykule przedstawiono zastosowanie techniki ściegu odpuszczającego do poprawy właściwości złączy ze stali konstrukcyjnych wykonywanych w warunkach mokrego spawania pod wodą. Scharakteryzowano spawanie mokre elektrodami otulonymi zmiany struktury i właściwości złączy spawanych przez nakładanie ściegów odpuszczających. Przedstawiono metodykę oraz wyniki badań metalograficznych i twardości próbek ze stali konstrukcyjnej o podwyższonej...

    Pełny tekst do pobrania w portalu

  • Trendy rozwojowe współczesnej radiokomunikacji do zastosowań specjalnych

    Publikacja

    W referacie wskazano kierunki rozwoju systemów trankingowych do zastosowań dyspozytorskich, np. dla służb granicznych i policji. W chwili obecnej głównym standardem jest TETRA, jednak coraz częściej są proponowane rozwiązania oparte na gotowej infrastrukturze systemów komórkowych. W referacie przedstawiono sposób integracji TETRY z LTE z zachowaniem niezależności obu systemów oraz zaproponowano architekturę połączonego systemu.

  • Mark Fisher: od hauntologii do estetyki zewnętrzności

    Publikacja

    W artykule zrekapitulowany zostaje projekt estetyki zewnętrza Marka Fishera, tak jak został zarysowany w artykułach i książce Dziwaczne i osobliwe. Artykuł osadza poszukiwania Fishera w szerszej ramie pojęciowej (w kontekście tzw. brytyjskiej teorii spekulatywno-kulturowej), jak i na tle wątków akceleracjonistycznych.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Network effects—do they matter for digital technologies diffusion?

    Purpose The main research target of this paper is to capture the network effects using the case of mobile cellular telephony, identified in European telecommunication markets, and its determinants enhancing the process of digital technologies diffusion. Design/methodology/approach This research relies on panel and dynamic panel regression analysis. The empirical sample covers 30 European countries, and the period for the analysis...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Do Phenyl Substituents Affect the Properties of Azobenzocrown Derivatives?

    New products of photo- and thermal rearrangements of 19-membered azoxybenzocrown with phenyl substituents in benzene rings in the para positions to oligooxyethylene fragments are characterized. The yields of photochemical transformations depend on the solvent. Para-hydroxyazocrown is formed with yields over 50% in propan-2-ol. Ortho-hydroxyazobenzocrown is obtained with yields up to 70% in toluene/acetic acid mixture. Macrocyclic...

    Pełny tekst do pobrania w portalu

  • Wizja bez programu - gdańska Droga do Wolności

    Publikacja

    - Rok 2005

    W dniach 2-3 sierpnia 2005r. odbyło się w Gdańskim Dworze Artusa Międzynarodowe Seminarium pt. "Europejskie Centrum Solidarności", zorganizowane przez Prezydenta RP Lecha Wałęsę i Prezydenta Miasta Gdańska Pawła Adamowicza. Celem seminarium było zaprezentowanie przez zaproszonych z Europy architektów różnorodnych wizji urbanistyczno - architektonicznych Gdańskiej Drogi do Wolności. Wizje te będą stanowić inspiracje dla organizatorów...

  • Strategia nauk technicznych do roku 2020 - propozycje

    Publikacja

    - Rok 2005

    W pracy przedstawiono strategię proponowaną przez Wydział IV Nauk Technicznych PAN w perspektywie wieloletniej. Opisano założenia, cele strategiczne i uwarunkowania rozwoju nauk informacyjnych (informatyka, automatyka, robotyka, telekomunikacja) mikro- i nanotechnologii, optoelektroniki, bioinżynierii, systemów energetycznych i nowych źródeł energii.

  • Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych

    AutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...

  • Zastosowanie systemów chatter-bot do wspomagania zarządzania

    Publikacja

    Celem rozdziału jest analiza systemów przetwarzania języka naturalnego do wspomagania zarządzania na przykładzie chatter-botów - tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Przedstawiono zakres zastosowań systemów, główne czynniki wpływające na ich funkcjonalność, analizę kosztów wdrożenia i efektywności inwestycji oraz przykłady komercyjnych zastosowań.

  • A rapid assay of human thyroid peroxidase activity

    Publikacja

    - TOXICOLOGY IN VITRO - Rok 2020

    Pełny tekst do pobrania w serwisie zewnętrznym