Wyniki wyszukiwania - BazTech

1

Schematy koordynacyjne oraz schematy logiczne jako zapis konfiguracji urządzeń EAZ

Scelina Jerzy, Koszkul Zdzisław

Wiadomości Elektrotechniczne

|

2022

|

R. 90, nr 12

25--31

PL

Artykuł przedstawia propozycję opisu konfiguracji współczesnych cyfrowych terminali zabezpieczeniowych bazujących na prostych zależnościach logicznych opartych na metodyce budowy schematów logicznych i zasady wynikającej z Algebry Boole’a. Przedstawiona tu metoda opisania schematami logicznymi konfiguracji współczesnych cyfrowych terminali zabezpieczeniowych pozwala na opracowanie standardu konfiguracji tych urządzeń i zapanowanie nad liczbą i różnorodnością konfiguracji tych urządzeń w obiektach elektroenergetycznych.

EN

The article presents a proposal for the description of the configuration of present-day digital protection terminals based on simple logical dependencies based on the methodology of building logic diagrams and dependencies resulting from the Boolean algebra. The method of describing the configuration of digital protection terminals with logical diagrams allows for the development of a configuration standard for these devices and for controlling the number and variety of configurations of these devices in power facilities.

2

O rozwiązywaniu zadań konkursu matematyczno-informatycznego Koala

Dębicka Donata

MINUT Matematyka i Informatyka na Uczelniach Technicznych

|

2022

|

Nr 4

37-46

PL

W artykule prezentowany jest drużynowy konkurs matematyczno-informatyczny Koala dla młodzieży z Wielkopolski, którego celem jest rozbudzanie i rozwijanie zainteresowania matematyką i informatyką, w szczególności takimi dziedzinami jak: kombinatoryka, algorytmika i logika (stąd nazwa konkursu: Koala). Ponadto celem konkursu jest doskonalenie umiejętności pracy w grupie, dyskusji oraz prezentowania własnych rozwiązań zadań i uzasadniania ich poprawności. W roku szkolnym 2021/2022 odbyła się już IX edycja konkursu. W artykule przedstawione zostaną metody (strategie) przydatne podczas rozwiązywania niektórych typów zadań konkursowych.

3

Computing Parameterized Invariants of Parameterized Petri Nets

Esparza Javier, Raskin Mikhail, Welzel Christoph

Fundamenta Informaticae

|

2022

|

vol. 187 nr 2-4

197--243

EN

A fundamental advantage of Petri net models is the possibility to automatically compute useful system invariants from the syntax of the net. Classical techniques used for this are place invariants, P-components, siphons or traps. Recently, Bozga et al. have presented a novel technique for the parameterized verification of safety properties of systems with a ring or array architecture. They show that the statement "for every instance of the parameterized Petri net, all markings satisfying the linear invariants associated to all the P-components, siphons and traps of the instance are safe" can be encoded in WS1S and checked using tools like MONA. However, while the technique certifies that this infinite set of linear invariants extracted from P-components, siphons or traps are strong enough to prove safety, it does not return an explanation of this fact understandable by humans. We present a CEGAR loop that constructs a finite set of parameterized P-components, siphons or traps, whose infinitely many instances are strong enough to prove safety. For this we design parameterization procedures for different architectures.

4

Studium transformacji przestrzeni publicznej. Przypadek wybranego obszaru gminy Ożarowice

Balcer-Zgraja Małgorzata

Builder

|

2022

|

R.26, nr 7

54--56

PL

Projekt badawczy zrealizowany na Wydziale Architektury Politechniki Śląskiej w Katedrze Projektowania Architektury Mieszkaniowej i Użyteczności Publicznej RAr-2 (2021/22): „Logika lokalności w dobie globalizacji - studium transformacji współczesnej przestrzeni publicznej w kontekście gminy Ożarowice” (kierownik: dr hab. inż. arch. B. Majerska-Pałubicka, prof. PŚ) pozwolił ocenić możliwości kształtowania od podstaw małomiasteczkowego centrum na terenie śląskiej wsi o stosunkowo chaotycznej zabudowie. Opracowanie wariantowego studium możliwości zagospodarowania wybranego terenu jest okazją do pogłębienia refleksji o strategii rozwijania lokalnej kultury przestrzeni w czasie ujednolicenia architektonicznych wzorców.

