Wyniki wyszukiwania dla: PILARKA TARCZOWA DO CIĘCIA SKLEJKI NA ARKUSZE - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: PILARKA TARCZOWA DO CIĘCIA SKLEJKI NA ARKUSZE

Wyniki wyszukiwania dla: PILARKA TARCZOWA DO CIĘCIA SKLEJKI NA ARKUSZE

  • 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

  • Stanowisko do analizy sygnałów współczesnych systemów adiokomunikacyjnych

    W referacie zaprezentowano budowę stanowiska służącego do analizy sygnałów współczesnych systemów radiokomunikacyjnych. Stanowisko to pozwala na badanie szerokiego zakresu systemów łączności radiowej pracujących w paśmie od 20 MHz do 3,6 GHz. Poprzez zastosowanie programowego modułu cyfrowego przetwarzania sygnału, możliwe jest łatwe przystosowanie stanowiska do badania wybranego systemu radiokomunikacyjnego.

  • Wprowadzenie do ochrony przed zagrożeniem wyładowania łukowego

    Publikacja

    - Rok 2012

    Artykuł określa zagrożenia oraz zasady bezpiecznej pracy w przypadku wykonywania prac w technologii przy wyłączonym napięciu lub w pobliżu napięcia.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Wizualizacja struktury Wikipedii do wspomagania wyszukiwania informacji

    Publikacja

    - Rok 2011

    Graficzna prezentacja jest efektywnym sposobem poprawiania interakcji użytkownika z repozytorium wiedzy. Pozwala ona na przejrzyste przedstawienie złożonych struktur i uchwycenie zależności, które nie są widoczne bezpośrednio. Zastosowanie takiego podejścia w wyszukiwaniu informacji pozwala na prezentację danych na wysokim poziomie abstrakcji przy jednoczesnym określeniu ich kontekstu, co ma bezpośrednie przełożenie na jakość dostępu...

  • Rozwinięcie moodle jako narzędzia do pracy grupowej

    Publikacja

    - Rok 2011

    Oprogramowanie MOODLE jest szeroko stosowane - również w Polsce - do dydaktyki. Uczestnicy projektu Platforma Informatyczna TEWI wykorzystują MOODLE, także jako system zarządzania treścią, czy narzędzie do wspomagania pracy grupowej. Rozszerzenie możliwości MOODLE poprzez utworzenie nowych wtyczek pozwoli na jeszcze lepsze dopasowanie do prowadzenia projektów badawczych oraz dydaktyki.

  • Imigracje obywateli Wspólnoty Niepodległych Państw do Polski

    Publikacja

    - Rok 2011

    Artykuł ukazuje migracje, zjawisko migracji z krajów WNP do Polski w latach 1992-2010 z pzreprowadzonej przez autorkę analizy wynika, iż najwięcej migrantów przybyło do Polski nielegalnie celem podjęcia pracy. Grupa legalnie przebywających w Polsce obywateli z krajów WNP jest również mała jak grupa azylantów.

  • Systematyka narzędzi do zarządzania bezpieczeństwem infrastruktury drogowej

    Publikacja

    W ostatnich latach w zarządzaniu bezpieczeństwem ruchu drogowego pojawiło się kilka narzędzi takich jak audyt brd, ocena brd, kontrola brd. Dyskusja prowadzona podczas procedowania ustawy wdrażającej dyrektywę 2008/96/WE wskazała na nieznajomość wśród przedstawicieli stron biorących udział w dyskusji, narzędzi zarządzania bezpieczeństwem infrastruktury drogowej. W artykule przedstawiono koncepcję usystematyzowania tych narzędzi...

  • System automatycznej lokalizacji osób do zastosowań specjalnych

    W referacie opisano założenia funkcjonalne i budowę demonstratora technologicznego systemu do lokalizacji osób wewnątrz budynków. Przedstawiono poszczególne węzły sieci radiowej służącej do określania pozycji osób wraz z wyszczególnieniem najważniejszych podzespołów tych węzłów, a także funkcjonowanie całego systemu i możliwości jego dalszej rozbudowy.

  • Wybrane narzędzia do symulacji systemów przetwarzania rozproszonego

    Publikacja

    - Rok 2012

    Przedstawiono przegląd narzędzi symulacji systemów przetwarzania rozproszonego oraz dokonano oceny ich przydatności do symulacji systemu powszechnego przetwarzania opartego o wolontariat.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Ekstrakcja do fazy stałej niejedno ma imię

    W czasach, gdy we wszystkich przejawach aktywności człowieka trzeba się odnieść do przesłanek leżących u podstaw zrównoważonego rozwoju trudno jest uzasadnić stosowanie w praktyce analitycznej takich procedur i operacji, które pociągają za sobą konieczność:użycia dużych ilości rozpuszczalników i odczynników chemicznychdużych nakładów energii czy też przyczyniają się do wzrostu ekspozycji pracowników laboratoriów na niekorzystne...

  • Zastosowanie systemu Comcute do łamania algorytmu DES

    Publikacja

    - Rok 2012

    Zaprezentowano zastosowanie systemu Comcute do łamania szyfru DES. Przedstawiono podstawową architekturę wykorzystaną do dystrybucji obliczeń oraz zaprezentowano wyniki skalowalności rozwiązania w funkcji użytych jednostek obliczeniowych.

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Komputerowy system do badań wariantów procesów technologicznych

    Publikacja

    - Rok 2012

    W rozdziale monografii opisano komputerowy system decyzyjny dla wyboru wariantu procesu technologicznego ze szczególnym uwzględnieniem obróbki nagniataniem. System zbudowano z uwzględnieniem wyników eksperymentów przeprowadzonych dla nagniatania elementami diamentowymi części klasy wałek. Wybór wariantu oparto na definiowanych wagach parametrów określających strukturę geometryczną powierzchni. Wyniki przeprowadzonych dań z użyciem...

  • Mobilne stanowisko pomiarowe do badań propagacyjno-zasięgowych

    W artykule przedstawiony został schemat blokowy mobilnego stanowiska pomiarowego, ze szczególnym uwzględnieniem wymagań normatywnych stawianych aparaturze pomiarowej oraz procedurom pomiarowym. Ponadto zaprezentowany został algorytm oprogramowania konfigurującego odbiornik pomiarowy oraz sterującego procesem przeprowadzania pomiarów. W podsumowaniu skrótowo przedstawiono wyniki dotychczasowych badań pomiarowych przeprowadzonych...

  • Analiza inżynierska stanowiska do badania silników wiatrowych

    Publikacja

    - Rok 2010

    Zagadnienia podjęte w niniejszym artykule dotyczą modelowania i optymalizacji stanowiska do badania silników wiatrowych pod kątem wytrzymałościowym. Stanowisko do badania silników wiatrowych powinno charakteryzować się odpowiednią sztywnością i uniwersalnością. Musi być zapewniona możliwość badania wielu parametrów różnego rodzaju silników wiatrowych oraz ich łatwy montaż i demontaż.

  • Stanowisko do badania systemów łożyskowania wirników szybkoobrotowych

    Publikacja

    - Rok 2009

    Zagadnienia podjęte w niniejszym artykule dotyczą modelowania i optymalizacji stanowiska do badania łożysk szybkoobrotowych pod kątem minimalizacji drgań. Stanowisko do badania łożysk szybkoobrotowych powinno charakteryzować się odpowiednią sztywnością i uniwersalnością, musi być zapewniona możliwość badania wielu parametrów różnego typów łożysk oraz możliwość łatwej modyfikacji stanowiska. Wyniki obliczeń przedstawione w opracowaniu...

  • Analiza inżynierska stanowiska do badania silników wiatrowych

    Publikacja

    - Mechanik - Rok 2010

    Zagadnienia podjęte w niniejszym artykule dotyczą modelowania i optymalizacji stanowiska do badania silników wiatrowych pod kątem wytrzymałościowym. Stanowisko do badania silników wiatrowych powinno charakteryzować się odpowiednią sztywnością i uniwersalnością. Musi być zapewniona możliwość badania wielu parametrów różnego rodzaju silników wiatrowych oraz ich łatwy montaż i demontaż.

  • Systemowe podejście do zarządzania bezpieczeństwem ruchu dorgowego

    Publikacja

    - Rok 2010

    W rozdziale 6.1 przedstawiono charakterystykę systemowego podejścia do zarządzania bezpieczeństwem ruchu drogowego

  • Uwagi do metodyki projektowania układów geometrycznych toru

    Publikacja

    - Rok 2011

    W pracy podjęto kwestię zmian, jakie w zakresie projektowania układów geometrycznych toru wprowadziły nowe akty prawne - Techniczne Specyfikacje Interoperacyjności oraz Standardy Techniczne przyjęte przez PKP PLK S.A. Rozpatrzono w sposób szczegółowy dopuszczalne wartości parametrów kinematycznych, skupiając się w głównym stopniu na analizie wartości normatywnych. Następnie omówiono ogólne zasady określania podstawowych parametrów...

  • Wyznaczanie okien do projektowania prawieoptymalnych filtrów opóźniających

    W pracy zaproponowano metodę wyznaczania symetrycznych okien na potrzeby projektowania przestrajanych prawieoptymalnych filtrów ułamkowoopóźniających. Proponowane rozwiązanie opiera się na prostym przekształceniu równań projektowych filtrów optymalnych przy dodatkowym założeniu parzystej symetrii projektowanego okna. Koncepcję tę zaprezentowano na przykładzie filtrów maksymalnie płaskich, optymalnych w sensie kryterium najmniejszych...

  • Od klasycznej idei do nowoczesnej szkoły architektonicznej

    Publikacja

    - Rok 2011

    potrzeba sprostania rozwojowi techniki,metodom badań nad podmiotem architektury, mniej lub bardziej anonimowym użytkownikiem, stała się przyczyną rozrastania się specjalizacji w zakresie rozszerzania programowego studiów architektonicznych.zmniejszony został kontakt bezpośredni i wymiana energii w relacji mistrz i uczeń. praca zespołowa musi być elementem oczywistym w doskonaleniu myślenia dyskursywnego, nie zaś rozmieniania...

  • Przenośne urządzenia analityczne do przeprowadzania pomiarów in-situ

    Ze względu na złożoność procedury analitycznej, jej czasochłonność oraz koszty jakie należy ponieść w celu oznaczania zanieczyszczeń obecnych w powietrzu atmosferycznym, zaczęto interesować się analizą zanieczyszczeń powietrza, wykonywaną w konkretnym miejscu lub na danym obszarze. Dlatego coraz powszechniejsze stają się urządzenia, które umożliwiają przeprowadzenie analizy w danym miejscu (in situ) bez konieczności transportowania...

  • Możliwości wykorzystania Dolnej Wisły do celów transportowych

    W artykule zawarto charakterystykę Dolnej Wisły, koncepcję rozwoju drogi wodnej na odcinku Bydgoszcz - Gdańsk. Przedstawione są bariery utrudniające rozwój transportu wodnego i argumentacja przemawiająca za aktywizacją dróg wodnych w Polsce. Przedstawiono alternatywny transport do przewozów ładunków drogą lądową. Dolna Wisła stanowi bardzo ważny odcinek dla żeglugi śródlądowej. Stanowi on część międzynarodowych dróg wodnych E40...

    Pełny tekst do pobrania w portalu

  • Zastosowanie mikrofiltracji do doczyszczania komunalnych ścieków oczyszczonych

    W pracy przedstawiono wyniki badań w skali ułamkowo technicznej nad mikrofiltracją komunalnych ścieków oczyszczonych. Ustalono, że mikrofiltracja jest skuteczną metodą dezynfekcji oraz poprawia parametry fizyczno-chemiczne ścieków oczyszczonych. W permeacie obserwowano jedynie pojedyncze komórki bakterii wskaźnikowych. Spośród parametrów fizyczno-chemicznych najlepiej usuwane były: zawiesina, mętność oraz fosfor ogólny, dobre efekty...

  • 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 analizy wrażliwości do identyfikacji parametrycznej konstrukcji.

    Publikacja

    W pracy proponuje się sformułowanie problemu identyfikacji parametrycznej oparte na minimalizacji ''odległości'' wyników pomiarów pewnych zmiennych stanu opisujących zachowanie się konstrukcji i wyników analizy jej modelu matematycznego. Do efektywnego rozwiązania tego problemu wykorzystano analizę wrażliwości pierwszego rzędu.

  • Przyczynek do naprawy balkonów w budynkach mieszkalnych.

    Artykuł dotyczy oceny stanu technicznego balkonów w budynkach mieszkalnych oraz sposobu ich naprawy w zależości od technologii realizacji

  • Most zabytkowy: przyczynek do percepcji dzieła inżynierii

    Publikacja

    - Rok 2004

    Postrzeganie dzieła inżynierii w krajobrazie. ''Przeżywanie'' wartości mostu zabytkowego w kontekście psychologii środowiska i ekologii historycznej. Metodyczne badanie wartości kulturowych mostu zabytkowego - lista pytań.

  • Komputerowy system do pomiaru współczynnika zawartości harmonicznych.

    Publikacja

    - Rok 2004

    Przedstawiono rozwiązania funkcjonalne i układowe komputerowego systemu do pomiaru współczynnika zawartości harmonicznych.Szerzej omówiono zastosowane algorytmy realizowane programowo, które umozliwiły zmniejszenie wpływu niepożadanych składowych losowych i okresowych nie skorelowanych z czestotliwościa podstawowa obserwowanego przebiegu. Przytoczono przykładowe wyniki badan eksperymentalnych potwierdzające zasadnośc proponowanych...

    Pełny tekst do pobrania w portalu

  • 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...

  • 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...