Wyniki wyszukiwania - BazTech

1

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

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

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

Zastosowanie logistyki w forensyce

Kulińska E.

Logistyka

|

2015

|

nr 3

21--23

PL

Przedmiotem artykułu jest wykazanie, ze wykorzystanie prawidłowości funkcjonowania łańcuchów dostaw oraz systemów logistycznych, wraz z całym aparatem narzędzi w forensyce rozumianej jako dyscyplinie mającej na celu dostarczenie materiału dowodowego dla sądu, daje możliwość opracowania modeli referencyjnych przestępstw i aktów terrorystycznych dając narzędzie do walki z przestępczością i terroryzmem. Zaprezentowany materiał jest próbą odpowiedzi na problem badawczy postawiony w formie pytania: czy w jakim zakresie logistyka może wspierać działania forensyczne? Do zweryfikowania tak postawionego problemu użyto narzędzi badawczych teoretycznych (analiza, synteza, uogólnienia, porównania) i praktycznych (metoda porządkowania).

EN

The article is to demonstrate that the use of the principles of functioning of supply chains and logistics systems, along with the entire camera tools in forensics, understood as a discipline aimed at providing evidence for court, gives you the opportunity to develop reference models of crimes and terrorist acts by giving a tool to fight crime and terrorism. The presented material is an attempt to answer the research problem posed in the form of a question: is, and to what the extent, logistics able to support forensics? To examine this particular problem there were used theoretical research tools (analysis, synthesis, generalization, comparison) and the practical ones (method of ordering).

5

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

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

Dedukcja naturalna w logice stoickiej

Kostrzycka Z.

Zeszyty Naukowe. Matematyka / Politechnika Opolska

|

1999

|

z. 15

77-86

PL

W pracy podejmuje się próbę rekonstrukcji stoickiego rachunku zdań, w szczególności dowodu stoickiego. Porównuje się również rachunek stoicki z klasycznym rachunkiem zdań.

EN

In this paper an attempt is made of reconstruction of the stoic propositional calculus, especially the stoic proof. The stoic calculus is also compared with clasical propositional calculus.