Filtry
wszystkich: 3372
-
Katalog
- Publikacje 2836 wyników po odfiltrowaniu
- Czasopisma 4 wyników po odfiltrowaniu
- Osoby 126 wyników po odfiltrowaniu
- Wynalazki 24 wyników po odfiltrowaniu
- Projekty 37 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 9 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 243 wyników po odfiltrowaniu
- Wydarzenia 72 wyników po odfiltrowaniu
- Dane Badawcze 11 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: ZUŻYCIE NARZĘDZI
-
Projektowanie CAD/CAM (PG_00058716)
Kursy OnlineWykład: 1. Charakterystyka systemów CAD/CAM. Metodyka planowania procesu technologicznego w systemach CAD/CAM. Prezentacja systemów NX oraz EdgeCAM. 2. Budowa obrabiarki CNC. Układ współrzędnych. Postprocesor. Konfiguracja obrabiarki. Oprzyrządowanie. 3. Tworzenie przykładowego kodu sterującego poprzez ręczne tworzenie programu. 4. Metodyka projektowania obróbki tokarskiej w systemach CAD/CAM z użyciem plików krawędziowych. 5....
-
Komputerowe wspomaganie projektowania (CAD) (PG_00055059)
Kursy OnlineWykład: 1. Charakterystyka systemów CAD/CAM. Metodyka planowania procesu technologicznego w systemach CAD/CAM. Prezentacja systemów NX oraz EdgeCAM. 2. Budowa obrabiarki CNC. Układ współrzędnych. Postprocesor. Konfiguracja obrabiarki. Oprzyrządowanie. 3. Tworzenie przykładowego kodu sterującego poprzez ręczne tworzenie programu. 4. Metodyka projektowania obróbki tokarskiej w systemach CAD/CAM z użyciem plików krawędziowych. 5....
-
Brygida Mielewska dr
OsobyBrygida Mielewska urodziła się 1 grudnia 1972 r. w Gdyni. Studia wyższe ukończyła w 1997 r. na Wydziale Matematyki, Fizyki i Informatyki Uniwersytetu Gdańskiego, uzyskując tytuł magistra fizyki. W latach 1997–2003 pracowała na stanowisku asystenta w Katedrze Fizyki Zjawisk Elektronowych na Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdańskiej. Pracę doktorską pisała pod kierunkiem prof. dr. hab. Mariusza Zubka,...
-
Zapewnianie bezpieczeństwa kluczowych plików w systemie operacyjnym Linux
PublikacjaZagrożenie bezpieczeństwa systemów komputerowych wynika z możliwości niepowołanego dostępu do danych zapisanych w kluczowych plikach. Dlatego poszukiwanie mechanizmów zapewniania bezpieczeństwa informacji to współcześnie ważny problem w dziedzinie informatyki. W artykule zostanie przedstawione nowe podejście do polityki zabezpieczania plików systemowych w komputerach personalnych i serwerach. Zaprezentowany zostanie system o nazwie...
-
Kulki ceramiczne jako elementy nagniatające powierzchnię stali hartowanej
PublikacjaMateriały utwardzane nagniata się zazwyczaj narzędziami z diamentowymi końcówkami. W tym procesie sfera nagniatająca jest stosunkowo mała ze względu na znaczny koszt narzędzia. Powoduje to, że parametry nagniatania a w szczególności posuw muszą być bardzo małe, co znacznie wydłuża proces. Ponadto podczas nagniatania takim narzędziem na powierzchni powstają dodatkowe struktury nierówności związane z wypływkami materiału. Materiały...
-
Wybrane zagadnienia optymalizacji organizacji ruchu kolejowego w celu minimalizacji kosztów energii elektrycznej
PublikacjaW artykule przedstawiono podział kosztów w transporcie kolejowym z uwzględnieniem kosztów wewnętrznych przedsiębiorstwa, do których zaliczają się między innymi koszty dostępu do infrastruktury, czy koszty energii. Stwierdzono, że przy odpowiedniej organizacji ruchu pociągów na sieci kolejowej, bez ponoszenia dodatkowych nakładów na infrastrukturę i specjalistyczne urządzenia, można znacznie ograniczyć zużycie energii, a co za tym...
-
Modyfikacja struktury i właściwości warstwy wierzchniej stopu tytanu Ti-6Al-4V otrzymywanej metod,a nadtapiania laserowego w warunkach ultraszybkiej krystalizacji
PublikacjaPokazano wyniki badań wpływu nadtapiania laserowego przy zastosowaniu różnej mocy lasera na grubość i mikrostrukturę warstwy wierzchniej oraz zużycie tribokorozyjne w roztworze Ringera. Wykazano, że nadtapianie, choć powoduje powierzchniowe spękanie, prowadzi do znacznego wzrostu odporności na zużycie tribokorozyjne. Przyczyną jest znaczny wzrost twardości materiału przy równoczesnym zacieraniu pęknięć.
-
Środowisko sieci IP jako platforma edukacyjna
PublikacjaOgólnoświatowa sieci Internet oraz mechanizmy umożliwiające jej funkcjonowanie, od początku swojego istnienia zostały zaprojektowane z myślą o gromadzeniu, przechowywaniu, udostępnianiu i wymianie informacji, doświadczeń i wiedzy. Nic więc dziwnego, iż bardzo szybko znalazły zastosowanie nie tylko jako narzędzie wspierające badania naukowe, lecz także jako środowisko pozwalające efektywnie realizować zróżnicowane zadania dydaktyczne....
-
Bezpośrednia analiza próbek z wykorzystaniem techniki spektrometrii mas. Cz. II. Technika PTR – MS – ciekawe rozwiązanie metodyczne w zakresie spektrometrii mas
PublikacjaTechnika spektrometrii mas stanowi niezwykle istotne narzędzie badawcze, umożliwiające uzyskanie wielu cennych informacji, dotyczących składu chemicznego wielu próbek rzeczywistych pochodzenia biologicznego, farmaceutycznego i spożywczego. Spektrometr mas zazwyczaj pełni role detektora w przypadku stosowania połączenia z urządzeniami chromatograficznymi (GC, LC). Dzięki zastosowaniu pewnych modyfikacji aparaturowych i metodycznych,...
-
Projekt IST-2001-33441-MEMORIAL: zestaw narzędziowy do tworzenia dokumentów cyfrowych z zapisów osobowych
PublikacjaKonsorcjum projektu MEMORIAL zakłada osiągnięcie w 2,5 roku czterech podstawowych celów: opracowania nowych metod i narzędzi do przetwarzania i rozpoznawania dokumentów papierowych wypełnianych na maszynie, opracowanie narzędzi do interaktywnej manipulacji i oceny jakości dokumentu cyfrowego w różnych fazach jego cyklu życia, określenie prawnych, społecznych, etycznych i politycznych uwarunkowań tworzenia bibliotek cyfrowych zawierających...
-
Nowe wyzwania, nowe rozwiązania. Jak przedsiębiorstwo branży IT odnajduje się w erze VUCA?
PublikacjaZmienność, niepewność, złożoność i niejednoznaczność, określane akronimem VUCA (volatility, uncertainty, complexity, ambiguity) towarzyszą funkcjonowaniu każdego przedsiębiorstwa. Jak wykorzystać te nieodłączne cechy otoczenia przedsiębiorstw jako szanse dla ich rozwoju to wy-zwania stojące przed nimi, a zarazem pytanie badawcze artykułu. Celem artykułu jest wykazanie, na przykładzie przedsiębiorstwa branży IT, że analiza zmienności,...
-
A Framework for Training and Testing of Complex Pattern Recognition Systems
PublikacjaW pracy przedstawiono szkielet aplikacji stworzony po to, by uprościć konstruowanie systemów rozpoznawania obrazów oraz zapewnić środowisko testowe umożliwiające ocenę algorytmów przy użyciu dużych zestawów danych. Jasno zdefiniowana architektura wraz z wieloma gotowymi do użycia modułami pozwala skoncentrować się na implementacji najważniejszych algorytmów. Szkielet wspiera tworzenie modułów, który mogą być wielokrotnie używane,...
-
Uwarunkowania polityki energetycznej województwa pomorskiego
PublikacjaWojewództwo pomorskie, leżące w północnej części Polski, ma charakter przemy - słowo-rolniczy. W 2013 r. zakłady przemysłowe położone na tym terenie wprowadziły do atmosfery 6900 ton gazów i 2800 ton pyłów. Największymi trucicielami są elektrociepłownie wytwarzające energię z wykorzystaniem węgla kamiennego i brunatnego. W dokumentach polityki energetycznej UE zapowiedziano zmniejszenie zużycia energii i emisji gazów cieplarnianych...
-
Measurement of relative tool displacement to the workpiece for the assesment of influences of machining errors on surface profiles
PublikacjaZaprezentowano układ pomiarowy promieniowego i osiowego przemieszczenia narzędzia względem przedmiotu dla identyfikacji oddziaływań układu obróbkowego na formowanie struktury geometrycznej powierzchni toczonej. Zawiera on dwa analogowe tory pomiarowe przemieszczeń względnych z bezstykowymi przetwornikami i przetwarzaniem a/c oraz cyfrowy tor pomiaru obrotu przedmiotu, jego znacznik i interfejs z komputerem. Pomierzono sygnały przemieszczeń...
-
Influence of frame sawing machine´s kinematics on saw blade tooth wear.
PublikacjaW pracy przedstawiono wpływ kinematyki pilarki ramowej na zużycie ostrzy piłtrakowych.
-
Ograniczenia propagacji zaburzeń w układach napędowych z zastosowaniem filtrów sieciowych i silnikowych.
PublikacjaW układzie napędowym składającym się z przemiennika częstotliwości sterowanego z użyciem metody multiskalarnej i silnika asynchronicznego klatkowego badano skuteczność ograniczania harmonicznych prądu i propagacji zaburzeń elektromagnetycznych przy użyciu filtrów sieciowych i silnikowych. Zamieszczono wyniki zmierzonych napięć i prądów zaburzeń radioelektrycznych oraz harmonicznych w prądach zasilających przemiennik częstotliwości...
-
Stosowanie zasad "zielonej chemii" w metodykach oznaczania pozostałości pestycydów w próbkach wody
PublikacjaNieustanny wzrost zużycia pestycydów powoduje, że w większych ilościach przedostają się do środowiska wodnego. Stanowi to źródło narażenia zdrowia i życia nie tylko ludzkiego, lecz wszystkich organizmów żywych. Do analizy próbek wody na zawartość pestycydów najczęściej wykorzystuje się duże ilości rozpuszczalników organicznych, które stanowią dodatkowe zagrożenie dla środowiska, dlatego też wzrasta zainteresowanie technikami, które...
-
Extracted window offsetting using maximally flat fractional delay filter
PublikacjaW pracy przedstawiono koncepcję projektowania filtru ułamkowoopóźniającego (FD) z wykorzystaniem metody okien offsetowanych. W zaproponowanym podejściu jako okna prototypowego, offsetowanego o opóźnienie ułamkowe projektowanego filtru, użyto okna wyodrębnionego z odpowiedzi impulsowej filtru optymalnego. Zaprojektowane w ten sposób filtry FD nie są optymalne jednak zapewniają lepszą jakość algorytmu zmiany szybkości próbkowania...
-
Zastosowanie aplikacji internetowych i e-learningu w zarządzaniu kompetencjami: studium przypadku.
PublikacjaCel. Integracja efektywnego zarządzania procesami pracy i wykorzystania potencjału zasobów ludzkich warunkuje rozwój organizacji. Jest to szczególnie istotne w organizacjach publicznych, w których wyniki pracy nie zawsze są zgodne z oczekiwanymi standardami. Prezentowana praca stanowi studium przypadku zarządzania kompetencjami w administracji publicznej z wykorzystaniem narzędzi informatycznych na przykładzie polskiej Policji. Metoda....
-
Janusz Smulko prof. dr hab. inż.
OsobyUrodził się 25 kwietnia 1964 r. w Kolnie. Ukończył w 1989 r. z wyróżnieniem Wydział Elektroniki Politechniki Gdańskiej, specjalność aparatura pomiarowa. Zajął II miejsce w konkursie Czerwonej Róży na najlepszego studenta Wybrzeża w 1989 r. Od początku kariery związany z Politechniką Gdańską: asystent (1989–1996), adiunkt (1996–2012), profesor nadzwyczajny PG (od 2012). Odbył staże naukowe w Texas A&M University (2003, NATO...
-
Współczesne Narzędzia Obliczeniowe II
Kursy Online -
Narzędzia do specyfikowania wymagań
Kursy Online -
Narzędzia do specyfikowania wymagań
Kursy Online -
Towards automated full-wave design of microwave structures
PublikacjaArtykuł przedstawia problematykę automatycznego projektowania układów mikrofalowych i jego znaczenie. przedstawia stan rynku narzędzi projektowania, pojawiąjące się rozwiązania i przyszłe trendy.
-
Konstrukcja docieraków do obróbki otworów walcowych w technologiach regeneracyjnych
PublikacjaOmówiono podstawowe wytyczne do projektowania docieraków do obróbki otworów. Podano także przykłady opracowanych konstrukcji narzędzi do docierania maszynowo-ręcznego otworów walcowych.
-
Influence of the engine cooling down period during short car stops on the average fuel consumption
PublikacjaW publikacji przedstawiono wpływ schłodzenia silnika podczas krótkich postojów pomiędzy jazdami na średnie zużycie paliwa. Przeprowadzono własne pomiary w czasie jazd miejskich w Gdańsku. Użyto samochodu osobowego z silnikiem o objętości skokowej 2 dm^3 z zapłonem siskrowym. Mierzono zużycie paliwa na trasach o długości 3-10 km. Krótko opisano sposoby wstępnego podgrzania silnika przed rozruchem.
-
Aktywna metoda testowania bezpieczeństwa aplikacji webowych httpvalider oraz ocena jej skuteczności
PublikacjaW rozdziale omówiono zagadnienia oceny bezpieczeństwa aplikacji webowych, w szczególności podejście pasywnego i aktywnego testowania bezpieczeństwa. Przedstawiono metodę aktywnego testowania HttpValider obejmującą generowanie żądań HTTP pozwalające na identyfikację 13 luk bezpieczeństwa. Dla opracowanej metody zaprojektowano i zaimplementowano narzędzie wspierające automatyczne przeprowadzenie testów dla scenariusza użycia testowanej...
-
Ocena właściwości niskotemperaturowych mieszanek mineralno-asfaltowych z asfaltem modyfikowanym SBS i gumą
PublikacjaW artykule przedstawiono wyniki badań przeprowadzonych w niskich temperaturach dla mieszanek mineralno-asfaltowych zaprojektowanych z użyciem asfaltów modyfikowanych miałem gumowym oraz polimerem SBS. Badania laboratoryjne zostały przeprowadzone dla dwóch rodzajów mieszanek mineralno-asfaltowych do warstwy ścieralnej – mastyksu grysowego (SMA 8) i asfaltu porowatego (PA 8). W niniejszym artykule przedstawiono wyniki następujących...
-
Dietary intervention with red beet juice ameliorates side effects resulting from oxidative stress during cancer chemotherapy with doxorubicin
PublikacjaChemoterapia nowotworów wiąże się ze stymulacją stresu oksydacyjnego, wywołującego niekorzystne efekty uboczne w organizmie. Panuje pogląd, że wprowadzenie do terapii przeciwutleniaczy może te niekorzystne efekty uboczne zmniejszyć. W naszych badaniach jako źródło utleniaczy wykorzystaliśmy sok z buraka ćwikłowego. Pokazaliśmy, że jego zastosowanie w kombinacji z lekiem przeciwnowotworowym doksorubicyną znacznie poprawia efekty...
-
An improved high-speed residue-to-binary converter based on the chinese remainder theorem
Publikacjaw pracy zaprezentowano nowy szybki konwerter z systemu resztowego do systemu binarnego. Projekcje ortogonalne wyznaczane są przy użyciu funkcji logicznych pięciu zmiennych. Suma projekcji obliczana jest z zastosowaniem drzewa Wallace'a. Wektor sumy i wektor przeniesienia są dzielone na segmenty tak aby liczba reprezentowana łącznie przez obydwa segmenty o młodszych wagach nie przekraczała zakresu systemu resztowego,M. Bity segmentów...
-
Algorytmy ewolucyjne w projektowaniu sieci MPLS
PublikacjaNiniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...
-
The possibilities of using of the engine multidimensional charakteristics in fuel consumption prediction
PublikacjaDokument przedstawia możliwości prognozowania zużycia paliwa z wykorzystaniem wielowymiarowej charakterystyki zużycia silnika. Zdefiniowane zostały charakterystyki wielowymiarowe silnika.
-
Grzegorz Zieliński dr inż.
OsobyAutor ponad 100 publikacji naukowych (zarówno w języku polskim, jak i angielskim) z zakresu zarządzania działalnością usługową, doskonalenia podmiotów, w tym podmiotów leczniczych. Zainteresowania naukowo-badawcze obejmują obszary związane z dojrzałością i doskonałością przedsiębiorstw w różnych aspektach ich działalności. Uczestniczył w projektach badawczych Narodowego Centrum Nauki oraz projektach realizowanych przez międzynarodowe...
-
Wykorzystanie systemu komputerowego ALEP-PL w planowaniu rozwoju lokalnych systemów energetycznych
PublikacjaZaprezentowano autorski system komputerowy ALEP-PL, który wspomaga proces planowania rozwoju lokalnych systemów energetycznych. Narzędzie zostało przygotowane z uwzględnieniem metodyki planowania zaawansowanego. System składa się z serwisu internetowego, bazy danych i modułów logiki biznesowej. Serwis internetowy został stworzony w technologii ASP.NET z użyciem środowiska Visual Studio 2010 i serwera baz danych MS SQL Server 2008...
-
Projekt i implementacja rejestratora OBD do rejestracji wielkości dla potrzeb badania infrastruktury drogowej
PublikacjaOpisany w artykule rejestrator OBD jest cyfrowym urządzeniem elektronicznym, które może w czasie rzeczywistym gromadzić dane związane z pojazdem i przechowywać je w celu późniejszego przetwarzania dla celów badawczych. Urządzenie takie może posłużyć do analizy przejazdu pod względem dynamiki ruchu, ekonomii jazdy, a nawet pomóc w zapobieganiu wypadkom samochodowym i ograniczać ich skutki [4][5]. W artykule opisano proces opracowania...
-
COMPARISON OF SOFTWARE AND HARDWARE REALIZATION OF AES CRYPTOGRAPHIC ALGORITHM
PublikacjaIn this paper hardware and software realization of direct and inverse AES cryptographic algorithm is presented. Both implementations were made using the Virtex-II FPGA and were practically tested. As the criteria of comparison, the resource utilization, achieved performance and power dissipation were chosen. Hardware realization increases throughput of conversion about 190 times over software implementation and decreases the energy...
-
Marek Galewski dr hab. inż.
OsobyMgr inż. - 2002r. - Politechnika Gdańska; Wydział Elektroniki, Telekomunikacji i Informatyki; Automatyka i RobotykaDr inż. - 2007r. - Politechnika Gdańska; Wydział Mechaniczny; Budowa i eksploatacja maszynDr hab. inż. - 2016r. - Politechnika Gdańska; Wydział Mechaniczny; Budowa i eksploatacja maszyn Dotychczasowe i planowane obszary badań: Redukcja drgań podczas obróbki frezowaniem i toczeniem Zastosowanie zmiennej prędkości obrotowej...
-
Justyna Kucińska-Lipka dr hab. inż.
Osoby -
Relationship between saw blade teeth wear and kinematics of frame sawingmachines
PublikacjaPrzedstawiono rezultaty badań zużycia ostrzy pił trakowych i wpływ kinematyki pilarki ramowej na rozkład zużycia poszczególnych ostrzy pił.
-
ATTEMPT AT EVALUATING THE INFLUENCE OF BENDING STRESS ON SHAFT WEAR PROCESSES IN WATER LUBRICATED SLIDING BEARING WITH A RUBBER BUSHING
PublikacjaWater lubricated bearings find increasingly wide application in shipbuilding or hydro–power industry, the popularity stemming from their numerous advantages. Unfortunately, as it turns out, water lubricated bearings do not always meet expectations, as on occasion they become subject to intense, premature wear which requires costly repair. One of the still unexplained phenomena is the process of excessive bearing wear, in particular...
-
Przestrzenne zróżnicowanie cen paliw płynnych w Polsce.
PublikacjaPrzedstawiono analizę przestrzennego zróżnicowania cen paliw płynnych w Polsce w latach 1999-2001 za pomocą prostych narzędzi statystycznych służących do badania struktury zbiorowości.
-
Machining of the flat surfaces with abrasive-metallic lapping tools.
PublikacjaPrzedstawiono konstrukcje narzędzi ścierno-metalowych do obróbki powierzchni płaskich na docierarkach jednotarczowych. Przeprowadzono badania wydajności i jakości powierzchni elementów ceramicznych o małych gabarytach.
-
Nowatorskie podejście do zarządzania jakością w branży morskiej na przykładzie stoczni Ostróda Yacht
PublikacjaArtykuł opisuje podejście procesowe funkcjonujące w jednej z największych polskich stoczni jachtowych Ostróda Yacht. Stocznia ta stanowi ilustrację – zakończonej z sukcesem – implementacji narzędzi Lean Production i stanowi przykład dla innych przedsiębiorstw w Polsce. Celem niniejszej publikacji jest ukazanie nowatorskiego podejścia do zarządzania jakością w stoczni jachtowej, które przyniosło korzyści zarówno z poziomu zarządzania...
-
Narzędzie wiertnicze
WynalazkiCelem projektu jest wprowadzenie na rynek nowego urządzenia otworowego umożliwi optymalizację geometrii odwiertu tuż przed operacją cementowania. Doprowadzi to do znacznej poprawy dokładności i jakości cementowania, dzięki czemu zmniejszy się ryzyko skażenia środowiska i minimalizacji kosztów pozyskiwania surowca.Narzędzie to wytwarzane będzie w 5 skalowanych rozmiarach w zależności od średnicy cementowanej rury okładzinowej.
-
Wsparcie małych i średnich przedsiębiorstw w procesie rekrutacji
PublikacjaPrzedsiębiorcy działający na małą skalę nie przywiązują zbyt dużej wagi do zarządzania zasobami ludzkimi, dotyczy to wszystkich jego elementów, w tym zatrudniania. Brak im umiejętności, czasu i chęci na prawidłowe określanie brakujących kompetencji, a pracowników poszukują wśród rodziny, znajomych czy w urzędach pracy. Ten uproszczony i niemal bez kosztowy sposób zarządzania tylko iluzorycznie obniża koszty funkcjonowania przed-siębiorstwa....
-
Atrakcyjność strategii inwestycji regionalnych jako dźwignia rozwoju gospodarczego w: Pieniądze i Więź, nr1, 2006
PublikacjaW artykule dokonano analizy celów, narzędzi i uwarunkowań prowadzenia polityki gospodarczej na poziomie regionalnym. Dokonano uporządkowania czynników wzrostu oraz założeń realizacji strategii rozwoju regionalnego.
-
Podstawy Informatyki II (sem. V, IŚ, inż., stacj.)
Kursy OnlineObsługa narzędzi informatycznych wspomagających pracę inżynieria środowiska.
-
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
PublikacjaW 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...
-
Influence on micrograins size on the distance between the workpiece and the lap.
PublikacjaNa kształtowanie powierzchni docieranej główny wpływ ma błąd kształtu zastosowanego narzędzia. Intensywność docierania zależy od wielkości zastosowanych ziaren ściernych, które również wpływają na błędy kształtu przedmiotu. W referacie przedstawiono wyniki obliczeń odległości przedmiotu od powierzchni narzędzia w funkcji wielkości ziaren ściernych.
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...