Wyniki wyszukiwania dla: jezyki formalne - MOST Wiedzy

Twoje konto

zaloguj

Wyszukiwarka

Wyniki wyszukiwania dla: jezyki formalne

Filtry

wszystkich: 2167
wybranych: 1076

wyczyść wszystkie filtry

Filtry wybranego katalogu

  • Kategoria

  • Rok

  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

wyświetlamy 1000 najlepszych wyników Pomoc

Wyniki wyszukiwania dla: jezyki formalne

  • Razem i osobno

    Publikacja

    - Rok 2009

    Katalog ilustrujący roczną działalność galerii BWA w Lublinie. Opisuje wystawy, które miały miejsce w galerii Labirynt w 2008 roku (m. in. wystawę "Razem i osobno" J. Buczkowskiego, K. Wróblewskiego i Z. Pidka).Katalog liczy 84 strony i zawiera teksty krytyczne w języku polskim i angielskim oraz 123 kolorowe reprodukcje prac artystów (prace autorów s. 59). Wydawcą katalogu jast Biuro Wystaw Artystycznych w Lublinie ISBN: 978-83-927473-4-5.

  • Analiza bezpieczeństwa ruchu na rondach

    Publikacja

    - Rok 2010

    W artykule przedstawiono wpływ rond na poprawę bezpieczeństwa ruchu na podstawie przeprowadzonych badań ''przed'' i ''po'' przebudowie skrzyżowania na małe rondo. Wykazano korzystny wpływ skrzyżowania typu rondo na liczbę zdarzeń drogowych i ofiar wypadków w porównaniu z innymi rodzajami skrzyżowań. Porównano bezpieczeństwo ruchu na rondach o wielu wlotach i o wielopasowej jezdni wokół ronda. Przedstawiono najczęściej występujące...

  • AKUSTYCZNY ASPEKT ZASTOSOWANIA BLACHY KORTENOWEJ W EUROPEJSKIM CENTRUM SOLIDARNOŚCI W GDAŃSKU

    Publikacja

    - Rok 2020

    Artykuł 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...

  • Analiza symulacyjna zmodyfikowanego modelu układu napędowego samochodu z silnikiem spalinowym

    Publikacja

    - Modelowanie Inżynierskie - Rok 2012

    Modelowanie 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...

    Pełny tekst do pobrania w portalu

  • Zdalne monitorowanie obiektów wyposażonych w instalację KNX

    Publikacja

    - Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej - Rok 2011

    W artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...

    Pełny tekst do pobrania w portalu

  • Modele semantyczne wymiany informacji o stanie systemu elektroenergetycznego

    Publikacja

    - Studia Informatica Pomerania - Rok 2012

    Zaprezentowano Common Information Model CIM opracowany w Electric Power Research Institute EPRI w USA. Model ten wypełnia brak uniwersalnego języka opisu topologii i stanu sieci elektroenergetycznej. Stworzony został na potrzeby integracji narzędzi stosowanych przez podmioty sektora elektroenergetycznego. CIM wykorzystuje RDF Schema Definition (RDFS) i RDF. Na tle tego standardu przedstawiono własny zestaw pojęć mapujący meta-ontologię...

    Pełny tekst do pobrania w portalu

  • Mechanizmy generowania hałasu opon.

    Publikacja

    - The Archives of Automotive Engineering - Archiwum Motoryzacji - Rok 2003

    Przedstawiono podstawowe informacje dotyczące mechanizmów generowania hałasu podczas współpracy opony pneumatycznej z nawierzchnią jezdni. Poruszono również zagadnienia związane z możliwością wpłynięcia na te mechanizmy, w celu zmniejszenia hałasu emitowanego do otoczenia. Omówiono następujące mechanizmy generowania hałasu: promieniowanie i styczne drgania elementów bieżnika drgania ścianek bocznych i pasa bieżnika, slipstick,...

    Pełny tekst do pobrania w portalu

  • Internet as a new platform for delivery of microwave CAD services.

    Publikacja

    - Rok 2004

    Zaprezentowano aplikację przeznaczoną do syntezy filtrów rezonatorowych, która jest realizacją nowego sposobu myślenia związanego z rewolucją usług internetowych, które charakteryzują się niskim kosztem tworzenia oraz szybką i bezpieczną dystrybucją. Opisano stworzoną wielowarstwową aplikację, która gwarantuje łatwy, bezpieczny oraz ograniczony dostęp do aplikacji dla szerokiego kręgu osób. Zawarto w niej algorytm szybkiej syntezy...

  • The cartographer algorithm for processing and querying description logics ontologies

    Publikacja

    - Rok 2005

    Logika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...

  • Quantitative risk assessment of new ship designs in damage conditions

    Publikacja

    - Rok 2015

    The 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...

  • Ontologie jako metoda reprezentacji wiedzy

    Publikacja

    - Rok 2005

    Logika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...

  • Szpital -- forma i funkcja

    Publikacja

    - Rok 2015

    Forma 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,...

  • Magnetyczne badania adaptacyjne - nieniszcząca metoda badania zmian w mikrostrukturze stali wykorzystywanych w energetyce

    Publikacja

    - Energetyka, problemy energetyki i gospodarki paliwowo - energetycznej - Rok 2013

    Dł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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Adam Smith

    Publikacja

    - Rok 2003

    Książka omawia życie i twórczość Adama Smitha (1723-1790), zarówno opublikowaną za jego życia, jak i tę wydaną pośmiertnie oraz odtworzoną na podstawie notatek jego słuchaczy. W drugiej części zamieszczono wybór fragmentów tekstów najbardziej reprezentatywnych dla tego filozofa. Wśród nich znalazły się teksty tłumaczone po raz pierwszy na język polski.

  • Effective residue-to-binary converter with the Chinese Remainder Theorem

    Publikacja

    - Measurement Automation Monitoring - Rok 2003

    Konwersja 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...

    Pełny tekst do pobrania w portalu

  • PRZEGLĄD METOD PRZETWARZANIA DŹWIĘKU WYKORZYSTYWANYCH W APARATACH SŁUCHOWYCH

    Publikacja

    - Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej - Rok 2016

    Niniejszy 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...

    Pełny tekst do pobrania w portalu

  • Les Lumieres contre la torture et la peine de mort

    Publikacja

    - Orbis Linguarum - Rok 2016

    Artykuł napisany jest w języku francuskim. Jego tytuł w polskim tłumaczeniu brzmi: "Oświecenie wobec tortur i kary śmierci". Artykuł ten dotyczy stanowiska Woltera, Monteskiusza oraz Beccari wobec nadużyć systemu prawnego przedrewolucyjnej Francji. Analizuje on ich krytyczne stanowisko wobec tych nadużyć i bada filozoficzne teorie, jakimi posługują się Wolter i Monteskiusz w celu zniesienia tortur, oraz Beccaria, który nie tylko...

    Pełny tekst do pobrania w portalu

  • Komputerowy system pomiarowy do diagnostyki łożysk

    Publikacja

    - Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej - Rok 2014

    W artykule przedstawiono komputerowy system do diagnostyki łożysk silników indukcyjnych metodą pomiaru i analizy mocy chwilowej pobieranej przez badane maszyny. Do realizacji oprogramowania systemu pomiarowego wybrano środowisko programowania w języku graficznym LabVIEW. Opracowane oprogramowanie umożliwia analizę, archiwizację i wizualizację danych uzyskanych z pomiarów mocy chwilowej, pobieranej przez badane silniki indukcyjne,...

    Pełny tekst do pobrania w portalu

  • Miasto bez samochodu utopią zrównoważonego rozwoju.

    Publikacja

    - Rok 2004

    Od początku lat dziewięćdziesiątych w Europie Zachodniej trwają prace planistyczne i wdrożeniowe nad ograniczeniem rozwoju komunikacji indywidualnej. Realizowana jest polityka zdecentralizowanej koncentracji struktur miejskich, oparta w głównej mierze na rozbudowie dróg w zakresie przebudowy i usprawniania istniejącego systemu, budowy obejść osiedli, realizacji brakujących obwodnic, wprowadzaniu stref uspokojonego ruchu, likwidacji...

  • Gazetteer compression technique based on substructure recognition

    Publikacja

    - Rok 2006

    Automaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Towards the boundary between easy and hard control problems in multicast Clos networks

    Publikacja

    - Bulletin of the Polish Academy of Sciences-Technical Sciences - Rok 2015

    In 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...

    Pełny tekst do pobrania w portalu

  • Systematic Management of Simulation State for Multi-Branch Simulations in Simulink

    Publikacja

    - Rok 2013

    Systematic 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • An Adaptive Network Model Simulating the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning

    Publikacja

    - Rok 2022

    This 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....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • An Adaptive Network Model Simulating the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning

    Publikacja

    - Rok 2023

    This 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....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Developing Prognostic Models of Organization Evolution

    Publikacja

    - Rok 2011

    The 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...

  • Source-related Wavefields in Fluids and Dielectrics: A new way of Thinking about Medium Dynamics

    Publikacja

    - HYDROACOUSTICS - Rok 2013

    Acoustic 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,...

    Pełny tekst do pobrania w portalu

  • Computational Simulation of the Effects of Different Culture Types and Leader Qualities on Mistake Handling and Organisational Learning

    Publikacja

    - Rok 2023

    This 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Oriented Gaussian beams for high-accuracy computation with accuracy control of X-ray propagation through a multi-lens system

    Publikacja

    - JOURNAL OF SYNCHROTRON RADIATION - Rok 2019

    A 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,...

    Pełny tekst do pobrania w portalu

  • Ontological Model for Contextual Data Defining Time Series for Emotion Recognition and Analysis

    Publikacja

    - IEEE Access - Rok 2021

    One 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...

    Pełny tekst do pobrania w portalu

  • Development of the New Polish Method for Capacity Analysis of Motorways and Expressways

    Publikacja

    - Archives of Civil Engineering - Rok 2020

    The 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...

    Pełny tekst do pobrania w portalu

  • Design Equation for Stirring Fluid by a Stream Pump in a Circulating Tank

    Publikacja

    - Water - Rok 2019

    A 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,...

    Pełny tekst do pobrania w portalu

  • Stochastic model of the process of starting combustion engines and practical application of the process

    Publikacja

    - Journal of Polish CIMEEAC - Rok 2008

    W 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...

    Pełny tekst do pobrania w portalu

  • Wysokotemperaturowa trwałość stali i złączy spawanych w środowisku spalin

    Publikacja

    - Przegląd Spawalnictwa - Rok 2011

    Badano 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...

    Pełny tekst do pobrania w portalu

  • Przechowywanie złożonych funkcji oświetlenia w postaci mapy normalnych

    Publikacja

    - Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne - Rok 2011

    Mapy 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...

  • An application of multi-agent system for ship’s power systems design

    Publikacja

    - Rok 2016

    Design 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...

  • Oceny środowiskowe w lokalizacji węzłów integracyjnych : przykład węzła integracyjnego "Czerwony Most" w Gdańsku

    Publikacja

    - Rok 2006

    Artykuł 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...

  • Dynamiczne sieci VLAN z zastosowaniem mechanizmów silnego uwierzytelniania użytkowników oraz metod ochrony przesyłanych informacji

    Publikacja

    - Rok 2010

    W 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ą...

  • Logistyka robót budowlanych. Projektowanie i realizacja zgodne z systemem zarządzania jakością ISO 9000

    Publikacja

    - Logistyka - Rok 2014

    Projektowanie 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

    Publikacja

    - Rok 2015

    Architektura 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

    Publikacja

    - OCHRONA ZABYTKÓW - Rok 2014

    Rola 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ć,...

  • Trust-IT - a framework for trust cases

    Publikacja

    - Rok 2007

    Artykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...

  • Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych.

    Publikacja

    - Rok 2003

    W 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...

  • Processing of musical data employing rough sets and artificial neural networks

    Publikacja

    - Rok 2004

    Artykuł 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...

  • Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.

    Publikacja

    - Rok 2004

    Artykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...

  • Processing of musical data employing rough sets and artificial neural networks

    Publikacja

    - Rok 2005

    Artykuł 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...

  • Les transducteurs à sorties variables

    Publikacja

    - Rok 2006

    W przetwarzaniu języka naturalnego słowniki elektroniczne wiążą ze słowami informacje. Najwydajniejsza reprezentacja takich słowników używa maszyn ze skończoną liczbą stanów (automatów prostych lub automatów Mealy'ego). W tym artykule wzorując się na algorytmach bezpośredniej budowy minimalnego automatu deterministycznego proponujemy nowy typ automatu Mealy'ego. Ta nowa forma pozwala na szybkie obliczanie informacji wyjściowej...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Smart Innovation Engineering: Toward Intelligent Industries of the Future

    Publikacja

    - CYBERNETICS AND SYSTEMS - Rok 2018

    Knowledge-based Engineering Systems are founded upon integration of knowledge into computer systems and are one of the core requirements for the future Industry 4.0. This paper presents a system called Smart Innovation Engineering (SIE) capable of facilitating product innovation process semi-automatically. It enhances decision-making processes by using the explicit knowledge of formal decision events. The SIE system carries the...

    Pełny tekst do pobrania w portalu

  • Decisional-DNA Based Smart Production Performance Analysis Model

    Publikacja

    - CYBERNETICS AND SYSTEMS - Rok 2019

    n order to allocate resources effectively according to the production plan and to reduce disturbances, a framework for smart production performance analysis is proposed in this article. Decisional DNA based knowledge models of engineering objects, processes and factory are developed within the proposed framework. These models are the virtual representation of manufacturing resources, and with help of Internet of Things, are capable...

    Pełny tekst do pobrania w portalu

  • Towards Experience-Based Smart Product Design for Industry 4.0

    Publikacja

    - CYBERNETICS AND SYSTEMS - Rok 2019

    This paper presents the concept of smart virtual product development (SVPD) system capable of supporting industrial product development process. It enhances the decision making process during different stages and activities involved in product development i.e. product design, manufacturing, and its inspection planning. The enhancement is achieved by using the explicit knowledge of formal past decision events, which are captured,...

    Pełny tekst do pobrania w portalu

  • Towards automating repairs of IT systems

    Publikacja

    - Rok 2009

    This 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...