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-13 z 13
    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ł:
    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ł:
    Pojęcie boskiej wiecznej teraźniejszości w kontekście matematycznej analizy niestandardowej
    The concept of the divine eternal present in the context of the mathematical non-standard analysis
    Autorzy:
    Dadaczyński, Jerzy
    Powiązania:
    https://bibliotekanauki.pl/articles/426549.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Opis:
    The paper presents, first, existing problems related to the concept of (divine) eternal present. In order to solve these problems, there is presented a mathematical tool of non-standard analysis as proposed by German mathematicians C. Schmieden and D. Laugwitz. Time of created world is identified with the line of real numbers. The “place” of real number zero is filled with an infinite set of infinitely small numbers. This set is identified with God’s time. Then it is possible so to define the relationship of simultaneity that it is non-transitive, which eliminates the paradoxes associated with the concept of (God’s) eternal present. It appears, that by using the tools of non-standard analysis the issue of divine eternal present makes sense.
    Źródło:
    Logos i Ethos; 2013, 1(34); 31-43
    0867-8308
    Pojawia się w:
    Logos i Ethos
    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ł:
    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ł:
    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 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ł:
    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ł
    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ł:
    Niestandardowa analiza minigrupy fokusowej i triady na przykładzie społeczności wielowyznaniowej
    A Non-Standard Analysis of a Mini-Focus-Group and a Triad Based on the Example of a Multiconfessional Community
    Autorzy:
    Orzechowski, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/2105619.pdf
    Data publikacji:
    2022-05-31
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    zogniskowany wywiad grupowy
    dynamika grupowa
    wielowyznaniowość
    analiza konwersacji i dyskursu
    transkrypcje
    (focus group interview)
    group dynamics
    multiconfessionalism
    conversation and discourse analysis
    transcriptions
    Opis:
    Niniejszy artykuł odnosi się przede wszystkim do metody minigrup fokusowych i triady, stanowiących odmiany zogniskowanych wywiadów grupowych, które w ciągu ostatnich lat zyskały na popularności nie tylko w marketingu i szeroko pojętej sferze komercyjnej, ale również w świecie akademickim. Zastosowaniu tego typu wywiadów nie towarzyszy jednak nadal pogłębiona refleksja naukowa, co sprawia, że mają zarówno zagorzałych zwolenników, jak i przeciwników. Głównym zamiarem autora jest przynajmniej częściowe zapełnienie powstałej luki. Poprzez połączenie trzech typów analiz: dynamiki grupowej, konwersacji i dyskursu (topików) zaproponowano czytelnikowi niestandardowe podejście do pracy nad transkrypcjami pochodzącymi z dyskusji fokusowych. Odbiorca znajdzie w niniejszym tekście odniesienie do wyników badań własnych autora, przeprowadzonych w 2020 roku w wybranej społeczności lokalnej zróżnicowanej wyznaniowo. W części poświęconej analizie dyskursu zostaną ponadto pogłębione techniczne i praktyczne aspekty związane z przedstawionym podejściem analitycznym.
    This article relates primarily to the mini-focus groups and triads, which constitute variations of focus group interviews, which in recent years have gained popularity not only in marketing and the broadly understood commercial sphere, but also in the academic world. However, the use of this type of interviews is still not accompanied by in-depth scientific reflection; as a result, they have acquired both staunch supporters and opponents. The author’s main intention is to fill the resultant gap, at least partially. By combining three types of analysis – i.e. group dynamics, conversation, and discourse (topics) – the Reader is offered a non-standard attitude to working with transcripts which come from focus discussions. The Reader will find in this text a reference to the results of the author’s own research, carried out in 2020 among selected multiconfessional local community. In the part dedicated to discourse analysis, the technical and practical aspects related to the presented analytical approach will also be deepened.
    Źródło:
    Przegląd Socjologii Jakościowej; 2022, 18, 2; 26-53
    1733-8069
    Pojawia się w:
    Przegląd Socjologii Jakościowej
    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ł:
    Analiza możliwości pomiaru strumienia objętości przepływomierzem ultradźwiękowym bez zachowania odcinków wstępnych
    Analysis of possibility of volume flow measurement by ultrasonic flow meter without preliminary sections in pipeline
    Autorzy:
    Wędrychowicz, W.
    Synowiec, P.
    Andruszkiewicz, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/267568.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
    Tematy:
    przepływomierz ultradźwiękowy
    pomiar niestandardowy
    dokładność pomiaru
    ultrasonic flowmeter
    non-standard measurement
    measurement accuracy
    Opis:
    W pracy przedstawiono wyniki badań nad pomiarami przepływomierzem ultradźwiękowym z głowicami „Clamp-on” w niestandardowych warunkach przepływu. Badania przeprowadzono dla zaburzonego profilu prędkości przez trzy kolana i rozszerzenie przekroju rurociągu. Obejmowały one pomiary strumienia objętości w kilku odległościach od ostatniego zaburzenia, odmierzanych krotnością średnic, oraz dla dwunastu kątów ustawienia głowic na obwodzie rurociągu. W wyniku przeprowadzonych badań stwierdzono, że jest możliwy pomiar w odległości mniejszej niż standardowa z dobrą dokładnością.
    The paper presents the results of experimental studies on the ability to measure ultrasonic flowmeters with "Clamp-on" pipelines in conditions where it is not possible to apply the required straight sections before and after the measurement site. The study was carried out at a test rig where the speed profile disorder was characterized by a three-knee system and a rapid expansion of the pipeline cross section. Experimental studies consisted of measuring the volume flow with a reference flow meter placed in the pipeline with the required straight sections before and after the flow meter, and parallel measurements carried out with a second ultrasonic flowmeter assumed successively in cross-sections within the pipeline diameters (0 D, 1 D, 2 D 3 D, 4 D, 5 D, 6 D, 7 D, 8 D, 9 D and 15 D). In each of these sections, 12 measurements were taken at the changing angle of the heads in a surface perpendicular to the axis of the pipeline. Measurements were made at angles 0°, 30°, 60°, 90°, 120°, 150°, 180°, 210°, 240°, 270°, 300° and 330°, taking an angle of 0° on the upper surface of the pipeline. The flow disturbances were in one surface corresponding to 0° and 180°. For ease of comparison the flow meters have a correction factor K which is the ratio of the reference flow meter to the flowmeter. As a result of the tests, it was found that with the distance the factor changes in a way that, just behind the disturbance, the flow is bigger than the standard for each angle, while the smallest deviation occurs for the angles 0 degrees and 180 degrees and the largest for 90 degrees and 270 degrees. With the distance from the disturbances the angel influence was smaller and the measured flow decreased to a minimum at a 2D distance where it was lower than the reference flow. By further increasing the distance, the measurement result would increase to, within the distance of 15D, be the same as the reference flow. It has been found that the accurate measurement is possible at a distance of 1D and for angles 0 degrees and 180 degrees.
    Źródło:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2017, 55; 81-84
    1425-5766
    2353-1290
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-13 z 13

      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