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ę "Suchenek, M." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Analysis of the Photoacoustic Helmholtz Resonator with Conical-Ended Duct
    Autorzy:
    Suchenek, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/227182.pdf
    Data publikacji:
    2017
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Helmholtz resonator
    influence of duct shape
    conical duct model
    Opis:
    The acoustic properties of the photoacoustic Helmholtz cell can be improved by conical modification of the duct ends. The cone profile of the duct ends was studied, and according to the previous work, not all modifications of the parameters provide an increase of the Q-factor of the resonator. The aim of this work is to investigate the influence of the conical modification of the duct using a step-approximated model.
    Źródło:
    International Journal of Electronics and Telecommunications; 2017, 63, 2; 123-126
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Notes on nonmonotonic autoepistemic propositional logic
    Uwagi dotyczące niemonotonicznego autoepistemicznego rachunku zdań
    Autorzy:
    Suchenek, M. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/91278.pdf
    Data publikacji:
    2011
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    autoepistemic logic
    semantic
    autoepistemic deduction
    logika autoepistemiczna
    semantyka
    autoepistemiczny rachunek zdań
    Opis:
    This paper comprises an in-depth study of semantics of autoepistemic logic that is based on author’s may years of research in the subject matter. It begins with a brief review of semantics of common patterns of nonmonotonic deduction arising from a lack of knowledge, including autoepistemic deduction, in terms of the fixed-point equation F (T, E) = E. Then it narrowly investigates minimal expansion semantics for autoepistemic propositional logic and its „only knowing” consequence operation CnAE. In particular, the following minimalknowledge assumption M K A : ϕ ∈M K A (T) iff ϕ does not add modally positive S5- consequences to T is used to syntactically characterize the operation CnAE by means of suitable completeness theorem. The paper also offers a proof that the consequence operation CnS5 of modal logic S5 is the maximal monotonic consequence operation satisfying CnS5(T) ⊆ M K A (T) for every modal theory T.
    Artykuł stanowi dogłębne studium semantyki logiki autoepistemicznej wykorzystujące wyniki wieloletnich badań autora w tym przedmiocie. Rozpoczyna się ono od skrótowego przeglądu semantyk powszechnie stosowanych wzorców niemonotonicznej dedukcji biorącej się z braku wiedzy, włączając w to dedukcję autoepistemiczną, w terminach równania stałopunktowego F (T, E) = E. Następnie bada ono szczegółowo semantykę minimalnych ekspansji dla zdaniowej logiki autoepistemicznej oraz jej operację CnAE odpowiadającą schematowi wnioskowania opartemu na założeniu „wiedząc tylko”. W szczególności następujące założenie M K A o minimalności wiedzy: ϕ ∈M K A (T) wtedy, i tylko wtedy, gdy ϕ nie dokłada modalnie pozytywnych S5-konsekwencji do T jest używane w celu syntaktycznego scharakteryzowania operacji CnAE przy pomocy stosownego twierdzenia o pełności. Artykuł przedstawia też dowód, że operacja konsekwencji CnS5 logiki modalnej S5 jest maksymalną monotoniczną operacją konsekwencji spełniającą CnS5(T) ⊆ M K A (T) dla każdej teorii modalnej T.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 74-92
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On Undecidability of Non-monotonic Logic
    Autorzy:
    Suchenek, M. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/92958.pdf
    Data publikacji:
    2006
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    default logic
    autoepistemic logic
    asymptotic decidability
    Opis:
    The degree of undecidability of nonmonotonic logic is investigated. A proof is provided that arithmetical but not recursively enumerable sets of sentences definable by nonmonotonic default logic are elements of ∆n+1 but not Σ n nor Π n for some n ≥1 in Kleene- Mostowski hierarchy of arithmetical sets.
    Źródło:
    Studia Informatica : systems and information technology; 2006, 1(7); 127-132
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Accuracy Improvement of a Photoacoustic Helmholtz Cell Model
    Autorzy:
    Suchenek, M.
    Opalski, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/1198566.pdf
    Data publikacji:
    2014-05
    Wydawca:
    Polska Akademia Nauk. Instytut Fizyki PAN
    Tematy:
    43.20.Ks
    43.20.Wd
    43.30.Zk
    43.38.Zp
    Opis:
    This paper presents a method for improving accuracy of the frequency response of a photoacoustic Helmholtz cell model. The method generates simple non-linear corrections to well-established (reference) delay line model of the cell. The form of the correction functions is obtained from a study of a numerical fitting of the reference model to the measurement data. A novel integral accuracy measure is formulated to compare fit of cell models to actual measurements in the neighborhood of the resonance frequency, which is important for measurement applications of the cell. The two proposed correction functions modify effective values of duct parameters. Despite simplicity the proposed corrections make significant improvement of modeling accuracy, as shown with the integral measure but also with prediction accuracy of the resonance frequency and the cell quality factor. It is significant that substantial accuracy gain due to the corrections was confirmed with measurements of a second (testing) set of photoacoustic Helmholtz cells with geometrical parameter values which are different from these of the first set.
    Źródło:
    Acta Physica Polonica A; 2014, 125, 5; 1132-1137
    0587-4246
    1898-794X
    Pojawia się w:
    Acta Physica Polonica A
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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