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ę "algebraic" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 20
Tytuł:
Algebraiczna semantyka dla nihilistycznych rachunków kwantyfikatorów
An Algebraic Semantics for Nihilistic Functional Calculi
Autorzy:
Żabski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/963494.pdf
Data publikacji:
1994-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper presents seven nihilistic functional calculi (NFC), founded on nihilistic propositional calculi. NFC are characterized from the syntactic and semantic points of view. For each of NFC both points of view are proved to define the same sets of formulas.
Źródło:
Filozofia Nauki; 1994, 2, 1; 67-76
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algebraiczna semantyka dla nihilistycznych rachunków zdań
An Algebraic Semantics for the Nihilistic Propositional Calculi
Autorzy:
Żabski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/967838.pdf
Data publikacji:
1993-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
From a formal point of view, the nihilistic propositional calculi, called in this text „npc”, are such propositional calculi that include three unary propositional conectives: T, F, ~, and one binary propositional connective ≡. They read respectively: true, false, untrue that, if and only if. Their theorems are, mong other things, such expressions as: Tp ≡ p, Fp ≡ ~p, with p being a propositional variable. The four npc are presented in this work, i.e. on two-valued, two three-valued, and one four-valued. Moreover, two of them are also paraconsistent calculi. Npc are constructed by means of the axiomatic method. Following the presentation of npc axioms, the four so called n-algebras are introduced. The npc axioms are proved to be adequate to appropriate n-algebras, i.e. sets of theorems and tautologies of each npc are identical.
Źródło:
Filozofia Nauki; 1993, 1, 4; 55-81
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody optymalizacyjne oparte na ogólnym schemacie modelu algebraiczno-logicznego
Optimization methods based on general schema of algebraic-logical model
Autorzy:
Dutkiewicz, L.
Kucharska, E.
Powiązania:
https://bibliotekanauki.pl/articles/274571.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
model algebraiczno-logiczny
proces decyzyjny
optymalizacja lokalna
symulacja dyskretna
algebraic-logical model
decision process
local optimization
discrete simulation
Opis:
W artykule przedstawiono metody rozwiązywania problemów optymalizacyjnych powstałe na podstawie ogólnego schematu modelu algebraiczno-logicznego. Schemat ten znajduje zastosowanie przede wszystkim w rozwiązywaniu skomplikowanych problemów, w których nie da się ustalić a priori skutków podejmowanych decyzji i konieczna jest symulacja procesu. W artykule opisano metodę zadań zastępczych oraz metodę poszukiwania rozwiązania z gromadzeniem informacji dla potrzeb sterowania. Przedstawiono również koncepcje kolejnych badań.
The aim of the paper is to present the optimization methods based on general schema of algebraic-logical model. This scheme is mainly used in problems, for which the effects of decisions cannot be determined a priori. Therefore, it is necessary to simulate the decision process. In particular, the article describes the substitution tasks method and the method with information gathering for the purpose of control. The paper also presents the concepts of further research.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 178-182
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie technik algebraicznych w kryptoanalizie różnicowej na przykadzie szyfru blokowego DES
Application of algebraic techniques in differential cryptanalysis against block cipher DES
Autorzy:
Gąsecki, A.
Misztal, M.
Powiązania:
https://bibliotekanauki.pl/articles/209745.pdf
Data publikacji:
2011
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
kryptologia
kryptoanaliza
szyfr blokowy
kryptoanaliza różnicowa
atak algebraiczny
SAT solver
cryptology
cryptanalysis
block cipher
dierential cryptanalysis
algebraic attack
Opis:
Artykuł omawia nowy sposób ataku na szyfr blokowy DES. Zaprezentowany pomysł polega na połączeniu dwóch znanych metod kryptoanalizy, tj. kryptoanalizy różnicowej oraz ataku algebraicznego. W artykule scharakteryzowano budowę algorytmu, elementy wykorzystanych ataków oraz sposób ich połączenia. Przedstawione zostały także otrzymane wyniki oraz omówiono efekty w porównaniu z zaprezentowanymi metodami kryptoanalizy stosowanymi oddzielnie.
Article describes a new method of cryptanalysis of block cipher DES. Presented idea combines two, already known techniques, namely differential crypt-analysis and algebraic attacks. The article covers a description of the block cipher DES, used elements of attacks and the way of their combination. Then, comes the presentation of the results and comparison with already known techniques of cryptanalysis, but used separately.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2011, 60, 3; 379-390
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
W sprawie „Algebraicznej semantyki dla nihilistycznych rachunków kwantyfikatorów”
Regarding „Algebraic Semantics for the Nihilistic Accounts of Predicates”
Autorzy:
Żabski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/968249.pdf
Data publikacji:
1994-06-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Źródło:
Filozofia Nauki; 1994, 2, 2; 149-150
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
ALGEBRAICZNE ASPEKTY MEREOLOGII NIEEKSTENSJONALNEJ
ALGEBRAIC ASPECTS OF NON-EXTENSIONAL MEREOLOGY
Autorzy:
Obojska, Lidia
Powiązania:
https://bibliotekanauki.pl/articles/488740.pdf
Data publikacji:
2012
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
zasada ekstensjonalności
mereologia
kraty
Extensional Principle
mereology
lattices
Opis:
An extensional mereology was subjected to analysis of many authors. It was proved that it corresponds to a Boolean algebra without a null element. A slightly modified version of this model in which the primitive relation of being a part does not fullfill the Extensional Principle, will be called: Non-extensional Mereology. There is no systematic analysis for such a model until now. Some authors present partial descriptions of it. In this work we would like to propose a detailed and systematic analysis of Non-extensional Mereology. We present a minimal set of axioms and show that this model, under certain conditions, corresponds to an implicative lattice.
Mereologia klasyczna, nazywana również˙ mereologia˛ ekstensjonalna˛ została dość szczegółowo przebadana przez wielu autorów. Udowodniono, z˙e jest to model odpowiadający algebrom Boole’a bez zera. Model nieco słabszy, w którym relacja pierwotna bycia częścią nie spełnia zasady ekstensjonalności, może zostać nazwany mereologią nieekstensjonalną. Jak dotychczas nie istnieje systematyczna analiza takiego modelu. Kilka prac przedstawia jedynie pewne jej fragmentaryczne opisy. W niniejszej pracy pra- gniemy zaproponować formalna˛ i kompletna˛ analizę części tej teorii. Wprowadzając minimalny układ aksjomatów wykazujemy, że odpowiada ona algebraicznej strukturze kraty implikatywnej.
Źródło:
Roczniki Filozoficzne; 2012, 60, 1; 105-124
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Notacja algebraiczna homomorficznego modelu zintegrowanego systemu monitoringu bezpieczeństwa transportu morskiego
An algebraic notation of a homomorpfic model of the integrated maritime transport safety and security monitoring system
Autorzy:
Miler, R. K.
Powiązania:
https://bibliotekanauki.pl/articles/316022.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
transport morski
bezpieczeństwo transportu morskiego
monitoring bezpieczeństwa
zintegrowany system monitoringu
notacja algebraiczna
homomorficzny model systemu
maritime transport
maritime transport safety
security monitoring
algebraic notation
integrated monitoring system
homomorpfic model
Opis:
Aby realizować w pełni zadania związane z utrzymaniem akceptowalnego poziomu ryzyka zróżnicowanych operacji żeglugowych i portowych do pragmatyki procesów bezpieczeństwa transportu morskiego zaimplementowano zdywersyfikowane systemy monitoringu. Ich poziom integracji jest stosunkowo niewielki, co przy globalnym charakterze transportu morskiego i dążeniu do unifikacji procesów w nim zachodzących jest zjawiskiem niekorzystnym. Celem niniejszego opracowania jest wskazanie możliwości integracji istniejących systemów monitoringu bezpieczeństwa transportu morskiego, budowa oryginalnego homomorficznego modelu systemu zintegrowanego oraz przedstawienie jego zapisu w notacji algebraicznej. W artykule pozytywnie zweryfikowano hipotezę roboczą stanowiącą, iż istnieją teoretyczne przesłanki umożliwiające budowę koncepcji integracji systemów monitoringu bezpieczeństwa transportu morskiego zmierzającej do optymalizacji procesów zapewnienia bezpieczeństwa w transporcie morskim.
Due to the need for better understanding and management of maritime safety and security aspects several diversified monitoring systems have been implemented to the risk management processes. The integration level of these systems is not satisfactory which, taking into account a global tendency for integration and unification of all already implemented systems highlights existence of serious shortfalls in this field. Thus, the main aim of this paper is an identification of potential for further integration of existing systems and transformation into one completely integrated system. The proposal of homomorpfic integrated model has been shown as well as its algebraically notation. The working hypothesis stated that there is a theoretical potential for integration of maritime transport safety and security systems, has been positively proved.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 314-319
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A modern tool for a modern student. Video games in the exploration and learning of mathematics
Autorzy:
Solarz, Izabela
Powiązania:
https://bibliotekanauki.pl/articles/421313.pdf
Data publikacji:
2014
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
algebraic skills
unintentional learning
game
Opis:
Solving equations is one of the central topics in mathematics curricula. Teachers would like to pay more attention to building formulas and formulating algebraic models because modern students dare to translate a problem situation into algebra, but very often their students are helpless because of the lack of practice. There is not much time for exercises. The problem is how to help students with acquiring algebraic skills, like transforming expressions and solving equations. There is a new medium in education that can be used for this – video games. Could they help? I designed a special learning arrangement using a special game that was built for learning algebra. The results suggest that This can be a really relevant didactic medium for teaching mathematics.
Źródło:
Didactics of Mathematics; 2014, 11(15); 65-74
1733-7941
Pojawia się w:
Didactics of Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Porównanie niepewności aproksymacji wyników pomiaru algebraicznymi oraz ortogonalnymi wielomianami Czebyszewa
Comparison of measurement result approximation uncertainty by algebraic and orthogonal Chebyshev polynomials
Autorzy:
Dorozhovets, M.
Powiązania:
https://bibliotekanauki.pl/articles/158031.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
niepewność
aproksymacja
wielomiany
uncertainty
approximation
polynomials
Opis:
W referacie zaprezentowano wyniki porównania niepewności przewidywanych wartości funkcji znalezionych na podstawie aproksymacji wyników pomiaru zwykłymi algebraicznymi oraz ortogonalnymi wielomianami Czebyszewa. Przedstawione są wzory analityczne do obliczenia niepewności tych funkcji.
In the paper the comparison results of the uncertainty of the forecasted values of function, obtained as a result of the measurement result approximation by both usual algebraic and Chebyshev polynomials are presented. The obtained formulas for calculation uncertainty of these function are presented.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 12, 12; 21-24
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
UWAGI NA TEMAT ŚREDNICH W EKONOMII
REMARKS ON MEANS IN ECONOMICS
Autorzy:
Fałda, Beata
Zając, Józef
Powiązania:
https://bibliotekanauki.pl/articles/453569.pdf
Data publikacji:
2017
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Katedra Ekonometrii i Statystyki
Tematy:
średnia arytmetyczna
średnia harmoniczna
średnia geometryczna
struktura algebraiczna
arithmetic mean
harmonic mean
geometric mean
algebraic structure
Opis:
Wykorzystanie metod i narzędzi matematyki oraz statystyki stanowi od dawna nieodłączny element analiz ekonomicznych. Nie kwestionując potrzeby matematyzacji ekonomii warto przyjrzeć się niektórym „pułapkom”, na które można się natknąć jeżeli bezkrytycznie wykorzystujemy dorobek nauk ścisłych. W niniejszej pracy autorzy przedstawiają wyniki studiów nad jednoznacznością związków pomiędzy podstawowymi parametrami ekonomicznymi a odpowiednimi średnimi liczbowymi.
The use of mathematical and statistical methods and tools is an integral part of economic analysis. Without questioning the need of economics mathematization, it is worth looking at some of the “traps” that can come across if we uncritically exploit the strict science. In this paper the authors present the results of studies on the uniqueness of relations between basic economic parameters and corresponding means.
Źródło:
Metody Ilościowe w Badaniach Ekonomicznych; 2017, 18, 2; 232-241
2082-792X
Pojawia się w:
Metody Ilościowe w Badaniach Ekonomicznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Twierdzenie Bézouta o przecięciu krzywych algebraicznych w pracach Eulera
Bézout’s theorem in Euler’s papers
Autorzy:
Ciesielska, Danuta
Powiązania:
https://bibliotekanauki.pl/articles/1789396.pdf
Data publikacji:
2017-07-05
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
history of theory of elimination in XVII and XVII centuries
system of algebraic equations
Opis:
In the paper an early history of the Bézout theorem on algebraiccurves and effective methods in elimination theory is presented. The hypothesis,stated in 1665 by Newton, on the ”intersection number” of algebraiccurves is given. Effective methods on eliminations of one variable in the systemof algebraic variables come from Euler’s papers: Demonstration sur lenombre des points, ou deux lignes des ordres quelconques peuvent se couper(Euler, 1750), Nouvelle methode d’eliminer les quantites inconnues des equations(Euler, 1766) and the chapter De intersectiones curvarum from monographyIntroductio in analysin infinitorum (Euler, 1748). Finally, Bézout’s result from the paper Reserchers sur le degré des équations résultantes...(Bezout, 1765) is given.
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia; 2013, 5; 39-50
2080-9751
2450-341X
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jednotkankowy model dekompresji ograniczonej procesem dyfuzji
Single-tissue model of diffusion limited decompression
Autorzy:
Kłos, R.
Powiązania:
https://bibliotekanauki.pl/articles/366167.pdf
Data publikacji:
2011
Wydawca:
Polskie Towarzystwo Medycyny i Techniki Hiperbarycznej
Tematy:
dekompresja
teoria H.V Hempelmana
algebraiczne modele matematyczne
decompression
H.V Hempelman theory
algebraic mathematical model
Opis:
Artykuł jest kontynuacją przeglądu teorii deterministycznych i statystycznych dotyczących problematyki dekompresyjnej publikowanych na łamach Polish Hyperbaic Research. Pomimo doniosłości teorii opracowanej przez H.V. Hempelmana jej podstawy teoretyczne nie były szeroko publikowane. W artykule podano wyprowadzenie algebraicznych modeli matematyczny stanowiących podstawę metody Hempelmana służącej do kalkulacji dekompresji.
The paper is the continuation of the review of deterministic and statistical theories of decompression published in the pages of Polish Hyperbaric Research. Despite the importance of the theory developed by H.V. Hempelman, its theoretical foundations have not been widely published. The article describes the steps to derive algebraic mathematical models underlying Hempelman’s method used to calculate decompression.
Źródło:
Polish Hyperbaric Research; 2011, 2(35); 69-94
1734-7009
2084-0535
Pojawia się w:
Polish Hyperbaric Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automatyczne tworzenie podsumowań tekstów metodami algebraicznymi
Automatic text summarization using algebraic approach
Autorzy:
Gramacki, J.
Gramacki, A.
Powiązania:
https://bibliotekanauki.pl/articles/156932.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
automatyczne podsumowywanie
ukryta semantyka dokumentów
przekształcenie SVD
generic text summarization
sentence extraction
latent semantic analysis
singular value decomposition
Opis:
Duża liczba zwracanych (na przykład przez różnego rodzaju wyszukiwarki internetowe) dokumentów oznacza, że często zmuszeni jesteśmy do czasochłonnego ich przeglądania, celem weryfikacji trafności zwracanych wyników. Gdy dokumenty są długie, czas ich przeglądania znacznie się wydłuża. Można by go wydatnie skrócić, gdyby istniała możliwość automatycznego generowania sensownych podsumowań (streszczeń). W artykule omawiamy wybrane algebraiczne metody służące automatycznemu wydobywaniu z tekstu jego najistotniejszych słów kluczowych oraz najistotniejszych zdań.
Text summarization is a real practical problem due to explosion of the volume of textual information available nowadays. In order to solve this problem, text summarization systems which extract brief information from a given text are created. The end user, by looking only at the summary, may decide whether the document is or is not of interest to him/her. Built summaries can have 2 fundamental forms. Firstly, extractive summarization may collect important sentences from the input text to constitute the summary. Secondly, abstractive summarization tries to capture main concepts of the text and then some new sentences, summarizing the input text, are generated. Nowadays, however, it seems that the latter approach still needs extensive works to be really useful. A summary can be extracted from a single document or multiple documents. In the paper the authors build summaries of one document only. The extension into multi-document summaries is the straightforward task in the case when a set of semantically uniform texts is summarized. Summaries may also be categorized as generic and query-based summaries. In the first case, there are generated summaries con-taining main topics of a document. In the second case, summaries contain the sentences that are related to the given queries. In the paper there are built generic summaries. Summarization systems use different approaches to determine important sentences. Here there is used semantic oriented approach based on a method known as Latent Semantic Analysis (LSA). LSA is an algebraic method that extracts meaning of words and similarity of sentences using the information about usage of the words in the context. It uses Singular Value Decomposition (SVD) for finding semantically similar words and sentences. Using the results of SVD the authors try to select best sentences (which constitute the best summary of the text). The paper is organized as follows. In Section 2 there is formulated the problem. In Section 3 there is shown how a docu-ment may be represented in a useful algebraic format. The so called Term-Sentence matrix (TSM) is used. The authors also point at some preliminary tasks necessary to be performed for successful further analysis. In Subsection 3.2 there is shortly presented an idea of LSA as based on SVD decomposition. In the last section 4 two examples of text summarizations build for both Polish and English texts are given. The two methods used differ slightly from each other. The authors' extracting key words and key sentences seems to be proper content-related summaries of the input texts.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 751-755
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 20

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