Filters
total: 1489
filtered: 1008
-
Catalog
- Publications 1008 available results
- Journals 10 available results
- Publishing Houses 1 available results
- People 108 available results
- Inventions 1 available results
- Projects 14 available results
- Research Teams 4 available results
- e-Learning Courses 210 available results
- Events 15 available results
- Open Research Data 118 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: GRAFIT
-
Total outer-connected domination numbers of trees
PublicationNiech G=(V,E) będzie grafem bez wierzchołków izolowanych. Zbiór wierzchołków D nazywamy zbiorem dominującym totalnym zewnętrznie spójnym jeżli każdy wierzchołek grafu ma sąsiada w D oraz podgraf indukowany przez V-D jest grafem spójnym. Moc najmniejszego zbioru D o takich własnościach nazywamy liczbą dominowania totalnego zewnątrznie spójnego. Praca m.in. zawiera dolne ograniczenie na liczbę dominowania totalnego zewnętrznie spójnego...
-
Optimal and safe control planning with the use of discrete optimization
PublicationW opracowaniu zaproponowano metodę projektowania optymalnych i tolerujących uszkodzenia systemów sterowania opartych na wykorzystaniu algorytmów optymalizacji dyskretnej. Publikacja przedstawia potencjalne wady i zalety metody. Główna idea proponowanego algorytmu sprowadza się do wykorzystania struktury grafu przepływowego w celu stworzenia reprezentacji dynamiki własnej danego procesu. Poszukiwana trajektoria optymalna, jeśli...
-
Mater-Bi/Brewers’ Spent Grain Biocomposites—Novel Approach to Plant-Based Waste Filler Treatment by Highly Efficient Thermomechanical and Chemical Methods
PublicationThermoplastic starch (TPS) is a homogenous material prepared from native starch and water or other plasticizers subjected to mixing at a temperature exceeding starch gelatinization temperature. It shows major drawbacks like high moisture sensitivity, poor mechanical properties, and thermal stability. To overcome these drawbacks without significant cost increase, TPS could be blended with bio-based or biodegradable polymers and...
-
Weakly connected domination critical graphs
PublicationPraca dotyczy niektórych klas grafów krytycznych ze względu na liczbę dominowania słabo spójnego.
-
Graphs with convex domination number close to their order
PublicationW pracy opisane są grafy z liczbą dominowania wypukłego bliską ilości ich wierzchołków.
-
A note on fast approximate backbone coloring of split graphs with star--like backbones
PublicationDla grafu G = (V, E) z wyróżnionym podgrafem H, kolorowanie szkieletowe jest zdefiniowane jako odwzorowanie c spełniające |c(u) - c(v)| > 1 dla każdej krawędzi z E(H) oraz |c(u) - c(v)| > 0 dla każdej krawędzi z E(G). W pracy przedstawiono 1-przybliżony algorytm kolorowania szkieletowego split grafów ze skojarzeniem w szkielecie o złożoności O(|V|) oraz 1-przybliżony algorytm dla split grafów z rozłącznymi gwiazdami w szkielecie.
-
Przybliżone hybrydowe modele wybranych układów o parametrach rozłożonych
PublicationZaprezentowano metodę budowy modeli w postaci grafów wiązań dla układów za-wierających jednowymiarowe podukłady o parametrach rozłożonych. Wykorzystanodwa znane sposoby budowy przybliżonych modeli o parametrach skupionych dla układów o parametrach rozłożonych: dyskretyzację przestrzenną oraz analizę modalną (modalne grafy wiązań).
-
Granie nie tylko na murawie! Zostań Lewandowskim pipety i termocyklera. Synergia nowoczesnych metod analitycznych opartych o wykrywanie DNA z nowymi formami nauczania (grywalizacja).
PublicationKOnkurs Innowacji Dydaktyznych PG: "Granie nie tylko na murawie! Zostań Lewandowskim pipety i termocyklera. Synergia nowoczesnych metod analitycznych opartych o wykrywanie DNA z nowymi formami nauczania (grywalizacja)."
-
Lateral load resistance of piled raft foundation - A case study of District Jail, Saidu Sharif, Swat Pakistan
PublicationPiled raft foundations under lateral loads are usually designed as a pile group, ignoring the contribution of the raft to resisting the lateral loads. In this paper, a case study was performed to determine the raft's contribution to the lateral load resistance. This study analyzed a pile-supported reinforced concrete retaining wall for two different foundation conditions, i.e., pile group foundation and pile raft foundation. Pile group...
-
Directed laplacian kernels for link analysis
PublicationPrzedstawiono zastosowanie algorytmów opartych o funkcje jądra do problemu analizy linków i cytowań. Zaproponowano nowe funkcje jądra zbudowane na operatorze Laplace'a dla grafów skierowanych. Odzwierciedlają one powiązanie pomiędzy węzłami grafu jako funkcję długości łączących je ścieżek oraz istotności odwiedzanych po drodze węzłów. Eksperymenty z nowymi funkcjami jądra przeprowadzono na zbiorze cytowań pobranych z publikacji...
-
Sprawozdanie z konferencji „Mazowsze Północne w walce o Niepodległość i ostateczny kształt granic Rzeczpospolitej Polskiej w latach 1914-1921” (Płock, 27 października 2018 r.)
Publication -
Minimalizacja krotności użycia kolorów przy uporządkowanym kolorowaniu krawędzi drzew
PublicationUporządkowane kolorowanie grafu polega na takim etykietowaniu jego wierzchołków liczbami naturalnymi, że każda ścieżka łącząca dwa wierzchołki o tym samym kolorze zawiera wierzchołek o kolorze wyższym. O uporządkowanym pokolorowaniu mówimy, że jest optymalne, jeśli liczba wykorzystanych kolorów jest minimalna. W referacie rozważano optymalne uporządkowane kolorowanie z dodatkowym warunkiem, aby krotność użycia koloru, który pojawił...
-
Energy optimisation in resilient self-stabilizing processes
PublicationW pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm kolorowania grafów oparty na konstrukcji drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm z gwarantowaną wielomianową liczbą ruchów, który dokładnie koloruje grafy dwudzielne.
-
Strategy, effectiveness and quality of non-profit organisations as exempli-fied by Polish higher Education Institutions. VATT Governement Inst. Econ. Res. C**2002 [nr] 290 s. 189-202, 7 rys. bibliogr. 20 poz. Discussion papers. Workshopon Studies for Nordthern. Kalastajatorrpa,30-31 May 2002. Strategia, efektywność i jakość organizacji non-profit na przykładzie pol- skich wyższych uczelni.
PublicationW pracy wskazano, że do oceny jakości i efektywności organizacji niedochodo-wych zasadne jest wykorzystanie metod stosowanych w biznesie. W szczególno-ści zaproponowano zastosowanie metody balanced scorecard, benchmarkingu dooceny efektywności i jakości funkcjonowania instytucji szkolnictwa wyższego.Wskazano na możliwość wykorzystaniania analizy SWOT do opracowania strategiiuczelni.
-
Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
PublicationW artykule rozważamy listowo-kosztowe kolorowanie wierzchołków i krawędzi grafu w modelu wierzchołkowym, krawędziowym, totalnym i pseudototalnym. Stosujemy programowanie dynamiczne w celu otrzymania algorytmów wielomianowych dla drzew. Następnie uogólniamy to podejście na dowolne grafy z ograniczonymi liczbami cyklomatycznymi i na ich multikolorowania.
-
Ontology Visualization
PublicationOntologie bardzo często są reprezentowane w postaci grafu, którego wierzchołkami są obiekty występujące w prezentowanej ontologii a krawędziami relacje i powiązania pomiędzy tymi obiektami. Grafy reprezentujące ontologie mogą być złożone już dla średniego rozmiaru ontologii. Stąd niezbędna jest pełna i czytelna reprezentacja elementów takiego grafu. Dostępne rozwiązania zazwyczaj nie oferują reprezentacji pełnego zbioru elementów...
-
Modelling of energy flow in mechatronic systems. A bond graph approach
PublicationW referacie przedstawiono w sposób jednoliy modelowanie systemów mechatroniki metodą grafów wiązań (GW) w aspekcie symulacji przepływu energii. Omówiono ogólne założenia modelowania w ujęciu GW. Modelowanie przepływu energii rozważano na przykładzie napędu pojazdu hybrydowego PH-MAK.
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublicationW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami o magnesach trwałych (BMMT). W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model SBMT w ujęciu GW dla potrzeb modelowania...
-
Designing optimal and safe control strategies for time-varying dynamical systems
PublicationPublikacja opisuje metodę projektowania optymalnej trajektorii punktu pracy w czasoprzestrzeni stanów przy wykorzystaniu algorytmów optymalizacji grafowej. Zakłada się deterministyczny charakter zmian dynamiki rozpatrywanego procesu. Przestrzeń robocza, będąca ograniczonym podzbiorem czasoprzestrzeni stanów, jest dzielona na zbiór segmentów, którym przypisywane są wielkości reprezentujące właściwości dynamiki własnej w obrębie...
-
Analiza przybliżonego algorytmu dla problemu szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym.
PublicationW pracy rozważamy kombinatoryczny problem MERST polegający na szukaniu, dla danego grafu, drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym. Dla ogólnych grafów problem MERST jest NP-trudny. W pracy zaproponowano nową funkcję dobroci dla pewnego przybliżonego algorytmu rozwiązującego powyższy problem i przeprowadzono doświadczenia komputerowe w celu porównania nowej z wcześniej znaną funkcją dobroci.
-
Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
PublicationW pracy rozważamy problem szukania, dla danego grafu prostego, drzewa spinającego, którego uporządkowana liczba chromatyczna jest minimalna. K.~Miyata i inni dowiedli w [Np-hardness proof and an approximation algorithm for the minimum vertex ranking spanning tree problem,Discrete Appl. Math. 154 (2006) 2402-2410], że odpowiedni problem decyzyjny jest NP-trudny już w przypadku pytania o istnienie uporządkowanego 4-pokolorowania....
-
Równoległe algorytmy wydobywania wiedzy w bazach danych obiektów graficz-nych.**2003 s. ...maszyn. Rozprawa doktorska (25.11.2003) PG, Wydz. ETI Promotor: prof. dr hab. inż. Henryk Krawczyk
PublicationZdefiniowano i opracowano algorytmy wydobywania wiedzy wykorzystujące danegraficzne. W odniesieniu do bieżących osiągnięć nauki zaproponowano metodęwłączenia obrazów (w szczególności medycznych) do reguł wiedzy. Algorytmysekwencyjne budowy reguł wiedzy i klasyfikacji zastąpiono ich odpowiednikamirównoległymi. Omówiono cechy środowiska które pozwala takie algorytmy efek-tywnie wykonywać. Przeprowadzono teoretyczne oszacowanie...
-
Euler tour lock-in problem in the rotor-router model
PublicationW pracy rozważano model eksploracji grafu nieskierowanego przez pojedynczego agenta, w którym sterowanie agentem odbywa się zgodnie z zasadą ''rotor-router'' (inaczej: ''Propp machine''). Porównano czas stabilizacji agenta do trajektorii w postaci cyklu Eulera dla różnych klas grafów, prowadząc rozważania w kontekście teorii gier. Przydział początkowych portów i wskaźników w modelu jest traktowany jako rozgrywka pomiędzy graczem...
-
Modelling of ic engine coolant system with permanent magnet brushless motor - bond graphs approach
PublicationW pierwszej części referatu przedstawiono strukturę i podstawy modelowania w ujęciu grafów wiązań nowoczesnego (nowej generacji) systemu chłodzenia silnika spalinowego. Istotną cechą rozważnego systemu chłodzenia jest zastosowanie zintegrowanego układu: pompa cieczy chłodzącej-bezszczotkowy silniki prądu stałego (BSPS, ang. BDCM). W kolejnych częściach referatu przedstawiono: podstawy modelowania całego systemu chłodzenia, model...
-
On the complexity of distributed graph coloring with local minimality constraints
PublicationArtykuł traktuje o zachłannym kolorowaniu grafów w modelu rozproszonym. Omówiono algorytmy rozproszone, dające w wyniku pokolorowanie spełniające warunki dla pokolorowań sekwencyjnych typu S oraz Largest-First (LF). Udowodniono również, że każda rozproszona implementacja algorytmu S wymaga co najmniej Omega(log n / log log n) rund, a algorytmu LF co najmniej Omega (n^{1/2}) rund, gdzie n oznacza liczbę wierzchołków grafu.
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublicationW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami elektrycznymi o magnesach trwałych. W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model silnika bezszczotkowego...
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublicationW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami elektrycznymi o magnesach trwałych. W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model silnika bezszczotkowego...
-
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...
-
An algorithm to generate high dense packing of particles with various shapes
PublicationDiscrete Element Method (DEM) is one of available numerical methods to compute movement of particles in large scale simulations. The method has been frequently applied to simulate the cases of grain or bulk material as the major research issue. The paper describes a new method of generating high dense packing with mixed material of two different shape used in DEM simulation. The initial packing is an important parameter to control,...
-
Algorytm ekstrakcji cech biometrycznych twarzy
PublicationW referacie zawarto opis metody automatycznej lokalizacji oraz parametryzacji punktów charakterystycznych w obrazie twarzy. Do lokalizacji punktów charakterystycznych wykorzystano zmodyfikowany algorytm EBGM (ang. Elastic Bunch Graph Matching). Algorytm ten pozwala lokalizować punkty w obrazie przy założeniu niezmienności topologii grafu połączeń między nimi.W referacie przedstawiono podstawy teoretyczne metody oraz zaimplementowany...
-
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...
-
Wpływ bezhalogenowych związków zmniejszających palność na strukturę oraz właściwości mechaniczne i termiczne elastycznych pianek poliuretanowych otrzymanych z poliglicerolu
PublicationElastyczne pianki poliuretanowe zostały przygotowane metodą jednostopniową z układu dwukomponentowego o stosunku grup NCO/OH wynoszącym 0.9:1. Pianki poliuretanowe poddano modyfikacji grafitem ekspandowanym oraz jego mieszaniną z fosforowym, bezhalogenowym związkiem zmniejszającym palność o nazwie handlowej Fyrol PNX. Scharakteryzowano statyczne i dynamiczne właściwości mechaniczne, morfologię, właściwości termiczne oraz palność...
-
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....
-
Application of percolation theory for description of electrical properties of conducting coatings
PublicationPrzedstawiono pomiary elektryczne i elektrochemiczne powłok organicznych przewodzących prąd elektryczny i mogących pełnić rolę anody w systemie ochrony katodowej żelbetonu. Za pomocą pomiarów impedancyjnych dokonano oceny rezystancji powłoki w funkcji zawartości grafitu. Na tej podstawie oszacowano próg perkolacji powłoki epoksydowej domieszkowanej elektrografitem. Ocenę obciążalności prądowej powłok przewodzących dokonano wykonując...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych - każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Modeling the application of steel slag in stabilizing expansive soil
PublicationThe objective of this study was to evaluate the suitability of steel slag as an additive to the engineering properties of weak clay soil. Different geotechnical laboratory tests were conducted on both stabilized and natural soils. Steel slag (SS) was added at a rate of 0, 5, 10, 15, 20, and 25% to the soil. Specific gravity, grain size analysis, Atterberg limit test, compaction test, free swell, California bearing ratio (CBR),...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych – każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Hydrographic Multisensory Unmanned Watercraft
PublicationThis article describes the design of the unmanned surface vessel (USV) and the algorithms for planning the trajectories to be followed on measurement missions. The algorithms take account of the dynamically varying impacts of external forces (wind and surface current) on the vessel's motion. Feedback loops enable the counteraction of external factors that cause disturbance to the desired trajectory. The sensors installed on the...
-
Interval wavelength assignment in all-optical star networks
PublicationArtykuł omawia zwarte końcówkowe kolorowanie grafów, które jest matematycznym modelem dla problemu przydziału częstotliwości w sieciach optycznych. W artykule przedstawiono wielomianowe algorytmy wyznaczania zwartej końcówkowej liczby chromatycznej dla pełnych grafów k-dzielnych, drzew i podkubicznych grafów dwudzielnych.
-
POTENTIAL APPLICATIONS OF ELECTRONIC NOSE BASED ON ULTRA FAST GAS CHROMATOGRAPHY TO DISTINGUISH ALCOHOLIC BEVERAGES MADE OF GRAIN = POTENCJALNE MOŻLIWOŚCI ZASTOSOWANIA ELEKTRONICZNEGO NOSA OPARTEGO NA ULTRA SZYBKIEJ CHROMATOGRAFII GAZOWEJ DO ODRÓŻNIANIA NAPOJÓW SPIRYTUSOWYCH POCHODZENIA ZBOŻOWEGO
PublicationStan środowiska a zwłaszcza powietrza ma wpływ na wiele aspektów życia, m in. na jakość produktów spożywczych. Z tego względu niezwykle ważne jest monitorowanie stanu środowiska, które odbywa się za pomocą wielu technik analitycznych. Jedną z nich jest elektroniczny nos. Pierwotnie elektroniczny nos był wykorzystywany tylko do badania uciążliwości zapachowej powietrza. Obecnie technika ta wykorzystywana jest również do monitorowania...
-
Teleportation seen from spacetime: on 2-spinor aspects of quantum information processing
PublicationZastosowanie formalizmu 2-spinowego do kwantowego przetwarzania informacji zilustrowane przykładem teleportacji i relatywistycznej korelacji błędu.
-
The role of low-energy electrons in the charging process of LISA test masses
PublicationThe estimate of the total electron yield is fundamental for our understanding of the test-mass charging associated with cosmic rays in the Laser Interferometer Space Antenna (LISA) Pathfinder mission and in the forthcoming gravitational wave observatory LISA. To unveil the role of low energy electrons in this process owing to galactic and solar energetic particle events, in this work we study the interaction of keV and sub-keV...
-
Grease effect on fretting wear of mild steel
PublicationNa stanowisku laboratoryjnym przeprowadzono badania zużycia frettingowego miękkiej stali smarowanej mineralnymi i syntetycznymi smarami zawierającymi także różne dodatki: grafit dwusiarczek molibdenu ZDDP i ditiocarbamat molibdenu, w różnych stężeniach.Badania wykazały istotny wpływ konsystencji smaru i jego właściwości smarnych na zużycie frettingowe miękkiej stali oraz zróżnicowany wpływ testowanych dodatków. Obecność smaru...
-
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...
-
Equitable vertex coloring of graphs
PublicationW pracy podajemy wartości sprawiedliwej liczby chromatycznej dla niektórych klas grafów. Podajemy również dwa algorytmy heurystyczne dla sprawiedliwego kolorowania grafów z suboptymalna liczba koloru.
-
Modelling electrical machines using bond graphs for mechatronics system applications.
PublicationW artykule przedstawiono modelowanie maszyn elektrycznych metodą grafów wiązań dla potrzeb mechatroniki. Omówiono ogólne założenia modelowania maszyn elektrycznych w ujęciu grafów wiązań, bazującego na modelach wzorcowego sprzężenia transformatorowego i elektromechanicznego. Wykorzystując modele tych sprzężeń przedstawiono w ujęciu grafów wiązań model maszyny indukcyjnej w układzie współrzędnych naturalnych stojana. Model opracowano...
-
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...
-
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...
-
Problemy gospodarki przestrzennej. W: [Praca zbiorowa] Materiały do mono- grafii przyrodniczej regionu gdańskiego. Gdańsk: Marpress**2003 s. 200-216. Tom 9 Zaborski Park Krajobrazowy. Problemy trójochrony i współistnienia z Parkiem Narodowym ''Bory Tucholskie''. Zaborski Landscape Park. Problems of Landscape Park. Problems of the triprotection and coexistence with the ''Bo- ory Tucholskie'' National Park. Praca zbiorowa pod redakcją M. Przewoźniaka.
PublicationArtykuł zawiera omówienie takich zagadnien jak: struktura społeczno-gospo- darcza Parku, identyfikacja problemów gospodarki przestrzennej, strategicz- ne planistyczne i programowe uwarunkowania zagospodarowania przestrzennego. Na tej podstawie przeprowadzono rejonizację funkcjonalno-przestrzenną Parku i określono zasady jego zagospodarowania.