Filters
total: 1023
-
Catalog
- Publications 852 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 53 available results
- Events 12 available results
- Open Research Data 47 available results
displaying 1000 best results Help
Search results for: FORMALNA SPECYFIKACJA
-
Flame retardant epoxy/halloysite nanotubes nanocomposite coatings: Exploring low-concentration threshold for flammability compared to expandable graphite as superior fire retardant
PublicationEpoxy nanocomposites containing halloysite nanotubes (HNTs) were developed and their low-concentration thresholds for thermal stability and flame retardancy were compared with that of epoxy system containing expandable graphite (EG), as a reference with superior flame retardancy. The effects of HNTs and EG on the peak of Heat Release Rate (pHRR), Total Heat Release (THR), and Time-To-Ignition (TTI) of the prepared samples were...
-
An attempt to mechanistically explain the viscoelastic behavior of transparent epoxy/starch-modified ZnO nanocomposite coatings
PublicationThe effects of bare and starch-modified ZnO (ZnO-St) nanoparticles on viscoelastic and mechanical properties are studied by dynamic mechanical and tensile analyses. Transparent epoxy-based nanocomposite films are prepared by incorporating bare or starch-modified ZnO particles into the epoxy matrix. The results demonstrated that ZnO particles hindered the curing reactions and hence the final properties of the cured epoxy. As a result,...
-
Crystallization kinetics study of dynamically vulcanized PA6/NBR/HNTs nanocomposites by nonisothermal differential scanning calorimetry
PublicationInvestigation of crystallization behavior and kinetics of thermoplastic elastomer nanocomposites was the subject of limited works because of complexities associated with semiexperimental modeling of such phenomenon in a system containing components having completely different behavior in the molten state. Nonisothermal crystallization kinetics of dynamically vulcanized PA6/NBR/HNTs thermoplastic elastomer nanocomposites was mathematically...
-
Vegetable derived-oil facilitating carbon black migration from waste tire rubbers and its reinforcement effect
PublicationThree dimensional chemically cross-linked polymer networks present a great challenge for recycling and reutilization of waste tire rubber. In this work, the covalently cross-linked networks of ground tire rubber (GTR) were degraded heterogeneously under 150 °C due to the synergistic effects of the soybean oil and controlled oxidation. The degradation mechanism was discussed using Horikx theory and Fourier transformation infrared...
-
Curing behavior of epoxy/Fe 3 O 4 nanocomposites: A comparison between the effects of bare Fe 3 O 4 , Fe 3 O 4 /SiO 2 /chitosan and Fe 3 O 4 /SiO 2 /chitosan/imide/phenylalanine-modified nanofillers
PublicationIn this study, Fe3O4 magnetic nanoparticles (MNPs) were synthesized (B-MNP) and then modified with SiO2 to form Fe3O4/SiO2 core/shell MNPs. The Fe3O4/SiO2 MNPs were chemically functionalized with chitosan so as to gain Fe3O4/SiO2/Chitosan (CH-MNP). The CH-MNP was functionalized with a macromolecule containing imide and phenylalanine precursors to gain Fe3O4/SiO2/Chitosan/imide/phenylalanine based MNPs (CH-IM-MNP). The differences...
-
Curing epoxy resin with anhydride in the presence of halloysite nanotubes: the contradictory effects of filler concentration
PublicationEpoxy resins can be cured with a wide variety of curing agents such as amines and anhydrides, but anhydride curing would be more favorable for research purpose because of epoxy-anhydride curing taking place slowly at room temperature. Incorporation of natural nanosized minerals into epoxy is of environmental importance. Halloysite nanotubes (HNTs) display chemical properties similar to those of silica and alumina, and hydroxyl...
-
Towards understanding the role of peroxide initiators on compatibilization efficiency of thermoplastic elastomers highly filled with reclaimed GTR
PublicationThermoplastic elastomers based on recycled high density polyethylene (rHDPE) and styrene-butadiene-styrene (SBS) block copolymer were highly filled with reclaimed ground tire rubber (RR). The impact of various organic peroxides (dicumyl peroxide (DCP), benzoyl peroxide (BP) and di-tert-butyl peroxide (DB)), applied as free-radical initiators, on the processing, structure and performance properties of rHDPE/SBS/RR blends was investigated....
-
Acid-aided epoxy-amine curing reaction as reflected in epoxy/Fe3O4 nanocomposites: Chemistry, mechanism, and fracture behavior
PublicationThis work seeks to answer the question whether or not the presence of acid functional groups accelerate epoxyamine curing reaction. Epoxy/Fe3O4 nanocomposite was considered as a case, where discussions are based on chemistry, mechanism behind curing reactions and fracture behavior influenced by acid assistance to crosslinking. Fe3O4 magnetic nanoparticles (MNPs) with nanosilica decorative layer (B-MNP) were synthesized and subsequently...
-
Ground tire rubber thermo-mechanically devulcanized in the presence of waste engine oil as asphalt modifier
PublicationCross-linked elastomers network is main limitation for industrial usage of ground tire rubber (GTR) as asphalts’ and road pavements modifier. GTR was thermo-mechanically devulcanized via extrusion in the presence of waste engine oil (WEO) at temperature ranges from 150 to 280 °C. Combined impact of WEO content and extruder barrel temperature on the change of cross-linked structure of degraded GTR (DTGR) was investigated through...
-
Properties of nano-Fe3O4 incorporated epoxy coatings from Cure Index perspective
PublicationThe mission of an advanced epoxy-based nanocomposite coating is to provide a given substrate with protection against an unwelcome guest; e.g. corrosive molecules/media, environmental stress, flame, thermal degradation or microorganisms. In such systems, the degree to which superior properties can be guaranteed depends on the state of network formation in the epoxy in the presence of nanoparticles. For low-filled epoxy nanocomposite coatings,...
-
Cure Index demonstrates curing of epoxy composites containing silica nanoparticles of variable morphology and porosity
PublicationAn image was taken by Cure Index on curability of epoxy with silica nanoparticles having variable morphology and porosity. Three kinds of silica nanoparticles with non-porous curved-rod, non-porous spherical, and mesoporous spherical microstructures were synthesized and characterized by Fourier-transform infrared spectroscopy, scanning electron microscopy (SEM) and Brunauer–Emmett–Teller analyses. Epoxy nanocomposites containing...
-
Transparent nanocomposite coatings based on epoxy and layered double hydroxide: Nonisothermal cure kinetics and viscoelastic behavior assessments
PublicationLayered double hydroxide (LDH) has a particular place in clay family because of its flame retardant action. The nanoplatelet-like structure of LDH makes possible development of polymer composites with cationic or anionic nature structures in which macromolecules are positioned in between nanoplatelet galleries. In this work, neat epoxy and its transparent nanocomposite coatings with sodium dodecylbenzene sulfonate (SDBS)-modified...
-
Potrzeba uporządkowania procesu budowlanego w fazie odbiorów
PublicationProblem 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...
-
Study of the influence of the presence of Dr fimbriae on the hydrophobicity of cells of recombinant Escherichia coli strains: AAEC191A and BL21(DE3)
Open Research DataThe ability of a cell surface to repel or adhere to surfaces is crucial, and it was assessed through a microbiological adhesion test involving hexadecane and xylene. In this method, microorganisms in an aqueous layer are mixed with an organic layer, and after completion, the absorbance of each sample is measured at a 570 nm wavelength. The results obtained...
-
JEDNORAZOWE DOTACJE NA PODJĘCIE DZIAŁALNOŚCI GOSPODARCZEJ NA PRZYKŁADZIE DOTACJI UDZIELANYCH PRZEZ POWIATOWY URZĄD PRACY W GDYNI
PublicationW 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...
-
Uwarunkowania dotyczące zawartości granulatu asfaltowego w mieszankach mineralno-asfaltowych produkowanych na gorąco w otaczarkach cyklicznych
PublicationRecykling 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...
-
Kaszubskie zamieszkiwanie. Studium
PublicationGraficzne, 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...
-
Contextual Knowledge to Enhance Workplace Hazard Recognition and Interpretation in a Cognitive Vision Platform
PublicationThe 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...
-
Formal Techniques in Real-Time and Fault Tolerant Systems
Conferences -
International Conference on Formal Methods and Models for Co-Design
Conferences -
Int. Workshop on Formal Methods for Industrial Critical Systems
Conferences -
Formal Methods in Software Engineering and Defence Systems Workshop
Conferences -
Comprehensive circumscribing of non-linearity cases of a water supply system with smooth flow control
PublicationW 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...
-
Brittle fracture of 100-, 110-, 111-oriented Cu crystals: MD vs. TB/MD approach
PublicationPrzeprowadzono 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ą...
-
Identyfikacja parametrów funkcjonalnych analogowych układów elektronicznych z zastosowaniem sztucznych sieci neuronowych
PublicationPrzedmiotem artykułu jest metoda identyfikacji parametrów funkcjonalnych analogowych układów elektronicznych w dziedzinie czasu. Testowany układ pobudzany jest sygnałem pomiarowym zoptymalizowanym za pomocą algorytmu genetycznego. Identyfikacja parametrów funkcjonalnych polega na odwzorowaniu wyników pomiarów odpowiedzi układu w dziedzinie czasu w przestrzeń parametrów funkcjonalnych z wykorzystaniem sztucznej sieci neuronowej....
-
Metoda oceny ryzyka na podstawowej sieci ulic na przykładzie Warszawy
PublicationW 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ę...
-
Diaminophosphinoboranes: effective reagents for phosphinoboration of CO2
PublicationThe monomeric diaminophosphinoboranes readily react with CO2 under mild conditions to cleanly form products of the general formula R2P-C(=O)-O-B(NR2)2 in the absence of a catalyst. The isolated products from the CO2-phosphinoboration were fully characterized by NMR spectroscopy, IR spectroscopy, and X-ray diffraction. The mechanism of CO2 phosphinoboration with diaminophosphinoboranes was elucidated by DFT calculations.
-
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublicationCelem 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ę...
-
Integrated development plans of the functional urban areas in Pomeranian region in Poland
PublicationThe European Commission put a growing emphasis on the territorial and integrated app roach to policy support addressed in the frame of regional policy. In a special way this process refers to cities along with their functional environment. In Poland the National Spatial Development Concept 2030 has introduced the concept of functional areas, among others – Functional Urban Areas (FUAs). There is...
-
On ship roll resonance frequency
PublicationThe paper deals with the problem of modeling of rolling motion under a variety of excitation parameters. Special emphasis is put on the analysis and prediction of the frequency of the resonant mode of rolling, since it is often an essential issue in terms of motion of a ship related to her safety against capsizing or excessive amplitudes of roll. The research is performed for both free rolling and excited rolling and it is based...
-
Study of free convective boundary layer of isothermal lateral surface of axisymmetrical horizontal body
PublicationPrzedstawiono 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).
-
Prediction of Processor Utilization for Real-Time Multimedia Stream Processing Tasks
PublicationUtilization of MPUs in a computing cluster node for multimedia stream processing is considered. Non-linear increase of processor utilization is described and a related class of algorithms for multimedia real-time processing tasks is defined. For such conditions, experiments measuring the processor utilization and output data loss were proposed and their results presented. A new formula for prediction of utilization was proposed...
-
Analiza numeryczna i badania doświadczalne kratownicy ze stężeniami
PublicationW 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...
-
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...
-
Challenges of modern assessment of safety of ships in critical conditions. Options for preliminary design
PublicationW 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.
-
Nowoczesny menedżeryzm sądowy
PublicationCelem 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...
-
A model of occurrence of the situations endangering inland waterways passanger ships and the environment
PublicationZaproponowano czterostanowy semimarkowski model pojawiania się sytuacji zagrażających pasażerskim statkom śródlądowym. Model ten został opracowany w formie semimarkowskiego procesu dyskretnego w stanach i ciągłego w czasie, którego wartościami są rodzaje stanów, interpretowanych jako sytuacje: normalna, skomplikowana, niebezpieczna oraz awaryjna. Zobrazowano przykładową realizację procesu zmian sytuacji, jakie mogą pojawić się...
-
Wytłaczanie reaktywne jako proekologiczna metoda wytwarzania nowych biodegradowalnych mieszanin i kompozytów polimerowych.
PublicationBiodegradowalne materiały polimerowe stosowane są obecnie w wielu gałęziach przemysłu, stanowiąc przyjazną środowisku alternatywę dla konwencjonalnych tworzyw sztucznych wytwarzanych z paliw kopalnych. Wzrost liczby zagranicznych i krajowych prac badawczo-rozwojowych nad nowymi iodegradowalnymi materiałami polimerowymi potwierdza dynamiczny rozwój tej grupy materiałów. W artykule pokrótce omówiono wybrane przykłady zastosowania...
-
Completeness and Consistency of the System Requirement Specification
PublicationAlthough 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...
-
Body surface area formulae: an alarming ambiguity
PublicationBody surface area (BSA) plays a key role in several medical fields, including cancer chemotherapy, transplantology, burn treatment and toxicology. BSA is often a major factor in the determination of the course of treatment and drug dosage. A series of formulae to simplify the process have been developed. Because easy-to-identify, yet general, body coefficient results of those formulae vary considerably, the question arises as to...
-
Application of Ontology In the ITIL Domain
PublicationBusiness 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.
-
Modeling the effect of parasitic capacitances on the dead-time distortion in multilevel NPC inverters
PublicationA simple model is derived and verified for evaluating the effect of parasitic capacitances on the dead-time related voltage distortion in multilevel NPC voltage source inverters. The model permits well-defined and precise compensation of dead-time distortion, exhibiting meaningful improvement on compensation methods neglecting the effects of parasitic capacitances. A simple formula is given for evaluating the capacitances as serial/parallel...
-
Magnetizabilities of relativistic hydrogenlike atoms in some arbitrary discrete energy eigenstates
PublicationWe present the results of numerical calculations of magnetizability of the relativistic hydrogenlike atoms. Exploiting the analytical formula for $\chi$ we have found the values of the magnetizability for the ground state and for the first and the second set of excited states of the atom. The results for ions with the atomic number $0
-
Proposal of a System Loss Model for Body Area Network in Passenger Ferry Environment
PublicationIn the paper, proposal of an empirical off-body system loss model for Body Area Networks working in a passenger ferry environment at 2.45 GHz has been presented. The measurements were carried out for dynamic scenarios in the discotheque passenger ferry environment. The general model formula consists of three components: mean system loss, attenuation resulting from the variable antenna position on the human body, and attenuation...
-
Towards automation of IT systems repairs
PublicationMonitoring 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...
-
T-colorings, divisibility and circular chromatic number
PublicationLet T be a T-set, i.e., a finite set of nonnegative integers satisfying 0 ∈ T, and G be a graph. In the paper we study relations between the T-edge spans espT (G) and espd⊙T (G), where d is a positive integer and d ⊙ T = {0 ≤ t ≤ d (max T + 1): d |t ⇒ t/d ∈ T} . We show that espd⊙T (G) = d espT (G) − r, where r, 0 ≤ r ≤ d − 1, is an integer that depends on T and G. Next we focus on the case T = {0} and show that espd⊙{0} (G) =...
-
CZYNNIKI DECYDUJĄCE O PRZYDATNOŚCI KOMPUTEROWEGO MODELU PRZEPŁYWÓW W SIECI WODOCIĄGOWEJ
PublicationW pracy poddano analizie wielozadaniowy proces tworzenia komputerowego modelu przepływów. W efekcie zidentyfikowano szereg czynników ograniczających obszar stosowania modelu w praktyce inżynierskiej. W zakresie pozyskiwania danych strukturalnych i operacyjnych wskazano potencjalne źródła błędów, które przyczyniają się do zmniejszenia dokładności odwzorowania stanu rzeczywistego. Specjalną rangę nadano specyfikacji czynników związanych...
-
ZARZĄDZANIE STRATEGIAMI SZLIFOWANIA SZYN W PROCESIE UTRZYMANIA NAWIERZCHNI KOLEJOWYCH
PublicationSzlifowanie szyn kolejowych od co najmniej kilkunastu lat jest podstawową i integralną czynnością na rzecz prawidłowego utrzymania nawierzchni kolejowej i wydłużenia jej trwałości. Technologia, która pierwotnie stosowana była do usuwania tzw. zużyć falistych, czyli wzdłużnych nierówności powierzchni tocznej główki szyny, w coraz szerszym zakresie wprowadzana jest jako czynność planowo-zapobiegawcza. Zwiększone obciążenia dynamiczne...
-
Zastosowanie kontrolerów strumieniowych USB do budowy dedykowanych interfejsów dźwiękowych.
PublicationCelem niniejszej publikacji jest omówienie zagadnień związanych z projektowaniem i budową dedykowanych komputerowych interfejsów dźwiękowych USB, charakteryzujących się wysokimi parametrami elektroakustycznymi oraz łatwością rozbudowy, z wykorzystaniem kontrolerów strumieniowych USB. W pierwszej kolejności omówiono cechy charakterystyczne magistral komunikacyjnych PCI oraz USB, które mogą służyć do budowy komputerowych interfejsów...
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Conferences