Ten serwis zostanie wyłączony 2025-02-11.
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Znaleziono wyników: 9

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  state equation
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
Despite intensive development of numerical methods of resolution of ordinary differential equations, we still seek analytical solutions of these equations in the algebraic form. The analytical solution in an algebraic form, is very convenient in case of investigation of the course of solution
in a large interval of changes of parameters, it also gives more qualitative informations. This concerns first of all linear equations which are the most often met models of physical objects. Important advantage of these solutions is also their open form regarding established state of the system. The paper proves existence of algebraic forms of solutions of control vectors with components: exponential, sinusoidal with different circular frequencies and sinusoidal multiple. Also solutions for other kind of control vectors which are mentioned in the literature are presented.
Mniej
Więcej
2
Content available remote Narrowing Petri Net State Spaces Using the State Equation
|
2001
|
tom Vol. 47, nr 3,4
325-335
EN
Given a (possibly partially defined) state, all count vectors of transition sequences reaching that state are solutions to a corresponding Petri net state equation. We propose a search strategy where sequences corresponding to a minimal solution of the state equation are explored first. Then
step by step the search space is relaxed to arbitrary count vectors. This heuristics relies on the observation that in many (though provably not in all) cases, minimal solutions of the state equation can be realized as a firing sequence. If no target state is reachable, either the state equation does not have solutions, or our search method would yield the full state space. We study the impact of the state equation on reachability, present an algorithm that exploits information from the state equation and discuss its application in stateless search as well as its combination with stubborn set reduction.
Mniej
Więcej
EN
A new approach for construction of an object maneuvering model for evaluation of movement trajectory using Kalman filter is proposed. The approach proposed is based on application of the object's dynamic equations. Such approach is better for obtaining adequate models of object maneuvering in
comparison with the known ones. The state equations of Kahnan filter are derived for describing the movement of a ship maneuvering by the heading.
Więcej
4
Content available remote 3D multistage computations of turbine flows using different state equations
EN
The paper describes the implementation of a modified state equation for perfect gas and Tammann equation into a 3D RANS solver FlowER. In the modification the specific heats are assumed as linear functions of temperature. A 5-stage LP steam turbine stage is calculated, and the comparison of
results for constant and variable specific heats is illustrated. The modification significantly improves the correctness of determination of thermodynamic parameters in the entire flow region, especially in the exit stage.
Mniej
Więcej
5
Content available remote A Method to Prove Non-Reachability in Priority Duration Petri Nets
EN
Times and priorities are important concepts that are frequently used to model real-world systems. Thus, there exist extensions for Petri nets which allow to model times and priorities. In contrast, many proof techniques are based on classical (time-less and priority-less) Petri nets. However,
this approach fails frequently for timed and prioritized Petri nets. In this paper, we present an approach to prove non-reachability in a Priority Duration Petri net. We use for this proving technique a state equation as well as conditions for firing that include a priority rule and a maximal step rule. Our approach leads to a system of equations and inequalities, which provide us with a sufficient condition of non-reachability. We demonstrate the application of our approach with an example
Mniej
Więcej
6
Content available remote Using State Equation to Prove Non-Reachability in Timed Petrinets
EN
Non-reachability proofs in Timed Petrinets were usually done by proving the non-reachability within the underlying timeless net. However, in many cases this approach fails. In this paper, we present an approach to prove non-reachability within the actual Timed Petrinet. For this purpose, we
introduce a state equation for Timed Petrinets in analogy to timeless nets. Using this state equation, we can express reachability as a system of equations and inequations, which is solvable in polynomial time.
Mniej
Więcej
7
Content available remote Influence of electrostriction on state and continuity equations
EN
The electrostriction consists in the change of the solvent density, due to the presence of dissolved substance. This phenomenon has very important consequences for the state equation. The paper is devoted to the analysis of these consequences and to the formulation of the full equation of
state and its simplified versions, after the neglect of electrostriction. In the next order the equations of continuity of the solution and its components were considered. As a result the simplified versions of these equations were derived, rejecting the electrostriction and correcting the definition of the solution advection velocity.
Mniej
Więcej
PL
W pracy rozpatrzono określoną klasę liniowych dodatnich singularnych układów dyskretnych z jednym opóźnieniem zmiennych stanu o kanonicznych postaciach macierzy stanu. Podano analityczną postać rozwiązania równania stanu oraz rozpatrzono problemy punktowej zupełności i osiągalności.
Sformułowano definicje oraz podano warunki konieczne i wystarczające względnej punktowej zupełności oraz względnej osiągalności. Rozważania zilustrowano przykładem.
Mniej
Więcej
EN
The paper considers a class of linear singular positive discrete-time systems with unit delay with canonical forms of state matrices. An analytical form of the solution of the state-equation is derived and the problems of pointwise completeness and reachability are considered. The definitions
of relative pointwise completeness and relative reachability are introduced and necessary and sufficient conditions are given. The considerations are illustrated by example.
Mniej
Więcej
EN
Method for finding of the solution of the state equation for time-varying fractional discrete-time linear systems is proposed and computer algorithm is presented. The effectiveness of the proposed algorithm is demonstrated on numerical examples.
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
first rewind previous Strona / 1 next fast forward last