Adding Run-Time Monitoring to UML-RT by Modifying the Papyrus-RT Code Generator

In Model-Driven Engineering (MDE), the developer creates a model using a language such as Unified Modeling Language (UML) or UML for Real-Time (UML-RT) and uses tools such as Papyrus or Papyrus-RT that generate code for them based on the model they create. Tracing allows developers to get insights such as which events occur and timing information into their own application as it runs. We try to add monitoring capabilities using Linux Trace Toolkit: next generation (LTTng) to models created in UML-RT using Papyrus-RT. The implementation requires changing the code generator to add tracing statements for the events that the user wants to monitor to the generated code. We also change the makefile to automate the build process and we create an Extensible Markup Language (XML) file that allows developers to view their traces visually using Trace Compass, an Eclipse-based trace viewing tool. Finally, we validate our results using three models we create and trace.

Historical Space Steps of Turkey: It Is High Time to Establish the Turkish Space Agency

This paper discusses the importance of space in today’s space driven world, the current space activities of Turkey, its space organizations with legislation background information and calls for the necessity for the establishment of the Turkish Space Agency (TSA). Firstly, the importance of space is given which is followed by a brief background and current space activities in Turkey. Then, the answers to why Turkey needs a National Space Agency are outlined by stating its expected role and duties. Additionally, the framework for space policy for Turkey is proposed and the findings are compared with other developing regional space actors. Lastly, it is proposed and demonstrated that Turkey is on the right track with its space policy and it is suggested that the establishment of the TSA is critical both for a coherent space policy and progress as well as the successful development of its national space industry, security and international space relations.

Integrated Monitoring of Mola mola Behaviour in Space and Time

Over the last decade, ocean sunfish movements have been monitored worldwide using various satellite tracking methods. This study reports the near-real time monitoring of fine-scale (< 10 m) behaviour of sunfish. The study was conducted in southern Portugal in May 2014 and involved satellite tags and underwater and surface robotic vehicles to measure both the movements and the contextual environment of the fish. A total of four individuals were tracked using custom-made GPS satellite tags providing geolocation estimates of fine-scale resolution. These accurate positions further informed sunfish areas of restricted search (ARS), which were directly correlated to steep thermal frontal zones. Simultaneously, and for two different occasions, an Autonomous Underwater Vehicle (AUV) video-recorded the path of the tracked fish and detected buoyant particles in the water column. Importantly, the densities of these particles were also directly correlated to steep thermal gradients. Thus, both sunfish foraging behaviour (ARS) and possibly prey densities, were found to be influenced by analogous environmental conditions. In addition, the dynamic structure of the water transited by the tracked individuals was described by a Lagrangian modelling approach. The model informed the distribution of zooplankton in the region, both horizontally and in the water column, and the resultant simulated densities positively correlated with sunfish ARS behaviour estimator (rs = 0.184, p<0.001). The model also revealed that tracked fish opportunistically displace with respect to subsurface current flow. Thus, we show how physical forcing and current structure provide a rationale for a predator’s fine-scale behaviour observed over a two weeks in May 2014.

Integrated Monitoring of Mola mola Behaviour in Space and Time

Over the last decade, ocean sunfish movements have been monitored worldwide using various satellite tracking methods. This study reports the near-real time monitoring of fine-scale (< 10 m) behaviour of sunfish. The study was conducted in southern Portugal in May 2014 and involved satellite tags and underwater and surface robotic vehicles to measure both the movements and the contextual environment of the fish. A total of four individuals were tracked using custom-made GPS satellite tags providing geolocation estimates of fine-scale resolution. These accurate positions further informed sunfish areas of restricted search (ARS), which were directly correlated to steep thermal frontal zones. Simultaneously, and for two different occasions, an Autonomous Underwater Vehicle (AUV) video-recorded the path of the tracked fish and detected buoyant particles in the water column. Importantly, the densities of these particles were also directly correlated to steep thermal gradients. Thus, both sunfish foraging behaviour (ARS) and possibly prey densities, were found to be influenced by analogous environmental conditions. In addition, the dynamic structure of the water transited by the tracked individuals was described by a Lagrangian modelling approach. The model informed the distribution of zooplankton in the region, both horizontally and in the water column, and the resultant simulated densities positively correlated with sunfish ARS behaviour estimator (rs = 0.184, p<0.001). The model also revealed that tracked fish opportunistically displace with respect to subsurface current flow. Thus, we show how physical forcing and current structure provide a rationale for a predator’s fine-scale behaviour observed over a two weeks in May 2014.

Redefining Urban Alleywalls: Urban Design for Active Public Space in Maynard Alley, Chinatown-International District, Seattle

