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ę "p-matrix" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
    Autorzy:
    Szmuc, Damian E.
    Powiązania:
    https://bibliotekanauki.pl/articles/2033853.pdf
    Data publikacji:
    2021-05-27
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Relevant logics
    non-transitive logics
    p-matrix
    weak Kleene algebra
    infectious logics
    Opis:
    We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined in terms of a \(p\)-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints.
    Źródło:
    Bulletin of the Section of Logic; 2021, 50, 4; 421-453
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Multivariable extension of m sequences for Fibonacci numbers in cryptography
    Autorzy:
    Prasad, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/970074.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    Fibonacci p-numbers
    Fibonacci numbers of order m
    golden mean
    code matrix
    Opis:
    In this paper, we introduce multivariable extension of m sequences of the Fibonacci number polynomials of order m and a new Sn matrix of order m. Consequently, we discuss various properties of the Sn matrix. The polynomial, derived therefrom, hj, contains m multiple variables which improves the cryptography protection and security, and complexity increases as m increases.
    Źródło:
    Control and Cybernetics; 2015, 44, 4; 519-526
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Strict spectral approximation of a matrix and some related problems
    Autorzy:
    Ziętak, Krystyna
    Powiązania:
    https://bibliotekanauki.pl/articles/1339193.pdf
    Data publikacji:
    1997
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    positive semi-definite matrix
    $c_p$-minimal approximation
    Moore-Penrose generalized inverse
    strict spectral approximation of a matrix
    singular values preserving functions
    Opis:
    We show how the strict spectral approximation can be used to obtain characterizations and properties of solutions of some problems in the linear space of matrices. Namely, we deal with (i) approximation problems with singular values preserving functions, (ii) the Moore-Penrose generalized inverse. Some properties of approximation by positive semi-definite matrices are commented.
    Źródło:
    Applicationes Mathematicae; 1996-1997, 24, 3; 267-280
    1233-7234
    Pojawia się w:
    Applicationes Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Badania i zastosowanie systemów FRCM na bazie włókien węglowych i P.B.O. przy wzmacnianiu konstrukcji historycznych
    Laboratory testing and application of FRCM systems based on carbon and P.B.O. fibres in strengthening of historical structures
    Autorzy:
    Raszczuk, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/1848336.pdf
    Data publikacji:
    2021
    Wydawca:
    PWB MEDIA Zdziebłowski
    Tematy:
    wzmacnianie
    FRCM
    matryca cementowa zbrojona tkaniną
    włókno węglowe
    PBO
    poli(p-fenyleno-benzobisoksazol)
    konstrukcja historyczna
    pierścień
    strengthening
    fabric reinforced cementitious matrix
    carbon fibre
    poly(p-phenylene benzobisoxazole)
    historical structure
    ring
    Opis:
    W pracy przedstawiono badania własne pierścieni ceglanych wzmocnionych przy użyciu systemów FRCM oraz przykład zastosowania na obiekcie zabytkowym. W ramach badań zostały zrealizowane testy na pierścieniach murowanych z cegły pełnej na zaprawie wapienno-trasowej. Modele były obciążane od strony wewnętrznej i wzmacniane od strony zewnętrznej. Takie podejście umożliwiało odzwierciedlenie pracy statycznej dolnych pasm kopuł obrotowych oraz ich pierścieni podporowych. Jako przykład aplikacji przedstawiono wzmocnienie górnego pierścienia kopuły północnej Pawilonu Czterech Kopuł we Wrocławiu. Przeprowadzone badania oraz aplikacja na obiekcie rzeczywistym wykazała wysoką skuteczność zastosowania włókien P.B.O. w systemie FRCM we wzmacnianiu konstrukcji historycznych.
    The paper presents research work connected with strengthening of masonry rings using FRCM systems and application example on heritage object. During the laboratory investigations different tests on masonry rings, made with clay brick and trass - lime mortar, were carried out. The models were subjected to load from inside and strengthened from outside. That approach allow to reconstruct the real static behavior of lower part of domes or bottom supporting rings. As a case study, the strengthening of top ring in the north dome in Four Domes Pavilion in Wroclaw was presented. Both laboratory testing and real application showed the high efficiency of using P.B.O fibres in FRCM systems in strengthening of historical structures.
    Źródło:
    Builder; 2021, 25, 5; 54-56
    1896-0642
    Pojawia się w:
    Builder
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Geometric properties of noncommutative symmetric spaces of measurable operators and unitary matrix ideals
    Autorzy:
    Czerwińska, Malgorzata M.
    Kaminska, Anna H.
    Powiązania:
    https://bibliotekanauki.pl/articles/746224.pdf
    Data publikacji:
    2017
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    Symmetric spaces of measurable operators
    unitary matrix spaces
    rearrangement invariant spaces
    k-extreme points
    k-convexity
    complex extreme points
    complex convexity
    monotonicity
    (local) uniform (complex and real) convexity
    p-convexity
    Opis:
    This is a review article of geometric properties of noncommutative symmetric spaces of measurable operators \(E(\mathcal{M},\tau)\), where \(\mathcal{M}\) is a semifinite von Neumann algebra with a faithful, normal, semifinite trace \(\tau\), and \(E\) is a symmetric function space. If \(E\subset c_0\) is a symmetric sequence space then the analogous properties in the unitary matrix ideals \(C_E\) are also presented. In the preliminaries we provide basic definitions and concepts illustrated by some examples and occasional proofs. In particular we list and discuss the properties of general singular value function, submajorization in the sense of Hardy, Littlewood and Pólya, Köthe duality, the spaces \(L_p\left(\mathcal{M},\tau\right)\), \(1\leq p < \infty\), the identification of \(C_E\) and \(G(B(H), \operatorname{tr})\) for some symmetric function space \(G\), the commutative case when \(E\) is identified with \(E(\mathcal{N}, \tau)\) for \(\mathcal{N}\) isometric to \(L_\infty\) with the standard integral trace, trace preserving \(*\)-isomorphisms between \(E\) and a \(*\)-subalgebra of \(E\left(\mathcal{M},\tau\right)\), and a general method for removing the assumption of non-atomicity of \(\mathcal{M}\). The main results on geometric properties are given in separate sections. We present the results on (complex) extreme points, (complex) strict convexity, strong extreme points and midpoint local uniform convexity, \(k\)-extreme points and \(k\)-convexity, (complex or local) uniform convexity, smoothness and strong smoothness, (strongly) exposed points, (uniform) Kadec−Klee properties, Banach−Saks properties, Radon−Nikodym property and stability in the sense of Krivine−Maurey. We also state some open problems.
    Źródło:
    Commentationes Mathematicae; 2017, 57, 1
    0373-8299
    Pojawia się w:
    Commentationes Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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