HAT-P-30-WASP-51b is a hot-Jupiter exoplanet that orbits an F star every 2.8106 days at a distance of 0.0419 AU. Using the Spitzer Space Telescope in 2012 (Spitzer Program Number 70084) we observed two secondary eclipses at 3.6 and 4.5 μm. We present eclipse-depth measurements of 0.177 ± 0.018 % and 0.247 ± 0.024 % and estimate the infrared brightness temperatures to be 1990 ± 110 K and 2080 ± 130 K for these two channels, respectively, from an analysis using our Photometry for Orbits, Eclipses, and Transits (POET) pipeline. These may be grazing eclipses. We also refine its orbit using our own secondary-eclipse measurements in combination with radial- velocity and transit observations from both professional and amateur observers. Using only the phase of our secondary eclipses, we can constrain e cos(ω) where e is the orbital eccentricity and ω is the argument of periastron to 0.0058 ± 0.00094. This is the component of eccentricity in the plane of view,. This small but non-zero eccentricity is independent of the effects that stellar tides have on radial-velocity data. When including radial velocity data in our model, our Markov chain finds an e cos(ω) of 0.0043 ± 0.0007. We constrain the atmospheric temperature profile using our Bayesian Atmospheric Radiative Transfer code (BART), a large lower bound (700 km) for the scale height, and the potential for high quality transit spectroscopy observations.

在「設計易調整的電子病歷存取控管機制」論文中，針對病患隱私的保障，設計了一套XML格式的存取控管規則語言，讓安全管理者可以藉由設計安全組態檔，動態並細緻化地切換電子病歷的存取控管程式碼。根據前述論文的需求，我們建構出一套可融合於Eclipse開發平台中的存取規則編輯環境。除了具備XML編輯器的基本功能外，我們的編輯環境針對此存取控管規則語言提供使用者自訂屬性與規則變數的機制，以半自動化的方式免去記憶屬性值的困擾；並在存取規則的限制條件編修畫面當中，加入語法解析功能與基本格式驗證功能，協助使用者編輯限制條件，早期發現錯誤，大幅簡化安全管理人員設計存取控管規則的工作。 / This thesis presents a Configurable Editor for Specifying Access Control Rule in Electronic Medical Records based on the XML rule schema designed in another thesis, "Using Aspects to Implement Adaptable Access Control for Electronic Medical Records". Our editor is developed as a plug-in in the Eclipse development platform. It has three distinguished features. First, the user can configure the specific attributes and rule variables referenced in the rule schema and rule instances. Second, the user can edit access control rules as any XML documents and view the rules in multiple views, such as tree view. Third, the editor performs static checks on the constraints specified in the rules to provide early error detection. Thus, we argue that the editor will of significant help to the security administrators.

Cette thèse a pour sujet la conception de scénarios pédagogiques destinés à l'e-formation. Afin de faciliter les échanges de matériaux décrivant des stratégies pédagogiques, la communauté s'est récemment mobilisée pour proposer un langage standard suffisamment générique pour permettre la représentation de n'importe quel scénario, indépendant même du paradigme éducationnel sous-jacent. Appelé génériquement Educational Modeling Language (EML), ce type de langage engendre une nouvelle façon de concevoir des EIAH, en s'éloignant du traditionnel Instructional System Design, une fois que, au lieu de proposer une application finie, les EML proposent un modèle conceptuel standard, une notation pour l'exprimer et des éditeurs et frameworks, laissant aux concepteurs finaux la tâche de créer leurs propres « applications ». Les EMLs permettent alors la création et exécution d'instances de scénarios, dans une approche plus ouverte et flexible, augmentant, ainsi, les possibilités d'adaptation des applications résultantes aux besoins des usagers.<br />Cette flexibilité reste pourtant limitée et, après quelques années de recherche, les EMLs commencent à montrer ses faiblesses. En fait, le langage choisi pour devenir le standard du domaine, le IMS-LD, s'est montré générique, certes, mais peu expressive, ne permettant pas une représentation fidèle des divers scénarios existants. C'est à dire, c'est aux usagers de s'adapter à la syntaxe et sémantique de cet standard.<br />Cette thèse part d'un constat quant aux difficultés du processus de conception lui-même, et aux risques de coupure qu'il peut y avoir entre pédagogues et développeurs de logiciels. Pour améliorer la capacité des équipes pédagogiques à pouvoir spécifier, et même implémenter, des scénarios pédagogiques, nous proposons une approche où c'est l'EML qui doit s'adapter aux besoins de l'usager. L'usager a la possibilité de créer son propre langage (ou ses propres langages), s'il en a besoin. En plus, un même scénario peut être décrit en même temps par des différents EMLs (ou modèles) respectant des différents perspectives - et même paradigmes - de chaque stake holder. <br />Cette approche, appelée multi-EML, est possible grâce aux avancées récentes du génie logiciel, telle l'Architecture Dirigée par les Modèles – l'implémentation la plus connue d'un nouvel paradigme de programmation surnommé Languages Oriented Programming (LOP), qui inclut encore d'autres implémentations. <br />Notre proposition réside dans la conception d'un environnement informatique « auteur », qui repose sur les principes des Languages Oriented Programming, en utilisant la plateforme ouverte ECLIPSE et, plus particulièrement son implémentation du LOP, l'Eclipse Modeling Framework (EMF). Ainsi, les concepteurs auront un outil qui leur permettra de créer des spécifications formelles décrivant les scénarios envisagés et d'en générer automatiquement des applications correspondantes, dans un processus qui démarre avec les descriptions informelles des experts du domaine.<br />Reconnaissant que les experts d'éducation - ceux qui mieux comprennent le domaine - ne sont pas nécessairement des informaticiens, l'environnement proposé, appelé MDEduc, fournit aussi un éditeur permettant de décrire un scénario dans une notation informelle, à savoir le pattern pédagogique, à partir de laquelle les modèles formels peuvent être dérivés. En plus, nous proposons de garder côte à côte et en coïncidence ces descriptions en langage informelles, et les descriptions plus formelles et normatives et d'offrir la possibilité d'effectuer des allers-retours à toutes les phases du cycle de vie du dispositif pédagogique.

