Publikacje
Filtry
wszystkich: 123
Katalog Publikacji
Rok 2016
-
An analysis of domain-based ship collision risk parameters
PublikacjaAccording to a lot of contemporary research on ship collision avoidance the classic approach parameters – distance at closest point of approach (DCPA) and time to the closest point of approach (TCPA) – are not sufficient for estimating ship collision risk and for planning evasive manoeuvres. Consequently new measures are introduced, often utilizing the concept of a ship domain. Their drawback, up to this point, was the lack of...
Rok 2015
-
A Simulative Comparison of Ship Domains and Their Polygonal Approximations
PublikacjaThe paper investigates the impact of a precise ship domain shape on the size of collision avoidance manoeuvres. The considered collision avoidance manoeuvres include both course and speed alterations. Various ship domains are compared with their polygonal approximations, which vary in the number of points of a domain contour and placement of these points. The best of all considered approximations is determined in the course of...
-
A Target Information Display for Visualising Collision Avoidance Manoeuvres in Various Visibility Conditions
PublikacjaThe paper introduces a new approach to displaying information on targets. The proposed display visualises three types of information: targets’ motion parameters (typical for target tracking), combinations of own course and speed which collide with those targets (typical for Collision Threat Parameters Area display by Lenart (1983)) and combinations of own course and speed which are not compliant with COLREGS in this case (based...
-
Analiza popytu na usługi transportowe morskie i śródlądowe, część 1
PublikacjaW warunkach polskiej gospodarki i polskiego systemu transportowego najważniejsze znaczenie w przewozach towarów mają transport drogowy, transport kolejowy, transport morski i transport lotniczy. Porty i transport morski odgrywają ważną rolę w rozwoju transeuropejskiej sieci transportowej. O jakości usług portowych świadczy bezpieczeństwo, szybkość i niezawodność, co znacznie obniża koszty przeładunku, a tym samym ma wpływ na globalne...
-
Analiza popytu na usługi transportowe morskie i śródlądowe, część 2
PublikacjaUsługi transportowe to dynamiczny czynnik kształtowania ruchu turystycznego i jego obsługi. Popyt na usługi transportowe drogą morską zależy od wielu czynników, takich jak potencjał zaplecza gospodarczego, wielkości (struktury) handlu zagranicznego oraz pozycji konkurencyjności portu względem innych portów. W pracy przedstawiono również prognozę popytu na przewozy ładunków obcych dla żeglugi morskiej i śródlądowej oraz prognozę...
-
Data Acquisition in a Manoeuver Auto-negotiation System
PublikacjaTypical approach to collision avoidance systems with artificial intelligence support is that such systems assume a central communication and management point (such as e.g. VTS station), usually located on shore. This approach is, however, not applicable in case of an open water encounter. Thus, recently a new approach towards collision avoidance has been proposed, assuming that all ships in the encounter, either restricted or open...
-
Multi-objective Weather Routing with Customised Criteria and Constraints
PublikacjaThe paper presents a weather routing algorithm utilising a multi-objective optimisation with constraints, namely the Multi-objective Evolutionary Weather Routing Algorithm (MEWRA). In the proposed approach weather route recommendations can be made simultaneously e.g. for passage time, fuel consumption and safety of passage by means of Pareto optimisation. The sets of criteria and constraints in the optimisation process are fully...
-
Zarządzanie informacją w procesie projektowania statku
PublikacjaW prezentowanej pracy przedstawiono znaczenie przepływu informacji w procesach projektowych oraz pomiędzy poszczególnymi stronami procesu projektowego jak np. towarzystwa klasyfikacyjne, poddostawcy czy organizacje konsultingowe. Przedstawione zostały etapy projektowania statku od projektu ofertowego poprzez projekt techniczny a kończąc na dokumentacji zdawczej. Skuteczne zarządzanie potrzebną informacją wpływa na lepszą jakość...
Rok 2013
-
Methods of determination of C coefficient for period of rolling vessel in calm water for example of pax cargo ship
PublikacjaThis article presents a different approach to calculate the C coefficient needed to determine the period of own rolling vessel in calm water. The C coefficient is usually adopted as the approximate value from the available literature, usually depending on the type of vessel, and less dependent on the loading condition. In experimental studies of marine properties (seakeeping) often have a problem with the selection of the correct...
-
Multicriteria Evolutionary Weather Routing Algorithm in Practice
PublikacjaThe Multicriteria Evolutionary Weather Routing Algorithm (MEWRA) has already been introduced by the author on earlier TransNav 2009 and 2011 conferences with a focus on theoretical application to a hybrid-propulsion or motor-driven ship. This paper addresses the topic of possible practical weather routing applications of MEWRA. In the paper some practical advantages of utilizing Pareto front as a result of multicriteria optimization...
Rok 2012
-
Analiza spektralna w badaniu właściwości morskich jednostki pływajacej przy wymuszeniach falą nieregularną
PublikacjaZe względu na trudności w wyznaczaniu dokładnych warunków początkowych dla ruchu fal morskich oraz charakter falowania wiatrowego, opis dynamiki fal morskich moŜe być przedstawiony tylko w ramach teorii stochastycznej. Wymuszenia ruchu jednostek pływających pochodzą od ruchu fal morskich i działania wiatru. Najczęściej jest to falowanie nieregularne i dlatego w badaniach dynamiki takich jednostek zakłada się, Ŝe proces falowania...
-
Customized crossover in evolutionary sets of safe ship trajectories
PublikacjaThe paper presents selected aspects of evolutionary sets of safe ship trajectories-a method which applies evolutionary algorithms and some of the assumptions of game theory to solving ship encounter situations. For given positions and motion parameters of the ships, the method finds a near optimal set of safe trajectories of all ships involved in an encounter. The method works in real time and the solutions must be returned within...
-
Evolutionary Sets of Safe Ship Trajectories: Evaluation of Individuals
PublikacjaThe paper presents a description of the evaluation phase of the Evolutionary Sets of Safe Ship Trajectories method. In general, the Evolutionary Sets of Safe Ship Trajectories method combines some of the assumptions of game theory with evolutionary programming and finds an optimal set of cooperating trajectories of all ships involved in an encounter situation. While developing a new version of this method, the authors decided to...
-
On evolutionary computing in multi-ship trajectory planning, Applied Intelligence
PublikacjaThe paper presents the updated version of Evolutionary Sets of Safe Ship Trajectories: a method which applies evolutionary algorithms and some of the assumptions of game theory to solving ship encounter situations. For given positions and motion parameters of the ships,the method finds a near optimal set of safe trajectories of all ships involved in an encounter. The method works in real time and the solutions must be returned...
-
Weather Hazard Avoidance in Modeling Safety of Motor-Driven Ship for Multicriteria Weather Routing
PublikacjaWeather routing methods find the most suitable ocean?s route for a vessel, taking into account changeable weather conditions and navigational constraints. In the multicriteria approach based on the evolutionary SPEA algorithm one is able to consider a few constrained criteria simultaneously. The approach applied for a ship with hybrid propulsions has already been presented by one of the authors on previous TransNav?2009. This time...
Rok 2011
-
Application of Pierson-Moskowitz wave spectrum to solution differential equations of multihull vessel
PublikacjaMotion of a dynamic system can be generated by different external or internal factors. At mathematical modelling external excitation factors of the most significant effect on the system, are selected. Such external factors are usually called excitations. Response of the system to given excitations is mathematically characterized by a definite transformation called operator of a system. For a broad class of dynamic systems the...
-
Evolutionary Sets of Safe Ship Trajectories: the Method's Development and Selected Reaserch Results
PublikacjaThe Evolutionary Sets of Safe Ship Trajectories is a method solving ship encounter situations. The method combines evolutionary approach to planning ship trajectory with some of the assumption of game theory. For given positions and motion parameters the method finds a near optimal set of safe trajectories of all ships involved in an encounter. This paper presents framework of the method and its development. Additionally, selected...
-
Importance of model tests in design and operation of watercraft for example CTO
PublikacjaShip Hydromechanics Division is a specialized research and development department of Ship Design and Research Centre conducting tests and research in the field of hydromechanics, connected with design and operation of ships and other floating structures, in scope of: predictions, numerical analyses, designs of - hull shape optimized with respect to the ship’s functions with the application of modern design tools, screw propellers...
-
Multimedialny system wspomagania wykładowcy i prelegenta
PublikacjaW referacie przedstawiono multimedialny system wspomagania wykładowcy i prelegenta, zainstalowany w wybranych salach audytoryjnych w nowym gmachu Wydziału Elektroniki Telekomunikacji i Informatyki Politechniki Gdańskiej. System ten tworzą: wektorowe czujniki akustyczne, kamery stacjonarne oraz kamery obrotowe z możliwością regulacji ogniskowej. Opracowywany system akustyczno wizyjny stanowi część infrastruktury technicznej budowanej...
Rok 2010
-
Application of wave spectra to mathematical model of multihull vessel
PublikacjaDynamiczne układy mechaniczne reprezentujące obiekty pływające są ściśle związane z procesami stochastycznymi. Zmienne stanu i parametry wejścia w tych modelach mają charakter probabilistyczny. Modele matematyczne takich układów są reprezentowane przez układy stochastycznych równań różniczkowych tworząc układy równań ''Ito''. W artykule zostały wyznaczone współczynniki transmitancji dla wybranych trzech widm falowania: Kongresu...
-
State equations in the mathematical model of dynamic behaviour of multihull floating unit
PublikacjaPrzedstawiony artykuł dotyczy dynamiki wielokadłubowej jednostki pływającej typu katamaran poddanej wymuszeniom pochodzącym od falowania nieregularnego. Analiza dynamiki jednostki wielokadłubowej została przeprowadzona przy założeniu, że model układu jest modelem liniowym na który działa fala nieregularna. Model matematyczny takiego układu dynamicznego jest reprezentowany poprzez równania stanu. Zapisane zostały równania uwzględniające...
Rok 2009
-
Ewolucyjny rozwój uczelnianej infrastruktury komunikacyjno-informacyjnej na potrzeby e-uczelni
PublikacjaStosowane i proponowane rozwiązania w obszarze technologii informacyjnych stwarzają szerokie możliwości w rozwoju i wdrażaniu systemów komunikacyjno-informacyjnych wspomagających i usprawniających specyficzną działalności uczelni a szczególnie wspierających e-Uczelnię. Wymaga to jednak wprowadzenia zmian w infrastrukturze technicznej i organizacji pracy. W artykule rozpa-trzono możliwości wykorzystania uczelnianych infrastruktur...
-
Wykorzystanie uczelnianej infrastruktury telekomunikacyjnej i informatycznej do realizacji sieci następnej generacji
PublikacjaW pracy przedstawiono możliwości wykorzystania uczelnianych infrastruktur telekomunikacyjnych i informatycznych dla konwergencji technologii, usług i sieci. Scharakteryzowano etapy i wariantowość rozwiązań dla osiągnięcia stanu pełnej konwergencji. Przedstawione rozwiązania i koncepcje poparte są wynikami prac uzyskanymi w ramach grantu rozwojowego realizowanego na Wydziale ETI Politechniki Gdańskiej (R0205103). W ramach grantu...
Rok 2008
-
Biblioteki cyfrowe jako złożone przedsięwzięcie informatyczne
PublikacjaBiblioteki cyfrowe (BC) zwane 'repozytoriami wiedzy' to złożone systemy informatyczne tworzone przy współpracy informatyków z bibliotekarzami. Dzięki nowoczesnym technologiom służą do przechowywania zarówno zdigitalizowanych, jak i elektronicznych obiektów w dowolnym formacie. Artykuł ten jest częścią badań projektu realizowanego w Bibliotece Muzycznej Dokumentów Muzycznych dotyczącego jakości bibliotek cyfrowych. Model jakości...
-
Catamaran dynamics at irregular wave excitations
PublikacjaArtykuł dotyczy dynamiki jednostki wielokadłubowej typu katamaran poddanej wymuszeniom pochodzącym od falowania nieregularnego.Przeprowadzono analizę dynamiki jednostki wielokadłubowej przy założeniu, że jest on opisany jako model liniowy, na który działa fala nieregularna. Model matematyczny układu dynamicznego jest reprezentowany poprzez równania stanu. Zapisano równania uwzględniające napływ fali czołowej, która wywołuje ruchy...
-
External loads for multihull watercraft
PublikacjaDla jednostek pływających wielokadłubowych sformułowano ogólne różniczkowe równania ruchu związane z możliwymi ruchami konstrukcji oceanotechnicznej. Są to ruchy związane ze stopniami swobody konstrukcji na sfalowanej powierzchni morza. Dla możliwych ruchów konstrukcji podano ogólne wzory na obciążenia zewnętrzne związane z reakcjami hydrodynamicznymi, siłami tłumienia oraz reakcjami hydrostatycznymi.
-
Multihull vessel excitations in stochastic formulation
PublikacjaPraca dotyczy określania wymuszeń wielokadłubowej jednostki pływającej w ujęciu stochastycznym. Wymuszenia ruchu jednostek pływających pochodzą od ruchu fal morskich i działania wiatru. Najczęściej jest to falowanie nieregularne i dlatego w badaniach dynamiki takich jednostek zakłada się, że proces falowania ma charakter probabilistyczny. Przeprowadzono analizę dynamiki jednostki wielokadłubowej na liniowym modelu, na który działa...
-
Stochastic approach to movements of a multihull on waves
PublikacjaW artykule przedstawiono metodę wyznaczania różniczkowych równań ruchu.Układ równań różniczkowych został przedstwaiony dla ruchów antysymetrycznych jednoski wielokadłubowej (poprzeczne ruchy liniowe, poprzeczne ruchy kątowe, poziome ruchy kątowe). Dla tych ruchów zbudowano stochastyczne równania różniczkowe.
Rok 2007
-
ADOPTED ISOCHRONE METHOD IMPROVING SHIP SAFETY IN WEATHER ROUTING WITH EVOLUTIONARY APPROACH
PublikacjaThe paper is focused on adaptation of an isochrone method necessary for application to a weather routing system with evolutionary approach. Authors propose an adaptation of the isochrone method with area partitioning assuring that the route found by the adopted method would not cross land. In result, when applied to a weather routing system with evolutionary approach, this proposal facilitates creation of initial population, resulting...
-
Problemy jakości metaopisów w bibliotekach cyfrowych
PublikacjaBiblioteki cyfrowe umożliwiają każdemu użytkownikowi korzystanie ze zbiorów za pośrednictwem Internetu. Z dowolnego miejsca na Ziemi i w dowolnym czasie użytkownik systemu bibliotecznego, ma wręcz natychmiastowy dostęp do poszukiwanej informacji. Twórcy bibliotek cyfrowych chcąc sprostać potrzebom użytkowników, oferują im coraz doskonalsze narzędzia do tworzenia, wyszukiwania i przeglądania zasobów online. Referat rozważa zagadnienie...
-
Unsymmetrical movements of a multi-hull vessel treated as a linear object
PublikacjaW artykule przedstawiona została analiza dynamiki wybranych morskich obiektów pływających reprezentujących wielokadłubowe jednostki pływające. Badany obiekt został przedstawiony jako liniowy układ dynamiczny o sześciu stopniach swobody. Powyższa analiza dotyczy równań różniczkowych opisujących ruchy niesymetryczne statku na fali. Układ stochastycznych równań różniczkowych dla sprzężonych ruchów niesymetrycznych został przedstawiony...
Rok 2006
-
Dynamics of surface floating objects
PublikacjaPrezentowana praca stanowi wstępne rozeznanie w dziedzinie badań dynamiki konstrukcji pływających z zastosowaniem teorii procesu dyfuzji. W pracy rozpatrywane są modele fizyczne jednostek wielokadłubowych oraz modele matematyczne. Spośród modeli jednostek wielokadłubowych wyróżnia się modele deterministyczne oraz modele stochastyczne.
-
Model jakości bibliotek cyfrowych
PublikacjaBiblioteki cyfrowe zyskują z dnia na dzień coraz większą popularność, zarówno wśród osób poszukujących, jak i udostępniających informację. Twórcy bibliotek cyfrowych, mają do zaoferowania użytkownikom coraz to bardziej zaawansowane narzędzia przeznaczone do tworzenia, przeglądania i wyszukiwania dokumentów elektronicznych. Na przestrzeni ostatnich lat ustalony został kanon podstawowych funkcji, które powinna spełniać każda biblioteka...
-
Stochastic approach to the dynamics of a linear floating object
PublikacjaArtykuł stanowi prezentację metody różniczkowych równań stochastycznych w zastosowaniu do analizy dynamiki obiektów pływających. Analizowany jest ruch jednostki pływającej jako obiektu liniowego z uwzględnieniem w równaniach stochastycznych nieliniowości, występującej w wymuszeniach zewnętrznych działających na obiekt. Stochastyczne równania różniczkowe są zapisane dla sprzężonych ruchów symetrycznych.
Rok 2005
-
Efektywne i bezpieczne zarządzanie i przechowywanie danych o użytkownikach, usługach i klastrach w systemie BeesyCluster
PublikacjaPraca omawia problem bezpiecznego, niezawodnego i wydajnego dostępu do danych w ramach systemu BeesyCluster, który stanowi portal dostępowy do rozproszonej sieci klastrów oraz komputerów PC. BeesyCluster umożliwia użytkownikom dostęp do wielu różnych klastrów poprzez WWW/Web Services, jak również zdalne uruchamianie aplikacji z uwzględnieniem systemów LSF oraz PBS, wypożyczanie usług innym użytkownikom i wspomaga pracę grupową....
-
Hierarchical approach to security monitoring and risk evaluation
PublikacjaPrzedstawiono problemy bezpieczeństwa sieciowego z uwzględnieiem metod szacowania i oceny bezpieczeństwa w skali lokalnej i globalnej. Podano przykłady analizy 3 systemów wraz z wnioskami oraz sugestie dotyczące trendów przyszłościowych.
-
Information significance in engineering design processes in shipyards
PublikacjaW artykule zwrócono uwagę na aspekt zarządzania procesem budowy statku, zarządzania informacją w procesie projektowania oraz znaczeniu systemów informacyjnych w transmisji informacji pomiędzy biurem projektowym a organizacjami współpracującymi. Dzięki jednolitej informacji projektowej we wszystkich fazach projektowania uzyskujemy ciągłość procesu projektowego, eliminację niepotrzebnych kosztów związanych z poprawą błędów oraz lepszą...
-
Model rozproszonej diagnostyki systemowej z wykorzystaniem metod sztucznej inteligencji.
Publikacja.
-
New user-guided and ckpt-based checkpointing libraries for parallel MPI applications
PublikacjaPraca prezentuje szczególy projektowe i implementacyjne jak również wyniki wydajnościowe dwóch nowych bibliotek checkpointingu opracowanych przez autorów dla równoległych aplikacji MPI. Pierwsz biblioteka, tzw. user-guided wymaga od programisty dostarczenia funkcji pakujących i rozpakowujących stan procesu, ale dostarcza łatwego w użyciu API z wykorzystaniem stałych MPI. Wykorzystuje funkcje I/O MPI-2 lub dedykowany proces master...
-
Non-linear electrical properties of myocardium in computer simulation
PublikacjaPomiar impedancji elektrycznej jest obiecującą metodą monitorowania stanu mięśnia sercowego, szczególnie podczas niedokrwienia. Typową metodą pomiaru jest rejestrowanie odpowiedzi-napięcia na pobudzenie prądowe. Odpowiedź jest często aproksymowana jako liniowa względem pobudzenia. Artykuł jest poświęcony oszacowaniu rzędu wielkości nieliniowych komponentów w odpowiedzi.
-
Portable parallel simulator using MPI for 2D and 3D domains: design and performance testing
PublikacjaW artykule prezentujemy szczegóły projektowo-implementacyjne naszego modularnego kodu symulacyjnego z wykorzystaniem MPI, w tym nakładaniem obliczeń i komunikacji. Podkreślamy modularność naszej implementacji pozwalającą na łatwą adaptację kodu dla innych zasotosowań. Prezentujemy związek pomiędzy przyspieszeniem obliczeń, rozmiarem i kształtami trójwymiarowych domen z różnymi stosunkami liczby węzłów aktualizowanych przez procesor...
Rok 2004
-
Achieving High Dependability of an Endoscopy Recommender System (ERS).
PublikacjaZaprezentowano strategię zwiększenia wiarygodności komputerowego systemu zorientowanego na wspomaganie badań endoskopowych. zasygnalizowano podstawowe funkcje systemu (ERS) oraz podano mechanizmy rekonfiguracji sprzętowej (nadmiarowość komputerów) oraz bazodanowej (nadmierność dokumentów badań). Zbadano wpływ tych mechanizmów na wydajność, wiarygodność oraz bezpieczeństwo tego systemu.
-
Analysis of non-linear properties of cardiomyocyte cellular membranes.
PublikacjaNieliniowe właściwości błon komórkowych kardiomiocytów są dotychczas słabo poznane. W pracy zamodelowano błonę komórkową przy pomocy modelu Beelera-Reutera w modyfikacji Drouharda-Roberge. Przeprowadzono symulacje z użyciem pobudzenia napięciowego o częstotliwości 1 lub 100 kHz i wartości skutecznej 1 lub 10 mV. Prądy płynące przez błonę rozpatrywano jako odpowiedź. Stwierdzono odpowiedź na częstotliwości podstawowej oraz jej drugiej...
-
BeesyCluster: Architektura systemu dostepu do sieci klastrów przez WWW/Web Services.
PublikacjaNiniejsza praca prezentuje system BeesyCluster, który integruje rozproszone klastry poprzez łatwy w użyciu interfejs WWW oraz Web Services. W wersji pilotowej system uruchomiony zostanie w charakterze portalu dostępowego do klastrów gdańskiej sieci TASK wykorzystując 128-procesorowy klaster galera oraz 256-procesorowy 64-bitowy klaster holk jak również laboratoria badawcze Wydziału ETI Politechniki Gdańskiej. System, oparty o technologię...
-
Cocoon - najnowsze technologie Open Source.
PublikacjaCocoon jest projektem rozwijanym w ramach fundacji Apache, która stała się symbolem wysokiej jakości systemów Open Source. Środowisko to umożliwia łatwe budowanie zaawansowanych serwisów WWW opartych na XML przez całe zespoły osób bez problemów wchodzenia w swoje kompetencje. W pracy przedstawiono doświadczenie wykorzystania tego środowiska do budowy portali usług informacyjnych oraz oszacowanie charakterystyki wydajności.
-
Influence of Exception Handling on Distributed Applications.
PublikacjaW artykule przedstawiono metodologię oceny systemów rozproszonych w sytuacji występowania wyjątków i błędów. Analiza jest przeprowadzana przez zidentyfikowanie zmian stanów danych i wyprowadzenie ogólnych charakterystyk systemu. Rozproszone zależności są modelowane przez podstawowe zależności między metodami i złożone zależności występujące w sytemie. Analiza umożliwia odpowiedź na pytanie, jak zależności rozproszone wpływają na...
-
Integracja modelowania i implementacji oprogramowania w metodzie IMAC.
PublikacjaDotychczasowa technologia wytwarzania oprogramowania akceptuje występowanie niespójności pomiędzy modelowaniem w języku UML a implementacją w obiektowych językach programowania. Metoda IMAC zapewnia spójność przez zastosowanie jednolitej notacji graficznej w całym projekcie informatycznym. Dzięki temu implementacja zostaje sprowadzona do uszczegółowienia diagramów projektowych i wygenerowania gotowego, funkcjonalnego kodu programu....
-
Intelligent Resources Search in Virtual Libraries.
PublikacjaZostała zaprezentowana koncepcja bibliotek cyfrowych oraz temat wyszukiwania zasobów. W celu poprawy jakości procesu wyszukiwania, zostało zaproponowane użycie koncepcji sieci semantycznej zamiast klasycznego sposóbu opisu zasobów bibliograficznych. Została opisana prosta ontologia oparta o Dublin Core meta-data. Zostało przedyskutowane zastosowanie algorytmu przetważania połączeń semantycznych w celu szukania. Zastosowany w Wirtualnej...
-
Język opisu usług sieciowych WSDL.
PublikacjaNiniejszy rozdział opisuje WSDL - język opisu usług sieciowych. Rozdział zawiera wprowadzenie w tematykę usług sieciowych (Web Services), również w odniesieniu do innych technologii przetwarzania rozproszonego jak CORBA, RMI. W szczególności przedstawiono podobieństwa i różnice w opisie metod udostępnianych do wywołania klientowi w WSDL oraz IDL. Elementy standardu WSDL omówiono na przykładzie usługi sieciowej do zdalnego uruchomienia...
-
Ontologia usług sieciowych OWL-S.
PublikacjaRozwijająca się dziedzina agentów i usług sieciowych dojrzała do wypracowania standardów zapewniających wspólny sposób opisu, wywoływania i nadzoru wykonania tych serwisów. Propozycja takiego standardu jest opisywana w rozdziale ontologia OWL-S, bazująca na założeniach sieci sematycznej i będąca rozwinięciem oraz uporządkowaniem wcześniejszej propozycji znanej pod nazwą DAML+OIL oraz DAML-S.