Modeling of active holonic control systems for intelligent buildings

Building facilities have become important infrastructures for modern productive plants dedicated to services. In this context, the control systems of intelligent buildings have evolved while their reliability has evidently improved. However, the occurrence of faults is inevitable in systems conceived, constructed and operated by humans. Thus, a practical alternative approach is found to be very useful to reduce the consequences of faults. Yet, only few publications address intelligent building modeling processes that take into consideration the occurrence of faults and how to manage their consequences. In the light of the foregoing, a procedure is proposed for the modeling of intelligent building control systems, considersing their functional specifications in normal operation and in the of the event of faults. The proposed procedure adopts the concepts of discrete event systems and holons, and explores Petri nets and their extensions so as to represent the structure and operation of control systems for intelligent buildings under normal and abnormal situations. (C) 2012 Elsevier B.V. All rights reserved.

Evaluating links through spectral decomposition

Spectral decomposition has rarely been used to investigate complex networks. In this work we apply this concept in order to define two kinds of link-directed attacks while quantifying their respective effects on the topology. Several other kinds of more traditional attacks are also adopted and compared. These attacks had substantially diverse effects, depending on each specific network (models and real-world structures). It is also shown that the spectrally based attacks have special effects in affecting the transitivity of the networks.

On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

U-Pb zircon ages of orthogneisses and supracrustal rocks of the Cariris Velhos belt: Onset of Neoproterozoic rifting in the Borborema Province, NE Brazil

New geochronological and geochemical constraints on Precambrian sedimentary and volcanic successions exposed in the western part of the Central Domain of the Borborema Province, NE Brazil, indicate the presence of two distinct tectono-stratigraphic complexes: Riacho Gravata and Sao Caetano. Both complexes and associated orthogneisses are referred in the literature as the Cariris Velhos belt, having depositional, extrusive, or intrusive ages within the interval 985-913 Ma. The Riacho Gravata complex consists of bimodal (but mostly felsic) volcanic and volcanoclastic rocks, muscovite+/-graphite schists, quartzites, and marble with local occurrences of banded-iron-formation. The Sao Caetano complex mainly consists of metagreywackes, marbles, calc-silicate rocks, and rare meta-mafic rocks. Meta-mafic rocks from both complexes have geochemical signatures similar to those of continental flood basalts, with epsilon Nd (1.0 Ga) values ranging from -1.0 to -2.8. Felsic volcanic rocks from the Riacho Gravata complex show epsilon Nd (1.0 Ga) values ranging from -1.0 to -7.4 and geochemical signatures similar to A(2)-type granitoids. New SHRIMP U-Pb zircon data from felsic volcanic rocks within the Riacho Gravata complex yielded ages of 1091 +/- 13 Ma and 996 +/- 13 Ma. In contrast, meta-graywackes from the Sao Caetano complex show a maximum deposition age of ca. 806 Ma in the northern part and ca. 862 Ma in the southern part of the outcrop area. The orthogneisses show epsilon Nd (1.0 Ga) values ranging from 1.0 to -4.2 with U/Pb TIMS and SHRIMP ages ranging from 960 to 926 Ma and geochemical signatures of A(2)-type granitoids. The data reported in this paper suggest at least two periods of extension within the Central Domain of the Borborema Province, the first starts ca. 1091 Ma with magmatism and deposition, creating the Riacho Gravata basin and continued intrusion of A-type granites to 920 Ma. A second rift event, which reactivated old faults, generated a basin with a maximum deposition age of ca. 806 Ma. Furthermore, the oldest granitoids cutting these metasedimentary rocks have crystallization ages of ca. 600 Ma. This suggests that the second rift event could be early Brasiliano in age. The resulting Sao Caetano basin received detritus from a variety of sources, although detritus from the Riacho Gravata complex dominated. Deposition ages of the Riacho Gravata and the Sao Caetano complexes are coeval with deposits in other basins of the Borborema Province (Riacho do Tigre in the Central Domain; Macurure and Maranco in the Sergipano Belt of the Southern domain). The Macaubas Group from SE Brazil and its counterparts in Africa, the Zadanian and Mayumbian Groups, in the western edge of the Congo Craton are also coeval. Closure of the Riacho Gravata and Sao Caetano basins occurred during the Brasiliano convergence (705-600 Ma). During the last stage of convergence, ca. 612 Ma, pull-apart basins were created and filled; final basin closure took place 605-592 Ma, after deposition ceased. (C) 2011 Elsevier B.V. All rights reserved.

A comparison for a multiscale study of structural lineaments in southern Brazil: LANDSAT-7 ETM+ and shaded relief images from SRTM3-DEM

