Filtry
wszystkich: 1654
-
Katalog
- Publikacje 1413 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 50 wyników po odfiltrowaniu
- Wynalazki 11 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 58 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 57 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA
-
Experience Based Clinical Decision Support Systems: An Overview and Case Studies
PublikacjaThis chapter briefly overviews the evolution of the application of the Decisional DNA and the Set of Experience Knowledge Structure (SOEKS) in the medical domain and in particular in the specific case of the experience-based decision support systems. Decisional DNA, as a knowledge representation structure, offers great possibilities on gathering explicit knowledge of formal decision events as well as a tool for decision making...
-
Modeling of medium flow processes in transportation pipelines - the synthesis of their state-space models and the analysis of the mathematical properties of the models for leak detection purposes
PublikacjaThe dissertation concerns the issue of modeling the pipeline flow process under incompressible and isothermal conditions, with a target application to the leak detection and isolation systems. First, an introduction to the model-based process diagnostics is provided, where its basic terminology, tools, and methods are described. In the following chapter, a review of the state of the art in the field of leak detection and isolation...
-
Filtracja perceptualna sygnału fonicznego z zastosowaniem inteligentnychalgorytmów decyzyjnych.**2003, 160 s. 82 rys. 4 tab. bibliogr. 209 poz. ma- szyn. Rozprawa doktorska /29.04.2003./ Wydz. ETI Promotor: prof. dr hab. inż. A. Czyżewski.
PublikacjaCelem prac badawczych było opracowanie i przebadanie nowatorskiej metody re-dukcji szumu akustycznego, również i szumu niestacjonarnego, w nagraniachdźwiękowych. W tym celu opracowano metodę przetwarzania sygnału fonicznego woparciu o modelowanie matematyczne systemu słuchowego człowieka, tzw. fil-trację perceptualną, a także - metodę estymacji szumu niestacjonarnego w o-parciu o parametryzację i kwantyzację zakłócenia oraz...
-
Application of neural networks for identification of forcedness having effect on magnitude of turbine rotor vibration using pressure distribution in blade tip clearance.
PublikacjaW pracy sprawdzono, czy zastosowanie sieci neuronowych umożliwia identyfikację wymuszeń powstających w wyniku funkcjonowania maszyny jak i zależnych od jej stanu mechanicznego przy zastosowaniu rozkładu ciśnienia w uszczelnieniu nadbandażowym. Przeprowadzono pomiary rozkładu ciśnienia dla różnych warunków pracy, uwzględniając zmianę mimośrodu oraz zmianę skośnego ustawienia osi wirnika względem osi korpusu. Dokonano analiz przy...
-
Układy cyfrowe zbudowane w oparciu o bramki prądowe: stan obecny i zastosowania.
PublikacjaW pracy omówiono stan obecny oraz perspektywy rozwoju i zastosowania bramek cyfrowych pracujących w trybie prądowym, a także różnego rodzaju układów cyfrowych zbudowanych z bramek prądowych. Praca podsumowuje kilkuletnie badania autorów nad koncepcją bramki prądowej i jej realizacją, podstawami algebry bramek prądowych oraz sposobów projektowania i weryfikacji cyfrowych układów prądowych działających w standardowej logice binarnej...
-
Nowa koncepcja płaszczowo-rurowego wymiennika ciepła z techniką strugową w rurach pęku
PublikacjaW pracy przedstawiono nowe podejście do implementacji techniki strugowej w wymiennikach cylindrycznych. Obiektem badań jest opatentowana konstrukcja płaszczowo-rurowego wymiennika ciepła z techniką strugową obecną w rurach pęku. Generatorem strug są perforowane wkłady rurowe, w których średnica pojedynczego otworu wynosi 1.3 mm. Dla poprawy kompaktowości tego wymiennika, perforowane wkłady wykonano w technologii minikanałowej –...
-
Dynamics of flexible multibody systems : Rigid finite element method.
PublikacjaW książce przedstawiono zagadnienie przekształceń jednorodnych, z punktu widzenia opisu dynamiki układów wielomasowych, złożonych z brył sztywnych. Omówiono metodę sztywnych elementów skończonych, w której model składa się z brył sztywnych połączonych elementami sprężystymi i tłumiącymi, a także jej wersję zmodyfikowaną. W modelu uwzględnia się duże przemieszczenia brył. Przedstawiono obliczenia dla belki wspornikowej oraz omówiono...
-
Pomiary głębokości szybkozmiennego, płaskiego, poziomego przepływu wody
PublikacjaW artykule przedstawiono przebieg laboratoryjnych pomiarów głębokości szybkozmiennego, płaskiego przepływu wody, zachodzącego w trakcie propagacji fal wezbraniowych po przerwaniu wału przeciwpowodziowego. Opisano szczegółowo stanowisko i przyrządy pomiarowe, technikę prowadzenia pomiarów oraz przedstawiono wybrane wyniki. Uzyskane wyniki pomiarów głębokości zestawiono z rezultatami otrzymanymi w wyniku modelowania matematycznego....
-
Fuzzy decision support system for the control of budget and schedule in SPM
PublikacjaObiektem rozważań jest komputerowy system wspierania decyzji kierowniczych w zakresie zarządzania budżetem i harmonogramem przy realizacji projektów informatycznych. Omawiany system opary jest na dynamicznych modelach rozmytych podlegających bieżącemu dostrajaniu na podstawie danych z obserwacji zarządzanego procesu. Wstępny projekt modeli rozmytych oparty został na danych zarządczych pochodzących z realizacji dwu projektów informatycznych....
-
Priority-enabled optimization of resource utilization in fault-tolerant optical transport networks.
PublikacjaW artykule zaproponowano nowe podejście do optymalizacji rozdziału zasobów przeżywalnych sieci rozległych, które uzależnia szybkość przywracania ciągłości połączenia od klasy usługi. Wykazano, iż proponowana metoda nie powoduje wydłużania ścieżek zabezpieczających (w przypadku usług w wymaganej wysokiej jakości obsługi) lub czyni to w sposób minimalny (dla pozostały usług). Ze względu na fakt, że zadanie znalezienia ścieżek aktywnych...
-
Metody analizy systemów sterowania i zabezpieczeń z uwzględnieniem kryteriów bezpieczeństwa funkcjonalnego.
PublikacjaW rozprawie zaprezentowane zostały metody analizy probabilistycznej systemów sterowania i zabezpieczeń z uwzględnieniem kryteriów bezpieczeństwa funkcjonalnego. Przedstawione metody stosowane są w procesie weryfikacji poziomów nienaruszalności bezpieczeństwa SIL systemów elektrycznych, elektronicznych i programowalnych elektronicznych E/E/PE. W związku z występowaniem problemu oceny niepewności w oszacowaniach probabilistycznych...
-
Koncepcja zastosowania systemów agentowych do oceny technologii informatycznych
PublikacjaW pracy przedstawiono koncepcję wykorzystania systemów agentowych do oceny technologii informatycznych. Praca zawiera opis koncepcji oraz przedstawia możliwości wykorzystania narzędzi informatycznych mogących znaleźć zastosowanie do implementacji i weryfikacji proponowanego rozwiązania. Praca jest częścią wspólnych badań nad tworzeniem rozwiązań do oceny technologii informatycznych, które obejmują wykorzystanie ocen eksperckich...
-
Porównanie wybranych algorytmów systemu APR dla potrzeb redukcji poboru mocy cyfrowych układów CMOS
PublikacjaPraca dotyczy porównania czterech wybranych algorytmów wchodzacych w skład systemu APR (ang. Adaptive Power Reduction). Przeprowadzono weryfikację zmodyfikowanych heurystycznych algorytmów IIOI, UNILO i MAREL oraz nowego algorytmu hybrydowego (HSA) dla potrzeb syntezy wysokiego poziomu (HLS od ang. High Level Synthesis) z redukcją poboru mocy układów cyfrowych CMOS. Pozwalają one na zwiększenie poziomu redukcji mocy rozpraszanej...
-
Cartometric: semantic ontology evaluation with cartographic methods
PublikacjaW ostatnich latach, głównie dzięki rozwojowi inicjatywy Sieci Semantycznej (ang. Semantic Web), staliśmy się świadkami powstawania coraz większej liczby gwałtownie ewoluujących ontologii. W takiej sytuacji zarówno użytkownicy Sieci, jak i komputerowe agenty potrzebują metody oceny właściwości ontologii, w szczególności takiej, która uwzględni jej cechy semantyczne, czyli kształt przestrzeni dozwolonych modeli. Niniejsza praca prezentuje...
-
CartoMetric: Ocena semantycznych właściwości ontologii za pomocą metody kartograficznej
PublikacjaW ostatnich latach, głównie dzięki rozwojowi inicjatywy Sieci Semantycznej (ang. Semantic Web), staliśmy się świadkami powstawania coraz większej liczby gwałtownie ewoluujących ontologii. W takiej sytuacji zarówno użytkownicy Sieci, jak i komputerowe agenty potrzebują metody oceny właściwości ontologii, w szczególności takiej, która uwzględni jej cechy semantyczne, czyli kształt przestrzeni dozwolonych modeli. Niniejsza praca prezentuje...
-
Nonlinear modeling of traction transformer with coiled iron core for dynamic simulation
PublikacjaW referacie przedstawiono wyprowadzenie zastępczego modelu obwodowego transformatora trakcyjnego o rdzeniu zwijanym do analiz zachowania sie transformatora w układzie napedowym jednostki trakcyjnej. Model zakłada nieliniowa charakterystyke magnesowania B-H i anizotropowe właściwosci magnetyczne i elektryczne zwijanego rdzenia. Wyprowadzenie modelu oparto na metodzie energetycznej Lagrange'a. Uzwojenia zostały zamodelowanie jako...
-
Fiasko projektu inwestycyjnego spowodowane błędami rozpoznania stanu technicznego obiektu i wykonanej dokumentacji projektowej
PublikacjaRealizacja przedsięwzięć inwestycyjnych w istniejących obiektach budowlanych związana jest z koniecznością wykonania rzetelnej weryfikacji ich aktualnego stanu technicznego, użytych materiałów, wprowadzonych zmian oraz uszkodzeń powstałych w czasie eksploatacji. Pozyskane informacje są podstawą do podejmowania decyzji zarówno technicznych, jak i ekonomicznych związanych z planami inwestycyjnymi. Błędy popełnione przez inżynierów...
-
Mity przedsiębiorczości a postawy wobec własnej działalności gospodarczej
PublikacjaArtykuł dotyczy mitów przedsiębiorczości, czyli obiegowych przekonań dotyczących przedsiębiorców i prowadzenia firmy, które mają wpływ na sposób myślenia o własnym biznesie oraz na decyzje dotyczące zakładania firmy. Na podstawie badań prawie dwustu studentów kierunku Zarządzanie zweryfikowano intensywność i wiarygodność wskazywanych w literaturze 30 mitów przedsiębiorczości oraz ich znaczenie dla potencjalnej decyzji o prowadzeniu...
-
Priorytety dla transportu zbiorowego z wykorzystaniem systemu sterowania ruchem
PublikacjaPriorytety w systemie sterowania są jednym ze sposobów uprzywilejowania pojazdów transportu zbiorowego, mającego na celu zwiększenie jego atrakcyjności i sprawności. W artykule przedstawiono koncepcję wprowadzenia takiego rozwiązania w ramach systemu zarządzania ruchem TRISTAR w Gdyni. Opisano doświadczenia wybranych miast europejskich w stosowaniu priorytetów. Dokonano analizy jakości funkcjonowania transportu zbiorowego głównych...
-
Wynagrodzenia kluczowym elementem rynku pracy – wartość pracy w Polsce
PublikacjaW artykule przedstawiony zostanie zarys teoretyczny rynku pracy, głównie podaż pracy i popyt na pracę. Zaprezentowany zostanie kluczowy element rynku pracy, jakim jest wynagrodzenie, a ściślej przeciętne wynagrodzenie w gospodarce narodowej oraz wynagrodzenie minimalne. W części badawczej pokazane zostaną płace w ujęciu nominalnym i realnym oraz policzona zostanie ich dynamika dla okresu 2000-2013. Podjęta zostanie próba oceny...
-
Model referencyjny sieci trakcyjnej - koncepcja modelowania
PublikacjaGórna sieć trakcyjna jest nadal najefektywniejszym sposobem zasilania kolejowych pojazdów elektrycznych. Wzrost prędkości pojazdów zwiększa pobór mocy oraz wymaga zapewnienia prawidłowej współpracy odbieraków prądu z siecią jezdną. Podejmowane są prace związane z komputerowym wspomaganiem projektowania sieci trakcyjnych. W tej pracy omówiono autorski model matematyczny sieci trakcyjnej w kontekście tzw. modelu referencyjnego oraz...
-
Effect of the working liquid compressibility on the picture of volumetric and mechanical losses in a high pressure displacement pump used in a hydrostatic drive. Part I Energy losses in a drive system, volumetric losses in a pump
PublikacjaŚciśliwość cieczy roboczej może znacząco zmienić wartości i proporcje współczynników strat objętościowych i mechanicznych w pompie wyporowej zastosowanej w układzie napędu hydrostatycznego. Wpływ ten jest szczególnie widoczny w trakcie pracy pod wysokim ciśnieniem a także wówczas, gdy występuje zapowietrzenie cieczy roboczej. W części I przedstawiono wykres zaproponowany przez autora, wzrostu mocy w układzie napędu hydrostatycznego...
-
Effect of the working liquid compressibility on the picture of volumetric and mechanical losses in a high pressure displacement pump used in a hydrostatic drive. Part I Energy losses in a drive system, volumetric losses in a pump
PublikacjaŚciśliwość cieczy roboczej może znacząco zmienić wartości i proporcje współczynników strat objętościowych i mechanicznych w pompie wyporowej zastosowanej w układzie napędu hydrostatycznego. Wpływ ten jest szczególnie widoczny w trakcie pracy pod wysokim ciśnieniem a także wówczas, gdy występuje zapowietrzenie cieczy roboczej. W części I przedstawiono wykres zaproponowany przez autora, wzrostu mocy w układzie napędu hydrostatycznego...
-
Modelowanie przestrzennego rozkładu natężenia magnetycznego pola rozproszonego dla wad wzorcowych w płytach
PublikacjaW pracy przedstawiono model, przy pomocy którego można obliczyć wektor indukcji rozproszonego pola magnetycznego od wady. Przeprowadzono badania eksperymentalne służące weryfikacji tego modelu. W badaniach wykorzystano dwie wady o geometrii prostopadłościanu wydrążone elektro-iskrowo w stalowej płycie. Dla składowej normalnej wektora indukcji pola magnetycznego występowały najmniejsze rozbieżności pomiędzy wynikami pomiarowymi...
-
A method for assessing hazards, risks and safety of damaged ships at sea
PublikacjaPrzedstawiono wybrane problemy związane z metodą oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka, w warunkach eksploatacyjnych. Omówiono zakres oceny bezpieczeństwa i analizy ryzyka w odniesieniu do zagadnienia zachowania się statku uszkodzonego na morzu. Analiza ryzyka oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Opisano główne kroki analizy ryzyka. Podano podstawowe...
-
Ferromagnetic nanoparticles imaging by means of Magnetic Force Microscopy
Dane BadawczeFerromagnetic nanoparticles can be used as building blocks for advanced thin film magnets, and can also be used in data storage and biomedical technologies. Nano-crystalline ferrites with the chemical formula NixZn (1 - x) Fe2O4, where x = 0, 0.2, 0.4, 0.6, 0.8, 1.0 show anti-corrosion properties and suppress electromagnetic interference, in the case...
-
Preparation and some properties of multiblock copoly(amide-b-amide)s
PublikacjaThe paper concerns the polymers built of oligoamide hard blocks and oligoamide soft blocks (KPAA, formula I). Oligo(laurolactam) (PA12) was used as hard block and the product of reaction of dimerized fatty acid and hexamethylene diamine (PA6,36) was used as a soft one. Effects of molar ratio of these blocks on the following properties of KPAA have been investigated: limiting viscosity number ([2]), degrees of swelling in water...
-
Average Size of a Suffix Tree for Markov Sources
PublikacjaWe study a suffix tree built from a sequence generated by a Markovian source. Such sources are more realistic probabilistic models for text generation, data compression, molecular applications, and so forth. We prove that the average size of such a suffix tree is asymptotically equivalent to the average size of a trie built over n independentsequences from the same Markovian source. This equivalenceis only known for memoryless...
-
Human Centric Lighting. The New X Factor?
PublikacjaWe live in challenging times, and one could even claim we’re experiencing a revolution in lighting with LED technology taking over the world. Part of this rapid change involves a concept called Human Centric Lighting (HCL). In Frankfurt this year, during Light+Building, it was the buzzword, with nearly every second manufacturer’s stand claiming they had figured out the special formula necessary to create perfect HCL illumination....
-
Student competitions as a socio-spatial tool for planning urban structures
PublikacjaThe aim of the article is to show the interdependencies between theory and practice based on the example of the student competitions at the Faculty of Architecture at the Gdańsk University of Technology. These competitions, on the one hand, broaden the spectrum of issues related to design and, on the other hand, contribute to the better recognition of problems related to tasks to be solved. Both the teaching and applicational aspects...
-
Systemy rozproszone cechujące się sztuczną inteligencją do wspomagania zarządzania bankami w warunkach kryzysowych
PublikacjaW pracy rozważa się techniki zwiększenie efektywności sektora bankowego za pomocą wprowadzenia zaawansowanych usług sieciowych. Kluczowe znaczenie odgrywają systemy eksperckie, które przy wykorzystaniu botów umożliwiają znaczącą poprawę szeregu aspektów komunikacji. Natomiast za pomocą algorytmu genetycznego możliwe jest znaczące skrócenie czasu reakcji systemu w odniesieniu do systemów projektowanych bez uwzględnienia optymalizacji...
-
Dzieje latarni w Twierdzy Wisłoujście w świetle badań architektonicznych z roku 2018 History of the Lighthouse of the Wisłoujście Fortress in Light of a 2018 Architectural Study
PublikacjaW roku 2018 zespół autorski wykonał badania architektoniczne wieży w Twierdzy Wisłoujście w Gdańsku w związku z planowanymi pracami konserwatorskimi. Pierwszy raz podjęto metodologiczne badania architektoniczne najstarszej struktury zespołu – wieży-latarni morskiej wzniesionej w 1482, a następnie rozbudowywanej w wiekach XVI–XX. Wyniki badań oraz weryfikacja źródeł historycznych i archeologicznych pozwoliły zrekonstruować 6 głównych...
-
ZNACZENIE ŹRÓDEŁ POCZUCIA SAMOSKUTECZNOŚCI U POCZĄTKUJĄCYCH PRZEDSIĘBIORCÓW – RAPORT Z BADAŃ
PublikacjaPoczucie samoskuteczności w sposób istotny wpływa na zachowanie ludzi sprawiając, że stają się oni bardziej wytrwali w działaniu i stawiają sobie ambitne cele. Poczucie samoskuteczności powstaje pod wpływem doświadczeń jednostki, a jego poziom jest możliwy do kształtowania. Zdaniem Bandury (1997) istnieją cztery źródła poczucia samoskuteczności, czyli poprzednie doświadczenie, pobudzenie fizjologiczne, obserwacja innych oraz perswazja....
-
Wspomaganie diagnostyki układu oddechowego przez modelowanie parametrów respiracji metodą oscylacji wymuszonych
PublikacjaCelem pracy jest weryfikacja praktycznej przydatności parametrów modeli procesu respiracji w diagnostyce układu oddechowego. Poddana ocenie została technika oscylacji wymuszonych. Wyniki badań eksperymentalnych zaczerpnięto z literatury. Wykorzystano cztero- i sześcioparametrowy model procesu respiracji. Estymaty parametrów porównano z wynikami badań przeprowadzonymi u osób, u których stwierdzono zaburzenia układu oddechowego....
-
System ciągłej obserwacji stanu technicznego hali ''Olivia'' w Gdańsku
PublikacjaCelem artykułu jest przedstawienie prototypowego syste-mu monitoringu technicznego zainstalowanego w Hali "Olivia" w Gdańsku. System określany jest nazwą "SMT OLIVIA-2". System został oddany do użytku 16 marca 2009 roku. System monitoringu technicznego "SMT OLIVIA-2" przeznaczony jest do zdalnego monitorowania podstawowych parametrów pracy konstrukcji dachu i w sposób zautomatyzowany sygnalizowanie o jej stanie technicznym. W przy-padku...
-
Metody redukcji zróżnicowania materiałów wejściowych w warunkach wysokiej różnorodności produktów gotowych
PublikacjaArtykuł opisuje zagadnienie związane z negatywnym wpływem wysokiego zróżnicowania materiałów wejściowych w procesach produkcyjnych o wysokiej różnorodności produktów gotowych. W pierwszej części pracy opisane zostało oddziaływanie zróżnicowania materiału na podstawowe mierniki skuteczności procesu produkcyjnego z uwzględnieniem cen zakupu materiałów, kosztów utrzymania zapasów, jakości produktu oraz wydajności maszyn i urządzeń....
-
Kompleksowe badania wpływu promieniowania mikrofalowego na efektywność regeneracji odpadów gumowych modyfikowanych asfaltem
ProjektyProjekt realizowany w Katedra Technologii Polimerów zgodnie z porozumieniem 2017/01/X/ST8/01161 z dnia 2017-11-22
-
TECH4REC Opracowanie niskoemisyjnej technologii wytwarzania modyfikowanych regeneratów gumowych jako proekologiczna metoda recyklingu zużytych opon samochodowych
ProjektyProjekt realizowany w Katedra Technologii Polimerów zgodnie z porozumieniem LIDER/6/0035/L-8/16/NCBR/2017 z dnia 2017-11-22
-
SUSDEV4REC Zrównoważony rozwój recyklingu zużytych opon poprzez funkcjonalizację
ProjektyProjekt realizowany w Katedra Technologii Leków i Biochemii zgodnie z porozumieniem WPC2/SUSDEV4REC/2021 z dnia 2021-06-15
-
Podstawy systemów okrętowych, W, PiBJ, sem.3, zimowy 24/25
Kursy OnlinePojęcie systemu okrętowego, funkcje i klasyfikacja systemów okrętowych, wymagania formalno - prawne wodniesieniu do instalacji i urządzeń okrętowych, zdolność do ruchu statku ogólne wiadomości o układzienapędowym, ogólne wiadomości o instalacjach okrętowych, instalacje przeciwpożarowe, instalacje zęzowe ibalastowe, instalacje sanitarne statku, wentylacja i klimatyzacja okrętowa, okrętowe urządzenia i instalacjechłodnicze. Systemy...
-
Podstawy systemów okrętowych, W, OiKM, sem. 3, zimowy 24/25
Kursy OnlinePojęcie systemu okrętowego, funkcje i klasyfikacja systemów okrętowych, wymagania formalno - prawne wodniesieniu do instalacji i urządzeń okrętowych, zdolność do ruchu statku ogólne wiadomości o układzienapędowym, ogólne wiadomości o instalacjach okrętowych, instalacje przeciwpożarowe, instalacje zęzowe ibalastowe, instalacje sanitarne statku, wentylacja i klimatyzacja okrętowa, okrętowe urządzenia i instalacjechłodnicze. Systemy...
-
Tool support for ECSDM fault tree methodology
PublikacjaExtended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...
-
Quantum origins of objectivity
PublikacjaIn spite of all of its successes, quantum mechanics leaves us with a central problem: How does nature create a bridge from fragile quanta to the objective world of everyday experience? Here we find that a basic structure within quantum mechanics that leads to the perceived objectivity is a so-called spectrum broadcast structure. We uncover this based on minimal assumptions, without referring to any dynamical details or a concrete...
-
The impact of security aspects on functional safety analysis = Wpływ aspectów ochrony informacji na wyniki analiz bezpieczeństwa funkcjonalnego
PublikacjaIt can be said that a distributed control and protection system’s security level may have a significant impact on functional safety analyses and their results. However the issue of integrating those both aspects are difficult and usually is neglected during functional safety analyses. Known methods of functional safety analyses don’t take into consideration this kind of concept also. This paper discusses an attempt to integrate...
-
Semi-Markov model of diesel engines' operating process.
PublikacjaNajistotniejszym problemem eksploatacji silników o zapłonie samoczynnym jest problem racjonalnego (a zwłaszcza optymalnego) sterowania procesem eksploatacji tych silników. Sterowanie takie może ułatwić zastosowanie iteracyjnego algorytmu wyznaczania optymalnych strategii opracowanego przez R.A. Howarda. Wykorzystanie jednak tego algorytmu do sterowania procesem eksploatacji silników wymaga między innymi opracowania modelu procesu...
-
Semi-Markovian models of the process of technical state changes of technical objects.
PublikacjaNajistotniejszym problemem eksploatacji wszystkich obiektów technicznych (urządzeń) jest problem racjonalnego (a zwłaszcza optymalnego) decyzyjnego sterowania procesem zmian stanów technicznych tych obiektów. Sterowanie takie może być realizowane w przypadku zastosowania między innymi modelu wspomnianego procesu zmian stanów. Mając to na uwadze, w opracowaniu tym przedstawiono formalny opis procesu eksploatacji obiektów technicznych...
-
FINANSOWANIE ODNOWY ZABYTKÓW W POLSCE PRZY WYKORZYSTANIU POMOCY UE
PublikacjaRola zabytków w gospodarce rynkowej jest dwojaka. Z jednej strony budują tożsamość narodową i pełnią funkcje społeczne, a z drugiej – stanowią produkt rynkowy, który wspiera rozwój regionalny pod względem atrakcyjności turystycznej oraz inwestycyjnej. Polskie zabytki nieruchome mogą być wykorzystywane do budowy przewagi konkurencyjnej kraju, jednak z uwagi na ich zły stan techniczny, wymagają nieustannych prac konserwatorskich....
-
Identyfikacja systemów cumowniczych MJP i konsekwencje wynikające z ich zastosowania
PublikacjaW pracy rozpoznano i przeanalizowano użycie najczęściej stosowanych systemów cumowniczych dla MJP. Dobór konkretnego systemu cumowniczego jest skomplikowany i wymaga przeanalizowania szeregu czynników. Najczęściej stosowanymi systemami cumowniczymi są: cumowanie do pali stalowych, cumowanie za pomocą bomów cumowniczych, cumowanie za pomocą lin (cum), cumowanie za pomocą martwych kotwic i kotwic Seaflex. Konsekwencje wynikające...
-
O topologii w architekturze
PublikacjaOpracowanie dotyczy inspiracji we współczesnej architekturze topologicznymi koncepcjami. Wzbogacenie warsztatu projektowego o komputerowe narzędzia obliczeniowe umożliwiające tworzenie i modyfikowanie unikalnej, krzywoliniowej, geometrii katalizuje formalne i konceptualne eksploracje przestrzeni topologicznej przez awangardowych projektantów. Podejście topologiczne manifestuje się zarówno w dynamice procesu projektowania opartego...
-
Magnetic-field-induced electric quadrupole moments for relativistic hydrogenlike atoms: Application of the Sturmian expansion of the generalized Dirac-Coulomb Green function
PublikacjaWe consider a Dirac one-electron atom placed in a weak, static, uniform magnetic field. We show that, to the first order in the strength of the external field, the only electric multipole moments, which are induced by the perturbation in the atom, are those of an even order. Using the Sturmian expansion of the generalized Dirac-Coulomb Green function we derive a closed-form expression for the electric quadrupole moment induced...