Filters
total: 2231
filtered: 1055
-
Catalog
- Publications 1055 available results
- Journals 24 available results
- Conferences 24 available results
- Publishing Houses 6 available results
- People 234 available results
- Projects 8 available results
- Laboratories 6 available results
- Research Teams 5 available results
- Research Equipment 2 available results
- e-Learning Courses 680 available results
- Events 88 available results
- Open Research Data 99 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: JĘZYKI FORMALNE
-
Low-Cost Data-Driven Surrogate Modeling of Antenna Structures by Constrained Sampling
PublicationFull-wave electromagnetic (EM) analysis has become one of the major design tools for contemporary antenna structures. Although reliable, it is computationally expensive which makes automated simulation-driven antenna design (e.g., parametric optimization) difficult. This difficulty can be alleviated by utilization of fast and accurate replacement models (surrogates). Unfortunately, conventional data-driven modeling of antennas...
-
Algorytm dyskretnej transformacji falkowej zoptymalizowany dla implementacji w mikrokontrolerze
PublicationNajczęściej stosowane algorytmy dyskretnej transformacji falkowej (DWT) wymagają sporych mocy obliczeniowych i dużych ilości pamięci danych, same obliczenia natomiast wykonywane są na liczbach rzeczywistych. Nie można ich zatem bezpośrednio zastosować w mikrontrolerach. Praca przedstawia propozycję optymalizacji algorytmu dyskretnej transformacji falkowej pod kątem implementacji w mikrontrolerze 8-bitowym. Dokonano przyspieszenia...
-
DOOCS server and client application for FPGA-based TESLA cavity controller and simulator
Publication -
<title>Structure and state visualization system for BAC detector electronics in ZEUS experiment of HERA accelerator</title>
Publication -
Analiza symulacyjna zmodyfikowanego modelu układu napędowego samochodu z silnikiem spalinowym
PublicationModelowanie pojazdów samochodowych jest istotne w działalności koncernów samochodowych, ponieważ pozwala na szybkie projektowanie, testowanie i wdrażanie nowych modeli pojazdów na bardzo konkurencyjnym rynku motoryzacyjnym. W artykule przedstawiono budowę układu napędowego samochodu osobowego marki Golf III. Następnie dokonano modyfikacji modelu matematycznego na podstawie fizyki poruszania się pojazdu, zaimplementowano go w środowisku...
-
Muzyka jako element twórczy w architekturze na podstawie teorii B. Leitnera.
PublicationMuzyka pozostaje w głębokiej relacji z innymi dziedzinami w tym w szczególności z architekturą. Treść artykułu przedstawia praktyczne wykorzystanie nietypowego dla kształtowania przestrzeni medium - dźwięku w procesie projektowym. Wykorzystanie muzyki (dźwięku) daje możliwość swobodnego kreowania przestrzeni między innymi zmiany funkcji, formy zewnętrznej, kształtowania komunikacji. Ujęta problematyka może być cenna również dla...
-
Wstęp do elektroniki molekularnej
PublicationZastosowanie pojedynczych molekuł lub układów molekularnych do budowy elementów elektronicznych jest poważnym wyzwaniem dla inżynierów i naukowców, w chwili obecnej i w najbliższej przyszłości. celem tego skryptu jest przybliżenie czytelnikowi podstawowych zagadnień dotyczących elektroniki molekularnej, opartej zarówno na układach zbudowanych z wielu molekuł, jak i jednej molekuły. Jest ona przeznaczona dla studentów i pracowników...
-
Rola agentów edukacyjnych w środowiskach zdalnego nauczania
PublicationAgent edukacyjny jest inteligentnym i autonomicznym programem, który może być zastosowany w środowiskach kształcenia na odległość. W artykule podano definicję oraz klasyfikację agentów edukacyjnych ze szczególnym wskazaniem na agenty pedagogiczne, których celem jest wsparcie dla zdobywania kompetencji przez uczniów. Wskazano także miejsce agentów w kompleksowych środowiskach nauczania za pośrednictwem Internetu. W artykule omówiono...
-
AKUSTYCZNY ASPEKT ZASTOSOWANIA BLACHY KORTENOWEJ W EUROPEJSKIM CENTRUM SOLIDARNOŚCI W GDAŃSKU
PublicationArtykuł opisuje użycie blachy kortenowej jako dominującego materiału wykończeniowego na elewacjach i we wnętrzach budynku o przesłaniu symbolicznym. Przedstawiono architektoniczne przesłanki, uzasadniające jednorodność zastosowanego materiału. Na tym tle omówiono wpływ blachy kortenowej na akusty-kę pomieszczeń, wraz z podaniem kroków zaradczych redukujących nadmierną pogłosowość i zwiększających stopień rozproszenia dźwięku. Pozytywnym...
-
Quantitative risk assessment of new ship designs in damage conditions
PublicationThe paper is devoted to safety of ships in damage conditions. The novel contribution of the paper is connected with a new Multi-Task ship (MT-ship) design at the preliminary stage of design. There are a few problems at the preliminary stage that should be considered. One problem is connected with if the quantitative risk-based method is a reliable and formal method for safety assessment of such the new design (MT-ship) in damage...
-
Szpital -- forma i funkcja
PublicationForma architektoniczna obiektów służby zdrowia, zwłaszcza szpitali, zdeterminowana jest funkcją. Powiązania między działami szpitala, technologia medyczna, wyposażenie techniczne i instalacyjne, konstrukcja budynku wynikają bezpośrednio z przyjętego układu funkcjonalnego i w znaczący sposób wpływają na rozwiązania formalne i estetyczne. Istotnym elementem prawidłowego funkcjonowania szpitala jest układ komunikacji wewnętrznej,...
-
Rola centrów językowych w internacjonalizacji szkolnictwa wyższego
PublicationTekst zawiera przegląd najważniejszych aspektów działania centrów językowych na rzecz umiędzynarodowienia uczelni. Autorki wskazują istotne konteksty europejskie i polskie towarzyszące internacjonalizacji. Właściwym punktem wyjścia do opisania zadań centrów językowych na uczelni jest, zdaniem autorek, kompleksowe opracowanie strategii internacjonalizacji uczelni, precyzyjne określenie ról wszystkich jednostek uczelnianych zaangażowanych...
-
Magnetyczne badania adaptacyjne - nieniszcząca metoda badania zmian w mikrostrukturze stali wykorzystywanych w energetyce
PublicationDługotrwała eksploatacja w warunkach podwyższonego ciśnienia i temperatury jest przyczyną degradacji mikrostruktury materiałów wykorzystywanych w instalacjach energetycznych. Elementy takie to np. elementy przegrzewaczy czy rurociągi pary świeżej. Aby umożliwić ich bezawaryjną eksploatację pożądana byłaby nieniszcząca metoda diagnozowania zmian w mikrostrukturze. Dla stali ferromagnetycznych takich jak np. nowo wprowadzana do eksploatacji...
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublicationKonwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nową metodę konwersji opartą o chińskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika nadmiaru w formule chińskiego twierdzenia o resztach, co...
-
Programowy generator strumieni pakietów
PublicationTestowanie rzeczywistych urządzeń IP QoS wymaga źródeł ruchu o różnych charakterystykach ruchowych i informacyjnych umożliwiających przeprowadzenie badań dla skrajnych obciążeń. Równoznaczne to jest z generowaniem strumieni pakietów o dużych przepływnościach. Profesjonalne generatory sprzętowe są bardzo drogie i często dla pełnego przeprowadzenia badań konieczny jest zestaw większej liczby takich generatorów. Rozwiązaniem może...
-
Concrete-domain reasoning techniques in knowledge cartography
PublicationWiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...
-
Aplikacja do zarządzania zasobami domeny pakietowej z IP QoS
PublicationWraz z upublicznieniem Internetu i jego globalizacją pojawiła się potrzeba realizacji usług czasu rzeczywistego, a co za tym idzie potrzeba zapewnienia jakości poprzez rozróżnienie klas ruchu i traktowanie każdej z tych klas według innych reguł obsługi. W artykule przedstawiono system zarządzania zasobami domeny pakietowej opartej na architekturze DiffServ. Omawiany system pracuje w strukturze warstwowej - w warstwie zarządzania,...
-
Techniczne aspekty niezawodnej chmury obliczeniowej
PublicationPowszechnie wykorzystuje się przetwarzanie w chmurze ze względu na redukcję kosztów zakupu sprzętu oraz łatwość zarządzania środowiskiem. W artykule zaproponowano architekturę prywatnej chmury obliczeniowej opracowanej i uruchomionej na Politechnice Gdańskiej, w ramach której wdrożono nowy portal MOST Wiedzy. Technologia wykorzystana do budowy zarówno chmury, jak i portalu wykorzystuje jedynie rozwiązania open source. Omówiono...
-
System inteligentnej nawigacji sterowanej głosem
PublicationW pracy rozważa się zagadnienie wykorzystania inteligentnego systemu nawigowania oraz przeglądania serwisu Internetowego z wykorzystaniem głosu. Projekt, na podstawie przeglądu zagadnień, scala istniejące rozwiązania, które umożliwiają sterowanie portalem internetowym za pomocą głosu w języku angielskim. Użytkownik otrzymuje możliwość wydawania komend głosowych, a także zapytań odnośnie zawartości portalu. W odróżnieniu od wielu...
-
Metoda bezkontaktowego wielopasmowego pomiaru emisyjności.**2003, 100 s.30 rys. 6 tab. bibliogr. 86 poz. maszyn. Rozprawa doktorska /01.07.2003/ Wydz. ETI Promotor: prof. zw. dr hab. inż. K. Chrzanowski
PublicationW pracy omówiona została metoda bezkontaktowego wielopasmowego pomiaru emi-syjności. Przedstawiona została ogólna koncepcja systemu pomiarowego do bez-kontaktowych pomiarów emisyjności, a także opracowany został matematyczny o-pis elementów systemu. Dla wyznaczenia nieznanych wartości temperatury i e-misyjności obiektu na podstawie zgromadzonych danych pomiarowych wykorzysta-na została aproksymacja za pomocą liniowej metody najmniejszych...
-
Noise Analysis and Optimization of Continuous-Time OTA-C Filters
PublicationW pracy przedstawiono efektywną procedurę wyznaczania szumów w filtrach OTA C czasu ciagłego. Procedura wyprowadzona jest w oparciu o ogólny model filtru OTA C oraz jego opis macierzowy. Podano jawne formuły pozwalające okreslić odniesione do wejścia widmo szumów dowolnego filtru rozważanej klasy. Otrzymane wyniki teoretyczne zostały zweryfikowane poprzez porównanie z wynikami otrzymywanymi za pomocą symulatora SPICE dla wybranych...
-
PRZEGLĄD METOD PRZETWARZANIA DŹWIĘKU WYKORZYSTYWANYCH W APARATACH SŁUCHOWYCH
PublicationNiniejszy artykuł odnosi się do aktualnego stanu technologii wykorzystywanych w cyfrowych aparatach słuchowych, ze szczególnym uwzględnieniem technik cyfrowego przetwarzania sygnałów dźwiękowych. W artykule przedstawiono czynniki mające wpływ na efektywność aparatów słuchowych, a także zaprezentowano przykłady nowoczesnych metod cyfrowego przetwarzania sygnałów. Przedstawiono również przykłady ograniczeń współczesnych aparatów...
-
Magiczne światło - koncept HCL
PublicationŚwiatło od wieków kojarzone było ze strefą sacrum, zjawiskiem nie do końca poznanym mistycznym i magicznym. Twórcy dzieł artystycznych lub architektonicznych często odwoływali się do konotacji świetlnych, próbując oddać relacje człowieka z rzeczywistością pozamaterialną lub pozazmysłową, oraz stworzyć wnętrza inspirujące takie przeżycia. Pomimo mistycznej otoczki światło jako zjawisko fizyczne zostało opisane językiem technicznym...
-
Developing Prognostic Models of Organization Evolution
PublicationThe work focuses on the problem of measuring evolution of IT organizations. Changes in business influence functioning of the IT organization. IT departments or companies must ensure that the needs of their parent company/customers will be met. Therefore they must constantly evolve. Following question can be raised: is it possible to support process of changes the IT organization to run it smoother, faster, easier but with reduced...
-
Towards the boundary between easy and hard control problems in multicast Clos networks
PublicationIn this article we study 3-stage Clos networks with multicast calls in general and 2-cast calls, in particular. We investigate various sizes of input and output switches and discuss some routing problems involved in blocking states. To express our results in a formal way we introduce a model of hypergraph edge-coloring. A new class of bipartite hypergraphs corresponding to Clos networks is studied. We identify some polynomially...
-
Source-related Wavefields in Fluids and Dielectrics: A new way of Thinking about Medium Dynamics
PublicationAcoustic and electromagnetic wave phenomena may seem to have a proper formal representation in field theory dating from the 19th century, founded on the mathematics of complex functions. This paper shows, however, that when replacing the classical spectrum-domain approach related to the assumption of harmonic timeform of signals, with a time-domain approach imposingnorestrictionastotheclassoftimeevolutionofsourceandfieldsignals,...
-
Systematic Management of Simulation State for Multi-Branch Simulations in Simulink
PublicationSystematic simulation is a technique related and motivated by the formal analysis of hybrid dynamic systems. It combines the exhaustive and conservative nature of traditional model checking with numerical simulation for providing efficient algorithms to manage simulations. Multi-branch simulation is the concept advancing simulation efficiency by reducing the number of state transitions. This paper introduces an approach to implement...
-
Computational Simulation of the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis chapter investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organisational culture results in better mistake management and thus better organisational learning, (2) Effective organisational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader’s behavior must align for the best learning...
-
An Adaptive Network Model Simulating the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis paper investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organizational culture results in better mistake management and thus better organizational learning, (2) Effective organizational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader's behavior must align for the best learning effects....
-
An Adaptive Network Model Simulating the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning
PublicationThis paper investigates computationally the following research hypotheses: (1) Higher flexibility and discretion in organizational culture results in better mistake management and thus better organizational learning, (2) Effective organizational learning requires a transformational leader to have both high social and formal status and consistency, and (3) Company culture and leader’s behavior must align for the best learning effects....
-
Wysokotemperaturowa trwałość stali i złączy spawanych w środowisku spalin
PublicationBadano przyczyny zróżnicowanej trwałości eksploatacyjnej dwóch osłon palników generatorów gazów obojętnych. Przeprowadzono badania materiałowe; analizę chemiczną, badania metalograficzne i mikroanalizę warstw wierzchnich. Wykazały one, że osłona, która uległa zniszczeniu po ok. 40 godzinach normalnej eksploatacji generatora była wykonana ze stali niestopowej, natomiast osłona, która przepracowała nieco ponad 6 miesięcy i uległa...
-
Przechowywanie złożonych funkcji oświetlenia w postaci mapy normalnych
PublicationMapy normalnych są jedną z najszerzej stosowanych technik w grafice komputerowej, gdyż pozwalają na stosunkowo mało kosztowne odzwierciedlenie detali obiektów i ich interakcji z oświetleniem. Standardowe mapy normalnych przechowują jednak informacje jedynie o orientacji fragmentów powierzchni i nie oddają efektu rzucania cieni w ramach jednej powierzchni. Prezentowany w artykule algorytm pozwala na zakodowanie w standardowej mapie...
-
Stochastic model of the process of starting combustion engines and practical application of the process
PublicationW atrykule zaproponowano model procesu rozruchu silników o zapłonie samoczynnym w formie procesu semimarkowskiego dyskretnego w stanach i ciągłego w czasie. Zaproponowano również koncepcję zastosowania opracowanego modelu do określenia ilości substancji szkodliwych, jakie są emitowane wraz z spalinami do otoczenia podczas rozruchu każdego silnika. W rozważaniach tych przyjęto, że statystyka zmiennej losowej, rozumianej jako masa...
-
An application of multi-agent system for ship’s power systems design
PublicationDesign process of transport ship power system consists of structure (topology) and component elements selection. Compliance with the requirements for static components does not guarantee optimal dynamic characteristics of entire power system. Design steps are difficult to formalize and as a consequence to this reason expert and multi-agent systems are used for solving selected design issues. In the paper distributed multi-agent...
-
Design Equation for Stirring Fluid by a Stream Pump in a Circulating Tank
PublicationA circulating tank is a very useful theoretical scheme for many fluid-flow objects in several branches of engineering. The motion of the fluid in such objects can be induced in different ways. A stream pump provides an especially interesting possibility; however, the quantitative description of such devices shows some shortcomings. Such a device is analogous to a jet pump, thus has similar advantages (simplicity of construction,...
-
Development of the New Polish Method for Capacity Analysis of Motorways and Expressways
PublicationThe paper presents development of the new Polish method for performing capacity analysis of basic segments of dual carriageway roads (motorways and expressways). The method is based on field traffic surveys conducted at 30 motorway and expressway sites (class A and S roads) in Poland. Traffic flows, composition and travel times were observed in 15-min intervals at each site using ANPR filming method. These data were used to calibrate...
-
Ontological Model for Contextual Data Defining Time Series for Emotion Recognition and Analysis
PublicationOne of the major challenges facing the field of Affective Computing is the reusability of datasets. Existing affective-related datasets are not consistent with each other, they store a variety of information in different forms, different formats, and the terms used to describe them are not unified. This paper proposes a new ontology, ROAD, as a solution to this problem, by formally describing the datasets and unifying the terms...
-
Oriented Gaussian beams for high-accuracy computation with accuracy control of X-ray propagation through a multi-lens system
PublicationA highly accurate method for calculating X-ray propagation is developed. Within this approach, the propagating wave is represented as a superposition of oriented Gaussian beams. The direction of wave propagation in each Gaussian beam agrees with the local direction of propagation of the X-ray wavefront. When calculating the propagation of X-ray waves through lenses, the thin lens approximation is applied. In this approximation,...
-
Logistyka robót budowlanych. Projektowanie i realizacja zgodne z systemem zarządzania jakością ISO 9000
PublicationProjektowanie i zarządzanie w budownictwie dotyczy nie tylko samej realizacji określonego obiektu inżynierskiego, ale jest też ściśle związane z planowaniem logistycznym. Logistyka przedsięwzięcia budowlanego polega na zaprojektowaniu m.in. placu budowy, planu transportu zamówień oraz sposobu przemieszczania na terenie budowy zarówno pojazdów, materiałów, jak i pracowników. W artykule przedstawiono ideę systemu zarządzania jakością...
-
Technologia medyczna w obiektach świadczących usługi lecznicze- Medical technology in healthcare facilities
PublicationArchitektura budynków szpitalnych kreowana jest pod silnym wpływem wymagań sanitarno-higienicznych oraz wytycznych wynikających z charakteru świadczonych usług medycznych. Naczelną rolę odgrywa tu technologia medyczna, która jest zasobem wiedzy, procesów organizacyjnych i środków fizycznych uczestniczących w realizacji zdefiniowanych świadczeń zdrowotnych. Istotnym elementem takiej kreacji architektonicznej jest szereg procesów...
-
ROLA ZABYTKÓW W GOSPODARCE - WYBRANE ZAGADNIENIA
PublicationRola zabytków w gospodarce rynkowej jest dwojaka i ogranicza się jedynie do wartości historycznej, naukowej czy artystycznej. 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. Zabytki jako część infrastruktury stanowią element rozwoju społeczno – gospodarczego. Można więc powiedzieć,...
-
Dynamiczne sieci VLAN z zastosowaniem mechanizmów silnego uwierzytelniania użytkowników oraz metod ochrony przesyłanych informacji
PublicationW pracy zaprezentowano definicje wirtualnych sieci LAN. Klasyfikację algorytmów sieci VLAN przeprowadzono używając kryterium przynależności tzn. port przełącznika, adres MAC, adres sieciowy, adres grupowy IP lub reguły logiczne. Opisano zasady tworzenia sieci VLAN w środowisku wieloprzełącznikowym z użyciem rozwiązań standardu 802.1Q lub protokółu ISL. Scharakteryzowano rozwiązania LANE oraz MPOA umożliwiającego integrację z siecią...
-
Oceny środowiskowe w lokalizacji węzłów integracyjnych : przykład węzła integracyjnego "Czerwony Most" w Gdańsku
PublicationArtykuł prezentuje system ocen oddziaływania na środowisko (OOŚ) jako narzędzie przewidywania, oceny i łagodzenia skutków środowiskowych, wynikających z realizacji i funkcjonowania wielkich inwestycji infrastrukturalnych, jakimi są węzły zintegrowane oraz dworce kolejowe, zwłaszcza gdy są one lokowane na obszarach o dużych wartościach historycznych i estetycznych. Procedura OOŚ jest pokazana nie tylko jako formalny wymóg niezbędny...
-
Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych.
PublicationW artykule omówiono założenia projektowe i architekturę edukacyjnego systemu informatycznego nadzorującego proces wnioskowania użytkownika podczas rozwiązywania zadań obliczeniowych. Opisywany jest system z bazą wiedzy, w których wiedza o zadaniach z elementarnej matematyki, fizyki lub chemii jest reprezentowana w postaci modeli obliczeniowych, stanowiących szczególny przypadek sieci semantycznych. Scharakteryzowano prototypowy...
-
SDL i prosty scheduler - zastosowania.
PublicationRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
Processing of musical data employing rough sets and artificial neural networks
PublicationArtykuł opisuje założenia systemu automatycznej identyfikacji muzyki i dźwięków muzycznych. Dokonano przeglądu standardu MPEG-7, ze szczególnym naciskiem na parametry opisowe dźwięku. Przedyskutowano problemy analizy danych audio, związane z zastosowaniami wykorzystującymi MPEG-7. W oparciu o eksperymenty przedstawiono efektywność deskryptorów niskiego poziomu w automatycznym rozpoznawaniu dźwięków instrumentów muzycznych. Przedyskutowano...
-
Processing of musical data employing rough sets and artificial neural networks
PublicationArtykuł opisuje założenia systemu automatycznej identyfikacji muzyki i dźwięków muzycznych. Dokonano przeglądu standardu MPEG-7, ze szczególnym naciskiem na parametry opisowe dźwięku. Przedyskutowano problemy analizy danych audio, związane z zastosowaniami wykorzystującymi MPEG-7. W oparciu o eksperymenty przedstawiono efektywność deskryptorów niskiego poziomu w automatycznym rozpoznawaniu dźwięków instrumentów muzycznych. Przedyskutowano...
-
Scalar and Vector acoustic fields and sources: a new look
PublicationA study of fundamental problems of the wavefields that are the reaction of fluid continuum on two kinds of primary actions in fluid, then on two kinds of elementary point sources, is presented in this paper, based on the assumption of the physical duality of linear fluid mechanics and the formal symmetry of mathematical description. The two fundamental wavefields generated in fluid by physical point sources are discussed in detail,...
-
Towards automating repairs of IT systems
PublicationThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...
-
Discovering patterns of Web Page Visits from Associaton Rules Viewpoint
PublicationThe popularity of the Internet results from the almost unlimited resources of information stored in it. At the same time, Internet portals have become a widespread source of information and note very large number of visits. The list of web pages opened by users is stored in web servers' log files. Extraction of knowledge on the navigation paths of users has become carefully analyzed problem. Currently, there are a number of algorithms...