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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    Teoretyczne podstawy dzielenia z resztą liczb naturalnych wraz z uwagami o dzieleniu z resztą liczb całkowitych, wymiernych i rzeczywistych
    Autorzy:
    Chronowski, Antoni
    Powiązania:
    https://bibliotekanauki.pl/articles/1791042.pdf
    Data publikacji:
    2019-12-05
    Wydawca:
    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
    Tematy:
    division with remainder
    division
    Opis:
    In this article, I analyze the theoretical foundations of the division with remainder in the arithmetic of natural numbers. As a result of this analysis I justify that the notation a:b=c r s, where a, b, c, s are natural numbers and r denotes, is correct at school mathematics level and does not lead to a contrediction suggested by the author of the article (Semadeni, 1978). As a generalization of the division with remainder of natural numbers, I consider the division with remainder of integers, rational and real numbers.
    Źródło:
    Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia; 2019, 11; 63-72
    2080-9751
    2450-341X
    Pojawia się w:
    Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Secure Data Aggregation in Wireless Sensor Network using Chinese Remainder Theorem
    Autorzy:
    Thomas, Sanu
    Mathew, Thomaskutty
    Powiązania:
    https://bibliotekanauki.pl/articles/2074141.pdf
    Data publikacji:
    2022
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Chinese remainder theorem
    authenticated aggregation
    augmented Chinese remainder rystem
    TDMA schedule
    uplink path
    relay node
    Opis:
    A new method of lossless Secure Data Aggregation for Wireless Sensor Network is presented. Secure Data Aggregation is achieved using the popular Chinese Remainder theorem. Here, an ‘Augmented Chinese Remainder System’ is introduced that incorporates additional features to enforce a higher level of security to the aggregated data. The scheme provides inbuilt signature verification and eliminates the need for separate data validation algorithms. The method achieves data integrity and authentication simultaneously in addition to lossless data aggregation for the data forwarded from the Cluster Head to the Base Station. The aggregate contains the entire individual data from sensors in the encrypted form and the receiver deaggregates it to get the original data in full without any loss. The Augmented Chinese Remainder System can be extended to secure Multi-level Data Aggregation for WSN.
    Źródło:
    International Journal of Electronics and Telecommunications; 2022, 68, 2; 329--336
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Universal third parts of any complete 2-graph and none of DK5
    Autorzy:
    Fortuna, A.
    Skupień, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/255218.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    decomposition
    remainder
    universal parts
    isomorphic parts
    Opis:
    It is shown that there is no digraph F which could decompose the complete digraph on 5 vertices minus any 2-arc remainder into three parts isomorphic to F for each choice of the remainder. On the other hand, for each n ≥ 3 there is a universal third part F of the complete 2-graph 2Kn on n vertices, i.e., for each edge subset R of size [formula] mod 3, there is an F-decomposition of 2Kn−R. Using an exhaustive computer-aided search, we find all, exactly six, mutually nonisomorphic universal third parts of the 5-vertex 2-graph. Nevertheless, none of their orientations is a universal third part of the corresponding complete digraph.
    Źródło:
    Opuscula Mathematica; 2013, 33, 4; 685-696
    1232-9274
    2300-6919
    Pojawia się w:
    Opuscula Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Decompositions of nearly complete digraphs into t isomorphic parts
    Autorzy:
    Meszka, Mariusz
    Skupień, Zdzisław
    Powiązania:
    https://bibliotekanauki.pl/articles/744455.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    decomposition
    cyclically 1-generated
    remainder
    surplus
    universal part
    Opis:
    An arc decomposition of the complete digraph Kₙ into t isomorphic subdigraphs is generalized to the case where the numerical divisibility condition is not satisfied. Two sets of nearly tth parts are constructively proved to be nonempty. These are the floor tth class ( Kₙ-R)/t and the ceiling tth class ( Kₙ+S)/t, where R and S comprise (possibly copies of) arcs whose number is the smallest possible. The existence of cyclically 1-generated decompositions of Kₙ into cycles $^{→}C_{n-1}$ and into paths $^{→}Pₙ$ is characterized.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2009, 29, 3; 563-572
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Method to Support Diagnostics of Dynamic Faults in Networks of Interconnections
    Autorzy:
    Garbolino, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/226237.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    network of interconnections
    system-on-chip
    diagnostics
    MISR
    compaction
    signature
    Chinese remainder theorem
    Opis:
    The article is devoted to the method facilitating the diagnostics of dynamic faults in networks of interconnection in systems-on-chips. It shows how to reconstruct the erroneous test response sequence coming from the faulty connection based on the set of signatures obtained as a result of multiple compaction of this sequence in the MISR register with programmable feedback. The Chinese reminder theorem is used for this purpose. The article analyzes in detail the various hardware realizations of the discussed method. The testing time associated with each proposed solution was also estimated. Presented method can be used with any type of test sequence and test pattern generator. It is also easily scalable to any number of nets in the network of interconnections. Moreover, it supports finding a trade-off between area overhead and testing time.
    Źródło:
    International Journal of Electronics and Telecommunications; 2018, 64, 3; 407-420
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An efficient implementation of the Chinese Remainder Theorem in minimally redundant Residue Number System
    Autorzy:
    Selianinau, Mikhail
    Powiązania:
    https://bibliotekanauki.pl/articles/1839284.pdf
    Data publikacji:
    2020
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    residue number system
    Chinese remainder theorem
    residue code
    rank of a number
    positional characteristics
    Opis:
    The Chinese Remainder Theorem (CRT) widely used in many modern computer applications. This paper presents an efficient approach to the calculation of the rank of a number, a principal positional characteristic used in the Residue Number System (RNS). The proposed method does not use large modulo addition operations compared to a straightforward implementation of the CRT algorithm. The rank of a number is equal to a sum of an inexact rank and a two-valued correction factor that only takes on the values 0 or 1. We propose a minimally redundant RNS, which provides low computational complexity of the rank calculation. The effectiveness of the novel method is analyzed concerning conventional non-redundant RNS. Owing to the extension of the residue code, by adding the extra residue modulo 2, the complexity of rank calculation goes down from \(O(k^2)\) to \(O(k)\), where \(k\) equals the number of residues in non-redundant RNS.
    Źródło:
    Computer Science; 2020, 21 (2); 225-240
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zarys metody określania trwałości resztkowej elementów konstrukcji statku powietrznego, uszkodzonych w wyniku trafienia pociskami penetrującymi
    Outline of estimation method of reminder durability of aircraft structure elements damaged by penetrator projectile hit
    Autorzy:
    Jasztal, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/210458.pdf
    Data publikacji:
    2006
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    elementy konstrukcji statku powietrznego
    wytrzymałość doraźna
    wytrzymałość zmęczeniowa
    trwałość resztkowa
    aircraft structure elements
    immediate strength
    fatigue strength
    remainder durability
    Opis:
    Prezentowana praca dotyczy problemu oceny trwałości resztkowej elementów konstrukcji statku powietrznego, uszkodzonych pociskami penetrującymi przeciwnika. Dokonano analizy fizyki niszczenia wybranych elementów konstrukcyjnych pod wpływem pocisków penetrujących. NAstępnie został stworzony deterministyczny opis zmiany wytrzymałości doraźnej oraz zmeczęniowej elementów konstrukcyjnych, powstałej po trafieniu pociskami penetrującymi. W analizie wytrzymałości zmęczeniowej został wykorzystany opis prędkości pękania zmęczeniowego dla materiałów liniowo sprężystych oparty na zależności Parisa, natomiast prędkość pękania zmęczeniowego w materiałach nieliniowo sprężystych opisana została za pomocą całki J. Efektem końcowym pracy było opracowanie metody szacowania trwałości resztkowej uszkodzonych elementów konstrukcji statku powietrznego. Prezentowane opracowanie zawiera również weryfikację opracowanej metody oceny trwałości resztkowej na podstawie danych rozwoju pęknięć zmęczeniowych w elementach płatowca, uzyskanych w procesie eksploatacji statków powietrznych.
    Presented study concerns estimation of remainder durability aircraft's structure elements impaired by a penetrator projectile. The first stage of the study was an analysis of damage physics of the chosen structure's elements under projectile hit. Next, the author gives deterministic description of immediate strength and fatigue strength of construction after the hit. Analysis of fatigue strength was based on description of velocity fatigue cracking. For linear elastic materials, Paris equation was used, and for nonlinear elastic materials "integral J" equation. On the basic of the presented mathematical description, the author achieved final effect of this work that is the estimation method of remainder durability of aircraft's structure elements impaired by a projectile. The presented study includes verification of this method on the basis of the data of crack growth in aircraft's structure elements obtained during aircraft expoitation.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2006, 55, 3; 279-295
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Local accuracy and error bounds of the improved Runge-Kutta numerical methods
    Autorzy:
    Qureshi, S.
    Memon, Z.
    Shaikh, A. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/122862.pdf
    Data publikacji:
    2018
    Wydawca:
    Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
    Tematy:
    error estimate
    remainder term
    principal error function
    truncation error
    Lotkin bound
    granice błędu
    metoda numeryczna Runge-Kutty
    błąd obcięcia
    granica Lotkina
    funkcja błędu
    szacowanie błędu
    Opis:
    In this paper, explicit Improved Runge-Kutta (IRK) methods with two, three and four stages have been analyzed in detail to derive the error estimates inherent in them whereas their convergence, order of local accuracy, stability and arithmetic complexity have been proved in the relevant literature. Using single and multivariate Taylor series expansion for a mathematical function of one and two variables respectively, slopes involved in the IRK methods have been expanded in order to obtain the general expression for the leading or principal term in the local truncation error of the methods. In addition to this, principal error functions of the methods have also been derived using the idea of Lotkin bounds which consequently gave rise to the error estimates for the IRK methods. Later, these error estimates were compared with error estimates of the two, three, and four-stage standard explicit Runge-Kutta (RK) methods to show the better performance of the IRK methods in terms of the error bounds on the constant step-size h used for solving the initial value problems in ordinary differential equations. Finally, a couple of initial value problems have been tested to determine the maximum absolute global errors, absolute errors at the final nodal point of the integration interval and the CPU times (seconds) for all the methods under consideration to get a better idea of how the methods behave in a particular situation especially when it comes to analyzing the error terms.
    Źródło:
    Journal of Applied Mathematics and Computational Mechanics; 2018, 17, 4; 73-84
    2299-9965
    Pojawia się w:
    Journal of Applied Mathematics and Computational Mechanics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    RNS/TCS converter design using high-level synthesis in FPGA
    Wysokopoziomowa synteza konwertera RNS/U2 w FPGA
    Autorzy:
    Smyk, R.
    Czyżak, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/269200.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
    Tematy:
    Residue Number System
    RNS
    two's-complement system
    TCS
    Chinese Remainder Theorem I
    CRT I
    FPGA
    system resztowy
    system z uzupełnieniem do 2
    U2
    konwerter RNS/U2
    chińskie twierdzenie o resztach
    Opis:
    An experimental high-level synthesis (HLS) of the residue number system (RNS) to two’s-complement system (TCS) converter in the Vivado Xilinx FPGA environment is shown. The assumed approach makes use of the Chinese Remainder Theorem I (CRT I). The HLS simplifies and accelerates the design and implementation process, moreover the HLS synthesized architecture requires less hardware by about 20% but the operational frequency is smaller by 30% than that for the VHDL designed converter.
    W pracy przedstawiono eksperymentalną wysokopoziomową syntezę w FPGA konwertera L systemu resztowego do systemu reprezentacji z uzupełnieniem do 2 (U2). W zastosowanym podejściu wykorzystano algorytm konwersji na bazie chińskiego twierdzenia o resztach (CRT 1), Zauważono, że synteza wysokopoziomowa ułatwia proces projektowania oraz zauważalnie skraca czas testowania układu. Zaprojektowana architektura konwertera przy wykorzystaniu syntezy wysokopoziomowej pochłania o około 20% zasobów układu FPGA mniej niż dla konwertera zaprojektowanego przy użyciu języka VHDL, jednak maksymalna częstotliwość pracy jest niższa o około 30%.
    Źródło:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2017, 57; 121-126
    1425-5766
    2353-1290
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards historical roots of necessary conditions of optimality: Regula of Peano
    Autorzy:
    Dolecki, S.
    Greco, G. H.
    Powiązania:
    https://bibliotekanauki.pl/articles/970285.pdf
    Data publikacji:
    2007
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    różniczkowalność
    zbiór wypukły
    differentiability
    convex set
    Kuratowski limit of sets
    tangent cones
    condition of optimality
    mean value theorem
    Peano remainder
    Peano's regula
    strict derivability
    Peano's Formulario Mathematico
    Peano's Geometric Calculus
    Grassmann's Ausdehnungslehre
    Opis:
    At the end of 19th century Peano discerned vector spaces, differentiability, convex sets, limits of families of sets, tangent cones, and many other concepts, in a modern perfect form. He applied these notions to solve numerous problems. The theorem on necessary conditions of optimality (Regula) is one of these. The formal language of logic that he developed, enabled him to perceive mathematics with great precision and depth. Actually he built mathematics axiomatically based exclusively on logical and set-theoretic primitive terms and properties, which was a revolutionary turning point in the development of mathematics.
    Źródło:
    Control and Cybernetics; 2007, 36, 3; 491-518
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kilka uwag w kwestii zaliczania okresu rzeczywistego pozbawienia wolności na poczet kary ograniczenia wolności na podstawie art. 63 k.k.
    Autorzy:
    Piekut, Gabriela
    Powiązania:
    https://bibliotekanauki.pl/articles/1338034.pdf
    Data publikacji:
    2020-09-28
    Wydawca:
    Uczelnia Łazarskiego. Oficyna Wydawnicza
    Tematy:
    kara ograniczenia wolności
    zaliczenie okresu rzeczywistego pozbawienia wolności
    zwolnienie skazanego od reszty kary ograniczenia wolności
    penalty of restriction of liberty
    crediting of the period of actual deprivation of liberty
    release of the sentenced person from the remainder of the penalty of restriction of liberty
    Opis:
    Artykuł dotyczy wybranych zagadnień związanych z zaliczaniem okresu rzeczywistego pozbawienia wolności na poczet kary ograniczenia wolności w trybie art. 63 k.k. Autorka prezentuje odmienny od przyjmowanego dotychczas w doktrynie sposób zaokrąglania okresu uprzedniej izolacji skazanego na poczet orzeczonej następnie względem niego kary ograniczenia wolności, wskazując, że w aktualnym stanie prawnym brak jest podstaw do zaokrąglania tego okresu w górę do pełnego miesiąca, a zaokrąglenie powinno nastąpić w górę jedynie do pełnego dnia. W pracy zwrócono również uwagę na trudności związane z dokonywaniem zaliczenia okresu rzeczywistego pozbawiania wolności na poczet kary ograniczenia wolności, wynikające z braku koherencji pomiędzy okresem jednego roku, a okresem 12 miesięcy (art. 12c k.k.w.). Omówiony został także wpływ zaliczenia skazanemu okresu izolacji, w trybie art. 63 k.k., na możliwość zwolnienia go od reszty kary na podstawie art. 83 k.k.
    This article discusses certain issues relating to the crediting of the period of actual deprivation of liberty towards the penalty of restriction of liberty in accordance with Article 63 of the Polish Criminal Code. The author presents a method of rounding up the period of a sentenced person’s prior detention to be credited towards the penalty of restriction of liberty subsequently imposed upon him/her, which differs from the method adopted so far in the legal doctrine, while indicating that there are no grounds in the current legal state for rounding that period up to a full month and that the rounding up should only be to a full day. The paper also points to the difficulties related to the crediting of the period of actual deprivation of liberty towards the penalty of restriction of liberty resulting from the lack of coherence between the period of one year and the period of 12 months (Article 12c of the Polish Penal Enforcement Code). The article also discusses the impact that crediting of the sentenced person’s detention period under Article 63 Criminal Code has on the possibility of releasing such person from serving the remainder of his/her penalty under Article 83 Criminal Code.
    Źródło:
    Ius Novum; 2020, 14, 3; 50-66
    1897-5577
    Pojawia się w:
    Ius Novum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      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