Filters
total: 1427
-
Catalog
- Publications 1059 available results
- Journals 14 available results
- Conferences 24 available results
- People 19 available results
- Inventions 10 available results
- Projects 8 available results
- Research Teams 1 available results
- e-Learning Courses 192 available results
- Events 52 available results
- Open Research Data 48 available results
displaying 1000 best results Help
Search results for: SNNM FORMULA
-
Alternative shaper: a model for automatic design generation
Publication -
A general approach to continuous time Gm-C filters.
PublicationW pracy zaproponowano ogólną strukturę filtrów Gm-C z odpowiednim opisem macierzowym. W odniesieniu do tej struktury podano formuły analizy wrażliwościowej dla dowolnego filtru Gm-C czasu ciągłego. Analiza oparta na opisie macierzowym była wykorzystana również do porównania właściwości filtrów Gm-Ctrybu napięciowego i prądowego. Zdefiniowano dwie kanoniczne transformacje dla klasy filtrów zmiennych stanu.
-
Non-adiabatic coupling elements between the diatomic silver anion and neutral silver dimer plus continuum electron
Open Research DataThe process of a two-channel decay of the diatomic silver anion (Ag2-), namely the spontaneous electron ejection giving Ag2 + e- and the dissociation leading to Ag- + Ag is theoretically studied. The ground state potential energy curves (PECs) of the neutral silver dimer and anionic silver diatomic molecule are calculated using the single reference...
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Conferences -
International Workshop on Formal Methods for Parallel Programming: Theory and Applications
Conferences -
Expedited optimization of antenna input characteristics with adaptive Broyden updates
PublicationSimulation-driven adjustment of geometry and/or material parameters is a necessary step in the design of contemporary antenna structures. Due to their topological complexity, other means, such as supervised parameter sweeping, does not usually lead to satisfactory results. On the other hand, rigorous numerical optimization is computationally expensive due to a high cost of underlying full-wave electromagnetic (EM) analyses, otherwise...
-
Efficient Gradient-Based Algorithm with Numerical Derivatives for Expedited Optimization of Multi-Parameter Miniaturized Impedance Matching Transformers
PublicationFull-wave electromagnetic (EM) simulation tools have become ubiquitous in the design of microwave components. In some cases, e.g., miniaturized microstrip components, EM analysis is mandatory due to considera¬ble cross-coupling effects that cannot be accounted for otherwise (e.g., by means of equivalent circuits). These effects are particularly pronounced in the structures in¬volving slow-wave compact cells and their numerical...
-
Numerically efficient algorithm for compact microwave device optimization with flexible sensitivity updating scheme
PublicationAn efficient trust-region algorithm with flexible sensitivity updating management scheme for electromagnetic (EM)-driven design optimization of compact microwave components is proposed. During the optimization process, updating of selected columns of the circuit response Jacobian is performed using a rank-one Broyden formula (BF) replacing finite differentiation (FD). The FD update is omitted for directions sufficiently well aligned...
-
Structural and electrical properties of Cr-doped SrTiO 3 porous materials
PublicationSeries of single-phase materials with assumed formula SrTi1−xCrxO3 (where x = 0, 1, 4, 6 mol.%) were obtained by sol-gel method. The structure and microstructure of materials were characterised by X-ray diffraction and scanning electron microscopy methods. Moreover, the study of electrical properties and evaluation of chemical stability in CO2/H2O atmosphere was performed by electrochemical impedance spectroscopy and thermogravimery...
-
Analytical procedures for short chain chlorinated paraffins determination - How to make them greener?
PublicationThe aim of the following paper was to gather current scientific information about the analytical protocols dedicated to measuring the content level of short-chain chlorinated paraffins (SCCPs) in various types of environmental samples. Moreover, the data about the basic validation parameters of applied procedures for SCCPs determination are listed. The main issue which is highlighted in the paper is the possibility of the application...
-
Switched-capacitor DC-DC converters in arbitrary switching mode - topologically derived resistive models based on incremental graph approach.
PublicationIn the preceding paper we reviewed some of modeling approaches aimed at systematic formulation and solution of switched capacitor DC-DC converters. In our review, special attention was paid to computationally efficient and mathematically elegant methods. In so doing we had tried to demonstrate the virtues of unified Incremental Graph (IG) approach. Incremental Graph is, in concept, a tool originally created for analysis and synthesis...
-
Influence of effective width of flange on calculation and reinforcement dimensioning of beam of reinforced concrete frame
PublicationThe paper analyses the influence of modelling the cross-section of a beam in two-storey reinforced concrete frame of industrial warehouse with dimensions: 18.0 m × 32.0 m using bar elements on the results of bending moments, the value of elastic deflection and the dimensioning of reinforcement due to bending. Six options were considered: a beam as a rectangular section and five T-beam variants with different definitions of effective...
-
Protective and Suppressing Electromagnetic Interference Properties of Epoxy Coatings Containing Nano-Sized NiZn Ferrites
PublicationNano-crystalline ferrites with the chemical formula NixZn(1−x)Fe2O4, where x = 0, 0.2, 0.4, 0.6, 0.8, 1.0, were synthesized using a co-precipitation method. The obtained ferrites were investigated by X-ray diffraction (XRD). The corrosion inhibiting behavior of nano-sized ferrites was tested using carbon steel samples and 10% aqueous ferrite extracts. Results were compared with previous data obtained for micro-sized ceramic ferrites....
-
The lanthanide influence on selected properties of BaLnCo2O6-δ
PublicationThe subject of research of this dissertation are cobalt oxides with a double perovskite structure with a general formula BaLnCo2O6-δ, where Ln stands for La, Pr, Nd, Sm, Gd, Tb, Dy. The aim of the study was to verify the ability of these materials to form the protonic defects, as well as to identify the factors determining this ability. As part of the work, materials from the proposed group were synthesised and characterized. To...
-
Machine learning approach to packaging compatibility testing in the new product development process
PublicationThe paper compares the effectiveness of selected machine learning methods as modelling tools supporting the selection of a packaging type in new product development process. The main goal of the developed model is to reduce the risk of failure in compatibility tests which are preformed to ensure safety, durability, and efficacy of the finished product for the entire period of its shelf life and consumer use. This kind of testing...
-
Krzysztof Leja dr hab. inż.
PeopleKrzysztof Leja graduated from the Faculty of Applied Physics at Gdansk University of Technology, PhD in economics, DSc in management. Associate professor and v-ce dean for research at the Faculty of Management and Economics, Gdansk University of Technology. His fields of interest include research of HEIs and policy studies. He is an expert of Polish Rectors Foundation and Ministry of Science and Higher Education. He led and participated...
-
Witruwiańska triada a projektowanie parametryczno/algorytmiczne
PublicationOpracowanie podejmuje zagadnienie aktualności przesłania Witruwiusza dotyczącego trwałości, użyteczności i piękna w odniesieniu do architektury tworzonej za pomocą cyfrowej metody projektowania - parametryczno/algorytmicznej, którą cechuje integracja projektu architektonicznego, konstrukcyjnego, produkcji i montażu w jeden ciągły proces. Autorka podając krótką charakterystykę metody i przykłady realizacji przedstawia możliwą reinterpretację...
-
Integrable zero-range potentials in a plane
PublicationWe examine general statements in the Wronskian representation of Darboux transformations for plane zero-range potentials. Such expressions naturally contain scattering problem solution. We also apply Abel theorem to Wronskians for differential equations and link it to chain equations for Darboux transforms to fix conditions for further development of the underlying distribution concept. Moutard transformations give a convenient...
-
Koncepcja regionalnego systemu bezpieczeństwa ruchu drogowego
PublicationIstnienie systemu zarządzania bezpieczeństwem ruchu drogowego stanowi warunek konieczny powodzenia każdego programu. System taki powinien precyzować formuły prawne, organizacyjne oraz finansowe, określające zasady współdziałania organizacji, instytucji i osób zaangażowanych w proces poprawy brd. System powinien także obligować do metodycznego i naukowego podejścia do rozwiązywania problemów brd. W artykule przedstawiono koncepcję...
-
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...
-
Analysis and Optimization of Noise in Continuous-Time OTA-C Filters
PublicationW pracy przedstawiono ogólną procedurę analizy szumów w filtrach klasy OTA-C czasu ciągłego. Procedura umożliwia analizę filtrów o dowolnej topologii i dowolnego rzędu w ramach rozważanej klasy. W oparciu o opis macierzowy ogólnej struktury filtru OTA-C wyprowadzono ogólne formuły pozwalające na wyznaczanie i optymalizację szumów dowolnego filtru OTA-C. Przedstawione wyniki są użyteczne nie tylko dla klasycznych (dyskretnych lub...
-
XIX OKNMUT
EventsXIX Ogólnopolska Konferencja Nauczania Matematyki w Uczelniach Technicznych
-
Experimental and Theoretical Screening for Green Solvents Improving Sulfamethizole Solubility
PublicationSolubility enhancement of poorly soluble active pharmaceutical ingredients is of crucial importance for drug development and processing. Extensive experimental screening is limited due to the vast number of potential solvent combinations. Hence, theoretical models can offer valuable hints for guiding experiments aimed at providing solubility data. In this paper, we explore the possibility of applying quantum-chemistry-derived...
-
„Osiem kobiet”, ogólnopolska wystawa malarstwa, grafiki i rzeźby, Muzeum Śremskie.
Publication„Osiem kobiet”, ogólnopolska wystawa malarstwa, grafiki i rzeźby, Muzeum Śremskie. W wystawie biorą udział: Dominika Krechowicz, Jowita Mormul, Paulina Komorowska-Birger, Monika Korona, Joanna Trzcińska, Katarzyna Słuchocka, Joanna Stefańska, Natalia Wegner. Kuratorstwo wystawy: Katarzyna Słuchocka, Joanna Stefańska, Instytut Architektury Wnętrz i Wzornictwa Przemysłowego, Wydział Architektury Politechniki Poznańskiej
-
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...
-
2-D constitutive equations for orthotropic Cosserat type laminated shells in finite element analysis
PublicationWe propose 2-D Cosserat type orthotropic constitutive equations for laminated shells for the purpose of initial failure estimation in a laminate layer. We use nonlinear 6-parameter shell theory with asymmetric membrane strain measures and Cosserat kinematics as the framework. This theory is specially dedicated to the analysis of irregular shells, inter alia, with orthogonal intersections, since it takes into account the drilling...
-
Performance and Power-Aware Modeling of MPI Applications for Cluster Computing
PublicationThe paper presents modeling of performance and power consumption when running parallel applications on modern cluster-based systems. The model includes basic so-called blocks representing either computations or communication. The latter includes both point-to-point and collective communication. Real measurements were performed using MPI applications and routines run on three different clusters with both Infiniband and Gigabit Ethernet...
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublicationKonwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nową metodę konwersji opartą o chińskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika nadmiaru w formule chińskiego twierdzenia o resztach, co...
-
A large family of filled skutterudites stabilized by electron count
PublicationThe Zintl concept is important in solid-state chemistry to explain how some compounds that combine electropositive and main group elements can be stable at formulas that at their simplest level do not make any sense. The electronegative elements in such compounds form a polyatomic electron-accepting molecule inside the solid, a ‘polyanion’, that fills its available energy states with electrons from the electropositive elements...
-
Automatic recognition of therapy progress among children with autism
PublicationThe article presents a research study on recognizing therapy progress among children with autism spectrum disorder. The progress is recognized on the basis of behavioural data gathered via five specially designed tablet games. Over 180 distinct parameters are calculated on the basis of raw data delivered via the game flow and tablet sensors - i.e. touch screen, accelerometer and gyroscope. The results obtained confirm the possibility...
-
Reactivity of bulky aminophosphanes towards small molecules: Activation of dihydrogen and carbon dioxide by aminophosphane/borane frustrated Lewis pairs
PublicationA series of mono- and bisaminophosphanes with formulas R2NPR’R’’ and (R2N)2PR’ (R = iPr, Cy; R’ = Ph, Cy; R’’ = iPr) were characterized by X-ray analysis, NMR spectroscopy and computational methods. The common structural futures of these species are short and polarized PAN bonds, a pyramidal geometry at the P atom and an almost planar geometry at the N atoms. According to DFT calculations, these...
-
Billiard in a rotating half-plane
PublicationThe main objective of this research is to study the properties of a billiard system in an unbounded domain with moving boundary. We consider a system consisting of an infinite rod (a straight line) and a ball (a massless point) on the plane. The rod rotates uniformly around one of its points and experiences elastic collisions with the ball. We define a mathematical model for the dynamics of such a system and write down asymptotic...
-
Proximal primal–dual best approximation algorithm with memory
PublicationWe propose a new modified primal–dual proximal best approximation method for solving convex not necessarily differentiable optimization problems. The novelty of the method relies on introducing memory by taking into account iterates computed in previous steps in the formulas defining current iterate. To this end we consider projections onto intersections of halfspaces generated on the basis of the current as well as the previous...
-
Mathematical analysis of a generalised p53-Mdm2 protein gene expression model
PublicationWe propose the generalisation of the p53-Mdm2 protein gene expression model introduced by Monk (2003). We investigate the stability of a unique positive steady state and formulate conditions which guarantee the occurrence of the Hopf bifurcation. We show that oscillatory behaviour can be caused not only by time lag in protein transcription process, but also can be present in the model without time delay. Moreover, we investigate...
-
Acceleration waves in the nonlinear micromorphic continuum
PublicationWithin the framework of the nonlinear elastic theory of micromorphic continua we derive the conditions for propagation of acceleration waves. An acceleration wave, also called a wave of weak discontinuity of order two, can be treated as a propagating nonmaterial surface across which the second derivatives of the placement vector and micro-distortion tensor may undergo jump discontinuities. Here we obtain the acoustic tensor for...
-
Szacowanie złożoności czasowej projektu informatycznego
PublicationArtykuł analizuje czasową złożoność projektu informatycznego jako kwalifikowaną prognozę z uwzględnieniem doświadczeń modeli COCOMO. Na wstępie, dyskusji poddano zaproponowaną funkcję prognostyczną. Z kolei wskazano na szereg, także pozatechnicznych, czynników, mających wpływ na powodzenie projektu. Wreszcie pokazano formuły opisujące trójwymiarową integrację systemową w obszarze: osobowym, softwarowym i hardwarowym. W podsumowaniu...
-
Szacowanie złożoności czasowej projektu informatycznego
PublicationArtykuł analizuje złożoność projektu informatycznego jako kwalifikowaną prognozę z uwzglednieniem doświadczeń modeli COCOMO. Na wstepie, dyskusji poddano zaproponowaną funkcję prognostyczną. Z kolei wskazano na szereg, także pozatechnicznych, czynników, mających wpływ na powodzenie projektu. Wreszcie pokazano formuły opisujaace trójwymiarową integrację systemową w obrzasze: osobowym, softwarowym i hardwarowym. W podsumowaniu wskazano...
-
Port-Based Modelling of Distributed-Lumped Parameter Systems
PublicationThere in the paper is presented an uniform, port-based approach to modelling of both lumped and distributed parameter systems. Port-based model of the distributed system has been defined by application of bond graph methodology and distributed transfer function method (DTFM). The approach proposed combines versatility of port-based modelling and accuracy of distributed transfer function method. The concise representation of lumped-distributed...
-
On neutral differential equations and the monotone iterative method
PublicationThe application of the monotone iterative method to neutral differential equations with deviating arguments is considered in this paper. We formulate existence results giving sufficient conditions which guarantee that such problems have solutions. This approach is new and to the Authors' knowledge, this is the first paper when the monotone iterative method is applied to neutral first-order differential equations with deviating...
-
Comparison of Polish and Danish Approach to Promotion of Cycling
PublicationThe article describes two different approaches to promotion of cycling from Denmark and Poland. In the former the promotion locally from 2009 to 2015 has been supported financially by the national government and where initiatives partly have been financed by the national level. In Poland, the promotion has been implemented often as a result of bottom up initiatives and financed solely on local level often with the support of EU...
-
Elektryczne i magnetyczne statyczne podatności multipolowe jednoelektronowego atomu Diraca w stanie podstawowym
PublicationW rozprawie rozważono relatywistyczny atom jednoelektronowy w stanie podstawowym umieszczony w statycznym multipolowym polu elektrycznym i magnetycznym. Wykorzystano rachunek zaburzeń, wraz z rozwinięciem sturmowskim uogólnionej funkcji Greena-Diraca-Coulomba [R. Szmytkowski, JPhys. B 30 (1997) 825; errata 30 (1997) 2747], co umożliwiło wyznaczenie analitycznych wyrażeń dla podatności multipolowych pól dalekich i pól bliskich....
-
Concept of managing quality in baking industry, in vector representation
PublicationThe author introduced an innovative metrisable method of describing a manufacturing process. The idea of vector structure of a manufacturing process allows to formulate quantitative relations between the activity of input streams, elements of product quality, and measurable effects of losses. The structure was basis for the formulation of the concept of the process of managing product quality in the baking industry in a vector...
-
Combined thrust radial bearing of a submarine main shaft – Design and analysis of failure
PublicationThis paper presents an analysis of the combined thrust radial bearing of a submarine propulsion shaft. The lubrication system of the bearing is based on a fixed ring. The efficiency of the lubrication system depends on the shaft speed and temperature, which affects oil viscosity. In turn, the thrust bearing load also depends on the rotational speed of the shaft, because as the speed increases, the drag of the ship increases simultaneously,...
-
On well-posedness of the first boundary-value problem within linear isotropic Toupin–Mindlin strain gradient elasticity and constraints for elastic moduli
PublicationWithin the linear Toupin–Mindlin strain gradient elasticity we discuss the well-posedness of the first boundary-value problem, that is, a boundary-value problem with Dirichlet-type boundary conditions on the whole boundary. For an isotropic material we formulate the necessary and sufficient conditions which guarantee existence and uniqueness of a weak solution. These conditions include strong ellipticity written in terms of higher-order...
-
Recovery and Management of Postindustrial Spaces in the City on Selected Examples od European Implementations
PublicationUndeveloped, neglected and then abandoned post-industrial areas often located in a short distance from city centers have become, on one hand a major problem for city stewards due to the formation of dead urban tissue disturbing the continuity and cohesion of urbanized areas, on the other hand are spaces with high potential for a good location. The article aims to formulate, from the architectural and urban perspective, an answer...
-
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...
-
Injectable poloxamer/graphene oxide hydrogels with well‐controlled mechanical and rheological properties
PublicationAlthough significant progress has been made in the design and application of injectable hydrogels for biomedical applications, concurrent control of rheological and mechanical properties of injectable hydrogels has remained as an open challenge to the researchers. In this work, we introduce and put into practice a photo‐curable poloxamer (also known as Pluronic)/graphene oxide (Plu/GO) injectable hydrogel with well‐controlled rheological...
-
Microwave treatment in waste rubber recycling – recent advances and limitations
PublicationEnvironmentally-friendly microwave heating is increasingly used in polymer chemistry and technology. The selectivity and highly efficiency in the heat transfer present a huge advantage in systems based on recycling, improving their productivity and economic competitiveness. In case of the industrial recycling of waste rubbers, especially end-of-life tires, microwave-induced devulcanization and pyrolysis are nowadays considered...
-
The influence of feed rate and shear forces on the devulcanization process of ground tire rubber (GTR) conducted in a co-rotating twin screw extruder
Publication -
The emissions of monoaromatic hydrocarbons from small polymeric toys placed in chocolate food products
PublicationThe article presents findings on the emissions of selected monoaromatic hydrocarbons from children's toys placed in chocolate food products. The emission test system involved the application of a new type of microscale stationary emission chamber, μ-CTE™ 250. In order to determine the type of the applied polymer in the manufacture of the tested toys, Fourier transform infrared spectroscopy and thermogravimetric analysis coupled...