Filtry
wszystkich: 1028
-
Katalog
- Publikacje 857 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 7 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 53 wyników po odfiltrowaniu
- Wydarzenia 12 wyników po odfiltrowaniu
- Dane Badawcze 47 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
-
A Conception of Pairwise Comparisons Model for Selection of Appropriate Body Surface Area Calculation Formula
PublikacjaBody surface area (BSA) may be computed using a variety of formulas, but the computed BSA differs from real BSA values for particular subjects. This is presented in the paper by computing BSA values for selected subject and comparing them to the real BSA value obtained with the use of a 3D body scanner. The results show inequalities in the relevant BSA computing formulas. Hence, there is a need to determine a method that will allow...
-
Zarządzanie bezpieczeństwem morskim z wykorzystaniem Formalnej Oceny Bezp0ieczeństwa Żeglugi na przykładzie Zatoki Pomorskiej
PublikacjaProjekt systemu formalnej oceny bezpieczeństwa żeglugi dla Zatoki Pomorskiej i portu Świnoujście, wykonany zgodnie z zaleceniami IMO. Zastosowanie technik wspomagających analizę ryzyka wykorzystywanych w FSA. Wnioskowanie dotyczące bezpieczeństwa na podstawie analizy FSA.
-
The formal safety assessment and influence of human factor in application to chosen ship's type
PublikacjaTragedia 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....
-
Notre Dame Journal of Formal Logic
Czasopisma -
PROJEKT I WDROŻENIE ZAAWANSOWANEGO SYSTEMU TELEMETRII DO POMIARÓW ZACHOWANIA BOLIDU FORMULA STUDENT
Publikacjapracy 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,...
-
Simple empirical formula to estimate the main geomechanical parameters of preplaced aggregate concrete and conventional concrete
PublikacjaPreplaced 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...
-
Tissue fixed with formalin and processed without paraffin embedding is suitable for imaging of both peptides and lipids by MALDI-IMS
Publikacja -
Analiza akustyczna jako parametr klasyfikacji formalnej homonimii międzyjęzykowej [The acoustic analysis as a parameter for classifying interlingual homonymy]
Publikacja -
Zur Ahnlichkeit der Drill- und Biegetrager-Formeln fur dunnwandige Stabe - Stellungsnahme zur Zuschrift.
PublikacjaPrzedstawiono stanowisko odnośnie uwag dyskutanta, stwierdzające możliwości przyjęcia różnych dróg przejścia granicznego w analizie problemu.
-
Generalized Taylor formula and shell structures for the analysis of the interaction between geosythetics and engineering structures of transportation lines
PublikacjaThe 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...
-
The suitability of DNA extracted from formalin-fixed, paraffin-embedded tissues for double differential polymerase chain reaction analysis
Publikacja -
The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublikacjaTragedia 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?
PublikacjaOmówiono zasady reprezentacji wiedzy przy pomocy zbioru dośwadczeń. Uzasadniono wybór takiej reprezentacji na tle badańliteraturowych.
-
Krzysztof Formela dr inż.
Osoby -
The existence and stability of the anions matching the formula (M=Li, Na, K, Be, Mg, Ca, B, Al, Ga)
Publikacja -
Bifractal receiver operating characteristic curves: a formula for generating receiver operating characteristic curves in credit-scoring contexts
PublikacjaThis 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
Publikacja -
The potential role of fatty acids in prostate cancer determined by GC–MS analysis of formalin-fixed paraffin-embedded tissue samples
Publikacja -
Work and formal retirement age - opinions of SWE employees participating in the Best Agers Lighthouses International Project
PublikacjaThe 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
PublikacjaThe 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
Publikacja -
Ocena wpływu stanu wody na Świnie na bezpieczeństwo żeglugi w porcie Świnoujście z wykorzystaniem formalnej oceny bezpieczeństwa żeglugi
PublikacjaFormalna 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...
-
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublikacjaPodejś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...
-
Realizacja warstwy serwerów sterowania połączeniami dla ASON/GMPLS
PublikacjaW 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
PublikacjaIn 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.
PublikacjaW 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.
PublikacjaW 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
-
RDQC - sterowana wymaganiami kontrola jakości oprogramowania
PublikacjaArtykuł 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
PublikacjaThis 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)...
-
Bohdan Dołżycki dr inż.
Osoby -
FORMAL ASPECTS OF COMPUTING
Czasopisma -
Kierunki standaryzacji w zdalnym nauczaniu
PublikacjaDziedzina 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,...
-
Igor Garnik dr inż.
OsobyJest absolwentem Wydziału Elektroniki Politechniki Gdańskiej (1992). Z Politechniką Gdańską związany zawodowo od 1997 roku – zatrudniony najpierw jako asystent w Zakładzie Ergonomii i Eksploatacji Systemów Technicznych na Wydziale Zarządzania i Ekonomii, a następnie – po uzyskaniu stopnia doktora w 2006 roku jako adiunkt. W latach 2009–2015 pełnił funkcję koordynatora Bałtyckiego Festiwalu Nauki na Wydziale Zarządzania i Ekonomii....
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus 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]
Publikacja -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publikacja -
Oceny środowiskowe jako narządzie kształtowania krajobrazu.
PublikacjaArtykuł 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...
-
Specyfikacja geometryczna wyrobu, PG_00059493
Kursy Online -
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł 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”
PublikacjaWykonano analizę wytrzymałościową kształtek zgodnie ze specyfikacją. Sformułowano wnioski.
-
Magdalena Formela
Osoby -
Ocena jakości nowego rozwiązania systemu TETRA
PublikacjaW 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
PublikacjaW 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.
PublikacjaArtykuł 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.
PublikacjaPrzedstawiono szeroko sytuację rewitalizacji osiedli socjalnych w Holandii Francji. Przedstawiono konkretne przykłady, specyfikację i szeroki materiał ilustracyjny.
-
Jacek Alenowicz dr inż.
OsobyI am a Faculty member (Docent, Highway and Transportation Research Department) at the Faculty of Civil and Environmental Engineering, Gdańsk University of Technology, Poland).My main research interests include: pavement structures, pavement subgrade, recycling of road pavements (especially hot and warm recycling technologies), geosynthetics in road construction, especially construction and maintenance of pavement structures.My...
-
Studzienka rewizyjna z tworzywa
PublikacjaSzczegó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
PublikacjaW 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
PublikacjaPurpose – 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.
PublikacjaPrzedstawiono 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.