A Generic Model of Execution for Synthesizing Domain-Specific Models

Software engineering researchers are challenged to provide increasingly more pow- erful levels of abstractions to address the rising complexity inherent in software solu- tions. One new development paradigm that places models as abstraction at the fore- front of the development process is Model-Driven Software Development (MDSD). MDSD considers models as first class artifacts, extending the capability for engineers to use concepts from the problem domain of discourse to specify apropos solutions. A key component in MDSD is domain-specific modeling languages (DSMLs) which are languages with focused expressiveness, targeting a specific taxonomy of problems. The de facto approach used is to first transform DSML models to an intermediate artifact in a HLL e.g., Java or C++, then execute that resulting code. Our research group has developed a class of DSMLs, referred to as interpreted DSMLs (i-DSMLs), where models are directly interpreted by a specialized execution engine with semantics based on model changes at runtime. This execution engine uses a layered architecture and is referred to as a domain-specific virtual machine (DSVM). As the domain-specific model being executed descends the layers of the DSVM the semantic gap between the user-defined model and the services being provided by the underlying infrastructure is closed. The focus of this research is the synthesis engine, the layer in the DSVM which transforms i-DSML models into executable scripts for the next lower layer to process. The appeal of an i-DSML is constrained as it possesses unique semantics contained within the DSVM. Existing DSVMs for i-DSMLs exhibit tight coupling between the implicit model of execution and the semantics of the domain, making it difficult to develop DSVMs for new i-DSMLs without a significant investment in resources. At the onset of this research only one i-DSML had been created for the user- centric communication domain using the aforementioned approach. This i-DSML is the Communication Modeling Language (CML) and its DSVM is the Communication Virtual machine (CVM). A major problem with the CVM’s synthesis engine is that the domain-specific knowledge (DSK) and the model of execution (MoE) are tightly interwoven consequently subsequent DSVMs would need to be developed from inception with no reuse of expertise. This dissertation investigates how to decouple the DSK from the MoE and sub- sequently producing a generic model of execution (GMoE) from the remaining appli- cation logic. This GMoE can be reused to instantiate synthesis engines for DSVMs in other domains. The generalized approach to developing the model synthesis com- ponent of i-DSML interpreters utilizes a reusable framework loosely coupled to DSK as swappable framework extensions. This approach involves first creating an i-DSML and its DSVM for a second do- main, demand-side smartgrid, or microgrid energy management, and designing the synthesis engine so that the DSK and MoE are easily decoupled. To validate the utility of the approach, the SEs are instantiated using the GMoE and DSKs of the two aforementioned domains and an empirical study to support our claim of reduced developmental effort is performed.

La escuela con los pies en el aire. Hacer escuela, entre la desigualdad y la emancipación

El propósito de este trabajo de investigación es relevar la experiencia de una escuela pública del distrito de La Matanza, en el conurbano bonaerense. Esta institución enclavada en una zona popular, Villa Scasso, fue creada hace trece años y atiende a una población infantil y juvenil de educación especial. El motivo de la investigación no se centra en la especificidad de este campo educativo sino en el proceso de construcción de una propuesta pedagógica que tensiona las formas escolares, amplía las fronteras educativas y transforma el tiempo y el espacio escolar. La atención de la presente indagación está puesta en problematizar la relación de la educación con la desigualdad y la igualdad, con el objetivo de abrir nuevos interrogantes sobre el carácter de determinación que se le otorga a la pobreza, la marginalidad y la exclusión en el terreno educativo, en particular en su relación con las escuelas de sectores populares. Las infancias populares acceden a circuitos de escolarización diferenciados, pero su carácter reproductor y/o emancipador configura un discurso que no se clausura a priori. Esta tesis doctoral abre interrogantes sobre esta problemática y documenta una experiencia educativa que "hace escuela" de manera "especial"

La escuela con los pies en el aire. Hacer escuela, entre la desigualdad y la emancipación

El propósito de este trabajo de investigación es relevar la experiencia de una escuela pública del distrito de La Matanza, en el conurbano bonaerense. Esta institución enclavada en una zona popular, Villa Scasso, fue creada hace trece años y atiende a una población infantil y juvenil de educación especial. El motivo de la investigación no se centra en la especificidad de este campo educativo sino en el proceso de construcción de una propuesta pedagógica que tensiona las formas escolares, amplía las fronteras educativas y transforma el tiempo y el espacio escolar. La atención de la presente indagación está puesta en problematizar la relación de la educación con la desigualdad y la igualdad, con el objetivo de abrir nuevos interrogantes sobre el carácter de determinación que se le otorga a la pobreza, la marginalidad y la exclusión en el terreno educativo, en particular en su relación con las escuelas de sectores populares. Las infancias populares acceden a circuitos de escolarización diferenciados, pero su carácter reproductor y/o emancipador configura un discurso que no se clausura a priori. Esta tesis doctoral abre interrogantes sobre esta problemática y documenta una experiencia educativa que "hace escuela" de manera "especial"

