Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  application conditions
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
PL
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ść.
EN
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.
PL
Artykuł przedstawia wyniki badań dotyczące skuteczności i trwałości napraw konstrukcji betonowych. Dotyczy napraw, które są wykonane i dojrzewają w niskiej temperaturze dodatniej, w pobliżu 0°C. W tym celu zbadano dwie zaprawy dojrzewające w trzech różnych temperaturach. Na tak wysezonowanych próbkach wykonano badania wytrzymałości na ściskanie i zginanie, absorpcję kapilarną, przyczepność do podłoża oraz głębokość karbonatyzacji. Wyniki badania wykazały istotny wpływ temperatury dojrzewania na charakterystykę badanych produktów.
EN
The paper presents results of research on the effectiveness and durability of the repairs of concrete structures, which are made and cured in low positive temperatures near 0ºC. Two mortars cured at three different temperatures near 0ºC, were tested for this purpose. The compressive and flexural strength, capillary absorption, bond strength, carbonation were investigated after curing. The results of investigation showed the significant impact of curing temperature on the characteristics of tested products.
4
Content available remote Matrix Graph Grammars with Application Conditions
EN
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.
EN
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.
first rewind previous Strona / 1 next fast forward last
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ć.