Filtry
wszystkich: 1958
-
Katalog
- Publikacje 1580 wyników po odfiltrowaniu
- Czasopisma 165 wyników po odfiltrowaniu
- Konferencje 27 wyników po odfiltrowaniu
- Osoby 57 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Kursy Online 72 wyników po odfiltrowaniu
- Wydarzenia 3 wyników po odfiltrowaniu
- Dane Badawcze 50 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: EQUATIONS WITH ADVANCED ARGUMENTS
-
Numerical methods in heat and fluid flow, PG_00057408
Kursy OnlineReiteration of information on thermodynamic cycles and extension of information on their modelling using commercial software tools. Presentation of balances, constitutive equations, how to set up conditions in CFD type codes. Equipment regulation and control in the context of heat exchangers.Presentation of the computational capabilities of the CFD calculation code ANSYS Fluent. Mass, momentum and energy balances in 0D and 3D terms.Analysis...
-
Challenges in providing support for management of evidence-based arguments
PublikacjaThe paper considers selected challenges related to the application of evidence based arguments and maps them on the tool support level. In particular, we consider: communication and teamwork, handling large arguments, evidence management and integration, argument assessment and communication, change control and reporting, evidence reuse, user data security and argument portfolio management. Then we explain how these challenges...
-
Processing of point cloud data retrieved from terrestrial laser scanning for structural modeling by Finite Element Method
PublikacjaFinite Element Method is one most popular contemporary method of strength analysis. The method is an advanced method for solving differential equations, based on discretization, which means that area is divided into finite elements. Each finite element has a solution of the equation approximated by specific functions and performing the actual calculations only for nodes of this division. Finite Element Method is widely used in...
-
Modelling the time-dependent behaviour of soft soils
PublikacjaTime-dependence of soft soils has already been thoroughly investigated. The knowledge on creep and relaxation phenomena is generally available in the literature. However, it is still rarely applied in practice. Regarding the organic soils, geotechnical engineers mostly base their calculations on the simple assumptions. Yet, as presented within this paper, the rate-dependent behaviour of soft soils is a very special and important...
-
Equations with Separated Variables on Time Scales
PublikacjaWe show that the well-known theory for classical ordinary differential equations with separated variables is not valid in case of equations on time scales. Namely, the uniqueness of solutions does not depend on the convergence of appropriate integrals.
-
Fractional differential equations with causal operators
PublikacjaWe study fractional differential equations with causal operators. The existence of solutions is obtained by applying the successive approximate method. Some applications are discussed including also the case when causal operator Q is a linear operator. Examples illustrate some results.
-
An approach to evaluation of arguments in trust cases
PublikacjaTrustworthiness of IT systems can be justified using the concept of a trust case. A trust case is an argument structure which encompasses justification and evidence supporting claimed properties of a system. It represents explicitly an expert's way of assessing that a certain object has certain properties. Trust cases can be developed collaboratively on the basis of evidence and justification of varying quality. They can be complex...
-
On the Peano Theorem for Some Functional Differential Equations on Time Scale
PublikacjaThe Peano Theorem for some functional differential equations on time scale is proved. Assumptions are of Caratheodory type. Two counter examples for false Peano theorems in the literature are presented.
-
Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges
PublikacjaThe article introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them
-
Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges
PublikacjaThe presentation introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them.
-
Expert assessment of arguments: a method and its experimental evaluation
PublikacjaArgument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant...
-
Parabolic Equations with Functional Dependence
PublikacjaWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence and prove theorems on the existence of solutions to parabolic differential-functional equations.
-
On Von Karman Equations and the Buckling of a Thin Circular Elastic Plate
PublikacjaWe shall be concerned with the buckling of a thin circular elastic plate simply supported along a boundary, subjected to a radial compressive load uniformly distributed along its boundary. One of the main engineering concerns is to reduce deformations of plate structures. It is well known that von Karman equations provide an established model that describes nonlinear deformations of elastic plates. Our approach to study plate deformations...
-
Integrating Confidence And Assurance Arguments
PublikacjaTo be considered compelling an assurance case should address its potential deficits, possibly with the use of a confidence argument. Assurance argument and confidence argument should be clearly separated and consistent at the same time. We propose a way of their integration with the use of an element representing rationale for each argumentation strategy. The rationale integrates confidence argument for a given argumentation step...
-
GENERAL DYNAMIC PROJECTING OF MAXWELL EQUATIONS
PublikacjaA complete – system of Maxwell equations is splitting into independent subsystems by means of a special dynamic projecting technique. The technique relies upon a direct link between field components that determine correspondent subspaces. The explicit form of links and corresponding subspace evolution equations are obtained in conditions of certain symmetry, it is illustrated by examples of spherical and quasi-one-dimensional waves.
-
Systems of Nonlinear Fractional Differential Equations
PublikacjaUsing the iterative method, this paper investigates the existence of a unique solution to systems of nonlinear fractional differential equations, which involve the right-handed Riemann-Liouville fractional derivatives D(T)(q)x and D(T)(q)y. Systems of linear fractional differential equations are also discussed. Two examples are added to illustrate the results.
-
Równania całkowe (Integral equations) 2022/2023
Kursy OnlineWFTIMS, studia II stopnia, kierunek: Matematyka, specjalność: Geometria i grafika komputerowa, sem. 3
-
Advanced Ship Control Methods
PublikacjaThe chapter presents two main streams of research in vessel control at sea: dynamic positioning (DP) of the vessel and decision support in case of collision at sea. The control structure and basic requirements for the DP system are defined. Selected issues of automatic control of a dynamically positioned vessel are discussed. A review of advanced methods of controlling a DP ship is carried out, taking into account the tasks of...
-
JOURNAL OF DIFFERENTIAL EQUATIONS
Czasopisma -
Functional delay fractional equations
PublikacjaIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.
-
A la recherche d’une coherence perdue – Possible Arguments for the Non-application of EU Law in Member States
PublikacjaThe European Union (EU) is an international organization which has a broad scope of competences that have been transferred to it by its Member States in the founding Treaties. The object of the article is to identify arguments raised, or that potentially might be raised, by national Constitutional Courts (and in the future possibly by other actors as well) to exclude in certain instances the application of EU law or EU jurisprudence...
-
Boundary problems for fractional differential equations
PublikacjaIn this paper, the existence of solutions of fractional differential equations with nonlinear boundary conditions is investigated. The monotone iterative method combined with lower and upper solutions is applied. Fractional differential inequalities are also discussed. Two examples are added to illustrate the results.
-
Action-reaction based synthesis of acoustic wavefield equations
PublikacjaThe analysis of acoustic fields is usually based on the well-known mathematics of second order partial differential equations called wave equations. The author explores the duality and symmetry of linear fluid mechanics and develops two distinct equations of acoustics on the basis of a causal approach to local small-scale phenomena. Wavefields that are solutions of these equations have different composition, the spherical pressure...
-
Hydraulic equations for vortex separators dimensioning
PublikacjaThe paper presents a set of hydraulic expressions developed to design vortex separators. These devices are used for gravitational removal of suspensions from wastewater. Measurements and theoretical considerations allowed the authors to formulate a mathematically simple velocity field model. Than, equations describing particle motion in the separator were derived. Finally, a technical procedure for hydraulic design of vortex separators...
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublikacjaInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
Advanced Macromodel Matrix Structure Cloning for FDTD
PublikacjaWe propose an improved macromodel-based techniquefor efficient analysis of the structures based on PhotonicCrystals (PhC). The technique involves a new structure of thecoupling matrix and advanced cloning of not only the macromodel matrices, but also the coupling matrices SE and SH.The method allows one to shorten considerably the preprocessingtime, the RAM usage and also the iterating speed of performingFDTD. With this...
-
PROPERTIES OF ONE DIMENSIONAL OPEN-CHANNEL STEADY FLOW EQUATIONS
PublikacjaIn this paper properties of discrete forms of one dimensional steady gradually varied flow equations are discussed. Such forms of flow equations are obtained as a result of approximation of their differential forms, which is required to solve them numerically. For such purpose explicit or implicit numerical approximation schemes for ordinary differential equations can be applied. It turns out that dependently on the chosen approximation...
-
Fundamental properties of solutions to fractional-order Maxwell's equations
PublikacjaIn this paper, fundamental properties of solutions to fractional-order (FO) Maxwell's equations are analysed. As a starting point, FO Maxwell's equations are introduced in both time and frequency domains. Then, we introduce and prove the fundamental properties of electromagnetic field in FO electromagnetics, i.e. energy conservation, uniqueness of solutions, and reciprocity. Furthermore, the algorithm of the plane wave simulation...
-
Inverse Flood Routing Using Simplified Flow Equations
PublikacjaThe paper considers the problem of inverse flood routing in reservoir operation strategy. The aim of the work is to investigate the possibility of determining the hydrograph at the upstream end based on the hydrograph required at the downstream end using simplified open channel flow models. To accomplish this, the linear kinematic wave equation, the diffusive wave equation and the linear Muskingum equation are considered. To achieve...
-
Using evidence based arguments to support trust
PublikacjaWprowadzono podstawowe koncepcje metodyki TRUST-IT: argumentu i dowodu, modelu argumentacji, szablonu argumentacji, oceny argumentu oraz kontekstu aplikacyjnego. Przedstawiono zakres funkcjonalności, modele udostepniania oraz politykę bezpieczeństwa informacji związane z usługami NOR-STA wspomagającymi zastosowania metodyki TRUST-IT. Przedstawiono również dotychczasowe doświadczenia związane z wdrażaniam uzług NOR-STA w różnych...
-
An advanced Thermal-FSI approach to flow heating/cooling
PublikacjaActually, two-way thermal-energy exchange between working fluid and solid material of a casing is a leading problem for modern – semi automatic – design techniques. Many questions should be solved, especially, the turbulent mode of thermal energy transport both in fluid and solid, should be re-examined and reformulated from the primary principles. In the present paper, a group of researchers from Energy Conversion Department of...
-
Multimode systems of nonlinear equations: derivation, integrability, and numerical solutions
PublikacjaWe consider the propagation of electromagnetic pulses in isotropic media taking a third-order nonlinearityinto account. We develop a method for transforming Maxwell's equations based on a complete set ofprojection operators corresponding to wave-dispersion branches (in a waveguide or in matter) with thepropagation direction taken into account. The most important result of applying the method is a systemof equations describing the...
-
Advanced Mechanics of Marine Structures II W2021/22
Kursy OnlineLecture and Laboratory classes Advanced Mechanics of Marine Structures II W2021/22
-
Boundary value problems for first-order dynamic equations
PublikacjaPraca dotyczy zagadnień związanych z istnieniem rozwiązań (ekstremalnych i jednego) dla problemów brzegowych dla równań dynamicznych pierwszego rzędu z opóźnionymi argumentami. Dyskutowane są również odpowiednie nierówności dynamiczne związane z zagadnieniami brzegowymi. Liczne przykłady ilustrują otrzymane wyniki.
-
Balance errors in numerical solutions of shallow water equations
PublikacjaThe analysis of the conservative properties of the shallow water equations is presented in the paper. The work focuses on the consistency of numerical solution of these equations with the conservation laws of mass and momentum. The investigations involve two different conservative forms which are solved by an implicit box scheme. The theoretical analysis supported by numerical experiments is carried out for rectangular channel...
-
FURTHER REMARKS ON THE NEO-CLASSICAL NAVIER-STOKES EQUATIONS
PublikacjaThe seminal Navier-Stokes equations have been stated yet before creation of principles of thermodynamics and the first and second laws. In the literature there is the common opinion that the Navier-Stokes equations cannot be taken as a thermodynamically correct model of “working fluid” which is able to describe transformation of “ heat” into “work” and vice versa. Therefore, in the paper, a new exposition of thermodynamically...
-
DIFFERENTIAL EQUATIONS
Czasopisma -
Coupled nonlinear Schrödinger equations in optic fibers theory
PublikacjaIn this paper a detailed derivation and numerical solutions of CoupledNonlinear Schr¨odinger Equations for pulses of polarized electromagnetic wavesin cylindrical fibers has been reviewed. Our recent work has been compared withsome previous ones and the advantage of our new approach over other methods hasbeen assessed. The novelty of our approach lies is an attempt to proceed withoutloss of information within the frame of basic...
-
Existence of solutions with an exponential growth for nonlinear differential-functional parabolic equations
PublikacjaWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence.We prove Schauder-type existence results for unbounded solutions. We also prove existence of maximal solutions for a wide class of differential functional equations.
-
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.
-
Solution of coupled integral equations for quantum scattering in the presence of complex potentials
PublikacjaIn this paper, we present a method to compute solutions of coupled integral equations for quantum scattering problems in the presence of a complex potential. We show how the elastic and absorption cross sections can be obtained from the numerical solution of these equations in the asymptotic region at large radial distances.
-
Existence of unbounded solutions to parabolic equations with functional dependence
PublikacjaThe 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).
-
Representing and appraising Toulmin model arguments in trust cases
PublikacjaThe paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
-
Numerical solution of boundary value problems with deviated arguments
PublikacjaZastosowano metodę różnicową, aby wyznaczyć przybliżone rozwiązanie problemubrzegowego z odchylonymi argumentami. Pokazano, że metoda różnicowa, przyodpowiednich warunkach, jest zbieżna do rozwiązania i podano oszacowaniabłędów.
-
An advanced thermal-FSI approach of an evaporation of air heat pump
PublikacjaThe paper presents selected problems of numerical modeling of an advanced thermal-FSI approach of evaporator of air heat pomp. The example of a fin-tube evaporator has been studied, focusing on obtaining of heat exchanger characteristics applying two-phase flow model for the in-tube refrigerant flow. Special attention is given to heat transfer between separated medium for different air velocity and changed refrigerant mass flow...
-
Advanced operating methods
PublikacjaSelected operating methods of resistive gas sensors were presented. The methods utilize flicker noise (1/f noise), which gives additional information about ambient gas when compared with the recorded changes of DC resistance only. Methods of flicker noise measurements were outlined. Recently developed prototype gas sensors comprising golden nanoparticle functionalized with organic ligands can generate intense flicker noise induced...
-
Application of the numerical-analytic method for systems of differential equations with parameter
PublikacjaThe numerical-analytic method is applied to systems of differential equations with parameter under the assumption that the corresponding functions satisfy the Lipschitz conditions in matrix notation. We also obtain several existence results for problems with deviations of an argument
-
Diffusion equations with spatially dependent coefficients and fractal Cauer-type networks
PublikacjaIn this article, we formulate and solve the representation problem for diffusion equations: giving a discretization of the Laplace transform of a diffusion equation under a space discretization over a space scale determined by an increment h > 0, can we construct a continuous in h family of Cauer ladder networks whose constitutive equations match for all h > 0 the discretization. It is proved that for a finite differences discretization...
-
Certain family of analytical solutions of nonlinear von Neumann equations
PublikacjaIn this paper we present a slight generalization of certain type of Darboux transformation, that may be used sub-sequently in a convenient way. This method allows to obtain families of solutions of nonlinear von Neumann equations, that are used in particular in DNA modeling.
-
Fractional equations of Volterra type involving a Riemann Liouville derivative
PublikacjaIn this paper, we discuss the existence of solutions of fractional equations of Volterra type with the Riemann Liouville derivative. Existence results are obtained by using a Banach fixed point theorem with weighted norms and by a monotone iterative method too. An example illustrates the results.