PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 9

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  deduction
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Intuition and deduction in the process of explaining the correctness of proof in architectural diagrams
Maryńczuk Paweł
Przestrzeń i Forma
|
2021
|
nr 45
39--54
EN
Creating diagrams is an occasion for a sophisticated analysis of notions and exploring their meaning. It is also a form of direct contact with psychological phenomena and juxtaposing intuition and deduction as sources of cognition. Analysis of the development of philosophical stances can present the process of a departure from the classical view that holds that this argumentation can have a purely formal character (while the role of intuition is significantly reduced). The by-product shall be an explanation of often encountered simplifications associated with understanding both positions associated with their extreme versions: the intuitive relict or the version of formalism that produces an impression of being a sterile and even absurd argument. I argue in favour of the utility of both positions, as they can present interesting aspects of certain problems in architectural proofs at different stages of design, and used to distinguish different diagrams.
PL
Tworzenie diagramów to okazja do wyrafinowanej analizy pojęć i swoistego wnikania w ich treść. To również bezpośredni kontakt ze zjawiskami o charakterze psychologicznymi i przeciwstawieniem intuicji i dedukcji, jako źródeł poznania. Analiza rozwoju stanowisk filozoficznych pozwoli na ukazanie procesu odchodzenia od poglądu klasycznego w myśl, którego w sposób intuicyjny ujmujemy poszczególne etapy rozumowania na rzecz poglądu zgodnie, z którym ta argumentacja może mieć charakter czysto formalny (zaś rola intuicji zostaje mocno zredukowana). Natomiast „produktem ubocznym” będzie wyjaśnienie, pewnych często spotykanych uproszczeń związanych ze zrozumieniem obu stanowisk utożsamianych ze skrajnymi ich wersjami. Intuicyjnego reliktu bądź wersją formalizmu sprawiającej wrażenie, że jest to stanowisko jałowe i wręcz absurdalne. Chcę podkreślić użyteczność obu stanowisk, gdyż pozwalają one na ukazanie ciekawych aspektów problemów w dowodach architektonicznych, na rożnych etapach projektowania i wyodrębnienie różnych diagramów.
2
Content available Główne podejścia oraz metody i techniki badania procesów zarządzania organizacjami
Bieniok H.
Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
|
2018
|
z. 120
15--34
PL
Autor zaprezentował tylko w zarysie podstawowe założenia metod badawczych stosowanych we wszelkich badaniach organizatorskich. Są one niestety mało znane, w związku z czym większość badań podejmowanych w naukach o zarządzaniu ma charakter płytki i niedokończony. Autorzy takich badań poprzestają na ogół tylko na zastosowaniu socjologicznych technik zbierania informacji takich jak ankieta, a przecież jest to dopiero połowa całego procesu badawczego. Brakuje im całej części analityczno-projektowej, którą silnie akcentuje prezentowana w opracowaniu metoda diagnostyczna.
EN
In the paper there is a sketch of a foundation for assumptions of research methods used in any organization research. The assumptions are not so well-known which effects in the fact that the most of organization research is not deep and not completed. The authors of such organization research used to apply only the sociological techniques, such as a survey technique. Nevertheless, it is not only a half of the whole research procedure. There is a lack of the analytical part and the design which are the elements of the presented diagnostic method.
3
Content available remote Creating an algorithm of encryption based on prime numbers in positional systems of calculating residual classes
Wójcik W., Kalimoldayev M., Biyashev R., Kapalova N., Akhmetova A., Nugmanova S., Mergenbayev Y.
Przegląd Elektrotechniczny
|
2018
|
R. 94, nr 2
164--169
EN
Building a secure local and remote data warehouse requires data transfer over network channels, identification and authentication of objects and subjects of information protection. Development of reliable and efficient cryptographic tools for information protection and security is needed. The goal is achieved through the development of encryption algorithms, formation and exchange of secret keys on the basis of the residual class system. In the article an unconventional algorithm of enciphering an electronic message of a given length consisting of two stages has been proposed.
PL
Budowanie bezpiecznej lokalnej i zdalnej hurtowni danych rymaga przesyłu danych przez kanały sieciowe, identyfikacji i uwierzytelniania obiektów i podmiotów ochrony informacji. Potrzebne jest opracowanie niezawodnych i wydajnych narzędzi kryptograficznych do ochrony i bezpieczeństwa informacji. Cel ten jest osiągany poprzez rozwój algorytmów szyfrowania, tworzenie i wymianę tajnych kluczy na podstawie systemu klas resztkowych. W artykule zaproponowano niekonwencjonalny algorytm szyfrowania wiadomości elektronicznej o zadanej długości, składający się z dwóch etapów.
4
Content available remote Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji
Rogowski Ł.
Studia i Materiały Informatyki Stosowanej
|
2013
|
nr 12
11--18
PL
Obliczenia DNA (z ang. DNA computing) to nowa dziedzina informatyki, będąca alternatywą dla tradycyjnych systemów komputerowych, polegająca na wykorzystaniu cząsteczek molekularnych do rozwiązywania problemów algorytmicznych, matematycznych i logicznych. Niniejszy artykuł przedstawia istniejące implementacje systemów wnioskowania realizowanych za pomocą DNA oraz nową koncepcję takiego systemu, uwzględniającą nowe elementy: negację i regułę kontrapozycji w implikacji.
EN
DNA computing is one of new computational paradigms which are alternative to traditional computer systems. Biological molecules in special laboratory conditions can be used to solve mathematical, logical and algorithmic purposes. This paper describes some already existing models of logical inference systems and the new proposal – DNA deduction system using new elements: negation and rule of contraposition.
5
Content available From workflow design patterns to logical specifications
Klimek R.
Automatyka / Automatics
|
2013
|
Vol. 17, no. 1
59--63
EN
This work concerns issues related to automatic generation of logical specifications. Logical specifications can be extracted directly from developed software models. Received specification can be used in the process of a system formal verification using a deductive approach. The generated logical specification is just a set of temporal logie fonnulas as well as verified system properties are expressed in temporal logie. The extraction process is based on the idea of organizing the whole analyzed model as a set of certain design patterns of control flows. A method of automatic transformation of workflow design patterns to temporal logie formulas is proposed. These formulas constitute a logical specification and may be the first step towards a formal verification of system correctness using any method of the deduction-based reasoning. Applying the presented concepts enables bridging the gap between naturalness and intuitive of the deductive inference and the difficulty of its practical application in the case of software models.
PL
Praca dotyczy zagadnień związanych z automatyczną generacją i modelowaniem specyfikacji logicznej. Specyfikacja logiczna może być wygenerowana bezpośrednio z modeli oprogramowania. Tak uzyskana specyfikacja następnie może być wykorzystana w procesie formalnej weryfikacji przy wykorzystaniu podejścia dedukcyjnego. Wygenerowana specyfikacja reprezentowana jest przez zbiór formuł logiki temporalnej, również weryfikowane własności systemu mogą i powinny być wyrażone w logice temporalnej. Proces ekstrakcji opiera się na założeniu, aby cały analizowany model oprogramowania został zbudowany w oparciu o przyjęte, dowolne, ale najlepsze dla danej klasy zastosowań, wzorce projektowe. Została zaproponowana metoda automatycznej translacji wzorców projektowych (przepływów) do postaci formuł logiki temporalnej. Formuły te składają się na logiczną specyfikację i mogą stanowić pierwszy krok w kierunku formalnej weryfikacji poprawności systemów z wykorzystaniem dowolnej metody wnioskowania dedukcyjnego. Zastosowanie przedstawionych koncepcji umożliwia połączenie naturalności i intuicyjności samego wnioskowania logicznego oraz praktycznego zastosowania tych metod w przypadku modeli oprogramowania.
6
Content available Weryfikacja procesów biznesowych metodą tablic semantycznych
Klimek R., Skrzyński P., Turek M.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2010
|
T. 14, z. 3/2
905-914
PL
Artykuł opisuje wyniki prac nad ustabilizowaniem metodyki umożliwiającej formalne weryfikowanie poprawności procesów zapisanych za pomocą zbioru wzorców procesowych w notacji BPMN. Główną ścieżką rozwiązania jest prowadzenie konwersji modelu BPMN do postaci zbioru specjalnie opracowanych formuł logiki temporalnej. Następnie - formalnie zadana weryfikacja poprawności zbioru formuł z zastosowaniem opracowanego przez autorów rachunku. W procesie weryfikacji została wykorzystana metoda wnioskowania bazująca na zastosowaniu tablic semantycznych. Może ona przebiegać automatycznie i jest ciekawą alternatywą dla tradycyjnego podejścia - umożliwiając m.in. względnie łatwe wskazanie błędów w specyfikacji procesu.
EN
This paper describes the results of work on stabilizing the methodology for formal correctness verification of processes recorded in a process model with BPMN notation. The main path of a solution is to carry out the conversion of BPMN model to set of specially designed logic formulas. Afterwards - to formal verify the correctness of formulas using the calculation provided by the authors. A semantic table method has been applied in the verification process. The approach could provide interesting alternative to the traditional approach, allowing relatively easy errors identification in the specification process.
7
Content available remote The Complexity of Equitable Vertex Coloring of Graphs
Furmańczyk H., Kubale M.
Journal of Applied Computer Science
|
2005
|
Vol. 13, nr 2
95-106
EN
A graph is equitably k-colorable if its vertices can be partitioned into k independent sets in such a way that the number of vertices in any two sets differ by at most one. The smallest k for which such a coloring exists is known as the equitable chromatic number of G and denoted by X=(G). In the paper we give formulas for the equitable chromatic number of some highly-structured graphs and some graph products. We present also two polynomial-time algorithms for equitable graph coloring with suboptimal number of colors.
8
Content available remote Intelligible Automated Reasoning: Systems with the Resolution, Induction and Symmetry
Poliscuk J.E.
Journal of Applied Computer Science
|
2005
|
Vol. 13, nr 2
7-28
EN
In mathematics, the programs for proving theorems could be instruments for testing the existing proofs and can be used to test hypotheses, and the programs which allow man’s influence on the process of proving could be used to prove new theorems. An independent theoretical contribution is made by the discovery of the adequate rules of deduction and the automatic procedures for proving. The paper presents a short version of the fully automated programmed systems, intended for proving of theorems in the first-order predicate calculus. Proofs in the form of refutations are based on the following rules of derivation: the orderly linear resolution with marked literals (OL- resolution), the rules of binary induction (Prule) and the rules of symmetry.
9
Content available remote Data Mining-Based Intelligent Equipment Maintenance System in Telecommunication Network
Sodiya A. S., Longe H. O. D., Ibrahim S. A.
Journal of Applied Computer Science
|
2005
|
Vol. 13, nr 2
29-38
EN
The concept of data mining, which has become a promising field because of its applications in various fields, is used in this work for strategic equipment maintenance in telecommunication network. Efficient maintenance of equipment in large telecommunication networks is difficult and complex. Thus, there is need for intelligent systems to guide engineers in proper maintenance of equipment in telecommunication network installations. The idea is to apply modified Apriori frequent pattern algorithm to mine frequent faulty events and identity association rules among items in telecommunication network alarm database. We implemented the novel approach on faulty events database of a GSM company in Nigeria. The result shows a promising tool that is much needed for intelligent decision-making in equipment maintenance in telecommunication installations.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.