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

Dostawca treści

Wyrównaj
Wyświetlanie 1-15 z 32
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ł:
Unique factorization theorem for object-systems
Autorzy:
Mihók, Peter
Semanišin, Gabriel
Powiązania:
https://bibliotekanauki.pl/articles/743977.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
object-system
unique factorization
graph
hypergraph
formal concept analysis
Opis:
The concept of an object-system is a common generalization of simple graph, digraph and hypergraph. In the theory of generalised colourings of graphs, the Unique Factorization Theorem (UFT) for additive induced-hereditary properties of graphs provides an analogy of the well-known Fundamental Theorem of Arithmetics. The purpose of this paper is to present UFT for object-systems. This result generalises known UFT for additive induced-hereditary and hereditary properties of graphs and digraphs. Formal Concept Analysis is applied in the proof.
Źródło:
Discussiones Mathematicae Graph Theory; 2011, 31, 3; 559-575
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A new mathematical model for analytical risk assessment and prediction in IT systems
Autorzy:
Fray, I. E.
Kurkowski, M.
Pejaś, J.
Maćków, W.
Powiązania:
https://bibliotekanauki.pl/articles/206238.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
risk analysis
risk analysis methods
formal model for risk analysis
Opis:
In this paper, we propose a new formal model to describe risk analysis and measurement process for IT systems. Our model complies with international standards and recommendations for non-profit organisations. The model accounts for solutions used in widely known and recommended risk analysis methods and provides for evaluation of efficacy of these solutions. A simple example illustrates the application of the proposed model for effective risk analysis of any IT system.
Źródło:
Control and Cybernetics; 2012, 41, 1; 241-268
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A comprehensive survey on formal concept analysis, its research trends and applications
Autorzy:
Singh, P. K.
Aswani Kumar, C.
Gani, A.
Powiązania:
https://bibliotekanauki.pl/articles/330445.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
concept lattice
formal concept analysis
formal concept
formal context
Galois connection
krata pojęć
formalna analiza koncepcji
koneksja Galois
Opis:
In recent years, FCA has received significant attention from research communities of various fields. Further, the theory of FCA is being extended into different frontiers and augmented with other knowledge representation frameworks. In this backdrop, this paper aims to provide an understanding of the necessary mathematical background for each extension of FCA like FCA with granular computing, a fuzzy setting, interval-valued, possibility theory, triadic, factor concepts and handling incomplete data. Subsequently, the paper illustrates emerging trends for each extension with applications. To this end, we summarize more than 350 recent (published after 2011) research papers indexed in Google Scholar, IEEE Xplore, ScienceDirect, Scopus, SpringerLink, and a few authoritative fundamental papers.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2016, 26, 2; 495-516
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Concept Approximations Based on Rough Sets and Similarity Measures
Autorzy:
Saquer, J.
Deogun, J. S.
Powiązania:
https://bibliotekanauki.pl/articles/908365.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
mierzenie podobieństwa
pojęcie aproksymacji
formal concept analysis
similarity measures
rough sets
concept approximation
Opis:
The formal concept analysis gives a mathematical definition of a formal concept. However, in many real-life applications, the problem under investigation cannot be described by formal concepts. Such concepts are called the non-definable concepts (Saquer and Deogun, 2000b). The process of finding formal concepts that best describe non-definable concepts is called the concept approximation. In this paper, we present two different approaches to the concept approximation. The first approach is based on rough set theory while the other is based on a similarity measure. We present algorithms for the two approaches.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2001, 11, 3; 655-674
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
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ł:
Zaimek wskazujący w zdaniach z orzeczeniem imiennym: funkcja predykatywna czy anaforyczna?
Autorzy:
Kiklewicz, Aleksander
Powiązania:
https://bibliotekanauki.pl/articles/678936.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:
formal and structural analysis
syntax
nominal predicate
copula
grammatical subject
pronoun
anaphor
Opis:
Demonstrative pronoun in sentences with nominal predicate: predicative or anaphor function?This article deals with a particular type of simple sentences with a complex predicate which includes the demonstrative pronoun Pol. to / Russ. это ‘this.’ The author presents the view, prevailing in the linguistic literature, that in terms of syntactic structure, such units perform the role of the so-called copula. The analysis of linguistic material of modern Russian and Polish (taking into account the category of functional syntax) leads to the conclusion that such instances are in fact cases of subject duplication, which is used to emphasise the subject in spoken language. Zaimek wskazujący w zdaniach z orzeczeniem imiennym: funkcja predykatywna czy anaforyczna?Przedmiotem artykułu jest szczególny typ zdań prostych z orzeczeniem złożonym zawierającym zaimek wskazujący to/это. Autor przedstawia panujący w literaturze lingwistycznej pogląd, że jednostka ta zajmuje w strukturze zdania pozycję tzw. łącznika (copuli). Z analizy materiału językowego współczesnego języka polskiego (przy uwzględnieniu kategorii składni funkcjonalnej) wynika, że w rzeczywistości mamy tu do czynienia z duplikacją podmiotu, która służy do emfatycznego wyodrębnienia tego członu zdania w mowie.
Ź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ł:
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ł
Tytuł:
Knowledge discovery in data using formal concept analysis and random projections
Autorzy:
Aswani Kumar, Ch.
Powiązania:
https://bibliotekanauki.pl/articles/930145.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
redukcja wymiarowości
odkrywanie wiedzy
projekcja losowa
attribute implications
concept lattices
dimensionality reduction
formal concept analysis
knowledge discovery
random projections
Opis:
In this paper our objective is to propose a random projections based formal concept analysis for knowledge discovery in data. We demonstrate the implementation of the proposed method on two real world healthcare datasets. Formal Concept Analysis (FCA) is a mathematical framework that offers a conceptual knowledge representation through hierarchical conceptual structures called concept lattices. However, during the design of a concept lattice, complexity plays a major role.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2011, 21, 4; 745-756
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Risk Assessment for an Unmanned Merchant Ship
Autorzy:
Rødseth, Ø.J.
Burmeister, H.-C.
Powiązania:
https://bibliotekanauki.pl/articles/117079.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:
risk assessment
Unmanned Merchant Ship
Formal Safety Analysis
Formal Safety Assessment (FSA)
Autonomous Underwater Vehicle (AUV)
Autonomous Ship Controller (ASC)
Risk Control
Unified Modelling Language (UML)
Opis:
The MUNIN project is doing a feasibility study on an unmanned bulk carrier on an intercontinental voyage. To develop the technical and operational concepts, MUNIN has used a risk-based design method, based on the Formal Safety Analysis method which is also recommended by the International Mari-time Organization. Scenario analysis has been used to identify risks and to simplify operational scope. Systematic hazard identification has been used to find critical safety and security risks and how to address these. Technology and operational concept testing is using a hypothesis-based test method, where the hypotheses have been created as a result of the risk assessment. Finally, the cost-benefit assessment will also use results from the risk assessment. This paper describes the risk assessment method, some of the most important results and also describes how the results have been or will be used in the different parts of the project.
Źródło:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 3; 357-364
2083-6473
2083-6481
Pojawia się w:
TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formalna analiza konceptualna – reprezentacja wiedzy – przekład
Formal Concept Analysis – Knowledge Representation – Translations
Autorzy:
Boroch, Robert
Powiązania:
https://bibliotekanauki.pl/articles/1892157.pdf
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Formalna Analiza Konceptualna
depozyt semantyczny
reprezentacja wiedzy
definiowanie
znaczenie
przekład
Formal Concept Analysis
semantic deposit
knowledge representation
defining
meaning
translations
Opis:
The article presents the possibilities of using Formal Concept Analysis, FCA, in intralingual and machine translations. Let me draw your attention to the necessity of joining formal and conceptual systems into one system based on relations of the particular semantic deposits SD in the specific knowledge representation KR with defining linguistic units. I called this defining a hybrid defining. The hybrid defining of linguistic units enables to examine their cognitive (hybrid) meaning, which is implemented in a form of a coherent semantic map of meanings. An exemplifying material, by means of which a process of meaning creation is shown, is a light unit.
Źródło:
Roczniki Humanistyczne; 2013, 61, 6; 121-154
0035-7707
Pojawia się w:
Roczniki Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie formalnej analizy pojęć do analizy dziedzinowych danych tekstowych
Application of formal concept analysis for information extraction system analysis
Autorzy:
Mirończuk, M.
Powiązania:
https://bibliotekanauki.pl/articles/209644.pdf
Data publikacji:
2012
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
formalna analiza pojęć
FCA
ekstrakcja informacji
analiza danych tekstowych
projektowanie ekstraktorów informacji
formal concept analysis
information extraction
project of knowledge based systems
Opis:
W artykule opisano proces projektowania systemu ekstrakcji informacji SEI. Projektowanie tego systemu bazuje na regułach oraz zastosowaniu formalnej analizy pojęć do ich odpowiedniego ułożenia w bazie wiedzy opisywanego systemu.
This article describes a design process of information extraction system IES. The proposed projecting method is based on rules and formal concept analysis.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2012, 61, 3; 270-293
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 32

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