Filters
total: 1034
filtered: 861
-
Catalog
- Publications 861 available results
- Journals 3 available results
- Conferences 24 available results
- People 17 available results
- Inventions 6 available results
- Projects 7 available results
- Laboratories 1 available results
- Research Teams 1 available results
- e-Learning Courses 55 available results
- Events 12 available results
- Open Research Data 47 available results
Chosen catalog filters
Search results for: FORMALNA SPECYFIKACJA
-
The formal safety assessment and influence of human factor in application to chosen ship's type
PublicationTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie się, a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna....
-
Simple empirical formula to estimate the main geomechanical parameters of preplaced aggregate concrete and conventional concrete
PublicationPreplaced aggregate concrete (PAC) or two-stage concrete is a specific type of concrete successfully employed in many projects including underwater concrete structures, massive concrete structures, structures made of reinforced concrete, and improvement of concrete structures. PAC is significantly different than the conventional concrete. In this type of concrete, aggregates are initially poured into the mold, the voids between...
-
PROJEKT I WDROŻENIE ZAAWANSOWANEGO SYSTEMU TELEMETRII DO POMIARÓW ZACHOWANIA BOLIDU FORMULA STUDENT
Publicationpracy przedstawiono proces projektowania i wytworzenia zaawansowanego systemu telemetrii, który został zaaplikowany w piątej generacji bolidu stworzonego przez zespół PGRacing Team. Zastosowanie tego rozwiązania pozwoliło na optymalizację konstrukcji i ustawienia zawieszenia pojazdu. Zebrane dane pochodzą z sensorów, w których skład wchodzą m. in. GPS, akcelerometr, czujniki temperatury opon, liniowe czujniki skoku zawieszenia,...
-
Tissue fixed with formalin and processed without paraffin embedding is suitable for imaging of both peptides and lipids by MALDI-IMS
Publication -
Analiza akustyczna jako parametr klasyfikacji formalnej homonimii międzyjęzykowej [The acoustic analysis as a parameter for classifying interlingual homonymy]
Publication -
Generalized Taylor formula and shell structures for the analysis of the interaction between geosythetics and engineering structures of transportation lines
PublicationThe analysis of the interaction between geosynthetics and engineering structures (e.g. railroad bed, soil foundation, pipeline) assumes that the geosynthetic form elastic membranes or shell laid on different types of foundations. The mathematical description of that problems in continuous domain employs Laplace operator Δ or d’Alembert operator □. In this paper we demonstrate the analysis based on generalize Taylor formula, and...
-
Zur Ahnlichkeit der Drill- und Biegetrager-Formeln fur dunnwandige Stabe - Stellungsnahme zur Zuschrift.
PublicationPrzedstawiono stanowisko odnośnie uwag dyskutanta, stwierdzające możliwości przyjęcia różnych dróg przejścia granicznego w analizie problemu.
-
The suitability of DNA extracted from formalin-fixed, paraffin-embedded tissues for double differential polymerase chain reaction analysis
Publication -
The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublicationTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna. W konsekwencji...
-
Why set of experience knowledge structure can be considered a knowledge representattion for formal decision events?
PublicationOmówiono zasady reprezentacji wiedzy przy pomocy zbioru dośwadczeń. Uzasadniono wybór takiej reprezentacji na tle badańliteraturowych.
-
The existence and stability of the anions matching the formula (M=Li, Na, K, Be, Mg, Ca, B, Al, Ga)
Publication -
Bifractal receiver operating characteristic curves: a formula for generating receiver operating characteristic curves in credit-scoring contexts
PublicationThis paper formulates a mathematical model for generating receiver operating characteristic (ROC) curves without underlying data. Credit scoring practitioners know that the Gini coefficient usually drops if it is only calculated on cases above the cutoff. This fact is not a mathematical necessity, however, as it is theoretically possible to get an ROC curve that keeps the same Gini coefficient no matter how big a share of lowest...
-
Edukacja skupiona na karierze, czyli o roli edukacji formalnej i pozaformalnej w przygotowaniu do życia zawodowego
Publication -
The potential role of fatty acids in prostate cancer determined by GC–MS analysis of formalin-fixed paraffin-embedded tissue samples
Publication -
Work and formal retirement age - opinions of SWE employees participating in the Best Agers Lighthouses International Project
PublicationThe paper presents selected results of studies carried out within the framework of the international project Best Agers Lighthouses – Strategic Age Management for SME in the Baltic Sea Region, related to the assessment of the opportunities to continue working beyond the retirement age in the opinion of workers.
-
A multi‐industry and cross‐country comparison of technology contribution to formal and informal knowledge sharing processes for innovativeness
PublicationThe study explores the impact of organizational information technology (IT) competency on knowledge sharing, both explicit and tacit, in the context of innovativeness of products and processes. Knowledge sharing is then assessed in terms of tacit-to-explicit conversion and the impact of both types of knowledge on organizational innovation. Both process (internal) and product/service (external) innovation are included. As an extension,...
-
Polybrominated diphenyl ethers (PBDEs) in raw milk from different animal species and in infant formula. Occurrence and risk assessment
Publication -
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublicationPodejście komponentowe jest coraz częściej wykorzystywane jako metoda wytwarzania aplikacji. Artykuł ten omawia specyfikację OSGi, definiującą platformę dla działania usług, które mogą być dynamicznie instalowane, uaktualniane i usuwane bez konieczności restartu całego środowsika. Rozwinięciem specyfikacji OSGi jest programowalna architektura SOA. Dostarcza ona mechanizmu programowania, który wraz z zaproponowanym zunifikowanym...
-
Ocena wpływu stanu wody na Świnie na bezpieczeństwo żeglugi w porcie Świnoujście z wykorzystaniem formalnej oceny bezpieczeństwa żeglugi
PublicationFormalna ocena bezpieczeństwa jest procesem stworzonym na podstawie zaleceń Międzynarodowej Organizacji Morskiej (ang. International Maritime Organization (IMO)) w celu rozwinięcia lub wprowadzenia nowych rozwiązań, które przyczynią się do podniesienia poziomu bezpieczeństwa. FSA jest adresowana dla konkretnej kategorii statków lub obszarów nawigacyjnych, jak również może być zastosowana do konkretnej morskiej kwestii bezpieczeństwa...
-
Realizacja warstwy serwerów sterowania połączeniami dla ASON/GMPLS
PublicationW materiale przedstawiono wyniki prac badawczych wykonanych w ramach projektu PBZ w podprojekcie Architektury i protokoły sieciowe. Obejmują krótką charakterystykę wytworzonych modeli analitycznych i symulacyjnych przeznaczonych do badania sieci pakietowych z gwarancją jakości klas usług dla technologii IP QoS, MPLS, OBS oraz uzyskane wyniki. Jednakże główny punkt ciężkości został położony na sieci z architekturą ASON/GMPLS dla...
-
Mathematical Modelling of Drive System with an Elastic Coupling Based on Formal Analogy between the Transmission Shaft and the Electric Transmission Line
PublicationIn the paper, the kinematic structure of the transmission shaft between the driving motor and the working mechanism is studied. The analysis is based on electrical and mechanical similarities. The equivalent circuits, typical for electrical systems, are defined for the transmission shaft concerned. Modelling of the transmission shaft based on a formal analogy between the transmission shaft and the electric transmission line is...
-
SPECYFIKACJA ISTOTNYCH WARUNKÓW ZAMÓWIENIA PUBLICZNEGO (SIWZ) DLA PRZETARGU NIEOGRANICZONEGO NA OPRACOWANIE DOKUMENTACJI PROJEKTOWEJ NA ROBOTY BUDOWLANE REALIZOWANE W RAMACH PROJEKTU „POPRAWA INFRASTRUKTURY KOLEJOWEGO DOSTĘPU DO PORTU GDAŃSK” Rozdział 11.4.6 - Sieć trakcyjna i zasilanie sieci trakcyjnej.
PublicationW opracowaniu określono wymagania SIWZ związane z siecią trakcyjną i jej zasilaniem na terenie stacji Portu Gdańsk. Prace wykonano w ramach projektu Unii Europejskiej i Narodowej Strategii Spójności
-
Specyfikacja Istotnych Warunków Zamówienia Publicznego (SIWZ) Dla przetargu nieograniczonego na opracowanie dokumentacji projektowej na roboty budowlane realizowane w ramach projektu "Poprawa dostępu kolejowego do Portu Morskiego w Gdyni" Rozdział 11.4.6 - Sieć trakcyjna i zasilanie sieci trakcyjnej.
PublicationW opracowaniu opisano wymagania SIWZ dotyczące sieci trakcyjnej i jej zasilania na obszarze stacji Gdynia Port. Prace realizowane w ramach projektu Unii Europejskiej i Narodowej Strategii Spójności
-
Direct measurements, numerical predictions and simple formula estimations of welding-induced biaxial residual stresses in a full-scale steel stiffened plate structure
Publication -
RDQC - sterowana wymaganiami kontrola jakości oprogramowania
PublicationArtykuł omawia metodę RDQC sterowania jakością wytwarzanego oprogramowania w oparciu o zbiór stawianych mu wymagań. W tym celu dokonywana jest specyfikacja wymagań wobec oprogramowania, stanowiąca następnie podstawę dla wybrania najbardziej istotnych charakterystyk jakościowych. W kolejnych fazach procesu wytwórczego wybrane charakterystyki podlegają kontroli - poprzez interpretację odpowiedzi na przypisane im pytania i pomiary...
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Kierunki standaryzacji w zdalnym nauczaniu
PublicationDziedzina zdalnego nauczania rozwija się dzięki wielu współpracującym organizacjom i konsorcjom. Opracowały one kilkadziesiąt specyfikacji i modeli referencyjnych, z których część została zaakceptowana jako standardy takich organizacji jak ISO czy IEEE. Artykuł zawiera przegląd najważniejszych instytucji zajmujących się dziedziną zdalnego nauczania oraz wskazuje ich wkład w dotychczasowe dokonania dziedziny. Wskazano także obszary,...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publication -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publication -
Oceny środowiskowe jako narządzie kształtowania krajobrazu.
PublicationArtykuł prezentuje możliwości wykorzystania procedury oceny oddziaływania na środowisko do ochrony i kształtowania krajobrazu miasta. Przedstawiono zagrożenia krajobrazów miast we współczesnym świecie, istotę ocen środowiskowych, jak i możliwości wykorzystania tej procedury z punktu widzenia uwarunkowań formalno-prawnych, czyli działań organów administracji publicznej oraz innych zainteresowanych instytucji i organizacji. Usystematyzowano...
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
Opinia dotycząca analizy wytrzymałościowej wyspecyfikowanych kształtek typu A dla węzła w Gustorzynie dla zadania inwestycyjnego pn. „Przebudowa Węzła Gustorzyn – wprowadzenie gazociągów DN700”
PublicationWykonano analizę wytrzymałościową kształtek zgodnie ze specyfikacją. Sformułowano wnioski.
-
Ocena jakości nowego rozwiązania systemu TETRA
PublicationW pracy przedstawiono nowe rozwiązania modulacji i kodowania kanałowego przewidziane dla systemu TETRA i sprecyzowane w najnowszej specyfikacji technicznej. Następnie przedstawiono wyniki badań jakości transmisji dla modulacji pi/8 DQPSK, przy założeniu stosowania schematów kodowania i przeplotu obowiązujących w pierwotnej wersji systemu, Uzyskane wyniki ukazują wyraźną poprawę jakości transmisji i potrzebę uzupełnienia specyfikacji...
-
Probabilistic concept of defining the situations possible to occur during operation of floating docks
PublicationW artykule zasygnalizowana została możliwość oszacowania bezpieczeństwa doków pływajacych, w wyniku zastosowania teorii procesów semimarkowskich, zarówno w fazie projektowania jak też eksploatacji. Przedstawiono opis formalny sytuacji, jakie mogą zaistnieć podczas funkcjonowania (działania) doków pływających, zarówno budowlanych jak również remontowych. Wyróżniono takie sytuacje jak: normalna, skomplikowana, niebezpieczna, awaryjna...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Problemy rewitalizacji osiedli socjalnych okresu XX-lecia międzywojennego we Francji i Holandii.
PublicationPrzedstawiono szeroko sytuację rewitalizacji osiedli socjalnych w Holandii Francji. Przedstawiono konkretne przykłady, specyfikację i szeroki materiał ilustracyjny.
-
Studzienka rewizyjna z tworzywa
PublicationSzczególne wymagania kanalizacyjnych studzienek z tworzyw sztucznych. Specyfika konstrukcji z tworzyw termoplastycznych. Problem wyboru rozwiązania, deklaracja na poziomie Specyfikacji Istotnych Warunków Zamówienia. Kategorie normowe, deklaracja producenta
-
Niedoskonałości Moodle - ocena subiektywna
PublicationW pracy dokonano specyfikacji wymagań systemu zdalnego nauczania odpowiadającego charakterowi polskich uczelni. Skonfrontowano te wymagania z możliwościami i cechami bardzo popularnego, szczególnie w Polsce, systemu Moodle.
-
Leadership, culture, intellectual capital and knowledge processes for organizational innovativeness across industries: the case of Poland
PublicationPurpose – This study aims to present the overview of intellectual capital creation micro-mechanisms concerning formal and informal knowledge processes. The organizational culture, transformational leadership and innovativeness are also included in the investigation as ascendants and consequences of the focal relation of intellectual capital and knowledge processes. Design/methodology/approach – Based on a sample of 1,418 Polish...
-
Microcontroller driven miniaturized digital depth sounder.
PublicationPrzedstawiono schemat blokowy, specyfikację techniczną oraz zasadę działania miniaturowej echosondy cyfrowej, sterowanej mikrokontrolerem PIC16F873.Specjalistyczne oprogramowanie echosondy umożliwia prezentację echogramów w czasie rzeczywistym oraz udostępnianie ich w sieci Internet w typowych przeglądarkach WWW.
-
Ontologie OWL i ich wykorzystanie.
PublicationPrzedstawiono zarys idei sieci semantycznej i rolę języka OWL w tej inicjatywie. Omówiono pojęcie ontologii i jej budowę przyjętą w OWL. Opisano trzy wersje języka wraz ze wskazaniem różnic i odmiennych zastosowań. Szczegółowo przedstawiono sposób definiowania klas i ich instancji, a także metody tworzenia relacji między klasami za pomocą właściwości. Na przykładach omówiono rodzaje właściwości oferowanych przez specyfikację OWL....
-
Opis zasobów za pomocą RDF.
PublicationPrzedstawiono zarys idei sieci semantycznej i rolę języka OWL w tej inicjatywie. Omówiono pojęcie ontologii i jej budowę przyjętą w OWL. Opisano trzy wersje języka wraz ze wskazaniem różnic i odmiennych zastosowań. Szczegółowo przedstawiono sposób definiowania klas i ich instancji, a także metody tworzenia relacji między klasami za pomocą właściwości. Na przykładach omówiono rodzaje właściwości oferowanych przez specyfikację OWL....
-
Sposoby definiowana zadań i zlecania wykonywania obliczeń w systemie Comcute
PublicationZaprezentowano specyfikację elementów definiowanych przez zleceniodawcę systemu Comcute przy uruchamianiu nowych zadań obliczeniowych w systemie, w tym parametrów niezawodnościowo-wydajnościowych jak również kodów obliczeniowych, partycjonowania i scalania. Przedstawiono także wymagania związane z konfigurowalnością systemu i jego bezpieczeństwem a także wskazówki technologiczne.
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Evaluation of change in planning and control process
PublicationSpecyfikacja kryteriów i obszarów system pomiaru i oceny zmiany procesu planowania i sterowania oraz przypisanie kluczowych wskaźników poszczególnym obszarom stanowi podstawowy cel rozdziału. Wybrane wskaźniki umożliwiają ocenę cząstkowych efektów zmian w procesie planowania i sterowania. Dokonanie kompleksowej oceny wymaga budowy modelu oceny efektywności zmian w procesie planowania i sterowania. Jego ogólne założenia zostały...
-
Kwalifikowanie technologii spawania zgodnie z wytycznymi normy PN-EN ISO 15613 na przykładzie wytwarzania rur stosowanych w płaszczowo-rurowych wymiennikach ciepła
PublicationW artykule przedstawiono charakterystykę normy PN-EN ISO 15613:2006 "Specyfikacja i kwalifikowanie technologii spawania metali. Kwalifikowanie na podstawie przedprodukcyjnego badania spawania/zgrzewania". Zaprezentowano algorytm postępowania w przypadku stosowania tej normy, przedstawiono przykład zatwierdzenia technologii spawania rur ze szwem z austenitycznej stali wysokostopowej. Podano warunki, które uzasadniają wybór normy...
-
Semi-Markow Processes as Models of Devices´ Operating Process of Ship Pro-pulsion System
PublicationReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Problem jakości usług w sieci opartej na platformie IP.
PublicationW referacie przedstawiono znaczenie miar i opisu jakości usług w sieci IP QS oraz ich związek ze specyfikacjami definiującym sposób realizacji gwarancji jakości usług w tej sieci.
-
Ocena poziomu jakości geometrii toru kolejowego
PublicationW artykule przedstawiono zasady ustalania poziomów jakości geometrii toru kolejowego na przykładzie obowiązujących unormowań prawnych (technicznej specyfikacji interoperacyjności dla podsystemu infrastruktura i norm) oraz stosowanych na kolejach europejskich. Na przykładzie wybranych zarządców infrastruktury kolejowej porównano stosowane wartości odchyłek dopuszczalnych dla wybranych poziomów jakości geometrii toru.