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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Vygotsky’s Meta-theory of Development: Formal Description
    Autorzy:
    Karandashev, Yuri N.
    Powiązania:
    https://bibliotekanauki.pl/articles/29520330.pdf
    Data publikacji:
    2006-12-31
    Wydawca:
    Wydawnictwo Adam Marszałek
    Tematy:
    Vygotsky
    development
    meta-theory
    meta-theory of development
    formal description of development
    Opis:
    Vygotsky’s text “The Structure and Dynamics of Age” contains a description of his meta-theory of development. However, psychologists have not understood this text because of its traditional philosophical character. The author of the article proposes a constructive reading of Vygotsky’s original text supplemented by his own formal description. This perusal of Vygotsky is based on the formula \(S_{i + 1} = (S_i + I) * f_{i + 1}\), where \(i\) is the serial number of current age period, \(S_i\) is the structure of the \(i-th\) age period, \(S_{i + 1}\) is the structure of the \((i + 1)-th\) age period and \(f_{i + 1}\) is the social situation of development for the \((i + 1)-th\) age period.
    Źródło:
    The New Educational Review; 2006, 10; 145-164
    1732-6729
    Pojawia się w:
    The New Educational Review
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
    Modeling of dynamic phenomena in spatial planning with the use of formal ontology
    Autorzy:
    Łukowicz, J.
    Iwaniak, A.
    Strzelecki, M.
    Kaczmarek, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/345837.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    ontologia
    modelowanie
    planowanie przestrzenne
    Description Logic
    ontologia formalna
    model czasoprzestrzenny
    ontology
    modeling
    spatial planning
    description logic
    formal ontology
    spatio-temporal model
    Opis:
    Zarówno gospodarka przestrzenna jak i planowanie przestrzenne maja charakter multidyscyplinarny oraz odnoszą się do dynamicznie zmieniającej się rzeczywistości. Decyzje projektowe oddziałują na spójność systemu środowiska przyrodniczego. Poprawa jakości zarządzania przestrzenią zależy od wypracowania lepszych metod planowania i przewidywania skutków przekształceń przestrzennych dla środowiska. Takie możliwości dają ontologie oparte na logice opisowej (Description Logic) i związanych z nim systemami wnioskowania. Ontologie mogą być wzbogacane o dodatkowe systemy formalne. Autorzy prezentują sposoby budowania ontologii dziedzinowych dla planowania przestrzennego uzupełnionych przez konstrukcje logiki temporalnej. Jako rezultat, analizy relacji przestrzennych będą rozszerzone o badanie relacji czasowych. Modele czasoprzestrzenne z konstrukcjami logiki temporalnej mogą być przedmiotem wnioskowania wykorzystującego tzw. reasonery (resoning engines). Czasoprzestrzenne reprezentacje są oferowane przez tzw. ontologie wyższego rzędu, w tym przypadku ontologie fundamentalne (formalne). Do tych ontologii można zaliczyć GFO, BFO, DOLCE, OCHRE i inne. Takie ontologie są użyteczne dla modelowania danych przestrzennych z uwzględnieniem ich dynamiki i zmian. Czynią one możliwe przewidywanie scenariuszy przekształceń przestrzennych i przewidywania przyszłego stanu zagospodarowania oraz środowiska.
    Spatial management and spatial planning both have a multidisciplinary nature and refer to dynamically changing reality. Design decisions can affect the integrity of the environmental system. Improvement of spatial management depends on better methods of planning and forecasting about the environmental effects of development change. Such approach is offered by ontologies, based on Description Logics (DL) and related to them inference systems. Ontologies can be enriched with additional logical systems. The authors present a way of building domain ontologies for spatial planning supplemented by structures of temporal logic. As a result, the analysis for exploring the topological relations between spatial objects will be extended to include temporal relationships. Spatiotemporal models with temporal logic structures could be a subject of inference process, performed by reasoner engines. Spatiotemporal representations are offered by so-called upper ontologies in this case group of fundamental ontologies. The set of such ontologies includes GFO, BFO, OCHRE and others. Such ontologies are useful for modeling of spatial data with focus on their dynamics of changes. They make possible a prediction of scenarios of expected spatial transformation and forecasting a future state of spatial development and environmental conditions.
    Źródło:
    Roczniki Geomatyki; 2014, 12, 1(63); 81-91
    1731-5522
    2449-8963
    Pojawia się w:
    Roczniki Geomatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metodyka budowy komputerowych systemów srk
    Methodology of construction of computer systems for atc
    Autorzy:
    Maciejewski, M.
    Zabłocki, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/249222.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    ruch kolejowy
    system
    metoda
    sterowanie
    projektowanie
    modelowanie
    automat
    specyfikacja systemu
    opis formalny
    cykl V
    droga przebiegu
    rail traffic
    method
    control
    project
    modeling
    machine (automat)
    specification for the system
    formal description
    cycle V
    route of the Road
    Opis:
    W publikacji przedstawiono ogólne założenia metody tworzenia komputerowych systemów srk. Podstawą metody projektowania systemu srk jest strategia oparta na analizie systemowej uwzględniającej cykl V oraz podejście COTS. Treść publikacji zawiera opisy wybranych etapów projektowania należących do cyklu V. Opisy obejmują własności systemu srk i podstawy metody formalizacji opartej na modelu systemu srk nawiązującym do układu przełączającego (automatu), w którym zostają wyróżnione automaty składowe umożliwiające odwzorowanie funkcji sterowania. Podstawą analizy pracy automatów jest specyfikacja sygnałów oraz wyznaczenie funkcji przejść uzupełnione schematami grafów przejść. Rezultatem powyższej metodyki projektowania jest wypracowana metoda pozwalająca tworzyć bezpieczne komputerowe systemy sterowania ruchem.
    The general assumptions for the method of computer system for atc construction have been presented in the paper. The basis of the method of atr system designing is the strategy resulting from system analysis including V cycle and COTS approach. The descriptions of some designing stages that belong to V cycle have been given. The descriptions contain the atr system properties and the basis of formalization method. The basis of machines work analysis is specification of signals and definition of transfer function completed with schemes of transfer graphs. The result of mentioned above methodology of designing is the method allowing to create computer systems for traffic control.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2011, 96, z. 158; 289-305
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Entrer / entrar – différences et ressemblances dans leur emploi suivant l’approche orientée objets
    Entrer/Entrar – Differences and Similarities in their Use According to Object Oriented Approach
    Entrer / entrar – podobieństwa i różnice w ich użyciu według koncepcji zorientowanej obiektowo
    Autorzy:
    Żłobińska-Nowak, Aleksandra
    Powiązania:
    https://bibliotekanauki.pl/articles/1886442.pdf
    Data publikacji:
    2014
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    międzyjęzykowe odpowiedniki formalne
    opis leksykograficzny
    koncepcja zorientowana obiektowo
    formal linguistic equivalents
    lexicographical description
    object oriented approach
    Opis:
    Artykuł poświęcony jest analizie dwóch międzyjęzykowych odpowiedników formalnych – francuskiego czasownika entrer i hiszpańskiego entrar. Autorka dokonuje opisu definicji obu leksemów dostępnych w dwóch wybranych do analiz słownikach dwujęzycznych (Grand dictionnaire français-polonais i Podręczny słownik hiszpańsko-polski) podkreślając podobieństwa i różnice w tłumaczeniach użyć obu czasowników na język polski. Zaznacza przy tym również braki oraz niezgodności w analizowanych definicjach. W dalszej kolejności zostaje podjęta próba opisu kilku najczęstszych użyć przestrzennych obu czasowników w oparciu o metodę zorientowaną obiektowo W. Banysia. Badanie to zmierza do szczegółowego opisu jednostek predykatywnych wraz ze wskazaniem budowy ich otoczenia składniowego oraz charakteru semantycznego jego elementów.
    The article aims to analyse two formal interlinguistic equivalents – the French verb entrer and its representation in Spanish – entrar. Firstly, the author will examine the definitions provided by two bilingual dictionaries of her choice (Grand dictionnaire français-polonais and Podręczny słownik hiszpańsko-polski) underlining the similarities and differences on the basis of their translations into Polish language and demonstrating their lacks and inadequacies. Afterwards, she will present the lexicographical description for the automatic translation named object oriented approach, proposed by W. Banyś. In this study the two chosen verbs can adopt a detailed representation with a syntactic and semantic specification of the objects in their surround.
    Źródło:
    Roczniki Humanistyczne; 2014, 62, 8; 133-148
    0035-7707
    Pojawia się w:
    Roczniki Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Някои типове съществителни имена в българския език с оглед на формалното им описание
    Autorzy:
    Кунева [Kuneva], Илияна [Iliiana]
    Powiązania:
    https://bibliotekanauki.pl/articles/677495.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    nouns
    inflection forms
    formal description
    normative grammar
    Bulgarian language
    Opis:
    Some types of nouns in Bulgarian in view of their formal description This article presents a part of the formal description of nouns in Bulgarian made for the purposes of the Normative grammar of modern Bulgarian. It reviews the descriptive approach that has been adopted and some issues that can be solved through its implementation. In particular, cases of variation of forms within the paradigm of the nouns as well as types of nouns with “defective” paradigm are discussed. Niektóre typy rzeczowników w języku bułgarskim ze względu na ich opis formalny W artykule przedstawiono część formalnego opisu rzeczowników w języku bułgarskim. Opis został sporządzony na potrzeby Gramatyki normatywnej współczesnego języka bułgarskiego. Zaprezentowano przyjęte kryteria opisu oraz ich zastosowanie na wybranych przykładach. W szczególności omówiono przypadki wariancji form wewnątrz paradygmatu rzeczownikowego i przeanalizowano typy rzeczowników o „wadliwym” paradygmacie.
    Źródło:
    Slavia Meridionalis; 2018, 18
    1233-6173
    2392-2400
    Pojawia się w:
    Slavia Meridionalis
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Принципи на формалното описание на българските изменяеми лексеми като компонент на нормативната граматика
    Autorzy:
    Малджиева [Maldjieva], Вяра [Viara]
    Powiązania:
    https://bibliotekanauki.pl/articles/677853.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Instytut Slawistyki PAN
    Tematy:
    formal description
    Bulgarian inflected lexemes
    normative grammar
    Opis:
    Rules of a formal description of Bulgarian inflected lexemes as a component of normative grammar A formal description of the set of grammatical means in Bulgarian as a component of its normative grammar should form the basis for adequate distinction and diagnosis of normative problems. It means that linguistic facts should be described precisely and exhaustively and without any presupposed normative interpretation. Accomplishment of such an objective may befeasible if the description is treated as the task of building the universal classification of forms in the Bulgarian language understood as the classification in which each of the classifying features finds its fulfilment through one of its values in each of the objects classified.The study is an attempt to determine the rules of building the classification of Bulgarian lexical items relevant to their formal morphological description as a transition from dichotomous to universal classification. Zasady formalnego opisu bułgarskich leksemów odmiennych jako komponentu gramatyki normatywnej Formalny opis inwentarza środków gramatycznych języka bułgarskiego jako komponent jego gramatyki normatywnej powinien stanowić podstawę do adekwatnego wyodrębnienia i zdiagnozowania problemów normatywnych. Oznacza to, że fakty językowe powinny być opisane ściśle i wyczerpująco bez jakiejkolwiek z góry założonej interpretacji normatywnej. Osiągnięcie tego celu wydaje się możliwe, jeśli do opisu podejść jak do zadania zbudowania uniwersalnej klasyfikacji form języka bułgarskiego rozumianej jako klasyfikacji, w której każda z cech klasyfikacyjnych realizuje się poprzez którąś ze swoich wartości w każdym klasyfikowanym obiekcie.Praca ta stanowi próbę ustalenia zasad budowania klasyfikacji jednostek leksykalnych języka bułgarskiego relewantnej dla ich formalnego opisu morfologicznego jako przejścia od klasyfikacji dychotomicznej do uniwersalnej.
    Źródło:
    Slavia Meridionalis; 2018, 18
    1233-6173
    2392-2400
    Pojawia się w:
    Slavia Meridionalis
    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