Model-driven software development (MDSD) and component-based software development are both paradigms for reducing complexity and for increasing abstraction and reuse in software development. In this thesis, we aim at combining the advantages of each by introducing methods from component-based development into MDSD. In MDSD, all artefacts that describe a software system are regarded as models of the system and are treated as the central development artefacts. To obtain a system implementation from such models, they are transformed and integrated until implementation code can be generated from them. Models in MDSD can have very different forms: they can be documents, diagrams, or textual specifications defined in different modelling languages. Integrating these models of different formats and abstraction in a consistent way is a central challenge in MDSD. We propose to tackle this challenge by explicitly separating the tasks of defining model components and composing model components, which is also known as distinguishing programming-in-the-small and programming-in-the-large. That is, we promote a separation of models into models for modelling-in-the-small (models that are components) and models for modelling-in-the-large (models that describe compositions of model components). To perform such component-based modelling, we introduce two architectural styles for developing systems with component-based MDSD (CB-MDSD). For CB-MDSD, we require a universal composition technique that can handle models defined in arbitrary modelling languages. A technique that can handle arbitrary textual languages is universal invasive software composition for code fragment composition. We extend this technique to universal invasive software composition for graph fragments (U-ISC/Graph) which can handle arbitrary models, including graphical and textual ones, as components. Such components are called graph fragments, because we treat each model as a typed graph and support reuse of partial models. To put the composition technique into practice, we developed the tool Reuseware that implements U-ISC/Graph. The tool is based on the Eclipse Modelling Framework and can therefore be integrated into existing MDSD development environments based on the framework. To evaluate the applicability of CB-MDSD, we realised for each of our two architectural styles a model-driven architecture with Reuseware. The first style, which we name ModelSoC, is based on the component-based development paradigm of multi-dimensional separation of concerns. The architecture we realised with that style shows how a system that involves multiple modelling languages can be developed with CB-MDSD. The second style, which we name ModelHiC, is based on hierarchical composition. With this style, we developed abstraction and reuse support for a large modelling language for telecommunication networks that implements the Common Information Model industry standard.

No description available.

