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.
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.
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.