Thesis (Master's)--University of Washington, 2016-06

Consumerism in urban Russia in the 1880s and 90s: Exploring conceptions of time, space, and modernity through bicycle and watch advertisements

This paper discusses the urban consumer culture in Moscow and Petersburg during the 1880s and 1890s and uses the consumption of bicycles and watches as a lens through which to explore changing perceptions of time and space within the experience of modernity at the end of the nineteenth century. Specifically, I argue that the way in which consumers and merchants constructed a dialogue of meaning around particular objects; the way in which objects are consumed by a culture gives insight into the values, morals, and tenure of that culture. The paper preferences newspaper ads and photographs as the mouthpieces of merchants and consumers respectively as they constructed a dialogue in the language of consumerism, and explores the ways in which both parties sought to assign meaning to objects during the experience of modernity. I am particularly interested in the way consumers perform elements of cultural modernity in photographs and how these instances of performance relate to their negotiation of modernity. The paper takes as its focus large section of the urban Russian population, much of whom can traditionally be called “middle class” but whose diversity has led me to the adoption of the term “consumer community,” and whose makeup is described in detail. The paper contributes to the continuing scholarly discourse on the makeup of the middle class in Russia and the social boundaries of late tsarist society. It speaks to the the developing sensibilities and values of a generation struggling to define itself in a rapidly changing world, to the ways in which conceptualizations of public and private space, as well as feminine and masculine space were redefined, and to the developing visual culture of the Russian consumer society, largely predicated on the display of objects to signify socially desirable traits. Whereas other explorations of consumer culture and advertisements have portrayed the relationship between merchants and consumers as a one-sided monologue in which merchants convince consumers that certain objects have cultural value, I emphasis the dialogue between merchants and consumers, and their mutual negotiation of cultural meaning through objects.

The code document's structure and analysis

The purpose of this paper is twofold. Firstly it presents a preliminary and ethnomethodologically-informed analysis of the way in which the growing structure of a particular program's code was ongoingly derived from its earliest stages. This was motivated by an interest in how the detailed structure of completed program `emerged from nothing' as a product of the concrete practices of the programmer within the framework afforded by the language. The analysis is broken down into three sections that discuss: the beginnings of the program's structure; the incremental development of structure; and finally the code productions that constitute the structure and the importance of the programmer's stock of knowledge. The discussion attempts to understand and describe the emerging structure of code rather than focus on generating `requirements' for supporting the production of that structure. Due to time and space constraints, however, only a relatively cursory examination of these features was possible. Secondly the paper presents some thoughts on the difficulties associated with the analytic---in particular ethnographic---study of code, drawing on general problems as well as issues arising from the difficulties and failings encountered as part of the analysis presented in the first section.

ANALYSIS OF MACROINVERTEBRATE COMMUNITIES IN SEASONAL WETLANDS THROUGH TIME, ACROSS SPACE, AND USING SPECIES TRAITS

Restoration of natural wetlands may be informed by macroinvertebrate community composition. Macroinvertebrate communities of wetlands are influenced by environmental characteristics such as vegetation, soil, hydrology, land use, and isolation. This dissertation explores multiple approaches to the assessment of wetland macroinvertebrate community composition, and demonstrates how these approaches can provide complementary insights into the community ecology of aquatic macroinvertebrates. Specifically, this work focuses on macroinvertebrates of Delmarva Bays, isolated seasonal wetlands found on Maryland’s eastern shore. A comparison of macroinvertebrate community change over a nine years in a restored wetland complex indicated that the macroinvertebrate community of a rehabilitated wetlands more rapidly approximated the community of a reference site than did a newly created wetland. The recovery of a natural macroinvertebrate community in the rehabilitated wetland indicated that wetland rehabilitation should be prioritized over wetland creation and long-term monitoring may be needed to evaluate restoration success. This study also indicated that characteristics of wetland vegetation reflected community composition. The connection between wetland vegetation and macroinvertebrate community composition led to a regional assessment of predaceous diving beetle (Coleoptera: Dytiscidae) community composition in 20 seasonal wetlands, half with and half without sphagnum moss (Sphagnum spp.). Species-level identifications indicated that wetlands with sphagnum support unique and diverse assemblages of beetles. These patterns suggest that sphagnum wetlands provide habitat that supports biodiversity on the Delmarva Peninsula. To compare traits of co-occurring beetles, mandible morphology and temporal and spatial variation were measured between three species of predaceous diving beetles. Based on mandible architecture, all species may consume similarly sized prey, but prey characteristics likely differ in terms of piercing force required for successful capture and consumption. Therefore, different assemblages of aquatic beetles may have different effects on macroinvertebrate community structure. Integrating community-level and species-level data strengthens the association between individual organisms and their ecological role. Effective restoration of imperiled wetlands benefits from this integration, as it informs the management practices that both preserve biodiversity and promote ecosystem services.

A principal component approach to space-based gravitational wave astronomy

The current approach to data analysis for the Laser Interferometry Space Antenna (LISA) depends on the time delay interferometry observables (TDI) which have to be generated before any weak signal detection can be performed. These are linear combinations of the raw data with appropriate time shifts that lead to the cancellation of the laser frequency noises. This is possible because of the multiple occurrences of the same noises in the different raw data. Originally, these observables were manually generated starting with LISA as a simple stationary array and then adjusted to incorporate the antenna's motions. However, none of the observables survived the flexing of the arms in that they did not lead to cancellation with the same structure. The principal component approach is another way of handling these noises that was presented by Romano and Woan which simplified the data analysis by removing the need to create them before the analysis. This method also depends on the multiple occurrences of the same noises but, instead of using them for cancellation, it takes advantage of the correlations that they produce between the different readings. These correlations can be expressed in a noise (data) covariance matrix which occurs in the Bayesian likelihood function when the noises are assumed be Gaussian. Romano and Woan showed that performing an eigendecomposition of this matrix produced two distinct sets of eigenvalues that can be distinguished by the absence of laser frequency noise from one set. The transformation of the raw data using the corresponding eigenvectors also produced data that was free from the laser frequency noises. This result led to the idea that the principal components may actually be time delay interferometry observables since they produced the same outcome, that is, data that are free from laser frequency noise. The aims here were (i) to investigate the connection between the principal components and these observables, (ii) to prove that the data analysis using them is equivalent to that using the traditional observables and (ii) to determine how this method adapts to real LISA especially the flexing of the antenna. For testing the connection between the principal components and the TDI observables a 10x 10 covariance matrix containing integer values was used in order to obtain an algebraic solution for the eigendecomposition. The matrix was generated using fixed unequal arm lengths and stationary noises with equal variances for each noise type. Results confirm that all four Sagnac observables can be generated from the eigenvectors of the principal components. The observables obtained from this method however, are tied to the length of the data and are not general expressions like the traditional observables, for example, the Sagnac observables for two different time stamps were generated from different sets of eigenvectors. It was also possible to generate the frequency domain optimal AET observables from the principal components obtained from the power spectral density matrix. These results indicate that this method is another way of producing the observables therefore analysis using principal components should give the same results as that using the traditional observables. This was proven by fact that the same relative likelihoods (within 0.3%) were obtained from the Bayesian estimates of the signal amplitude of a simple sinusoidal gravitational wave using the principal components and the optimal AET observables. This method fails if the eigenvalues that are free from laser frequency noises are not generated. These are obtained from the covariance matrix and the properties of LISA that are required for its computation are the phase-locking, arm lengths and noise variances. Preliminary results of the effects of these properties on the principal components indicate that only the absence of phase-locking prevented their production. The flexing of the antenna results in time varying arm lengths which will appear in the covariance matrix and, from our toy model investigations, this did not prevent the occurrence of the principal components. The difficulty with flexing, and also non-stationary noises, is that the Toeplitz structure of the matrix will be destroyed which will affect any computation methods that take advantage of this structure. In terms of separating the two sets of data for the analysis, this was not necessary because the laser frequency noises are very large compared to the photodetector noises which resulted in a significant reduction in the data containing them after the matrix inversion. In the frequency domain the power spectral density matrices were block diagonals which simplified the computation of the eigenvalues by allowing them to be done separately for each block. The results in general showed a lack of principal components in the absence of phase-locking except for the zero bin. The major difference with the power spectral density matrix is that the time varying arm lengths and non-stationarity do not show up because of the summation in the Fourier transform.

On Reasonable Space and Time Cost Models for the λ-Calculus

Slot and van Emde Boas Invariance Thesis states that a time (respectively, space) cost model is reasonable for a computational model C if there are mutual simulations between Turing machines and C such that the overhead is polynomial in time (respectively, linear in space). The rationale is that under the Invariance Thesis, complexity classes such as LOGSPACE, P, PSPACE, become robust, i.e. machine independent. In this dissertation, we want to find out if it possible to define a reasonable space cost model for the lambda-calculus, the paradigmatic model for functional programming languages. We start by considering an unusual evaluation mechanism for the lambda-calculus, based on Girard's Geometry of Interaction, that was conjectured to be the key ingredient to obtain a space reasonable cost model. By a fine complexity analysis of this schema, based on new variants of non-idempotent intersection types, we disprove this conjecture. Then, we change the target of our analysis. We consider a variant over Krivine's abstract machine, a standard evaluation mechanism for the call-by-name lambda-calculus, optimized for space complexity, and implemented without any pointer. A fine analysis of the execution of (a refined version of) the encoding of Turing machines into the lambda-calculus allows us to conclude that the space consumed by this machine is indeed a reasonable space cost model. In particular, for the first time we are able to measure also sub-linear space complexities. Moreover, we transfer this result to the call-by-value case. Finally, we provide also an intersection type system that characterizes compositionally this new reasonable space measure. This is done through a minimal, yet non trivial, modification of the original de Carvalho type system.

História do lazer na natureza no Rio de Janeiro entre 1779 e 1838 : um estudo de caso

Universidade Estadual de Campinas . Faculdade de Educação Física

Na "periferia" da quadra : educação fisica, cultura e sociabilidade na escola

Universidade Estadual de Campinas . Faculdade de Educação Física

Aspectos da educação do corpo no curriculo de pedagogia

Universidade Estadual de Campinas . Faculdade de Educação Física

Espaço para o tempo livre : considerações sobre lazer e apropriação do espaço urbano no Parque do Ibirapuera

Universidade Estadual de Campinas. Faculdade de Educação Física

As danças do sagrado no profano : transpondo tempos e espaços em rituais de candomble

Universidade Estadual de Campinas. Faculdade de Educação Física