Search
Filters
total: 610
filtered: 387
Search results for: EKSTREMALNA TEORIA GRAFÓW
-
Model chłodnicy płytowej pracującej w układzie chłodzenia samochodowego silnika spalinowego
PublicationW artykule przedstawiono zastosowanie chłodnic płytowych w nowoczesnych układach chłodzenia silników spalinowych. uzasadniono potrzebę budowy modelu chłodnicy pozwalającego na przeprowadzenie badań symulacyjnych w nieustalonych warunkach pracy silnika samochodowego. Jako metodę modelowania przyjęto metodę grafów wiązań i równań stanu. Przyjęta metoda pozwala na powiązanie modelu chłodnicy z elementami systemu energetycznego silnik-pojazd,...
-
Kompleksowy model nowej generacji układu chłodzenia silnika spalinowego
PublicationPrzedstawiono tendencje w konstrukcji układów chłodzenia i dostępne komercyjne metody modelowania pracy układu chłodzenia. Przeprowadzono obliczenia symulacyjne temperatury cieczy komercyjnym programem komputerowym AmeSIM i porównano wyniki z pomiarami wykonanymi na hamowni podwoziowej. Opisano wybrane procesy wymiany ciepła występujące w układach chłodzenia. Przedstawiono ogólny model elementu cieplnego w postaci grafów wiązań...
-
Generation of vorticity mode by sound in Bingham plastic
PublicationBadanie dotyczy interakcji między modami akustycznymi i nieakustycznymi (tj. mody wirowe) dla klasy płynów nienewtonowskich zwanych płynami Binghama. Zostały wyprowadzone momentalne równania opisujące interakcje między modami. Uwzględnione zostały efekty nieliniowe w polu intensywnego dźwięku. Otrzymane równania opisują dynamikę zarówno akustycznych jak i wirowych modów (i mogą być stosowane zarówno do periodycznych i aperiodycznych...
-
Centrum Zastosowań Matematyki
PublicationProjekt Centrum Zastosowan Matematyki realizowany jest przy Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdanskiej od wrzesnia 2013 do sierpnia 2015 roku. W drodze konkursu organizowanego przez Narodowe Centrum Badan i Rozwoju uzyskał on dofinansowanie w wysokosci niemal dwa miliony złotych ze srodków Europejskiego Funduszu Społecznego. Zadania projektu obejmuja: stworzenie platformy internetowej, organizacje cyklu...
-
Detection of roles of actors in social networks using the properties of actors' neighborhood structure.
PublicationArtykuł opisuje metodę identyfikacji ról aktorów sieci społecznej. Metoda ta może być szczególnie przydatna w sieciach społecznych, o których posiadamy ograniczoną wiedzę, głównie zawężoną do lokalnych powiązań pomiędzy aktorami. Przedstawiona w artykule metoda korzysta z grafu relacji społecznych, algorytmu identyfikacji ról oraz zbioru grafów wzorców relacji. Rozwiązanie zostało przetestowane w społeczności użytkowników serwisu...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Model of speed-varing rotor for mechatronic systems analysis and design
PublicationW artykule przedstawiono sposób modelowania złożonych układów mechatronicznych w oparciu o metodę grafów wiązań. Celem zilustrowania metody posłużono się przykładem liczbowym, w którym rozważano wirnik obracający się ze zmienną prędkością kątową. Prezentowana metodyka doskonale nadaje się do modelowania układów o zróżnicowanej naturze fizycznej. Otrzymany model ma charakter obiektu o pewnej liczbie wejść i wyjść, który można w...
-
Wpływ odbiorników energii elektrycznej pojazduna parametry silnika spalinowego
PublicationW artykule przedstawiono model systemu energetycznego pojazdu napędzanego silnikiem spalinowym w postaci grafów wiązań (GW). W modelu tym uwzględniono szczególnie część elektryczną systemu składającą się z generatora, akumulatora elektrochemicznego i odbiorników energii elektrycznej. Podano zależności na podstawowe parametry systemu energetycznego w konwencji GW. W oparciu o przedstawioną w pracy [11] wielowymiarową charakterystykę...
-
Model procesu hamowania w pojeździe hybrydowym
PublicationW tradycyjnym procesie hamowania cała energia kinetyczna pojazdu jest rozpraszana do otoczenia w postaci energii cieplnej. W pojazdach hybrydowych istnieje możliwość odzyskania części tej energii przez przekazanie do akumulatorów i wykorzystania jej do napędu pojazdu. W pracy przedstawiono model energetyczny procesu hamowania pojazdu hybrydowego w układzie szeregowym, stosując metodę grafów wiązań (GW). Stosując konwencję GW podano...
-
Planning cellular machining systems for lean production.
PublicationRozważano zagadnienie projektowania struktur systemów obróbki o zdeterminowanych możliwościach technologicznych, odpowiadających wymaganiom oszczędnej produkcji. Przedstawiono model matematyczny wyznaczania struktur systemów grupowego wytwarzania, wykorzystujący zasady formalizmu relacji i grafów rozmytych. Zawarto wyniki badań symulacyjnych efektywności procesów wytwarzania określonego spektrum przedmiotowego, przebiegających...
-
Ocena przydatności systemu AIS w doborze tras rutingowych w sieciach bezprzewodowych o architekturze mesh na obszarze Bałtyku
PublicationCelem artykułu jest przybliżenie wyników jednego z kierunków prac prowadzonych w Katedrze Teleinformatyki Wydziału ETI Politechniki Gdańskiej w ramach projektu NetBaltic. Zaprezentowano w nim wstępne wyniki dotyczące systemu akwizycji danych oraz oceny przydatności systemu AIS do dynamicznego modelowania grafów powiązań między statkami, z uwzględnieniem zasięgów zapewnianych przez wybrane technologie sieciowe, a także określania...
-
Modelowanie układów napędowych pojazdów z silnikami spalinowymi
PublicationW analizie struktur układów napędowych pojazdów wykorzystano metodę Grafów Wiązań, która daje możliwość modelowania elementów o różnej naturze fizycznej. Jest to bardzo istotne przy analizie energetycznej systemów o złożonej i zróżnicowanej strukturze energetycznej, np. w przypadku pojazdów samochodowych z klasycznym lub hybrydowym układem napędowym. W pracy przedstawiono również przykłady popularnych programów komputerowych do...
-
Systemy aktywizacji, przetwarzania i wizualizacji danych AIS na potrzeby projektu netBaltic
PublicationSystem AIS (Automatic Identification System), zaprojektowany dla zapewnienia bezpieczeństwa żeglugi, służy do przekazywania w swoich komunikatach, wymienianych między jednostkami pływającymi, istotnych informacji geolokalizacyjnych. Znaczenie tych informacji wydaje się duże w kontekście planów budowy testowej instalacji, szerokopasmowej sieci teleinformatycznej netBaltic na morzu. W artykule przedstawiono wyniki dotyczące budowy...
-
Bilans energetyczny w pojeździe hybrydowym z napędem szeregowym.
PublicationPrzedstawiono model pojazdu hybrydowego z napędem szeregowym sformułowany przy użyciu grafów wiązań (GW) i równań stanu (RS). Podano składowe bilansu energetycznego hybrydowego układu napędowego i zdefiniowano najważniejsze sprawności, które mogą posłużyć do oceny ogólnej sprawności eksploatacji pojazdu. Krótko opisano pojazd hybrydowy zbudowany w Politechnice Gdańskiej w celu przeprowadzenia weryfikacji eksperymentalnej modelu...
-
Miasto nocą: zaburzenia snu a praca zmianowa i stres zawodowy wśród policjantów
PublicationStreszczenie. Jedną z miar subiektywnej jakości życia jest dobry sen. Cebulowa teoria szczęścia postuluje zależność pomiędzy dobrostanami cząstkowymi. Celem studium była ocena zaburzeń snu wśród policjantów z miejskich komisariatów Policji w zależności od cech pracy (stres zawodowy) i jej organizacji (zmianowość). Rezultaty pokazały, że większe problemy ze snem mieli policjanci pracujący wyłącznie na zmianach dziennych niż pracujący...
-
Generation of vorticity motion by sound in a chemically reacting gas and inversion of acoustic streaming in the non-equilibrium regime
PublicationBadanie dotyczy nieliniowych pobudzeń modu wirowego wywoływanych przez straty momentu pędu w gazie, w którym zachodzą reakcje chemiczne. Zostało wyprowadzone chwilowe dynamiczne równanie dla modu wirowego. Zawiera ono nieliniową siłę akustyczną co pokazuje, że powodem interakcji między modami akustycznym i wirowym jest nieliniowość. Równanie pozwala jako przyczynę ruchu wirowego rozważać zarówno dźwięk okresowy, jak i aperiodyczny....
-
Gwarantowanie bezpieczeństwa w systemie z połączeniami awaryjnymi
PublicationRozważamy zapewnianie bezpieczeństwa przed zewnętrznym intruzem w systemie o topologii drzewa, w którym wprowadzono dodatkowe połączenia awaryjne. Grupa mobilnych autonomicznych agentów musi przechwycić intruza, niezależnie od przyjętej przez niego strategii unikania. W literaturze problem ten jest modelowany jako przeszukiwanie grafów. W pracy zawężamy dotychczasowe oszacowanie na liczbę przeszukiwawczą kaktusów podkubicznych,...
-
Early detection of imminent threats in social relation graphs
PublicationWczesne wykrywanie zagrożeń i anomalii w sieciach społecznych jest dziś prawdziwym wyzwaniem. Ludzie w realnym świecie tworzą wiele złożonych relacji społecznych, które mogą być przedstawione za pomocą grafów, w których węzły reprezentują aktorów (pojedyncze osoby lub organizacje) a krawędzie wskazują na powiązania pomiędzy nimi. Analiza nieustannie zmieniających się relacji pomiędzy aktorami może wskazać konkretne nadciągające...
-
Heurystyczne algorytmy szeregowania zadań wieloprocesorowych na procesorach dedykowanych
PublicationProblem szeregowania zadań wieloprocesorowych na procesorach dedykowanych można zaprezentować przy pomocy modelu kolorowania krawędzi hipergrafów. Hipergrafem nazywamy pewne uogólnienie grafu, w którym krawędzie mogą zawierać dowolnie wiele wierzchołków. Model taki pozwala symulować rozmaite zjawiska praktyczne oraz teoretyczne. Kolorowanie hiperkrawędzi hipergrafów jest uogólnieniem kolorowania krawędzi grafów, zatem jest problemem...
-
Metaheurystyki dla problemu routingu oraz kolorowania ścieżek w grafie.
PublicationReferat dotyczy zagadnienia ścieżkowego kolorowania grafu, które stanowi naturalny model dla problemu routingu i przydziału częstotliwości w czysto optycznej sieci światłowodowej. Zagadnienie optymalizacyjne dla zadanego zbioru zgłoszeń polega na minimalizacji największej użytej wartości koloru ścieżki (tzw. liczby chromatycznej zbioru zgłoszeń). Opisano podstawowe zasady i właściwości ścieżkowego kolorowania grafów. Porównano...
-
The complexity of list ranking of trees
PublicationUporządkowane kolorowanie grafu polega na takim etykietowaniu jego wierzchołków, aby każda ścieżka łącząca dwa wierzchołki o tym samym kolorze zawierała wierzchołek o kolorze wyższym. Jeśli każdy wierzchołek posiada dodatkowo listę dozwolonych dla niego etykiet, to mówimy wówczas o uporządkowanym listowym kolorowaniu wierzchołków. W pracy wskazano szereg klas grafów, dla których problem jest trudny: pełne drzewa binarne, drzewa...
-
Synchronization helps robots to detect black holes in directed graphs
PublicationPraca zawiera nowe wyniki dla problemu poszukiwania czarnej dziury w grafie skierowanym przez zbiór agentów. Czarna dziura jest węzłem niszczącym wszystkich wchodzącej do niej agentów. Pokazano, że w przypadku, gdy stopień wejściowy czarnej dziury wynosi D, do przeszukania grafu skierowanego w modelu synchronicznym wystarcza O(D 2^D) agentów. Wartość ta jest bliska znanemu z literatury oszacowaniu dolnemu Omega (2^D). W pracy pokazano...
-
Intencje przedsiębiorcze studentów – analiza międzynarodowa oparta na rozszerzonym modelu Ajzena
PublicationPoszukiwanie czynników wpływających na rozpoczęcie działalności gospodarczej doczekało się opisu w wielu publikacjach. Nie ma wątpliwości, że czynnikiem kluczowym w procesie przedsiębiorczym są intencje, a dzięki pracom I. Ajzena wiadomo także, jakie grupy czynników wpływają na intencje. Jednak jego teoria planowanego zachowania wydaje się być niewystarczająca. Celem rozdziału było opracowanie propozycji rozszerzenia teorii Ajzena....
-
Analityczne podejście do problematyki łukowania rozjazdów kolejowych
PublicationW pracy nawiązano do książki Władysława Rzepki pt. „Rozjazdy łukowe w planie i profilu”, będącej od ponad 50 lat w naszym kraju podstawowym opracowaniem traktującym o problematyce rozjazdów łukowych. Wskazano, że zawarta tam teoria została dostosowana do ówczesnych możliwości obliczeniowych. Jak się wydaje, podstawową wadę przedstawionych rozwiązań stanowi niejednoznaczność przyjęcia układu odniesienia. W niniejszej pracy przedstawiono...
-
Chapter 2: Modelling and analysis of rotor with magnetic bearing system
PublicationThe paper is concerned with rotor magnetic bearing system modelling. Such system is a relatively complex electromechanical system and can be considered as typical mechatronic one. The port-based modelling of physical systems has been used to obtain discrete-continuous model of considered system. Proposed approach enables to obtain reduced low-order lumped parameter representation of the system including gyroscopic interactions....
-
Maximum vertex occupation time and inert fugitive: recontamination does help [online]
PublicationRozważamy problem przeszukania danego grafu prostego G w celu przechwycenia niewidocznego i leniwego uciekiniera. Parametrem optymalizacyjnym, który minimalizujemy jest maksymalny czas (liczba tur strategii przeszukiwania), podczas których wierzchołek może być strzeżony (okupowany przez strażnika). Strategia monotoniczna to taka, która nie dopuszcza sytuacji, w której uciekinier dociera do wierzchołka, który wcześniej został oczyszczony....
-
Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL
PublicationW referacie przedstawiony został autorski moduł oprogramowania ProSIL wspomagający zarządzanie bezpieczeństwem funkcjonalnym. W module ProSILen wykorzystuje się metody matrycy oraz grafów ryzyka. Referat nawiązuje w swej tematyce do zagadnień związanych z etapem określania specyfikacji wymagań bezpieczeństwa dla zidentyfikowanych funkcji bezpieczeństwa realizowanych przez systemy E/E/PE. Składa się ona z dwóch podstawowych grup...
-
The complexity of node blocking for dags
PublicationRozważamy następującą grę (pomiędzy dwoma graczami) kombinatoryczną o nazwie ''node blocking''. Dany jest graf skierowany. Każdy wierzchołek może być zajęty przez co najwyżej jeden token. Wyróżniamy dwa kolory tokenów, biały i czarny, każdy gracz może przemieszczać tylko własne tokeny. Gracze wykonują ruchy naprzemiennie. Ruch polega na wyborze dowolnego tokena własnego koloru i przesunięciu go na dowolnego niezajętego przez inny...
-
Model of the hydraulic pump powertrain of refuse collection vehicle compaction mechanism
PublicationW pracy przedstawiono symulację pracy układu napędowego pompy hydraulicznej mechanizmu prasującego śmieciarki oraz wpływ różnych konfiguracji elementów składowych tego urządzenia na zużycie paliwa silnika napędowego w warunkach przyjętego cyklu obciążenia. W tym celu wykorzystano model układu napędowego pompy hydraulicznej mechanizmu prasującego śmieciarki w formie grafów wiązań oraz wyniki pomiarów ciśnienia roboczego w siłownikach...
-
Układy dynamiczne w analizie zachowania się geosyntetyków w kolejowych konstrukcjach inżynierskich
PublicationW analizie współpracy geosyntetyków z elementami konstrukcji inżynierskiej możemy je traktować jako membrany sprężyste lub powłoki posadowione na różnych rodzajach podłoża. Modelowanie układu rzeczywistego oznacza jego idealizację pod kątem uwzględnienia tych cech ośrodka i jego elementów, które wydają się najistotniejsze z punktu widzenia analizowanego problemu. Zbudowany zostanie model fizyczny, a następnie matematyczny przedstawiony...
-
WYRAŻANIE NIEDOKŁADNOŚCI POMIARU – BŁĄD CZY NIEPEWNOŚĆ?
PublicationMinęło ponad 20 lat od wprowadzenia dokumentu Guide to the Expression of Uncertainty in Measurements i Międzynarodowego słownika metrologii, w których to dokumentach przedstawiono odpowiednio metodologię wyznaczania niepewności pomiaru oraz terminologię metrologiczną. Współczesne liczne publikacje z tej tematyki w sztandarowych czasopismach metrologicznych dowodzą, że teoria ta na dobre zagościła w technice. Z tego względu w każdym...
-
Samooczyszczanie się gruntów z substancji organicznej.
PublicationŚcieki opuszczające oczyszczalnię mogą być poddawane doczyszczaniu na filtrach gruntowych, gdzie są usuwane zanieczyszczenia organiczne występujące w postaci koloidów i roztworów. W przypadku nadmiernego obciażenia filtrów gruntowych ładunkiem substancji organicznej doprowadzonej ze ściekami nastapić może odtlenienie gruntu, a w konsekwencji zaburzenie zachodzących procesów mineralizacji. Należy ustalić dopuszczalne dawki zanieczyszczeń...
-
Preferential solvation in (amide+alcohol) binary mixtures. Part 2. The N-methylpyrrolidinone+methanol mixture at T = 313.15 K: thermodynamic resultsand molecular dynamics calculations.
PublicationBadano zjawisko preferencyjnej solwatacji amidu (N-metylopyrrolidonu) przez metanol wykorzystując dwie uzupełniające się metody: bezpośrednich pomiarów własności termodynamicznych roztworu oraz symulacji komputerowych. W metodzie pierwszej dokonano pomiarów wielkości termodynamicznych takich jak: nadmiarowa energia swobodna mieszania, nadmiarowa objętość mieszania oraz współczynnika ściśliwości izotermicznej mieszaniny,...
-
Preferential solvation in (amide+alcohol) binary mixtures. Part 1. The N- methylpyrrolidinone+ethanol mixture at T = 313.15 K: thermodynamic resultsand molecular dynamics calculations.
PublicationBadano zjawisko preferencyjnej solwatacji amidu (N-metylopyrrolidonu) przez etanol wykorzystując dwie uzupełniające się metody: bezpośrednich pomiarów własności termodynamicznych roztworu oraz symulacji komputerowych. W metodzie pierwszej dokonano pomiarów wielkości termodynamicznych takich jak: nadmiarowa energia swobodna mieszania, nadmiarowa objętość mieszania oraz współczynnika ściśliwości izotermicznej mieszaniny,...
-
Capacity efficient shared protection and fast restoration scheme in self-configured optical networks
PublicationW artykule zaproponowano nową koncepcję optymalizacji rozdziału zasobów dla przeżywalnych sieci rozległych, która gwarantuje szybkie odtwarzanie usług po wystąpieniu awarii. Wykazano, iż proponowany algorytm, wykorzystujący ideę wierzchołkowego kolorowania grafów, nie powoduje wydłużania ścieżek zabezpieczających - zjawiska charakterystycznego dla powszechnie stosowanych algorytmów optymalizacji. Udowodniono, iż powyższa cecha...
-
Uszeregowania zadań wieloprocesorowych w ogólnych systemach równoległych.
PublicationPlanowanie procesorów produkcyjnych czy sterowanie systemami komputerowymi wymaga skonstruowania adekwatnych modeli teoretycznych w celu uzyskania zadowalającego poziomu efektywności stosowanych rozwiązań oraz przeprowadzenia w miarę jak najpełniejszej klasyfikacji problemów ''łatwych'' oraz ''trudnych''obliczeniowo. W pracy rozważane są problemy deterministycznego szeregowania zadań wieloprocesorowych w środowisku maszyn...
-
Model Pozyskiwania i Przetwarzania Wiedzy w Zarządzaniu Organizacją Uczącą się
PublicationW pracy podjęto tematykę rozwoju organizacji uczących się. Jako, że teoria organizacji uczącej nie daje mierników ani narzędzi do badania jej rozwoju autor podejmuje badania w tym zakresie w oparciu o znajomość organizacji informatycznych i istniejących w branży IT formalnych standardów oceny organizacji. Proponuje adaptację istniejących standardów oceny dojrzałości organizacji IT dla potrzeb pomiaru rozwoju organizacji uczących....
-
Application of social relation graphs for early detection of transient spammers
PublicationWczesne wykrywanie społecznych zagrożeń i anomalii jest prawdziwym wyzwaniem w dzisiejszch, dynamicznych społeczeństwach. Ludzie tworzą skoplikowane relacje społeczne, które mogą być przedstawione za pomocą różnych typów grafów, których wierzchołki reprezentować mogą aktorów sieci (konkretne osoby lub organizacje) a krawędzie relacje pomiędzy nimi. Analiza tych dynamicznie zmieniających się relacji może wskazywać na niektóre nadciągające...
-
Detection methods of dynamic spammer's behavior
PublicationPoczta elektroniczna ze względu na swoją naturę jest bardzo podatna na zjawisko spamu. Oddzielanie spamu od dobrych wiadomości jest zadaniem żmudnym i pracochłonnym. Dlatego jest rzeczą istotną opracowanie skutecznej metody walki ze spamem uwzględniającej nie tylko aktualne metody działania spamerów, ale również wzięcie pod uwagę dynamicznych aspektów zmieniających się stale ich zachowań.Artykuł opisuje metodę klasyfikacji wiadomości...
-
Terytorialne zróżnicowanie wypadków przy pracy, ich przyczyn i zagrożeń czynnikami szkodliwymi i niebezpiecznymi oraz uciążliwymi dla zdrowia pracowników w Polsce
PublicationWstęp: W artykule omówiono rozmieszczenie wypadków przy pracy, ich przyczyn i zagrożeń czynnikami szkodliwymi, niebezpiecznymi oraz uciążliwymi dla zdrowia pracowników w poszczególnych województwach, a także w powiatach (jeśli były dostępne dane) w latach 2010–2022, ze szczególnym uwzględnieniem sytuacji w 2022 r.Cel: Celem podejmowanej analizy było zaprezentowanie wypadków przy pracy, ich przyczyn i zagrożeń czynnikami...
-
Akustyczne zobrazowanie morskich osadów dennych
PublicationPrzedstawiany temat rozprawy doktorskiej: „Akustyczne zobrazowanie morskich osadów dennych”, prezentuje metody zobrazowania struktury osadów dennych pozyskanych z sondowania akwenu echosondą parametryczną SES-2000 Standard oraz urządzeniami pomocniczym — echosondą wielowiązkową EM3002 i sonarem bocznym. Tezą jest wykazanie, że metody akustyczne dają możliwość bezinwazyjnej klasyfikacji osadów dennych. Hipoteza zakłada, że istnieje...
-
WERYFIKACJA POZIOMÓW NIENARUSZALNOŚCI BEZPIECZEŃSTWA Z UWZGLĘDNIENIEM ASPEKTÓW OCHRONY INFORMACJI
PublicationPoszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności...
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublicationW niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...
-
Algorytmy samostabilizujące w sieciach o wybranych topologiach
PublicationIdea algorytmów samostabilizujących została zapoczątkowana przez E. Dijkstrę artykułem pt. „Self-stabilizing systems in spite of distributed control” (Communications of the ACM, 1974). W rozprawie został położony nacisk na algorytmy samostabilizujące działające w sieciach o pewnych specyficznych topologiach, jak na przykład w grafach maksymalnych zewnętrznie planarnych, iloczynach kartezjańskich tych grafów ze ścieżkami i w drzewach. Wykorzystując...
-
Czy doświadczenie ma znaczenie? Intencje przedsiębiorcze potencjalnych sukcesorów z perspektywy społeczno-kognitywnej
PublicationPomimo wielu różnorodnych działań mających na celu zachęcanie młodych osób do przedsiębiorczości, wielu z nich nie przejmuje firm rodzinnych, nie zostaje przedsiębiorcami, a znacznej części nie można nawet określić mianem osób przedsiębiorczych. Zrozumienie, co sprawia, że dana osoba staje się przedsiębiorcą, ma kluczowe znaczenie dla rozwoju nowych firm i przetrwania tych z dłuższą tradycją, firm rodzinnych. W związku z tym, że...
-
Cassier E.Filozofia form symbolicznych. Część pierwsza: Język. Przekład, wstęp i opracowanie Przemysław Parszutowicz, Kęty : Wydawnictwo Marek Derewiecki, 2018
PublicationNeokantysta Cassirer podejmuje wyjściową kantowską intuicję, rozszerza ją jednak także poza przyrodoznawstwo, na cały obszar „rozumienia świata”. […] Sztuka, język, religia i nauka to wymiary ludzkiej aktywności sensotwórczej, które manifestują się jako obszary kultury, każdorazowo różniące się w swej funkcji i ekspresji. Wspólne im jest to, że nie odwzorowują po prostu tego, co dane, lecz że raczej to, co dane, najpierw wytwarzają....
-
Polarized light pulses propagation and coupling in optical waveguides
PublicationGłównym celem tej pracy było zbudowanie modelu teoretycznego, na bazie równań Maxwella, który pozwoliłby na opis transmisji wielomodowej w falowodach dielektrycznych (światłowodach) z uwzględnieniem efektu nieliniowego typu Kerra. W pracy wyniki teoretyczne zostały porównane z wynikami doświadczalnymi. Do symulacji propagacji światła z uwzględnieniem efektu Kerra niezbędne było rozwiązanie sprzężonych nieliniowych równań Schrödingera...
-
Etyka życia gospodarczego w twórczości Adama Smitha
PublicationW artykule przedstawiono poglądy Adama Smitha dotyczące wybranych problemów etyki życia gospodarczego. Podstawą źródłową są dwa główne dzieła A. Smitha: ''Teoria uczuć moralnych'' i ''Bogactwo narodów'', a także jego wykłady prowadzone na Uniwersytecie w Glasgow, gdzie w latach 1752-1764 był profesorem filozofii moralnej. Artykuł pokazuje, że zagadnienia etyczne znajdują się również w ekonomii politycznej Smitha, co bywa często...
-
Szeregowanie zadań dwuprocesorowych w systemach otwartych
PublicationW pracy rozważany jest problem szeregowania zadań dwuoperacyjnych w systemie otwartym (open-shop), z kryterium minimalizacji długości harmonogramu oraz sumy czasów zakończenia wszystkich zadań. Zakładając jednostkowe czasy wykonywania operacji można stosować efektywne metody chromatyczne rozwiązywania problemu, poprzez sprowadzenie go do modelu grafowego oraz zastosowanie w nim wybranego modelu kolorowania, które pozwala uzyskać...
-
Destruction of shell structures under the dynamic load on the human skull trauma basis
PublicationThe main aim of this work is to investigate patterns of potential orbital bone fractures due to mechanical injuries. The solution of the main problem is followed by analysis of several testing examples having straight correlation with civil engineering structures, in which materials of wide range of stiffness are applied. To solve the main problem, the three-dimensional finite element method (FEM) model of the orbital region has...