Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "för, R." wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 75
Tytuł:
Mesh r-Adaptation for Unilateral Contact Problems
Autorzy:
Beal, P.
Koko, J.
Touzani, R.
Powiązania:
https://bibliotekanauki.pl/articles/907893.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
sprężystość liniowa
unilateral contact
linear elasticity
mesh adaptivity
node movement
Opis:
We present a mesh adaptation method by node movement for two-dimensional linear elasticity problems with unilateral contact. The adaptation is based on a hierarchical estimator on finite element edges and the node displacement techniques use an analogy of the mesh topology with a spring network. We show, through numerical examples, the efficiency of the present adaptation method.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 1; 9-16
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
FDI(R) for satellites: how to deal with high availability and robustness in the space domain?
Autorzy:
Olive, X.
Powiązania:
https://bibliotekanauki.pl/articles/331376.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
system dyskretny
system hybrydowy
detekcja uszkodzeń
aerospace applications
discrete event system
hybrid system
diagnosis
fault detection
Opis:
The European leader for satellite systems and at the forefront of orbital infrastructures, Thales Alenia Space, is a joint venture between Thales (67%) and Finmeccanica (33%) and forms with Telespazio a Space Alliance. Thales Alenia Space is a worldwide reference in telecoms, radar and optical Earth observation, defence and security, navigation and science. It has 11 industrial sites in 4 European countries (France, Italy, Spain and Belgium) with over 7200 employees worldwide. Satellite evolution and the wish to design more autonomous missions imply the enhancement of the satellite architecture and special attention paid to fault management (i.e., Fault Detection, Isolation and Recovery, or FDIR, in space). Nevertheless, the constraints on FDIR techniques and strategies remain the same as for standard missions: robustness, reactive detection, quick isolation/identification and validation. This paper gives an introduction to Fault Tolerance (FT) in the space domain and some principles for the coming FT architectures. The current context of FDIR is presented by describing the approach implemented on telecommunication satellites and, more precisely, on one of the most FDIR sensible subsystems: the AOCS (Attitude and Orbit Control System). Following the current state of FDIR in the space domain, some perspectives are given such as a centralized distributed FDIR strategy for the next generation of autonomous satellites as well as some research tracks and hybrid diagnosis.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2012, 22, 1; 99-107
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Test Signal Design for Failure Detection: a Linear Programming Approach
Autorzy:
Scola, H. R.
Nikoukhah, R.
Delebecque, F.
Powiązania:
https://bibliotekanauki.pl/articles/908093.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
automatyka
failure detection
large scale programming
failure isolation
bounded perturbations
active detection
Opis:
A new methodology for the design of filters that permits failure detection and isolation of dynamic systems is presented. Assuming that the normal and the faulty behavior of a process can be modeled by two linear systems subject to inequality bounded perturbations, a method for the on-line implementation of a test signal, guaranteeing failure detection, is proposed. To improve the fault detectability of the dynamic process, appropriate test signals are injected into the system. All the computations required by the proposed method are implemented as the solution of large sparse linear optimization problems. A simple numerical example is given to illustrate the proposed procedure.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 515-526
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
KIS: An automated attribute induction method for classification of DNA sequences
Autorzy:
Biedrzycki, R.
Arabas, J.
Powiązania:
https://bibliotekanauki.pl/articles/330979.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
klasyfikacja
optymalizacja
anotacja
wzorzec
classification
optimization
annotation
patterns
Opis:
This paper presents an application of methods from the machine learning domain to solving the task of DNA sequence recognition. We present an algorithm that learns to recognize groups of DNA sequences sharing common features such as sequence functionality. We demonstrate application of the algorithm to find splice sites, i.e., to properly detect donor and acceptor sequences. We compare the results with those of reference methods that have been designed and tuned to detect splice sites. We also show how to use the algorithm to find a human readable model of the IRE (Iron-Responsive Element) and to find IRE sequences. The method, although universal, yields results which are of quality comparable to those obtained by reference methods. In contrast to reference methods, this approach uses models that operate on sequence patterns, which facilitates interpretation of the results by humans.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2012, 22, 3; 711-721
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Axisymmetric vibration for micropolar porous thermoelastic circular plate
Autorzy:
Kumar, R.
Kaushal, P.
Sharma, R.
Powiązania:
https://bibliotekanauki.pl/articles/266270.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
micropolar porous thermoelasticity
eigen value
Laplace and Hankel transforms
thermomechanical sources
porowatość termoelastyczna
transformata Laplace'a
transformata Hankela
Opis:
The present investigation is concerned with a two dimensional axisymmetric problem in a homogeneous isotropic micropolar porous thermoelastic circular plate by using the eigen value approach. The Laplace and Hankel transform are used to solve the problem. The expression of displacements, microrotation, volume fraction field, temperature distribution and stresses are obtained in the transformed domain subjected to thermomechanical sources. A computer algorithm is developed for numerical computations. To obtain the resulting quantities in a physical domain, a numerical inversion technique is used. The resulting quantities are depicted graphically for a specific model. Some special cases are also deduced.
Źródło:
International Journal of Applied Mechanics and Engineering; 2017, 22, 3; 583-600
1734-4492
2353-9003
Pojawia się w:
International Journal of Applied Mechanics and Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Energy Method for Elastic Problems With Non-Homogeneous Boundary Conditions
Autorzy:
Quintanilla, R.
Powiązania:
https://bibliotekanauki.pl/articles/907887.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
matematyka
weighted energy method
decay estimates
Navier equations
non-homogeneous boundary conditions
Opis:
In this paper we propose the weighted energy method as a way to study estimates of solutions of boundary-value problems with non-homogeneous boundary conditions in elasticity. First, we use this method to study spatial decay estimates in two-dimensional elasticity when we consider non-homogeneous boundary conditions on the boundary. Some comments in the case of harmonic vibrations are considered as well. We also extend the arguments to a class of three-dimensional problems in a cylinder. A section is devoted to the study of an ill-posed problem. Some remarks are presented in the last section of the paper.In this paper we propose the weighted energy method as a way to study estimates of solutions of boundary-value problems with non-homogeneous boundary conditions in elasticity. First, we use this method to study spatial decay estimates in two-dimensional elasticity when we consider non-homogeneous boundary conditions on the boundary. Some comments in the case of harmonic vibrations are considered as well. We also extend the arguments to a class of three-dimensional problems in a cylinder. A section is devoted to the study of an ill-posed problem. Some remarks are presented in the last section of the paper.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 1; 91-100
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Towards a Framework for Continuous and Discrete Multidimensional Systems
Autorzy:
Rabenstein, R.
Trautmann, L.
Powiązania:
https://bibliotekanauki.pl/articles/908258.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
automatyka
robotyka
multidimensional systems
partial differential equations
transfer functions
wave digital models
Opis:
Continuous multidimensional systems described by partial differential equations can be represented by discrete systems in a number of ways. However, the relations between the various forms of continuous, semi-continuous, and discrete multidimensional systems do not fit into an established framework like in the case of one-dimensional systems. This paper contributes to the development of such a framework in the case of multidimensional systems. First, different forms of partial differential equations of physics-based systems are presented. Secondly, it is shown how the different forms of continuous multidimensional systems lead to certain discrete models in current use (finite-difference models, multidimensional wave digital filters, transfer function models). The links between these discrete models are established on the basis of the respective continuous descriptions. The presentation is based on three examples of physical systems (heat flow, transmission of electrical signals, acoustic wave propagation).
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 1; 73-85
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synthesis of finite state machines for CPLDs
Autorzy:
Czerwiński, R.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/930019.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
synteza logiczna
FSM
kodowanie stanów
optymalizacja logiczna
CPLD
logic synthesis
state assignment
logic optimization
Opis:
The paper presents a new two-step approach to FSM synthesis for PAL-based CPLDs that strives to find an optimum fit of an FSM to the structure of the CPLD. The first step, the original state assignment method, includes techniques of two-level minimization and aims at area minimization. The second step, PAL-oriented multi-level optimization, is a search for implicants that can be shared by several functions. It is based on the graph of outputs. Results of experiments prove that the presented approach is especially effective for PAL-based CPLD structures containing a low number of product terms.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2009, 19, 4; 647-659
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An analytical iterative statistical algorithm for image reconstruction from projections
Autorzy:
Cierniak, R.
Powiązania:
https://bibliotekanauki.pl/articles/329708.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
computed tomography
image reconstruction from projections
statistical reconstruction algorithm
tomografia komputerowa
rekonstrukcja obrazu
algorytm rekonstrukcji
Opis:
The main purpose of the paper is to present a statistical model-based iterative approach to the problem of image reconstruction from projections. This originally formulated reconstruction algorithm is based on a maximum likelihood method with an objective adjusted to the probability distribution of measured signals obtained from an x-ray computed tomograph with parallel beam geometry. Various forms of objectives are tested. Experimental results show that an objective that is exactly tailored statistically yields the best results, and that the proposed reconstruction algorithm reconstructs an image with better quality than a conventional algorithm with convolution and back-projection.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 1; 7-17
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Adaptive compensators for pertrubed positive real infinite-dimensional systems
Autorzy:
Curtain, R. F.
Demetriou, M. A.
Ito, K.
Powiązania:
https://bibliotekanauki.pl/articles/908105.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
automatyka
robotyka
infinite dimensional systems
positive real systems
adaptive controllers
Opis:
The aim of this investigation is to construct an adaptive observer and an adaptive compensator for a class of infinite-dimensional plants having a known exogenous input and a structured perturbation with an unknown constant parameter, such as the case of static output feedback with an unknown gain. The adaptive observer uses the nominal dynamics of the unperturbed plant and an adaptation law based on the Lyapunov redesign method. We obtain conditions on the system to ensure uniform boundedness of the estimator dynamics and the parameter estimates, and the convergence of the estimator error. For the case of a known periodic exogenous input we design an adaptive compensator which forces the system to converge to a unique periodic solution. We illustrate our approach with a delay example and a diffusion example for which we obtain convincing numerical results.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 441-452
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An intial-value technique for self-adjoint singularly perturbed two-point boundary value problems
Autorzy:
Padmaja, P.
Aparna, P.
Gorla, R. S. R.
Powiązania:
https://bibliotekanauki.pl/articles/264933.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
wartość początkowa
wartość brzegowa
perturbacja procesu
initial value technique
boundary value problem
singular perturbation problem
Opis:
In this paper, we present an initial value technique for solving self-adjoint singularly perturbed linearvboundary value problems. The original problem is reduced to its normal form and the reduced problem is converted to first order initial value problems. This replacement is significant from the computational point of view. The classical fourth order Runge-Kutta method is used to solve these initial value problems. This approach to solve singularly perturbed boundary-value problems is numerically very appealing. To demonstrate the applicability of this method, we have applied it on several linear examples with left-end boundary layer and rightend layer. From the numerical results, the method seems accurate and solutions to problems with extremely thin boundary layers are obtained.
Źródło:
International Journal of Applied Mechanics and Engineering; 2020, 25, 1; 106-126
1734-4492
2353-9003
Pojawia się w:
International Journal of Applied Mechanics and Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Notes on a linguistic description as the basis for automatic image understanding
Autorzy:
Tadeusiewicz, R.
Ogiela, M. R.
Szczepaniak, P. S.
Powiązania:
https://bibliotekanauki.pl/articles/907865.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
rozumienie automatyczne
widzenie komputerowe
obraz cyfrowy
semantyka
przetwarzanie obrazu
automatic understanding
computer vision
digital image
semantics
image processing
Opis:
The main paradigm of image understanding and a concept for its practical machine realisation are presented. The crucial elements of the presented approach are the formalisation of human knowledge about the class of images that are to be automatically interpreted, a linguistic description and the realization of cognitive resonance.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2009, 19, 1; 143-150
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A comparative study on interval arithmetic operations with intuitionistic fuzzy numbers for solving an intuitionistic fuzzy multi-objective linear programming problem
Autorzy:
Vidhya, R.
Irene Hepzibah, R.
Powiązania:
https://bibliotekanauki.pl/articles/330813.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
fuzzy number
fuzzy arithmetic
linear programming problem
liczba rozmyta
arytmetyka rozmyta
programowanie liniowe
Opis:
In a real world situation, whenever ambiguity exists in the modeling of intuitionistic fuzzy numbers (IFNs), interval valued intuitionistic fuzzy numbers (IVIFNs) are often used in order to represent a range of IFNs unstable from the most pessimistic evaluation to the most optimistic one. IVIFNs are a construction which helps us to avoid such a prohibitive complexity. This paper is focused on two types of arithmetic operations on interval valued intuitionistic fuzzy numbers (IVIFNs) to solve the interval valued intuitionistic fuzzy multi-objective linear programming problem with pentagonal intuitionistic fuzzy numbers (PIFNs) by assuming different α and β cut values in a comparative manner. The objective functions involved in the problem are ranked by the ratio ranking method and the problem is solved by the preemptive optimization method. An illustrative example with MATLAB outputs is presented in order to clarify the potential approach.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2017, 27, 3; 563-573
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Natural quantum operational semantics with predicates
Autorzy:
Sawerwain, M.
Gierelak, R.
Powiązania:
https://bibliotekanauki.pl/articles/907907.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
obliczenia kwantowe
predykat
program kwantowy
kwantowy system przejścia
quantum computation
predicate notion for quantum programs
quantum labelled transition systems
Opis:
A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight generalisation of D’Hondt and Panagaden’s theorem about the quantum weakest precondition in terms of discrete support positive operator-valued measures.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2008, 18, 3; 341-359
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Methods for mining co–location patterns with extended spatial objects
Autorzy:
Bembenik, R.
Jóźwicki, W.
Protaziuk, G.
Powiązania:
https://bibliotekanauki.pl/articles/330860.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
spatial data mining
colocation patterns
extended objects
dane przestrzenne
eksploracja danych
obiekt rozszerzony
Opis:
The paper discusses various approaches to mining co-location patterns with extended spatial objects. We focus on the properties of transaction-free approaches EXCOM and DEOSP, and discuss the differences between the method using a buffer and that employing clustering and triangulation. These theoretical differences between the two methods are verified experimentally. In the performed tests three different implementations of EXCOM are compared with DEOSP, highlighting the advantages and downsides of both approaches.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2017, 27, 4; 681-695
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 75

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies