Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Architectural development and dry matter production in a multisite trial on single and multiaxis apple trees (Malus domestica Borkh) grafted on different rootstocks

In two Italian sites, multiaxis trees slightly reduced primary axis length and secondary axis length of newly grafted trees, and increased the number of secondary shoots. The total length, node production, and total dry matter gain were proportional to the number of axis. Growth of both primary and secondary shoots, and dry matter accumulation, have been found to be also well related to rootstock vigour. A great variability in axillary shoot production was recorded among different environments. Grafted trees had higher primary growth, secondary axis growth, and dry matter gain than chip budded trees. Stem water potential measured in the second year after grafting was not affected by rootstocks or number of leaders. Measurements performed in New Zealand (Hawke’s Bay) during the second year after grafting revealed that both final length and growth rate of primary and secondary axis were related to the rootstock rather than to the training system. Dwarfing rootstocks reduced the number of long vegetative shoots and increased the proportion of less vigorous shoots.

A Semantic-based Framework for Digital Survey of Architectural Heritage

The research aims at developing a framework for semantic-based digital survey of architectural heritage. Rooted in knowledge-based modeling which extracts mathematical constraints of geometry from architectural treatises, as-built information of architecture obtained from image-based modeling is integrated with the ideal model in BIM platform. The knowledge-based modeling transforms the geometry and parametric relation of architectural components from 2D printings to 3D digital models, and create large amount variations based on shape grammar in real time thanks to parametric modeling. It also provides prior knowledge for semantically segmenting unorganized survey data. The emergence of SfM (Structure from Motion) provides access to reconstruct large complex architectural scenes with high flexibility, low cost and full automation, but low reliability of metric accuracy. We solve this problem by combing photogrammetric approaches which consists of camera configuration, image enhancement, and bundle adjustment, etc. Experiments show the accuracy of image-based modeling following our workflow is comparable to that from range-based modeling. We also demonstrate positive results of our optimized approach in digital reconstruction of portico where low-texture-vault and dramatical transition of illumination bring huge difficulties in the workflow without optimization. Once the as-built model is obtained, it is integrated with the ideal model in BIM platform which allows multiple data enrichment. In spite of its promising prospect in AEC industry, BIM is developed with limited consideration of reverse-engineering from survey data. Besides representing the architectural heritage in parallel ways (ideal model and as-built model) and comparing their difference, we concern how to create as-built model in BIM software which is still an open area to be addressed. The research is supposed to be fundamental for research of architectural history, documentation and conservation of architectural heritage, and renovation of existing buildings.

Solutions for the conservation and restoration of cement-based materials in XX Century architectural heritage

Among the most representative materials of XX Century architectural heritage, this dissertation focuses on the cement-based ones, investigating some different fields where they were exploited. Primarily, concerning the surface preservation of cement-based materials used with aesthetic intent, new self-cleaning treatments based on titania nanoparticles embedded in inorganic matrices were tested. In order to consider the role of porosity, the treatments were applied to different kinds of materials (cement-based mortar, marble and concrete) and several analyses were conducted to investigate the morphology of the coatings, their photocatalytic effectiveness, their durability and the interaction between the coating and the substrate material. The outcomes showed that several parameters influence the treatment’s performances, in particular, the presence and nature of the matrix, the concentration and dispersion of nanoparticles and, in some cases, the amount of substrate material which interacts with the coatings. Secondly, this dissertation deals with the historic “Terranova” render, a colored dry-mix mortar largely widespread in Europe in the first half of XX Century, whose formulation is still basically unknown. Some original samples of supposedly Terranova renders were subjected to several characterization analyses and the results were compared to those of the original “Terranova” render of the Engineering Faculty in Bologna. Despite the recurrence of some features, defining a common formulation seemed to be challenging. Finally, the repair and conservation of structural reinforced concrete in heritage buildings were investigated, adopting the former “Casa del Fascio” in Predappio (FC, Italy) as case study. Three different materials and solutions were tested on a slab of the building, making its repair only from the intrados. Then several analyses were conducted both on site and in laboratory. Aside from the specific features characterizing every product, the results highlighted that the application method played a fundamental role in the effectiveness of the retrofit strategies.

Pedagogy of healthcare interactions. A study on pediatric well-child visits as culture-oriented and culture-making sites

This study investigates interactions between parents and pediatricians during pediatric well-child visits. Despite constituting a pivotal moment for monitoring and evaluating children’s development during the critical ‘first thousand days of life’ and for family support, no study has so far empirically investigated the in vivo realization of pediatrician-parent interactions in the Italian context, especially not from a pedagogical perspective. Filling this gap, the present study draws on a corpus of 23 videorecorded well-child visits involving two pediatricians and twenty-two families with children aged between 0 and 18 months. Combining an ethnographic perspective and conversation analysis theoretical-analytical constructs, the micro-analysis of interactions reveals how well-child visits unfold as culture-oriented and culture-making sites. By zooming into what actually happens during these visits, the analysis shows that there is much more than the “mere” accomplishment of institutionally relevant activities like assessing children’s health or giving parents advice on baby care. Rather, through the interactional ways these institutional tasks are carried out, parents and pediatricians presuppose, ratify, and transmit culturally-informed models of “normal” growth, “healthy” development, “good” caring practices, and “competent” parenting, thereby enacting a pervasive yet unnoticed educational and moral work. Inaugurating a new promising line of inquiry within Italian pedagogical research, this study illuminates how a) pediatricians work as a “social antenna”, bridging families’ private “small cultures” and broader socio-cultural models of children’s well-being and caregiving practices, and b) parents act as agentive, knowledgeable, (communicatively) competent, and caring parents, while also sensitive to the pediatrician’s ultimate epistemic and deontic authority. I argue that a video-based, micro-analysis of interactions represents a heuristically powerful instrument for raising pediatricians’ and parents’ awareness of the educational and moral density of well-child visits. Insights from this study can constitute a valuable empirical resource for underpinning medical and parental training programs aimed at fostering pediatricians’ and parents’ reflexivity.