Despite the significant progress in 3D vision in recent years, collecting large amounts of high-quality 3D data remains a challenge. Hence, developing solutions to extract 3D object information efficiently is a significant problem. We aim for an effective shape classification algorithm to facilitate accurate recognition and efficient search of sizeable 3D model databases. This thesis has two contributions in this space: a) a novel meta-learning approach for 3D object recognition and b) propose a new compositional 3D recognition task and dataset. For 3D recognition, we proposed a few-shot semi-supervised meta-learning model based on Pointnet++ representation with a prototypical random walk loss. In particular, we developed the random walk semi-supervised loss that enables fast learning from a few labeled examples by enforcing global consistency over the data manifold and magnetizing unlabeled points around their class prototypes. On the compositional recognition front, we create a large-scale, richly annotated stylized dataset called 3D CoMPaT. This large dataset primarily focuses on stylizing 3D shapes at part-level with compatible materials. We introduce Grounded CoMPaT Recognition as the task of collectively recognizing and grounding compositions of materials on parts of 3D Objects.

No description available.

No description available.

The rapid emergence of embedded devices and sensor networks that frequently exchange object-level images foretells an increasing reliance on object-level systems. Additionally, nearly all computing systems, including control systems, enterprise applications, scientific codes and dynamic libraries operate eventually at the object code level. Studying adaptivity and runtime composition issues in such systems is becoming an important focus of systems research. In this thesis, we describe an object-level framework that will manipulate an object module to instrument control functionality and adaptivity in order to realize complex compositional scenarios. Using function and parameter remapping capabilities, our framework transcends programming language and design boundaries, and enables applications to adapt dynamically during runtime. We introduce the capability to "restart" an application automatically, a feature we utilize to support adaptivity not only spatially, over the algorithm domain, but temporally as well. A high-level adaptive control language based on XML is presented that allows complex adaptive scenarios to be expressed concisely. Additionally, the construction of several adaptive scenarios using our framework is illustrated, along with several experiments in ``learning adaptivity`` using reinforcement learning techniques. / Master of Science

This thesis provides a specification theory with strong algebraic and compositionality properties, allowing for the systematic construction of new components out of existing ones, while ensuring that given properties continue to hold at each stage of system development. The theory shares similarities with the interface automata of de Alfaro and Henzinger, but is linear-time in the style of Dill's trace theory, and is endowed with a richer collection of operators. Components are assumed to communicate with one another by synchronisation of input and output actions, with the component specifying the allowed sequences of interactions between itself and the environment. When the environment produces an interaction that the component is unwilling to receive, a communication mismatch occurs, which can correspond to run-time error or underspecification. These are modelled uniformly as inconsistencies. A linear-time refinement preorder corresponding to substitutivity preserves the absence of inconsistency under all environments, allowing for the safe replacement of components at run-time. To build complex systems, a range of compositional operators are introduced, including parallel composition, logical conjunction and disjunction, hiding, and quotient. These can be used to examine the structural behaviour of a system, combine independently developed requirements, abstract behaviour, and incrementally synthesise missing components, respectively. It is shown that parallel composition is monotonic under refinement, conjunction and disjunction correspond to the meet and join operations on the refinement preorder, and quotient is the adjoint of parallel composition. Full abstraction results are presented for the equivalence defined as mutual refinement, a consequence of the refinement being the weakest preorder capturing substitutivity. Extensions of the specification theory with progress-sensitivity (ensuring that refinement cannot introduce quiescence) and real-time constraints on when interactions may and may not occur are also presented. These theories are further complemented by assume-guarantee frameworks for supporting component-based reasoning, where contracts (characterising sets of components) separate the assumptions placed on the environment from the guarantees provided by the components. By defining the compositional operators directly on contracts, sound and complete assume-guarantee rules are formulated that preserve both safety and progress. Examples drawn from distributed systems are used to demonstrate how these rules can be used for mechanically deriving component-based designs.

