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ę "non-standard analysis" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Non-standard analysis and homology
    Autorzy:
    McCord, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/1377607.pdf
    Data publikacji:
    1972
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Źródło:
    Fundamenta Mathematicae; 1972, 74, 1; 21-28
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Non-standard analysis revisited: An easy axiomatic presentation oriented towards numerical applications
    Autorzy:
    Benci, Vieri
    Cococcioni, Marco
    Fiaschi, Lorenzo
    Powiązania:
    https://bibliotekanauki.pl/articles/2055153.pdf
    Data publikacji:
    2022
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    Alpha Theory
    non-standard analysis
    non Archimedean analysis
    algorithmic numbers
    non Archimedean scientific computing
    Opis:
    Alpha-Theory was introduced in 1995 to provide a simplified version of Robinson’s non-standard analysis which overcomes the technicalities of symbolic logic. The theory has been improved over the years, and recently it has been used also to solve practical problems in a pure numerical way, thanks to the introduction of algorithmic numbers. In this paper, we introduce Alpha-Theory using a novel axiomatic approach oriented towards real-world applications, to avoid the need to master mathematical logic and model theory. To corroborate the strong link of this Alpha-Theory axiomatization and scientific computations, we report numerical illustrative applications never carried out by means of non-standard numbers within a computer, i.e., the computation of the eigenvalues of a non-Archimedean matrix, some computations related to non-Archimedean Markov chains, and the Cholesky factorization of a non-Archimedean matrix. We also highlight the differences between our numerical routines and pure symbolic approaches: as expected, the former scales better when the dimension of the problem increases.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2022, 32, 1; 65--80
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Asymptotic behavior of non-linear inhomogeneous equations via non-standard analysis. Part I. Second order equations
    Autorzy:
    Komkov, Vadim
    Waid, Carter
    Powiązania:
    https://bibliotekanauki.pl/articles/715926.pdf
    Data publikacji:
    1973
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Źródło:
    Annales Polonici Mathematici; 1973, 28, 1; 67-87
    0066-2216
    Pojawia się w:
    Annales Polonici Mathematici
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Asymptotic behavior of non-linear inhomogeneous differential equations via non-standard analysis. Part II. Some applications to higher order equations
    Autorzy:
    Komkov, Vadím
    Powiązania:
    https://bibliotekanauki.pl/articles/717888.pdf
    Data publikacji:
    1974
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Źródło:
    Annales Polonici Mathematici; 1974-1975, 30, 2; 205-218
    0066-2216
    Pojawia się w:
    Annales Polonici Mathematici
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Asymptotic behavior of non-linear differential equations via non-standard analysis. Part III. Boundedness and monotone behavior of the equation (a(t)φ(x)x')' + c(t)f(x) = q(t)
    Autorzy:
    Komkov, V.
    Powiązania:
    https://bibliotekanauki.pl/articles/716897.pdf
    Data publikacji:
    1980
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Źródło:
    Annales Polonici Mathematici; 1980, 38, 2; 101-108
    0066-2216
    Pojawia się w:
    Annales Polonici Mathematici
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis of non-standard MiG-29 engine start procedures
    Analiza niestandardowych procedur uruchamiania silników samolotu MiG-29
    Autorzy:
    Trelka, M.
    Perczyński, J.
    Bartoszewicz, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/134035.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Naukowe Silników Spalinowych
    Tematy:
    turbine engine
    engine start
    engine malfunctions
    silnik turbinowy
    uruchomienie silnika
    awaria silnika
    Opis:
    The paper describes alternative start procedures if regular MiG-29 engine start procedures are disturbed. The work presents ground engine start procedures with a turbine starter and an automatic start of both engines. A procedure algorithm has been presented in case malfunctions are detected depending on the level of the malfunction complexity. Example results have been included that come from the flight operating parameters recorder showing the versatility of events that may occur when starting the MiG-29 engines.
    W artykule opisano metodykę postępowania w sytuacji zakłóceń normalnych procedur uruchamiania silników samolotu MiG-29. Przedstawiono w nim uruchamianie silników na ziemi za pomocą rozrusznika turbinowego oraz uruchamianie automatyczne obu silników samolotu. Zaprezentowano algorytm postępowania przy wykryciu awarii w zależności od stopnia jej skomplikowania. Zamieszczono także przykładowe wyniki pochodzące z rejestratora parametrów eksploatacyjnych samolotów, obrazujące różnorodność niepożądanych zdarzeń, które mogą wystąpić podczas uruchomienia silników samolotu MiG-29.
    Źródło:
    Combustion Engines; 2014, 53, 4; 40-47
    2300-9896
    2658-1442
    Pojawia się w:
    Combustion Engines
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Accuracy analysis of stowing computations for securing non-standard cargoes on ships according to IMO CSS Code
    Autorzy:
    Kabaciński, J.
    Wiśnicki, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/258714.pdf
    Data publikacji:
    2009
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    safety of transportation
    stowing
    cargo securing
    non-standard cargoes
    lashing
    Opis:
    The article takes up a subject of effectiveness of securing arrangements while stowing non-standard cargoes on ships. Accuracy analysis of stowing calculations was based on procedures proposed by Code of Safe Practice for Cargo Stowage and Securing – CSS Code. Detailed calculations of forces and moments related to lashings, which prevents non-standard cargo against transverse tipping, were performed. Some simplifications were proven that may result in underestimating or overstating the calculated righting moment, which decides of safety margin of securing non-standard cargoes. The alternative more reliable procedure, without simplifications, was proposed.
    Źródło:
    Polish Maritime Research; 2009, 2; 67-71
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis of data of organic farms with the use of non-standard reports in Gekko software
    Analiza danych gospodarstw ekologicznych z wykorzystaniem raportów niestandardowych w programie Gekko
    Autorzy:
    Cupiał, M.
    Szeląg-Sikora, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/93767.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Inżynierii Rolniczej
    Tematy:
    software
    organic farm
    reporting
    SQL language
    program komputerowy
    gospodarstwo ekologiczne
    sprawozdawczość
    język SQL
    Opis:
    Gekko software is designed to keep reporting in organic farms, which is required by supervising institutions. The program enables collection in its base, data, which are required from a farmer and additional information as well. Based on these data, reports and lists are generated in the program. However, beside standard lists, the software enables programming by a user his calculations. These calculations enable generating unpredicted lists in a standard version of the software. Gekko software was developed within the National Centre for Research and Development (NCBiR ) project No NR 12-0165-10/2010 titled "Innovative influence of technology and information manage-ment supporting system on production efficiency in organic farms."
    Program Gekko przeznaczony jest do prowadzenia w gospodarstwach ekologicznych sprawozdawczości wymaganej przez instytucje nadzorujące. Program umożliwia gromadzenie w swojej bazie, danych wymaganych od rolnika, a także informacji dodatkowych. Na podstawie tych danych generowane są w programie raporty i zestawienia. Jednak poza standardowymi zestawieniami, program umożliwia programowanie przez użytkownika własnych obliczeń. Te obliczenia umożliwiają wygenerowanie zestawień nieprzewidzianych w standardowej wersji oprogramowania. Program Gekko opracowany został w ramach projektu NCBiR Nr NR12-0165-10 pt.: „Innowacyjne oddziaływanie techniki i technologii oraz informatycznego wspomagania zarządzania na efektywność produkcji w gospodarstwach ekologicznych”.
    Źródło:
    Agricultural Engineering; 2014, 18, 2; 47-53
    2083-1587
    Pojawia się w:
    Agricultural Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The role of the Court in modelling the standard of equal treatment in employment: Analysis of the judgment of the Court of Justice in case C-344/20
    Rola Trybunału Sprawiedliwości w kształtowaniu standardu równego traktowania w zatrudnieniu. Analiza wyroku Trybunału Sprawiedliwości w sprawie C-344/20
    Autorzy:
    Kosińska, Anna Magdalena
    Powiązania:
    https://bibliotekanauki.pl/articles/23050748.pdf
    Data publikacji:
    2023-12-20
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Tematy:
    zasada równości
    zasada niedyskryminacji
    wolność religijna
    równe traktowanie w zatrudnieniu
    symbole religijne
    principle of equality
    freedom of religion
    equal treatment in employment
    religious symbols
    non-discrimination
    Opis:
    The aim of this commentary is to analyse the judgment of the Court of Justice in L.F. v. S.C.R.L., in which the Court analysed provisions of the Equal Treatment Directive (2000/78) in light of the general prohibition of discrimination on the grounds of religion or belief. The main proceedings in the case analysed concerned a Muslim woman who wore an Islamic headscarf and was doing an office internship at S.C.R.L., a cooperative limited liability company. Due to the neutrality policy at work, she was unable to manifest her religion and brought an action for a prohibitory injunction before a domestic court. In preliminary ruling, the Court decided that she was not a victim of discrimination. The F.L. judgment is a continuation of the Court’s line of judicial decisions in cases G4S and WABE referred to before. The article analyses the current case law of the CJEU and ECHR that touches on the problem of the expression of religious belief and seeks the answer to the question: Which value is more important to be protected in contemporary European society – the identity of the person or the freedom to conduct a business?
    Celem glosy jest analiza wyroku Trybunału Sprawiedliwości w sprawie L.F. v. S.C.R.L., w której Trybunał dokonał wykładni przepisów dyrektywy w sprawie równego traktowania (2000/78) w świetle ogólnego zakazu dyskryminacji ze względu na religię lub przekonania. Postępowanie krajowe dotyczyło wyznawczyni islamu, która nosiła chustę. W związku z wdrażaną polityką neutralności pracodawca odmówił jej zatrudnienia, ponieważ nie wyraziła zgody na zdjęcie chusty. W odpowiedzi na zadane pytania prejudycjalne Trybunał uznał, że w przedmiotowej sprawie nie doszło do dyskryminacji. Wyrok w sprawie L.F. stanowi kontynuację dotychczasowej linii orzeczniczej Trybunału w sprawach G4S i WABE. Artykuł analizuje orzecznictwo Trybunału Sprawiedliwości i Europejskiego Trybunału Praw Człowieka, które dotyczy manifestowania przekonań religijnych strojem i stawia pytanie, której wartości we współczesnym społeczeństwie europejskim należy przyznać pierwszeństwo – tożsamości jednostki czy wolności wykonywania działalności gospodarczej?
    Źródło:
    Studia z Prawa Wyznaniowego; 2023, 26; 353-371
    2081-8882
    2544-3003
    Pojawia się w:
    Studia z Prawa Wyznaniowego
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      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