n this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet model and automatically have the data co-evolved. The bidirectional component achieves precisely the inverse, that is, to evolve the data and automatically obtain a new model to which the data conforms.

Spreadsheets play an important role in software organizations. Indeed, in large software organizations, spreadsheets are not only used to define sheets containing data and formulas, but also to collect information from different systems, to adapt data coming from one system to the format required by another, to perform operations to enrich or simplify data, etc. In fact, over time many spreadsheets turn out to be used for storing and processing increasing amounts of data and supporting increasing numbers of users. Unfortunately, spreadsheet systems provide poor support for modularity, abstraction, and transformation, thus, making the maintenance, update and evolution of spreadsheets a very complex and error-prone task. We present techniques for model-driven spreadsheet engineering where we employ bidirectional transformations to maintain spreadsheet models and instances synchronized. In our setting, the business logic of spreadsheets is defined by ClassSheet models to which the spreadsheet data conforms, and spreadsheet users may evolve both the model and the data instances. Our techniques are implemented as part of the MDSheet framework: an extension for a traditional spreadsheet system.

Although rich in Cretaceous vertebrate fossils, prior to 2005 the amniote fossil record of Angola was poorly known. Two horizons and localities have yielded the majority of the vertebrate fossils collected thus far; the Turonian Itombe Formation of Iembe in Bengo Province and the Maastrichtian Mocuio Formation of Bentiaba in Namibe Province. Amniotes of the Mesozoic of Angola are currently restricted to the Cretaceous and include eucryptodire turtles, plesiosaurs, mosasaurs, pterosaurs, and dinosaurs. Recent collecting efforts have greatly expanded our knowledge of the amniote fauna of Angola and most of the taxa reported here were unknown prior to 2005.

A degradação da ligação entre compósitos de matriz polimérica reforçada por fibras (FRP) e o betão é uma das principais causas de possível rotura das vigas e lajes de betão armado reforçadas
externamente por compósitos de FRP. Desde há mais de 10 anos que se estuda, por isso, na UNL o
comportamento dessa ligação, integrado em programa mais alargado de estudo da durabilidade deste tipo de reforço, especialmente quando sujeito a condições ambientais severas que se simulam por processos artificialmente acelerados no laboratório. Em particular a degradação da aderência e o possível descolamento precoce do reforço têm sido modelados física e computacionalmente com principal incidência no uso de fibras de vidro (GFRP) e resina epoxídica. Nesta comunicação mostram-se resultados obtidos em termos de capacidade de carga, força transmitida ao reforço e tensões de aderência após envelhecimentos de pequenas vigas de betão armado (BA) por ciclos de nevoeiro salino, ciclos seco/molhado em solução salina, ciclos de temperatura entre +7,5ºC e +47,5ºC e gelo-degelo de -10ºC a +30ºC. Faz-se recomendação quanto à extensão máxima para diferentes envelhecimentos. Apresenta-se comparação entre resultados de modelação numérica e experimental.

Externally bonded reinforced systems have been widely used in civil engineering. However, the problems associated with bond between structural elements are not yet fully solved. As a consequence, many researchers have been proposing tests and techniques to standardize procedures and reach better agreement for design purposes. In the present paper, an experimental program is described that was developed to characterize the glass FRP/concrete interface by double shear tests made on 15 cm side cubes with GFRP bonded on two opposite faces. The GFRP wrap had two layers applied by the wet lay-up technique and three classes of concrete were considered. With the support of the experimental program, cohesion and friction angle for GFRP–concrete interfaces were found leading to different envelope failure laws, based on the Mohr–Coulomb failure criterion for each concrete class, capable of predicting GFRP debonding. Results are discussed.

n this paper we explore the use of models in the context of spreadsheet engineering. We review a successful spreadsheet modeling language, whose semantics we further extend. With this extension we bring spreadsheet models closer to the business models of spreadsheets themselves. An addon for a widely used spreadsheet system, providing bidirectional model-driven spreadsheet development, was also improved to include the proposed model extension.