La escuela con los pies en el aire. Hacer escuela, entre la desigualdad y la emancipación

El propósito de este trabajo de investigación es relevar la experiencia de una escuela pública del distrito de La Matanza, en el conurbano bonaerense. Esta institución enclavada en una zona popular, Villa Scasso, fue creada hace trece años y atiende a una población infantil y juvenil de educación especial. El motivo de la investigación no se centra en la especificidad de este campo educativo sino en el proceso de construcción de una propuesta pedagógica que tensiona las formas escolares, amplía las fronteras educativas y transforma el tiempo y el espacio escolar. La atención de la presente indagación está puesta en problematizar la relación de la educación con la desigualdad y la igualdad, con el objetivo de abrir nuevos interrogantes sobre el carácter de determinación que se le otorga a la pobreza, la marginalidad y la exclusión en el terreno educativo, en particular en su relación con las escuelas de sectores populares. Las infancias populares acceden a circuitos de escolarización diferenciados, pero su carácter reproductor y/o emancipador configura un discurso que no se clausura a priori. Esta tesis doctoral abre interrogantes sobre esta problemática y documenta una experiencia educativa que "hace escuela" de manera "especial"

Dionne Brand, Austin Clarke, and Tessa McWatt: Blackening Canada

This project analyzes contemporary black diasporic writing in Canada, arguing that Dionne Brand, Austin Clarke and Tessa McWatt evince a unique form of double-consciousness in their writings. Their work transforms African-American double-consciousness by locating it simultaneously within both the black diaspora and the practice of Canadian multiculturalism. The objective of this project is to offer a critical framework for situating these writers within the legacy of both Black Atlantic and Canadian cultural production. These writers do not aim to resolve their double-consciousness but rather dwell within that contradictory doubleness and hyphenation, forcing nation and diaspora to contend with one another in a discomfiting and unsettling dialogue. These authors employ the absences of the black diaspora to imagine new forms of black cultural production, multicultural citizenship and national identity. Their works produce a grammar of diasporic double-consciousness that locates the absented origins of diaspora within Canada. Brand’s depiction of temporality and Clarke’s tracing of movement explore the continuities between nation and diaspora while re-membering neglected aspects of the history of black Canada, such as the life and death of Albert Johnson. McWatt extends this blackening of nation by depicting coalitions between diasporic, indigenous, raced and sexed subjects. These authors transform hegemonic Canadian narratives of nation by dwelling in the hyphen, while their evocation of memory, absence, trauma, and desire gives blackness new meaning and legitimacy.

Assessment of the EEE-4 oral test: a discourse analysis based on complex networks.

With the development of information technology, the theory and methodology of complex network has been introduced to the language research, which transforms the system of language in a complex networks composed of nodes and edges for the quantitative analysis about the language structure. The development of dependency grammar provides theoretical support for the construction of a treebank corpus, making possible a statistic analysis of complex networks. This paper introduces the theory and methodology of the complex network and builds dependency syntactic networks based on the treebank of speeches from the EEE-4 oral test. According to the analysis of the overall characteristics of the networks, including the number of edges, the number of the nodes, the average degree, the average path length, the network centrality and the degree distribution, it aims to find in the networks potential difference and similarity between various grades of speaking performance. Through clustering analysis, this research intends to prove the network parameters’ discriminating feature and provide potential reference for scoring speaking performance.

El surgimiento de HTML5; un nuevo paradigma en los estándares Web

Gracias al crecimiento, expansión y popularización de la World Wide Web, su desarrollo tecnológico tiene una creciente importancia en la sociedad. La simbiosis que protagonizan estos dos entornos ha propiciado una mayor influencia social en las innovaciones de la plataforma y un enfoque mucho más práctico. Nuestro objetivo en este artículo es describir, caracterizar y analizar el surgimiento y difusión del nuevo estándar de hipertexto que rige la Web; HTML5. Al mismo tiempo exploramos este proceso a la luz de varias teorías que aúnan tecnología y sociedad. Dedicamos especial atención a los usuarios de la World Wide Web y al uso genérico que realizan de los Medios Sociales o "Social Media". Sugerimos que el desarrollo de los estándares web está influenciado por el uso cotidiano de este nuevo tipo de tecnologías y aplicaciones. 

