A framework for efficient model transformations

The reported productivity gains while using models and model transformations to develop entire systems, after almost a decade of experience applying model-driven approaches for system development, are already undeniable benefits of this approach. However, the slowness of higher-level, rule based model transformation languages hinders the applicability of this approach to industrial scales. Lower-level, and efficient, languages can be used but productivity and easy maintenance seize to exist. The abstraction penalty problem is not new, it also exists for high-level, object oriented languages but everyone is using them now. Why is not everyone using rule based model transformation languages then? In this thesis, we propose a framework, comprised of a language and its respective environment, designed to tackle the most performance critical operation of high-level model transformation languages: the pattern matching. This framework shows that it is possible to mitigate the performance penalty while still using high-level model transformation languages.

Identificação de dano estrutural com base em análise modal

O presente trabalho procura mostrar as potencialidades das técnicas de monitorização estrutural, de detecção, localização e caracterização de dano através de alterações dos parâmetros modais. As características dinâmicas de vibração de uma estrutura são alteradas pela presença de dano, o que, representando uma perda física, conduz à consequente perda de rigidez. Este fenómeno é responsável por modificações nas frequências naturais, deslocamentos modais e respectivas derivadas. Este trabalho apresenta a curvatura das configurações modais como possível parâmetro de controlo na identificação de dano estrutural. Neste documento encontram-se vários estudos de sensibilidade realizados em três modelos distintos (viga bi-apoiada, viga em consola e pórtico encastrado) em que se pretende avaliar a fiabilidade do método das curvaturas. Foram também desenvolvidos estudos respeitantes às alterações das frequências naturais e às alterações de dois indicadores estatísticos, o MAC e o COMAC. Com base nos resultados do método das curvaturas foi desenvolvida uma Java Applet, que constitui uma ferramenta de cálculo que permite explorar as potencialidades do método das curvaturas modais na identificação de danos em várias estruturas. Esta aplicação foi desenvolvida no compilador NetBeans IDE.

Análise modal de um edifício de paredes de alvenaria resistente

O parque habitacional em Portugal é composto por um elevado número de edifícios antigos constituídos por paredes de alvenaria resistente. Nos últimos anos tem-se constatado um interesse crescente na preservação e reutilização dessas construções, por se encontrarem frequentemente em zonas históricas privilegiadas, e com potencial interesse de exploração económica. Estes motivos têm levado à realização de intervenções estruturais nesses edifícios, com vista à reorganização dos espaços, podendo desencadear alterações no seu comportamento estrutural. O objetivo primordial deste estudo é avaliar as alterações da resposta modal de um edifício de paredes de alvenaria resistente, sujeito a uma intervenção de remoção das paredes num dos seus fogos. Para tal, realizaram-se duas campanhas experimentais de identificação modal à vibração ambiente, com o intuito de determinar as propriedades dinâmicas da estrutura, antes e após a intervenção. Procedeu-se à elaboração de um modelo de elementos finitos da estrutura recorrendo ao programa de análise de estruturas SAP2000, que permitiu efetuar também a correspondente análise numérica do problema. Foi ainda realizada uma análise ao comportamento modal do edifício, onde se identificaram diversas hipóteses que influenciam a resposta dinâmica da estrutura, tendo sido desenvolvidos alguns modelos numéricos, com o objetivo de examinar nomeadamente a influência dos edifícios adjacentes, e da interação solo-estrutura, no comportamento global do edifício analisado.

Photochemical synthesis and functional transformations of bicyclic vinyl aziridines

Aziridines, a class of organic compounds containing a three membered heterocycle with a nitrogen atom, are extremely valuable molecules in organic and medicinal chemistry. They are frequently used as versatile precursors in the synthesis of natural products, and many biologically active molecules possess the aziridine moiety. The reactivity of aziridines has been studied, for example, in ring-opening reactions with thiols. However, not much interest seems to be given to reactions of aziridines in aqueous media, despite the numberless advantages of using water as solvent in organic chemistry. The nucleophilic ring-opening reaction of aziridines in aqueous media was here explored. Following the Kaplan aziridine synthetic methodology, in which pyridinium salts undergo a photochemical transformation to give bicyclic vinyl aziridines, new aziridines were synthetized. Their nucleophilic ring-opening reaction in water under physiological conditions was investigated and a range of sulphur, nitrogen, carbon and oxygen nucleophiles tested. Thiols, anilines and azide proved to be good nucleophiles to react with the aziridines, giving the ring-opening product in moderate to good yields. The best results were obtained with thiols, more specifically with cysteine-derived nucleophiles. Preliminary results show that these bicyclic vinyl aziridines can modify calcitonin, a peptide containing two cysteine amino acids residues, grating them the potential to be used in bioconjugation as ligands to cysteine-containing proteins, or even as enzyme inhibitors of, for example, cysteine proteases. Additionally, exploratory investigations suggest that the separation of both enantiomers of the bicyclic vinyl aziridine can be performed by taking advantage of an enzymatic methodology for the resolution of racemic secondary alcohols. Both enantiomers would be highly valuable as precursors in the synthesis of enantiomerically pure molecules, as no other method is currently reported for their separation.

Green's relations, regularity and abundancy for semigroups of quasi-onto transformations

