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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Formalna analiza albańskich derywatów przymiotnikowych
    Autorzy:
    Karasiński, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/677539.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    Albanian
    word formation
    formal analysis
    Opis:
    Formal Analysis of Albanian Adjectival DerivativesThe paper presents a formal analysis of Albanian adjectival derivatives, carried out in accordance with the proposal of a formal description of word formation (part of methodology presented in Bulgarian-Polish Contrastive Grammar, Volume 9).This type of description in addition to a characterization of formal, segmental exponents of derivation allows for appearing and signalizing functions of Albanian definite article in word formation process.Analyzed material comes from the Dictionary of Contemporary Albanian Language (Institute of Language and Literature of the Albanian Academy of Sciences 1984, revised edition 2002) and is nearly 62% of all lexical adjectival units (about 6100 adjectival derivatives).
    Źródło:
    Slavia Meridionalis; 2013, 13
    1233-6173
    2392-2400
    Pojawia się w:
    Slavia Meridionalis
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ortograficzne i ortoepiczne zróżnicowanie słowacko-serbskich aproksymatów międzyjęzykowych
    Autorzy:
    Faško, Ivan
    Powiązania:
    https://bibliotekanauki.pl/articles/678574.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    interlingual homonymy
    formal analysis
    false friends
    Serbian language
    Slovak language
    Opis:
    Orthographic and orthoepic diversity of Serbo‑Slovak interlingual approximatesThe paper is a presentation of the results of a qualitative formal analysis of different types of Serbo-Slovak interlingual approximates (false friends, interlingual homonyms). In his earlier research on Serbo-Slovak approximation, the author of this paper defined the appropriate terminology and the meaning of the notions similar and identical in terms of quantitative analysis. The results of the study are based on lexical material containing 266 pairs of Serbo-Slovak approximates. They have been classified into four groups – interlingual homonyms, homophones, homographs and paronyms. We found that the differences between approximates are similar in their nature within the groups they were classified into. The existence of these types of differences is possible due to the presence of numerous spelling principles in the Slovak orthography – which features a combination of the phonetic, morphological, grammatical and etymological principles. In the Serbian language, the phonetic principle is the only one consistently present, and the morphological principle can be seen only in a few exceptions. Orthoepic differences are closely related to the orthographic ones. In addition, we can distinguish other kinds of differences which result from a different etymological development or are accidental. Comparing and understanding differences gives a comprehensive and clear view of the formal differentiation of Serbo-Slovak interlingual approximation. Ortograficzne i ortoepiczne zróżnicowanie słowacko‑serbskich aproksymatów międzyjęzykowychW niniejszym artykule zaprezentowane zostały wyniki analizy jakościowej pojedynczych rodzajów serbsko-słowackich aproksymatów międzyjęzykowych (wyrazów zdradliwych, homonimów międzyjęzykowych) pod względem ich formy. Autor w swoich wcześniejszych badaniach nad aproksymacją serbsko-słowacką zajął się zdefiniowaniem odpowiedniej terminologii i ustaleniem znaczenia pojęć podobny i identyczny za pomocą analizy ilościowej. Wyniki badań opierają się na materiale leksykalnym liczącym 266 par serbsko-słowackich aproksymatów. Zaklasyfikowano je do czterech grup – homonimy, homofony, homografy oraz paronimy międzyjęzykowe. Okazało się, że różnice między aproksymatami mają podobny charakter w zależności od tego, do której z grup aproksymaty zostały zaklasyfikowane. Pojawienie się tych różnic wynika z istnienia kilku zasad ortograficznych w pisowni języka słowackiego – połączenie zasady fonetycznej, morfologicznej, gramatycznej oraz etymologicznej, podczas gdy w języku serbskim obecna jest tylko zasada fonetyczna, morfologiczną można zauważyć w kilku wyjątkach. Różnice ortoepiczne są ściśle powiązane z ortograficznymi. Oprócz tego wskazać można takie różnice, które wynikają z odmiennego rozwoju etymologicznego lub są przypadkowe. Porównanie i poznanie różnic daje możliwość pełniejszego spojrzenia na formalne zróżnicowanie serbsko-słowackich aproksymatów międzyjęzykowych.
    Źródło:
    Studia z Filologii Polskiej i Słowiańskiej; 2016, 51
    2392-2435
    0081-7090
    Pojawia się w:
    Studia z Filologii Polskiej i Słowiańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    UML Modelling in Rigorous Design Methodology for Discrete Controllers
    Autorzy:
    Łabiak, G.
    Adamski, M.
    Doligalski, M.
    Tkacz, J.
    Bukowiec, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/227244.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    UML modelling
    binary controller
    decomposition
    digital synthesis
    formal analysis
    verification
    Opis:
    The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.
    Źródło:
    International Journal of Electronics and Telecommunications; 2012, 58, 1; 27-34
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    La néologie récente du verbe français
    Latest verb neologisms in French
    Najnowsze neologizmy czasownikowe w języku francuskim
    Autorzy:
    Kacprzak, Alicja
    Powiązania:
    https://bibliotekanauki.pl/articles/40268562.pdf
    Data publikacji:
    2023
    Wydawca:
    Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
    Tematy:
    neologia
    neologizm
    czasownik
    analiza formalna
    analiza semantyczna
    neology
    neologism
    verb
    formal analysis
    semantic analysis
    Opis:
    Przedmiotem niniejszego artykułu są najnowsze neologizmy czasownikowe w języku francuskim, a celem podjętego badania jest określenie współczesnych tendencji słowotwórczych tej kategorii gramatycznej. Materiał badawczy pochodzi z francuskiej platformy cyfrowej Néoveille selekcjonującej neologizmy z wielkich korpusów tekstowych. Analizie jakościowej poddano próbę około 200 nowych czasowników, które zostały opisane z punktu widzenia ich właściwości formalnych i semantycznych. Jak się wydaje, owe charakterystyki związane są ściśle z funkcjami, które neologizmy czasownikowe pełnią w dyskursie.
    The subject of the article are the latest verbal neologisms in French and the aim of the undertaken research is to determine the contemporary word-formation tendencies of this grammatical category. The research material comes from the French digital platform Néoveille, which selects neologisms from large text corpora. A sample of about 200 new verbs, which were described from the point of view of their formal and semantic properties, was subjected to qualitative analysis. It seems that these features are closely related to the functions that verbal neologisms perform in discourse.
    Źródło:
    Białostockie Archiwum Językowe; 2023, 23; 171-186
    1641-6961
    Pojawia się w:
    Białostockie Archiwum Językowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    BPMN – a logical model and property analysis
    Autorzy:
    Ligęza, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/375880.pdf
    Data publikacji:
    2011
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    Business Process Modeling Notation
    BPMN
    business rules
    rule-based systems
    eXtended Tabular Trees
    XTT
    XTT2
    system verification
    formal analysis
    declarative model
    Opis:
    Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.
    Źródło:
    Decision Making in Manufacturing and Services; 2011, 5, 1-2; 57-67
    1896-8325
    2300-7087
    Pojawia się w:
    Decision Making in Manufacturing and Services
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Estimation of states economic position on the example of Nigeria
    Ocena pozycji ekonomicznej państw na przykładzie Nigerii
    Autorzy:
    Obojska, Lidia
    Kiczma, Łukasz
    Powiązania:
    https://bibliotekanauki.pl/articles/21150887.pdf
    Data publikacji:
    2022
    Wydawca:
    Polskie Towarzystwo Geopolityczne
    Tematy:
    economic position
    economic power
    Sułek's model
    formal analysis
    neural networks
    economic rankings
    Nigeria
    pozycja gospodarcza
    siła gospodarcza
    model Sułka
    analiza formalna
    sieci neuronowe
    rankingi gospodarcze
    Opis:
    The scope of this manuscript is to propose a method of estimation of state's economic position. To evaluate an economic position, we apply formal analysis on Sułek's model of economic power, and analyze its factors. We evaluate whether the variables taken in a formal model are independent or not. In case they are strongly correlated, we split them or, if it is not possible, we create new factors which puts together correlated units. We apply various methods of predictions of economic power; in particular neural networks which do not require the normal distribution of errors. Finally, we estimate the state's economic position on the basis of formal analysis, predictions, and in comparison to selected economic rankings. All the results are figured out for Nigeria.
    Celem niniejszego artykułu jest opracowanie metodyki szacowania pozycji ekonomicznej państwa. Do oceny pozycji ekonomicznej zastosowano analizę formalną w oparciu o model siły ekonomicznej Sułka i dokonano analizy jej czynników. Oceniono stopień niezależności zmiennych uwzględnionych w modelu formalnym. W przypadku gdy są one silnie skorelowane, rozdzielono je lub, jeśli nie było to możliwe, utworzono nowe czynniki, które łączą skorelowane jednostki. Zastosowano różne metody predykcji siły ekonomicznej, w szczególności oparte na sieciach neuronowych, które nie wymagają normalnego rozkładu błędów. Na koniec oszacowano pozycję gospodarczą państwa na podstawie analizy formalnej, prognoz oraz w porównaniu z wybranymi rankingami gospodarczymi. Wszystkie wyniki opracowano dla Nigerii.
    Źródło:
    Przegląd Geopolityczny; 2022, 40; 84-102
    2080-8836
    2392-067X
    Pojawia się w:
    Przegląd Geopolityczny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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