Wyniki wyszukiwania - BazTech

1

A Development Methodology for Cyber-Physical Systems based on Deterministic Theatre with Hybrid Actors

Cicirello Franco, Nigro Libero

TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk

|

2021

|

Vol. 25, No 2

233--260

EN

The goal of the work described in this paper is to propose a development approach for cyber-physical systems (CPS) which relies on actors as the fundamental modelling blocks. The approach is characterized by its capability to deal with the discrete aspects of the cyber part of a CPS, as well as the continuous behaviour of the physical part. More in particular, the approach is based on the Theatre actor system which fosters determinism in model behaviour, and favours model continuity when switching from system modelling and analysis down to prototype and synthesis phases. A key factor of Theatre is the possibility to combine both discrete-event actors, which operate on a discrete timeline, with continuous-time actors which reproduce, in general by using Ordinary Differential Equations (ODEs), the dynamical evolution of physical components. For formal property assessment, Theatre actors (both discrete and continuous) can be reduced to Timed Automata (TA) in the context of the Uppaal toolbox, where the exhaustive andór the statistical model checkers can be exploited. This paper first describes the proposed approach, then it demonstrates its suitability to CPS modelling and analysis through examples. The paper also discusses how abstract and formal modelling actor concepts can be naturally transitioned to implementation concepts in Java.

2

Koszty alternatywne w szacowaniu wartości decyzji – demagogia sieci

Kowalska-Napora E.

Logistyka

|

2017

|

nr 4

58--60

PL

Artykuł wpisuje się w nurt badań, których celem jest znalezienie odpowiedzi na pytanie, czy istnieje możliwość przewidzenia przyszłej wartości decyzji, opcji wyboru, kosztów alternatywnych. Wyniki badań przedstawione w artykule mogą mieć znaczenie poznawcze i aplikacyjne w teorii decyzji.

EN

This paper becomes a part of wider discussion on efficiency of value decision, level of oportunity cost. Those results complement the discussion abom the sources of this decision anomaly and ability to make a practical use of those project. The literature review covers price momentum, persistence of performance, and effictient strategic hypothesis. The conclusions consist of summary, the possible explanation for results and ideas for theory of decision.

3

Concept of uncertainty in relation to the foresight research

Magruk A.

Engineering Management in Production and Services

|

2017

|

Vol. 9, no. 1

46--55

EN

Uncertainty is one of the most important features of many areas of social and economic life, especially in the forward-looking context. On the one hand, the degree of uncertainty is associated with the objective essence of randomness of the phenomenon, and on the other, with the subjective perspective of a man. Futureoriented perception of human activities is laden with an incomplete specificity of the analysed phenomena, their volatility, and lack of continuity. A man is unable to determine, with complete certainty, the further course of these phenomena. According to the author of this article, in order to significantly reduce the uncertainty while making strategic decisions in a complex environment, we should focus our actions on the future through systemic research of foresight. This article attempts to answer the following research questions: 1) What is the relationship between foresight studies in the system perspective to studies of the uncertainty? 2) What classes of foresight methods enable the research of uncertainty in the process of system inquiry of the future? This study conducted deductive reasoning based on the results of the analysis methods and criticism of literature.

4

On State-Synchronized Automata Systems

Meduna A., Kučera J.

Schedae Informaticae

|

2015

|

Vol. 24

221--237

EN

In this paper, we introduce a new kind of automata systems, called state-synchronized automata systems of degree n. In general, they consists of n pushdown automata, referred to as their components. These systems can perform a computation step provided that the concatenation of the current states of all their components belongs to a prescribed control language. As its main result, the paper demonstrates that these systems characterize the family of recursively enumerable languages. In fact, this characterization is demostrated in both deterministic and nondeterministic versions of these systems. Restricting their components, these systems provides less computational power.

5

Nieliniowa analiza dynamiki potoku Poniczanka

Kędra M.

Czasopismo Techniczne. Środowisko

|

2012

|

R. 109, z. 2-Ś

161--175

PL

W artykule przeprowadzono nieliniową analizę dynamiki górskiego potoku Poniczanka. Dokonana została weryfikacja rodzaju wykrytego determinizmu oraz ocena złożoności dynamiki przepływu wraz z określeniem jej efektywnej liczby stopni swobody. Oszacowano również poziom szumu losowego. Uzyskane informacje będą przydatne przy wyborze odpowiedniego modelu prognostycznego przepływu Poniczanki.

EN

In the paper nonlinear analysis of the Poniczanka Creek dynamics was conducted. Verification of the detected determinism type and the assessment of complexity of the discharge dynamics was carried out together with the evaluation of its effective number of degrees of freedom. Noise level was also estimated. The obtained information is going to be useful for selection of the appropriate predictive model for Poniczanka discharge.

