Filters
total: 13495
-
Catalog
- Publications 11362 available results
- Journals 225 available results
- Conferences 47 available results
- People 218 available results
- Inventions 2 available results
- Projects 48 available results
- Laboratories 5 available results
- Research Teams 12 available results
- Research Equipment 9 available results
- e-Learning Courses 501 available results
- Events 33 available results
- Offers 1 available results
- Open Research Data 1032 available results
displaying 1000 best results Help
Search results for: MODELE RÓŻNICZKOWE
-
Metody różnicowe uwikłane dla cząstkowych równań różniczkowo funkcyjnych pierwszego rzędu
Publication -
Równania różniczkowe cząstkowe pierwszego rzędu.
PublicationKsiążka zawiera systematyczny wykład teorii równań różniczkowych cząstkowych pierwszego rzędu w ujęciu klasycznym. Zaprezentowano w niej metodę charakterystyk dla równań różniczkowych quasi liniowych oraz dla równań nieliniowych.Rozważane są także układy równań różniczkowych oraz metod i charakterystyk.Dużo miejsca zajmują nierówności różniczkowe i ich zastosowania. Przedstawione są też metody aproksymacji rozwiązań równań...
-
Równania różniczkowe paraboliczne z zależnością funkcyjną.
Publication -
Implicit difference methods for Hamilton-Jacobi differential functional equations
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami odpowiedniego układu quasiliniowego równań różniczkowo funkcyjnych. Rozpatrywana metoda numeryczna jest uwikłana względem zmiennej przestrzennej. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
Oscylacyjny charakter rozwiązań pewnego równania różniczkowego
PublicationPrzedstawiono metody pozwalające określić oscylacyjny charakter rozwiązań pewnego typu równania różniczkowego stosowanego w technice. Podano przykłady równań, których rozwiązania są oscylacyjne i na tej podstawie określono, które układy dynamiczne są dodatnie.
-
Implicit difference methods for first order partial differential functional equations
PublicationKlasyczne rozwiązania problemów początkowo brzegowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
Implicit difference methods for quasilinear differential functional equations on the Haar pyramid
PublicationW pracy prezentowana jest klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Metody numeryczne są uwikłane względem zmiennej czasowej. Istnienie rozwiązania przybliżonego wykazane zostało przy użyciu nierówności różnicowych. Dowód stabilności bazuje na technice porównawczej z nieliniowym oszacowaniem typu Perona dla funkcji danych. Przedstawione zostały również przykłady numeryczne.
-
Badanie odporności wyłączników różnicowoprądowych na przejściowe prądy różnicowe
PublicationW artykule przedstawiono wyniki badań wybranych wyłączników różnicowoprądowych przy przejściowych prądach różnicowych. Omówiono przyczyny niejednakowej odporności na przejściowe prądy różnicowe wyłączników różnicowoprądowych bezzwłocznych o takim samym znamionowym prądzie różnicowym zadziałania. Zwrócono uwagę, że niektóre bezzwłoczne wyłączniki wysokoczułe mogą być bardziej odporne na przejściowy prąd różnicowy niż bezzwłoczne...
-
Metody różnicowe dla równań parabolicznych z silną zależnością funkcyjną
Publication -
Bifurkacje z łamaniem symetrii w zagadnieniu różniczkowo-funkcyjnym opisującym nieliniowe deformacje biologicznego klastra: metody wariacyjne
PublicationW pracy doktorskiej badane są matematyczne własności obiektu o elastycznym, wolnym brzegu, który został nazwany biologicznym klastrem. Brzeg klastra umocniony jest przy pomocy elastycznych połączeń z jądrem i jest wypełniony sprężonym gazem. Praca składa się z trzech rozdziałów. Pierwszy z nich ma charakter wprowadzający. Przypomniane są w nim pojęcia i fakty z zakresu analizy funkcjonalnej. Wprowadzone są definicje, twierdzenia...
-
Explicit difference schemes for nonlinear differential functional parabolic equations with time dependent coefficients - convergence analysis
PublicationW pracy wykazano zbieżność metody różnicowej dla zagadnienia początkowego dla równania parabolicznego bez pochodnych mieszanych, ze współczynnikami zależnymi od czasu, z nieliniową i nielokalną prawą stroną równania.
-
Usability of Mobile Applications: A Consolidated Model
PublicationMobile devices have become an integral part of the digital ecosystem, connecting people, businesses, and information around the world in ways never before possible. In particular, smartphones, tablets and other handheld devices equipped with mobile applications have changed every aspect of our lives. Today, a user can choose from nearly five million applications available for both Android and iOS operating systems. However, only...
-
Differential equations with delayed arguments
PublicationPraca dotyczy problemów brzegowych dla równań różniczkowych z opóźnionymi argumentami. Podane zostały warunki dostateczne na istnienie jednego rozwiązania bądź rozwiązań ekstremalnych. Dyskusja dotyczy również nierówności różniczkowych. Przykłady ilustrują otrzymane wyniki.
-
Non-regular, incomplete and singular dynamical systems: impasse points indynamical systems
PublicationRozważono nieregularne, niezupełne i osobliwe różniczkowe systemy dynamicznez zastosowaniem metod geometrii różniczkowej.
-
Uniform Model Interface for Assurance Case Integration with System Models
PublicationAssurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...
-
On differential-algebraic problems
PublicationW pracy podano warunki dostateczne na istnienie ekstremalnych lubkwazi rozwiązań dla problemów różniczkowo-algebraicznych z nieliniowymi warunkami brzegowymi. Problem istnienia jednego rozwiązania w/w zagadnień był również dyskutowany.
-
Ordinary differential equations with deviated arguments
PublicationPraca dotyczy istnienia i przybliżonych rozwiązań dla problemów brzegowych z opóźnionymi oraz wyprzedzonymi argumentami. Dyskutowano też pewne nierówności różniczkowe powyższego typu.
-
Aktywne modele kształtu i ich biometryczne zastosowania = Active shape models and their biometric applications
PublicationAktywne modele kształtu zostały zaproponowane w latach 90 XX wieku jako uniwersalna metoda lokalizowania i rozpoznawania obiektów. Koncepcje teoretyczne, na których metoda ta została oparta, wydają się obiecujące, jednak ich praktyczna wartość nie została jeszcze do końca zweryfikowana. Autorzy niniejszej pracy przeprowadzili testy aktywnych modeli kształtu za pomocą własnego systemu lokalizacji obiektów, szczególną uwagę zwracając...
-
Second-order differential equations with deviating arguments
PublicationPodane zostały warunki dostateczne na istnienie kwazi-rozwiązań oraz na istnienie jedynego rozwiązania dla równań różniczkowych rzędu drugiego z warunkami brzegowymi i odchylonymi argumentami. Otrzymane wyniki zilustrowano przykładami i wykresami.
-
First-order impulsive functional differential equations
PublicationPraca dotyczy problemów istnienia rozwiązań i kwazi-rozwiązań dla równań różniczkowych rzędu pierwszego z impulsami i nieliniowymi warunkami brzegowymi. Operator występujący w zagadnieniu jest typu opóźnionego. Badano również nierówności różniczkowe z impulsami związane z zagadnieniem wyjściowym. Otrzymane wyniki zilustrowano na przykładach.
-
Fractional differential equations with deviating arguments
PublicationDla równań różniczkowych typu ułamkowego, zostały podane warunki dostateczne na istnienie jednego rozwiązania lub rozwiazań ekstremalnych. Nierówności różniczkowe są też doskutowane.
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
Sensitivity of binomial N‐mixture models to overdispersion: The importance of assessing model fit
Publication -
The role and concept of sub-models in the smart fuzzy model of the internet mortgage market
PublicationThe paper introduces some challenges of the fast growing mortgage market in Poland. One of these challenges is the need for a model development that could be used for various predictions related to this market. At the current stage of the model evelopment process our main goal is to propose and introduce sub-models the role of which would be to describe three different economic environments: stable, fast growing, and recession....
-
A compact smart sensor based on a neural classifier for objects modeled by Beaunier's model
PublicationA new solution of a smart microcontroller sensor based on a simple direct sensor-microcontroller interface for technical objects modeled by two-terminal networks and by the Beaunier’s model of anticorrosion coating is proposed. The tested object is stimulated by a square pulse and its time voltage response is sampled four times by the internal ADC of microcontroller. A neural classifier based on measurement data classifies the...
-
Delay differential inequalities with initial time difference
PublicationPraca dotyczy nierówności różniczkowych z argumentami opóźnionymi przy różnych warunkach początkowych. Podano twierdzenia porównawcze dla takich nierówności. Podano też warunki dostateczne na istnienie ekstremalnych rozwiązań odpowiednich równań różniczkowych z argumentami opóźnionymi.
-
Integracja modeli ocenowych rozwoju organizacji IT w modelu pozyskiwania i przetwarzania wiedzy
PublicationCelem rozdziału jest prezentacja Modelu Pozyskiwania i Przetwarzania wiedzy (MPPW) wspomagającego rozwój organizacji IT oraz pokazanie możliwości wprowadzenia do opracowanego rozwiązania różnych modeli ocenowych.
-
An optimal abstraction model for hardware multithreding in modern processor architectures.
PublicationPrzegląd technologii implementacji wątków sprzętowych. Propozycja abstrakcji maszyny wirtualnej SIMD (On-Demand Virtual Single Instruction Multiple Data machine) do optymalnego użycia wątków sprzętowych.
-
Finite Element model updating on experimental modal parameters
Publication -
Design and experimental evaluation of pod propulsor models for a large self-propelled ship model.
PublicationArtykuł przedstawia serię hydrodynamicznych badań swobodnych dwóch modeli pędnika podowego. Pędniki zostały zaprojektowane i zbudowane specjalnie dla dwóch wersji dużego modelu okrętu z własnym napędem, przeznaczonego do eksperymentów manewrowych. Jedna wersja jest napędzana pojedyńczym pędnikiem, druga jest wyposażona w dwa pędniki. Oba modele podów były badane w kanale obiegowym. Celem eksperymentu były pomiary sześciu składowych...
-
Modeles linguistiques
Journals -
GRAPHICAL MODELS
Journals -
STOCHASTIC MODELS
Journals -
Modele biznesu elektronicznego a modele komunikacji marketingowej
PublicationW artykule ukazano polskie i zagraniczne koncepcje modeli biznesu elektronicznego. Przedstawiono również powiązane z nimi modele komunikacji marketingowej w Internecie. Wzrost gospodarczy oraz szybki rozwój wymagają stosowania sprawdzonych modeli funkcjonowania na rynku elektronicznym. Konieczne staje się również dostosowanie modeli komunikacji marketingowej do nowych, zmieniających się potrzeb odbiorców informacji.
-
Matematyczne Modele Ekonomii
e-Learning CoursesPojęcie modelu ekonometrycznego - modele jednorównaniowe i wielorównaniowe. Rodzaje zmiennych. Estymacja modeli prostych i rekurencyjnych. Metoda zmiennych instrumentalnych (MZI). Model o równaniach współzależnych (MRW). Postać pierwotna i zredukowana MRW. Identyfikacja modeli MRW. Szacowanie formy zredukowanej MRW. Pośrednia MNK. Estymator 2MNK. Dynamiczne modele wielorównaniowe- zapis macierzowy. Teoria ekonomiczna. Dane statystyczne....
-
Distributed MIND - A New Processing Model Based on Mobile Interactive Documents
PublicationObliczenia w trybie zespołowym pozwalają na integrację działań ludzi i agentów systemowych w otwartym środowisku rozproszonym w celu rozwiązywania problemów formułowanych dynamicznie w trakcie pracy systemu. Problemy te najczęściej nie mają charakteru algorytmicznego, tzn. generowane rozwiązania nie mogłyby zostać wyliczone w skończonej liczbie kroków na podstawie danych charakteryzujących uczestników obliczeń. Autorzy proponują...
-
An Empirical Propagation Model for Mobile Radio Links in Container Terminal Environment
PublicationIn this paper, a novel empirical propagation model for mobile radio links in a container terminal environment is presented. Measurement propagation research carried out in the Deepwater Container Terminal (DCT) in Gdańsk, Poland is described, and the investigated environment is characterized. The results of the statistical evaluation of the new model are discussed. In addition, statistical tuning of the Walfisch–Ikegami model for...
-
Spurious Modes in Model Order Reduction in Variational Problems in Electromagnetics
PublicationIn this work, we address an everlasting issue in 2 model order reduction (MOR) in electromagnetics that has 3 remained unnoticed until now. Contrary to what has been 4 previously done, we identify for the very first time spurious 5 modes in MOR for time-harmonic Maxwell’s equations and 6 propose a methodology to remove their negative influence on the 7 reduced order model (ROM) response. These spurious modes 8 have nonzero resonance...
-
Recurrence and differential relations for sphericial spinors
PublicationPraca zawiera zestawienie kilkudziesięciu relacji rekurencyjnych i różniczkiowych, spełnianych przez spinory sferyczne (harmoniki sferyczne dla spinu 1/2).
-
On integro-differential equations with delayed arguments
PublicationPraca dotyczy problemów różniczkowo-całkowych z warunkami początkowymi oraz brzegowymi typu okresowego. Podano warunki na istnienie i jednoznaczność rozwiązania. Badania dotyczyły również nierówności różniczkowo-całkowych z argumentami typu opóżnionego. Podano przykłady, które mogą mieć zastosowanie w problemach inżynierskich.
-
Krzysztof Nyka dr hab. inż.
PeopleKrzysztof Nyka, received MSc (1986) PhD (2002) and DSc (2020) degrees in telecommunication and electrical engineering from the Faculty of Electronics, Telecommunications and Informatics (ETI) of Gdańsk University of Technology (GUT), Poland. He is currently an Associate Professor at the Department of Microwaves and Antenna Engineering, Faculty of ETI, GUT. Before his academic career, he worked for the electronic industry (1984-1986). Research...
-
Consensus models: Computational complexity aspects in modern approaches to the list coloring problem
PublicationArtykuł poświęcony jest nowym modelom konsensusowego kolorowania grafów. Artykuł zawiera omówienie trzech takich modeli, analizę ich złożoności obliczeniowej oraz wielomianowy algorytm dla częściowych k-drzew, dla tzw. modelu addytywnego.
-
Functional differential equations
PublicationSformułowano dość ogólne warunki dostateczne na to, aby odpowiednio zdefiniowane ciągi monotoniczne były zbieżne do jedynego, w pewnym segmencie, rozwiązania zagadnienia początkowego dla funkcyjnych równań różniczkowych. Omawiane równanie jest ogólne, a np. zwyczajne równania różniczkowe czy równania różniczkowo-całkowe są jego szczególnymi przypadkami.
-
Infinite systems of hyperbolic functional differential equations. Ukr.Mat. Zurn.*2003 t. 55 nr 12 s. 1678-1696 bibliogr. 21 poz. Nieskończone układy hiperboliczne równań różniczkowo-funkcyjnych.
PublicationWykazano istnienie prawie klasycznego rozwiązania zagadnienia Cauchy´ego.Dowód wykorzystuje metodę bicharakterystyk i nierówności całkowo-funkcyjne.
-
Toward a unified model of mobile Business Intelligence (m-BI) acceptance and use
Publication -
Toward a unified model of mobile Business Intelligence (m-BI) acceptance and use
PublicationFactors affecting mobile business intelligence (m-BI) acceptance and use have become an increasingly important topic in practice due to the growing complexity of organizations, and their underlying information systems (IS). Since, one can notice considerable interest in m-BI, however, to the best of our knowledge few studies (if any) aim to synthesize the existing body of knowledge with regards to the factors affecting m-BI acceptance...
-
Collective modes of the extended Hubbard model with negativeUand arbitrary electron density
Publication -
Identification of the Vistula Mounting tower model using measured modal data
PublicationW pracy przedstawiono problem identyfikacji pięcioparametrowego modelu zabytkowej wieży twierdzy Wisłoujście. Poszukiwane parametry wyznaczono jako rozwiązanie problemu minimalizacji błędu średniokwadratowego pomierzonych dwóch pierwszych częstości i pierwszej postaci drgań własnych. Do tego celu wykorzystano hierarchiczną procedurę minimalizacji przy zastosowaniu analizy wrażliwości. Analiza numeryczna potwierdziła efektywność...
-
High speed milling vibration surveillance using modal model of the tool
PublicationPraca poświęcona jest nadzorowaniu drgań wirujących narzędzi w nowoczesnych frezarkach. Przedmiotem rozważań jest proces frezowania szybkościowego smukłym frezem kulistym na 5-osiowym centrum obróbkowym Deckel Maho DMU 50eVolution. Frezowanie smukłymi narzędziami jest często stosowane w przypadku nowoczesnych centrów obróbkowych. Uzasadnienie technologiczne wynika z konieczności dokładnego wykonywania złożonych kształtów geometrycznych...
-
Generalized solutions of first order partial differential functional inequalities
PublicationW pracy rozważa się zagadnienia początkowo brzegowe dla nieliniowych równań różniczkowo funkcyjnych cząstkowych pierwszego rzędu. Podano dowód jednoznaczności rozwiązań uogólnionych. Oparty jest on na twierdzeniu porównawczym dla nierówności różniczkowo funkcyjnych w sensie Caratheodory'ego. Prezentowane jest twierdzenie o uogólnionych rozwiązaniach nierówności różniczkowo funkcyjnych.