This paper presents a comparison of descriptive statistics obtained for brittle structural lineaments extracted manually from LANDSAT images and shaded relief images from SRTM 3 DEM at 1:100, 000 and 1:500, 000 scales. The selected area is located in the southern of Brazil and comprises Precambrian rocks and stratigraphic units of the Paraná Basin. The application of this methodology shows that the visual interpretation depends on the kind of remote sensing image. The resulting descriptive statistics obtained for lineaments extracted from the images do not follow the same pattern according to the scale adopted. The main direction obtained for Proterozoic rocks using both image types at a 1:500, 000 scale are close to NS±10, whereas at a 1:100, 000 scale N45E was obtained for shaded relief images from SRTM 3 DEM and N10W for LANDSAT images. The Paleozoic sediments yielded the best results for the different images and scales (N50W). On the other hand, the Mesozoic igneous rocks showed greatest differences, the shaded relief images from SRTM 3 DEM images highlighting NE structures and the LANDSAT images highlighting NW structures. The accumulated frequency demonstrated high similarity between products for each image type no matter the scale, indicating that they can be used in multiscale studies. Conversely, major differences were found when comparing data obtained using shaded relief images from SRTM 3 DEM and Landsat images at a 1:100, 000 scale.

Does carbohydrate supplementation enhance tennis match play performance?

Abstract Background Carbohydrate (CHO) ingestion may be an interesting approach to avoid significant decrement to the tennis match performance. The aim of the present investigation was to assess the effects of CHO supplementation on tennis match play performance. Methods Twelve young tennis players (18.0 ± 1.0 years; 176 ± 3.4 cm; 68.0 ± 2.3 kg; body fat: 13.7 ± 2.4%) with national rankings among the top 50 in Brazil agreed to participate in this study, which utilized a randomized, crossover, double blind research design. The experiment was conducted over a 5-day period in which each player completed two simulated tennis matches of a 3-hour duration. The players received either a CHO or a placebo (PLA) drinking solution during simulated tennis matches. Athlete’s performance parameters were determined by filming each match with two video cameras. Each player was individually tracked for the entire duration of the match to measure the following variables: (1) games won; (2) rally duration; (3) strokes per rally; (4) effective playing time (%); (5) aces; (6) double faults; (7) first service in; (8) second service in; (9) first return in and (10) second return in. Results There were no differences between trials in any of the variables analyzed. Conclusions CHO supplementation did not improve tennis match play performance under the present experimental conditions.

Multi-objective evolutionary algorithm for single and multiple fault service restoration in large-scale distribution systems

Network reconfiguration for service restoration (SR) in distribution systems is a complex optimization problem. For large-scale distribution systems, it is computationally hard to find adequate SR plans in real time since the problem is combinatorial and non-linear, involving several constraints and objectives. Two Multi-Objective Evolutionary Algorithms that use Node-Depth Encoding (NDE) have proved able to efficiently generate adequate SR plans for large distribution systems: (i) one of them is the hybridization of the Non-Dominated Sorting Genetic Algorithm-II (NSGA-II) with NDE, named NSGA-N; (ii) the other is a Multi-Objective Evolutionary Algorithm based on subpopulation tables that uses NDE, named MEAN. Further challenges are faced now, i.e. the design of SR plans for larger systems as good as those for relatively smaller ones and for multiple faults as good as those for one fault (single fault). In order to tackle both challenges, this paper proposes a method that results from the combination of NSGA-N, MEAN and a new heuristic. Such a heuristic focuses on the application of NDE operators to alarming network zones according to technical constraints. The method generates similar quality SR plans in distribution systems of significantly different sizes (from 3860 to 30,880 buses). Moreover, the number of switching operations required to implement the SR plans generated by the proposed method increases in a moderate way with the number of faults.

Upper crustal earthquake swarms in São Caetano: reactivation of the Pernambuco shear zone and trending branches in intraplate Brazil

Seismogenic fault reactivation of continental-scale structures has been observed in a few intraplate areas, but its cause is still amatter of debate. The objective of the present study is to analyze two seismic swarms that occurred along the EW-trending Pernambuco ductile shear zone and in a NE-trending branch, in 2007 and 2010 in São Caetano County, Northeastern Brazil.We studied both epicentral areas using a nine- and a seven-station network during 180 and 54 days, respectively. The results indicate that the 2007 swarm correspond to a right-lateral, strike–slip fault with a normal component of slip (strike 74°, dip 60°, and rake−145°) and the 2010 swarmcorresponds to a normal fault (strike 265°, dip 79°, and rake −91°). The former reactivated a NE-trending branch, whereas the latter reactivated the main E-W-trending mylonitic belt of the Pernambuco shear zone. These results are consistent with seismogenic reactivation of this major structure, generated by the present-day EW-trending compression and NS-trending extension, as observed by previous studies. This shear zone was reactivated as rift faults in the Cretaceous during the South America–Africa breakup. However, our study confirms that the basement fabric such as continental-scale ductile shear zones, show evidence of crustal weakness outside areas of previous rifting, and it reveals the potential for large earthquakes along dormant rift segments associated with major basement shear belts.