The VLT-FLAMES tarantula survey:X. Evidence for a bimodal distribution of rotational velocities for the single early B-type stars

Aims. Projected rotational velocities (ve sin i) have been estimated for 334 targets in the VLT-FLAMES Tarantula Survey that do not manifest significant radial velocity variations and are not supergiants. They have spectral types from approximately O9.5 to B3. The estimates have been analysed to infer the underlying rotational velocity distribution, which is critical for understanding the evolution of massive stars. Methods. Projected rotational velocities were deduced from the Fourier transforms of spectral lines, with upper limits also being obtained from profile fitting. For the narrower lined stars, metal and non-diffuse helium lines were adopted, and for the broader lined stars, both non-diffuse and diffuse helium lines; the estimates obtained using the different sets of lines are in good agreement. The uncertainty in the mean estimates is typically 4% for most targets. The iterative deconvolution procedure of Lucy has been used to deduce the probability density distribution of the rotational velocities. Results. Projected rotational velocities range up to approximately 450 kms-1 and show a bi-modal structure. This is also present in the inferred rotational velocity distribution with 25% of the sample having 0 <ve <100 km s^-1 and the high velocity component having v_e ∼ 250 km s^-1. There is no evidence from the spatial and radial velocity distributions of the two components that they represent either field and cluster populations or different episodes of star formation. Be-type stars have also been identified. Conclusions. The bi-modal rotational velocity distribution in our sample resembles that found for late-B and early-A type stars.While magnetic braking appears to be a possible mechanism for producing the low-velocity component, we can not rule out alternative explanations. © ESO 2013.

Deterministic Genericity and the Computation of homological Invariants

The main goal of this thesis is to discuss the determination of homological invariants of polynomial ideals. Thereby we consider different coordinate systems and analyze their meaning for the computation of certain invariants. In particular, we provide an algorithm that transforms any ideal into strongly stable position if char k = 0. With a slight modification, this algorithm can also be used to achieve a stable or quasi-stable position. If our field has positive characteristic, the Borel-fixed position is the maximum we can obtain with our method. Further, we present some applications of Pommaret bases, where we focus on how to directly read off invariants from this basis. In the second half of this dissertation we take a closer look at another homological invariant, namely the (absolute) reduction number. It is a known fact that one immediately receives the reduction number from the basis of the generic initial ideal. However, we show that it is not possible to formulate an algorithm – based on analyzing only the leading ideal – that transforms an ideal into a position, which allows us to directly receive this invariant from the leading ideal. So in general we can not read off the reduction number of a Pommaret basis. This result motivates a deeper investigation of which properties a coordinate system must possess so that we can determine the reduction number easily, i.e. by analyzing the leading ideal. This approach leads to the introduction of some generalized versions of the mentioned stable positions, such as the weakly D-stable or weakly D-minimal stable position. The latter represents a coordinate system that allows to determine the reduction number without any further computations. Finally, we introduce the notion of β-maximal position, which provides lots of interesting algebraic properties. In particular, this position is in combination with weakly D-stable sufficient for the weakly D-minimal stable position and so possesses a connection to the reduction number.

Development of N N SMRT for N a power of 2 and its Applications in Image Enhancement

Digital Image Processing is a rapidly evolving eld with growing applications in Science and Engineering. It involves changing the nature of an image in order to either improve its pictorial information for human interpretation or render it more suitable for autonomous machine perception. One of the major areas of image processing for human vision applications is image enhancement. The principal goal of image enhancement is to improve visual quality of an image, typically by taking advantage of the response of human visual system. Image enhancement methods are carried out usually in the pixel domain. Transform domain methods can often provide another way to interpret and understand image contents. A suitable transform, thus selected, should have less computational complexity. Sequency ordered arrangement of unique MRT (Mapped Real Transform) coe cients can give rise to an integer-to-integer transform, named Sequency based unique MRT (SMRT), suitable for image processing applications. The development of the SMRT from UMRT (Unique MRT), forward & inverse SMRT algorithms and the basis functions are introduced. A few properties of the SMRT are explored and its scope in lossless text compression is presented.

The Performance Characteristics of a Surface-Modified Cutting Tool