EN

A research project carried out at the Faculty of Architecture of the Silesian University of Technology in the RAr-2 Department of Residential and Public Architectural Design (2021/22): “The logic of locality in the age of globalization - a study of the transformation of contemporary public space in the context of the Ożarowice commune” (head: dr hab. inż. arch. B. Majerska-Pałubicka, prof. PŚ) allowed to explore the potential possibilities of shaping small-town center in existing Silesian village with relatively chaotic building structure. A variant study of possible arrangement of a selected area became an opportunity to deepen reflection on the development of local culture of space in the era of unification of architectural patterns.

5

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Bruse Florian, Lange Martin, Lozes Etienne

Fundamenta Informaticae

|

2021

|

Vol. 178, nr 1/2

1--30

EN

Higher-Order Fixpoint Logic (HFL) is a modal specification language whose expressive power reaches far beyond that of Monadic Second-Order Logic, achieved through an incorporation of a typed λ -calculus into the modal μ -calculus. Its model checking problem on finite transition systems is decidable, albeit of high complexity, namely k -EXPTIME-complete for formulas that use functions of type order at most k > 0. In this paper we present a fragment with a presumably easier model checking problem. We show that so-called tail-recursive formulas of type order k can be model checked in (k − 1)-EXPSPACE, and also give matching lower bounds. This yields generic results for the complexity of bisimulation-invariant non-regular properties, as these can typically be defined in HFL.

6

Multi-valued Verification of Strategic Ability

Jamroga Wojciech, Konikowska Beata, Kurpiewski Damian, Penczek Wojciech

Fundamenta Informaticae

|

2020

|

Vol. 175, nr 1-4

207--251

EN

Some multi-agent scenarios call for the possibility of evaluating specifications in a richer domain of truth values. Examples include runtime monitoring of a temporal property over a growing prefix of an infinite path, inconsistency analysis in distributed databases, and verification methods that use incomplete anytime algorithms, such as bounded model checking. In this paper, we present multi-valued alternating-time temporal logic (mv-ATL→∗ ), an expressive logic to specify strategic abilities in multi-agent systems. It is well known that, for branching-time logics, a general method for model-independent translation from multi-valued to two-valued model checking exists. We show that the method cannot be directly extended to mv-ATL → ∗. We also propose two ways of overcoming the problem. Firstly, we identify constraints on formulas for which the model-independent translation can be suitably adapted. Secondly, we present a model-dependent reduction that can be applied to all formulas of mv-ATL→∗ . We show that, in all cases, the complexity of verification increases only linearly when new truth values are added to the evaluation domain. We also consider several examples that show possible applications of mv-ATL→∗ and motivate its use for model checking multi-agent systems.

7

A Theory of Distributed Markov Chains

Thiagarajan P. S., Yang Shaofa

Fundamenta Informaticae

|

2020

|

Vol. 175, nr 1-4

301--325

EN

We present the theory of distributed Markov chains (DMCs). A DMC consists of a collection of communicating probabilistic agents in which the synchronizations determine the probability distribution for the next moves of the participating agents. The key feature of a DMC is that the synchronizations are deterministic, in the sense that any two simultaneously enabled synchronizations involve disjoint sets of agents. Using our theory of DMCs we show how one can analyze the behavior using the interleaved semantics of the model. A key point is, the transition system which defines the interleaved semantics is — except in degenerate cases — not a Markov chain. Hence one must develop new techniques to analyze these behaviors exhibiting both concurrency and stochasticity. After establishing the core theory we develop a statistical model checking procedure which verifies the dynamical properties of the trajectories generated by the the model. The specifications consist of Boolean combinations of component-wise bounded linear time temporal logic formulas. We also provide a probabilistic Petri net representation of DMCs and use it to derive a probabilistic event structure semantics.

8

Satisfiability versus Finite Satisfiability in Elementary Modal Logics

