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 57
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ł:
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ł:
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ł
Tytuł:
A simultaneous localization and tracking method for a worm tracking system
Autorzy:
Kowalski, M.
Kaczmarek, P.
Kabaciński, R.
Matuszczak, M.
Tranbowicz, K.
Sobkowiak, R.
Powiązania:
https://bibliotekanauki.pl/articles/330526.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
Caenorhabditis elegans behavior
worm tracking
computer vision
image processing
feature extraction
wizja komputerowa
przetwarzanie obrazu
ekstrakcja cech
Opis:
The idea of worm tracking refers to the path analysis of Caenorhabditis elegans nematodes and is an important tool in neurobiology which helps to describe their behavior. Knowledge about nematode behavior can be applied as a model to study the physiological addiction process or other nervous system processes in animals and humans. Tracking is performed by using a special manipulator positioning a microscope with a camera over a dish with an observed individual. In the paper, the accuracy of a nematode’s trajectory reconstruction is investigated. Special attention is paid to analyzing errors that occurred during the microscope displacements. Two sources of errors in the trajectory reconstruction are shown. One is due to the difficulty in accurately measuring the microscope shift, the other is due to a nematode displacement during the microscope movement. A new method that increases path reconstruction accuracy based only on the registered sequence of images is proposed. The method Simultaneously Localizes And Tracks (SLAT) the nematodes, and is robust to the positioning system displacement errors. The proposed method predicts the nematode position by using NonParametric Regression (NPR). In addition, two other methods of the SLAT problem are implemented to evaluate the NPR method. The first consists in ignoring the nematode displacement during microscope movement, and the second is based on a Kalman filter. The results suggest that the SLAT method based on nonparametric regression gives the most promising results and decreases the error of trajectory reconstruction by 25% compared with reconstruction based on data from the positioning system.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 3; 599-609
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Actuator fault diagnosis for flat systems: a constraint satisfaction approach
Autorzy:
Seydou, R.
Raissi, T.
Zolghadri, A.
Efimov, D.
Powiązania:
https://bibliotekanauki.pl/articles/330244.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
fault detection
input observer
flat systems
consistency techniques
detekcja uszkodzeń
technika zgodności
Opis:
This paper describes a robust set-membership-based Fault Detection and Isolation (FDI) technique for a particular class of nonlinear systems, the so-called flat systems. The proposed strategy consists in checking if the expected input value belongs to an estimated feasible set computed using the system model and the derivatives of the measured output vector. The output derivatives are computed using a numerical differentiator. The set-membership estimator design for the input vector takes into account the measurement noise thereby making the consistency test robust. The performances of the proposed strategy are illustrated through a three-tank system simulation affected by actuator faults.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2013, 23, 1; 171-181
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 57

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