Made available in DSpace on 2016-03-15T19:38:53Z (GMT). No. of bitstreams: 1 ALBERTO FARES AKEL JUNIOR.pdf: 5112998 bytes, checksum: f18fc33d2f9508c3ec265c0efa016b43 (MD5) Previous issue date: 2015-08-21 / Fundação de Amparo a Pesquisa do Estado de São Paulo / We study the behavior of the Earth-ionosphere waveguide through the modeling of the propagation of very low frequency radio waves (VLF). We use the computational model LWPC (Long Wave Propagation Capability) to estimate changes in amplitude and phase of the VLF signals detected by the SAVNET network (South America VLF NETwork), and thus try to understand the behavior of the lower ionosphere under different ionization conditions. The research was divided into two parts. The first part investigates the behavior of the VLF signals in quiescent regimes of ionization. Amplitude and phase simulations for the were carried out, modifying adapting polynomials for the &#946; and h parameters (or Wait s parameters) as a function of the zenithal angle. The second part of this research, uses these polynomials in the study of the lower ionosphere under transient ionization regimes in two distinct conditions: first during of solar flares and second during solar eclipse. For the simulations under solar flare conditions, we calculate the changes in &#946; and &#8462;&#8242; parameters during the 25/03/2008 solar explosion. With these values, we calculate the electronic density profile through an exponential model and we find that the electronic density at 75 km is &#8764; 104 cm&#8722;3, that is twenty times higher than during quiescent conditions. To evaluate our parameter estimates, we calculate the variation of the Wait s parameters for the case of twelve solar events of different classes. We note that the variations &#916;&#8462;&#8242; found in this work are larger than that in Muraoka, Murata e Sato (1977) because they consider the variations in the conductivity gradient. For the solar eclipse simulations on 11/07/2011, we investigate its effect on the VLF phase. For this, we use the obscuration coefficient to estimate the guide height variation along the whole path during the eclipse. The simulations reproduce the phase behavior during the eclipse. However, a delay of about twenty four minutes was observed between the simulated and observed measurements. The observed delay is a direct consequence of own estimates of the perturbed ionospheric height and it causal relation with the obscuration during the eclipse. lower ionosphere, VLF, modeling, ionospheric disturbances, solar flares, solar eclipse. / Neste trabalho realizamos o estudo do comportamento do guia de ondas terra-ionosfera através da modelagem da propagação ondas de rádio de frequência muito baixa (VLF). Para isto, utilizamos o modelo computacional LWPC (Long Wave Propagation Capability) para estimar as variações de amplitude e fase de sinais de VLF detectados nos trajetos da rede SAVNET (South America VLF NETwork) e assim compreender o comportamento da baixa ionosfera em diferentes regimes de ionização. A pesquisa foi dividida em duas partes. A primeira parte, investigou o comportamento do sinal VLF em regimes quiescente de ionização, assim realizou-se simulações de amplitude e fase adaptando polinômios que definem os parâmetros &#946; e &#8462;&#8242; (ou parâmetros de Wait) em função do ângulo zenital solar. Na segunda parte desta pesquisa, aplicou-se os polinômios no estudo da baixa ionosfera sob regimes transientes de ionização em duas condições distintas. A primeira para o caso de explosões solares e a segunda um para eclipse solar. Nas simulações relativas a explosões solares, calculamos as variações dos parâmetros &#946; e &#8462;&#8242; durante o evento do dia 25/03/2008. Com esses valores, calculamos o perfil de densidade eletrônica, através de um modelo exponencial e observamos que a densidade eletrônica em 75 km é &#8764; 104 cm&#8722;3, ou seja, vinte vezes maiores que antes da explosão. Para avaliar nossas estimativas, calculamos a variação dos parâmetros de Wait para doze eventos de diferentes classes. Observamos que as variações &#916;&#8462;&#8242; neste trabalho são sempre maiores do que as descritas em Muraoka, Murata e Sato (1977), devido elas considerarem as variações no gradiente de condutividade. Nas simulações relativa ao eclipse solar do dia 11/07/2011, investigamos seu efeito na fase observada. Para esse estudo, utilizou-se o coeficiente de obscurecimento para realizar as simulações, desta forma foi possível estimar a variação da altura do guia ao longo de todo o trajeto durante o eclipse. As simulações reproduziram o comportamento da fase durante o eclipse. Entretanto, foi observado um atraso entre as medidas calculadas e observadas de aproximadamente &#8764; vinte e quatro minutos. O atraso observado é diretamente decorrente da estimativa da altura de referência da ionosfera pertubada e de sua relação causal com o obscurecimento durante o eclipse.

