Filtry
wszystkich: 3028
wybranych: 2097
-
Katalog
- Publikacje 2097 wyników po odfiltrowaniu
- Czasopisma 12 wyników po odfiltrowaniu
- Konferencje 11 wyników po odfiltrowaniu
- Osoby 283 wyników po odfiltrowaniu
- Wynalazki 3 wyników po odfiltrowaniu
- Projekty 28 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Zespoły Badawcze 7 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 281 wyników po odfiltrowaniu
- Wydarzenia 172 wyników po odfiltrowaniu
- Dane Badawcze 129 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: PROGRAMY DEDYKOWANE
-
Dedykowane sieciowe technologie SIP dla prezentacji pseudodynamicznych danych geoprzestrzennych
PublikacjaSieciowe technologie prezentacji danych przestrzennych przeżywają aktualnie rozkwit spowodowany między innymi spadającymi cenami sprzętu komputerowego. Wynikający z tego wzrost wydajności domowych i biurowych stacji roboczych pozwala na praktyczne zastosowanie czasochłonnych algorytmów wizualizacji i przetwarzania skomplikowanych danych rastrowych i wektorowych. Niniejszy artykuł omawia wybrane technologie sieciowej prezentacji...
-
DEDYKOWANY SYSTEM MONITORINGU WARUNKÓW KLIMATYCZNYCH W CENTRUM DANYCH
PublikacjaKoszty utrzymania centrum danych istotnie zależą od kosztów zużycia energii elektrycznej. Zapotrzebowanie na energię elektryczną w tego typu obiektach można optymalizować poprzez monitoring warunków klimatycznych oraz odpowiednie sterowanie czasem pracy urządzeń je utrzymujących. W pracy przedstawiono analizę czynników wpływających na zużycie energii elektrycznej w centrach danych oraz ich wpływ na koszty zużycia energii. Przedstawiono...
-
Dedykowany System Informacji Przestrzennej w kontekście ochrony infrastruktur krytycznych
PublikacjaNowe zaawansowane narzędzia Technologii Informacyjnych i Komunikacyjnych mogą stanowić bardzo użyteczną pomoc podczas przewidywania różnego rodzaju zagrożeń jak również minimalizacji związanego z nimi ryzyka. Artykuł prezentuje Sieciowy System Informacji Przestrzennej dla Szacowania i Wizualizacji Infrastruktur Krytycznych i ich Zagrożeń, stworzony dla Urzędu Miejskiego w Gdańsku przez Politechnikę Gdańską. System ten jest przeznaczony...
-
xEmotion – obliczeniowy model emocji dedykowany dla inteligentnych systemów decyzyjnych
PublikacjaArtykuł prezentuje cybernetyczne podejście do zagadnienia modelowania ludzkich emocji, oparte na psychologicznych teoriach (ocennej i somatycznej). Opracowany model przeznaczony jest do integracji z Inteligentnym Systemem Decyzyjnym – IDS. Może być on używany jako silnik aplikacji lub jako system sterowania niezależnego urządzenia, np. robota autonomicznego.
-
Modele matematyczne układów regulacji hydrozespołów, dedykowane do badań metod i algorytmów synchronizacji
PublikacjaW artykule omówiono dotychczasowe sposoby modelowana układów regulacji prędkości kątowej hydrozespołów, dedykowane m.in. do badań metod i algorytmów synchronizacji oraz do symulacji procesu automatycznej synchronizacji prądnic. Przedstawiono również sposób modyfikacji tych modeli do postaci uwzględniającej zakłócenia powodujące zniekształcenia charakterystyk przejściowych obiektów rzeczywistych.
-
Programy lojalnościowe jako narzędzie tworzenia i kształtowania relacji z klientami na przykładzie wybranych programów Grupy Hotelowej Orbis
PublikacjaW opracowaniu poruszono problem stosowania programów lojalnościowych w kontekście tworzenia trwałych relacji z klientami. We wstępie zdefiniowano pojęcie programów lojalnościowych i omówiono ich cele. W pierwszej części omówiono teoretyczne podstawy tego zagadnienia niezbędne do późniejszej analizy programów. Dokonano prezentacji najczęściej stosowanych rodzajów programów. Następnie omówiono poziomy budowy programu lojalnościowego...
-
Biblioteka PG kontynuuje program digitalizacji i konserwacji. Kolejne tomy do renowacji z Programu Ministerstwa Edukacji i Nauki
PublikacjaBiblioteka Politechniki Gdańskiej ponownie otrzymała dofinansowanie na realizację projektu „Społeczna Odpowiedzialność Nauki". Celem projektu w ramach modułu „Wsparcie dla bibliotek naukowych” ogłoszonego przez Ministra Edukacji i Nauki jest konserwacja, digitalizacja i udostępnienie 16 woluminów z kolekcji zbiorów historycznych Biblioteki Politechniki Gdańskiej. Wartość projektu to 116 239,20 zł, a jego całkowity koszt wraz z...
-
Strategie algorytmiczne rywalizacji autonomicznych obiektów militarnych na platformie dedykowanej Robocode.
PublikacjaPlatformę Robocode opracowano w IBM jako środowisko symulacji walk wirtualnych robotów. Stosowane jest ono przez tysiące programistów na całym świecie do zabawy, nauki oraz badań nad mechanizmami sztucznej inteligencji i metodami uczenia. Artykuł rozpoczyna się krótką charakterystyką platformy i jej możliwości. Następnie autorzy na podstawie wiedzy zdobytej od innych programistów i doświadczeń wywiedzionych z licznych eksperymentów...
-
SYSTEM POMIAROWY DO URZĄDZENIA TYPU STEPPER DEDYKOWANY DO PRÓB WYSIŁKOWYCH
PublikacjaW artykule przedstawiono system pomiarowy opracowany do urządzenia typu stepper, umożliwiającego przeprowadzenie próby wysiłkowej zgodnie z testem Astrand’a-Ryhminga. Budowa prototypu systemu pomiarowego wymagała modyfikacji mechanicznej urządzenia typu stepper udostępnionego przez Akademię Wychowania Fizycznego i Sportu w Gdańsku oraz doboru części sprzętowej systemu pomiarowego (czujników, mikrokontrolera). Celem projektu było...
-
Programy komputerowe a style uczenia się
PublikacjaW artykule podjęto tematykę uczenia się obsługi programów komputerowych w kontekście różnych stylów uczenia się użytkowników. Badania są przeprowadzone na styku użytkownik - program komputerowy; z jednej strony występuje człowiek z jego własnościami psychologicznymi, z drugiej zaś program komputerowy ze cechami wynikającymi z jego budowy i działania. Analizy empiryczne przeprowadzono na przykładzie nauki obsługi programu graficznego...
-
Programy do kosztorysowania [Rozdział 11.8]
PublikacjaWażnym elementem w procesie projektowania węzłów drogowych jest ocena kosztów inwestycji. Jest to zajęcie trudne i czasochłonne, jednakże pojawienie się odpowiedniego oprogramowania znacznie przyspieszyło ten proces. Obecnie technika komputerowa niemal całkowicie wyparła tradycyjne sposoby sporządzania kosztorysów.
-
Wpływ kontekstu na efektywność wykonania interaktywnych aplikacji iteracyjnych w dedykowanej przestrzeni usług
PublikacjaTematyka rozprawy dotyczy aplikacji kontekstowych wykonywanych w środowisku czasu rzeczywistego typu *pervasive computing*. To środowisko nazywane jest przestrzenią inteligentną a aplikacje w niej wykonywane określane są jako Interaktywne Aplikacje Iteracyjne (IAI). IAI analizuje w sposób ciągły sytuacje (wyrażone przez kontekst) zachodzące w przestrzeni i w zależności od bieżącego kontekstu podejmuje określone działania. W skład...
-
Modelowanie i symulacja zaburzeń przewodzonych z zastosowaniem programów Saber i TCad = Modeling and simulation of conducted emissions with TCad and Saber programs
PublikacjaPrzedstawiono symulacyjne badania porównawcze w zakresie kompatybilności elektromagnetycznej EMC modelu obwodowego przetwornicy DC-DC podwyższającej napięcie. Wskazano na specyfikę modelowania wynikającą z potrzeby przewidywania propagacji zaburzeń przewodzonych EMI w szerokim zakresie częstotliwości. Wyznaczono model układu dla symulatora Saber i porównano pomiary charakterystyki widma EMI z wynikami otrzymanymi z symulacji. Zbadano...
-
Imiona komunikacji językowej, czyli demakijażowanie sensów. Księga Jubileuszowa dedykowana Profesor Marcelinie Grabskiej (książka)
Publikacja -
Realizacja samoorganizującej się radiowej sieci ad hoc dedykowanej do pracy w środowiskach zamkniętych
PublikacjaW artykule przedstawiono realizację samoorganizującej się radiowej sieci ad hoc dedykowanej do pracy w środowiskach zamkniętych. Przedstawiono wyniki pomiarów propagacyjnych, z wykorzystaniem docelowej warstwy fizycznej, mające zweryfikować funkcjonowanie sieci w środowisku propagacyjnym promu pasażerskiego, które bezpośrednio oddziałuje na dynamikę sieci i strukturę opracowanego protokołu komunikacji radiowej. Na podstawie uzyskanych...
-
Od projektu do programu
PublikacjaPraca wprowadza w zagadnienia implementacji i testowania, pod kątem proble-mów i metod przekształcania wyników fazy projektowania w oprogramowanie. O-mówienie poprzedza krótkie wprowadzenie w zagadnienia modelowania zachowańprogramu. Treść rozdziału uwzględnia też problem implementacji w postaci o-programowania równoległego, zarówno w zakresie specyfiki jego wytwarzania,jak i testowania.
-
Wojewódzkie programy GAMBIT struktura i proces wdrażania
PublikacjaW referacie przedstawiono m.in.zasady tworzenia programów poprawy brd, systemowe podejście do formułowania programu,programy długoterminowe - strategie,programy krótkoterminowe, zasady wdrażania programów, instytucje i organizacje zaangażowane w realizację programów, uwarunkowania realizacji programów.
-
Zintegrowany Program Operacyjny Rozwoju Regionalnego (ZPORR) w procesie rewitalizacji miast polskich. Integrated Operational Programme For Regional Development in the Process of Polish Cities Revitalization.
PublikacjaWobec przygotowań do przystąpienia naszego kraju do Unii Europejskiej pojawiły się nowe możliwości wspierania rewitalizacji polskich miast. Jedną z nich jest Zintegrowany Program Operacyjny Rozwoju Regionalnego (ZPORR), które posłużą do realizacji Narodowego Planu Rozwoju na lata 2004-2006. stanowiący część Narodowego Planu Rozwoju na lata 2004-2006. Program ma być współfinansowany z zasobów Europejskiego Funduszu Rozwoju Regionalnego...
-
Presentation of HAL 2010 Program
PublikacjaPrzedstawiono zastosowany w projekcie HAL'2010 model przedniej ściany ludzkiego brzucha, opracowaną metodę wizualizacji odmy wraz z otworem przepuklinowym oraz opisano sposób określania zaopatrzenia w postaci siatki przepuklinowej i mocowań wraz z ich wizualizacją.
-
Education programmes as an element of limiting space and social barriers.CTA Home : Accessible Transportation : TRANSED 2007 [online]. [dostęp 2007.12.31]. Dostępny w World Wide Web: http: //www.tc.gca.ca - TRANSED 2007 COMOTRED
PublikacjaThe article presents education programme " Creating common space" introduced by Gdansk University of Technology - Architecture Department ( Poland) and local authorities. It also contains workshops " Cities without barriers" carried out in Pomeranian cities, where students are taught an additional subject " Designing common space". Liquidation of space barriers is necessary to help the disabled live their lives, develop and become...
-
Testing and tuning PLC application programs
PublikacjaWe wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...
-
Instytucje i programy wspierające transfer technologii w Polsce
PublikacjaAutorka omawia instytucje i programy wspierające transfer technologii w Polsce, m.in. parki technologiczne, parki naukowe, parki przemysłowe, inkubatory oraz centra transferu technologii. Autorka prezentuje ofertę i procesy realizowane przez powyższe instytucje, akcentując występujące między nimi różnice.
-
Zrównoważony rozwój - program na jutro
PublikacjaOmówienie pracy S. Kozłowskiego (Abrys, Poznań 2008) dotyczącej zagadnień zrównoważonego rozwoju. Dość szczegółowa przezntacja programu Natura 2000. Polska na drodze do zrównoważonego rozwoju, pprzezntacja na tle europejskim. Wykazana potrzeba skutecznej koordynacji na poziomie krajowym.
-
Program edukacyjny ''Projektowanie Przestrzeni Wspólnej''
PublikacjaArtykuł poświęcony realizowanemu na Wydziale Architektury Politechniki Gdańskiej programowi edukacyjnemu ''Projektowanie Przestrzeni Wspólnej''. Program realizowany jest wspólnie z samorządami lokalnymi województwa pomorskiego. W programie uczestniczą studenci Wydziału Architektury i osoby niepełnosprawne. W artykule opisano zrealizowane warsztaty ''Miasta bez Barier'', które odbyły się w Gdyni i Kwidzynie.
-
Komputerowy program do analizy hałasu
PublikacjaW pracy przedstawiono założenia i wyniki opracowywanej aplikacji do pomiaru i analizy poziomu hałasu, będącego częścią konstruowanego ogólnopolskiego systemu telemonitoringu hałasu. Opracowano graficzny sposób prezentacji wyników pomiaru. W pracy zawarto opis wybranych algorytmów obliczeniowych zastosowanych w programie, przedstawiono analizę porównawczą otrzymanych wyników pomiarów z wykorzystaniem opracowanego programu.
-
Lokalny Program Rewitalizacji Miasta Wejherowa
PublikacjaPraca dotyczy planowania rewitalizacji miasta Wejherowa w oparciu o wytyczne Ministerstwa Infrastruktury i Rozwoju. Na jej strukturę składają sie zarówno delimitacja obszarów zdegradowanych i rewitalziajci jak i zapisy samego Programu Rewitalizacji
-
Nowy program brd Unii Europejskiej
PublikacjaDobiega końca realizacja III Programu BRD Unii Europejskiej. Niestety rezultaty tego programu odbiegają od oczekiwań - szczególnie w nowych krajach członkowskich, wśród których negatywnie wyróżnia się Polska. W celu intensyfikacji działań na rzecz brd przygotowano równie wymagający IV Program BRD obejmujący kolejną dekadę.
-
Zintegrowany Program Rozwoju Politechniki Gdańskiej
PublikacjaPolitechnika Gdańska realizuje projekt Zintegrowany Program Rozwoju Politechniki Gdańskiej (POWER 3.5) dofinansowywany z Europejskiego Funduszu Społecznego. Celem projektu jest podniesienie jakości kształcenia na studiach II i III stopnia, zwiększenie efektywności zarządzania Politechniką Gdańską oraz podniesienie kompetencji kadr. Projekt jest realizowany od 1 kwietnia 2018 roku do 31 marca 2022 roku. Instytucją pośredniczącą...
-
A NEW MASTER'S DEGREE PROGRAM IN GEODESY
PublikacjaFaculty of Civil and Environmental Engineering (WILiS) at Gdansk University of Technology (GUT) offers studies in the fields of Geodesy and Cartography. The bachelor program (7 semesters) was started ten years ago in 2009. It provides the student with the basic skills and knowledge in the fields of surveying, geodesy and more generally geomatics and cartography. It is strongly related to expertise knowledge of civil building (geodetic...
-
Rewitalizacja historycznego zespołu pałacowo-parkowego w Lokalnym Programie Rewitalizacji Wejherowa (2008-2015). Revitalisation of the Historic Palace and Park in the Local Revitalisation Program of Wejherowo (2008-2015)
PublikacjaW latach 1990. po upadku komunizmu w Polsce, przestrzeń publiczna w Wejherowie - podobnie jak i w innych miastach Polski była w dużym stopniu zdegradowana. W 2008 roku władze miasta Wejherowa opracowały i zatwierdziły "lokalny program rewitalizacji na lata 2008-2015", który dotyczył głównie centrum miasta. Miał on być w dużym stopniu finansowany przez Unię Europejską..Jedną z najbardziej eksponowanych przestrzeni publicznych, które...
-
Sposób uzyskiwania zgodności przebiegu programu elucji gradientowej w kolumnie z wymaganą postacią programu oraz zapewnienia odtwarzalności parametrów retencji na drodze korekty programu elucji.
PublikacjaPrzedstawiono ogólny model dynamiki mieszania cieczy w elementach gradientowego aparatu HPLC. Na podstawie wyników matematycznej i doświadczalnej analizy rozproszonej postaci modelu przedstawiono algorytm postępowania, zapewniający uzyskiwanie zgodności przebiegu programu elucji z wymaganą funkcją i wyniki doświadczalnej weryfikacji skuteczności algorytmu. Stwierdzono skuteczność opisanego sposobu postępowania.
-
Rozpowszechnienie zaburzeń lipidowych w populacji wiejskiej -Program ''Kiełpino'' = Dyslipideamia prevalence in rural population - Kiełpino program
PublikacjaPodwyższony poziom cholesterolu odgrywa kluczową rolę w rozwoju miażdżycy i jej powikłań. Potwierdziły to liczne badania anatomopatologiczne, badania przekrojowe i prospektywne obserwacje epidemiologiczne. Wyniki badania Framingham wykazały, że wysokie stężenie cholesterolu całkowitego we krwi wiąże się ze zwiększonym ryzykiem wystąpienia zawału mięśnia sercowego i że ryzyko to rośnie proporcjonalnie wraz ze zwiększającym się...
-
W obronie Quintyliana – zamiast programu redakcji
Publikacja -
Kształcenie franchisobiorców: Przykład fińskiego programu szkoleniowego.
PublikacjaArtykuł omawia szczegółowo zagadnienia związane ze szkoleniem fińskich franchisobiorców. Wyniki osiągnięte w Finlandii wydają się być interesujące z polskiej perspektywy. W artykule wykazano także potrzebę organizowania podobnych szkoleń w Polsce, które mogą w znaczący sposób przyczynić się do wzrostu dynamiki rozwoju franchisingu.
-
Kształtowanie programu projektów ITS - studium przypadku
PublikacjaInteligentne systemy transportowe ang. intelligent transportation systems (ITS) to nie jednorazowe wdrożenia, ale program projektów którym należy zarządzać. Istnieją metodologie dotyczące zarządzania wieloma projektami. Nie odpowiadają one w pełni potrzebom zarządzania programem projektów ITS. Rodzi się zatem pytanie, jak dokładać nowe projekty i działania o charakterze operacyjnym do programu inteligentnych systemów transportowych?...
-
Programy symulacyjne jako narzędzia wspierające proces rekonstrukcji wypadków drogowych
PublikacjaObecnie można zauważyć dynamiczny rozwój narzędzi komputerowych wykorzystywanych w procesie rekonstrukcji wypadków drogowych. Artykuł przedstawia i opisuje programy symulacyjne, które stanowią odrębną grupę wśród tego typu oprogramowania. Obejmują swym działaniem całą dyscyplinę wypadków drogowych w przeciwieństwie np. do programów rysunkowych czy fotogrametrycznych skupiających się wyłącznie na wąskim wycinku tej dyscypliny. Dają...
-
Program Wsparcia Centrum Spotkań – amsterdamski program zintegrowanego wsparcia dla osób z otępieniem i ich opiekunów
Publikacja -
program verification strategy and edge ranking of graphs
PublikacjaW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Gminny Program Rewitalizacji Miasta Starogard Gdański
PublikacjaPublikacja stanowi podsumowanie prac nad programem rewitalziacji miasta. Ujeto w nim zagadnienia delimitacji obszaru zdegradowanego i obszaru rewitalizacji, a także zapisy samego planu.
-
Program rewitalizacji drogi wodnej E-70
PublikacjaCoraz wyraźniej rysuje się potrzeba uruchomienia korytarzy transportowych północ- południe, w których drogom wodnym wykorzystującym Wisłę i Odrę przypisuje się coraz większe znaczenie w tym także równoleżnikowemu szlakowi E-70 spinającemu całą Europę. W pracy Autor przedstawił stan istniejący i uwarunkowania rozwoju dróg wodnych,kierunki i cele rewitalizacji oraz cele i uwarunkowania środowiskowe i gospodarcze.Opracowna Strategia...
-
Ocena warunków nasłonecznienia i projektowanie elektrowni słonecznych z wykorzystaniem dedykowanego oprogramowania oraz baz danych
PublikacjaPrzytoczono typowe dla obszaru Polski wartości nasłonecznienia. Zaprezentowano sposoby dokładniejszego określenia wartości nasłonecznienia w oparciu o bazy danych o nasłonecznieniu i aplikacje komputerowe. Narzędzia te pozwalają w pełniejszy sposób uwzględnić kąt nachylenia i azymut modułów fotowoltaicznych, linię horyzontu i zacienienie oraz zmienność nasłonecznienia w ciągu roku na podstawie statystycznych wartości nasłonecznia...
-
Ocena wybranych programów lojalnościowych Grupy Hotelowej Orbis
PublikacjaW artykule dokonano analizy i oceny wybranych programów lojalnościowych stosowanych przez Grupę Hotelową Orbis. Na początku przedstawiono główne założenia dotyczące programu lojalnościowego. Następnie zaprezentowano trzy programy lojalnościowe poddane analizie. Przedstawiono nazwę programu, jego formę, marki hoteli go stosujące, korzyści dla uczestników oraz uwagi dotyczące programu. Kolejnym etapem była ocena rozpatrywanych programów....
-
Modelowanie obiektu budowlanego z wykorzystaniem programu AutoCAD
Publikacja -
Wizja bez programu - gdańska Droga do Wolności
PublikacjaW 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...
-
Preprocesor graficzny ATPDRAW dla programu symulacyjnego ATP.
PublikacjaPrzedstawiono program ATPDraw, który jest preprocesorem graficznym dla programu ATP przeznaczonego do obliczania stanów przejściowych w obwodach elektrycznych. Opracowanie preprocesora znacznie ułatwiło tworzenie modelu symulowanego układu. Model jest tworzony w dużo czytelniejszej niż tekstowa formie graficznej. ATPDraw umożliwia stworzenie w prosty sposób łatwej do wykorzystania biblioteki własnych modeli obiektów i zjawisk....
-
Modernizacja łuków koszowych z wykorzystaniem programu MUGO
PublikacjaW artykule przedstawiono opracowywane obecnie algorytmy obliczeń, które będą wykonywane w programie komputerowym MUGO służącym do wyznaczania przesunięć toru i robót ziemnych. Program jest związany z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano aktualny stan zaawansowania programu.
-
Modernizacja łuków koszowych z wykorzystaniem programu MUGO
PublikacjaW artykule przedstawiono opracowywane obecnie algorytmy obliczeń, które będą wykonywane w programie komputerowym MUGO służącym do wyznaczania przesunięć toru i robót ziemnych. Program jest związany z modernizacją układów geometrycznych toru kolejowego. W pracy scharakteryzowano aktualny stan zaawansowania programu.
-
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...
-
Zastosowanie elementów "węzłowych" do budowy modelu 3D cewki giętkiej w programie polowym OPERA 3D = Application of "nodal" elements for creation of a 3D model of a flexible coil in the program Opera 3D
PublikacjaNiniejsza praca jest kontynuacją serii artykułów dotyczących modelowania 3D uzwojenia maszyn elektrycznych z cewkami giętkimi. Istotnym problemem dotyczącym modelowania takiego uzwojenia jest zmienność kształtu przekroju poprzecznego zwłaszcza w części czołowej. Powoduje to problemy w utworzeniu uzwojenia bez konfliktów wymiarowych (nie przenikanie się wierzchołków, przyleganie boków cewek, odpowiednie położenie). Niektóre programy...
-
Autorzy numeru: Biogramy autorów
Publikacja