Filtry
wszystkich: 1644
wybranych: 1493
-
Katalog
- Publikacje 1493 wyników po odfiltrowaniu
- Czasopisma 7 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 20 wyników po odfiltrowaniu
- Wynalazki 5 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Kursy Online 56 wyników po odfiltrowaniu
- Wydarzenia 31 wyników po odfiltrowaniu
- Dane Badawcze 2 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: wzgledy formalne
-
Protokół głosowania większościowego w narzędziu wsparcia decyzji handlowych
PublikacjaIstnieje szerokie spektrum narzędzi i metod wspierających decyzje handlowe, lecz brakuj jasnych reguł ich stosowania. Zaproponowano samoorganizujacy się system agentowy do wspierania decyzji handlowych. System bazując na glosowaniu z dynamicznymi wagami, wskazuje efektywne indykatory na podstawie ich poprzednich osiągnięć. Przedstawiono analizę formalną i wyniki weryfikacji, potwierdzającej cechy rozwiązania.
-
Modernization of large music studio at Polish Radio Szczecin
PublikacjaStudio Muzyczne S-1 w Polskim Radiu Szczecin należy do największych studiów nagrań w Polsce. Wymiary studia wynoszą 15.3 x 17 x 8.6 m, powierzchnia 261 m2, kubatura 2244 m3. W wyniku licznych korekt akustycznych dokonanych w ciągu ostatnich lat, warunki akustyczne studia są akceptowane przez szeroki krąg realizatorów i wykonawców, co uznano to za cenny i trudno odtwarzalny walor techniczny. W związku z tym, modernizację Studia...
-
Potrzeba uporządkowania procesu budowlanego w fazie odbiorów
PublikacjaProblem dyscyplinowania procesu budowlanego. Częste odstępstwa i bylejakość, w tym niewłaściwe procedury odbiorowe. Konieczność wzmocnienia strony formalnej, w tym zwłaszcza odbiorów inwestycji, co jest szczególnie istotne w przypadku inwestycji współfinansowanych. Niski poziom przeciętnego inwestora, służb samorządowych, zwłaszcza inspektorów nadzoru inwestorskiego. Co najmniej regionalnie bardzo poważne problemy z zapewnieniem...
-
Dofinansowania z powiatowych urzędów pracy na rozpoczęcie działalności gospodarczej jako forma wsparcia mikro i małej przedsiębiorczości wraz z oceną jej efektywności na wybranych przykładach.
PublikacjaArtykuł opisuje zagadnienia związane z dofinansowaniami ze środków oferowanych przez powiatowe urzędy pracy na prowadzenie działalności gospodarczej. Uzyskanie dotacji wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga spełnienia kilku kryteriów. Poniższy artykuł opisuje najważniejsze kwestie i wymogi formalne związane z ubieganiem się o środki na dofinansowanie jednoosobowej działalności...
-
Comprehensive circumscribing of non-linearity cases of a water supply system with smooth flow control
PublikacjaW artykule opisano formalnie poprawne metody opisu matematycznego pracy pomp o płynnie regulowanych wydatkach oraz reduktorów ciśnienia i reduktorów przepływu w modelowaniu przepływów ustalonych zachodzących w systemach wodociągowych. Opisano metodę opartą o dynamiczną analizę wrażliwości systemu oraz metodę wykorzystującą charakterystyki hydrauliczne systemu wodociągowego. Przedstawiono wyniki symulacji wykorzystującej ww. metody...
-
A model of ship propulsion systems operating process.
PublikacjaArtykuł zawiera opis formalny procesu eksploatacji układów napędowych statków. Model tego procesu został przedstawiony w formie dwuwymiarowego procesu,, którego współrzędnymi są procesy semi-Markowa o skończonych zbiorach stanów. Jeden z tych procesów jest procesem zmian stanów technicznych układów napędowych a drugi „ procesem zmian ich stanów eksploatacyjnych. Zaproponowano także jednowymiarowy model procesu eksploatacji układów...
-
JEDNORAZOWE DOTACJE NA PODJĘCIE DZIAŁALNOŚCI GOSPODARCZEJ NA PRZYKŁADZIE DOTACJI UDZIELANYCH PRZEZ POWIATOWY URZĄD PRACY W GDYNI
PublikacjaW artykule dokonano opisu możliwości uzyskania dofinansowania w ramach środków pochodzących z Funduszu Pracy przyznawanych przez urzędy pracy. Tego typu jednorazowe i bezzwrotne wsparcie należy do stosunkowo łatwo dostępnych form finansowania nowo powstałych przedsiębiorstw zakładanych przez osoby bezrobotne. Niemniej jednak uzyskanie dotacji, wynoszącej nawet sześciokrotność przeciętnego wynagrodzenia w gospodarce narodowej, wymaga...
-
Kaszubskie zamieszkiwanie. Studium
PublikacjaGraficzne, malarskie i fotograficzne przedstawianie przestrzeni zamieszkiwania poprzez obraz oraz formalne poprzez rzeźbę to poszukiwanie nowych środków wyrazu dla ukazania osobistych refleksji na temat domu i jego relacji środowiskowych. Stanowią dopełnienie pracy naukowej i projektowej. Cykl „kaszubskie zamieszkiwanie. studium” to efekt projektu stypendialnego (stypendium dla twórców kultury Marszałka Województwa Pomorskiego...
-
Uwarunkowania dotyczące zawartości granulatu asfaltowego w mieszankach mineralno-asfaltowych produkowanych na gorąco w otaczarkach cyklicznych
PublikacjaRecykling MMA na gorąco jest obecnie szeroko wykorzystywany w budownictwie drogowym. Pozwala on na uzyskanie istotnych korzyści ekologicznych i ekonomicznych. W artykule przedstawiono uwarunkowania wpływające na zawartość granulatu asfaltowego w MMA. Powinny być one uwzględniane, aby uzyskać MMA z granulatem asfaltowym o właściwościach, takich jak w przypadku mieszanek wykonanych z nowych materiałów. Omówiono głównie uwarunkowania...
-
Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine
Publikacja -
Scale effect in shaft friction from direct shear tests
PublikacjaPrzeanalizowano wartości maksymalne tarcia uzyskane w aparacie bezpośredniego ścinania w kontakcie konstrukcja-grunt dla piasków kwarcowych i węglanowych oraz gładkiego i szorstkiego kontaktu. Badania przeprowadzono przy regulowanej sztywności normalnej kontaktu, przy różnej składowej normalnej naprężenia w kontakcie i różnym zagęszczeniu gruntu. Określono efekt skali jako stosunek wartości tarcia mobilizowanego na modelu do tarcia...
-
The application of an expert system for simulation investigations in yhe aided design of ship power systems automation.
PublikacjaPrzedstawiono strukturę i funkcje systemu wspomagającego projektowanie automatyki systemów enegretycznych statków. Dane opisujące projektowany podsystem energetyczny są wprowadzane w trybie interaktywnym do systemu ekspertowego. Reguły określaja poprawność formalną i merytoryczną wprowadzonych danych. W przypadku braku błędów system automatycznie tworzy model symulacyjny projektowanego podsystemu enegretycznego i wywołuje program...
-
Challenges of modern assessment of safety of ships in critical conditions. Options for preliminary design
PublikacjaW pracy przedstawiono wyniki badań na temat zastosowania formalnej metody oceny bezpieczeństwa statków w stanie uszkodzonym w stosunku do obecnej metody, opartej na przepisach zawartych w konwencji SOLAS rozdział II-1, części A, B i B-1. Przedstawiono elementy analizy bezpieczeństwa obejmujące identyfikację zagrożeń i scenariuszy wypadków, ocenę zagrożeń, ocenę ryzyka i kontrolę ryzyka. Podano przykłady obliczeniowe i wnioski praktyczne.
-
Aestheticization of Flowcharts
PublikacjaOne of the important issues of diagrams is their aesthetics. In this paper a method of its formalization for freehand drawn flowcharts is proposed. In order to formalize the evaluation of flowcharts' aesthetics a criterion consisting of several measures is proposed. Based on this criterion the algorithms for automatic optimization of flowcharts' appearance are proposed.
-
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublikacjaCelem referatu było dokonanie przeglądu i porównania mechanizmów integracji wiedzy pochodzących z różnych źródeł, zaczynając od podejść kreatywnych, poprzez mniej i bardziej formalne podejścia powiązane z inżynierią oprogramowania, a kończąc na teorii badań interdyscyplinarnych i menadżerskim podejściu do zarządzania zespołami interdyscyplinarnymi. Pod względem metodologicznym, w referacie zastosowano wielodyscyplinarną analizę...
-
FE-modeling of shear resistance degradation in granular materials during cyclic shearing under CNS condition
PublikacjaW artykule przedstawiono wyniki numerycznej analizy degradacji wytrzymałości na ścinanie w materiałach granulowanych podczas cyklicznego ścinania z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego modelu hipoplastycznego.
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublikacjaThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
Ocena wykrywalności modelowych wad wąskoszczelinowych metodą pomiaru przestrzennego rozkładu magnetycznego pola rozproszonego
PublikacjaWykazano, że metoda pomiaru natężenia metodą pomiaru natężenia pola rozproszonego (MPR) w polu szczątkowym umożliwia skuteczne wykrywanie zewnętrznych wad szczelinowych o głębokościach 0,2 mm przy długości 2,5 mm, oraz wad punktowych o średnicy mniejszej od 1mm i głębokości 0,3 mm. Zwiększenie poziomu namagnesowania (pomiary w pełnym polu magnetycznym) umożliwiło wykrywanie wad o znacznie mniejszych rozmiarach. Wykazano również,...
-
Ekspertyza dotycząca oszacowania wartości odtwarzacza plików mp3 w telefonie komórkowym
PublikacjaEkspertyza ma na celu rozstrzygnięcie kwestii czy jest możliwe ustalenie, jaką część telefonu komórkowego stanowi odtwarzacz plików w formacie mp3 i czy jest on w takim przypadku "urządzeniem w urządzeniu", czy też jest to wyłącznie aplikacja.
-
Nowoczesny menedżeryzm sądowy
PublikacjaCelem artykułu jest ocena rozwiązań przyjętych w wymiarze sprawiedliwości dotyczących zarządzania nim przez profesjonalne podmioty. Artykuł odpowiada na pytania, na ile formalne kompetencje menedżerów sądowych pokrywają się z kompetencjami merytorycznymi i praktycznymi. I wreszcie, na ile menedżerowie są świadomi wyzwań stojących przed współczesnym wymiarem sprawiedliwości w Polsce. Brak wiedzy i umiejętności z zakresu zarządzania...
-
Comparative analysis of the theoretical models of ideal propulsor, ideal fluid brake, ideal screw propeller and ideal axial wind turbine
PublikacjaThe article presents a detailed discussion of four different fluid dynamics devices.These devices are presented with all relevant mathematical formulae regarding the forces, the power and the efficiency. It is demonstrated that application of the Betz theorem to axial wind turbines is not correct and it underestimates the maximujm achievable efficiency. This conclusion is supported by numerical calculations.
-
Bending of a Three-Layered Plate with Surface Stresses
PublikacjaWe discuss here the bending deformations of a three-layered plate taking into account surface and interfacial stresses. The first-order shear deformation plate theory and the Gurtin-Murdoch model of surface stresses will be considered and the formulae for stiffness parameters of the plate are derived. Their dependence on surface elastic moduli will be analyzed.
-
Estimation of pile bearing capacity by dynamic and static tests
PublikacjaBadania dynamiczne, szczególnie dla pali wbijanych, w budownictwie hydrotechnicznym stają się coraz bardziej popularne. Badania, poparte formalnie zapisami zawartymi w Eurokodzie 7, wykorzystywane w badaniach ''na wodzie'' i ''na lądzie'' są szybkie i ekonomiczne. Przedstawiono serię badań dla gruntów uwarstwionych dla pali prefabrykowanych żelbetowych, wbijanych stalowych pali rurowych oraz pali Vibro-Fundex. Badania dynamiczne...
-
A performance-oriented risk-based method for assessment of safety of ships. Modelling uncertainties in hazard and risk analysis
PublikacjaW artykule podano informacje na temat alternatywnej metody oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka. Zaproponowano użycie metody do projektowania statków w oparciu o ocenę ryzyka. W takim podejściu do projektowania bezpieczeństwo powinno być celem projektowym. Ocena bezpieczeństwa w proponowanej metodzie powinna być dokonywana na podstawie oceny ryzyka. Do oceny ryzyka zastosowano elementy...
-
Zastosowanie badań symulacyjnych w projektowaniu układów automatyki podsystemów energetycznych statków
PublikacjaPrzedstawiono strukturę i funkcje systemu informatycznego wspomagania projektowania układów automatyki statku. Szczególną uwagę zwrócono na funkcję oceny rozwiązań projektowych na podstawie prowadzonych badań symulacyjnych. Omówiono reprezentację wiedzy o projektowanym podsystemie energetycznym statku, dobór struktur modeli elementów składowych podsystemów umożliwiający zastosowanie reguł do budowy modeli symulacyjnych i reguły...
-
Istota indywidualnego projektowania domów
PublikacjaDomy to przestrzenie stanowiące formalną i symboliczną odpowiedź na potrzebę i konieczność zamieszkiwania. Ich indywidualne projektowanie ma za zadanie odpowiedzieć na definiowane przez przyszłych mieszkańców potrzeby w warstwie fizycznej i aksjologicznej. W wyniku twórczego dialogu i wartościowego spotkania twórcy obiektu i jego przyszłego użytkownika powstaje przestrzeń będąca schronieniem, zabezpieczeniem oczekiwań, a jednocześnie...
-
Oszacowanie kąta tarcia wewnętrznego piasków morskich na podstawie sondowań statycznych metodą CPTU
PublikacjaOszacowanie kąta tarcia wewnętrznego piasków na Wybrzeżu Bałtyku w gruntach normalnie skonsolidowanych i prekonsolidowanych, starych złożach i refulatach. Porównanie tych wartości z wynikami badań w aparacie trójosiowego ściskania.Dobór odpowiednich zależności korelacyjnych między wynikami badań laboratoryjnych i terenowych.
-
passive spice networks from non-passive data
PublikacjaArtykuł przestawia technike generacji schematow zastepczych w formacie SPICE dla pasywnych układów mikrofalowych. Wynikowy schemat zastepczy ma zagwarantowana pasywnosc. Schematy zastepcze powstaja na podstawie symulacji lub pomiarow w dziedzinie czestotliwosci i moga byc wykorzystane do symulacji w dziedzinie czasu.
-
EKSPERTYZA TECHNICZNA WOZÓW WYCIĄGOWYCH NA POCHYLNIACH KANAŁU ELBLĄSKIEGO – DLA POCHYLNI BUCZYNIEC I JELENIE
PublikacjaGłównym celem wykonanej ekspertyzy było wykonanie oceny stanu technicznego wozów wyciągowych znajdujących się na pochylniach Buczyniec i Jelenie, wraz ze wskazaniem przyczyn ich nieprawidłowego funkcjonowania oraz sformułowaniem zaleceń dotyczących dalszej eksploatacji. W ramach wykonanej ekspertyzy przeanalizowano istniejącą dokumentację techniczną i formalną oraz wykonano trzy wizje lokalne na pochylni Buczyniec i dwie wizje...
-
Elektrownia Ostrołęka C w budowie a „momentum-FSI”
PublikacjaMimo przeszkód, trwa budowa elektrowni Ostrołęka C. O tym zapewniają nas główni decydenci – Jarosław Małkowski, Prezes Elektrowni Ostrołęka, czy Sławomir Żygowski, Prezes GE Power, firmy odpowiedzialnej projekt, wykonanie i budowę. Możemy o tym dowiedzieć się w mediach społecznościowych. Ale te same media informują również, że 31 lipca 2019 r. Sąd okręgowy w Poznaniu stwierdził nieważność uchwały Walnego Zebrania Akcjonariuszy...
-
Wzornictwo regionalne jako źródło inspiracji we współczesnym projektowaniu architektonicznym
PublikacjaKaszuby to region o wyjątkowym wzornictwie regionalnym. Ocalało wiele dobrze zachowanych przykładów zabudowy ruralistycznej i samych obiektów architektonicznych. Szczególną rolę pełni tu wdzydzki skansen stanowiący pełnowymiarowy wzornik inspirujący współczesnych twórców. Rozwiązania formalne oraz detale rzemieślnicze utrwalone tradycją zdobniczą i określoną topografią oraz zasobnością regionu, a także elementy dekoracyjne towarzyszące...
-
Ciepłownia geotermalna w Uniejowie na tle warunków hydrogeologicznych Polski
PublikacjaPrzeprowadzono szczegółowy przegląd warunków hydrogeologicznycb Polski, charakteryzując poszczególne obszary wartościami gęstości podpowierzchniowego strumienia ciepła i gradientu temperatury, a także podając ich powierzchnie i kubatury zawartych tam wód termalnych. Podano szczegółowy opis systemu grzewczego w uniwejowie, wykorzystującego lokalne wody termalne i wspomaganego pracą kotłów weodnych.
-
Koncepcja oszacowania zanieczyszczeń zawartych w spalinach silników o zapłonie samoczynnym
PublikacjaZaproponowano model procesu rozruchu silników o zapłonie samoczynnym, w formie procesu semimarkowskiego. Zaproponowano również możliwość uwzględnienia w badaniach ilości substancji szkodliwych, zawartych w spalinach masy substancji zanieczyszczonej, jako zmiennej losowej. W rozważaniach tych przyjęto, że statystyka tej zmiennej ma rozkład asymptotycznie normalny.
-
Skills mismatch in the context of technological change
PublikacjaThe main purpose of this dissertation is to assess the perception asymmetry of smart skills and formal education in ICT based economy. In other words, the goal of this research is to assess perceptions of smart skills and competences in the context of technological change from the perspectives of employers and students in Poland. Determining the fore-mentioned relationship gives insight into the hypothetical perception asymmetry...
-
Model zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i jego zastosowanie przy podejmowaniu decyzji
PublikacjaW publikacji przedstawiono formalny opis procesu zmian stanu technicznego ślizgowych układów tribologicznych silników o zapłonie samoczynnym i uzasadniono, że modelem tego procesu może być proces semimarkowski o skończonym zbiorze stanów. Przydatność tego modelu została wykazana na przykładzie często spotykanej w praktyce eksploatacyjnej sytuacji decyzyjnej, w której należy podjąć najlepszą decyzję spośród możliwych do podjęcia....
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublikacjaW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Wpływ specyficznych właściwości czynnych systemów wodociągowych w Polsce na metodykę pomiarów terenowych i interpretacje ich wyników
PublikacjaW opracowaniu scharakteryzowano trzy następujące cechy: 1) przewymiarowanie sieci wodociągowej, 2) pozorną chropowatość przewodów z odłożonymi osadami, 3) pulsację ciśnienia w układzie wodociągowym. Następnie wskazano na utrudnienia jakie one powodują w przygotowaniu pomiarów, ich przeprowadzeniu, a niekiedy interpretacji uzyskanych wyników. W efekcie dowiedziono, że normalne warunki eksploatacji nie pozwalają na bezpośrednie pomiary...
-
Evaluation of affective intervention process in development of affect-aware educational video games
PublikacjaIn this paper initial experiences are presented on implementing specific methodology of affective intervention design (AFFINT) for development of affect-aware educational video games. In the described experiment, 10 student teams are to develop affect-aware educational video games using AFFINT to formalize the whole process. Although all projects are still in progress, first observations and conclusions may already be presented.
-
Remote learning among students with and without reading difficulties during the initial stages of the COVID-19 pandemic
PublikacjaThis article presents the results of a survey on yet under-researched aspects of remote learning and learning difficulties in higher education during the initial stage (March – June 2020) of the COVID-19 pandemic. A total of 2182 students from University of Warsaw in Poland completed a two-part questionnaire regarding academic achievements in the academic year 2019/2020, living conditions and stress related to learning and pandemic,...
-
Buckling resistance of a metal column in a corrugated sheet silo - experiments and non-linear stability calculations
PublikacjaThe results of experimental and numerical tests of a single corrugated sheet silo column’s buckling resistance are presented in this study. The experiments were performed in a real silo with and without bulk solid (wheat). A very positive impact of the bulk solid on the column buckling resistance occurred. The experimental results were first compared to the buckling resistance calculated by Eurocode 3 formulae. The comparison revealed that...
-
Influence of traffic conditions on the operating fuel consumption
PublikacjaPrzedstawiona w pracy metoda umożliwia ocenę warunków eksploatacji pojazdu. Warunki te mogą wynikać zarówno z lokalnej specyfiki ruchu pojazdów jak również ze sposobu prowadzenia auta przez kierowcę. W pracy zamieszczono przykłady oceny zarejestrowanych w normalnej eksploatacji warunków ruchu pojazdu i ich wpływu na przebiegowe zużycie paliwa.
-
Comments on “Closed Form Variable Fractional Time Delay Using FFT”
PublikacjaIn this letter drawbacks of the aforementioned paper are pointed out. The proposed approach is improved with minor modifications of the discrete frequency response. This allows for design of fractional delay filters which are close to optimal and can be efficiently implemented in the frequency domain using the sliding DFT based structure. Alternatively, the derived equivalent closed form formulae for offset windows can be used...
-
Dynamical nonlocality in quantum time via modular operators
PublikacjaWe formalize the concept of the modular energy operator within the Page and Wootters timeless framework. As a result, this operator is elevated to the same status as the more studied modular operators of position and momentum. In analogy with dynamical nonlocality in space associated with the modular momentum, we introduce and analyze the nonlocality in time associated with the modular energy operator. Some applications of our...
-
Factors influencing decisions to retire – case study of Poland
PublikacjaThe main objective of the article is to present the factors influencing the decisions of the Poles from the older age groups to withdraw from the labour market by retirement, or on the contrary – to remain economically active, also upon reaching the formal retirement age.
-
Why do Poles withdraw from the labour market so early? - systematics of the factors influencing Poles' decisions to retire
PublikacjaThe study undertakes to identify the factors that influence the decisions of the working population approaching retirement age to withdraw from the labour market (which in this case is equivalent to retirement) or continue economic activity (also after reaching the formal retirement age)
-
Finite element investigations of granular material behaviour during cyclic wall shearing under a constant normal stiffness condition
PublikacjaW artykule przedstawiono wyniki numnerycznej analizy zachowania sie materiałów granulowanych podczas cyklicznego ścinanai wzdłuz szorstkiej ściany z warunkiem stałej sztywności normalnej. Obliczenia wykonano przy zastosowaniu metody elementów skończonych i mikropolarnego nodelu hipopalstycznego. Obliczenia wykonano dla róznych sztywności, początkowych wskaźników porowatości i sredniej średnicy ziarna. Wyniki numeryczne porównano...
-
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublikacjaIstnieje mozliwość formalnego zapisu przebiegu różnego rodzaju przedsięwzięć. Jedną z mozliwości zapisu scenariusza przedsięwzięcia jest wykorzystanie języka WS-CDL. Zaprezentowano metodę tworzenia konkretnej choreografii przedsięwzięcia w tym języku. Zwrócono uwagę na taniec negocjacyjny, w tym definicje ról, związków oraz typów kanałów komunikacyjnych. Dodatkowo zaproponoano środowisko wykonania scenariuszy zapisanych w tym języku.
-
Linear Time-Varying Dynamic-Algebraic Equations of Index One on Time Scales
PublikacjaIn this paper, we introduce a class of linear time-varying dynamic-algebraic equations (LTVDAE) of tractability index one on ar- bitrary time scales. We propose a procedure for the decoupling of the considered class LTVDAE. Explicit formulae are written down both for transfer operator and the obtained decoupled system. A projector ap- proach is used to prove the main statement of the paper and sufficient conditions of decoupling...
-
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...
-
Contextual Knowledge to Enhance Workplace Hazard Recognition and Interpretation in a Cognitive Vision Platform
PublikacjaThe combination of vision and sensor data together with the resulting necessity for formal representations builds a central component of an autonomous Cyber Physical System for detection and tracking of laborers in workplaces environments. This system must be adaptable and perceive the environment as automatically as possible, performing in a variety of plants and scenes without the necessity of recoding the application for each...