Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "formal description" wg kryterium: Temat


Wyświetlanie 1-6 z 6
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ł
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ł:
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ł:
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ł:
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ł:
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ł
    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