In the past, many papers have been presented which show that the coating of cutting tools often yields decreased wear rates and reduced coefficients of friction. Although different theories are proposed, covering areas such as hardness theory, diffusion barrier theory, thermal barrier theory, and reduced friction theory, most have not dealt with the question of how and why the coating of tool substrates with hard materials such as Titanium Nitride (TiN), Titanium Carbide (TiC) and Aluminium Oxide (Al203) transforms the performance and life of cutting tools. This project discusses the complex interrelationship that encompasses the thermal barrier function and the relatively low sliding friction coefficient of TiN on an undulating tool surface, and presents the result of an investigation into the cutting characteristics and performance of EDMed surface-modified carbide cutting tool inserts. The tool inserts were coated with TiN by the physical vapour deposition (PVD) method. PVD coating is also known as Ion-plating which is the general term of the coating method in which the film is created by attracting ionized metal vapour in this the metal was Titanium and ionized gas onto negatively biased substrate surface. Coating by PVD was chosen because it is done at a temperature of not more than 5000C whereas chemical Vapour Deposition CVD process is done at very high temperature of about 8500C and in two stages of heating up the substrates. The high temperatures involved in CVD affects the strength of the (tool) substrates. In this study, comparative cutting tests using TiN-coated control specimens with no EDM surface structures and TiN-coated EDMed tools with a crater-like surface topography were carried out on mild steel grade EN-3. Various cutting speeds were investigated, up to an increase of 40% of the tool manufacturer’s recommended speed. Fifteen minutes of cutting were carried out for each insert at the speeds investigated. Conventional tool inserts normally have a tool life of approximately 15 minutes of cutting. After every five cuts (passes) microscopic pictures of the tool wear profiles were taken, in order to monitor the progressive wear on the rake face and on the flank of the insert. The power load was monitored for each cut taken using an on-board meter on the CNC machine to establish the amount of power needed for each stage of operation. The spindle drive for the machine is an 11 KW/hr motor. Results obtained confirmed the advantages of cutting at all speeds investigated using EDMed coated inserts, in terms of reduced tool wear and low power loads. Moreover, the surface finish on the workpiece was consistently better for the EDMed inserts. The thesis discusses the relevance of the finite element method in the analysis of metal cutting processes, so that metal machinists can design, manufacture and deliver goods (tools) to the market quickly and on time without going through the hassle of trial and error approach for new products. Improvements in manufacturing technologies require better knowledge of modelling metal cutting processes. Technically the use of computational models has a great value in reducing or even eliminating the number of experiments traditionally used for tool design, process selection, machinability evaluation, and chip breakage investigations. In this work, much interest in theoretical and experimental investigations of metal machining were given special attention. Finite element analysis (FEA) was given priority in this study to predict tool wear and coating deformations during machining. Particular attention was devoted to the complicated mechanisms usually associated with metal cutting, such as interfacial friction; heat generated due to friction and severe strain in the cutting region, and high strain rates. It is therefore concluded that Roughened contact surface comprising of peaks and valleys coated with hard materials (TiN) provide wear-resisting properties as the coatings get entrapped in the valleys and help reduce friction at chip-tool interface. The contributions to knowledge: a. Relates to a wear-resisting surface structure for application in contact surfaces and structures in metal cutting and forming tools with ability to give wear-resisting surface profile. b. Provide technique for designing tool with roughened surface comprising of peaks and valleys covered in conformal coating with a material such as TiN, TiC etc which is wear-resisting structure with surface roughness profile compose of valleys which entrap residual coating material during wear thereby enabling the entrapped coating material to give improved wear resistance. c. Provide knowledge for increased tool life through wear resistance, hardness and chemical stability at high temperatures because of reduced friction at the tool-chip and work-tool interfaces due to tool coating, which leads to reduced heat generation at the cutting zones. d. Establishes that Undulating surface topographies on cutting tips tend to hold coating materials longer in the valleys, thus giving enhanced protection to the tool and the tool can cut faster by 40% and last 60% longer than conventional tools on the markets today.

Allusion and Cultural Memory in Late Antiquity: Ausonius, Prudentius, and Claudian

Thesis (Ph.D.)--University of Washington, 2016-08

Some Inverse Problems in Analysis and Geometry

Thesis (Ph.D.)--University of Washington, 2016-08

Produção de CDR a partir de resíduos industriais: caso de estudo da Recivalongo

