Filtry
wszystkich: 1504
wybranych: 1255
-
Katalog
- Publikacje 1255 wyników po odfiltrowaniu
- Osoby 91 wyników po odfiltrowaniu
- Wynalazki 15 wyników po odfiltrowaniu
- Projekty 9 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Kursy Online 88 wyników po odfiltrowaniu
- Wydarzenia 14 wyników po odfiltrowaniu
- Dane Badawcze 29 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: PONOWNE WYKORZYSTANIE PASMA
-
Energetyczne wykorzystanie biomasy-zagadnienia wybrane.
PublikacjaW artykule przedstawiono analizę warunków rozwoju rynku drewna i odpadów drzewnych jako paliwa energetycznego. Omówiono problemy techniczne i ekonomiczne możliwe przy wdrażaniu technologii wykorzystujących biomasę.
-
Wykorzystanie potencjału transportowego Dolnej Wisły
PublikacjaW pracy zawarto koncepcję rozwoju drogi wodnej Wisły na odcinku Bydgoszcz - Gdańsk. Przedstawione są bariery utrudniające rozwój transportu wodnego i przesłanki przemawiające za aktywizacją dróg wodnych w Polsce. Zaproponowano drogę wodną Wisły jako łańcuch w ogólnopolskiej sieci transportowej, z terminalami kontenerowymi na istniejących nabrzeżach w Porcie Gdańsk i nowym terminalem w Bydgoszczy, a także połączono ją z ogólnopolską...
-
Wykorzystanie potencjału transportowego Dolnej Wisły
PublikacjaW pracy zawarto koncepcję rozwoju drogi wodnej Wisły na odcinku Bydgoszcz - Gdańsk. Przedstawione są bariery utrudniające rozwój transportu wodnego i przesłanki przemawiające za aktywizacją dróg wodnych w Polsce.
-
Wykorzystanie modeli systemu energetycznego statku
PublikacjaPrzedstawiono model generatora synchronicznego oraz węzłów równoległych obciążeń, w których zastosowano wektorową reprezentację zmiennych stanu. Przyjęto założenie o symetrycznym obciążeniu generatora, co umożliwia modelowanie obciążeń tylko dla jednej fazy napięcia. Ze względu na ocenę pojedynczej pracy, jak również analizę stanu jałowego, generator został zbudowany jako źródło napięciowe. Opracowane modele wykorzystano do oceny...
-
Application of higher order spectra in harmonic analysis of corrosion process
PublikacjaZjawiska nieliniowe są niezwykle często spotykane w praktyce badań elektrochemicznych i korozyjnych. Typowym przykładem są procesy elektrodowe kontrolowane szybkością przeniesienia ładunku. Często stosowanym w takich przypadkach podejściem jest aproksymacja fragmentu krzywej prąd-napięcie za pomocą charakterystyki liniowej. W niniejszej pracy autorzy prezentują możliwość wykorzystania pomiarów składowych harmonicznych do oceny...
-
Wykorzystanie lokalnych współczynników wariancji w ocenie istotności przemieszczeń obiektów inżynierskich
PublikacjaW monografii przedstawiono wykorzystanie lokalnych współczynników wariancji do oceny istotności przemieszczeń. Lokalne współczynniki wariancji i obliczone na ich podstawie macierze kowariancji pozwalają określić prawidłowość przejętych a priori błędów średnich każdej z grup obserwacji, jak również oszacować wartości średnich błędów pomiaru a posteriori w bardziej wiarygodny sposób niż ich szacowanie na podstawie jednego globalnego...
-
Wykorzystanie nowych metod wnioskowania w grafice i animacji komputerowej
PublikacjaReferat 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...
-
Wykorzystanie platformy Moodle na Wydziale Zarządzania i Ekonomii Politechniki Gdańskiej - studium przypadku
PublikacjaW opracowaniu opisano wykorzystanie platformy Moodle do wsparcia procesu dydaktycznego na Wydziale Zarządzania i Ekonomii Politechniki Gdańskiej (WZiE PG). Platforma jest tam obecnie stosowana do wspierania zajęć prowadzonych w trybie tradycyjnym. W opracowaniu przedstawiono historię wdrożenia platformy Moodle na Wydziale, a także zaprezentowano wyniki badań dotyczących oceny jej wykorzystania przez studentów i ich opinii na temat...
-
Teoretyczna analiza procesu walcowania trójwarstwowego pasma AlMg-Al-Cu, Theoretical analysis of rolling process of composite plate AlMg-Al-Cu
PublikacjaPrzedstawiono symulacje komputerowe walcowania blach AlMg-Al-Cu łączonych wybuchowo. Symulacje przeprowadzono dla procesu walcowania w walcarce o średnicy walców D=150 mm z indywidualnym napędem walców roboczych. W ramach badań numerycznych określono wpływ nierówności odkształcenia warstw tworzących pasmo oraz nieliniowy rozkład predkości warstw blachy w kotlinie walcowniczej asymetrycznie walcowanej blachy trójwarstwowej AlMg-Al-Cu.
-
Wykorzystanie portalu ontologicznego w zastosowaniach mikroekonomicznych
PublikacjaPrzedstawiono problematykę dzidzinowo zorientowanych ontologii w informatycznych zastosowaniach praktycznych. Wprowadzono podstawy podejścia ontologicznego, jako alternatywnego ujęcia dla opisu oraz dynamicznego przechowywania okreslonych reprezentacji wiedzy. Pokazano dziedzinową problematykę zagadnień mikroekonomicznych oraz zwrócono uwagę na potencjalne mozliwości zastosowania podejścia ontologicznego w tym zakresie. Przeanalizowano...
-
Wykorzystanie gazowych mieszanin wzorcowych w analityce
PublikacjaMateriały odniesienia są bardzo popularnym i użytecznym narzędzie stosowanym w każdym laboratorium analitycznym. Związane jest to z ciągłą potrzebą monitoringu otaczającego nas powietrza i identyfikacji występujących w nim zanieczyszczeń oraz przeprowadzaniem na coraz szerszą skalę badań reprezentatywnych próbek mediów gazowych. Materiały odniesienia, a w szczególności certyfikowane materiały odniesienia są niezastąpionym elementem...
-
Wykorzystanie mediów społecznościowych w szkolnictwie wyższym
Publikacja -
Wykorzystanie SIP w podstawowych procesach kartograficznych.
PublikacjaScharakteryzowano ogólny schemat zobrazowania informacji, pozyskanych z baz danych systemów informacji przestrzennej. Przedstawiono także sposoby modelowania informacji pobranych z systemu wykorzystywanych do kreowania przedstawień kartograficznych. Zaprezentowano aspekty generowania informacji żródłowych zasilających tworzone zobrazowania.
-
Wykorzystanie szybkich testów w badaniach środowiskowych
PublikacjaW niniejszej pracy przedstawiono przegląd danych literaturowych dotyczących praktycznego wykorzystania powszechnie stosowanych szybkich testów w praktyce analitycznej. Zaproponowano ich klasyfikację, wyszczególniając dwie grupy: testy chemiczne i biologiczne. W dalszej części omówiono zasadę działania i przeznaczenie wybranych zestawów testowych.
-
Wykorzystanie mechanizmu HARQ w systemie UMTS
PublikacjaW artykule przedstawiono charakterystykę mechanizmu HARQ, stanowiącego jedną z kluczowych funkcjonalności szybkiego dostępu pakietowego HSDPA w systemie komórkowym trzeciej generacji. Przedstawiono ogólną klasyfikację rodzajów mechanizmu HARQ oraz opisano szczegóły implementacyjne dla systemu UMTS. Przeprowadzono także analizę porównawczą różnych rodzajów mechanizmu HARQ przy zastosowaniu modelu systemu zrealizowanego zgodnie ze...
-
Wykorzystanie analizy obrazu w rozpoznawaniu mowy
PublikacjaNiniejszy referat przedstawia metodę rozpoznawania mowy na podstawie analizy ruchu ust. W pracy opisano algorytm wyznaczana i śledzenia położenia ust wykorzystujący modele Active Shape Models oraz zbadano efektywność jego działania. Sztuczna sieć neuronowa została wykorzystana jako klasyfikator rozpoznający sześć wypowiadanych samogłosek w oparciu o wizualne parametry mowy. W pracy umieszczono wyniki klasyfikacji oraz wnioski.
-
Wykorzystanie technologii Ethernet poza sieciami lokalnymi
PublikacjaW referacie opisano próby implementacji protokołu Etherent nie tylko w sieciach lokalnych, ale również w sieciach dostępowych (Ethernet pierwszej//ostatniej mili - EFM) i rozległych (10 gigabit Ehernet - 10GE). Proponowane rozwiązanie EFM może stać się tanim szerokopasmowym alternatywnym rozwiązaniem dla DSL i modemów kablowych. Z kolei 10GE może być alternatywą lub uzupełnieniem zastosowań OC-192 SONET.
-
Wykorzystanie fotogrametrii w zagadnieniach hydrografii morskiej
PublikacjaW referacie przedstawiono zadania hydrografii morskiej oraz przykłady wykorzystania fotogrametrii jedno obrazowej do opracowań sytuacyjno - batymetrycznych jak również stereofotogrametrii letniczej w badaniach fizycznej powierzchni morza.
-
Wykorzystanie teorii ograniczeń w zarządzaniu operacyjnym
PublikacjaW niniejszym rozdziale przedstawiono podstawowe typy decyzji i działań podejmo-wanych w zarządzaniu operacyjnym. Scharakteryzowano również podejście do zarządzania systemami produkcyjnymi i usługowymi reprezentowane przez teorię ograniczeń (TOC) oraz metody i rozwiązania proponowane przez TOC. Wskazano ponadto możliwość wykorzystania teorii ograniczeń i jej metod do podejmowania poszczególnych typów decyzji i działań w zarządzaniu...
-
Wykorzystanie standardu WSLA w serwisach internetowych
PublikacjaW pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Usługi w sieci semantycznej mogą być realizowane w wypadku porozumienia między dostawcami usług a agentami lub odbiorcami usług. Dlatego też opisano standard uzgodnień WSLA. Opisano także wybrane realizację usług semantycznych, ze szczególnym uwzględnieniem usługi BioCatalogue. Koncepcja ta bazuje na reprezentacji wiedzy za pomocą metamodeli danych...
-
Współpraca w sieci- wykorzystanie platformy internetowej
PublikacjaNowe warunki funkcjonowania biznesu pozwalają na poszukiwanie wsparcia w zakresie know-how oraz kompetencji i umiejętności w ramach współpracy w sieci. Nowe technologie informacyjne i komunikacyjne zapoczątkowały erę organizacji sieciowych. Nasila się współpraca poza organizacjami, współpraca pomiędzy pracownikami różnych przedsiębiorstw za pośrednictwem sieci informatycznej.
-
Biotechnologiczne przetwarzanie keratyny oraz jej wykorzystanie
PublikacjaW pracy przedstawiono metody przetwarzania pierza obejmujące procesy hydrolizy enzymatycznej. Uciążliwy produkt uboczny przemysłu drobiarskiego może być zastosowany do produkcji biokompozytów, biomateriałów, jako nawóz organiczny oraz pasza dla zwierząt.
-
Praktyczne wykorzystanie modelu iso-9126 oraz narzędzi wspomagających proces testowania przy ocenie jakości oprogramowania
Publikacjadokument opisuje wykorzystanie modelu jakości oprogramowania iso-9126 do oceny jakości aplikacji do rozpoznawania osób i zdarzeń, przygotowanej w ramach unijnego projektu mayday euro 2012. zawiera przegląd wykorzystanych technik oraz narzędzi i sposób ich użycia przy ocenie jakości w zakresie funkcjonalności, niezawodności oraz łatwości utrzymania oprogramowania.
-
Sposoby zagospodarowania ciepła odpadowego z silników jednostek pływających Cześć 2. Wykorzystanie ciepła do ogrzewania
PublikacjaW pierwszej części artykułu (COW 2/2017) omówiono możliwości wykorzystania nieużytkowej energii chemicznej paliwa do chłodzenia jednostek pływających. W drugiej części autorzy opisali systemy pozwalające wykorzystać tę energię do ogrzewania. Oprócz opisania budowy układów pozwalających na wykorzystanie ciepła odpadowego do ogrzewania, porównano je pod względem wydajności. Podjęto także próbę wskazania rozwiązania o najwyższej efektywności...
-
Wykorzystanie dwuwymiarowej chromatografii jonowej do oznaczania anionów w próbkach butelkowanych wód leczniczych
PublikacjaWody lecznicze charakteryzują się specyficznymi właściwościami farmakodynamicznymi. Spowodowane jest to przeważnie wysoką zwartością wybranych składników mineralnych lub zawartością tzw. składników swoistych albo też odpowiednią ich proporcją. Ponieważ przynoszą ulgę w wielu chorobach, powszechnie stosowane są w sanatoriach i ośrodkach uzdrowiskowych. Coraz powszechniej są one również butelkowane i dostępne w sprzedaży detalicznej,...
-
ANALIZA WPŁYWU SZEROKOŚCI PASMA REFERENCYJNYCH SYGNAŁÓW LOKALIZACYJNYCH NA DOKŁADNOŚĆ ESTYMACJI ODLEGŁOŚCI TERMINALA RUCHOMEGO OD STACJI BAZOWEJ W SYSTEMIE LTE
PublikacjaW referacie przedstawiono wyniki przeprowadzonych analiz związanych z możliwościami interfejsu radiowego OFDM systemu LTE do określania położenia terminala ruchomego. Zostały zaprezentowane wyniki badań symulacyjnych dokładności określania odległości terminala od stacji bazowej na podstawie sygnałów referencyjnych o różnych szerokościach pasm częstotliwości, definiowanych w specyfikacji warstwy fizycznej systemu LTE.
-
Technologie informacyjne i wykorzystanie Internetu w małych i średnich przedsiębiorstwach w świetle przeprowadzonych badań
PublikacjaRozwój struktury teleinformatycznej oraz wspieranie taniego dostępu obywateli do najnowszych form usług społeczeństwa informacyjnego to cele strategii e-Polska sformułowanej przez polski rząd. Nie do przecenienia jest także wykorzystanie Internetu jako medium komunikacyjnego, czego przejawem jest nie tylko możliwość przesyłania korespondencji, ale także rozmowa za pośrednictwem komunikatorów czy też korzystania z telefonii internetowej....
-
Informacja rynkowa i jej wykorzystanie w przedsiębiorstwie
PublikacjaW pracy zdefiniowano pojęcie informacji rynkowej oraz zaproponowano typy informacji rynkowych. Przedstawiono również proces wykorzystania informacji rynkowych w przedsiębiorstwie.
-
Wykorzystanie instrumentów pochodnych w zarządzaniu ryzykiem walutowym
PublikacjaW opracowaniu przedstawiono znaczenie instrumentów pochodnych w ograniczaniu ryzyka walutowego. Uwzględniono kontrakty forward oraz swapy, określając mechanizmy pozwalające na minimalizowanie ryzyka walutowego.
-
Wykorzystanie ontologii przy ocenie złożoności projektu informatycznego
PublikacjaRozdział dotyczy systemu do oceny technologii informatycznych. System ten ma korzystać z narzędzi sztucznej inteligencji, takich jak systemy ekspertowe oraz sztuczne sieci neuronowe, a także z ontologii. Elementy te spinać ma architektura agentowa. Celem działania proponowanego systemu ma być z jednej strony gromadzenie wiedzy o technologiach informatycznych, zdobywanej głównie od ekspertów, a z drugiej - udostępnianie tej wiedzy...
-
Wykorzystanie technologii informacyjno-komunikacyjnych w badanych przedsiębiorstwach
PublikacjaW rozdziale zaprezentowano wyniki badań zrealizowanych w ramach projektu MAYDAY dotyczące wykorzystania technologii informacyjno-komunikacyjnych w badanych przedsiębiorstwach.
-
Wykorzystanie technologii portletów do budowy usług uczelnianych
PublikacjaW dobie Internetu użytkownicy systemów akademickich wymagają szybkiego i łatwego dostępu do wszystkich zasobów informacyjnych uczelni, w dowolnym czasie i niezależnie od urządzenia, z którego korzystają. aniesie to zasobą konieczność zapewnienia większej elastyczności i dostępności aplikacji. Te wymagania pozwala realizować koncepcja architektury zorientowanej na usługi w połączeniu z portalami internetowymi. Portale są to środowiska,...
-
Wykorzystanie immobilizowanych membran ciekłych w separacji gazów
PublikacjaZastosowanie immobilizowanych membran ciekłych w separacji gazów jest w ostatniej dekadzie bardzo intensywnie badane, co jest spowodowane głównie szybkim rozwojem metod syntezy nowych rozpuszczalników. Mimo to dobór odpowiedniego nośnika i fazy membranowej nastręcza wielu problemów. Właściwym rozwiązaniem, które zapewni efektywną, selektywną separację zanieczyszczeń gazowych a jednocześnie umożliwi ciągłe prowadzenie procesu be...
-
Wykorzystanie technologii informatycznych w zarządzaniu przedsięwzięciami informatycznymi
PublikacjaW rozdziale przedstawiono charakterystykę zarządzania przedsięwzięciami informatycznymi oraz wskazano na przydatność technologii informatycznych w procesach zarządzania przedsięwzięciem. Stan tych technologii ale głównie poziom ich wykorzystania może mieć kluczowe znaczenie w realizacji przedsięwzięć (osiąganiu założonego celu w ramach przyjętych - harmonogramu i budżetu). Stąd też w ramach koncepcji całej pracy dotyczącej zarządzania...
-
Wykorzystanie xml do reprezentacji cyfrowych dokumentów muzycznych
PublikacjaW bibliotekach cyfrowych dokumentów muzycznych potrzebny jest format pozwalający na wymianę danych różnego typu związanych z dokumentem muzycznym. Otwarty format XML posiada wiele zalet, które pozwalają na zastosowanie go w tej bibliotece. W rozdziale zwrócono uwagę na możliwość wykorzystania formatów MPEG-7, MARCXML oraz MusicXML do opisania różnorodnych aspektów muzyki. Połączenie wszystkich informacji związanych z dokumentem...
-
Wykorzystanie odpadów gumowych do napełniania elastomerów uretanowych
PublikacjaPrzedstawiono metodę otrzymywania kompozycji poliuretanowo-gumowych z wykorzystaniem miału gumowego oraz wyniki pomiarów wybranych właściwości uzyskanych materiałów. Kompozycje wytwarzano poprzez wprowadzenie miału gumowego w ilości od 1 do 60% mas. do prepolimeru uretanowego syntezowanego z diizocyjanianu MDI i oligoestrolu Poles 55/20. Prepolimer przedłużano glikolem butylenowym zawierającym rozpuszczony katalizator DABCO. Na...
-
Wykorzystanie włókien sizalowych jako napełniaczy elastomerów uretanowych
PublikacjaPrzedstawiono wyniki badań lanych elastomerów uretanowych napełnionych włóknem sizalowym o długości ok. 2,5 mm i średnicy 4,10 mm w ilości 17,5% mas. względem prepolimeru uretanowego. Prepolimery przedłużano glikolem butylenowym zawierającym rozpuszczony 1,4-diazabicyklo[2.2.2]oktan (DABCO) jako katalizator. Otrzymane materiały poddawano wygrzewaniu w temp. 110°C przez 6 i 24 h. Stwierdzono, że elastomery (przy różnym stopniu...
-
Wykorzystanie serwerów UDDI dla systemów zdalnej edukacji.
PublikacjaW artykule przedstawiono możliwości wykorzystania usług sieciowych opartych na serwerach UDDI (Universal Description, Discovery and Integration) do przechowywania obiektów edukacyjnych. Opisane rozwiązanie wykorzystujące język XML, protokół SOAP (Simple Object Access Protocol) i standard WSDL (Web Services Description Language) pozwala na tworzenie baz wiedzy przeznaczonych zarówno dla uczniów jak również dla nauczycieli....
-
Wykorzystanie WAP i WML w usługach bezprzewodowych.
PublikacjaOpisano schemat transakcji przy wykorzystaniu protokołu WAP. Zaprezentowano język znaczników WML dla urządzeń bezprzewodowych. Przedstawiono narzędzia służące do tworzenia aplikacji opartych o protokół WAP. Wskazano na kirunki rozwoju protokołu i inne standardy o podobnych funkcjach.
-
Techniki RTK i wykorzystanie stacji referencyjnych GPS
PublikacjaZaprezentowane zostały współczesne kierunki rozwoju technologii GPS z uwzględnieniem etapów modernizacji poszczególnych segmentów globalnego systemu pozycjonowania. Określone zostało także miejsce stacji referencyjnych GPS w pracach geodezyjnych, które mogą być podjęte przez jednostki wykonawstwa na terenie woj. kujawsko-pomorskiego i ościennych.
-
Wykorzystanie podejścia procesowego przy tworzeniu księgi jakości
PublikacjaPrzedstawio zweryfikowaną w trakcie wielu projektów wdrozeniowych metodę opracowywania księgi systemu zarządzania jakością oraz tworzenia czytelnych powiązań pomiedzy księgą jakością a pozostałymi elementami struktury dokumentacji.
-
Wykorzystanie energii wod podziemnych do celów ciepłowniczych.
PublikacjaPrzedstawiono 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.
-
Wykorzystanie potencjału informacyjno-usługowego internetowych witryn kin.
PublikacjaW artykule opisano możliwości zwiększenia efektywności wykorzystania sieci internetowej dla potrzeb kontaktu z klientami. Przedstawiono wyniki badań klientów - internautów i porównano z aktualną ofertą stron www kin.
-
Projekt CURE - wykorzystanie technik kształcenia na odległość
PublikacjaZaprezentowano projekt CURE, który został złożony do Komisji Europejskiej w ramach konkursu na Centra Doskonałości (NAS-2) w V Programie Ramowym Unii Europejskiej. Projekt został zaakceptowany i otrzymał dofinansowanie na trzy lata (2002-2005). W projekcie CURE zastosowane będą techniki kształcenia na odległość. Wybrane przedmioty na studiach doktoranckich i podyplomowych oferowane będą z wykorzystaniem systemów wspomagających...
-
Wykorzystanie odpadów do prowadzenia szklarniowych upraw rolnych.
PublikacjaPrzedstawiono sposób wykorzystania odpadów organicznych do otrzymywania biogazu, który jest źródłem zaopatrzenia w energię szklarni.
-
Wykorzystanie odpadów i oczyszczanie spalin z zanieczyszczeń
PublikacjaOmówiono zagadnienia oczyszczania ścieków, pyłów i spalin powstających w spalarniach śmieci i w elektrowniach pracujących na paliwo otrzymywane z odpadów. Przedstawiono metody wykorzystania odpadów do produkcji różnego rodzaju materiałów stosowanych w przemyśle i gospodarce.
-
Wykorzystanie technik chemometrycznych w badaniach analitycznych środowiska
PublikacjaOmówiono teorię planowania pomiarów, rozkładów empirycznych, procedur przy-gotowania danych a także najczęściej wykorzystywane techniki analizy danych.Wspomniano równiez o nowoczesnych technikach analizy danych, zaliczanych dogrupy technik opartych na wykorzystaniu sztucznej inteligencji. Opis teore-tyczny w każdym przypadku wzbogacono o przykłady zastosowań w konkretnychproblemach analitycznych.
-
Wykorzystanie badań geosyntetyków w projektowaniu budowli hydrotechnicznych.
PublikacjaZastosowanie geotekstyliów w konstrukcjach budowlanych (w tym również hydrotechnicznych), wymaga pełnienia przez wyroby geotekstylne określonych funkcji w projektowanym okresie użytkowania. Aby dany materiał właściwie spełniał postawione przed nim zadania, bardzo ważne jest wcześniejsze poddawanie go odpowiednim badaniom laboratoryjnym i terenowym. Procedura badań musi być ściśle powiązana z późniejszym przeznaczeniem geomateriału...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus 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...
-
Rozwój narzędzi projektowych, a wykorzystanie ruchu w architekturze
PublikacjaStoimy w obliczu zmian nie tylko w architekturze, lecz również w metodach i narzędziach stosowanych w jej projektowaniu. Dostęp do wszelakich nowinek technologicznych nigdy wcześniej nie był tak prosty. To wszystko sprawia, że nowe technologie stanowią bardzo często przyczynek do stosowania rozwiązań wcześniej nie spotykanych w architekturze. Nie inaczej wygląda sytuacja w przypadku architektury kinematycznej. Obecnie dostępne...