Michaliszyn J., Otop J., Witkowski P.

Fundamenta Informaticae

|

2018

|

Vol. 163, nr 2

165--188

EN

We study variants of the satisfiability problem of elementary modal logics, i.e., modal logic considered over first-order definable classes of frames. The standard semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite structures. A number of decidability and undecidability results for the elementary modal logics were proved separately for general satisfiability and finite satisfiability. In this paper we justify that the results for both kinds of the satisfiability problem must be shown separately – we prove that there is a universal first-order formula that defines an elementary modal logic with decidable general satisfiability problem, but undecidable finite satisfiability problem, and, the other way round, that there is a universal first-order formula that defines an elementary modal logic with decidable finite satisfiability problem, but undecidable general satisfiability problem.

9

Obraz matematyki i logiki w polskich encyklopediach okresu międzywojennego

Murawski R.

Kwartalnik Historii Nauki i Techniki

|

2017

|

R. 62, nr 3

37--60

EN

The article shows the picture of mathematics and logic that can be found in the encyclopaedias published in the Polish interwar period. The most comprehensive three popular encyclopaedias at that time considered in the article are as follows: Ilustrowana encyklopedia by Trzaska, Evert and Michalski, Encyklopedia powszechna Ultima Thule, and Wielka ilustrowana encyklopedia powszechna published by the Gutenberg publishing house. We also explore one thematic encyclopaedia Świat i życie: zarys encyklopedyczny współczesnej wiedzy i kultury, as well as a quite specific publication - not an encyclopaedia in itself but one of encyclopaedic character - prepared by outstanding Polish mathematicians, i.e. Poradnik dla samouków (volumes 1 and 3 of the 2nd series were devoted to mathematics and logic). The view of mathematics and logic in encyclopaedias is important because of an intensive progress in mathematics and mathematical logic in the interwar Poland. Analysis of entries dedicated to these fields of knowledge shows that both mathematics and logic were presented in a reliable and modern way with consideration for the state of research at that time. Also new, developing mathematical disciplines were taken into account, as, for example, set theory, topology, or the rudiments of mathematics. With too much modesty sometimes, the input of Polish scientists in this development was stressed. Furthermore, the article analyses what topics, questions, and forms did not find their reflection in the encyclopaedias, as well as the reasons why it so happened.

10

Logic and risk as qualitative and quantitative dimensions of decision-making processes

Galanc T., Kołwzan W., Pieronek J., Skowronek-Grądziel A.

Operations Research and Decisions

|

2016

|

Vol. 26, No. 3

21--42

EN

Key problems in the field of decision-making have been considered. The authors’ aim was to indicate the extremely important for management role of logic and risk in relation to decisions taken under conditions of uncertainty. In the course of the research, the following hypothesis was tested: the complexity of risk is determined by the diversity of reality. The result of this is that in science there is no current study developing a uniform methodology for the assessment of risk. It might even be doubtful whether it can be created. In a certain sense, this is indicated in the article by the discussion about the dimensions of logic and risk apparent in any decisions taken by a man. The paper presents the complexity and diversity of risk assessment on the basis of selected, but essential to the discussed issue, fields of knowledge. This is valid when the numerical or qualitative level of risk is substantial in the context of the analyzed problem.

11

A logical approach to grammar description

Clément L., Kirman J., Salvati S.

Journal of Language Modelling

|

2015

|

Vol. 3, No. 1

87--143

EN

In the tradition of Model Theoretic Syntax, we propose a logical approach to the description of grammars. We combine in one formalism several tools that are used throughout computer science for their power of abstraction: logic and lambda calculus. We propose then a high-level formalism for describing mildly context sensitive grammars and their semantic interpretation. As we rely on the correspondence between logic and finite state automata, our method combines conciseness with effectivity. We illustrate our approach with a simple linguistic model of several interleaved linguistic phenomena involving extraction. The level of abstraction provided by logic and lambda calculus allows us not only to use this linguistic model for several languages, namely English, German, and Dutch, but also for semantic interpretation.

12

