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ę "linear algebra" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    On solving selected problems of linear algebra by means of neural networks
    Zagadnienie rozwiązywania wybranych zadań algebry liniowej za pomocą sieci neuronowych
    Autorzy:
    Mrówczyńska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/395896.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    sieci neuronowe
    algebra liniowa
    neural networks
    linear algebra
    linear systems
    Opis:
    The paper presents selected practical applications and results of computer simulations from the field of numerical linear algebra realized by means of neural networks. Bearing in mind aspects of applications, it has been decided that priority should be given to the description of the problem of soling over-determined linear systems in the norm l_2 and the norm l_1.
    W pracy przedstawiono wybrane zastosowania praktyczne i wyniki symulacji komputerowych z zakresu numerycznej algebry liniowej, realizowanej za pomocą sieci neuronowych. Mając na względzie aspekty zastosowań, uznano za celowe nadać priorytet opisowi zagadnienia wyrównania nadokreślonych układów liniowych w normie l_2 oraz w normie l_1. Do standardowych operacji numerycznych zaliczono również algorytmy obliczania inwersji macierzy kwadratowych oraz wyznaczania ich wartości własnych i wektorów własnych.
    Źródło:
    Civil and Environmental Engineering Reports; 2011, 7; 5-17
    2080-5187
    2450-8594
    Pojawia się w:
    Civil and Environmental Engineering Reports
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    From arithmetic expressions to propositional formulae
    Autorzy:
    Stępień, L.
    Stępień, M. R.
    Powiązania:
    https://bibliotekanauki.pl/articles/121623.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    algebra liniowa
    programowanie deklaratywne
    SAT solver
    linear algebra
    declarative programming
    Opis:
    In papers [3], [4], [5] Authors presented a new method of solving some kinds of computational tasks in the area of linear algebra by applying SAT-solver as the highly optimized algorithms for solving the problem of propositional satisfiability. On input SAT-solver (cf. [1], [2]) takes a propositional formula in the clause form. In this paper we show in detail how any arithmetical expression can be translated into propositional formula in the CNF form skipping out its traditional form. For this, we define the notion of consistency of arithmetic and boolean valuations.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 135-143
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    George P. H. Styan - a celebration
    Autorzy:
    Coelho, Carlos
    Powiązania:
    https://bibliotekanauki.pl/articles/729852.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    Cochran's theorem
    distribution
    linear algebra
    quadratic forms
    Schur complements
    Opis:
    The first time I met George Styan was in July 2004 in Lisbon when he was on his way to the 11th ILAS Conference in Coimbra.
    But George had already been in Portugal before and I learned how much he was fond of Conventual, a very fine and nice old style restaurant in Lisbon. Then I also learned that George really is an appreciator of good food and a very well-educated wine drinker. With this detail in common it was really easy to become a good friend with George.
    Since then we met a number of times, the most significant of which was at the time of the 17th IWMS held in Tomar, Portugal, in 2008.
    Before this event, during a short stay of George and Evelyn in Lisbon, we had the opportunity to go to some nice spots like Sintra and to hang around a few nice places near Lisbon and even to attend a Leonard Cohen concert, together with some friends.
    Actually, even more than good food and a good wine, and more than a good mathematical challenge, George enjoys the company of his family and his friends. We may even say that more than Mathematics, it is his family and his friends that play and have always played a central role in his life. Everybody knows well how much he cares about Evelyn, the great woman behind the great man, and also everybody knows the looks in George's face when he meets the ones he cares about.
    Inevitably, besides addressing some of George's honors and also his scientific work and his interest in mathematics related stamps, it is based on a number of pictures, either taken by the author or by other friends and a couple of them even taken by George himself, that this little contribution to the celebration of George Styan's 75th birthday will be indeed more a celebration of the way George enjoys and nurtures the company of the ones he loves.
    Źródło:
    Discussiones Mathematicae Probability and Statistics; 2013, 33, 1-2; 7-40
    1509-9423
    Pojawia się w:
    Discussiones Mathematicae Probability and Statistics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Characteristic equations and stability of linear systems with inverse state matrices
    Równanie charakterystyczne oraz stabilność układów liniowych z odwrotnością macierzy stanu
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/312756.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Naukowo-Wydawniczy "SPATIUM"
    Tematy:
    algebra liniowa
    macierz odwrotna
    analiza numeryczna
    linear algebra
    invertible matrix
    numerical analysis
    Opis:
    The inverse of Frobenius matrices and the characteristic equations of the inverse systems are investigated. It is shown that the inverse system of continuous-time linear system is asymptotically stable if and only if the standard system is asymptotically stable and the inverse system of discrete-time linear system is asymptotically stable if and only if the standard system is unstable. The considerations are illustrated by numerical examples.
    Rozważane będzie odwrotność macierzy Frobeniusa oraz równanie charakterystyczne układów o macierzy odwrotnej. Wykazano, że liniowy układ ciągły o macierzy odwrotnej jest asymptotycznie stabilny wtedy i tylko wtedy gdy układ podstawowy jest asymptotycznie stabilny oraz że liniowy układ dyskretny o macierzy odwrotnej jest asymptotycznie stabilny wtedy i tylko wtedy gdy układ podstawowy jest niestabilny. rozważania zobrazowano przykładami numerycznymi.
    Źródło:
    Autobusy : technika, eksploatacja, systemy transportowe; 2017, 18, 6; 783-786, CD
    1509-5878
    2450-7725
    Pojawia się w:
    Autobusy : technika, eksploatacja, systemy transportowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modular technique of high-speed parallel computing on the sets of polynomials
    Autorzy:
    Selyaninov, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/121776.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    wielomiany
    zbiory wielomianów
    systemy liczb modułowych
    algebra liniowa
    polynomials
    polynomials sets
    linear algebra
    Opis:
    In this paper we present the modular computing structures (MCS) defined on the set of polynomials over finite rings of integers. This article is a continuation of research on the development of modular number systems (MNS) on arbitrary mathematical structures such as finite groups, rings and Galois fields [1-7].
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2012, 17; 69-76
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Further Results on Gbemi’s Method: The Extended Sarrus’ Rule to the Computations of the Determinant of n × n (n > 3) Matrices
    Autorzy:
    Sobamowo, M. G.
    Powiązania:
    https://bibliotekanauki.pl/articles/1031810.pdf
    Data publikacji:
    2020
    Wydawca:
    Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
    Tematy:
    Determinant
    Extended Sarrus’ rule
    Further results
    Gbemi’s method
    Linear algebra
    Matrix
    Opis:
    Over the years, the generally accepted fact is that the Sarrus’s rule which was developed by a French Mathematician, P. F. Sarrus in 1833, is only limited to finding the determinant of 3 × 3 Matrices. However, in my previous work [1] “On the Extension of Sarrus’ Rule to n × n (n > 3) Matrices: Development of New Method for the Computation of the Determinant of 4 × 4 Matrices” which was published in International Journal of Engineering Mathematics, vol. 2016, 14 pages, the possibility of extending the Sarrus’s rule to find the determinant of 4 × 4 matrices was displayed using the newly established Gbemi’s method. The simplicity, accuracy, ease of applications as well as comparatively low computational time and cost of the proposed Gbemi’s method were pointed out. In this further study, additional nine methods of extending the Sarrus’s rule to evaluate the determinant of 4 × 4 matrices are established. The further establishes the effectiveness, consistency for handy calculations, high accuracy and relatively low computational time of the new method. Therefore, with the aid of the generalized extended method to n × n, it could be stated that method will greatly reduce the computational and running time of most software that are largely based on matrices. Consequently, this will greatly reduce the computational cost.
    Źródło:
    World Scientific News; 2020, 147; 1-34
    2392-2192
    Pojawia się w:
    World Scientific News
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    New symmetric cryptosystem
    Nowy kryptosystem symetryczny
    Autorzy:
    Jelonek, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/209751.pdf
    Data publikacji:
    2011
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    wzorzec biometryczny
    bezpieczeństwo danych
    tożsamość cyfrowa
    kryptologia
    podpis cyfrowy
    informatyka kryminalistyczna
    symmetric cryptosystem
    private key
    quotient module
    linear algebra
    Opis:
    In this note we show how to use some simple algebraic concepts in symmetric cryptography. For a given number n ≥ 2 let M ⊂ Zⁿ be a free submodule of rank n of prime index [Zⁿ : M]=p. To code the information we use the algebraic structure of the quotient module Zⁿ / M. The private key is composed from the prime number p and some vectors v1,...vn ; w ∈ Zⁿ.
    W tej pracy stosujemy pewne proste algebraiczne koncepcje by zbudować nowy kryptosystem symetryczny. Dla danej liczby naturalnej n ≥ 2 niech M ⊂ Zⁿ będzie podmodułem wolnym rzędu n i indeksu pierwszego [Zⁿ : M]=p. Informacje kodujemy wykorzystując algebraiczną strukturę modułu ilorazowego Zⁿ / M. Klucz prywatny składa się z liczby pierwszej p i pewnych wektorów v1,...vn ; w ∈ Zⁿ.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2011, 60, 3; 415-420
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reliability assessment of repairable phased-mission system by monte carlo simulation based on modular sequence-enforcing fault tree model
    Ocena niezawodności naprawialnego systemu z misjami okresowymi za pomocą symulacji Monte Carlo w oparciu o modułowy model drzewa niezdatności z bramkami SEQ
    Autorzy:
    Liu, Chenxi
    Kramer, Achim
    Neumann, Stephan
    Powiązania:
    https://bibliotekanauki.pl/articles/301101.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    repairable
    phased-mission system
    modular reliability modeling
    improved linear algebra representation
    Monte Carlo simulation
    naprawialny
    system z misjami okresowymi
    modułowe modelowanie niezawodności
    udoskonalona reprezentacja algebry liniowej
    symulacja Monte Carlo
    Opis:
    Phased-mission system (PMS) is the system subject to multiple, consecutive and non-overlapping tasks. Much more complicated problems will be confronted when the PMS is repairable since the repairable system could perform the multi-phases mission with more diversity requirements. Besides, various maintenance strategies will directly influence the reliability analysis procedure. Most researches investigate those repairable PMSs that carry out the multi-phases mission with deterministic phase durations, and the mission fails once the system switches from up to down. In this case, one common maintenance strategy is that failed components are repairable as long as the system keeps in up state. However, many practical systems (e.g., construction machinery, agricultural machinery) may be involved in such multi-phases mission, which has uncertain phase durations but limited by a maximum mission time, within which failed components can be unconditional repaired, and the system can be restored from down state. Comparing with the former type of repairable PMS, the latter will also concern phase durations dependence, and both the system and components included have the state bidirectional transition. This paper makes new contributions to the reliability assessment of repairable PMSs by proposing a novel SEFT-MC method. Two types of repairable PMS mentioned above are considered. In our method, a specific sequence-enforcing fault tree (SEFT) is proposed to correctly depict failure logical relationships between the system and components included. In order to transfer the graphical fault tree (no matter its size and complexity) into a modular reliability model used in Monte Carlo (MC) simulation, an improved linear algebra representation (I-LAR) approach is introduced. Finally, a numerical example including two cases corresponding to the two types of repairable PMS is presented to validate the proposed method.
    System z misjami okresowymi (phased-mission system, PMS) to system, który wykonuje wiele następujących po sobie i nienakładających się na siebie zadań. W przypadku naprawialnych systemów PMS, analiza niezawodności jest o wiele bardziej skomplikowana, ponieważ system naprawialny może wykonywać misje wielofazowe o bardziej różnorodnych wymaganiach. Poza tym systemy takie wymagają zastosowania różnych strategii utrzymania ruchu, co ma bezpośredni wpływ na procedurę analizy niezawodności. Większość badaczy bada naprawialne systemy PMS, które wykonują misje wielofazowe, w których czas trwania fazy jest wielkością deterministyczną, a misja kończy się niepowodzeniem, gdy system przechodzi ze stanu zdatności do stanu niezdatności W takich przypadkach najczęściej przyjmuje się, że uszkodzone elementy można naprawić o ile system pozostaje w stanie zdatności. Jednak wiele systemów stosowanych w praktyce (t.j. maszyny budowlane czy maszyny rolnicze) może wykonywać misje wielofazowe, w których czas trwania fazy jest wielkością niepewną, ograniczoną jedynie przez maksymalny czas trwania misji, w którym to czasie uszkodzone komponenty mogą być bezwarunkowo naprawiane, dzięki czemu system może zostać przywrócony do stanu zdatności. W porównaniu z pierwszym rodzajem naprawialnego PMS, w drugim, czasy trwania faz są zależne od siebie. Ponadto, w systemie tego typu, zarówno poszczególne elementy, jak i cały system mogą przechodzić ze stanu zdatności do stanu niezdatności i odwrotnie. Niniejsza praca wnosi nowy wkład w ocenę niezawodności naprawialnych systemów PMS, proponując nowatorską metodę, która polega na wykorzystaniu dynamicznego drzewa niezdatności do przeprowadzenia symulacji Monte Carlo (SEFTMC). Rozważane są dwa wymienione powyżej typy naprawialnego PMS. W naszej metodzie zaproponowano drzewo niezdatności z bramkami SEQ (SEFT), które pozwala poprawnie zobrazować logiczne zależności między systemem a jego komponentami w zakresie uszkodzeń. Do przeniesienia graficznego drzewa niezdatności (bez względu na jego rozmiar i złożoność) do modułowego modelu niezawodności wykorzystywanego w symulacji Monte Carlo, zastosowano udoskonaloną metodę reprezentacji algebry liniowej (I-LAR). Poprawność proponowanej metody wykazano na przykładzie numerycznym obejmującym dwa przypadki odpowiadające dwóm omawianym typom naprawialnego PMS
    Źródło:
    Eksploatacja i Niezawodność; 2020, 22, 2; 272-281
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reduction of differential equations
    Autorzy:
    Skórnik, Krystyna
    Wloka, Joseph
    Powiązania:
    https://bibliotekanauki.pl/articles/1207630.pdf
    Data publikacji:
    2000
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    differential algebra
    linear differential equations
    operational calculus
    Opis:
    Let (F,D) be a differential field with the subfield of constants C (c ∈ C iff Dc=0). We consider linear differential equations (1) $Ly = D^{n}y + a_{n-1}D^{n-1}y+...+ a_{0}y = 0$, where $a_0,... ,a_n ∈ F$, and the solution y is in F or in some extension E of F (E ⊇ F). There always exists a (minimal, unique) extension E of F, where Ly=0 has a full system $y_1,... ,y_n$ of linearly independent (over C) solutions; it is called the Picard-Vessiot extension of F E = PV(F,Ly=0). The Galois group G(E|F) of an extension field E ⊇ F consists of all differential automorphisms of E leaving the elements of F fixed. If E = PV(F,Ly=0) is a Picard-Vessiot extension, then the elements g ∈ G(E|F) are n × n matrices, n= ord L, with entries from C, the field of constants. Is it possible to solve an equation (1) by means of linear differential equations of lower order ≤ n-1? We answer this question by giving neccessary and sufficient conditions concerning the Galois group G(E|F) and its Lie algebra A(E|F).
    Źródło:
    Banach Center Publications; 2000, 53, 1; 199-204
    0137-6934
    Pojawia się w:
    Banach Center Publications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Predicate Data Model in the Form of a Linear Space
    Autorzy:
    Shliakhov, V.
    Chetverykov, G.
    Bozhko, I.
    Shliakhova, N.
    Powiązania:
    https://bibliotekanauki.pl/articles/410990.pdf
    Data publikacji:
    2019
    Wydawca:
    Polska Akademia Nauk. Oddział w Lublinie PAN
    Tematy:
    predicate model
    linear space
    predicate algebra
    algebraic structure
    Opis:
    The restriction of the input set in the form of a positive cone of the space is not always correct. For instance, while studying the organ of vision, people are limited not only to positive, but also to radiation with not very high energies, because excessively intense can disturb the visual organ. In this particular case, a convex body of a linear space is a fairly acceptable model of the set of input signals. Therefore, we consider linear predicates with this domain of definition.
    Źródło:
    ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2019, 8, 2; 51-54
    2084-5715
    Pojawia się w:
    ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ring-like operations is pseudocomplemented semilattices
    Autorzy:
    Chajda, Ivan
    Länger, Helmut
    Powiązania:
    https://bibliotekanauki.pl/articles/728882.pdf
    Data publikacji:
    2000
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    pseudocomplemented semilattice
    Boolean algebra
    Boolean ring
    distributivity
    linear equation
    ideal
    congruence kernel
    Opis:
    Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 87-95
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rank and perimeter preserver of rank-1 matrices over max algebra
    Autorzy:
    Song, Seok-Zun
    Kang, Kyung-Tae
    Powiązania:
    https://bibliotekanauki.pl/articles/728962.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    max algebra
    semiring
    linear operator
    monomial
    rank
    dominate
    perimeter
    (U,V)-operator
    Opis:
    For a rank-1 matrix $A = a ⊗ b^{t}$ over max algebra, we define the perimeter of A as the number of nonzero entries in both a and b. We characterize the linear operators which preserve the rank and perimeter of rank-1 matrices over max algebra. That is, a linear operator T preserves the rank and perimeter of rank-1 matrices if and only if it has the form T(A) = U ⊗ A ⊗ V, or $T(A) = U ⊗ A^{t} ⊗ V$ with some monomial matrices U and V.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2003, 23, 2; 125-137
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Continuity of the Drazin inverse II
    Autorzy:
    Koliha, J.
    Rakočević, V.
    Powiązania:
    https://bibliotekanauki.pl/articles/1217910.pdf
    Data publikacji:
    1998
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    Banach algebra
    bounded linear operator
    generalized Drazin inverse
    continuity of the Drazin inverse
    Opis:
    We study the continuity of the generalized Drazin inverse for elements of Banach algebras and bounded linear operators on Banach spaces. This work extends the results obtained by the second author on the conventional Drazin inverse.
    Źródło:
    Studia Mathematica; 1998, 131, 2; 167-177
    0039-3223
    Pojawia się w:
    Studia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Remarks on stability of positive linear systems
    Autorzy:
    Mitkowski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/205542.pdf
    Data publikacji:
    2000
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    algebra macierzy
    dyskretny system sterowania
    liniowy system sterowania
    stabilność
    teoria sterowania
    asymptotic stability
    continous time system
    discrete-time system
    feedback
    matrix algebra
    nonnegative matrices
    positive linear systems
    RC circuits
    Opis:
    Spectral properties of nonegative matrices are considered. Asymptotic stability and stabilisation problems of positive discrete-time and continous-time linear systems by feedbacks are discussed. The electric RC-networks are presented as examples of positive systems. Numerical calculations were made using the MATLAB program.
    Źródło:
    Control and Cybernetics; 2000, 29, 1; 295-304
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      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