A produção de combustível derivado de resíduos (CDR) resultou de uma decisão política que permitiu a instalação em Portugal de um significativo conjunto de processos, cuja avaliação técnico-económica e ambiental pode já ser feita. Este trabalho faz uma avaliação técnica e ambiental da linha de produção de CDR da Recivalongo. A avaliação técnica consistiu na análise dos caudais de material que entraram na linha de produção, na quantidade de CDR produzido, contabilizando também os gastos de recursos da linha (energia e materiais auxiliares). A avaliação da qualidade de CDR produzido a partir do ensaio laboratorial representou também uma parte muito significativa do trabalho produzido. A avaliação ambiental foi efetuada com base na metodologia da Avaliação de Ciclo de Vida (ACV). Os resultados obtidos permitiram concluir que o processo da Recivalongo transforma 69% do material de entrada, recuperando 2% em metais ferrosos e rejeitando para aterro a restante fração de 29%. As análises efetuadas ao CDR mostraram que apresenta um PCI compreendido entre 17 e 20 MJ/kg; o teor em cloro está compreendido entre 0,2 e 0,8% Conclui-se que neste processo o parâmetro mais difícil de controlar é o teor em cloro no CDR, pois existe uma grande diversidade de resíduos com grandes quantidades de cloro na sua constituição e que por muitas vezes são difíceis de identificar e/ou separar na primeira fase do tratamento dos resíduos. Da análise ciclo de vida efetuada à produção de CDR pode-se afirmar que esta operação de gestão de resíduos apresenta uma mais-valia quando comparada com a deposição dos resíduos em aterro, não sendo a diferença entre destinos tão significativa quanto o esperado. Desta avaliação pode concluir-se que a instalação operou muito abaixo da sua capacidade, sendo esta considerada uma das melhores linhas de produção de CDR a nível nacional.

Novel inhibitors of the tRNA-dependent amidotransferase of "Helicobacter pylori": Peptides generated by phage display and dipeptide-like compounds

Cette thèse présente la découverte de nouveaux inhibiteurs de l’amidotransférase ARNt-dépendante (AdT), et résume les connaissances récentes sur la biosynthèse du Gln-ARNtGln et de l’Asn-ARNtAsn par la voie indirecte chez la bactérie Helicobacter pylori. Dans le cytoplasme des eucaryotes, vingt acides aminés sont liés à leur ARNt correspondant par vingt aminoacyl-ARNt synthétases (aaRSs). Ces enzymes sont très spécifiques, et leur fonction est importante pour le décodage correct du code génétique. Cependant, la plupart des bactéries, dont H. pylori, sont dépourvues d’asparaginyl-ARNt synthétase et/ou de glutaminyl-ARNt synthétase. Pour former le Gln-ARNtGln, H. pylori utilise une GluRS noncanonique nommée GluRS2 qui glutamyle spécifiquement l’ARNtGln ; ensuite, une AdT trimérique, la GatCAB corrige le Glu-ARNtGln mésapparié en le transamidant pour former le Gln-ARNtGln, qui lira correctement les codons glutamine pendant la biosynthèse des protéines sur les ribosomes. La formation de l’Asn-ARNtAsn est similaire à celle du Gln-ARNtGln, et utilise la même GatCAB et une AspRS non-discriminatrice. Depuis des années 2000, la GatCAB est considérée comme une cible prometteuse pour le développement de nouveaux antibiotiques, puisqu’elle est absente du cytoplasme de l’être humain, et qu’elle est encodée dans le génome de plusieurs bactéries pathogènes. Dans le chapitre 3, nous présentons la découverte par la technique du « phage display » de peptides cycliques riches en tryptophane et en proline, et qui inhibent l’activité de la GatCAB de H. pylori. Les peptides P10 (CMPVWKPDC) et P9 (CSAHNWPNC) inhibent cette enzyme de façon compétitive par rapport au substrat Glu-ARNtGln. Leur constante d’inhibition (Ki) est 126 μM pour P10, et 392 μM pour P9. Des modèles moléculaires ont montré qu’ils lient le site actif de la réaction de transmidation catalysée par la GatCAB, grâce à la formation d’une interaction π-π entre le résidu Trp de ces peptides et le résidu Tyr81 de la sous-unité GatB, comme fait le A76 3’-terminal de l’ARNt. Dans une autre étude concernant des petits composés contenant un groupe sulfone, et qui mimiquent l’intermédiaire de la réaction de transamidation, nous avons identifié des composés qui inhibent la GatCAB de H. pylori de façon compétitive par rapport au substrat Glu-ARNtGln. Cinq fois plus petits que les peptides cycliques mentionnés plus haut, ces composés inhibent l’activité de la GatCAB avec des Ki de 139 μM pour le composé 7, et de 214 μM pour le composé 4. Ces inhibiteurs de GatCAB pourraient être utiles pour des études mécanistiques, et pourraient être des molécules de base pour le développement de nouvelles classes d’antibiotiques contre des infections causées par H. pylori.