Modelowanie bezpiecznej prędkości RMS „Titanic” na polu lodowym za pomocą wielopoziomowego sterownika rozmytego Mamdaniego

Ficoń K.

Zeszyty Naukowe Akademii Marynarki Wojennej

|

2014

|

R. 55 nr 2 (197)

23--54

PL

W artykule przedstawiono koncepcję wykorzystania rozmytych sterowników Mamdaniego do modelowania bezpiecznej prędkości RMS „Titanic” w krytycznym momencie rejsu 14 kwietnia 1912 roku. Dla potrzeb dedykowanego sterownika Logic Fuzzy Controller (Titanic) zaprojektowano sytuacyjny model logiczny obrazujący uwarunkowania nawigacyjno-meteorologiczne i eksploatacyjno-organizacyjne panujące w tym rejonie w newralgicznym momencie podróży. Dodatkowo w modelu uwzględniono psychologiczny czynnik presji i prestiżu rejsu, który nie pozostał bez wpływu na podejmowane decyzje. Wariantowe badanie bezpiecznej prędkości RMS „Titanic” przeprowadzono dla czterech hipotetycznych sytuacji decyzyjnych aplikowanych za pomocą eksperckich baz reguł logicznych.

EN

This paper presents a concept of using the Mamdani fuzzy logic controller for modeling a safe speed for the RMS 'Titanic' at the critical moment of her voyage on 14 April, 1912. For the purposes of the Fuzzy Logic Controller (Titanic) a situation-focused logic model was designed. It displays navigation-meteorology and exploitation-organization related conditions in the area at the crucial moment of the voyage. In addition, a psychological factor of pressure and voyage prestige which affected the decisions made was taken into account in the model. Study of variants of safe speed for RMS ‘Titanic’ were made for four hypothetical decision situations using expert bases of logic rules.

13

Логика как необходимый элемент в подготовке спасателей

Kowal M.

Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Technika, Informatyka, Inżynieria Bezpieczeństwa

|

2014

|

T. 2

141-146

RU

Проанализирована ситуация с учебно-образовательной подготовкой специалистов-спасателей.Показана необходимость расширения области специальной подготовки специалистов спасательных служб в связи с увеличением масштабности катастроф и различного рода ЧС, а также с возрастанием цены ошибки в действиях людей.Объем технических и фундаментальных знаний все больше превышает естественные больше превышает естественные возможности мозга принимать и обрабатывать новую информацию.В качестве одного из способов повышения эффективности работников пожарно-спасательной служби,уменьшения риска принятия неверных решений, дискриминации и элиминации ошибочных версий и прогнозов предложено ввести в курс обучения и специального тренинга спасателей предмет логику либо расширить разделы учебных дисциплин, где она преподается.

PL

Przeanalizowano sytuację z edukacją i szkoleniem specjalistów-ratowników. Pokazano konieczność rozszerzenia pola specjalnego szkolenia specjalistów i służb ratowniczych w związku z wzrostem skali katastrof oraz wszelkimi i rodzajami zagrożeń, a także wraz z ze wzrostem ceny błędu w działaniach ludzi. Poziom wiedzy technicznej i fundamentalnej coraz bardziej przekracza zasoby naturalne mózgu, aby odbierać i przetwarzać nowe informacje. Jako jeden ze sposobów na zwiększenie wydajności pracowników służb ratowniczo-gaśniczych, zmniejszenia ryzyka podejmowania błędnych decyzji, dyskryminacji i eliminacji błędnych wersji oraz prognoz zaproponowano wprowadzenie do programów studiów i specjalnego szkolenia (treningu) ratowników przedmiotu logika lub rozszerzenie sekcji przedmiotów, gdzie jest nauczana.

14

The role of normal logical form in decision - making and knowledge management

Galanc T., Kołwzan W., Pieronek J.

Operations Research and Decisions

|

2014

|

Vol. 24, No. 2

35--58

EN

