Filters
total: 1661
filtered: 1497
-
Catalog
- Publications 1497 available results
- Journals 7 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 20 available results
- Inventions 10 available results
- Projects 2 available results
- Laboratories 3 available results
- e-Learning Courses 64 available results
- Events 31 available results
- Open Research Data 2 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: wzgledy formalne
-
Model pojawiania się sytuacji odmiennych od normalnej podczas pobytu statku na morzu
PublicationW referacie przedstawiono model zmian sytuacji, które mogą pojawiać sie w czasie ruchu statku. Model ten został opracowany w formie procesu semimarkowskiego. W modelu tym wyróżniono takie sytuacje, jak normalną, skomplikowaną, niebezpieczną, awaryjną i katastroficzną. Przedstawiono wzory określające prawdopodobieństwa pojawienia się wymienionych sytuacji. Zasygnalizowano, że w sytuacjach tych, jest możliwe podejmowanie racjonalnych...
-
Corrosion behaviour of Cr coatings deposited from Cr(III) formate - urea electrolytes
PublicationPowłoki chromowe były otrzymane z elektrolitów Cr(III) zawierających odpowiednie ligandy, zapewniające ich dobry wygląd. Zbadano wpływ hydrazyny oraz hydrohylo aminofosfatu na właściwości korozyjne Cr otrzymanego z kąpieli mocznikowo-formaldehydowych Cr(III). Właściwości warstw testowano przy pomocy metody EIS rejestrując widma impedancyjne dla próbek o różnych czasach ekspozycji w zakwaszonym roztworze siarczanowym ( pH 2,6) stosując...
-
Własność prywatna - moralne i niemoralne aspekty posiadania w kontekście gospodarki wolnorynkowej
PublicationPrzedmiotem artykułu w monografii stanowią rozważana związane z moralnymi i niemoralnymi aspektami posiadania w warunkach gospodarki wolnorynkowej. Analizie poddano kwestie związane z posiadaniem, własnością, zyskiem.
-
Komputerowe wspomaganie projektowania łożysk antywibracyjnycho stałych powierzchniach ślizgowych ze względu na granicę stabilności.
PublicationW pracy przedstawiono zagadnienie projektowania antywibracyjnych łożysk ślizgowych. Jednym istotniejszych problemów w procesie projektowym jest ocena właściwości dynamicznych łożyska. Jako wskaźnik "dobroci" rozwiązania zaproponowano wartość granicy stabilności dla modelu jednomasowego wirnika. Omówiono też, stworzony w Katedrze Konstrukcji i Eksploatacji Maszyn Politechniki Gdańskiej, program komputerowy do wspomagania takiej...
-
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....
-
TOTAL CROSS SECTION MEASUREMENTS FOR ELECTRON SCATTERING ON METHYL FORMATE (HCOOCH3) MOLECULE: METHYLATION EFFECT
PublicationWe present the absolute total cross section (TCS) for electron scattering from the methyl formate (HCOOCH3) molecule measured in the 10-300 eV energy range, with electrostatic electron spectrometer working in the linear transmission mode. Comparison of TCS for the HCOOCH3 molecule with that measured earlier for the formic acid (HCOOH) compound manifests the methylation effect i.e. the response of the electron scattering dynamics...
-
Theoretical study of the photoelectron spectrum of ethyl formate: Ab initio and density functional theory investigation
PublicationThe first ionization energy and associated photoelectron spectrum of ethyl formate are investigated with quantum chemistry calculations. The geometries, harmonic vibrational frequencies and first ionization energy are computed at the Hartree-Fock (HF) and at the second order Moller-Plesset perturbation theory (MP2). Moreover, accurate ionization energies are obtained with the Coupled-Cluster theory including singles and doubles...
-
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...
-
Optymalizacja punktu pracy, ze względu na właściwości szumowe, warstw LSFO przeznaczonych do detekcji podczerwieni
PublicationW pracy przedstawiono proces optymalizacji warunków pracy detektora wykonanego z tlenku lantanowo-strontowo żelazowego (LSFO). Opisano proces doboru układu pracy dla detektora termicznego i realizację układu. Przedstawiono wyniki pomiarów szumu warstwy LSFO w zależności od prądu polaryzacji detektora. Zaprezentowano kierunki dalszych prac mających na celu wykorzystanie LSFO jako detektora termicznego.
-
Tissue fixed with formalin and processed without paraffin embedding is suitable for imaging of both peptides and lipids by MALDI-IMS
Publication -
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.
-
Weakly connected domination critical graphs
PublicationPraca dotyczy niektórych klas grafów krytycznych ze względu na liczbę dominowania słabo spójnego.
-
The potential role of fatty acids in prostate cancer determined by GC–MS analysis of formalin-fixed paraffin-embedded tissue samples
Publication -
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,...
-
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.
-
Hygienic pump design
PublicationPrzedstawiono podstawowe informacje i założenia dla określenia cech konstrukcyjnych i technologicznych elementów pomp, ze względu na wymagania higieniczne i sanitarne, konieczne w procesach technologicznych w produkcji żywności. Za podstawowe kryterium weryfikujące konstrukcję tych pomp oraz ich ekspolatacyjną przydatność, uznano test mikrobiologiczny, uwzględniający możliwe zagrożenia wynikające z rodzaju transportowanego medium...
-
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...
-
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...
-
Valence and Ionic Lowest-Lying Electronic States of Isobutyl Formate Studied by High-Resolution Vacuum Ultraviolet Photoabsorption, Photoelectron Spectroscopy, and Ab Initio Calculations
PublicationThe highest resolution vacuum ultraviolet photoabsorption spectrum of isobutyl formate, C5H10O2, yet reported is presented over the energy range 4.5−10.7 eV (275.5−118.0 nm) revealing several new spectral features. Valence and Rydberg transitions and their associated vibronic series observed in the photoabsorption spectrum have been assigned in accordance with new ab initio calculations of the vertical excitation energies and oscillator...
-
Valence and ionic lowest-lying electronic states of ethyl formate as studied by high-resolution vacuum ultraviolet photoabsorption, He(I) photoelectron spectroscopy, and ab initio calculations
PublicationThe highest resolution vacuum ultraviolet photoabsorption spectrum of ethyl formate, C2H5OCHO, yet reported is presented over the wavelength range 115.0–275.5 nm (10.75–4.5 eV) revealing several new spectral features. Valence and Rydberg transitions and their associated vibronic series, observed in the photoabsorption spectrum, have been assigned in accordance with new ab initio calculations of the vertical excitation energies...
-
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...
-
Gender and Digital Divide - Information and Communication Technologiesand their Impact on Equality
PublicationIn the entire Europe more women than men graduate from tertiaryeducation institutes. However, they are underrepresented in scientific and engineering disciplines. Women researchers still constitute a minority in the Government and Higher Education Sectors. A number of industry reports highlight a low number of women in IT occupations49. This has led to a variety of public policy measures, such as subsidies on community provision,...
-
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...
-
Ekspertyza numer 75/01/II/2016 - Określenie stanu powierzchni wewnętrznej, rury wykonanej ze stopu CuNi10Fe1,6Mn ze względu na możliwość wystąpienia produktów korozji. Określenie statusu warstwy pasywnej
PublicationElementy systemów rurociągów okrętowych mających kontakt z wodą zaburtową, takich jak np. instalacja chłodzenia silnika głównego, czy instalacja przeciw pożarowa, wykonywane są często ze stopów miedzi z nikem zwanych Cuniferami (Cu Ni Fe R-reszta pierwiastków stopowych). Cunifery charakteryzują się bardzo wysoką odpornością na korozję, pod warunkiem że procesy spawania i późniejszej pasywacji rurociągu przebiega zgodnie z właściwymi...
-
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...
-
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [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 -
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...
-
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublicationKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
Koncepcja modelu matematycznego procesu eksploatacji okrętowego systemu energetycznego
PublicationW czasie eksploatacji siłowni okrętowych użytkownicy w sposób ciągły podejmują decyzje dotyczące użytkowania i obsługiwania poszczególnych jej urządzeń i podsystemów dążąc w tym względzie do zapewnienie sytuacji normalnej. Kompleksowy a jednocześnie praktycznie użyteczny opis własności siłowni wymaga min. identyfikacji i formalnego opisu dwóch nawzajem zależnych podprocesów procesu eksploatacji tzn.: procesu zmian stanów technicznych...
-
Sprawdzanie dokumentacji projektowej
PublicationAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublicationOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublicationOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
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ń...
-
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...
-
O topologii w architekturze
PublicationOpracowanie dotyczy inspiracji we współczesnej architekturze topologicznymi koncepcjami. Wzbogacenie warsztatu projektowego o komputerowe narzędzia obliczeniowe umożliwiające tworzenie i modyfikowanie unikalnej, krzywoliniowej, geometrii katalizuje formalne i konceptualne eksploracje przestrzeni topologicznej przez awangardowych projektantów. Podejście topologiczne manifestuje się zarówno w dynamice procesu projektowania opartego...
-
Sprawność egzaminowania. Uprawnienia budowlane - nowe reguły.
PublicationNowe zasady prowadzenia egzaminów na uprawnienia budowlane w 2004 roku. Zmiany formalne i rzeczywiste
-
Samodzielne funkcje w budownictwie wprowadzone w 2014 r; Rozdział w pracy zbiorowej
PublicationKonsekwencje zmian prawnych wprowadzonych w 2014 r. Samodzielne funkcje w budownictwie. Wymagania formalne. Zasady uzyskiwania.
-
Wody opadowe - aspekty prawne, ekonomiczne i techniczne
PublicationProblemy zagospodarowania wód opadowych. Zagadnienia formalne i techniczne, trudności, poszukiwanie dróg rozwiązania. Konflikty. Rezultaty branżowego spotkania włocławskiego.
-
Rura dobrze posadowiona
PublicationPosadowienie rurociągu. Znaczenie poznania warunków posadowienia. Podłoże rurociągu - formalne wymagania prawne, Eurokod 07. Konsekwencje rozporządzenia. Podstawowe błędy.
-
Uprawnienia budowlane. Wykształcenie w cenie
PublicationWarunki spełniania samodzielnych funkcji w budownictwie po zmianie ustawy prawo budowlane. Warunki uzyskania uprawnień zawodowych - wymagania formalne, postępowanie kwalifikacyjne.
-
Uprawnienia budowlane.
Publicationprzedstawiono formalne wymagania stawiane osobom ubiegającym się o przyznanie uprawnień. Omówiono specjalności, specjalizacje oraz zasady kwalifikacji i prowadzenia egzaminu na uprawnienia
-
A Method Supporting Monitoring And Repair Processes of Information Systems
PublicationW pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...
-
Zmiany w procesie inwestycyjnym
PublicationKonsekwencje zmian w procesie inwestycyjnym, nowe regulacje w zakresie prawa budowlanego. Zmienione procedury. Problemy formalne. Sankcjonowanie odstępstw. Nowe technologie i nowe wyposażenie.
-
Rura w gruncie. Niekończąca się historia?
PublicationKonsekwencje błędów posadowienia rurociągu w podłożu gruntowym. Formalne wymagania w stosunku do posadowienia. Główne odstępstwa, ich konsekwencje. Problem zmian podłoża w czasie.
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublicationOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
Ochrona zabudowy przed zalewaniem.
PublicationPrzedstawiono ogólne zasady ochrony budynku przed zalewanie. Wykazano potrzebę nowego podejścia do problemu. Określono braki formalne oraz ogólne zalecenia co do zabezpieczeń.