Programmable logic design of a compact Genetic Algorithm for phasor estimation in real-time

The main objective of this work is to present an efficient method for phasor estimation based on a compact Genetic Algorithm (cGA) implemented in Field Programmable Gate Array (FPGA). To validate the proposed method, an Electrical Power System (EPS) simulated by the Alternative Transients Program (ATP) provides data to be used by the cGA. This data is as close as possible to the actual data provided by the EPS. Real life situations such as islanding, sudden load increase and permanent faults were considered. The implementation aims to take advantage of the inherent parallelism in Genetic Algorithms in a compact and optimized way, making them an attractive option for practical applications in real-time estimations concerning Phasor Measurement Units (PMUs).

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

Evolución geomorfológica del Macizo Hespérico peninsular:estudio de un sector comprendido entre las provincias de Lugo y Ourense (Galicia, NW de España)

[EN] This paper deals with the relief generation in Ourense, an interior territory of the Galicia Country, at NW Spain, after the breakdown of Pangea 200 million years ago. The rupture of supercontinent causes the main effects in the outer part of Galicia, the present coast line and the shelf, but also the inner parts of Galicia where the landscape changes dramatically mainly ruled by fluvial incision connected with uprising, (orogenic, epirogenic, or isostatic origin), or even with eustatic oscillations, that shaped the previous old mesozoic landscape. Various things complicate the correct understanding of Galician geomorphology:1) the prevalent hercynian structure, (presumably reactivated during the Alpine Orogeny), causes that the epigenic processes, (fluvial, glaciar, marine and etching), acting on Galicia from Mesozoic to present times, produce end forms identified erroneously at the previous literature as tectonic and not as etch forms profiting from lithological or structural contrasts. 2) the common morphotectonic model accepted by all previous researchers establishes for the whole of Galicia a blocky pattern, (horst and graben like), due to extensional tectonic regime. This model is proved as no longer valid because the Galician tertiary basins, even were described at the past as graben depressions never have this origin. 3) big differences exist between the north and western sides of Galicia that show contrasted tectonic regime: compressional (with forms as the so called raised platforms), at the northern coast border, and extensional (with forms so typical as the Rias), at the western side. The study area is located at the confluence of two tectonic domains where the above mentioned effects are coincidents and specially well showed through different effects: prominent assimetry of fluvial captures (west facing), pronounced river incision and different kinds of tertiary basins: either strike slipe faults (Maceda, Xinzo de Limia, etc), or overslipped by inverse faults, (Quiroga, A Rúa, etc.), or even corresponding with depressions never, (or anywise passively), affected by tectonic movements, (Monforte). The paper include a detailed inventory of surfaces and terrace levels and their incision sequence which allow stablish a relative chronology of geomorphic evolution at this area of NW Spain during meso-cainozoic times.

Morphogenesis of the Ourense plains:(NW of Spain)

[EN] We present a geomorphological analysis of Ourense Province (NW Spain) characterized by: a general narrowing of the fluvial network, highlands with smooth reliefs partially eroded and lowlands with residual reliefs, several extensive plains of erosion frequently limited by fractures -among which Tertiary grabens are inserted-, some ?Hollow Surface?-type morphology, absence of sedimentary deposits outside the grabens, and a generalized outcrop of the Hercynian Massif substratum. Traditionally, this ?piano?s keyboard morphology? has been interpreted as expression of block tectonics in tensile regimen; instead we suggest the existence of: an isostatic upheaval simultaneous to a sequence of tectonic pulses of compressive regimen with activity in favour of transcurrent faults, a General Surface (R600), several plains that present a ?Hollow Surface?-type morphology (R1600 R1400 R1000), a generalized alteration that correspond to a same process of decomposition associated to fluctuating conditions of redox equilibrium, a erosional terraces related principaly to the palaeo-fluvial nets; moreover, we propose the existence of two morphoestructural lineament: the first one represented by the Fault of Vila Real (NE-SW) -a ramification of the ?Basal Pyrenean Overthrust?-, that would have been active at an early moment of the tectonic sequence with a left transcurrent fault, secondly the lineament represented by the Fault of Maceda (NNW-SSE) that would be related to the ?Fault System NW-SE? and would have produced a right transcurrent fault during a late tectonic pulse.