The normal form in logic has been considered. Any propositional function, i.e. any finite logical expression can be written in such a form. This indicates the possibility of an unequivocal logical representation of many different objects investigated in science and everyday life. The properties of the normal form give a new dimension to the management of processes examined in science. Understanding of the laws of logic and its calculus allows us to obtain this form in a finite number of logical transformations. In addition, this form indicates the cognitive essence and pragmatic dimension of logic. The paper considers axiomatization, and then optimization. Both of these formulations of logic reflect its essence. Shannon’s theorem gives us only a modest signpost that reality has a complex nature, which is confirmed by the richness of logic in the form of its equivalent propositional functions. Knowledge about the behavior of these structures is ambiguous in terms of the complexity of the corresponding logical expressions, that is, two different or identical logical functions may be related to identical (similar) or quite different behaviors in relation to the processes or objects represented by these functions.

15

Logika programowalna w urządzeniach EAZ dla sieci smart grid

Wlazło P., Andrzejewski M.

Wiadomości Elektrotechniczne

|

2013

|

R. 81, nr 11

32--37

PL

Przedstawiono oprogramowanie narzędziowe opracowane w Instytucie Tele-i Radiotechnicznym, które jest przeznaczone do graficznego projektowania logiki użytkownika, jej kompilacji i ładowania do sterowników polowych.

EN

The paper presents utility software, worked out in Tele and Radio Research Institute, that is oriented at graphic design of user logie, its compilation and loading to field controllers.

16

Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji

Rogowski Łukasz

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.

17

Adaptacja regulatora PI za pomocą reguł logicznych

Hoczek T.

Pomiary Automatyka Robotyka

|

2013

|

R. 17, nr 10

156--159

PL

We współczesnej literaturze wiele uwagi poświęca się zagadnieniom pomiaru jakości układów regulacji. Jednym z najważniejszych wskaźników poprawnego działania regulatora jest przebieg odpowiedzi układu sterowania na działające na niego zakłócenie. W niniejszym artykule zaproponowano metodę adaptacji parametrów regulatora PI opartą na regułach logicznych. Pokazano, iż sposób powrotu systemu do stanu ustalonego daje wskazówki, które można wykorzystać do optymalizacji parametrów regulatora PI. Jednocześnie metoda ta jest na tyle prosta, iż implementacja jej w sterowniku PLC nie będzie stanowić trudności. Zbadano również zapas stabilności, jaki zapewnia procedura adaptacyjna dla procesów o różnych parametrach.

EN

In the article a new method of PI controller adaptation was introduced. It was shown that way how controlled process is returning to its set value, after set point change or disturbance, can give guidelines for PI regulator tuning. Moreover, the proposed method is very simple and can be implemented in every PLC controller. The inference part of the solution can be implemented separately and allows tuning of the PLC build in PI controllers. The proposed method dump oscillations and limits overshoots, which appears in the process output. It was shown that obtained gain and phase margins are enough big to be safe.

18

Logical network of vector spaces for intelligent optimum values of operational slide bearing parameters

Wierzcholski K., Miszczak A.

Tribologia

|

2012

|

nr 6

169--176

EN

This paper presents the implementation of logical network of vector spaces in topological form as a artificial intelligence component applied for determination of optimum system design regard to the micro-bearing operating parameters such as carrying load capacity, friction forces, friction coefficient and bearing wear. The tools of fuzzy logic, and robotics development calculations are applied. Presented in this paper artificial intelligence tools of calculations for micro-bearings systems determine the method using in mechatronics where are investigated the principles of intelligent behavior of micro-bearings and are created its new formal models using computer programs which can make simulations models of slide micro-bearing behavior during the exploitation process. Fuzzy logic is a mathematical object with defined multivalued function which has values in closed set 0,1. In classical case mentioned function has only two values namely zero and one. This paper presents the fuzzy logic tools in intelligent micro-bearing systems. Efficient functioning of slide micro-bearings systems require to choice the proper journal shapes, bearing materials, roughness of bearing surfaces and many other features to which belongs capability to the processes and control. Artificial intelligence of micro-bearing leads to the creating and indicating of the network logical models to describe most simple and most proper topological graphical schemes presenting the design of anticipated processes. Application of the logical network analysis into the micro-bearing HDD design is the subject-matter of this paper.

PL

