Wyszukiwarka
Filtry
wszystkich: 13495
wybranych: 11362
-
Katalog
- Publikacje 11362 wyników po odfiltrowaniu
- Czasopisma 225 wyników po odfiltrowaniu
- Konferencje 47 wyników po odfiltrowaniu
- Osoby 218 wyników po odfiltrowaniu
- Wynalazki 2 wyników po odfiltrowaniu
- Projekty 48 wyników po odfiltrowaniu
- Laboratoria 5 wyników po odfiltrowaniu
- Zespoły Badawcze 12 wyników po odfiltrowaniu
- Aparatura Badawcza 9 wyników po odfiltrowaniu
- Kursy Online 501 wyników po odfiltrowaniu
- Wydarzenia 33 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
- Dane Badawcze 1032 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MODELE RÓŻNICZKOWE
-
Metody różnicowe uwikłane dla cząstkowych równań różniczkowo funkcyjnych pierwszego rzędu
Publikacja -
Równania różniczkowe cząstkowe pierwszego rzędu.
PublikacjaKsiąż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ą.
Publikacja -
Implicit difference methods for Hamilton-Jacobi differential functional equations
PublikacjaKlasyczne 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
PublikacjaPrzedstawiono 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
PublikacjaKlasyczne 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
PublikacjaW 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
PublikacjaW 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ą
Publikacja -
Bifurkacje z łamaniem symetrii w zagadnieniu różniczkowo-funkcyjnym opisującym nieliniowe deformacje biologicznego klastra: metody wariacyjne
PublikacjaW 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
PublikacjaW 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.
-
Differential equations with delayed arguments
PublikacjaPraca 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.
-
Usability of Mobile Applications: A Consolidated Model
PublikacjaMobile 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...
-
Non-regular, incomplete and singular dynamical systems: impasse points indynamical systems
PublikacjaRozważ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
PublikacjaAssurance 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
PublikacjaW 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
PublikacjaPraca 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
PublikacjaAktywne 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
PublikacjaPodane 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
PublikacjaPraca 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
PublikacjaDla 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
PublikacjaThe 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
Publikacja -
A compact smart sensor based on a neural classifier for objects modeled by Beaunier's model
PublikacjaA 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...
-
The role and concept of sub-models in the smart fuzzy model of the internet mortgage market
PublikacjaThe 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....
-
Delay differential inequalities with initial time difference
PublikacjaPraca 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
PublikacjaCelem 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.
PublikacjaPrzeglą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
Publikacja -
Design and experimental evaluation of pod propulsor models for a large self-propelled ship model.
PublikacjaArtykuł 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...
-
Modele biznesu elektronicznego a modele komunikacji marketingowej
PublikacjaW 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.
-
Distributed MIND - A New Processing Model Based on Mobile Interactive Documents
PublikacjaObliczenia 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
PublikacjaIn 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...
-
Recurrence and differential relations for sphericial spinors
PublikacjaPraca 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
PublikacjaPraca 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.
-
Spurious Modes in Model Order Reduction in Variational Problems in Electromagnetics
PublikacjaIn 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...
-
Consensus models: Computational complexity aspects in modern approaches to the list coloring problem
PublikacjaArtykuł 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
PublikacjaSformuł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.
PublikacjaWykazano 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
Publikacja -
Toward a unified model of mobile Business Intelligence (m-BI) acceptance and use
PublikacjaFactors 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...
-
Generalized solutions of first order partial differential functional inequalities
PublikacjaW 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.
-
High speed milling vibration surveillance using modal model of the tool
PublikacjaPraca 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...
-
Collective modes of the extended Hubbard model with negativeUand arbitrary electron density
Publikacja -
Identification of the Vistula Mounting tower model using measured modal data
PublikacjaW 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ść...
-
Model neuronowy jako alternatywa dla numerycznego modelu okołodźwiękowego przepływu pary przez palisadę turbinową.
PublikacjaWystępowanie skośnej fali uderzeniowej w przepływie pary przez palisadę turbinową stanowi zagrożenie dla bezpiecznej pracy turbiny oraz dla jej elementów konstrukcyjnych. Detekcja oraz lokalizacja fali uderzeniowej, a także rozpoznanie przyczyny jej powstawania, nie są możliwe do osiągnięcia na drodze pomiarowej. Analizę zjawisk zachodzących wewnątrz kanału przepływowego umożliwiają natomiast modele numeryczne oraz neuronowe. Zaletą...
-
A numerical model to simulate the motion of a lifesaving module during its launching from the ship’s stern ramp
PublikacjaThe article presents a numerical model of object motion in six degrees of freedom (DoF) which is intended to be used to simulate 3D motion of a lifesaving module during its launching from a ship using a stern ramp in rough sea. The model, of relatively high complexity, takes into account both the motion of the ship on water in changing sea conditions, and the relative motion of the ramp with respect to the ship. The motion of the...
-
Model identification in urban structures revitalisation = Metody identyfikacji modeli stosowane w rewitalizacji budowli miejskich
PublikacjaW pracy zaprezentowano wybrane metody diagnostyki dynamicznej stosowane w identyfikacji modeli budowli zabytkowych. Do tego celu wykorzystano pomiary częstości i postaci drgań własnych budowli poddanych oddziaływaniom środowiskowych. Wykazano efektywność stosowanych metod identyfikacji parametrycznej modeli oraz identyfikacji uszkodzeń na przykładzie trzech budowli: dzwonnicy Archikatedry w Wilnie, wieży Twierdzy Wisłoujście w...
-
A new anisotropic bending model for nonlinear shells: Comparison with existing models and isogeometric finite element implementation
PublikacjaA new nonlinear hyperelastic bending model for shells formulated directly in surface form is presented, and compared to four existing prominent bending models. Through an essential set of elementary nonlinear bending test cases, the membrane and bending stresses of each model are examined analytically. Only the proposed bending model passes all the test cases, while the other bending models either fail or only pass the test cases for...
-
Hybrid of Neural Networks and Hidden Markov Models as a modern approach to speech recognition systems
PublikacjaThe aim of this paper is to present a hybrid algorithm that combines the advantages ofartificial neural networks and hidden Markov models in speech recognition for control purpos-es. The scope of the paper includes review of currently used solutions, description and analysis of implementation of selected artificial neural network (NN) structures and hidden Markov mod-els (HMM). The main part of the paper consists of a description...