This paper investigates the experimental response of composite reinforced concrete with GFRP and steel I-sections under limited cycles repeated load. The practical work included testing four beams. A reference beam, two beams pultruded I-sections, a beam I-beam were subjected to loading. loading test started by gradually up maximum 75% ultimate static failure load for five unloading cycles. Aft...

A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors.In a recent paper, an algebra of stateless connectors was presented that consists of fivekinds of basic connectors, namely symmetry, synchronization, mutual exclusion, hidingand inaction, plus their duals, and it wa...

We develop a notion of higher-order connector towards supporting the systematic construction of architectural connectors for software design. A higherorder connector takes connectors as parameters and allows for services such as security protocols and fault-tolerance mechanisms to be superposed over the interactions that are handled by the connectors passed as actual arguments. The notion is fi...

In this research, experimental and numerical studies were carried out to investigate the performance of encased glass-fiber-reinforced polymer (GFRP) beams under fire. The test specimens divided into two peer groups be tested effect ambient elevated temperatures. first group was statically monotonic behavior specimens. second exposed fire loading then explore residual burned Adding shear connec...

Abstract This paper investigates the influence of typical gravity connections on seismic demands steel concentrically braced frame (CBF) buildings with friction dampers as dissipative floor connectors. The investigated include (i) shear tab, (ii) clip angle, (iii) flush end‐plate and (iv) tab bottom T‐stub. It is shown that behavior framing system (GFS) practically insensitive to connection typ...

An (n,N, d)–connector is an acyclic digraph with n inputs and N outputs in which for any injective mapping of input vertices into output vertices there exist n vertex disjoint paths of length d joining each input to its corresponding output. We consider the problem of construction of sparse (n,N, 2)–connectors (depth 2 connectors) when n N . The probabilistic argument in [1] shows the existence...

Over the past years, the need for high-confidence coordinationmechanisms has intensified as new technologies have appeared for the development of service-oriented applications, making formalization of coordination mechanisms critical. Unifying Theories of Programming (UTP) provide a formal semantic foundation not only for programming languages but also for various expressive specification langu...

Recently, a vast amount of research eeorts are made to derive a higher-level abstraction mechanism than the class abstraction in object-oriented languages. Notable examples include the research activities on software architectures and component-based software development. Of these, software architectures allow us to focus on the issue of software connectors, which are used to describe interacti...

In this paper, we present an integrated structural and behavioral model of Reo connectors and Petri nets, allowing a direct comparison of the two concurrency models. For this purpose, we introduce a notion of connectors which consist of a number of interconnected, user-defined primitives with fixed behavior. While the structure of connectors resembles hypergraphs, their semantics is given in te...