Sul rinforzo di elementi in C.A.: confronto tra varie normative

Il documento pre-normativo italiano sul rinforzo di strutture in c.a. mediante l’uso di materiale fibrorinforzato. 1.1 INTRODUZIONE La situazione unica dell’Italia per quanto riguarda la conservazione delle costruzioni esistenti, è il risultato della combinazione di due aspetti, come primo, il medio-alto rischio sismico di una gran parte di territorio, come testimoniato dalla zonizzazione sismica recente, e come secondo aspetto, l'estrema complessità di un ambiente edilizio che non ha confronto nel mondo. Le tipologie della costruzione in Italia si distinguono a quelle stimate come patrimonio storico, che in alcuni casi risalgono a circa 2000 anni fa, a quelle che sono state costruite in ultimi cinque secoli, durante e dopo il Rinascimento, che sono considerate come patrimonio culturale ed architettonico dell' Italia (e del mondo!), infine a quelle fatte in tempi recenti, considerevolmente durante e dopo il boom economico del l960 ed ora visti come antiquate. Le due prime categorie in gran parte sono composte dalle edilizie di muratura, mentre agli ultimi principalmente appartengono le costruzioni di cemento armato.

Estimating crustal deformation from geodetic data

By the end of the 19th century, geodesy has contributed greatly to the knowledge of regional tectonics and fault movement through its ability to measure, at sub-centimetre precision, the relative positions of points on the Earth’s surface. Nowadays the systematic analysis of geodetic measurements in active deformation regions represents therefore one of the most important tool in the study of crustal deformation over different temporal scales [e.g., Dixon, 1991]. This dissertation focuses on motion that can be observed geodetically with classical terrestrial position measurements, particularly triangulation and leveling observations. The work is divided into two sections: an overview of the principal methods for estimating longterm accumulation of elastic strain from terrestrial observations, and an overview of the principal methods for rigorously inverting surface coseismic deformation fields for source geometry with tests on synthetic deformation data sets and applications in two different tectonically active regions of the Italian peninsula. For the long-term accumulation of elastic strain analysis, triangulation data were available from a geodetic network across the Messina Straits area (southern Italy) for the period 1971 – 2004. From resulting angle changes, the shear strain rates as well as the orientation of the principal axes of the strain rate tensor were estimated. The computed average annual shear strain rates for the time period between 1971 and 2004 are γ˙1 = 113.89 ± 54.96 nanostrain/yr and γ˙2 = -23.38 ± 48.71 nanostrain/yr, with the orientation of the most extensional strain (θ) at N140.80° ± 19.55°E. These results suggests that the first-order strain field of the area is dominated by extension in the direction perpendicular to the trend of the Straits, sustaining the hypothesis that the Messina Straits could represents an area of active concentrated deformation. The orientation of θ agree well with GPS deformation estimates, calculated over shorter time interval, and is consistent with previous preliminary GPS estimates [D’Agostino and Selvaggi, 2004; Serpelloni et al., 2005] and is also similar to the direction of the 1908 (MW 7.1) earthquake slip vector [e.g., Boschi et al., 1989; Valensise and Pantosti, 1992; Pino et al., 2000; Amoruso et al., 2002]. Thus, the measured strain rate can be attributed to an active extension across the Messina Straits, corresponding to a relative extension rate ranges between < 1mm/yr and up to ~ 2 mm/yr, within the portion of the Straits covered by the triangulation network. These results are consistent with the hypothesis that the Messina Straits is an important active geological boundary between the Sicilian and the Calabrian domains and support previous preliminary GPS-based estimates of strain rates across the Straits, which show that the active deformation is distributed along a greater area. Finally, the preliminary dislocation modelling has shown that, although the current geodetic measurements do not resolve the geometry of the dislocation models, they solve well the rate of interseismic strain accumulation across the Messina Straits and give useful information about the locking the depth of the shear zone. Geodetic data, triangulation and leveling measurements of the 1976 Friuli (NE Italy) earthquake, were available for the inversion of coseismic source parameters. From observed angle and elevation changes, the source parameters of the seismic sequence were estimated in a join inversion using an algorithm called “simulated annealing”. The computed optimal uniform–slip elastic dislocation model consists of a 30° north-dipping shallow (depth 1.30 ± 0.75 km) fault plane with azimuth of 273° and accommodating reverse dextral slip of about 1.8 m. The hypocentral location and inferred fault plane of the main event are then consistent with the activation of Periadriatic overthrusts or other related thrust faults as the Gemona- Kobarid thrust. Then, the geodetic data set exclude the source solution of Aoudia et al. [2000], Peruzza et al. [2002] and Poli et al. [2002] that considers the Susans-Tricesimo thrust as the May 6 event. The best-fit source model is then more consistent with the solution of Pondrelli et al. [2001], which proposed the activation of other thrusts located more to the North of the Susans-Tricesimo thrust, probably on Periadriatic related thrust faults. The main characteristics of the leveling and triangulation data are then fit by the optimal single fault model, that is, these results are consistent with a first-order rupture process characterized by a progressive rupture of a single fault system. A single uniform-slip fault model seems to not reproduce some minor complexities of the observations, and some residual signals that are not modelled by the optimal single-fault plane solution, were observed. In fact, the single fault plane model does not reproduce some minor features of the leveling deformation field along the route 36 south of the main uplift peak, that is, a second fault seems to be necessary to reproduce these residual signals. By assuming movements along some mapped thrust located southward of the inferred optimal single-plane solution, the residual signal has been successfully modelled. In summary, the inversion results presented in this Thesis, are consistent with the activation of some Periadriatic related thrust for the main events of the sequence, and with a minor importance of the southward thrust systems of the middle Tagliamento plain.

