Technical Transactions iss. 4. Fundamental Sciences iss. 1-NP

Technical Transactions iss. 4. Fundamental Sciences iss. 1-NP

Type: Collection of magazine numbers
Release date

Collection items (8)


Bug Fixing Tool (BFT) for continuous integration

Leguła, Przemysław, Zabawa, Piotr
Article
2013
The paper is focused on the bug fixing handling business process rather then just on fixing a bug. The tool presented here is dedicated to supporting the business process of bug fixing and not to bug fixing itself. It is addressed especially to small teams having a common testing team.

Distribution-valued functions

Wiciak, Margareta
Article
2013
We study continuity and differentiability of a distribution-valued function. It is understood in a strong sense due to inductive limit topology.

The non-existence of the Fejer‒Riesz type result for some weighted Bergman spaces in the unit disc

Jakóbczak, Piotr
Article
2013
In this note, we consider the analogues of the classical Fejer‒Riesz inequality for some weighted Hilbert spaces of analytic functions in the unit disc. We prove that for some class of such spaces, the Fejer-Riesz inequality type results do not hold.

Continuous dependence of mild solutions, on initial nonlocal data, of the nonlocal evolution Cauchy problems

Byszewski, Ludwik, Winiarska, Teresa
Article
2013
The aim of the paper is to prove two theorems on continuous dependence of mild solutions, on initial nonlocal data, of the nonlocal Cauchy problems. For this purpose, the method of semigroups and the theory of cosine family in Banach spaces are applied. The paper is based on publications [1–5].

On nonlocal evolution problem for the equation of the first order

Byszewski, Ludwik, Winiarska, Teresa
Article
2013
The aim of the paper is to prove theorems about the existence and uniqueness of mild and classical solutions of a nonlocal semilinear functional-differential evolution Cauchy problem. The method of semigroups, the Banach fixed-point theorem and theorems (see [2]) about the existence and uniqueness of the classical solutions of the first-order differential evolution problems in a not necessarily reflexive Banach space are used to prove the existence and uniqueness of the solutions of the problems considered. The results obtained are based on publications [1–6].

On abstract nonlocal Cauchy problem

Bednarz, Adam, Byszewski, Ludwik
Article
2013
In this paper, we investigate the existence and uniqueness of the classical solution to an abstract nonlocal Cauchy problem. For this purpose, we apply a notion of mild solution and the Banach contraction theorem.

Resonance phenomena in micro/nanoelectromechanical systems

Foryś, Anna, Foryś, Andrzej S.
Article
2013
In the paper, some aspects of nonlinearity of micro/nanoelectromechanical systems (MEMS/ NEMS) are presented. Because of great values of strains of micro/nanobeams the nonlinear description is necessary. Particularly, the nonlinear inertia term is added to equation relating to motion of the beam. Numerical calculations of resonance curves and instability regions are given. Results are presented on graphs.