Rozpatrywane w niniejszej pracy badania naukowe opisują topologiczną analizę najprostszych sieci logicznych dla konstruowania przestrzeni wektorowych o składowych opisujących inteligentne optymalne wartości parametrów eksploatacyjnych takich, jak ciśnienie, temperatura, siły tarcia, składowe prędkości cieczy smarującej i inne, które są rozwiązaniami opisanych równań różniczkowych cząstkowych. Przedstawiony system wiodący od założeń do rozwiązań pozwoli na ukonstytuowanie się najkorzystniejszego procesu sterowania poszukiwanymi parametrami eksploatacyjnymi, przy wykorzystaniu optymalnych sieci logicznych w trakcie projektowania łożysk ślizgowych. Omawiane systemy topologiczne wiodą do tworzenia optymalnych algorytmów obliczeń numerycznych wartości ciśnienia hydrodynamicznego i siły nośnej łożysk ślizgowych dla różnych kształtów geometrycznych czopów i panewek w rozpatrywanych łożyskach ślizgowych. Przedstawione rezultaty badawcze umożliwiają badanie i optymalizowanie sztywności hydrodynamicznej oraz parametrów dynamicznych łożysk ślizgowych w trakcie projektowania. Uzyskane quasi-logiczne rozwiązanie problemu hydrodynamicznego, opisanego układem równań różniczkowych w obszarach cieczy i ciała stałego, wpływa na ich dokładność w porównaniu z dotychczas stosowanymi rozwiązaniami. W przypadku trafnie dobranych warunków brzegowych dla rozwiązywanych układów równań oraz prawidłowo zbudowanych stanowisk badawczych, a także dokładnych odczytów w mikroskopach sił atomowych i innej wykorzystywanej aparatury i sprzętu, dochodzimy do coraz lepszego korygowania różnic pomiędzy wynikami analityczno-numerycznymi i wynikami uzyskanymi na drodze eksperymentu. Niniejsza praca przedstawia pewne wdrożenie analizy sieciowej w logiczno-topologicznej postaci komponentu sztucznej inteligencji, zastosowanego do określenia optymalnego systemu projektowania, dotyczącego parametrów eksploatacyjnych łożysk takich, jak nośność, siły tarcia, współczynnik tarcia, zużycie łożyska.

19

Systemy sztucznej inteligencji w procesach decyzyjnych — rozmyte systemy decyzyjne

Kopczewski M., Pączek B.

Zeszyty Naukowe Akademii Marynarki Wojennej

|

2010

|

R. 51 nr 180A

119-129

PL

W pracy przedstawiono pojęcia związane z przetwarzaniem i przepływem informacji w instytucjach oraz ich związkami z podejmowaniem decyzji. Omówiono też istotniejsze zagadnienia z zakresu zbiorów rozmytych i logiki rozmytej wyjaśniające sposoby działania rozmytych systemów decyzyjnych. Przytoczono kilka przykładów zastosowań rozmytych systemów wspomagania decyzji.

20

Logic in formal verification of computer systems. Some remarks

Trzęsicki K.

Zeszyty Naukowe Politechniki Białostockiej. Informatyka

|

2009

|

Z. 4

151-175

EN

Various logics are applied to specification and verification of both hardware and software systems. The problem with finding of proof is the most important disadvantage of proof-theoretical method. The proof-theoretical method presupposes the axiomatization of the logic. Proprieties of a system can also be checked using a model of the system. A model is constructed with the specification language and checked using automatic model checkers. The model checking application presupposes the decidability of the task.

PL

Do specyfikacji i weryfikacji zarówno sprzętu jak i programów stosowane są różne logiki. Główną wadą metody teorio-dowodowej weryfikacji jest problem znalezienia dowodu. Zastosowanie tej metody zakłada aksjomatyzację logiki. Własności systemu mogą być sprawdzane za pomocą jego modelu. Model jest zbudowany w języku specyfikacji i sprawdzany automatycznie. Zastosowanie sprawdzania za pomocą modelu zakłada rozstrzygalność zadania. Istnieje wielka różnorodność programów (model checker) do sprawdzania własności za pomocą modeli.