Development and characterization of a distributed measurement system for the evaluation of voltage quality in electric power networks

The research activity carried out during the PhD course in Electrical Engineering belongs to the branch of electric and electronic measurements. The main subject of the present thesis is a distributed measurement system to be installed in Medium Voltage power networks, as well as the method developed to analyze data acquired by the measurement system itself and to monitor power quality. In chapter 2 the increasing interest towards power quality in electrical systems is illustrated, by reporting the international research activity inherent to the problem and the relevant standards and guidelines emitted. The aspect of the quality of voltage provided by utilities and influenced by customers in the various points of a network came out only in recent years, in particular as a consequence of the energy market liberalization. Usually, the concept of quality of the delivered energy has been associated mostly to its continuity. Hence the reliability was the main characteristic to be ensured for power systems. Nowadays, the number and duration of interruptions are the “quality indicators” commonly perceived by most customers; for this reason, a short section is dedicated also to network reliability and its regulation. In this contest it should be noted that although the measurement system developed during the research activity belongs to the field of power quality evaluation systems, the information registered in real time by its remote stations can be used to improve the system reliability too. Given the vast scenario of power quality degrading phenomena that usually can occur in distribution networks, the study has been focused on electromagnetic transients affecting line voltages. The outcome of such a study has been the design and realization of a distributed measurement system which continuously monitor the phase signals in different points of a network, detect the occurrence of transients superposed to the fundamental steady state component and register the time of occurrence of such events. The data set is finally used to locate the source of the transient disturbance propagating along the network lines. Most of the oscillatory transients affecting line voltages are due to faults occurring in any point of the distribution system and have to be seen before protection equipment intervention. An important conclusion is that the method can improve the monitored network reliability, since the knowledge of the location of a fault allows the energy manager to reduce as much as possible both the area of the network to be disconnected for protection purposes and the time spent by technical staff to recover the abnormal condition and/or the damage. The part of the thesis presenting the results of such a study and activity is structured as follows: chapter 3 deals with the propagation of electromagnetic transients in power systems by defining characteristics and causes of the phenomena and briefly reporting the theory and approaches used to study transients propagation. Then the state of the art concerning methods to detect and locate faults in distribution networks is presented. Finally the attention is paid on the particular technique adopted for the same purpose during the thesis, and the methods developed on the basis of such approach. Chapter 4 reports the configuration of the distribution networks on which the fault location method has been applied by means of simulations as well as the results obtained case by case. In this way the performance featured by the location procedure firstly in ideal then in realistic operating conditions are tested. In chapter 5 the measurement system designed to implement the transients detection and fault location method is presented. The hardware belonging to the measurement chain of every acquisition channel in remote stations is described. Then, the global measurement system is characterized by considering the non ideal aspects of each device that can concur to the final combined uncertainty on the estimated position of the fault in the network under test. Finally, such parameter is computed according to the Guide to the Expression of Uncertainty in Measurements, by means of a numeric procedure. In the last chapter a device is described that has been designed and realized during the PhD activity aiming at substituting the commercial capacitive voltage divider belonging to the conditioning block of the measurement chain. Such a study has been carried out aiming at providing an alternative to the used transducer that could feature equivalent performance and lower cost. In this way, the economical impact of the investment associated to the whole measurement system would be significantly reduced, making the method application much more feasible.