Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: application conditions

Sortuj według:

Ogranicz wyniki do:

Matrix Graph Grammars with Application Conditions

100%

Velasco P. P. P.

2010

tom Vol. 99, nr 1

29-62

In the Matrix approach to graph transformation we represent simple digraphs and rules with Boolean matrices and vectors, and the rewriting is expressed using Boolean operators only. In previous works, we developed analysis techniques enabling the study of the applicability of rule sequences, their independence, state reachability and the minimal graph able to fire a sequence. In the present paper we improve our framework in two ways. First, we make explicit (in the form of a Boolean matrix) some negative implicit information in rules. This matrix (called nihilation matrix) contains the elements that, if present, forbid the application of the rule (i.e. potential dangling edges, or newly added edges, which cannot be already present in the simple digraph). Second, we introduce a novel notion of application condition, which combines graph diagrams together with monadic second order logic. This allows for more flexibility and expressivity than previous approaches, as well as more concise conditions in certain cases. We demonstrate that these application conditions can be embedded into rules (i.e. in the left hand side and the nihilation matrix), and show that the applicability of a rule with arbitrary application conditions is equivalent to the applicability of a sequence of plain rules without application conditions. Therefore, the analysis of the former is equivalent to the analysis of the latter, showing that in our framework no additional results are needed for the study of application conditions. Moreover, all analysis techniques of [21, 22] for the study of sequences can be applied to application conditions.

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures

86%

Ehrig H. , Ehrig K. , Habel A. , Pennemann K.-H.

tom Vol. 74, nr 1

135-166

Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different approaches have been presented in the literature already there is no adequate theory up to now which can be applied to different kinds of graphs and high-level structures. In this paper, we introduce a general notion of graph constraints and application conditions and show under what conditions the basic results can be extended from graph transformation to high-level replacement systems. In fact, we use the new framework of adhesive HLR categories recently introduced as combination of HLR systems and adhesive categories. Our main results are the transformation of graph constraints into right application conditions and the transformation from right to left application conditions in this new framework. The transformations are illustrated by a railroad control system with rail net constraints and application conditions.

Komentarz do warunków stosowania połączeń w zbiornikach żelbetowych wg Aneksu N w PN-EN 1992-3

58%

Zych M.

2018

tom R. 89, nr 2

32--35

W niniejszym artykule skomentowano postanowienia PN-EN 1992-3 w zakresie stosowania połączeń ruchomych w aspekcie oddziaływań wymuszonych i kontroli zarysowania. Opisano podstawowe założenia, które należy przyjmować w różnych wariantach projektowania połączeń pozwalających na częściowe skrócenie termiczne betonu. Wyznaczono rozkłady stopnia skrępowania Rax dla przypadku segmentu ściany zabetonowanej pomiędzy wcześniej wykonanymi segmentami, w połączeniu których uwzględniono różną sztywność.

The article presents a commentary of provisions contained in PN-EN 1992-3 in the scope of application of moveable connections in the aspect of forced influences and tight crack control. The article describes basic assumptions which need to be made in different variants of designing of connections allowing for partial thermal shortening of concrete. Distributions of level of restraint (Rax) have been outlined for the case of a segment of a concreted wall between previously created segments, in connection of which different stiffness has been considered.