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
-
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Conferences -
Estimation of pile bearing capacity by dynamic and static tests
PublicationBadania dynamiczne, szczególnie dla pali wbijanych, w budownictwie hydrotechnicznym stają się coraz bardziej popularne. Badania, poparte formalnie zapisami zawartymi w Eurokodzie 7, wykorzystywane w badaniach ''na wodzie'' i ''na lądzie'' są szybkie i ekonomiczne. Przedstawiono serię badań dla gruntów uwarstwionych dla pali prefabrykowanych żelbetowych, wbijanych stalowych pali rurowych oraz pali Vibro-Fundex. Badania dynamiczne...
-
Zastosowanie badań symulacyjnych w projektowaniu układów automatyki podsystemów energetycznych statków
PublicationPrzedstawiono strukturę i funkcje systemu informatycznego wspomagania projektowania układów automatyki statku. Szczególną uwagę zwrócono na funkcję oceny rozwiązań projektowych na podstawie prowadzonych badań symulacyjnych. Omówiono reprezentację wiedzy o projektowanym podsystemie energetycznym statku, dobór struktur modeli elementów składowych podsystemów umożliwiający zastosowanie reguł do budowy modeli symulacyjnych i reguły...
-
A performance-oriented risk-based method for assessment of safety of ships. Modelling uncertainties in hazard and risk analysis
PublicationW artykule podano informacje na temat alternatywnej metody oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka. Zaproponowano użycie metody do projektowania statków w oparciu o ocenę ryzyka. W takim podejściu do projektowania bezpieczeństwo powinno być celem projektowym. Ocena bezpieczeństwa w proponowanej metodzie powinna być dokonywana na podstawie oceny ryzyka. Do oceny ryzyka zastosowano elementy...
-
Domy - wewnętrzne krajobrazy.
PublicationPrzestrzenna 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)
PublicationThe 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...
-
Elektrownia Ostrołęka C w budowie a „momentum-FSI”
PublicationMimo przeszkód, trwa budowa elektrowni Ostrołęka C. O tym zapewniają nas główni decydenci – Jarosław Małkowski, Prezes Elektrowni Ostrołęka, czy Sławomir Żygowski, Prezes GE Power, firmy odpowiedzialnej projekt, wykonanie i budowę. Możemy o tym dowiedzieć się w mediach społecznościowych. Ale te same media informują również, że 31 lipca 2019 r. Sąd okręgowy w Poznaniu stwierdził nieważność uchwały Walnego Zebrania Akcjonariuszy...
-
Wzornictwo regionalne jako źródło inspiracji we współczesnym projektowaniu architektonicznym
PublicationKaszuby to region o wyjątkowym wzornictwie regionalnym. Ocalało wiele dobrze zachowanych przykładów zabudowy ruralistycznej i samych obiektów architektonicznych. Szczególną rolę pełni tu wdzydzki skansen stanowiący pełnowymiarowy wzornik inspirujący współczesnych twórców. Rozwiązania formalne oraz detale rzemieślnicze utrwalone tradycją zdobniczą i określoną topografią oraz zasobnością regionu, a także elementy dekoracyjne towarzyszące...
-
Nongeminate recombination in organic bulk heterojunction solar cells: Contribution of exciton–polaron interaction
PublicationA new model to explain nongeminate recombination in organic bulk heterojunction solar cells is presented. We suggest that the annihilation of excitons on charge carriers at the interface between donor and acceptor phases competes with the bimolecular recombination of Coulombically bound electron–hole pairs. The exciton–polaron interaction gives visible contribution to the reduction of Langevin recombination. An analytical formula,...
-
Electron Scattering on X(CH3)4 Molecules: Applicability of Simple Additivity Rule and Role of Methylation
PublicationTo investigate influence of target methylation (substitution of a hydrogen atom by methyl group) on electron-collision processes we compare absolute total cross sections for XH4 and X(CH3)4 molecules, where X is Si and Ge, respectively. We also compare experimental TCSs energy dependencies with estimated data obtained using simple formula and TCSs for methyl group and those for SiH4 and GeH4. Electron-scattering TCSs for mentioned...
-
Strahlungslose Übertragung von Elektronenanregungsenergie bei zweidimensionalen lumineszierenden Systemen
PublicationAn expression for the photoluminescence (PhL) quantum yield of donors in two-dimensional systems as depending on the concentration ratio nD'/nA' of donors and acceptors has been obtained. In the particular case nD' ⪡ nA' the expression reduces to the form given by other authors. The obtained formula can also be applied to the description of the concentrational quenching of PhL when dimers act as acceptors. The theory has been...
-
Informal practices in urban planning and governance. Examples from Polish cities
PublicationPlanning 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...
-
Udział złotego w mechanizmie stabilizowania kursu a ryzyko wystąpienia kryzysu walutowego w Polsce
PublicationWś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...
-
Chromatografia gazowa jako skuteczne narzędzie kontroli procesu wytłaczania
PublicationPraca stanowi literaturowy przegląd możliwości wykorzystania chromatografii gazowej (GC) jako narzędzia kontroli procesu wytłaczania materiałów polimerowych. Przedstawiono charakterystykę techniki GC oraz możliwości, jakie niesie ze sobą kontrola fazy gazowej uwalnianej podczas przetwórstwa materiałów polimerowych. Na podstawie dotychczas opublikowanych prac badawczych omówiono techniki i metody wykorzystywane do izolacji lotnych...
-
Processing, mechanical and thermal behavior assessments of polycaprolactone/agricultural wastes biocomposites
PublicationIn this paper, brewer’s spent grain (BSG) was applied as potential lignocellulose biofiller in biocompos-ites based on polycaprolactone (PCL). The PCL/BSG biocomposites filled with varying content of biofillerswere prepared via low-temperature melt-compounding. These conditions allow limiting thermal degra-dation of used biofillers during processing. The influence of biofiller content (ranging from 25 to 200parts by weight on 100...
-
Przegląd metod produkcji regeneratu gumowego oraz możliwości jego zastosowania
PublicationRecykling materiałowy odpadów gumowych nabiera obecnie coraz większego znaczenia, stanowiąc alternatywę dla powszechnie stosowanego w Polsce odzysku energetycznego. W artykule zaprezentowano przegląd historyczny oraz obecny stan wiedzy w dziedzinie regeneracji odpadów gumowych. Publikacja zawiera charakterystykę najczęściej stosowanych metod dewulkanizacji odpadów gumowych oraz prezentuje możliwości wykorzystania regenerowanej...
-
Thermomechanical reclaiming of ground tire rubber via extrusion at low temperature: Efficiency and limits
Publication -
Reclaimed rubber in-situ grafted with soybean oil as a novel green reactive plasticizer in SBR/silica compounds
PublicationPolymer recycling and biodegradable polymeric materials are two major routes towards the sustainable development of polymer materials which contributes to the management of waste. In this regard, an eco-friendly approach is presented wherein high reclaiming degree of ground tire rubber (GTR) was achieved by low-temperature oxidation under swollen action of soybean oil. In-situ reclaimed GTR with soybean oil was cured into reactive...
-
Recycled Polyethylene terephthalate (PET) as Construction Material in Civil Engineering: A Review
PublicationIn general, the quantity of plastics of all types consumed annually all over the world has been growing in a phenomenal way. The manufacturing processes, service industries and municipal solid wastes (MSW) generate numerous waste plastic materials. The increasing awareness about the environment has tremendously contributed to the concerns related with disposal of the generated wastes. It is believed that the management of solid...
-
Ocena właściwości przetwórczych, mechanicznych oraz morfologii spienianych kompozytów poliuretanowo-gumowych
PublicationSpienione kompozyty poliuretanowo-gumowe otrzymano metodą jednostopniową z układu dwukomponentowego. Scharakteryzowano właściwości przetwórcze, właściwości mechaniczne oraz morfologię uzyskanych kompozytów. Uzyskane wyniki wskazują, że wprowadzenie miału gumowego do matrycy poliuretanowej może stanowić bardzo atrakcyjną możliwość wtórnego wykorzystania odpadów gumowych.
-
Recent Advances in Development of Waste-Based Polymer Materials: A Review
PublicationLimited petroleum sources, suitable law regulations, and higher awareness within society has caused sustainable development of manufacturing and recycling of polymer blends and composites to be gaining increasing attention. This work aims to report recent advances in the manufacturing of environmentally friendly and low-cost polymer materials based on post-production and postconsumer wastes. Sustainable development of three groups...
-
Waste tire rubber devulcanization technologies: State-of-the-art, limitations and future perspectives
PublicationWaste tires management is a serious and global environmental problem. Therefore, searching for low-cost and industrial-scale applicable tire recycling methods is gaining more and more attention. Waste tire rubber is valuable source of secondary raw materials for the circular economy and current trends indicate that application of waste rubbers during manufacturing value-added products should increase in near future. Sustainable...
-
Enhanced interfacial and mechanical performance of styrene-butadiene rubber/silica composites compatibilized by soybean oil derived silanized plasticization
PublicationSilanized plasticizer (SP) was chemically derived and synthesized from soybean oil (SBO) co-vulcanized with bis-(3-(triethoxysilyl)-propyl) tetrasulfide (TESPT) by using the sulfur-accelerated curing system. SP extended styrene-butadiene rubber (SBR)/silica composites have been studied for their improved filler dispersion through coupling interaction at the SBR/silica interface. The effect of SP on cross-link density, thermal,...
-
Processing, Performance Properties, and Storage Stability of Ground Tire Rubber Modified by Dicumyl Peroxide and Ethylene-Vinyl Acetate Copolymers
PublicationIn this paper, ground tire rubber was modified with dicumyl peroxide and a variable content (in the range of 0–15 phr) of ethylene-vinyl acetate copolymers characterized by different vinyl acetate contents (in the range of 18–39 wt.%). Modification of ground tire rubber was performed via an auto-thermal extrusion process in which heat was generated during internal shearing of the material inside the extruder barrel. The processing,...
-
Ground tire rubber functionalization as a promising approach for the production of sustainable adsorbents of environmental pollutants
PublicationWaste tires management and further utilization are currently one of the biggest concerns regarding the environment and human health protection. At present, shredding, grinding, or pulverization of waste tires are the most popular options for industrial recycling. Although many solutions for ground tire rubber (GTR) applications were checked and verified so far, their further implementation at an industrial scale is still very limited....
-
Blended Learning Model for Computer Techniques for Students of Architecture
PublicationAbstract: The article summarizes two-year experience of implementing hybrid formula for teaching Computer Techniques at the Faculty of Architecture at the Gdansk University of Technology. Original educational e-materials, consisting of video clips, text and graphics instructions, as well as links to online resources are embedded in the university e-learning educational platform. The author discusses technical constraints associated...
-
Applying Generative Modelling Tools to Explore Architectural Forms
PublicationThe digital generative methods open up new areas for exploration of formal and tectonic features, accentuate form’s ability to emerge and perform. They allow for automatic generation of variations of solutions, and digital production of “difficult” components of architectural forms using CNC technology.The paper deals with contemporary architectural explorations of complex , curvilinear surfaces in the context of generative...
-
Robust continuous-time controller design via structural Youla-Kučera parameterization with application to predictive control.
PublicationPraca dotyczy projektowania ciągłoczasowego sterowania liniowymi układami SISO o niepewnych parametrach w celu uzyskania nominalnej i odpornej stabilności oraz nominalnej i odpornej jakości regulacji. Specyficzne zastosowanie koncepcji parametryzacji Youli-Kučery (YK) prowadzi do nowego zastosowania obserwatorowych struktur sterowania. Metoda ta została połączona z nominalną strategią uogólnionego sterowania predykcyjnego CGPC,...
-
A Proposed Soft Computing Model for Ultimate Strength Estimation of FRP-Confined Concrete Cylinders
PublicationIn this paper, the feed-forward backpropagation neural network (FFBPNN) is used to propose a new formulation for predicting the compressive strength of fiber-reinforced polymer (FRP)-confined concrete cylinders. A set of experimental data has been considered in the analysis. The data include information about the dimensions of the concrete cylinders (diameter, length) and the total thickness of FRP layers, unconfined ultimate concrete...
-
Evaluation of antimicrobial activity of porous composites based on chitosan/poly (vinyl alcohol)
Open Research DataThe dataset contains the results of microbiological tests of composite porous materials whose activity was assessed for their ability to reduce the number of Escherichia coli and Staphylococcus aureus strain, representing the Gram (-) and Gram (+) bacteria, respectively.
-
Time travel without paradoxes: Ring resonator as a universal paradigm for looped quantum evolutions
PublicationA ring resonator involves a scattering process where a part of the output is fed again into the input. The same formal structure is encountered in the problem of time travel in a neighborhood of a closed timelike curve (CTC). We know how to describe quantum optics of ring resonators, and the resulting description agrees with experiment. We can apply the same formal strategy to any looped quantum evolution, in particular to the...
-
A Method for The Assessing of Reliability Characteristics Relevant to an Assumed Position-Fixing Accuracy in Navigational Positioning Systems
PublicationThis paper presents a method which makes it possible to determine reliability characteristics of navigational positioning systems, relevant to an assumed value of permissible error in position fixing. The method allows to calculate: availability , reliability as well as operation continuity of position fixing system for an assumed, determined on the basis of formal requirements - both worldwide and national, position-fixing accuracy....
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Wpływ specyficznych właściwości czynnych systemów wodociągowych w Polsce na metodykę pomiarów terenowych i interpretacje ich wyników
PublicationW opracowaniu scharakteryzowano trzy następujące cechy: 1) przewymiarowanie sieci wodociągowej, 2) pozorną chropowatość przewodów z odłożonymi osadami, 3) pulsację ciśnienia w układzie wodociągowym. Następnie wskazano na utrudnienia jakie one powodują w przygotowaniu pomiarów, ich przeprowadzeniu, a niekiedy interpretacji uzyskanych wyników. W efekcie dowiedziono, że normalne warunki eksploatacji nie pozwalają na bezpośrednie pomiary...
-
The cohomological span of LS-Conley index
PublicationIn this paper we introduce a new homotopy invariant – the cohomological span of LS-Conley index. We prove the theorems on the existence of critical points for a class of strongly indefinite functionals with the gradient of the form Lx+K(x), where L is bounded linear and K is completely continuous. We give examples of Hamiltonian systems for which our methods give better results than the Morse inequalities. We also give a formula...
-
The Maslov index and the spectral flow—revisited
PublicationWe give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of self-adjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell,...
-
Zatrudnienie a wzrost gospodarczy w teorii i w rzeczywistości gospodarki polskiej
PublicationW części teoretycznej artykułu w pierwszej kolejności przedstawiono makroekonomiczne podstawy zapotrzebowania na pracę w warunkach postępu technicznego oraz zmian kapitału rzeczowego. W następnej kolejności sformułowano założenia dla dynamicznego modelu opisującego zależności pomiędzy stopami wzrostu produktu krajowego i zatrudnienia. W części empirycznej artykułu rozważano wybrane wersje oszacowanego modelu opisujące gospodarkę...
-
Wzrost gospodarczy a zapotrzebowanie na prace - teoria i rzeczywistość gospodarcza Polski w latach 1995-2014
PublicationW części teoretycznej artykułu w pierwszej kolejności przedstawiono makroekonomiczne podstawy zapotrzebowania na pracę w warunkach postępu technicznego oraz zmian kapitału rzeczowego. W następnej kolejności sformułowano założenia dla modelu opisującego zależności pomiędzy stopami wzrostu produktu krajowego i zatrudnienia. W części empirycznej artykułu rozważano wybrane wersje oszacowanego modelu opisujące gospodarkę Polski. Do...
-
Impact of Energy Slope Averaging Methods on Numerical Solution of 1D Steady Gradually Varied Flow
PublicationIn this paper, energy slope averaging in the one-dimensional steady gradually varied flow model is considered. For this purpose, different methods of averaging the energy slope between cross-sections are used. The most popular are arithmetic, geometric, harmonic and hydraulic means. However, from the formal viewpoint, the application of different averaging formulas results in different numerical integration formulas. This study...
-
CMMI - an Assurance of Transferability of Knowledge andProjects in a Distributed Enterprise
PublicationCMMI (Capability Maturity Model Integrated)is a reference model fordefining and performing processes in software and systems engineeringorganizations.An organization implementing CMMI,among other things,assures thatacit knowledge is properly externalized into formal knowledge.This externalization gives an organization opportunity to assure that knowledge and development projects are easily transferable across adistributed enterprise...
-
Wpływ równości nawierzchni i dynamicznego oddziaływania pojazdów ciężkich na trwałość zmęczeniową nawierzchni podatnych
PublicationPodczas ruchu pojazdu obserwuje się odchylenia nacisków osi pojazdów od nacisku statycznego, co jest spowodowane nierównościami nawierzchni. Dynamiczne obciążenia pojazdów w większym stopniu wytężają konstrukcję nawierzchni drogowej. Rozkład obciążeń dynamicznych ma kształt rozkładu normalnego i jest opisywany poprzez obciążenie statyczne oraz wskaźniki dynamiczne DI lub DLC. Wraz z pogorszeniem równości i zwiększeniem prędkości...
-
Michał Formela mgr inż.
People -
International Conference on Formal Methods for Open Object-Based Distributed Systems
Conferences -
ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code
Conferences -
The impact of institutions on innovation networks: empirical evidence from Poland
PublicationInnovation networks may accelerate and improve the innovation process, while institutional pathologies may hamper it. This study employs the Kruskal-Wallis H test and regression analysis to determine if the relationship between institutions and innovation networks does exist among the investigated variables. The purpose of the study was to find out whether cooperation with special local institutions influences the innovative behaviour...
-
Wybrane zagadnienia dotyczące geosyntetyków stosowanych w drogownictwie
PublicationPowszechność stosowania geosyntetyków mogłaby świadczyć, że dogłębnie poznano już ich zalety i nauczono się je wykorzystywać w praktyce budowlanej. Niestety, praktyka dowodzi, że sytuacja nie jest na pewno doskonała - zauważalne są luki w podstawach (mylone są wyroby), a i stosowane rozwiązania konstrukcyjne pozostawiają wiele do życzenia. W artykule przedstawiono stan normalizacji w dziedzinie geosyntetyków, ich prawidłowy...
-
Dokumentacja projektowa konstrukcji stalowych w budowlanych przedsięwzięciach inwestycyjnych
PublicationObowią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 dokumentacji projektowej. W książce są...
-
Experimental study of the post tensioned prestressed concrete corbels
PublicationThe results of experimental investigation of 6 symmetrical double prestressed corbels of variable shear span to depth ratio and variable location of prestressing bars are presented in the paper. The post ten- sioned corbels were prestressed with Macalloy 1030 bars of 25 mm in diameter. The results of the tests were compared with the cracking and load carrying capacity of corbels reinforced with passive reinforce- ment. As a result...
-
The field–dependent interface recombination velocity for organic–inorganic heterojunction
PublicationWe have derived an analytical formula which describes the field–dependent interface recombination velocity for the boundary of two materials characterized by different permittivities. The interface recombination of charge carriers has been considered in the presence of image force Schottky barrier. We suggest that this effect may play an important role in the loss of current for organic–inorganic hybrid heterojunctions. It has...
-
An absorbing set for the Chialvo map
PublicationThe classical Chialvo model, introduced in 1995, is one of the most important models that describe single neuron dynamics. In order to conduct effective numerical analysis of this model, it is necessary to obtain a rigorous estimate for the maximal bounded invariant set. We discuss this problem, and we correct and improve the results obtained by Courbage and Nekorkin (2010). In particular, we provide an explicit formula for an...