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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 40
Tytuł:
Conception of partial specification of logic controller deterministic state machine
Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
Autorzy:
Łabiak, G.
Powiązania:
https://bibliotekanauki.pl/articles/156340.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne
Opis:
Zagadnienie stworzenia deterministycznego opisu zachowania sterownika logicznego (bez konfliktów między tranzycjami) opisanego diagramami statecharts [2, 9] jest zagadnieniem o złożoności problemu spełnialności i jego rozwiązanie poprzez "ręczne" konstrukcje predykatów tranzycji może być dla projektanta bardzo trudne o ile w ogóle możliwe. Referat skupia się na problemie automatycznego doboru predykatów tranzycji w warunkach niepełnej specyfikacji, tak aby maszyna stanów [2, 9] (diagram statechart, rys. 3a) modelowała zachowanie w sposób deterministyczny. W proponowanej metodzie projektant podaje najistotniejsze zdarzenia warunkujące przejścia, a system CAD automatycznie rozwiązuje konflikty tranzycji niepełnej specyfikacji. Podstawową koncepcją automatycznego rozwiązywania konfliktów tranzycji jest utworzenie własnego zestawu wszystkich zmiennych dla każdej tranzycji osobno (podrozdz. 4.1). Nowo utworzone zmienne wyznaczają bazę symbolicznej przestrzeni wektorowej, w której można przestawić wszystkie możliwe predykaty (podrozdz. 4.2). W przestrzeni symbolicznej w łatwy sposób można opisać wyrażeniem logicznym zbiór wszystkich predykatów ortogonalnych oraz zbiory odpaleń wynikające z niepełnej specyfikacji (podrozdz. 4.3). Iloczyn w przestrzeni symbolicznej zbiorów predykatów ortogonalnych i zbiorów odpaleń wyznacza zbiór zestawów ortogonalnych predykatów wynikających z częściowej specyfikacji (podrozdz. 4.4). Wszystkie operacja na zbiorach wykonywane są jako logiczne przekształcenia odpowiednich funkcji charakterystycznych, które efektywnie mogą być implementowane za pomocą binarnych diagramów decyzyjnych [7].
The issue of creating a deterministic behaviour description (without conflicts between transitions) of a logic controller is an issue of computational complexity equal to a classic satisfiability problem. Its solution through by-hand transition predicates construction can be very painstaking and tedious, if possible at all. The paper focuses on automatic transition predicates construction where transition predicates are partially specified by a designer giving only the most essential information necessary to comprehend the controller behaviour. This partial specification causes that a state machine (statechart diagram) is nondeterministic (and hence cannot be technically implemented) and the CAD system task is to transform automatically this partial specification into a corresponding deterministic form.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 1, 1; 76-79
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
UML activity diagrams and Petri nets in binary control systems - from transformation to verification
Autorzy:
Grobelny, M.
Grobelna, I.
Powiązania:
https://bibliotekanauki.pl/articles/158260.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
diagramy aktywności UML
sieci Petriego
weryfikacja modelowa
UML activity diagrams
Petri nets
model checking
Opis:
Język UML jest technologią powszechnie stosowaną w świecie naukowym oraz w przemyśle. Sieci Petriego są modelem matematycznym ogólnego zastosowania ugruntowanym od wielu lat. Obie te techniki doskonale nadają się do specyfikacji procesów sterowania. Jednakże jako odmienne, każda z nich posiada unikatowe właściwości. Technika weryfikacji modelowej jest jedną z metod formalnej weryfikacji specyfikacji pozwalającą na zdiagnozowanie błędów w specyfikacji wymagań albo w opisie modelu. Artykuł przedstawia metodę transformacji pomiędzy obiema wymienionymi technikami specyfikacji w celu formalnej weryfikacji projektu sterowania opisanego w języku UML.
Unified Modeling Language (UML) [1-3, 5, 6-8] is commonly used in scientific and industrial world. Petri nets [9] are mathematical model used for a long period of time. Both techniques are well suited for control processes specification. However, they are quite different. Each technique has its own unique properties. Model checking technique [14-17] is one of formal verification methods [18] for specifications. It allows detecting errors either in requirements specification or in model description. The paper presents the method for transformation between both mentioned specification techniques - from UML activity diagram (Fig. 1) to Petri net (Fig. 4), using some defined rules [10, 11]. Mapping of particular elements is presented in Table 1. Petri net after direct transformation may include redundant places which can be after-wards removed. Then, it is possible to formally verify control process described in UML. The proposed model checker tool is NuSMV [20]. NuSMV (Fig. 5) compares model description (Fig. 6 - 8) and requirements (Fig. 9) which have to be fulfilled. The requirements are defined using temporal logic. If a specified requirement may not be fulfilled, appropriate counterexamples are generated (Fig. 10) which allow detecting an error source. Then, the specification can be corrected and model checking process can start again, sometimes including only the particular part of a designed system.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1154-1158
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
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ł:
Diagramy FBD w środowisku programistycznym CPDev
FBD diagrams in CPDev programming environment
Autorzy:
Trybus, B.
Ziętek, A.
Powiązania:
https://bibliotekanauki.pl/articles/275184.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
programowanie
diagramy FBD
programming
FBD diagrams
Opis:
W artykule opisano rozszerzenie środowiska programistyczno-uruchomieniowego CPDev umożliwiające tworzenie aplikacji sterujących za pomocą diagramów bloków funkcjonalnych FBD. Edytor graficzny służy do tworzenia diagramów, zaś odpowiedni konwerter przekształca je do kodu w języku ST, który następnie jest kompilowany do postaci wykonywalnej. Do zapisu danych opisujących diagram FBD oraz bibliotekę bloków zastosowano format XML, w tym dokumenty o strukturze zgodnej ze standardem PLCOpen. Dzięki opisanemu rozszerzeniu środowisko CPDev pozwala obecnie na tworzenie aplikacji sterujących za pomocą trzech języków normy IEC 61131, tj. ST, IL i FBD.
The paper describes an extension of CPDev programming and runtime environment for building control applications using Function Block Diagrams (FBD). The diagrams are converted into ST language compiled into executable binary code. XML format derived from PLCOpen standard is used to store FBD structure and library of function blocks. Due to the extension, the CPDev environment supports now ST, IL and FBD languages of IEC 61131-3 standard.
Źródło:
Pomiary Automatyka Robotyka; 2010, 14, 3; 6-8
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Diagramy wdrożeniowe w modelowaniu systemów informatycznych
Implementation diagrams in IT systems modeling
Autorzy:
Wrycza, Stanisław
Marcinkowski, Bartosz
Maślankowski, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/426275.pdf
Data publikacji:
2014
Wydawca:
Szkoła Główna Handlowa w Warszawie
Tematy:
diagramy wdrożeniowe
systemy informatyczne
diagramy komponentów
diagramy rozlokowania
hierarchia diagramów
Opis:
An inherent element of the documentation of IT system projects are the diagrams, which present the hardware and software infrastructure of the created systems. An example of such diagrams are implementation diagrams in the UML. There can be distinguished two types of implementation diagram, namely Component diagram and Deployment diagram. The aim of the present paper is to evaluate the possibilities of using the implementation diagrams for modeling of IT systems which use modern technology solutions. After discussing the role of implementation diagrams in IT systems modeling, the authors present also their functions and graphical conventions. Then, theoretical issues concerning diagrams and their practical uses have been examined and illustrated by the such examples of modern applications in the range of e-economy as: IT system of city traffic control, electronic warehouse management system and using mobile devices for purchase of e-tickets.
Źródło:
e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie; 2014, 1 (53); 77-85
1731-6758
1731-7428
Pojawia się w:
e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
(D,O)-species of bounded representation type
Autorzy:
Gubareni, N.
Powiązania:
https://bibliotekanauki.pl/articles/122902.pdf
Data publikacji:
2016
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
species
(D,O)-species
flat mixed matrix problems
discrete valuation rings
Dynkin diagrams
bloki
płaszczyznowe mieszane zagadnienia macierzowe
pierścień dyskretnie waluacyjny
diagramy Dynkina
Opis:
We describe weak (D,O)-species of bounded representation type in terms of Dynkin diagrams and diagrams with weights. We reduce the problem of their description to flat mixed matrix problems over discrete valuation rings and their common skew field of fractions.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 4; 39-50
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Działalność naukowa Georgija Woronyja
Scientific activity of Georgii Voronyi
Autorzy:
Iwachiw, O.
Powiązania:
https://bibliotekanauki.pl/articles/1203123.pdf
Data publikacji:
2017
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Napędów i Maszyn Elektrycznych Komel
Tematy:
diagramy Woronoja
komórka Woronoja
mozaika Woronoja
płytki Woronoja
geometria liczb
teoria liczb
Voronyi diagrams
Voronyi cell
Voronyi tiling
Voronyi mosaic
geometry of numbers
number theory
Opis:
Georgii Voronyi (1868–1908) is one of the most famous scientists - mathematicians, who gave the "world science of Ukrainian soil". Still, his scientific achievements sparked the brilliance of ideas; he was recognized as one of the most brilliant talents in the field of number theory at the turn of the century. In his short life Georgii Voronyi has set out several new directions in contemporary number theory: analytic number theory, algebraic number theory, geometry of numbers, the real significance of his scientific achievements is now discovered in our day.
Georgij Woronyj (po rosyjsku – Woronoj, 1868–1908) jest jednym z najbardziej znanych naukowców – matematyków, których dała "nauce światowej ziemia ukraińska". Jeszcze za życia jego osiągnięcia naukowe wywoływały zachwyt genialnością pomysłów, był uznany za jednego z najbłyskotliwszych talentów w dziedzinie teorii liczb na przełomie wieków ХІХ-ХХ. W ciągu swego krótkiego życia Georgij Woronyj zdążył wytyczyć kilka nowych kierunków we współczesnej teorii liczb: analityczną teorię liczb, algebraiczną teorią liczb, geometrię liczb, rzeczywiste znaczenie jego dorobku naukowego jest odkrywane obecnie, w naszych czasach.
Źródło:
Maszyny Elektryczne: zeszyty problemowe; 2017, 4, 116; 159-162
0239-3646
2084-5618
Pojawia się w:
Maszyny Elektryczne: zeszyty problemowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Funkcje współczesnej teorii argumentacji
Features theory of argumentation
Autorzy:
Skulska, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/2186015.pdf
Data publikacji:
2012-06-01
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
identyfikacja
analiza
ewaluacja
inwencja
diagramy argumentacji
schematy argumantacyjne
Źródło:
Nowoczesne Systemy Zarządzania; 2012, 7, 1; 249-265
1896-9380
2719-860X
Pojawia się w:
Nowoczesne Systemy Zarządzania
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Informational, Educational, and Scientific Values of Environmental Data Interactive Visualizations
Informacyjna, edukacyjna i naukowa wartość interaktywnych wizualizacji danych środowiskowych
Autorzy:
Król, K.
Gawroński, K.
Powiązania:
https://bibliotekanauki.pl/articles/385564.pdf
Data publikacji:
2018
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
interaktywne wykresy i diagramy
internetowa kartografia
zarządzanie środowiskiem
popularyzacja nauki
informatyka środowiskowa
data interactive charts and diagrams
Internet cartography
environmental management
popularization of science
environmental computer science
Opis:
Różnorakie techniki i narzędzia programistyczne są coraz częściej stosowane do interaktywnej wizualizacji danych, w szczególności środowiskowych. Sukcesywnie zwiększa się powszechność i obszar ich zastosowań w zarządzaniu środowiskiem oraz w upowszechnianiu i popularyzacji wyników badań naukowych. W pracy przedstawiono wybrane przykłady zastosowań wizualizacji danych środowiskowych, omówiono ich wady i zalety, wymieniono także jedne z najpopularniejszych technik i narzędzi umożliwiających ich tworzenie. W konkluzji zwrócono uwagę, że wizualizacje danych znajdują coraz częściej zastosowanie w naukach przyrodniczych i technicznych. Ponadto zauważono, że wizualizacje danych środowiskowych mogą wpływać na efektywność zarządzania środowiskiem, a wielokrotnie ponawiany i wieloźródłowy przekaz informacji może nagłośnić problemy środowiskowe oraz wpłynąć na świadomość ekologiczną jednostek lub grup społecznych.
Various programmatic techniques and tools are more and more frequently being used for the interactive visualization of data, especially environmental data. Their prevalence and domain of their use in environmental management as well as the promotion and popularization of scientific survey results have increased successively. Chosen examples of applications of environmental data interactive visualizations were presented in the paper, their advantages and disadvantages were discussed, and some of the most-popular techniques and tools used in their creation were listed. In conclusion, it was pointed out that data visualizations are being applied more and more in the natural and technical sciences. Moreover, it was noticed that environmental data visualizations can influence the efficiency of environmental management, and the repeatedly reiterated and multi-sourced transmission of data can publicize environmental problems as well as affect the ecological awareness of individuals or social groups.
Źródło:
Geomatics and Environmental Engineering; 2018, 12, 2; 51-62
1898-1135
Pojawia się w:
Geomatics and Environmental Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Inhibitor and enabling arcs in logic controller design
Łuki zakazujące i zezwalające w projektowaniu sterowników logicznych
Autorzy:
Grobelna, I.
Grobelny, M.
Powiązania:
https://bibliotekanauki.pl/articles/153449.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
specyfikacja sterownika logicznego
formalna weryfikacja
łuki zakazujące i zezwalające sieci Petriego
diagramy aktywności języka UML
logic controller specification
formal verification
Petri nets inhibitor and enabling arcs
UML activity diagrams
Opis:
The paper presents a novel approach to rule-based logic controller specification and its verification. The proposed abstract model is suited for formal verification (using model checking technique) as well as for logic synthesis (using hardware description language VHDL). Special focus is put on Interpreted Petri Nets with inhibitor and enabling arcs, their realization in rule-based model and, additionally, their interpretation in another logic controller specification technique - UML Activity Diagrams (version 2.x).
Artykuł przedstawia nowatorskie podejście do regułowej specyfikacji sterownika logicznego, wraz z jej weryfikacją (walidacją). Proponowany abstrakcyjny model logiczny jest dogodny zarówno do formalnej weryfikacji modelowej, jak również do syntezy logicznej (język opisu sprzętu VHDL). Szczególną uwagę poświęcono łukom zakazującym i zezwalającym interpretowanych sieci Petriego. Po krótkim wprowadzeniu do omawianej tematyki (rozdział 2), przedstawiono przykład interpretowanej sieci Petriego z łukami zakazującymi i zezwalającymi (rys. 1). Podano sposób ich realizacji w abstrakcyjnym modelu logicznym (rozdział 3, schemat kompletnego proponowanego systemu na rys. 2 oraz przykład regułowego modelu sterownika logicznego na rys. 3). Zaproponowano interpretację łuków zakazujących i zezwalających sieci Petriego w innej postaci specyfikacji zachowania sterownika logicznego (rozdział 4) - diagramach aktywności języka UML (w wersji 2.x). Ze względu na bezstanowość diagramów aktywności, nie jest możliwe bezpośrednie odwzorowanie rozpatrywanych łuków. W artykule zaproponowano dwa rozwiązania - opierające się na wprowadzeniu dodatkowego sygnału (rys. 4a) oraz alternatywne - bazujące na etykietowaniu przepływów (rys. 4b). Przedstawiono sposób formalnej weryfikacji tak przygotowanej specyfikacji regułowej oraz jej syntezy logicznej (rozdział 5). Publikacja kończy się podsumowaniem oraz wnioskami (rozdział 6)
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 510-513
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Intuition and deduction in the process of explaining the correctness of proof in architectural diagrams
Intuicja i dedukcja w procesie wyjaśniania poprawności dowodu w diagramach architektonicznych
Autorzy:
Maryńczuk, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/2034260.pdf
Data publikacji:
2021
Wydawca:
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:
architectural diagrams
intuition
deduction
philosophical concepts
knowledge
reasoning
architectural evidence
diagramy architektoniczne
intuicja
dedukcja
koncepcje filozoficzne
wiedza
rozumowanie
dowody architektoniczne
Opis:
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.
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.
Źródło:
Przestrzeń i Forma; 2021, 45; 39-54
1895-3247
2391-7725
Pojawia się w:
Przestrzeń i Forma
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kinetics of the (Zn) - Coating Deposition During Stable and Meta-Stable Solidifications. Part III
Kinetyka osadzania powłoki cynkowej podczas krystalizacji stabilnej i metastabilnej. Część III
Autorzy:
Wołczyński, W.
Kucharska, B.
Garzeł, G.
Sypień, A.
Pogoda, Z.
Okane, T.
Powiązania:
https://bibliotekanauki.pl/articles/353837.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
(Zn)-coatings
Fe-Zn phase diagrams
growth kinetics
kinetics law
powłoka cynkowa
diagramy fazowe Fe-Zn
kinetyka wzrostu
Opis:
Two different steel substrates are applied to the hot dip (Zn) - coating formation. The influence of the substrate composition on the (Zn) - coating thickening is recorded. Morphologies of both coatings are compared to each other. The transition from stable into meta-stable solidification is revealed. The criterion for the competition between stable and meta-stable solidification is applied to justify the analyzed transition.
Zastosowano dwie różne stale jako podłoża dla uzyskania dwu zróżnicowanych powłok (Zn). Dokonano porównania wpływu składu obydwu rodzajów podłoża na kinetykę wzrostu powłok (Zn). Dokonano zestawienia morfologii obydwu powłok. Ujawnione zostało przejście od krystalizacji stabilnej do meta-stabilnej. Zastosowano kryterium współzawodnictwa między krystalizacją stabilną a meta-stabilną dla uzasadnienia analizowanego przejścia.
Źródło:
Archives of Metallurgy and Materials; 2015, 60, 1; 199-207
1733-3490
Pojawia się w:
Archives of Metallurgy and Materials
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Les Rapports annuels du Réseau européen des migrations : Analyse comparée
The Annual Reports of the European Migration Network: A Comparative Analysis
Raporty roczne Europejskiej Sieci Migracyjnej: Analiza porównawcza
Autorzy:
Siletti, Alida
Powiązania:
https://bibliotekanauki.pl/articles/1877147.pdf
Data publikacji:
2019-10-24
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Raporty roczne
European Migration Network (Europejska Sieć Migracyjna)
National Contact Points (Krajowe Punkty Kontaktowe)
diagramy Peirce’a
adresaci
Annual Reports
European Migration Network
National Contact Points
Peircean diagrams
addressees
Opis:
Autorka analizuje sześć Raportów rocznych (Annual Reports, AR) stworzonych przez European Migration Network (EMN), w szczególności dwa ogólne AR (napisane w języku angielskim) i cztery AR oparte na danych francuskich i włoskich National Contact Points (NCP, Krajowe Punkty Kontaktowe) (napisanych odpowiednio w języku francuskim i angielskim). Analiza ma na celu zbadanie, w jaki sposób paratekst, a mianowicie diagramy Peirce’a (mapy, pola i wykresy), nie tylko przyczynia się do lepszego zrozumienia tekstu przez docelową grupę odbiorców w porównaniu z AR, w którym te narzędzia są rzadkie lub w ogóle nie występują, ale przekazują także opinię swoich autorów. Hipoteza, zweryfikowana podczas analizy, opiera się na przekonaniu, że EMN wybiera oficjalne i wiarygodne dane, aby przyciągnąć uwagę opinii publicznej, a więc nie respektuje neutralności, która może dotyczyć oficjalnego sprawozdania instytucji. Jeśli użycie diagramów Peirce’a jest szersze w AR EMN niż w AR NCP, narzędzia te reprezentują wiarygodność instytucji i polityków, którzy mogą być zainteresowani ich odczytaniem, ale są również źródłem autorytetu redaktorów, którzy je piszą. Badania te są oparte na analizie dyskursu eksperckiego i instytucjonalnego (Maingueneau 2002; 2004; Maris 2002; Cussó i Gobin 2008) oraz na jego pragmatycznych wynikach (Bouchard 2015; Espeland 2015). Les Rapports annuels du Réseau européen des migrations : Analyse comparée Cette recherche porte sur six Rapports annuels (RA) du Réseau européen des migrations (REM), dont deux RA de synthèse (rédigés en anglais) et quatre RA élaborés par ses points de contact nationaux (PCN) français et italien (rédigés en français et en anglais, respectivement). Elle analyse comment les outils paratextuels contribuent à l’intelligibilité du texte auprès du public cible par le biais, entre autres, d’une comparaison avec les documents où ces indices sont réduits, voire absents, ainsi qu’à véhiculer le point de vue de leurs auteurs. A partir de la définition de « diagrammes peirciens » (Peirce 1902) et de son application à l’ensemble de graphiques, tableaux, encadrés, diagrammes qui apparaissent dans le texte et dans le cotexte du document principal, nous examinerons ces outils d’intelligibilité et d’autorité auprès de leurs auteurs et de leur cible, représentée par des institutions mais aussi, nous l’inférons, par le grand public. Quant aux RA des PCN français et italiens, on remarquera s’ils présentent des régularités en termes de typologie textuelle — des sections explicatives alternant avec des sections plus descriptives (Adam 2008) — et s’ils recèlent des données communes, mais également s’ils sont en lien avec le RA du REM, dont le but est entre autres de faire une synthèse des RA des PCN. Plus en détail, nous nous intéresserons à l’emploi des diagrammes peirciens : nous formulons ainsi l’hypothèse que, tout en s’agissant de données officielles et fiables, le REM les choisit afin de capter l’attention du public, se détachant ainsi partiellement de l’objectivité qui devrait concerner un RA en tant que compte rendu officiel d’une institution. D’un point de vue fréquentiel, dans les RA de synthèse du REM figurent de nombreux diagrammes peirciens, contrairement aux RA des PCN. Si, en termes de réception, leur présence dans un document officiel tel que le RA de synthèse du REM est un indice de fiabilité et de clarté à l’égard des politiques ou de l’opinion publique qui pourraient le lire, pour ses rédacteurs, les diagrammes peirciens sont un indice d’autorité en raison de la référence à des sources officielles et premières d’où les commentaires aux diagrammes sont tirés. Notre analyse tâchera, entre autres, de vérifier ces hypothèses et remarques préliminaires à l’appui de l’analyse du discours expert et institutionnel (Maingueneau 2002 ; 2004 ; Maris 2002 ; Cussó & Gobin 2008) et de ses implications pragmatiques (Bouchard 2015 ; Espeland 2015).
This research analyses six Annual Reports (AR) written by the European Migration Network, in particular two general AR (written in English) and four AR depending on its French and Italian National Contact Points (written in French and in English, respectively). It aims at studying the way in which paratext — namely Peircean diagrams (maps, boxes and charts) — does not only contribute to a better textual comprehension by the target public as compared with AR in which these tools are rare or lacking, but also convey their authors’ opinion. Our hypothesis, verified during the analysis, consists of inferring that the EMN chooses official and reliable data to catch public’s attention, so not respecting neutrality which may deal with an official report of an institution. If the usage of Peircean diagrams is wider in the EMN AR than in its NCP AR, these tools represent reliability for institutions and politicians who may be interested in reading them, but they are also a source of authority for editors who write them. This research is based on the analysis of expert and institutional discourse (Maingueneau 2002; 2004; Maris 2002; Cussó & Gobin 2008) and on its pragmatic outcomes (Bouchard 2015; Espeland 2015).
Źródło:
Roczniki Humanistyczne; 2019, 67, 5; 121-142
0035-7707
Pojawia się w:
Roczniki Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Migration of Cadmium and Antimony from Zinc Oxide Emitted from a Sintering Machine in Zn and Pb Pyrometallurgical Process into Environment
Możliwość migracji kadmu i antymonu z tlenku cynku pochodzącego z maszyny spiekalniczej pyrometalurgicznego otrzymywania Zn i Pb do środowiska
Autorzy:
Adamczyk, Zdzisław
Nowińska, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/1812067.pdf
Data publikacji:
2019
Wydawca:
Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:
pyrometallurgy
zinc
lead
zinc oxide
cadmium
antimony
Eh-pH diagrams
ground-water environment
pirometalurgia
cynk
ołów
tlenek cynku
kadm
antymon
diagramy Eh-pH
środowisko gruntowo-wodne
Opis:
The pyrometallurgical process of production of zinc and lead realized in The Zinc Smelting Plant "Miasteczko Śląskie" S.A. poses a potential threat to the natural environment. Technologies applied in the process produce toxic pollutants, among which one of the most important is dust which contains Pb, Zn, Cd, As, Sb, Tl, etc. The detailed determination of chemical and mineral compositions of the dust allows to understand its behaviour in the environment and observe migration pathways. The paper presents results of investigations of the migration possibility to the soil and water environment of trace elements cadmium and antimony present in one of the main phases, zinc oxide, emitted with dusts from various operations of pyrometallurgical extraction of Zn and Pb at the Miasteczko Slaskie Zinc Smelting Plant, Poland. The quantity of elements was estimated on the basis of: (i) dust fall, (ii) zinc oxide content in dust, (iii) element content in zinc oxide, and (iv) mobility of zinc oxide under the hypergenic conditions of the soil and water environment of the Smelting Plant area. Among the elements considered, cadmium and antimony emitted with zinc oxide contained in dusts from the Sintering Machine will pose a potential hazard for the soil and water environment of the Miasteczko Slaskie Zinc Smelting Plant area.
Proces pirometalurgicznego otrzymywania cynku i ołowiu metodą Imperial Smelting Process (ISP) stwarza potencjalne zagrożenie dla środowiska naturalnego. Proces technologiczny ISP jest źródłem toksycznych zanieczyszczeń, spośród których jednymi z najważniejszych są pyły zawierające w swym składzie między innymi takie pierwiastki jak Pb, Zn, Cd, As, Sb, Tl. Dokładne poznanie składu chemicznego i mineralnego zanieczyszczeń pyłowych pozwala na określenie ich zachowania się w środowisku, prześledzienie drogi migracji. W pracy przedstawiono wyniki badań możliwości migracji do środowiska gruntowo-wodnego pierwiastków śladowych występujących w jednej z głównych faz – siarczku cynku – emitowanej z pyłami pochodzącymi z różnych odcinków technologicznych pyrometalurgicznego otrzymywania Zn i Pb w Hucie Cynku Miasteczko Śląskie S.A., Polska. Ilość pierwiastków została oszacowana na podstawie: (i) opadu pyłu, (ii) udziału siarczku cynku w pyle, (iii) zawartości pierwiastka w siarczku cynku oraz (iii) mobilności siarczku cynku w warunkach hipergenicznych środowiska gruntowo-wodnego rejonu huty. Potencjalne zagrożenie dla środowiska gruntowo-wodnego rejonu Huty Cynku „Miasteczko Śląskie” S.A., spośród rozpatrywanych pierwiastków, będą stanowić kadm oraz antymon emitowane wraz z siarczkiem cynku zawartym w pyłach Maszyny Spiekalniczej
Źródło:
Rocznik Ochrona Środowiska; 2019, Tom 21, cz. 2; 1307-1317
1506-218X
Pojawia się w:
Rocznik Ochrona Środowiska
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Narzędzia do analizy procesów biznesowych – analiza porównawcza
Tools for analysis of business processes – a comparative analysis
Autorzy:
Janicki, Jakub
Wójcik, Ernest
Powiązania:
https://bibliotekanauki.pl/articles/1837846.pdf
Data publikacji:
2021
Wydawca:
Politechnika Lubelska. Instytut Informatyki
Tematy:
business processes
BPMN
business diagrams
procesy biznesowe
diagramy biznesowe
Opis:
Niniejszy artykuł porusza tematy z zakresu analizy biznesowej, będącej podstawowym elementem funkcjonowania współczesnych organizacji. Celem tej publikacji jest przedstawienie i ocena czterech wybranych narzędzi do modelowania diagramów biznesowych w notacji BPMN. W ramach wprowadzenia do tematu scharakteryzowano procesy biznesowe, zdefiniowano ich analizę, a także przybliżono czytelnikowi notację BPMN i badane narzędzia. Zdefiniowano też metodykę badań i ich przebieg. Następnie przeprowadzone zostały badania zgodnie z przyjętą metodyką. Rezultatem tych prac były wyniki badań razem z analizą. Na koniec podsumowano przeprowadzone pomiary łącznie z wnioskami.
This article discusses topics in the field of business analysis, which is the basic element of the operation of modern organizations. The aim of this publication is to present and evaluate four selected tools for modeling business diagrams in BPMN notation. As part of the introduction to the topic, business processes were characterized, their analysis was defined, and the reader was introduced to the BPMN notation and the tested tools. The research methodology and its course were also defined. Then, the research was carried out in accordance with the adopted methodology. The conclusion of this work was the result of the research together with the analysis. Finally, the conducted experiments were summarized together with conclusions.
Źródło:
Journal of Computer Sciences Institute; 2021, 20; 165-169
2544-0764
Pojawia się w:
Journal of Computer Sciences Institute
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 40

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