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ę "logiczny" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 67
Tytuł:
Sur le terme primitif de la Logistique
Autorzy:
Tajtelbaum, Alfred
Powiązania:
https://bibliotekanauki.pl/articles/1385827.pdf
Data publikacji:
1923
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
system logiczny
termin pierwotny
logika
Opis:
Le but de cette note est de présenter la solution du problème suivant: est - il possible de construire un système de la Logistique, en admettant le signe d'équivalence comme le seul terme primitif (bien entendu, outre les quantificateurs) ?
Źródło:
Fundamenta Mathematicae; 1923, 4, 1; 196-200
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Neurath, decyzjonizm i pierwsze recenzje empiryzmu logicznego
Autorzy:
Koterski, Artur
Powiązania:
https://bibliotekanauki.pl/articles/2104657.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
empiryzm logiczny
absolutyzm
O. Neurath
decyzjonizm
konwencjonalizm
Opis:
Jednym z najważniejszych osiągnięć logicznego empiryzmu było pogłębienie idei francuskiego konwencjonalizmu i zastosowanie ich w zasadzie we wszelkich badanych w tym nurcie dziedzinach. Niemniej, za sprawą kształtowanego już od pierwszych recenzji wizerunku neopozytywizmu, jest on wciąż znany z „metodologicznego naturalizmu”, który przypisał mu w 1935 r. Karl Popper: zamiast wprowadzać dystynkcje w oparciu o dogodne umowy, neopozytywiści uznawali pewne rozstrzygnięcia za ostateczne, ponieważ miały się one opierać na „różnicach istniejących w naturze rzeczy”. W mniej lub bardziej wyraźny sposób sformułowano wówczas, jak twierdził Popper, później zaś jego zwolennicy, zalecenia metodologiczne, które z różnych względów utrzymywały się przez dekady, mimo że szkodliwość ich stosowania wykazywano na niemal każdym kroku – od logiki i matematyki do fizyki i socjologii. Celem niniejszego artykułu jest pokazanie na przykładzie Neurathowskiego decyzjonizmu, że wbrew twierdzeniom wczesnych krytyków (Ingardena, Poppera i Weinberga) neopozytywizmu konwencjonalizm wchodził w skład „twardego rdzenia” poglądów tzw. lewego skrzydła Koła Wiedeńskiego.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2016, 3; 119-142
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sieć teleinformatyczna dla transportu kolejowego w Polsce
Autorzy:
Gago, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2091259.pdf
Data publikacji:
2021
Wydawca:
Instytut Kolejnictwa
Tematy:
sieci IT
kolejnictwo
model logiczny
model fizyczny
Opis:
Celem artykułu jest przedstawienie wpływu światowego rozwoju systemów informatycznych i logistycznych na planowanie i rozwój sieci teleinformatycznej dla transportu kolejowego w Polsce. Obecnie, spółka PKP PLK buduje sieć teletransmisyjną, przede wszystkim na potrzeby systemu ERTMS. Zdaniem autora, kolejowa sieć teleinformatyczna powinna być tak zaplanowana, aby mogła zapewnić obecne i przyszłe zapotrzebowanie na transmisję danych dla wszystkich spółek kolejowych, które w zakresie usług teleinformatycznych umożliwią rozszerzenie wpływu tych spółek na inne rodzaje transportu.
Źródło:
Problemy Kolejnictwa; 2021, 190; 7--14
0552-2145
2544-9451
Pojawia się w:
Problemy Kolejnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Monizm contra pluralizm logiczny w kontekście dyskusji W.V.O. Quine – S. Haack
Monism Versus Logical Pluralism in the Context of the Discussion between W.V.O. Quine and S. Haack
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/31232718.pdf
Data publikacji:
2023
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logical monism
non-classical logics
logical pluralism
truth
logical constant
consequence
monizm logiczny
logiki nieklasyczne
pluralizm logiczny
prawda
stała logiczna
wynikanie
Opis:
Jednym z głównych pytań w filozofii logiki jest to, czy jest jedna, czy wiele logik. Pytanie to doczekało się różnych odpowiedzi, które formułują opozycyjne stanowiska: monizm logiczny contra pluralizm logiczny. Za reprezentatywnego przedstawiciela monizmu uznawany jest Willard Van Orman Quine, a pluralizmu — Susan Haack. Oba te stanowiska są kontynuowane współcześnie: monizm (m.in. Michael Dummett, Graham Priest, Timothy Williamson) oraz pluralizm (m.in. Jc Beall i Greg Restall, Johan van Benthem, Ottavio Bueno i Scott Shalkovski, Stewart Shapiro i Roy Cook). Monizm jest znacznie mniej preferowany niż pluralizm. W artykule wskazano na źródła pluralizmu w logice (m.in. wieloznaczność spójników języka naturalnego, prawdy i wynikania) oraz przywołano argumentacje wybranych przedstawicieli tego stanowiska.
One of the main questions in philosophy of logic is whether there is one logic or there are many logics. This question has been answered in many ways. Various answers have formed opposite standpoints: logical monism as against logical pluralism. Willard Van Orman Quine has been acknowledged as a representative of monism and Susan Haack — of pluralism. Both standpoints are maintained now: monism (e.g. Michael Dummett, Graham Priest, Timothy Williamson) or pluralism (e.g. Jc Beall and Greg Restall, Johan van Benthem, Ottavio Bueno and Scott Shalkovski, Stewart Shapiro and Roy Cook). Monism is significantly less preferred than pluralism. In this article, the sources of pluralism in logic have been indicated (among other things, ambiguity of connectives in the natural language, various understanding of truth and of logical consequence). Argumentations of some representatives of this standpoint have been presented.
Źródło:
Roczniki Filozoficzne; 2023, 71, 1; 247-271
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modalności zdaniowe
Propositional Modalities
Autorzy:
Woleński, Jan
Powiązania:
https://bibliotekanauki.pl/articles/2015605.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
modalność
kwadrat logiczny
predykat
modality
logical square
predicate
Opis:
This paper examines some problems concerning modalities as operators acting on sentential arguments. At first, formal dependencies between modalities are described. Then, the problem of translations of modalities as operators into modalities as predicates is discussed. The author shows that although some predicates satisfy laws of the logical square for modalities, they cannot be represented by sentences with modal operators in front. The explanation of this fact is proposed by using Czeżowski's idea of modi entis and the content of presentations.
Źródło:
Roczniki Filozoficzne; 2004, 52, 2; 429-437
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ocena klasyfikacji i typologii benchmarkingu z wykorzystaniem warunków poprawności podziału logicznego pojęć
Assessment of the classification and typology of benchmarking using the conditions of correct logical division of concepts
Autorzy:
Szydełko, Magdalena
Powiązania:
https://bibliotekanauki.pl/articles/2186004.pdf
Data publikacji:
2022-12-16
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
benchmarking
podział logiczny
klasyfikacja
typologia
logical division
classification
typology
Opis:
Liczba rodzajów benchmarkingu przytaczanych w literaturze przedmiotu dowodzi nie tylko dużego zainteresowania badaczy tym zagadnieniem, lecz także nieusystematyzowania zagadnień teoretycznych w obszarze klasyfikacji i typologii benchmarkingu. Podziały benchmarkingu cechuje pewien brak spójności i naruszenie obowiązujących reguł logicznych. Skutkiem tego jest duża liczba jego klasyfikacji i typologii utrudniająca prawidłowe zrozumienie istoty poszczególnych jego rodzajów i wykorzystanie teorii benchmarkingu w praktyce gospodarczej. Celem artykułu było uporządkowanie klasyfikacji i typologii benchmarkingu z zastosowaniem zasad poprawności podziału logicznego pojęć. Wykorzystano dedukcyjne metody pracy naukowej, które pozwoliły na rekonstrukcję wiedzy wywodzącej się z badanej literatury i wyprowadzanie wniosków istotnych do osiągnięcia celu. Ze względu na ograniczenia objętościowe został pokazany mechanizm tworzenia poprawnych podziałów logicznych. Najprostszym podziałem benchmarkingu zapewniającym ex definitione poprawność jest podział dychotomiczny. Opracowano dychotomiczne podziały logiczne benchmarkingu według wybranych kryteriów, tj. podmiotu, branży, przedmiotu, rodzaju danych, stopnia sformalizowania, zewnętrznego wsparcia, częstotliwości oraz relacji między partnerami w benchmarkingu. Biorąc po uwagę dużą liczbę klasyfikacji i typologii benchmarkingu w literaturze przed-miotu, uznano za właściwe wyróżnienie benchmarkingu wewnętrznego i zewnętrznego jako dwóch pod-stawowych klas. Pozostałe rodzaje benchmarkingu mieszczą się w tych dwóch kategoriach. Benchmarking wewnętrzny i zewnętrzny (podzakresy otrzymane w wyniku podziału logicznego według kryterium pod-miotu) można poddać następnym podziałom ze względu na kolejne kryteria podziału, otrzymując wielostopniową klasyfikację lub typologię benchmarkingu. Przedstawione w artykule propozycje uporządkowania zagadnień związanych z rodzajami benchmarkingu mogą przyczynić się do rozwoju teorii benchmarkingu przez kształtowanie prawidłowej wiedzy w tym zakresie.
The number of types and classes of benchmarking cited in the literature proves not only the great interest of researchers in this issue, but also the lack of systematization of theoretical issues in the area of benchmarking classification and typology. The divisions of benchmarking are characterized by a certain inconsistency and violation of the applicable logical rules. As a result, a large number of its classifications and typologies make it difficult to properly understand the essence of its particular types and the use of benchmarking theory in practice. The purpose of this article was to sort out the classification and typology of benchmarking with the use of the principles of correct logical division of concepts. Deductive methods of scientific work were used, which allowed for the reconstruction of knowledge derived from the studied literature and for drawing conclusions relevant to achieving the objective. Due to the article volume limitations, the mechanism of creating correct logical divisions has been shown. The simplest division of benchmarking that ensures correctness ex definitione is a dichotomous one. Dichotomous logical divisions of benchmarking were developed according to selected criteria, i.e. object, industry, subject, type of data, degree of formalization, external support, frequency and relations between partners in benchmarking. Taking into account the large number of benchmarking classifications and typologies in the literature, it was considered appropriate to distinguish internal and external benchmarking as two basic classes. The other types of benchmarking fall into these two categories. Internal and external benchmarking (sub-ranges obtained as a result of a logical division according to the criterion of the object), can be subdivided according to subsequent division criteria, obtaining a multi-level classification or typology of benchmarking. The presented proposals to sort out the issues related to the benchmarking classification and typology may contribute to the development of the benchmarking theory by forming the correct knowledge in this area.
Źródło:
Nowoczesne Systemy Zarządzania; 2022, 17, 4; 79-90
1896-9380
2719-860X
Pojawia się w:
Nowoczesne Systemy Zarządzania
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Złożoność półgrup charakterystycznych „G” automatów asynchronicznych silnie spójnych
Complexity of the "G" characteristic semi – group of the strongly connected asynchronous automatons
Autorzy:
Bocian, S.
Powiązania:
https://bibliotekanauki.pl/articles/252903.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
optymalny układ logiczny
złożoność półgrup
optimal logic
complexity of semigroups
Opis:
W artykule przedstawiono twierdzenie i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych dowolnej liczby („G”) automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Suma prosta automatów można uważać za realizację – odpowiednio sekwencyjnych obliczeń
The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semigroups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi – group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct sum of automatons can be considered as the realization–the sequence calculations accordingly.
Źródło:
TTS Technika Transportu Szynowego; 2016, 12; 396-400
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sprzętowo wspomagana, selektywna realizacja programu w sterowniku logicznym
Hardware Supported Selective Control Program Execution In A PLC
Autorzy:
Milik, A.
Powiązania:
https://bibliotekanauki.pl/articles/155628.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
FPGA
sterownik logiczny
pamięć obrazu procesu
PLC
process image memory
Opis:
Artykuł przedstawia metodę selektywnej realizacji programu sterowania. W programie sterowania podzielonym na bloki realizowane są te, których argumenty uległy zmianie od ostatniego cyklu obliczeniowego. Elementem niezbędnym do selektywnej realizacji programu jest pamięć procesu z mechanizmem wykrywania różnic w jej zawartości. Powyższe zadanie może zostać zrealizowany w sposób efektywny, przy wykorzystaniu unikalnych cech układów FPGA.
The paper presents method of selective control program execution by a PLC. From entire program are executed only these blocks that variables have changed since last calculation. In order to determine program blocks that require recalculation in current program loop specific hardware support is used. The memory content difference detection unit allow to determine changes in memory content since last comparison. General idea of the change detector is presented in Fig. 2. Variables that are used by program block usually are stored in various location of process image memory. In order to precisely determine execution condition change detector should watch desired regions of memory while other part should not be considered. Following approach require to equip change detector with map of watched memory regions (Fig. 3). Finally change detector units together with process memory has been implemented in an FPGA device. Two different constructions that utilize distributed RAMs and block RAMs were considered. Requireme
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 69-71
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
CZYM JEST PLURALIZM LOGICZNY? (STANOWISKO J.C. BEALLA I GREGA RESTALLA)
WHAT IS LOGICAL PLURALISM? (J.C. BEALL’S AND GREG RESTALL’S STANDPOINT)
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/488487.pdf
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
pluralizm logiczny
wynikanie logiczne
poprawny system logiczny
logika klasyczna
logika intuicjonistyczna
logika relewantna
logical pluralism
logical consequence
correct logical system
classical logic
intuitionistic logic
relevant logic
Opis:
C. Beall and Greg Restall are advocates of a comprehensive pluralist approach to logic, which they call Logical Pluralism (LP). According to LP, there is not one correct logic, but many equally acceptable logical systems. The authors share Tarski’s conviction and follow the mainstream in thinking about logic as the discipline that investigates the notion of logical consequence. LP is the pluralism about logical consequence – a pluralist maintains that there is more than one relation of logical consequence. According to LP, classical, intuitionistic and relevant logics are not rivals, but they all are equally correct, they all count as genuine logics. The purpose of this paper is to present some remarks concerning J.C. Beall’s and Greg Restall’s exposition of LP. At the beginning, the definition of the relation of logical consequence, which is central to their proposal, is shown. According to Beall and Restall, argument is valid if, and only if, in every case when the premisses are true, then the conclusion is, too. They argue that by considering different types of cases the logical pluralist obtains different logics. The paper — apart from presenting LP — also gives a critical discussion of this approach. It seems, that the thesis of LP is far from being clear. It is even unclear what exactly LP is and where is stops. It is unclear what “equally good”, “equally correct”, “equally true” mean. It is not clear, how to explain, in scope of logic, that the system of logic, is a model of real logical connections.
Źródło:
Roczniki Filozoficzne; 2013, 61, 1; 5-22
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling and querying facts with period timestamps in data warehouses
Autorzy:
Mahlknecht, Giovanni
Dignös, Anton
Kozmina, Natalija
Powiązania:
https://bibliotekanauki.pl/articles/331124.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
data warehouse
time period
logical model
hurtownia danych
odcinek czasu
model logiczny
Opis:
In this paper, we study various ways of representing and querying fact data that are time-stamped with a time period in a data warehouse. The main focus is on how to represent the time periods that are associated with the facts in order to support convenient and efficient aggregations over time. We propose three distinct logical models that represent time periods as sets of all time points in a period (instant model), as pairs of start and end time points of a period (period model), and as atomic units that are explicitly stored in a new period dimension (period∗ model). The period dimension is enriched with information about the days of each period, thereby combining the former two models. We use four different classes of aggregation queries to analyze query formulation, query execution, and query performance over the three models. An extensive empirical evaluation on synthetic and real-world datasets and the analysis of the query execution plans reveal that the period model is the best choice in terms of runtime and space for all four query classes.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2019, 29, 1; 31-49
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Is the Past Determined (Necessary)?
CZY PRZESZŁOŚĆ JEST ZDETERMINOWANA (KONIECZNA)?
Autorzy:
Woleński, Jan
Powiązania:
https://bibliotekanauki.pl/articles/488399.pdf
Data publikacji:
2018-11-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
past
future
logical square
incompleteness
bivalence
przeszłość
przyszłość
kwadrat logiczny
niepełność
biwalencja
Opis:
This paper is inspired by Marcin Tkaczyk’s works and discusses the problem of the necessity of the past (is the past determined?) and its role in the analysis of future contingents. The discussion centers on the statements (accepted by Tkaczyk, but slightly paraphrased)) firstly, that every past state of affairs is determined, and, secondly, that at least some some future states of affairs are contingent. The paper argues that because the first assertion is not justified, the antinomy of future contingents does not arise. The argument uses modal and metalogical devices.
Praca niniejsza jest inspirowana twórczością Marcina Tkaczyka i omawia problem koniecz-ności przeszłości (czy przeszłość jest zdeterminowana?) i jej roli w analizie przyszłych zdarzeń przy¬godnych. Dyskusja skupia się na stwierdzeniach (zaakceptowanych przez Tkaczyka, ale nie¬co spa¬rafrazowanych): po pierwsze, że każdy dotychczasowy stan rzeczy jest ustalany, po drugie, że przynajmniej niektóre przyszłe stany są przypadkowe. Artykuł dowodzi, że ponieważ pierwsze twierdzenie nie jest uzasadnione, nie powstaje antynomia przyszłych zdarzeń przygodnych. Argument korzysta ze środków modalnych i metalogicznych.
Źródło:
Roczniki Filozoficzne; 2018, 66, 4; 183-196
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Paradygmat zasobowy a paradygmat sieciowy. Nauka czy sztuka?
Autorzy:
Maziarz, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/570040.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
paradygmat zasobowy
paradygmat sieciowy
zarządzanie
filozofia ekonomii
pozytywizm logiczny
problem demarkacji
Opis:
Mimo wielokrotnie formułowanych w ostatnim dwudziestoleciu uwag krytycznych pod adresem neopozytywistycznej metodologii ekonomii, wielu współczesnych ekonomistów (zwłaszcza tych wykorzystujących w badaniach metody ilościowe) wciąż przyjmuje ją za obowiązujący paradygmat. Jednocześnie często uważa się, że nauki o zarządzaniu nie wypełniają ideału nauki w takim stopniu jak ekonomia, którą zwykło się uważać za królową nauk społecznych. Dlatego zasadne wydaje się postawienie pytania, czy oraz w jakim stopniu nauki o zarządzaniu spełniają wymagania stawiane przez pozytywizm logiczny. W artykule rozważa się dwa podejścia do zarządzania: (1) paradygmat sieciowy oraz (2) paradygmat zasobowy. Operacjonalizacja neopozytywistycznej filozofii nauki umożliwia sformułowanie wymogów stawianych przez ten paradygmat: (1) utożsamienie relacji przyczynowych ze stałymi związkami korelacyjnymi lub funkcjonalnymi, (2) wyłączenie zdań syntetycznych apriori jako nienaukowych, (3) korespondencyjne definiowanie prawdy, (4) oparcie epistemologii na konfirmacjonizmie, (5) rozumienie praw naukowych, (6) rozumienie nauki jako zdań (przynajmniej teoretycznie) konfirmowalnych. Uzyskane wyniki pozwalają stwierdzić, iż oba analizowane paradygmaty nauk o zarządzaniu nie spełniają całkowicie wymagań stawianych przed nauką przez neopozytywistów logicznych. Ze względu na praktyczną użyteczność zarządzania strategicznego proponuje się odrzucić pozytywizm logiczny i oprzeć metodologię nauk o zarządzaniu na bardziej liberalnych propozycjach teoretycznych (np. na metodologii krytycznego realizmu), które są adekwatniejsze do problemów nauk społecznych
Źródło:
Ekonomia XXI Wieku; 2017, 3 (15); 9-20
2353-8929
Pojawia się w:
Ekonomia XXI Wieku
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych
UML activity diagrams in design of reconfigurable logic controllers
Autorzy:
Grobelny, M.
Grobelna, I.
Powiązania:
https://bibliotekanauki.pl/articles/156715.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
activity diagrams
Opis:
Artykuł przedstawia sposób reprezentacji behawioralnej sterownika logicznego przy wykorzystaniu diagramów aktywności języka UML. Zaproponowane zostało zastosowanie diagramów aktywności do projektowania rekonfigurowalnych sterowników logicznych, a dokładnie do opisu zachowania sterownika logicznego podczas pracy. Do tego celu został dostosowany zbiór elementów diagramów aktywności w celu umożliwienia efektywnego modelowania behawioralnego. Rozważane jest także wykorzystanie hierarchicznych możliwości diagramów aktywności do częściowej rekonfiguracji
The paper focuses on behavioural representation of a logic controller with usage of UML activity diagrams. There is shown a subset of UML activity diagram elements sufficient to present logic controller behaviour simultaneously suitable for automatic synthesis with use of hardware description languages. After short introduction (Section 1) to the topic, UML activity diagrams as a specification technique are presented (Section 2). Additionally, there is described a subset of elements (Tab.1) of the discussed specification techniques fulfilling behavioural modelling requirements of a reconfigurable logic controller. Specification possibilities are given using sample control process of preparing the exact amount of liquid in two tanks (Section 3). The real model of the process is shown in Fig. 1. One of the possible behavioural specifications with use of UML activity diagrams is depicted in Fig. 2. This is a representation of the considered action state concept specification techniques in version 1.x. The other possibility is to specify a process with use of elementary system actions (Fig. 3), which is characteristic of the UML activity diagrams version 2.x. Fig. 4, on the other hand, shows signal based specification which is suitable for automatic hardware description language code generation (e.g. VHDL). Furthermore, Section 4 describes possibilities of using hierarchical aspects of activity diagrams to prepare specification for partial reconfiguration. Finally, Section 5 concludes the paper.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 596-598
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safety related control systems for railway signalling applications with a safety PLC
Autorzy:
Ždánsky, J.
Rástočný, K.
Hrbček, J.
Powiązania:
https://bibliotekanauki.pl/articles/393794.pdf
Data publikacji:
2011
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Tematy:
PLC
programowalny sterownik logiczny
SIL
poziom nienaruszalności bezpieczeństwa
programmable logic controller
safety integrity level
Opis:
Nowadays, there are available on the market not only standard PLCs (Programmable Logic Controller) but also safety PLC´s. These are primarily designed for industrial applications. Their guaranteed safety properties, however, enable to be used in applications, in which the usage of PLC has not been common until now. The aim of this article is to focus on problems related to the usage of safety PLC in railway signalling systems.
Źródło:
Archives of Transport System Telematics; 2011, 4, 3; 43-49
1899-8208
Pojawia się w:
Archives of Transport System Telematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 67

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