Filtry
wszystkich: 725
-
Katalog
- Publikacje 585 wyników po odfiltrowaniu
- Czasopisma 7 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 15 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Kursy Online 65 wyników po odfiltrowaniu
- Wydarzenia 25 wyników po odfiltrowaniu
- Dane Badawcze 2 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE
-
International Workshop on Formal Methods for interactive Systems
Konferencje -
International Conference Formal Concept Analysis Conference
Konferencje -
International Conference on Formal Ontology in Information Systems
Konferencje -
International Conference on Formal Structures for Computation and Deduction
Konferencje -
International Conference on Formal Engineering Methods [FEM]
Konferencje -
Opinia dotycząca zastosowania mieszanki MCE w trakcie remontu istniejących dróg DK 7 oraz DK 8 w ramach realizacji kontraktu "Kontynuacja projektowania i budowa odcinka drogi ekspresowej S8 od rejonu węzła OPACZ do węzła PASZKÓW"
PublikacjaW ramach realizacji kontraktu "Kontynuacja projektowania i budowa odcinka drogi ekspresowej S8 od rejonu węzła OPACZ do węzła PASZKÓW" firma TPA, działając na zlecenie firmy URS Sp. z o.o. przedstawiła propozycję remontu fragmentów istniejących nawierzchni dróg krajowych nr 7 i nr 8 z wykorzystaniem technologii MCE. Takie rozwiązanie jest zgodne z zapisami Specyfikacji Istotnych Warunków Zamówienia dla tego zadania ale pojawił...
-
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...
-
Brittle fracture of 100-, 110-, 111-oriented Cu crystals: MD vs. TB/MD approach
PublikacjaPrzeprowadzono wieloskalowe symulacje nanoindentacji miedzi nieskończenie twardym narzędziem, przy zastosowaniu metody dynamiki molekularnej, z siłami liczonymi na bieżąco w formalizmie ciasnego wiązania (TB). Przedstawiono wyniki dla trzech orientacji krystalicznych podłoża. Badano efekt dołączenia obliczeń TB na siłę normalną odczuwaną przez narzędzie i na przemieszczenia atomów podłoża, przez porównywanie z symulacją czystą...
-
Budowa ontologii usług dla potrzeb wyszukiwania
PublikacjaOntologie, dzięki zapewnieniu formalnego opisu przy zachowaniu czytelności dla człowieka, są coraz powszechniej stosowaną metodą opisu usług sieciowych. Zaprezentowano słownik WordNet i jego zastosowanie jako meta ontologia do opisów usług podobnych różnych dostawców. Zaproponowano algorytm oparty o ten słownik umożliwiający integrację ontologii usług w celu zapewnienia interoperacyjności rozwiązań dostępnych w sieci Internet.
-
The structure of rarefied and densified PbSiO3 glass: a molecular dynamics study.
PublikacjaArtykuł przedstawia wyniki symulacji dynamiczno-molekularnychstruktury rozrzedzonego i zagęszczonego szkła PbSiO3 (w zakresie gęstości od 3000 kg/m3 do 8000 kg/m3). Otrzymane wyniki dokładnie przedyskutowano pod kątem blisko- i średnio-zasięgowego uporządkowania atomów i porównano ze strukturą szkła PbSiO3 o normalnej gęstości (5970kg/m3) oraz ze strukturą rozrzedzonych i zagęszczonych szkieł PbGeO3.
-
UWARUNKOWANIA APLIKACYJNE KONCEPCJI PUNKTÓW STEROWANIA JAKOŚCIĄ NA PRZYKŁADZIE USŁUG PRALNICZYCH
PublikacjaW artykule tym zaprezentowano charakterystykę procesu w profesjonalnej pralni chemicznej. Jako cel przyjęto identyfikację i opis zasadniczych punktów sterowania jakością (PSJ) w tego typu procesach. Przedstawiono też informacje, jak działania formalizujące PSJ przełożyły się na efekty konkretnej organizacji świadczącej usługi pralnicze
-
Study of free convective boundary layer of isothermal lateral surface of axisymmetrical horizontal body
PublikacjaPrzedstawiono rozwiązanie równań Naviera-Stokesa i Fouriera-Kirchhoffa we współrzędnych tau i sigma. Pierwsza jest styczną a druga normalną do konwekcyjnych linii prądu, wzdłuż jakich porusza się ogrzany od powierzchni płyn. Wynik w postaci równania na grubość warstwy przyściennej zweryfikowano dla granicznych przypadków ciała obrotowego o poziomej osi symetrii (stożka poziomego i kołowej pionowej płyty).
-
Autonomiczność w systemach transportowych
Kursy OnlineKurs ma na celu zapoznanie studenta z podstawową wiedzą związaną z autonomicznością w systemach transportowych w ramach transportu lądowego, wodnego i powietrznego, infrastrukturą i środkami transportu występującymi w gałęziach transportowych. Charakterystyka, zastosowanie autonomiczności w gałęziach transportu, środkach transportu towarowego i pasażerskiego, aspekty techniczne i formalne systemów, uregulowania prawne. Wpływ innowacji...
-
Intercorrelation between CPTU-DMT tests for sands on the Baltic coast
PublikacjaNa podstawie badań terenowych opracowano szereg zależności między parametrami uzyskanymi z badania CPTU i DMT w czystych piaskach kwarcowych na Wybrzeżu Bałtyku. Uwzględniono wpływ historii geologicznej złoża oraz prekonsolidacji. Przedstawiono zależności dla piasków normalnie konsolidowanych i prekonsolidowanych. Prekonsolidacja i historia geologiczna bardziej wpływają na wyniki badania DMT niż CPTU. Zaproponowano oszacowanie...
-
Analiza numeryczna i badania doświadczalne kratownicy ze stężeniami
PublikacjaW niniejszej pracy przedstawione są wyniki badań eksperymentalnych i analiz numerycznych typowej kratownicy. Przeprowadzono analizę stateczności i nieliniową analizę statyczną dla modelu prętowego konstrukcji. Przedstawione zostały zależności między sztywnością stężeń, a siłą normalną w pasie ściskanym kratownicy odpowiadającą obciążeniu wyboczeniowemu. Wyznaczone zostały również siły w stężeniu powstające na skutek przyrostu obciążenia...
-
ENTERPRISE ACTIVITIES MODELING BY BPMN NOTATION
PublikacjaDepending on the process behavior, available know-how and organizational goals, different techniques and tools can be used for business process modeling. We concentrate on e-commerce, and try to find the best marketing strategy for the sales process improvement. In the paper we present the multilayer approach to define enterprise scenarios. This allows us to collect the suitable knowledge necessary for enterprise analysis and improvement....
-
Molecular picture of hydroxide anion hydration in aqueoussolutions studied by FT-IR ATR spectroscopy
PublikacjaHydratacja anionu hydroksylowego w wodnych roztworach wodorotlenków metali alkalicznych (LiOH, NaOH, KOH) została zbadana metodą spektroskopii oscylacyjnej FT-IR całkowitego wewnętrznego odbicia (ATR). Widma oscylacyjne wody dostarczają cennych informacji na temat stanu strukturalnego cząsteczek wody w sferach hydratacyjnych, wynikających ze sprzężeń oscylatorów w układzie. Wykazano, że drganie normalne rozciągające cząsteczki...
-
A performance-oriented risk-based method for safety assessment of ships
PublikacjaW pracy przedstawiono wybrane informacje na temat metody oceny bezpieczeństwa statków w warunkach krytycznych. Metoda łączy podejście oparte na ocenie osiągów statku z podejściem opartym o ocenę ryzyka wypadku. Analiza ryzyka w metodzie oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Analiza ryzyka w metodzie dotyczy: identyfikacji zagrożeń, oceny zagrożeń, identyfikacji scenariuszy wypadku, oceny ryzyka,...
-
Safety assessment of ships in critical conditions using a knowledge-based system for design and neural network system
PublikacjaW pracy opisano wybrane elementy metody oceny bezpieczeństwa statków w stanie uszkodzonym, ukierunkowanej na ocenę osiągów statku i ocenę ryzyka. Metoda analizy osiągów i zachowania się statku w stanie uszkodzonym została wykorzystana do oceny charakterystyk hydromechanicznych statku uszkodzonego. Do oceny ryzyka wykorzystano elementy metodyki Formalnej Oceny Bezpieczeństwa. System ekspertowy został wykorzystany do analziy podziału...
-
Completeness and Consistency of the System Requirement Specification
PublikacjaAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
Application of Ontology In the ITIL Domain
PublikacjaBusiness standards tend to be less formal in description then strict technical norms. Authors of this chapter suggest applying ontological description (powered by the capabilities of the OWL language) to express Information Technology Infrastructure Library (ITIL). One of the goals of this initial study is to determine the usefulness of such semantic model in organizations that adopted or plan to adopt ITIL.
-
A Generative Approach to Hull Design for a Small Watercraft
PublikacjaIn the field of ocean engineering, the task of spatial hull modelling is one of the most complicated problems in ship design. This study presents a procedure applied as a generative approach to the design problems for the hull geometry of small vessels using elements of concurrent design with multi-criteria optimisation processes. Based upon widely available commercial software, an algorithm for the mathematical formulation of...
-
Wpływ zużycia opony samochodowej na jej opór toczenia
PublikacjaW pracy przedstawiono wpływ zużycia opony samochodowej na jej opór toczenia. Zużycie czterech opon testowych uzyskano podczas normalnej eksploatacji, natomiast zużycie sześciu pozostałych uzyskano sztucznie przez zeszlifowanie czoła bieżnika papierem ściernym na specjalnej szlifierce. Pomiary oporu toczenia wykonano na bębnowej maszynie bieżnej metodą momentową. Wyniki tych pomiarów przedstawiono w formie zależności współczynnika...
-
Eliminacja wyższych harmonicznych prądu za pomocą filtrów poprzecznych
PublikacjaW artykule przedstawiono sposób i skutecznośc eliminacji wyższych harmonicznych prądu w sieci elektroenergetycznej za pomoca filtrów poprzecznych LC. Zaprezentowano wyniki symulacji komputerowych wpływu prostownika 6-pulsowego w stanie pracy normalnej na jakosć energii elektrycznej w elektroenergetycznej sieci zasilającej.Przedstawiono przykładowe przebiegi napięć i prądów oraz analizę zawartości wyższych harmonicznych w sieci...
-
Metoda oceny ryzyka na podstawowej sieci ulic na przykładzie Warszawy
PublikacjaW artykule przedstawiono wykorzystanie oceny ryzyka do zarządzania bezpieczeństwem infrastruktury drogowej. W pierwszej części przedstawiono uwarunkowania prawne oraz doświadczenia zagraniczne, które były przesłankami do opracowania metody oceny ryzyka na elementach liniowych i punktowych podstawowej sieci dróg miejskich w Warszawie. W drugiej części przedstawiono przyjęte założenia, opis obiektów analizy, okres analizy, specyfikację...
-
Formal Techniques in Real-Time and Fault Tolerant Systems
Konferencje -
International Conference on Formal Methods and Models for Co-Design
Konferencje -
Int. Workshop on Formal Methods for Industrial Critical Systems
Konferencje -
Formal Methods in Software Engineering and Defence Systems Workshop
Konferencje -
Towards automation of IT systems repairs
PublikacjaMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
Domy - wewnętrzne krajobrazy.
PublikacjaPrzestrzenna redefinicja domu stanowi dziś jeden z wątków dyskusji ze zdeterminowanym wyrazem formalnym architektury i hermetycznością miejsca. Coraz częściej akcentowana jest potrzeba elastyczności domu i jego otwarcia na świat zewnętrzny. Jego przestrzeń wewnętrzna kształtowana jest coraz częściej jako ewoluujący ciągu sekwencji kompozycyjnych, formowany na wzór krajobrazu i poszukujący do niego odniesień. Domy stają się...
-
Syntheses and structures of the first terminal phosphanylphosphido complexes of molybdenum(IV)
PublikacjaThe reactions of R2P-P(SiMe3)Li (R = tBu, iPr2N) with [Cp2MoCl2] yield terminal phosphanylphosphido complexes formally via the insertion of the phosphinidene P-atom into the C - H bond of a cyclopentadienyl ring and the migration of the hydrogen atom or SiMe3 moiety to the molybdenum centre. Solid state structures of [Cp(C5H4P-PtBu2)MoH], [Cp(C5H4P-PtBu2)Mo(SiMe3)] and [Cp{C5H4P-P(NiPr2)2}Mo(SiMe3)] were established by single crystal...
-
Potencjalna wartość i możliwe oddziaływanie odznak cyfrowych: Nowy sposób oceniania pracy studentów
PublikacjaZarówno w środowisku tradycyjnym, jak i elearningowym, ocenianie uczących się odgrywa bardzo ważną rolę. W zależności od przyjętej koncepcji pedagogicznej edukatorzy przypisują większe znaczenie ocenom formatywnym lub sumatywnym, a wystawiane przez nich certyfikaty i dyplomy tylko w części pokazują kwalifikacje osoby posiadającej je, gdyż informacje, które zawierają, zwykle sprowadzają się do określenia uzyskanego przez nią stopnia,...
-
Maksymalna elastyczność pracy bloków parowych
PublikacjaW artykule przedstawiono propozycję przyspieszenia startów turbiny parowej poprzez właściwe doprowadzanie pary w trakcie stanów niestacjonarnych. Badano najbardziej wytężone miejsca w urządzeniu, przy uwzględnieniu tradycyjnej hipotezy Hubera-Missesa-Hencky, jak i hipotezy Burzyńskiego. W przypadku licznych startów coraz większe znaczenie odgrywają naprężenia termiczne, dla których najważniejsze są składowe normalne naprężeń, w...
-
Strategiczne zagadnienia tworzenia i funkcjonowania sieci tymczasowych
PublikacjaW artykule przedstawiano wyniki badań zagadnień charakteryzujących tworzenie i funkcjonowanie sieci tymczasowych, tj. sieci, które są organizowane w celu realizacji dużych, złożonych przedsięwzięć gospodarczych, najczęściej kosztownych i przekraczających możliwości realizacyjne jednego przedsiębiorstwa i które są powołane na określony okres czasu. Skupiono się nad strategicznymi zagadnieniami tworzenia i funkcjonowania tych sieci,...
-
Rzeczywiste charakterystyki czasowo-prądowe wyłączników różnicowoprądowych 30 mA przy prądzie sinusoidalnym
PublikacjaPrzedstawiono wymagania norm odnoszące się do charakterystyki czasowo-prądowej wyłączników różnicowoprądowych o znamionowym prądzie różnicowym zadziałania równym 30 mA. Zaprezentowano wyniki badań laboratoryjnych czasu wyłączania takich wyłączników przy sinusoidalnym prądzie różnicowym i oceniono je z punktu widzenia tych wymagań. Badania wykazały, że czasy wyłączania dwóch lub większej liczby porównywanych wyłączników różnicowoprądowych...
-
The electrochemical studies of thin boron-doped diamond films deposited at conductive poly(lactic acid) 3D prints
Dane BadawczeThe dataset contains the electrochemical characteristics of the electrodes composed of thin boron-doped diamond films coated on commercially available graphene-doped polylactide acid. The boron doping level expressed as the [B]/[C] ratio in the gas phase for these studies was 500 and 10,000 ppm.
-
Dokumentacja projektowa obiektów o konstrukcji stalowej. Poznaj aktualne wytyczne
PublikacjaDokumentacja projektowa konstrukcji stalowych. Obowiązujące akty prawne regulujące wymagania odnośnie do formy i zakresu dokumentacji projektowej nie są całkowicie jednoznaczne, co pozwala na stosunkową dowolną ich interpretację. W rezultacie na placach budów i w wytwórniach konstrukcji stalowych wciąż są problemy związane z poprawnym wykonaniem, scaleniem i montażem konstrukcji stalowych, wynikające z niekompletnej lub niedopracowanej...
-
Informal practices in urban planning and governance. Examples from Polish cities
PublikacjaPlanning has a formal, legally defined component and an informal component developed in response to deficiencies in the planning system. Informal practices can contribute to the development of tools that would improve urban governance, especially in areas related to space. This article presents an overview of informal practices that have taken place in Polish cities and towns in recent years and offers an assessment of their impact...
-
Zastosowanie MusicXML do wymiany danych oraz wizualizacji partytur
PublikacjaW rozdziale przedstawiono krótki opis standardu MusicXML. Pokazano możliwość jego zastosowania do wymiany danych pomiędzy bazą danych cyfrowych dokumentów muzycznych, a innymi aplikacjami czy bibliotekami. Zwrócono uwagę na problem wizualizacji wydobytych z bazy danych partytur cyfrowych w formacie MusicXML. Wskazano możliwość wykorzystania XML-owego standardu grafiki wektorowej SVG do wizualizacji partytur w środowisku internetu....
-
Udział złotego w mechanizmie stabilizowania kursu a ryzyko wystąpienia kryzysu walutowego w Polsce
PublikacjaWśród szeregu niepożądanych zjawisk wynikających z zastąpienia złotego walutą euro, uwaga najczęściej skupiona jest na tych, które oddziałują już po przystąpieniu do jednowalutowego obszaru. Rzadziej dokonuje się analizy zagrożeń w fazie przygotowawczej, jeszcze przed formalnym przystąpieniem do obszaru euro. Jednym z takich niebezpieczeństw jest ryzyko wystąpienia kryzysu walutowego w czasie realizacji przez państwo kandydujące...
-
IPMSM rotor position estimator based on analysis of phase current derivatives
PublikacjaThis paper describes an algorithm for estimation of IPMSM angular rotor position. The algorithm uses derivatives of motor phase currents resulting from PWM modulation to obtain the rotor position. The presented method is designed for medium- and high-speed range, since it is based on determination of the EMF vector. Algorithm is characterised by a very simple formulae. The calculation of rotor position is performed in every PWM...
-
Elastoplastic nonlinear FEM analysis of FGM shells of Cosserat type
PublikacjaThe paper is a continuation of [1] where the formulation of the elastic constitutive law for functionally graded materials (FGM) on the grounds of nonlinear 6-parameter shell theory with the 6th parameter (the drilling degree of freedom) was presented. Here the formulation is extended to the elasto-plastic range. The material law is based on Cosserat plasticity and employs the well-known Tamura-Tomota-Ozawa (TTO) [2] mixture...
-
Definition gleichartiger Dokumententypen zur Verbesserung der Erkennbarkeit und ihre XML-Beschreibung
PublikacjaPrzedstawiono krokowe podejście do projektowania interaktywnych, elektronicznych dokumentów z ich analogowej postaci. Postać analogowa rozumiana jest jako typowa kartka papieru, natomiast jako interaktywny, elektroniczny dokument rozumiemy dokument zdefiniowany w formacie XML przystępnym do przetwarzania przez dowolną przeglądarkę internetową. Wprowadza się pojęcie - cyklu życia dokumentu cyfrowego - składającego się z faz zawierających...
-
Model tests and numerical imulations of earth pressure of non - cohesive soil in 3D formulation.
PublikacjaW artykule przedstawiono wyniki badań modelowych i symulacji numerycznych parcia gruntu działającego na sztywne konstrukcje oporowe. Analizowano stan przestrzennego odkształcenia ośrodka niespoistego. Parcie czynne gruntu za- sypowego wywołano obrotem ściany oporowej wokół osi przechodzącej przez jej górną i dolną krawędź. Przedstawiono rozkład składowej stycznej i normalnej stanu naprężenia na powierzchni ściany wraz z analizą...
-
Stability of cylindrical steel silos composed of corrugated sheets and columns based on FE analyses versus Eurocode 3 approach
PublikacjaComprehensive static and dynamic 3D stability finite element analyses of a cylindrical steel silo composed of corrugated sheets and open thin-walled vertical stiffener profiles were carried out by taking the geometric and material non-linearity into account. The silowas subjected to axisymmetric and non-axisymmetric loads imposed by a bulk solid following Eurocode 1. Theoretical and measured initial geometric imperfections were...
-
Telemetryczne systemy rozproszone 2023
Kursy Onlinestudia magisterskie - semestr 3, kierunek elektronika, specjalność Komputerowe Systemy Elektroniczne (obieralne na kierunku Inżynieria Biomedyczna). Przedmiot składa się z wykładu (15 godzin) i seminarium (15 godzin). Normalnie zajęcia odbywają się 2 godz. na tydzień.