Os compósitos de FRP podem descolar prematuramente da superfíce de betão, isto é, antes de esgotada a sua resistência elástica. Esta situação é mais provável se não forem tidos em conta factores como o tipo de preparação da superfície, a exposição a acção ambiental severa, e a resistência do próprio betão. Com o objectivo de analisar a influência de parte destes factores no desempenho da ligação compósito de fibra de vidro (GFRP) e betão, empreendeu-se uma campanha experimental baseada em ensaios de corte duplo. Os resultados permitiram determinar e comparar as forças máximas transmitidas ao GFRP e tensões de aderência máxima para diferentes tratamentos de superfície e condições de envelhecimento. Foram também determinadas aproximações para curvas de tensão de aderência vs. deslizamento (bond-slip). Os resultados obtidos são contrastados com resultados obtidos por modelação numérica.

Since the 1980’s, several buildings throughout the world have been subject to gas explosions, impact by cars or airplanes, or car bomb attacks. In many cases the effect of the impact or explosion has been the failure of a critical structural member at the perimeter of the building. After the failure, the load supported by that member could not be redistributed and part or all of the structure has collapsed in a progressive manner. The phenomenon that occurs when local failure is not confined to the area of initial distress, and spreads horizontally and/or vertically through the structure, is termed progressive collapse.

Progressive collapse is a relatively rare event, as it requires both an accidental action to cause local damage and a structure that lacks adequate continuity, ductility, and redundancy to prevent the spread of damage. It is technically very difficult and economically prohibitive to design buildings for absolute safety. However it is possible to construct precast concrete buildings that afford an acceptable degree of safety with regard to accidental actions.

A structure is normally designed to respond properly, without damage, under normal load conditions, but local and/or global damages cannot be avoided under the effect of an unexpected, but moderate degree of accidental overload. Properly designed and constructed structures usually possess reasonable probability not to collapse catastrophically under such loads, depending on different factors, for example: the type of loading; the degree and the location of accidental loading in regard to the structure and its structural members; the type of structural system, the construction technology, and the spans between structural vertical members, etc.

No structure can be expected to be totally resistant to actions arising from an unexpected and extreme cause, but it should not be damaged to an extent that is disproportionate to the original cause.

The aim of fib Bulletin 63 is to summarize the present knowledge on the subject and to provide guidance for the design of precast structures against progressive collapse. This is addressed in terms of (a) the classification of the actions, (b) their effect on the structural types, (c) the strategies to cope with such actions, (d) the design methods and (e) some typical detailing, all supplemented with illustrations from around the world, and some model calculations.

A friendship graph is a graph consisting of cliques sharing a common vertex. In this paper we investigate the maximum number of elements in an optimal friendship decomposition of graphs of order n. We obtain upper and lower bounds for this number. These bounds relate this problem with the classical Ramsey numbers.

Spreadsheets are among the most popular programming languages in the world. Unfortunately, spreadsheet systems were not tailored from scratch with modern programming language features that guarantee, as much as possible, program correctness. As a consequence, spreadsheets are populated with unacceptable amounts of errors. In other programming language settings, model-based approaches have been proposed to increase productivity and program effectiveness. Within spreadsheets, this approach has also been followed, namely by ClassSheets. In this paper, we propose an extension to ClassSheets to allow the specification of spreadsheets that can be viewed as relational databases. Moreover, we present a transformation from ClassSheet models to UML class diagrams enriched with OCL constraints. This brings to the spreadsheet realm the entire paraphernalia of model validation techniques that are available for UML.

The concept of H-decompositions of graphs was first introduced by Erdös, Goodman and Pósa in 1966, who were motivated by the problem of representing graphs by set intersections. Given graphs G and H, an H-decomposition of G is a partition of the edge set of G such that each part is either a single edge or forms a graph isomorphic to H. Let Ф(n,H) be the smallest number Ф, such that, any graph of order n admits an H-decomposition with at most Ф parts. The exact computation of Ф(n,H) for an arbitrary H is still an open problem. Recently, a few papers have been published about this problem. In this survey we will bring together all the results about H-decompositions. We will also introduce two new related problems, namely Weighted H-Decompositions of graphs and Monochromatic H-Decompositions of graphs.

n/a

n/a