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

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.

4

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.

5

Soft set theory applied to general algebras

Dymek G., Walendziak A.

Demonstratio Mathematica

|

2015

|

Vol. 48, nr 1

13--20

EN

The notions of a soft general algebra and a soft subalgebra are introduced and studied. The operations on them such as a restricted intersection, an extended intersection, a restricted union, a ^-intersection, a ˅-union and a cartesian product are established.

6

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.

7

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

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.

8

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.

9

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.

10

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.

11

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.

12

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.

13

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.

14

O filozoficznym sensie metamatematycznych twierdzeń limitacyjnych

Woleński J.

Wiadomości Matematyczne

|

2009

|

T. 45, Nr 2

195-216

15

Argumentacja w procesie porozumiewania się

Skulska J. K., Błażejewska A.

Nowoczesne Systemy Zarządzania

|

2009

|

T. 4, nr 1

223--236

EN

The article "Argumentation In the Process of Communication" provides the knowledge that is essential for effective communication and intelligent persuasion. It tries to answer the following questions: ⋅ What is the definition of argumentation? ⋅ What is the aim of argumentation? ⋅ What are the main types of argumentation? ⋅ How do various branches of knowledge describe it?

16

Idea filozofii konstruktywnej

Szumakowicz E.

Czasopismo Techniczne. Nauki Podstawowe

|

2009

|

R. 106, z. 1-NP

13-31

PL

W niniejszym artykule zaproponowano nową koncepcję filozofii. Nawiązuje ona do przełomu, jakiego w historii filozofii dokonał w pierwszej połowie XIX w. August Comte, jedyny sławny filozof, który był także inżynierem (absolwentem założonej przez Napoleona paryskiej Szkoły Politechnicznej). Zamiast tradycyjnej filozofii spekulatywnej Comte zaproponował filozofię pozytywną. Dzisiaj odczuwamy potrzebę odnowienia i odświeżenia tendencji zmierzającej do zwiększenia efektywności pracy filozoficznej. Idea filozofii konstruktywnej polega na pojęciowej penetracji równoległej oraz interaktywnej względem myślenia zarówno naukowego, jak i praktycznego (technicznego), którego celem jest osiągnięcie jakiegoś konkretnego rezultatu czy rozwiązania interdyscyplinarnego problemu. Autor starał się zidentyfikować i wskazać oznaki takiego konstruktywizmu w dziejach filozofii polskiej, a także w dziedzinach pokrewnych (takich, jak prakseologia). Na końcu przedstawiono przykłady współdziałania konstruktywnej filozofii z różnymi dyscyplinami oraz dalsze perspektywy badawcze.

EN

In the article a new conception of philosophy is proposed. It comes back to the turn in the history of philosophy made in the first half of the XIXth century by Auguste Comte, the only famous philosopher that was also an engineer (graduated at the Ecole Polytechnique in Paris). Comte had proposed the positivist philosophy at the place of the speculative philosophy. Nowadays one should regenerate and rejuvenate the tendency towards the effectiveness in philosophical work. The idea of constructive philosophy consists in conceptual penetration parallel and interactive to both scientific and practical (technical) thinking aimed to obtain some concrete result and solution of the interdisciplinary problem. The author tried to identify and indicate the traces of such constructivism in the history of Polish philosophy and related domains (such as praxeology). Several examples of cooperation of constructive philosophy with other disciplines and further research perspectives conclude the presented text.

17

Logiczne zależności między elementami strukturalnymi układów orientowania

Kołbasnikow A.

Zeszyty Naukowe Politechniki Rzeszowskiej. Mechanika

|

2008

|

z. 72 [251]

49-56

EN

On the basis of the ordered pairs structural vectors the set of coordinates of one detail is under construction, allowing to carry out optimization of movings at its(her)orientation.

18

Podstawy teorii logistyki

Brzeziński Marian

Systemy Logistyczne Wojsk

|

2008

|

Nr 34

9--17

PL

W artykule określono dyscypliny naukowe, które mogą stanowić podstawę rozwoju teorii logistyki. Należą do nich logika matematyczna, teoria systemów oraz prakseologia. Opisano możliwości ich zastosowania w logistyce.

EN

This paper covers the generał reąuirements for The Armed Forces within NATO military operations taking into considerations NATO Task Forces transformation. General logistic support rules, standardization and interoperability have been described as well. Moreover has been presented a New NATO Concept in the area of multinational logistic support.

19

On philosophical sense of metamathical limitative theorems

Woleński J.

Prace Naukowe Instytutu Matematyki i Informatyki Politechniki Częstochowskiej

|

2008

|

Vol. 7, nr 2

87-96

20

A step toward a universal theory of failure handling

Obeid N., Rao R.B.

Diagnostyka

|

2007

|

nr 1(41)

5-14

EN

We explore, in this paper, some of the fundamental requirements needed for a Universal Theory of Failure Handling. We shall show that dealing with failure touches on our reasoning, predictive, evaluative and judgmental capabilities and thus it requires the ability to reason with incomplete and uncertain temporal information. It also requires reasoning with events before they even happen and about the effect of actions for as long as these are relevant, even if the available time does not permit. There may also be a need for reasoning about the reasoning process itself. We shall discuss the notion of failure with respect to decision-making and knowledge. We give a very brief presentation of Dorner's logic of failure and research into artificial intelligence and its implication for handling failures. We shall propose means of computing the degrees of failure induced by humans and in physical systems. In addition, we shall initiate a discussion on reasoning with failures and put forward a proposal for an integrative and proactive approach to monitoring, diagnosis and learning from failures.