Let V be an infinite-dimensional vector space and for every infinite cardinal n such that n≤dimV, let AE(V,n) denote the semigroup of all linear transformations of V whose defect is less than n. In 2009, Mendes-Gonçalves and Sullivan studied the ideal structure of AE(V,n). Here, we consider a similarly-defined semigroup AE(X,q) of transformations defined on an infinite set X. Quite surprisingly, the results obtained for sets differ substantially from the results obtained in the linear setting.

Las transformaciones de la burocracia provincial: capacidades del Estado en la provincia de Córdoba. Transformations of provincial bureaucracy: State´s capacities in the province of Córdoba.

A partir de las políticas de descentralización llevadas adelante en Argentina desde la década de los ochenta, las provincias han adquirido desde entonces una importante serie de nuevas funciones lo cual las ha obligado a ampliar y diversificar sus estructuras burocráticas y administrativas. Lo que este proyecto busca abordar es un análisis de las transformaciones ocurridas durante los últimos veinte años en la organización burocrática del estado provincial en Córdoba. El proyecto pretende indagar dos aspectos de la organización burocrática: por un lado, el diseño organizacional institucional (leyes de Ministerios) y la división del trabajo que ello implica; y por otro lado, los principales procesos administrativos transversales que articulan funcionalmente las diferentes áreas de la burocracia provincial (administración financiera y recursos humanos). A partir de ello nos interesa poner en relación estas transformaciones con los cambios que va experimentando la agenda gubernamental. Suponemos, en este sentido, que los cambios organizacionales responden a cambios en dicha agenda y a la relación de fuerzas políticas que va implícita en la conformación de las mismas. De este modo, nuestra hipótesis plantea que los cambios organizaciones generados por la transformación de las agendas se manifiestan de forma más inmediata en la dimensión del diseño organizacional, mientras que los procesos administrativos transversales experimentan cambios más graduales y no necesariamente vinculados a las transformaciones de la primera dimensión. El objetivo general es analizar las transformaciones de la Administración Pública Provincial (APP) en la provincia de Córdoba, a través de dos dimensiones (el diseño de la organización burocrática y los procesos administrativos transversales), desde el retorno a la democracia (1983) a la actualidad. La investigación será realizada a la luz de posturas epistemológicas y metodológicas que en las ciencias sociales sustentan la triangulación de métodos. Recurriremos tanto a fuentes documentales y estadísticas para reconstruir el proceso de transformación de la APP, como a entrevistas semiestructuradas con actores claves para indagar sobre las dimensiones identificadas en el proyecto. Se encuadra en lo que metodológicamente se denomina "estudio de caso". La investigación permitirá fortalecer el estudio de la administración y las organizaciones públicas, lo que representa una tarea altamente significativa (y necesaria) para el mejoramiento del sector público y las necesidades de la ciudadanía. El impacto esperable es la explicitación y sistematización de las transformaciones del aparato burocrático, que puedan ser observadas, mejoradas y desarrolladas por el conjunto de las carteras ministeriales, y la confección de estrategias y tecnologías de gestión que permitan incrementar las capacidades de la administración pública provincial en la realización de las políticas y la resolución de los problemas sociales.

Reine und mit einfachen Molekülen bedeckte (100)-Oberflächen von Natriumfluorid, Natriumchlorid und Rubidiumchlorid : Untersuchungen mittels Beugung langsamer Elektronen (LEED) und Fourier-Transformations-Infrarotspektroskopie (FTIRS)

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2013

Setting boundaries: brain dynamics of modal and amodal illusory shape completion in humans.

Normal visual perception requires differentiating foreground from background objects. Differences in physical attributes sometimes determine this relationship. Often such differences must instead be inferred, as when two objects or their parts have the same luminance. Modal completion refers to such perceptual "filling-in" of object borders that are accompanied by concurrent brightness enhancement, in turn termed illusory contours (ICs). Amodal completion is filling-in without concurrent brightness enhancement. Presently there are controversies regarding whether both completion processes use a common neural mechanism and whether perceptual filling-in is a bottom-up, feedforward process initiating at the lowest levels of the cortical visual pathway or commences at higher-tier regions. We previously examined modal completion (Murray et al., 2002) and provided evidence that the earliest modal IC sensitivity occurs within higher-tier object recognition areas of the lateral occipital complex (LOC). We further proposed that previous observations of IC sensitivity in lower-tier regions likely reflect feedback modulation from the LOC. The present study tested these proposals, examining the commonality between modal and amodal completion mechanisms with high-density electrical mapping, spatiotemporal topographic analyses, and the local autoregressive average distributed linear inverse source estimation. A common initial mechanism for both types of completion processes (140 msec) that manifested as a modulation in response strength within higher-tier visual areas, including the LOC and parietal structures, is demonstrated, whereas differential mechanisms were evident only at a subsequent time period (240 msec), with amodal completion relying on continued strong responses in these structures.

Chemical transformations of neolignans

Neolignans, generated by oxydative dimerization of propenylphenol and/or allylphenol, undergo further modifying steps. These biosynthetic reactions, confirmed in vitro, include Cope, retro-Claisen and Claisen rearrangements. Additionally acid catalysis effects convertions of bicyclo [3.2.1] octanoid neolignans into hydrobenzofuranoid neolignans, or inversely of hydrobenzofuranoid neolignans into bicyclo [3.2.1] octanoid neolignans, of hydrobenzofuranoid neolignans into futoenone type neolignans, of tetrahydrofuran neolignans into aryltetralin neolignans, as well as modifications by Friedel - Crafts reactions and the transformation of aryltetralin neolignans into arylindanones by pinacoline - pinacolone type rearrangement.

A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.