Filters
total: 1388
filtered: 1264
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: UNBOUNDED DOMAINS
-
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano schematy różnicowe zagadnień początkowych dla nieliniowych parabolicznych równań różniczkowo funkcyjnych. Przedstawiono twierdzenie o oszacowaniu błędu rozwiązań przybliżonych dla równań różnicowo funkcyjnych typu Volterry z niewiadomą funkcją kilku zmiennych. Udowodniono twierdzenie o zbieżności jawnych schematów różnicowych. Podano przykłady numeryczne.
-
Cost minimization in wireless networks with a bounded and unbounded number of interfaces
PublicationPraca dotyczy problemu minimalizacji energii poprzez selektywne odłączanie urządzeń komunikacyjnych w wielointerfejsowych sieciach bezprzewodowych w taki sposób, by zapewnić realizację wymaganego grafu połączeń. Sformułowano problem optymalizacyjny, podano wyniki dotyczące jego trudności i zaproponowano algorytmy optymalizacyjne. Rozważono zarówno wariant, w którym liczba interfejsów komunikacyjnych jest parametrem stałym (narzuconym...
-
Cost minimisation in unbounded multi-interface networks
PublicationW pracy badano problem odłączania niektórych urządzeń komunikacyjnych w wielointerfejsowych sieciach bezprzewodowych w taki sposób, by zapewnić realizację wymaganego grafu połączeń przy jednoczesnej minimalizacji zużycia energii. Sformułowano problem optymalizacyjny, podano wyniki dotyczące jego trudności i zaproponowano algorytmy optymalizacyjne dla wariantu, w którym liczba interfejsów komunikacyjnych jest potencjalnie nieograniczona...
-
Numerical analysis of elastic wave propagation in unbounded structures
Publication -
Numerical analysis of elastic wave propagation in unbounded structures
PublicationThe main objective of this paper is to show the effectiveness and usefulness of the concept of an absorbing layer with increasing damping (ALID) in numerical investigations of elastic wave propagation in unbounded engineering structures. This has been achieved by the authors by a careful investigation of three different types of structures characterised by gradually increasing geometrical and mathematical description complexities....
-
Existence of unbounded solutions to parabolic equations with functional dependence
PublicationThe Cauchy problem for nonlinear parabolic differential-functional equations is considered. Under natural generalized Lipschitz-type conditions with weights, the existence and uniqueness of unbounded solutions is obtained in three main cases: (i) the functional dependence u(·); (ii) the functional dependence u(·) and ∂xu(·); (iii) the functional dependence u(·)and the pointwise dependence ∂xu(t,x).
-
Initial problems for neutral functional differential equations with unbounded delay.
PublicationSformułowano układ aksjomatów dla przestrzeni fazowej . Wykazano istnienie jednoznaczności rozwiązań zagadnienia Cauchy´ego. Dowód wykorzystuje metody porównawcze z nieliniowymi oszacowaniami dla danej funkcji.
-
Quasilinearization methods for nonlinear differential-functional parabolic equations: unbounded case
PublicationRozważamy zagadnienie Cauchy'ego dla nieliniowych równań parabolicznych z zależnością funkcyjną. Przedstawiamy rezultaty dotyczące zbieżności metody quasilinearyzacji dla rozwiązań nieograniczonych.
-
Driving force of acoustic streaming caused by aperiodic sound beamin unbounded volumes
PublicationRównanie dynamiczne kierujące lokalnej w czasie siłą radiacyjną ruchu wirowego wyprowadzono. Stwierdzono, iż zawiera ona trzy części: jedna stanowi wzór klasyczny, druga daje zero po uśrednieniu względem okresu fali akustycznej, lecz różni się od zera dla nieokresowego dźwięku. Trzecia składowa związana jest z małymi dyfrakcyjnymi efektami, zachodzącymi podczas propagacji wiązki. Przejście do wzoru klasycznego w przypadku źródła...
-
Partially prestressed concrete beams with bonded and unbonded strands
PublicationThis article relate the tests of partially prestressed concrete beams. There is presented the research programme - geometry of elements, method of loading, the materials and variables. There have been shown preliminary test results of prestressed concrete elements with bonded and unbonded strands, and compared to the test results of R.C. beam.
-
Topological degree for equivariant gradient perturbations of an unbounded self-adjoint operator in Hilbert space
PublicationWe present a version of the equivariant gradient degree defined for equivariant gradient perturbations of an equivariant unbounded self-adjoint operator with purely discrete spectrum in Hilbert space. Two possible applications are discussed.
-
Quantum Steering Inequality with Tolerance for Measurement-Setting Errors: Experimentally Feasible Signature of Unbounded Violation
Publicationuantum steering is a relatively simple test for proving that the values of quantum-mechanical measurement outcomes come into being only in the act of measurement. By exploiting quantum correlations, Alice can influence — steer — Bob ’ s physical system in a way that is impossible in classical mechanics, as shown by the violation of steering inequalities. Demonstrating this and similar quantum effects for systems of increasing size,...
-
Bounded solutions of odd nonautonomous ODE
PublicationBorsuk-Ulam type argument is used in order to prove exstence of nontrivial bounded solutions to some nonautonomous differential euations which are odd with respect to the spatial variable. A Poincare compactification trick is also applied.
-
A Simulative Comparison of Ship Domains and Their Polygonal Approximations
PublicationThe paper investigates the impact of a precise ship domain shape on the size of collision avoidance manoeuvres. The considered collision avoidance manoeuvres include both course and speed alterations. Various ship domains are compared with their polygonal approximations, which vary in the number of points of a domain contour and placement of these points. The best of all considered approximations is determined in the course of...
-
Review of ship safety domains: Models and applications
PublicationShip safety domain is a term which is widely used in research on collision avoidance and traffic engineering among others. Classic ship domains have been compared in multiple reports. However, up till now there has been no work summing up contemporary research in this field. The paper offers a systematic and critical review of the newer ship domain models and related research. It discusses multiple differences in approach to ship...
-
Sum Coloring of Bipartite Graphs with Bounded Degree
Publication -
Sum coloring of bipartite graphs with bounded degree.
PublicationArtykuł poświęcony jest złożoności obliczeniowej zagadnienia sumacyjnego kolorowania grafów dwudzielnych o ograniczonym stopniu. Zawiera dowód tego, że sumacyjne kolorowanie grafów dwudzielnych stopnia mniejszego równego 5 jest NP-zupełne oraz opis wielomianowego algorytmu, który optymalnie sumacyjnie koloruje grafy dwudzielne podkubiczne.
-
Performance‐driven modeling of compact couplers in restricted domains
PublicationFast surrogate models can play an important role in reducing the cost of EM-driven design closure of miniaturized microwave components. Unfortunately, construction of such models is challenging due to curse of dimensionality and wide range of geometry parameters that need to be included in order to make it practically useful. In this letter, a novel approach to design-oriented modeling of compact couplers is presented. Our method...
-
Distributed Inter-Domain Link Capacity Optimization for Inter-Domain IP/MPLS Routing
Publication -
Comparison of backscattered sea bottom echo modelling in the acoustic pressure domain and in the intensity domain
PublicationPrzedstawiono dwie metody modelowania rozpraszania wstecznego na dnie morskim: modelowania ciśnienia akustycznego opartego na aproksymacji Kirchhoffa oraz modelowania natężenia echa przy założeniu dominacji rozpraszania niekoherentnego. Porównano i przedyskutowano wyniki w odniesieniu do problemu poszukiwania jak najwłaściwszego opisu zjawiska rozpraszania sygnału akustycznego na dnie.
-
Edge-chromatic sum of trees and bounded cyclicity graphs
Publication -
IT Business Standards as an Ontology Domain
PublicationThe aim of this paper is to report a selection of Semantic Web aspects pertaining to ontology development activities in the domain of the IT business standard (TOGAF 9) such as formulating competency questions, conceptualization of the domain, resolution of the source knowledge deficiency and applying common design patterns in the OWL formalization. Authors also try to determine target groups that may benefit from such ontology...
-
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.
-
A distributed scheme for optimization of interdomain routing between collaborating domains
Publication -
Functional domains of Candida albicans glucosamine-6-phosphate synthase.
PublicationSkonstruowano oddzielnie dwie domeny syntazy GlcN-6-P z Candida albicans jako białka fuzyjne, tj. domenę glutaminazową oraz domenę izomerazową, zawierające sekwencje poliHis, odpowiednio na C- i N-końcu. Zoptymalizowano warunki nadekspresji domen w komórkach Escherichia coli. Oba białka oczyszczono do homogenności przy zastosowaniu chromatografii metalopowinowactwa oraz zbadano ich podstawowe właściwości. Wyznaczono parametry kinetyczne...
-
Deterministic rendezvous of asynchronous bounded-memory agents in polygonal terrains
PublicationWe consider two versions of the rendezvous problem: exact RV, when the points representing agents have to coincide at some time, and e-RV, when these points have to get at distance less than e in the terrain. In any terrain, each agent chooses its trajectory, but the movements of the agent on this trajectory are controlled by an adversary that may, e.g. speed up or slow down the agent.
-
On bounded load routings for modeling k-regular connection topologies
PublicationW pracy analizowane są problemy modelowania k-regularnych topologii sieci komputerowych z punktu widzenia routingu typu point-to-point. Zaprezentowane są algorytmy oraz przeprowadzona jest analiza złożoności obliczeniowej.
-
Deterministic rendezvous of asynchronous bounded-memory agents in polygonal terrains
PublicationTwo mobile agents, modeled as points starting at differentlocations of an unknown terrain, have to meet. The terrain is a polygon with polygonal holes. We consider two versions of this rendezvous problem: exact RV, when the points representing the agents have to coincide at some time, and epsilon-RV, when these points have to get at distance less than epsilon in the terrain. In any terrain, each agent chooses its trajectory, but...
-
Structure and evolution of the 4-helix bundle domain of Zuotin, a J-domain protein co-chaperone of Hsp70
PublicationThe J-domain protein Zuotin is a multi-domain eukaryotic Hsp70 co-chaperone. Though it is primarily ribosome-associated, positioned at the exit of the 60S subunit tunnel where it promotes folding of nascent polypeptide chains, Zuotin also has off-ribosome functions. Domains of Zuotin needed for 60S association and interaction with Hsp70 are conserved in eukaryotes. However, whether the 4-helix bundle (4HB) domain is conserved remains...
-
Performance-Driven Inverse/Forward Modeling of Antennas in Variable-Thickness Domains
PublicationDesign of contemporary antenna systems is a challenging endeavor. The difficulties are partially rooted in stringent specifications imposed on both electrical and field characteristics, demands concerning various functionalities, but also constraints imposed upon the physical size of the radiators. Furthermore, conducting the design process at the level of full-wave electromagnetic (EM) simulations, otherwise dictated by reliability,...
-
Reduced-Cost Microwave Modeling Using Constrained Domains and Dimensionality Reduction
PublicationDevelopment of modern microwave devices largely exploits full-wave electromagnetic (EM) simulations. Yet, simulation-driven design may be problematic due to the incurred CPU expenses. Addressing the high-cost issues stimulated the development of surrogate modeling methods. Among them, data-driven techniques seem to be the most widespread owing to their flexibility and accessibility. Nonetheless, applicability of approximation-based...
-
Improved Uniform Sampling in Constrained Domains for Data-Driven Modelling of Antennas
PublicationData-driven surrogate modelling of antenna structures is an attractive way of accelerating the design process, in particular, parametric optimization. In practice, construction of surrogates is hindered by curse of dimensionality as well as wide ranges of geometry parameters that need to be covered in order to make the model useful. These difficulties can be alleviated by constrained performance-driven modelling with the surrogate...
-
FDTD Simulations on Disjoint Domains with the Use of Discrete Green's Function Diakoptics
PublicationA discrete Green's function (DGF) approach to couple disjoint domains in the finite-difference time-domain (FDTD) grid is developed. In this method, total-field/scattered-field (TFSF) FDTD domains are associated with simulated objects whereas the interaction between them is modeled with the use of the DGF propagator. Hence, source and scatterer are simulated in separate domains and updating of vacuum cells, being of little interest,...
-
Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
Publication -
Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
PublicationW artykule rozważamy listowo-kosztowe kolorowanie wierzchołków i krawędzi grafu w modelu wierzchołkowym, krawędziowym, totalnym i pseudototalnym. Stosujemy programowanie dynamiczne w celu otrzymania algorytmów wielomianowych dla drzew. Następnie uogólniamy to podejście na dowolne grafy z ograniczonymi liczbami cyklomatycznymi i na ich multikolorowania.
-
Maps with bounded sequence of indices of interations and finitaly many periodic points
PublicationW pracy badane są związki pomiędzy globalną topologiczną strukturą przestrzeni wyrażoną w terminach charakterystyki Eulera-Poincar odwzorowań na niej określonych, a spełniających założenia z tytułu, a lokalnymi własnościami przestrzeni zdeterminowanymi przez zachowanie się tych odwzorowań w punkatach periodycznych.
-
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
PublicationThis chapter provides a taxonomy of Model-Based Testing (MBT) based on the approaches that are presented throughout this book as well as in the related literature. The techniques for testing are categorized using a number of dimensions to familiarize the reader with the terminology used throughout the chapters that follow. In this chapter, after a brief introduction, a general definition of MBT and related work on available MBT...
-
Expedited Variable-Resolution Surrogate Modeling of Miniaturized Microwave Passives in Confined Domains
PublicationDesign of miniaturized microwave components is largely based on computational models, primarily, full-wave electromagnetic (EM) simulations. EM analysis is capable of giving an accurate account for cross-coupling effects, substrate and radiation losses, or interactions with environmental components (e.g., connectors). Unfortunately, direct execution of EM-based design tasks such as parametric optimization or uncertainty quantification,...
-
OSC - domain oriented ontology creation system
PublicationOntologies are, as part of semantic web, a basic component to enrich content available in the Internet with a meaning understandable for computers. In this publication an architecture and functionality of a domain oriented web portal for collaborative creation and storage of ontologies is presented. The system is being created by Gdańsk University of Technology Electronics, Telecommunications and Informatics faculty's Department...
-
Enterprise Information Management in Cultural Heritage Domain
Publication -
A distributed scheme for inter-domain routing optimization
Publication -
Concrete-domain reasoning techniques in knowledge cartography
PublicationWiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...
-
Macromodels in the frequency domain analysis of microwave resonators.
PublicationW artykule zaprezentowana jest technika włączania makromodeli do metod siatkowych sformułowanych w dziedzinie częstotliwości.W odróżnieniu do poprzednich, nowy schemat nie wprowadza zależności częstotliwościowej do macierzy systemowej i dzięki temu może być użyta w analizie rezonatorów. Testy numeryczne pokazują wzrost dokładności obliczeń w szerokim zakresie częstotliwości, przy czym właściwości zbieżności iteracyjnego algorytmu...
-
Laplace domain BEM for anisotropic transient elastodynamics
PublicationIn this paper, we describe Laplace domain boundary element method (BEM) for transient dynamic problems of three-dimensional finite homogeneous anisotropic linearly elastic solids. The employed boundary integral equations for displacements are regularized using the static traction fundamental solution. Modified integral expressions for the dynamic parts of anisotropic fundamental solutions and their first derivatives are obtained....
-
The computational complexity of the backbone coloring problem for bounded-degree graphs with connected backbones
PublicationGiven a graph G, a spanning subgraph H of G and an integer λ>=2, a λ-backbone coloring of G with backbone H is a vertex coloring of G using colors 1, 2, ..., in which the color difference between vertices adjacent in H is greater than or equal to lambda. The backbone coloring problem is to find such a coloring with maximum color that does not exceed a given limit k. In this paper, we study the backbone coloring problem for bounded-degree...
-
Impact of Boundary Conditions on Acoustic Excitation of EntropyPerturbations in a Bounded Volume of Newtonian Gas
PublicationExcitation of the entropy mode in the field of intense sound, that is, acoustic heating, is theoreticallyconsidered in this work. The dynamic equation for an excess density which specifies the entropy mode,has been obtained by means of the method of projections. It takes the form of the diffusion equation withan acoustic driving force which is quadratically nonlinear in the leading order. The diffusion coefficient isproportional...
-
The saga of a fish: from a survival guide to closing lemmas
PublicationIn the paper by D. Burago, S. Ivanov and A. Novikov, “A survival guide for feeble fish”, it has been shown that a fish with limited velocity can reach any point in the (possibly unbounded) ocean provided that the fluid velocity field is incompressible, bounded and has vanishing mean drift. This result extends some known global controllability theorems though being substantially nonconstructive. We give a fish a different recipe...
-
Portable parallel simulator using MPI for 2D and 3D domains: design and performance testing
PublicationW artykule prezentujemy szczegóły projektowo-implementacyjne naszego modularnego kodu symulacyjnego z wykorzystaniem MPI, w tym nakładaniem obliczeń i komunikacji. Podkreślamy modularność naszej implementacji pozwalającą na łatwą adaptację kodu dla innych zasotosowań. Prezentujemy związek pomiędzy przyspieszeniem obliczeń, rozmiarem i kształtami trójwymiarowych domen z różnymi stosunkami liczby węzłów aktualizowanych przez procesor...
-
Expedited Yield-Driven Design of High-Frequency Structures by Kriging Surrogates in Confined Domains
PublicationUncertainty quantification is an important aspect of engineering design, also pertaining to the development and performance evaluation of high-frequency structures systems. Manufacturing tolerances as well as other types of uncertainties, related to material parameters (e.g., substrate permittivity) or operating conditions (e.g., bending) may affect the characteristics of antennas or microwave devices. For example, in the case...
-
Simulation-Driven Antenna Modeling by Means of Response Features and Confined Domains of Reduced Dimensionality
PublicationIn recent years, the employment of full-wave electromagnetic (EM) simulation tools has become imperative in the antenna design mainly for reliability reasons. While the CPU cost of a single simulation is rarely an issue, the computational overhead associated with EM-driven tasks that require massive EM analyses may become a serious bottleneck. A widely used approach to lessen this cost is the employment of surrogate models, especially...