6

Badanie determinizmu układów płytowych z zastosowaniem metody diagramów rekurencyjnych

Iwaniec J.

Modelowanie Inżynierskie

|

2011

|

T. 11, nr 42

163-170

PL

W pracy przedstawiono zagadnienia dotyczące badania determinizmu układów mechanicznych z zastosowaniem metody diagramów rekurencyjnych, której istotą jest wizualizacja rekurencyjności stanów badanych układów w przestrzeni fazowej. Metodę zastosowano do badania własności płyt aluminiowych: płyty nieuszkodzonej i płyty z pęknięciem, wzbudzanych do drgań za pomocą sygnałów harmonicznych o częstotliwościach pierwszej, trzeciej i szóstej postaci drgań własnych badanych płyt.

EN

The paper concerns research into determinism of mechanical systems with the use of the Recurrence Plots method. There are presented the results of Recurrence Plots method application to the research into properties of two aluminium plates (undamaged and cracked). The plates were excited to vibrations with the use of harmonic exciting signals of frequencies corresponding to the frequencies of their first, third and sixth natural mode shapes.

7

Deterministic and Unambiguous Families within Recognizable Two-dimensional Languages

Anselmo M., Giammarresi D., Madonia M.

Fundamenta Informaticae

|

2010

|

Vol. 98, nr 2/3

143-166

EN

Recognizable two-dimensional languages (REC) are defined by tiling systems that generalize to two dimensions non-deterministic finite automata for strings. We introduce the notion of deterministic tiling system and the corresponding family of languages (DREC) and study its structural and closure properties. Furthermore we show that, in contrast with the one-dimensional case, there exist other classes between deterministic and non-deterministic families that we separate by means of examples and decidability properties.

8

Analiza natury (deterministycznej/losowej) przepływu dobowego w zlewni Raby z wykorzystaniem diagramów rekurencyjnych

Kędra M.

Czasopismo Techniczne. Środowisko

|

2009

|

R. 106, z. 2-Ś

41-62

PL

W artykule badano proces zmienności dobowej przepływu w zlewni rzeki Raby. Dane obejmujące 11 dwunastoletnich ciągów dobowych przepływów z lat 1961-2002 poddano ilościowej analizie rekurencji w celu określenia jej wartości charakterystycznych. Wyniki dokonanej analizy potwierdzają deterministyczną, nielosową naturę procesu przepływu w zlewni Raby w badanych przedziałach czasowych.

EN

In the paper a variability process of daily flow in Raba river basin was investigated. The recurrence quantification analysis based on 11 twelve years' series of daily flow from 1961 till 2002 was carried out. The results of RQA confirm the deterministic, not random nature of discharge process in Raba river basin over the investigated periods of time.

9

Zastosowanie statystycznego testu SSS do zidentyfikowania istnienia krótkoterminowej dynamiki w przepływach dobowych zlewni rzeki Raby

Kędra M.

Czasopismo Techniczne. Środowisko

|

2008

|

R. 105, z. 1-Ś

25-39

PL

W artykule badano dobową zmienność procesu przepływu rzeką w zlewni Raby w celu określenia jego deterministycznej bądź losowej natury. Na podstawie szeregów czasowych przepływów dobowych dla posterunków na cieku głównym i dopływach przeprowadzono test statystyczny SSS. Jego wyniki uzyskane dla wszystkich rozważanych przekrojów wodowskazowych wskazują na istnienie krótkoterminowej dynamiki potwierdzającej nielosową, deterministyczną naturę badanego procesu przepływu.

EN

In the paper deterministic or stochastic nature of daily flow in the Raba river catchment was investigated. The statistical test SSS was based on the series of daily flows from gauging stations in Raba basin. The results of the test obtained for all cross-sections show that there is short-term dynamics in irregular fluctuations of flow, so the determinism was detected by this test.

10

Simple Gene Assembly Is Deterministic

Langille M., Petre I.

Fundamenta Informaticae

|

2006

|

Vol. 73, nr 1-2

179-190

EN

We investigate in this paper a simple intramolecular model for gene assembly in ciliates. Unlike the general intramolecular model, the folds that a micronuclear chromosome may form to assemble the genes is very restricted (minimal) here: between any two pointers there may be at most one coding block. It has been known that the general model is universal, being able to assemble any gene pattern (to sort any signed permutation). The simple model on the other hand is not universal: there exist signed permutations that cannot be sorted in this model. Remarkably though, all known micronuclear gene patterns in ciliates can indeed be assembled in the simple model. We prove in this paper that while the general model is non-deterministic, the simple model is ``weakly deterministic'': any gene pattern either has only successful or only unsuccessful sorting strategies. Moreover, although different strategies may lead to different permutations for the same input, these final results have the same structure.