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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    HIROMB, an operational eddy-resolving model for the Baltic Sea
    Autorzy:
    Funkquist, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/972865.pdf
    Data publikacji:
    2001
    Wydawca:
    Instytut Morski w Gdańsku
    Tematy:
    HIROMB
    forcing
    Opis:
    HIROMB is a 3-dimensional baroclinic model of the North Sea and the Baltic Sea, designed for daily operational use. The model is mainly developed by Eckhard Kleine at the German Federal Maritime and Hydrographic Agency (BSH) in Hamburg, Germany, and is based on a similar model, running in operational mode at that institution. The operational forecasts at SMHI starled already in 1995 with a daily 24-hour forecast and were later extended to 48 hours. The model is forced by SMHI's operational atmospheric model (HIRLAM), but also by river runoff from an operational hydrological model and wave radiation stress from a wind wave model. The present version of the model is set up on a nested grid, where a 12 nautical mile (nm) grid covers the whole area, while Skagerrak, Kattegat, the Belt Sea and the Baltic Sea are covered with a 1 nm grid. A parallelized version of the model has been developed and runs on a distributed memory parallel computer.
    Źródło:
    Biuletyn Instytutu Morskiego w Gdańsku; 2001, 28, 2; 7-16
    1230-7424
    2450-5536
    Pojawia się w:
    Biuletyn Instytutu Morskiego w Gdańsku
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    HIROMB, an operational eddy-resolving model for the Baltic Sea
    Autorzy:
    Funkquist, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/1920629.pdf
    Data publikacji:
    2001
    Wydawca:
    Instytut Morski w Gdańsku
    Tematy:
    HIROMB
    forcing
    Opis:
    HIROMB is a 3-dimensional baroclinic model of the North Sea and the Baltic Sea, designed for daily operational use. The model is mainly developed by Eckhard Kleine at the German Federal Maritime and Hydrographic Agency (BSH) in Hamburg, Germany, and is based on a similar model, running in operational mode at that institution. The operational forecasts at SMHI starled already in 1995 with a daily 24-hour forecast and were later extended to 48 hours. The model is forced by SMHI's operational atmospheric model (HIRLAM), but also by river runoff from an operational hydrological model and wave radiation stress from a wind wave model. The present version of the model is set up on a nested grid, where a 12 nautical mile (nm) grid covers the whole area, while Skagerrak, Kattegat, the Belt Sea and the Baltic Sea are covered with a 1 nm grid. A parallelized version of the model has been developed and runs on a distributed memory parallel computer.
    Źródło:
    Biuletyn Instytutu Morskiego w Gdańsku; 2001, 28, 2; 7-16
    1230-7424
    2450-5536
    Pojawia się w:
    Biuletyn Instytutu Morskiego w Gdańsku
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Embedding Cohen algebras using pcf theory
    Autorzy:
    Shelah, Saharon
    Powiązania:
    https://bibliotekanauki.pl/articles/1204996.pdf
    Data publikacji:
    2000
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    set theory
    pcf
    forcing
    Opis:
    Using a theorem from pcf theory, we show that for any singular cardinal ν, the product of the Cohen forcing notions on κ, κ < ν, adds a generic for the Cohen forcing notion on $ν^+$.
    Źródło:
    Fundamenta Mathematicae; 2000, 166, 1-2; 83-86
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On what I do not understand (and have something to say): Part I
    Autorzy:
    Shelah, Saharon
    Powiązania:
    https://bibliotekanauki.pl/articles/1204995.pdf
    Data publikacji:
    2000
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    set theory
    cardinal arithmetic
    pcf theory
    forcing
    iterated forcing
    large continuum
    nep
    nicely definable forcing
    combinatorial set theory
    Boolean algebras
    set-theoretic algebra
    partition calculus
    Ramsey theory
    Opis:
    This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdotes and opinions. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept to a minimum ("see ..." means: see the references there and possibly the paper itself). The base were lectures in Rutgers, Fall '97, and reflect my knowledge then. The other half, [122], concentrating on model theory, will subsequently appear. I thank Andreas Blass and Andrzej Rosłanowski for many helpful comments.
    Źródło:
    Fundamenta Mathematicae; 2000, 166, 1-2; 1-82
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On a problem of Steve Kalikow
    Autorzy:
    Shelah, Saharon
    Powiązania:
    https://bibliotekanauki.pl/articles/1205000.pdf
    Data publikacji:
    2000
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    set theory
    forcing
    continuity
    Kalikow
    free subset
    Opis:
    The Kalikow problem for a pair (λ,κ) of cardinal numbers,λ > κ (in particular κ = 2) is whether we can map the family of ω-sequences from λ to the family of ω-sequences from κ in a very continuous manner. Namely, we demand that for η,ν ∈ ω we have: η, ν are almost equal if and only if their images are. We show consistency of the negative answer, e.g., for $ℵ_ω$ but we prove it for smaller cardinals. We indicate a close connection with the free subset property and its variants.
    Źródło:
    Fundamenta Mathematicae; 2000, 166, 1-2; 137-151
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On infinite partitions of lines and space
    Autorzy:
    Erdös, Paul
    Jackson, Steve
    Mauldin, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/1205459.pdf
    Data publikacji:
    1997
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    transfinite recursion
    Martin's Axiom
    forcing
    geometry
    infinite partitions
    Opis:
    Given a partition P:L → ω of the lines in $ℝ^n$, n ≥ 2, into countably many pieces, we ask if it is possible to find a partition of the points, $Q:ℝ^n → ω$, so that each line meets at most m points of its color. Assuming Martin's Axiom, we show this is the case for m ≥ 3. We reduce the problem for m = 2 to a purely finitary geometry problem. Although we have established a very similar, but somewhat simpler, version of the geometry conjecture, we leave the general problem open. We consider also various generalizations of these results, including to higher dimension spaces and planes.
    Źródło:
    Fundamenta Mathematicae; 1997, 152, 1; 75-95
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelling of the teeth separation states in gears considering diesel engine forcing features
    Modelowanie stanów utraty kontaktu zazębień kół zębatych z uwzględnieniem właściwości wymuszenia silnikiem spalinowym o zapłonie samoczynnym
    Autorzy:
    Dyk, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/329380.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    gears
    forcing
    rattling
    modelling
    przekładnia zębata
    wymuszenie
    klekotanie
    modelowanie
    Opis:
    In the paper the possibility of the direct application of forcing computed function based on the elementary model of the diesel engine regarding issues of the rattle vibrations in modelling of gears was introduced. In this way the simulated indicator diagrams were created. After that, build diagrams were used to calculate tangential forces and torques operating in the drive system. Considering only the torsional vibrations, these calculated values of torques can be introduced as the forcing that are acting on gears inside of the gearbox. The presented in the article different models enable us to diagnose and analyse the neutral gear rattle. The forcing of the diesel engine introduced at the low range of rotation speeds is one of the most important parameters which may cause, within the clearance, the creation of the phenomenon of a lack of contact of the regular meshing of teeth, and, as a consequence vibrations and the difficult acoustic effects connected with rattle.
    W pracy, dla zagadnień dotyczących drgań rattle w modelowaniu przekładni, przedstawiono możliwość zastosowania bezpośredniego wyliczania funkcji wymuszającej silnika na podstawie elementarnego modelu uwzględniającego zmiany ciśnienia czterosuwowego silnika o zapłonie samoczynnym. Stworzono w ten sposób symulowane wykresy indykatorowe, które wykorzystano do obliczeń przebiegów sił stycznych i momentów działających w układzie napędowym. Zakładając jedynie drgania skrętne obliczany moment wprowadzić można jako wejściowe wymuszenie przekładni znajdujących się wewnątrz skrzyni biegów. Przedstawiono różne modele opisujące klekotanie zębów w biegu luzem, które umożliwiają diagnozę powstania tego zjawiska. Wymuszenie od silnika działające w niskim zakresie prędkości obrotowych jest jednym z ważniejszych parametrów, który spowodować może, w obrębie luzu międzyzębnego, powstanie zjawiska utraty prawidłowego styku zębów, a w konsekwencji drgań i uciążliwych efektów akustycznych związanych z klekotaniem.
    Źródło:
    Diagnostyka; 2016, 17, 4; 73-78
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Usefulness of Japanese bunching onion [Allium fistulosum L.] for forcing in greenhouse
    Przydatnosc cebuli siedmiolatki do pedzenia w warunkach szklarniowych
    Autorzy:
    Tendaj, M
    Mysiak, B
    Powiązania:
    https://bibliotekanauki.pl/articles/28078.pdf
    Data publikacji:
    2007
    Wydawca:
    Polskie Towarzystwo Botaniczne
    Tematy:
    Allium fistulosum
    forcing
    Welsh onion
    L-ascorbic acid
    flavonoids
    greenhouse
    usefulness
    phenolic acid
    sugar content
    Opis:
    The purpose of this work was the evaluation of yielding and the content of some chemical ingredients of Japanese bunching onion yield obtained from forcing in greenhouse conditions. Plants used for forcing were from field cultivation and had the pseudostem trimmed in the autumn of each year (2002, 2003 and 2004) at the height of 2-4 and 8-10 cm. In the spring of the following year (2003, 2004 and 2005) from the middle of March, the plants were forced in a heated greenhouse (temperature 16-20°C) and an unheated one (temperature 6-12 °C). The whole yield was evaluated when the plants reached the market size for bunching. The weight and height were determined in the plants, as well as the number of laterals and leaves in clusters. In green shoots and the pseudostem, the content of dry weight, total and reducing sugars, L-ascorbic acid, flavonoids and phenolic acids were determined. Very high yield of plants useful for bunching was obtained (average 13.7 kg·m⁻² of area). The plants with a longer pseudostem before forcing yielded better. The conditions of forcing did not have a significant influence on the size of the obtained yield, but the content of L-ascorbic acid and flavonoids was much higher (especially in green shoots) in the plants from forcing in the unheated greenhouse. Lower temperature at the time of forcing was favorable to higher reducing sugar content, especially in the pseudostem. Japanese bunching onion turned out to be useful for forcing for harvest in bunching form.
    Celem pracy była ocena plonowania i zawartości niektórych składników chemicznych w plonie cebuli siedmiolatki uzyskanym z pędzenia w warunkach szklarniowych. Pędzeniu poddano roczne rośliny z uprawy polowej, u których jesienią każdego roku (2002 - 2004) przycięto łodygę rzekomą na wysokość 2-4 i 8-10 cm. Wiosną następnego roku (2003 - 2005) od połowy marca rośliny poddawano pędzeniu w szklarni ogrzewanej (temperatura 16-20°C) i nieogrzewanej (temperatura 6-12°C). Ocenie poddano plon całych roślin, gdy osiągały wielkość handlową do pęczkowania. Określono masę i wysokość roślin, liczbę odrostów i liści. W szczypiorze i łodydze rzekomej oznaczono zawartość suchej masy, cukrów ogółem i redukujących, kwasu L-askor- binowego, flawonoidów i fenolokwasów. Uzyskano bardzo wysoki plon roślin przydatnych do pęczkowania (średnio 13,7 kg m'2 powierzchni). Lepiej plonowały rośliny z wyżej przyciętą łodygą rzekomą przed pędzeniem. Warunki pędzenia nie miały istotnego wpływu na wielkości uzyskanego plonu, lecz zawartość kwasu L-askorbinowego i flawonoidów była istotnie większa (zwłaszcza w szczypiorze) u roślin z pędzenia w szklarni nieogrzewanej. Niższa temperatura podczas pędzenia sprzyjała gromadzeniu większej ilości cukrów redukujących, zwłaszcza w łodydze rzekomej siedmiolatki. Roślina ta okazała się w pełni przydatna do pędzenia na zbiór w postaci pęczkowanej.
    Źródło:
    Acta Agrobotanica; 2007, 60, 1
    0065-0951
    2300-357X
    Pojawia się w:
    Acta Agrobotanica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika racjonalności. W stronę modalnego platonizmu matematycznego
    The Logic of Rationality. Towards Modal Mathematical Platonism
    Autorzy:
    Wilczek, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/691018.pdf
    Data publikacji:
    2011
    Wydawca:
    Copernicus Center Press
    Tematy:
    Alfred N. Whitehead
    Alfred Tarski
    logical consequence
    ZFC
    second-order set theory
    forcing
    modal logics
    field of rationality
    structuralism
    platonism
    Opis:
    In this article Whitehead’s philosophy of mathematics is characterized as a Structural Second-Order Platonism and it is demonstrated that the Whiteheadian ontology is consistent with modern formal approaches to the foundation of mathematics. We follow the pathway taken by model-theoretically and semantically oriented philosophers. Consequently, it is supposed that all mathematical theories (understood as deductively closed set of sentences) determine their own models. These models exist mind-independently in the realm of eternal objects. From the metatheoretical point of view the hypothesis (posed by Józef Życiński) of the Rationality Field is explored. It is indicated that relationships between different models can be described in the language of modal logics and can further be axiomatized in the framework of the Second Order Set Theory. In conclusion, it is asserted that if any model (of a mathematical theory) is understood, in agreement with Whitehead’s philosophy, as a collection of eternal objects, which can be simultaneously realized in a single actual occasion, then our external world is governed by the hidden pattern encoded in the field of pure potentialities which constitute the above mentioned Field of Rationality. Therefore, this work can be regarded as the first step towards building a Logic of Rationality.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2011, 49; 98-122
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Usefulness of some hyacinths cultivars for forcing in water
    Przydatność kilku odmian hiacynta do pędzenia w wodzie
    Autorzy:
    Krzymińska, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/11541675.pdf
    Data publikacji:
    2008
    Wydawca:
    Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
    Tematy:
    Hyacinthus orientalis
    forcing
    hyacinth
    ornamental plant
    plant cultivar
    usefulness
    water culture
    Carnegie cultivar
    City of Haarlem cultivar
    Delft's Blue cultivar
    Jan Bos cultivar
    Lady Derby cultivar
    Opis:
    An assessment was made of the usefulness for forcing of five cultivars of Hyacinthus orientalis L.: ‘Carnegie’, ‘City of Haarlem’, ‘Delft Blue’, ‘Jan Bos’, and ‘Lady Derby’. The bulbs were planted on 14 October 2003 and 2004 in Flexy-tray type of pallets filled with water and in plastic boxes with a standard medium. The bulbs were cooled for 12 or 14 weeks. It was found that forcing lasted shorter in the water-filled trays, while longer inflorescence stems were obtained in plants forced in the standard medium. The cooling of the bulbs for 14 weeks resulted in the shortening of the forcing time and in the lengthening of inflorescence stems.
    Oceniono przydatność do pędzenia pięciu odmian hiacynta wschodniego Hyacinthus orientalis L.: ‘Carnegie’, ‘City of Haarlem’, ‘Delft Blue’, ‘Jan Bos’ and ‘Lady Derby’. Cebule sadzono 14 października 2003 i 2004 r. do palet Flexy-tray wypełnionych wodą i plastikowych skrzynek z podłożem standardowym. Cebule chłodzono przez 12 lub 14 tygodni. Stwierdzono, że pędzenie trwało krócej w paletach wypełnionych wodą, dłuższe pędy kwiatostanowe uzyskano u roślin pędzonych w podłożu standardowym. Chłodzenie cebul przez 14 tygodni wpłynęło na skrócenie pędzenia i wydłużenie pędów kwiatostanowych.
    Źródło:
    Acta Scientiarum Polonorum. Hortorum Cultus; 2008, 07, 3; 87-92
    1644-0692
    Pojawia się w:
    Acta Scientiarum Polonorum. Hortorum Cultus
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Topology and models of ZFC at early Universe
    Autorzy:
    Król, Jerzy
    Asselmeyer-Maluga, Torsten
    Powiązania:
    https://bibliotekanauki.pl/articles/690832.pdf
    Data publikacji:
    2019
    Wydawca:
    Copernicus Center Press
    Tematy:
    Cosmological model
    exotic R4 and S3 × R in cosmology
    4-exotic smoothness
    models of ZFC
    topological model for inflation
    topological model for neutrino masses
    forcing
    QM lattice of projections
    Opis:
    Recently the cosmological evolution of the universe has been considered where 3-dimensional spatial topology undergone drastic changes. The process can explain, among others, the observed smallness of the neutrino masses and the speed of inflation. However, the entire evolution is perfectly smooth from 4-dimensional point of view. Thus the raison d’être for such topology changes is the existence of certain non-standard 4-smoothness on R4 already at very early stages of the universe. We show that the existence of such smoothness can be understood as a byproduct of the quantumness of the origins of the universe. Our analysis is based on certain formal aspects of the quantum mechanical lattice of projections of infinite dimensional Hilbert spaces where formalization reaches the level of models of axiomatic set theory.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2019, 66; 15-33
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    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