[ES] La revolución estética que ha visto el siglo XX, donde surgieron multitud de propuestas, llegó de forma dispar a las distintas formaciones instrumentales. Mientras la música sinfónica y de cámara vivió un renacer auspiciado por las nuevas técnicas compositivas, la orquesta de vientos quedó estancada en un aparente contexto de tonalidad y modalidad que, lejos de evolucionar a la par que las otras formaciones, ha experimentado un aparente retroceso hacia posturas estéticas más conservadoras. El presente trabajo surge de la necesidad de evolucionar el repertorio actual para orquesta de vientos, profundizando en sus posibilidades tímbricas y desarrollando un repertorio que aborda la composición para orquesta de vientos, desde una perspectiva actual que desarrolle algunas de las corrientes estéticas principales de la vanguardia musical de los siglos XX y XXI. A continuación, se elabora un análisis detallado de los procesos compositivos abordados en cada una de las obras a estudio, sin perder la perspectiva del objetivo fundamental; la composición de dos obras que desarrollen el potencial sonoro de la formación orquestal de vientos y percusión dentro de un estilo contemporáneo. Previamente, se exponen algunas de las aportaciones más importantes al género realizadas por distintos compositores, que han supuesto una vinculación real y significativa de las nuevas propuestas compositivas de los siglos XX y XXI con la formación de vientos en su concreción orquestal o de gran ensemble. Se destacan especialmente aquellas propuestas de autores relacionados estrechamente con el repertorio de vientos, especialmente en su vertiente bandística. Paralelamente se referencian otros trabajos de autores significativos dentro del repertorio orquestal y camerístico, que han realizado contribuciones esporádicas a la orquesta/ensemble de vientos. Contribuciones que por su originalidad o estilo enmarcado en las corrientes estéticas compositivas de los siglos XX y XXI, implican un hecho destacado para el género de vientos y percusión. / [EN] The aesthetic revolution that the twentieth century has seen, where a multitude of proposals arose, reached the different instrumental groups in a disparate way. While symphonic and chamber music lived a rebirth sponsored by new compositional techniques, the wind orchestra was stuck in an apparent context of tonality and modality that, far from evolving at the same time as the other formations, has experienced an apparent retreat towards postures more conservative aesthetics. The present work arises from the need to evolve the current repertoire for wind orchestra, deepening its timbral possibilities and developing a repertoire that addresses composition for wind orchestra, from a current perspective that develops some of the main aesthetic currents of the avant-garde musical of the twentieth and twenty-first centuries. Next, a detailed analysis of the compositional processes addressed in each of the works under study is elaborated, without losing the perspective of the fundamental objective; the composition of two works that develop the sound potential of the orchestral wind and percussion formation within a contemporary style. Previously, some of the most important contributions to the genre made by different composers are exposed, which have meant a real and significant connection of the new compositional proposals of the 20th and 21st centuries with the formation of winds in their orchestral or large ensemble concretion. Especially noteworthy are those proposals by authors closely related to the wind repertoire, especially in its band aspect. At the same time, other works by significant authors within the orchestral and chamber repertoire are referenced, who have made sporadic contributions to the wind orchestra / ensemble. Contributions that for their originality or style framed in the aesthetic compositional currents of the XX and XXI, imply an outstanding fact for the wind and percussion genre. / [CA] La revolució estetica que ha vist el segle XX, on van sorgir multitud de propostes, va arribar de manera dispar a les diferents formacions instrumentals. Mentre la música simfonica i de cambra va viure un renaixement afavorit per les noves tecniques compositives, l'orquestra de vents va quedar estancada en un aparent context de tonalitat i modalitat que, lluny d'evolucionar al mateix temps que les altres formacions, ha experimentat un aparent retrocés cap a postures estetiques més conservadores. El present treball sorgeix de la necessitat d'evolucionar el repertori actual per a orquestra de vents, aprofundint en les seves possibilitats tímbriques i desenvolupant un repertori que aborda la composició per a orquestra de vents, des d'una perspectiva actual que desenvolupi alguns dels corrents estetiques principals de l'avantguarda musical dels segles XX i XXI. A continuació, s'elabora una analisi detallada dels processos compositius abordats en cadascuna de les obres a estudi, sense perdre la perspectiva de l'objectiu fonamental; la composició de dues obres que desenvolupin el potencial sonor de la formació orquestral de vents i percussió dins d'un estil contemporani. Previament, s'exposen algunes de les aportacions més importants al genere realitzades per diferents compositors, que han suposat una vinculació real i significativa de les noves propostes compositives dels segles XX i XXI amb la formació de vents en la seva concreció orquestral o de gran ensemble. Es destaquen especialment aquelles propostes d'autors relacionats estretament amb el repertori de vents, especialment en la seva vessant bandística. Paral · lelament es referencien altres treballs d'autors significatius dins del repertori orquestral i de cambra, que han realitzat contribucions esporadiques a l'orquestra / ensemble de vents. Contribucions que per la seva originalitat o estil emmarcat en els corrents estetics compositives dels XX i XXI, impliquen un fet destacat per al genere de vents i percussió. / Fayos Jordán, JM. (2022). La orquesta de vientos como medio de aplicación y desarrollo de las técnicas compositivas actuales. Una propuesta performativa [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/183185 / TESIS

This Ph.D. research project targets Cooper Basin oil reservoirs of very low permeability (approximately 1mD) where injectivities required for water flooding are not achievable. However, the use of injection gases such as CO₂ would not have injectivity problems. CO₂ is abundant in the region and available for EOR use. CO₂ was compared to other CO₂-rich injection gases with a hydrocarbon content including pentane plus components. While the effect of hydrocarbon components up to butane have been investigated in the past, the effect of n-pentane has on impure CO₂ gas streams has not. One particular field of the Cooper Basin was investigated in detail (Field A). However, since similar reservoir and fluid characteristics of Field A are common to the region it is expected that the data measured and developed has applications to many other oil reservoirs of the region and similar reservoirs elsewhere. The aim of this Ph.D. project is to determine the applicability of CO₂ as an injection gas for Enhanced Oil Recovery (EOR) in the Cooper Basin oil reservoirs and to compare CO₂ with other possible CO₂-rich injection gases. The summarised goals of this research are to: • Determine the compatibility of Field A reservoir fluid with CO₂ as an injection gas. • Compare CO₂ to other injection gas options for Field A. • Development of a correlation to predict the effect of nC₅ on MMP for a CO₂- rich injection gas stream. These goals were achieved through the following work: • Extensive experimental studies of the reservoir properties and the effects of interaction between CO₂-rich injection gas streams and Field A reservoir fluid measuring properties related to: • Miscibility of the injection gas with Field A reservoir fluid • Solubility and swelling properties of the injection gas with Field A reservoir fluid • Change in viscosity-pressure relationship of Field A reservoir fluid due to addition of injection gas • A reservoir condition core flood experiment • Compositional simulation of the reservoir condition core flood to compare expected recoveries from different injection gases • Development of a set of Minimum Miscibility Pressure (MMP) measurements targeted at correlating the effect of nC₅ on CO₂ MMP. The key findings of this research are as follows: • Miscibility is achievable at practical pressures for Field A and similar reservoir fluids with pure CO₂ or CO₂-rich injection gases. • For Field A reservoir fluid, viscosity of the remaining flashed liquid will increase at pressures below ~2500psi due to mixing the reservoir fluid with a CO₂-rich injection gas stream. • Comparison of injection gases showed that methane rich gases are miscible with Field A so long as a significant quantity of C₃+ components is also present in the gas stream. • There is a defined trend for effect of nC₅ on MMP of impure CO₂. This trend was correlated with an error of less than 4%. • Even though oil composition is taken into account with the base gas MMP, it still affects the trend for effect of nC₅ on MMP of a CO₂-rich gas stream. • An oil characterisation factor was developed to account for this effect, significantly improving the results, reducing the error of the correlation to only 1.6%. The significance of these findings is as follows: • An injection pressure above ~3000psi should be targeted. At these pressures miscibility is achieved and the viscosity of the reservoir fluid injection gas mix is reduced. • CO₂ should be compared to gases such as Tim Gas should after considering the cost of compression, pipeline costs and distance from source to destination will need to be considered. • The addition of nC₅ will reduce the MMP and increase the recovery factor, however the cost of the nC₅ used would be more than the value of increased oil recovered. • The developed correlation for the effect of nC₅ on impure CO₂ MMP can be used broadly within the limits of the correlation. • Further research using more oils is necessary to validate the developed oil characterisation factor and if successful, using the same or similar method used to improve other correlations. / http://proxy.library.adelaide.edu.au/login?url= http://library.adelaide.edu.au/cgi-bin/Pwebrecon.cgi?BBID=1369016 / Thesis (Ph.D.) -- University of Adelaide, Australian School of Petroleum, 2009.

Cette thèse porte sur le développement d'approches compositionnelles et efficaces de synthèse de contrôleurs pour les systèmes cyber-physiques (CPS). En effet, alors que les techniques de conception des CPS basées sur des modèles ont fait l'objet de nombreuses études au cours de la dernière décennie, leur scalabilité reste problématique. Dans cette thèse, nous contribuons à rendre de telles approches plus évolutives.La première partie est axée sur les approches compositionnelles. Un cadre général pour le raisonnement compositionnel en utilisant des contrats d’hypothèse-garantie est proposé. Ce cadre est ensuite combiné avec des techniques de contrôle symbolique et appliqué à un problème de synthèse de contrôleur pour des systèmes échantillonnés, distribués et multipériodiques, où l'approche symbolique est utilisé pour synthétiser un contrôleur imposant un contrat donné. Ensuite, une nouvelle approche de calcul compositionnel des abstractions symboliques est proposée, basée sur la notion de composition approchée et permettant de traiter des abstractions hétérogènes.La deuxième partie de la thèse porte sur des techniques efficaces d'abstraction et de synthèse de contrôleurs. Deux nouvelles techniques de calcul d’abstractions sont proposées pour les systèmes à commutation incrémentalement stables. La première approche est basée sur l'échantillonnage multi-niveaux où nous avons établi l'existence d'un paramètre optimal d'échantillonnage qui aboutit à un modèle symbolique avec un nombre minimal de transitions. La deuxième approche est basée sur un échantillonnage événementiel, où la durée des transitions dans le modèle symbolique est déterminée par un mécanisme déclencheur, ce qui permet de réduire le conservatisme par rapport au cas périodique. La combinaison avec des techniques de synthèse de contrôleurs paresseux est proposée permettant la synthèse à un coût de calcul réduit. Enfin, une nouvelle approche de synthèse paresseuse a été développée pour les systèmes de transition monotones et les spécifications de sécurité dirigées. Plusieurs études de cas sont considérées dans cette thèse, telles que la régulation de la température dans les bâtiments, le contrôle des convertisseurs de puissance, le pilotage des véhicules et le contrôle de la tension dans les micro-réseaux DC. / This thesis focus on the development of compositional and efficient controller synthesis approaches for cyber-physical systems (CPS). Indeed, while model-based techniques for CPS design have been the subject of a large amount of research in the last decade, scalability of these techniques remains an issue. In his thesis, we contribute to make such approaches more scalable.The focus of the first part is on compositional approaches. A general framework for compositional reasoning using assume-guarantee contracts is proposed. This framework is then combined with symbolic control techniques and applied to a controller synthesis problem for multiperiodic distributed sampled-data systems, where symbolic approaches have been used to synthesize controllers enforcing a given assume-guarantee contract. Then, a new approach to the compositional computation of symbolic abstractions is proposed based on the notion of approximate composition, allowing to deal with heterogeneous abstractions and arbitrary interconnections.The second part is about efficient abstraction and controller synthesis techniques. Two new abstractions schemes have been developed for incrementally stable switched systems. The first approach is based on multirate sampling where we established the existence of an optimal multirate sampling parameter that results in a symbolic model with a minimal number of transitions. The second approach is based on event-based sampling, where the duration of transitions in the symbolic model is determined by some triggering mechanism, which makes it possible to reduce the conservatism with respect to the periodic case. Combination with lazy controller synthesis techniques has been proposed allowing the synthesis at a reduced computational cost. Finally, a new lazy approach has been develop for monotone transition systems and directed safety specifications. Several case studies have been considered in this thesis such as temperature regulation in buildings, control of power converters, vehicle platooning and voltage control in DC micro-grids.

No description available.

For a stress-sensitive or stress-dependent reservoir, the interactions between its seepage field and in situ stress field are complex and affect hydrocarbon recovery. A coupled geomechanics and fluid-flow model can capture these relations between the fluid and solid, thereby presenting more precise history matchings and predictions for better well planning and reservoir management decisions. A traditional reservoir simulator cannot adequately or fully represent the ongoing coupled fluid-solid interactions during the production because of using the simplified update-formulation for porosity and the static absolute permeability during simulations. Many researchers have studied multiphase fluid-flow models coupled with geomechanics models during the past fifteen years. The purpose of this research is to develop a coupled geomechanics and compositional model and apply it to problems in the oil recovery processes. An equation of state compositional simulator called the General Purpose Adaptive Simulator (GPAS) is developed at The University of Texas at Austin and uses finite difference / finite control volume methods for the solution of its governing partial differential equations (PDEs). GPAS was coupled with a geomechanics model developed in this research, which uses a finite element method for discretization of the associated PDEs. Both the iteratively coupled solution procedure and the fully coupled solution procedure were implemented to couple the geomechanics and reservoir simulation modules in this work. Parallelization, testing, and verification for the coupled model were performed on parallel clusters of high-performance workstations. MPI was used for the data exchange in the iteratively coupled procedure. Different constitutive models were coded into GPAS to describe complicated behaviors of linear or nonlinear deformation in the geomechanics model. In addition, the geomechanics module was coupled with the dual porosity model in GPAS to simulate naturally fractured reservoirs. The developed coupled reservoir and geomechanics simulator was verified using analytical solutions. Various reservoir simulation case studies were carried out using the coupled geomechanics and GPAS modules. / text