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.

Luigi Nono: spazio e composizione

Architettura e musica. Spazio e tempo. Suono. Esperienza. Queste le parole chiave da cui ha preso avvio la mia ricerca. Tutto è iniziato dall’intuizione dell’esistenza di un legame tra due discipline cui ho dedicato molto tempo e studio, completando due percorsi accademici paralleli, la Facoltà di architettura e il Conservatorio. Dopo un lavoro d’individuazione e analisi degli infiniti spunti di riflessione che il tema offriva, ho focalizzato l’attenzione su uno degli esempi più emblematici di collaborazione tra un architetto e un musicista realizzatasi nel Novecento: Prometeo, tragedia dell’ascolto (1984), composta da Luigi Nono con la collaborazione di Massimo Cacciari e Renzo Piano. Attraverso lo studio di Prometeo ho potuto affrontare la trattazione di molte delle possibili declinazioni del rapporto interdisciplinare tra musica e architettura. La ricerca si è svolta principalmente sullo studio dei materiali conservati presso l’Archivio Luigi Nono e l’archivio della Fondazione Renzo Piano. La tesi è organizzata in tre parti: una prima parte in cui si affronta il tema del ruolo dello spazio nelle opere di Nono precedenti a Prometeo, facendo emergere l’importanza dell’ambiente culturale e sonoro veneziano; una seconda parte in cui si approfondisce il processo compositivo che ha portato alle rappresentazioni di Prometeo a Venezia, Milano e a Parigi; una terza parte in cui si prende in considerazione quanto avvenuto dopo Prometeo e si riflette sui contributi che questa esperienza può portare alla progettazione di spazi per la musica, analizzando diversi allestimenti dell’opera senza arca e prendendo in considerazione i progetti dell’auditorium dell’International Art Village di Akiyoshidai e della sala della nuova Philharmonie di Parigi. Lo studio dell’esperienza di Prometeo ha lo scopo di stimolare la curiosità verso la ricerca e la sperimentazione di quegli infiniti possibili della composizione architettonica e musicale di cui parla Nono.