Model-driven software development (MDSD) and component-based software development are both paradigms for reducing complexity and for increasing abstraction and reuse in software development. In this thesis, we aim at combining the advantages of each by introducing methods from component-based development into MDSD. In MDSD, all artefacts that describe a software system are regarded as models of the system and are treated as the central development artefacts. To obtain a system implementation from such models, they are transformed and integrated until implementation code can be generated from them. Models in MDSD can have very different forms: they can be documents, diagrams, or textual specifications defined in different modelling languages. Integrating these models of different formats and abstraction in a consistent way is a central challenge in MDSD. We propose to tackle this challenge by explicitly separating the tasks of defining model components and composing model components, which is also known as distinguishing programming-in-the-small and programming-in-the-large. That is, we promote a separation of models into models for modelling-in-the-small (models that are components) and models for modelling-in-the-large (models that describe compositions of model components). To perform such component-based modelling, we introduce two architectural styles for developing systems with component-based MDSD (CB-MDSD). For CB-MDSD, we require a universal composition technique that can handle models defined in arbitrary modelling languages. A technique that can handle arbitrary textual languages is universal invasive software composition for code fragment composition. We extend this technique to universal invasive software composition for graph fragments (U-ISC/Graph) which can handle arbitrary models, including graphical and textual ones, as components. Such components are called graph fragments, because we treat each model as a typed graph and support reuse of partial models. To put the composition technique into practice, we developed the tool Reuseware that implements U-ISC/Graph. The tool is based on the Eclipse Modelling Framework and can therefore be integrated into existing MDSD development environments based on the framework. To evaluate the applicability of CB-MDSD, we realised for each of our two architectural styles a model-driven architecture with Reuseware. The first style, which we name ModelSoC, is based on the component-based development paradigm of multi-dimensional separation of concerns. The architecture we realised with that style shows how a system that involves multiple modelling languages can be developed with CB-MDSD. The second style, which we name ModelHiC, is based on hierarchical composition. With this style, we developed abstraction and reuse support for a large modelling language for telecommunication networks that implements the Common Information Model industry standard.

Of key importance for metamodelling are appropriate modelling formalisms. Most metamodelling languages permit the development of metamodels that specify tree-structured models enriched with semantics like constraints, references and operations, which extend the models to graphs. However, often the semantics of these semantic constructs is not part of the metamodel, i.e., it is unspeci ed. Therefore, we propose to reuse well-known compiler construction techniques to specify metamodel semantics. To be more precise, we present the application of reference attribute grammars (RAGs) for metamodel semantics and analyse commonalities and differences. Our focus is to pave the way for such a combination, by exemplifying why and how the metamodelling and attribute grammar (AG) world can be combined and by investigating a concrete example - the combination of the Eclipse Modelling Framework (EMF) and JastAdd, an AG evaluator generator.

The domain-specific language allows for describing problems of a concrete domain, for which the language is created. This fact implies that a number of languages of this kind grows with a number of problem domains. The use of domain-specific languages brings a necessity to pretty-print these languages, where the concept of pretty-printing consists of code formatting and syntax highlighting. One of tools that allow for creating domain-specific languages is the Xtext framework, which offers only a limited range of tools that are able to define a configuration for pretty-printing. Moreover, these tools are hardly understandable because they are confusing and requires knowledge of Xtext's internals. Thus this thesis introduces a new way of pretty-printing domain-specific languages. The way is based on declarative definition of formatting rules. Furthermore, this thesis helps a user to create formatting rules by utilizing nontrivial heuristics.

abstract: Feedback represents a vital component of the learning process and is especially important for Computer Science students. With class sizes that are often large, it can be challenging to provide individualized feedback to students. Consistent, constructive, supportive feedback through a tutoring companion can scaffold the learning process for students. This work contributes to the construction of a tutoring companion designed to provide this feedback to students. It aims to bridge the gap between the messages the compiler delivers, and the support required for a novice student to understand the problem and fix their code. Particularly, it provides support for students learning about recursion in a beginning university Java programming course. Besides also providing affective support, a tutoring companion could be more effective when it is embedded into the environment that the student is already using, instead of an additional tool for the student to learn. The proposed Tutoring Companion is embedded into the Eclipse Integrated Development Environment (IDE). This thesis focuses on the reasoning model for the Tutoring Companion and is developed using the techniques of a neural network. While a student uses the IDE, the Tutoring Companion collects 16 data points, including the presence of certain key words, cyclomatic complexity, and error messages from the compiler, every time it detects an event, such as a run attempt, debug attempt, or a request for help, in the IDE. This data is used as inputs to the neural network. The neural network produces a correlating single output code for the feedback to be provided to the student, which is displayed in the IDE. The effectiveness of the approach is examined among 38 Computer Science students who solve a programming assignment while the Tutoring Companion assists them. Data is collected from these interactions, including all inputs and outputs for the neural network, and students are surveyed regarding their experience. Results suggest that students feel supported while working with the Companion and promising potential for using a neural network with an embedded companion in the future. Challenges in developing an embedded companion are discussed, as well as opportunities for future work. / Dissertation/Thesis / Masters Thesis Software Engineering 2019