Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
The article discusses the legal acts applicable to the process of obtaining authorization for placing TSI-compliant railway vehicles in service. The procedure in the case of applying for the first authorization for a railway vehicle is also outlined. The procedure concerning a vehicle that is authorized for placement in service in another Member State, but that will also be used in Poland, is presented, as well.
PL
W artykule przedstawiono akty prawne stosowane przy uzyskaniu zezwolenia na dopuszczenie do eksploatacji pojazdów szynowych zgodnych z wymaganiami Technicznych Specyfikacji Interoperacyjności (TSI). Opisano także tryb postępowania w przypadku wystąpienia o pierwsze zezwolenie dla pojazdu szynowego. Przedstawiono również tryb postępowania w przypadku, gdy pojazd szynowy ma zezwolenie do eksploatacji w innym państwie członkowskim Unii Europejskiej, a będzie eksploatowany również na terytorium Polski.
EN
This article presents methods and algorithms for the computation of isogenies of degree ℓⁿ. Some of these methods are obtained using recurrence equations and generating functions. A standard multiplication based algorithm for computation of isogeny of degree ℓⁿ has time complexity equal to O(n²M (n log n)), where M (N) denotes the cost of integers of size N multiplication. The memory complexity of this algorithm is equal to O (n log (n log (n))). In this article are presented algorithms for: - determination of optimal strategy for computation of degree ℓⁿ isogeny, - determination of cost of optimal strategy of computation of ℓⁿ isogeny using solutions of recurrence equations, - determination of cost of optimal strategy of computation of ℓⁿ isogeny using recurrence equations, where optimality in this context means that, for the given parameters, no other strategy exists that requires fewer operations for computation of isogeny. Also this article presents a method using generating functions for obtaining the solutions of sequences (սₘ) and (cₘ) where cₘ denotes the cost of computations of isogeny of degree ℓᵘᵐum for given costs p, q of ℓ-isogeny computation and ℓ-isogeny evaluation. These solutions are also used in the construction of the algorithms presented in this article.
EN
The article features the results of computer and experimental research on operational issues in the aspect of safety in relation to a freight wagon derailment on a railway track. It presents the knowledge regarding the methods of assessing the operational safety of rail vehicles on railroad tracks for the purpose of comparative analysis. The theoretical analyses were performed based on several methods that assess the safety of their derailments, qualifying for operational reliability, comparing them with the results obtained from experimental research. For the purpose of the research, a computer model of rail vehicle- railway track was created. It took into consideration dynamic parameters of elements used in the real track and rail vehicle. The results obtained from theoretical analyses were validated with experimental tests carried out on real objects (freight vehicle - test track, freight wagon - test rig). As part of the research, new test track geometry for testing rail vehicles was proposed. The results obtained in this way allowed estimating the conditions threatening the operation of a freight vehicle while running on the test rail infrastructure with different assessment criteria and to compare them.
PL
W pracy pokazano rezultaty badań komputerowych i eksperymentalnych dotyczących zagadnień eksploatacji w aspekcie bezpieczeństwa w odniesieniu do wykolejenia wagonu towarowego na torze kolejowym. Przybliżono w nim stan wiedzy dotyczącej metod oceny bezpieczeństwa eksploatacji pojazdówa) szynowych na kolejowych liniach szynowych, w celu ich analizy porównawczej. W pracy wykonano analizy teoretyczne bazując na kilku metodach, które oceniają bezpieczeństwo ich wykolejenia, kwalifikujące się do niezawodność eksploatacyjnej, porównując je z wynikami otrzymanymi z badań eksperymentalnych. Na potrzeby przeprowadzanych badań powstał komputerowy model pojazd szynowy - tor kolejowy. Uwzględniał on parametry dynamiczne elementów zastosowanych w rzeczywistym torze oraz pojeździe szynowym. Otrzymane z teoretycznych analiz wyniki zwalidowano testami eksperymentalnymi wykonanymi na rzeczywistych obiektach (pojazd towarowy - tor testowy, wagon towarowy - stanowisko badawcze). W ramach badań zaproponowano nową geometrię toru testowego do badań pojazdów szynowych. Uzyskane wyniki pozwoliły określić stan zagrożenia eksploatacji wagonu towarowego podczas jazdy po testowej infrastrukturze szynowej przy różnych kryteriach oceny oraz je porównać.
EN
This paper aims at demonstrating a mathematical model of the process of writing and deleting information about files on a disk, using the contents of the $MFT system file, i.e. in a file generated in the NTFS (New Technology File System). The presented model uses the language of control theory, where the state of the system is equal to the state of the disk and the state of the $MFT file, and where control is understood as undertaking the action of writing or deleting. The deterministic nature of the process and its stationarity were assumed. Then, based on the transition function after its specification, we suggest constructing further inverse images of possible prior states at subsequent stages of data writing or deletion. The obtained results form the basis for the implementations developed.
PL
Celem artykułu jest przedstawienie modelu matematycznego procesu zapisu i kasowania informacji o plikach na dysku przy wykorzystaniu zawartości pliku systemowego $MFT, czyli w pliku generowanym w systemie plików NTFS (New Technology File System). Przedstawiony model posługuje się językiem teorii sterowania, utożsamiając stan systemu ze stanem dysku oraz stanem pliku $MFT, a sterowanie jako podjęcie akcji zapisu lub kasowania. Założono przy tym deterministyczny charakter procesu oraz jego stacjonarność. Proponuje się, aby następnie na podstawie funkcji przejścia, po jej uszczegółowieniu, konstruować kolejne przeciwobrazy zbiorów możliwych wcześniej stanów w kolejnych etapach procesu zapisu lub kasowania. Uzyskane rezultaty są podstawą opracowywanych implementacji.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.