Under The Dual System: Children Of Rural-Hukou Migrants In China

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

COLLABORATIVE TESTING ACROSS SHARED SOFTWARE COMPONENTS

Large component-based systems are often built from many of the same components. As individual component-based software systems are developed, tested and maintained, these shared components are repeatedly manipulated. As a result there are often significant overlaps and synergies across and among the different test efforts of different component-based systems. However, in practice, testers of different systems rarely collaborate, taking a test-all-by-yourself approach. As a result, redundant effort is spent testing common components, and important information that could be used to improve testing quality is lost. The goal of this research is to demonstrate that, if done properly, testers of shared software components can save effort by avoiding redundant work, and can improve the test effectiveness for each component as well as for each component-based software system by using information obtained when testing across multiple components. To achieve this goal I have developed collaborative testing techniques and tools for developers and testers of component-based systems with shared components, applied the techniques to subject systems, and evaluated the cost and effectiveness of applying the techniques. The dissertation research is organized in three parts. First, I investigated current testing practices for component-based software systems to find the testing overlap and synergy we conjectured exists. Second, I designed and implemented infrastructure and related tools to facilitate communication and data sharing between testers. Third, I designed two testing processes to implement different collaborative testing algorithms and applied them to large actively developed software systems. This dissertation has shown the benefits of collaborative testing across component developers who share their components. With collaborative testing, researchers can design algorithms and tools to support collaboration processes, achieve better efficiency in testing configurations, and discover inter-component compatibility faults within a minimal time window after they are introduced.

Investigation of the roles of CheD in the Bacillus subtilis chemotactic signal transduction

Abstract The two-component based chemotaxis signal transduction system allows flagellated bacteria to sense their surrounding chemical environment and move towards more favorable conditions. The attractant signals can be sensed by transmembrane chemoreceptors, and then transmitted to the histidine kinase CheA. Once activated, CheA interacts with the response regulator CheY through phosphorelay, which causes a change in the rotation of the flagella. The direction of flagella rotation determines whether a cell swims straight or just tumbles. Cells also need adaptation to respond to a change in chemical concentrations, and return to their prestimulated level. Adaptation in the B. subtilis chemotaxis system is achieved by three coordinated systems: the methylation system, the CheC/CheD/CheY-p system and the CheV system. CheD, the previously identified receptor deamidase, was shown to be critical to the ability of B. subtilis to perform chemotaxis and is the main focus of this study. This study started from characterization of the enzymatic mechanism of CheD. Results showed that CheD deamidase uses a cysteine hydrolase mechanism. The catalytic triad consisting of Cys33-His50-Thr27, and Ser27 is essential for receptor recognition and binding. In addition, in this study CheC was found to inhibit CheD’s deamidase activity. Through mutant screening, Phe102 on CheD was found to be the essential site to interact with CheC. Furthermore, the CheD/CheC interaction is necessary for the robust chemotaxis in vivo as demonstrated by the cheD (F102E) mutant, which lacks the ability to swim on swarm plates. Despite its deamidase activity, we hypothesized that CheD’s main role is its involvement in the CheD-CheC-CheY-p negative feedback pathway during adaptation. In particular, CheD is likely to help stabilize the transient kinase-activating state through binding to receptors. When CheY-p level is increased, CheC-CheY-p complex may attract CheD away from receptors. In this study, CheC-CheD binding kinetics with CheY or CheYp presence was successfully obtained by a series of SPR experiments. The increased affinity of CheD for CheC in presence of CheYp but not CheY makes likely the hypothesis that CheC-CheD-CheY interact as part of a negative feedback pathway during adaptation. Last, the interaction between CheD and chemoreceptor McpC was studied in order to better understand the role of CheD in adaptation. Results showed that Q304 and Q305 on McpC are essential to recruit CheD. Additionally, the reduced levels of CheD in mcpC (Q304A) or (Q305A) mutants suggested that the dynamic interaction between CheD and receptors is vital to maintain the normal CheD level. These findings suggest more complicated roles of CheD than its previously identified function as a receptor deamidase, and will lead to a clearer picture of the coordination of the three adaptational systems in the B. subtilis chemotactic sensory transduction system.

Hybrid mathematical and informational modeling of beam-to-column connections

The analysis of steel and composite frames has traditionally been carried out by idealizing beam-to-column connections as either rigid or pinned. Although some advanced analysis methods have been proposed to account for semi-rigid connections, the performance of these methods strongly depends on the proper modeling of connection behavior. The primary challenge of modeling beam-to-column connections is their inelastic response and continuously varying stiffness, strength, and ductility. In this dissertation, two distinct approaches—mathematical models and informational models—are proposed to account for the complex hysteretic behavior of beam-to-column connections. The performance of the two approaches is examined and is then followed by a discussion of their merits and deficiencies. To capitalize on the merits of both mathematical and informational representations, a new approach, a hybrid modeling framework, is developed and demonstrated through modeling beam-to-column connections. Component-based modeling is a compromise spanning two extremes in the field of mathematical modeling: simplified global models and finite element models. In the component-based modeling of angle connections, the five critical components of excessive deformation are identified. Constitutive relationships of angles, column panel zones, and contact between angles and column flanges, are derived by using only material and geometric properties and theoretical mechanics considerations. Those of slip and bolt hole ovalization are simplified by empirically-suggested mathematical representation and expert opinions. A mathematical model is then assembled as a macro-element by combining rigid bars and springs that represent the constitutive relationship of components. Lastly, the moment-rotation curves of the mathematical models are compared with those of experimental tests. In the case of a top-and-seat angle connection with double web angles, a pinched hysteretic response is predicted quite well by complete mechanical models, which take advantage of only material and geometric properties. On the other hand, to exhibit the highly pinched behavior of a top-and-seat angle connection without web angles, a mathematical model requires components of slip and bolt hole ovalization, which are more amenable to informational modeling. An alternative method is informational modeling, which constitutes a fundamental shift from mathematical equations to data that contain the required information about underlying mechanics. The information is extracted from observed data and stored in neural networks. Two different training data sets, analytically-generated and experimental data, are tested to examine the performance of informational models. Both informational models show acceptable agreement with the moment-rotation curves of the experiments. Adding a degradation parameter improves the informational models when modeling highly pinched hysteretic behavior. However, informational models cannot represent the contribution of individual components and therefore do not provide an insight into the underlying mechanics of components. In this study, a new hybrid modeling framework is proposed. In the hybrid framework, a conventional mathematical model is complemented by the informational methods. The basic premise of the proposed hybrid methodology is that not all features of system response are amenable to mathematical modeling, hence considering informational alternatives. This may be because (i) the underlying theory is not available or not sufficiently developed, or (ii) the existing theory is too complex and therefore not suitable for modeling within building frame analysis. The role of informational methods is to model aspects that the mathematical model leaves out. Autoprogressive algorithm and self-learning simulation extract the missing aspects from a system response. In a hybrid framework, experimental data is an integral part of modeling, rather than being used strictly for validation processes. The potential of the hybrid methodology is illustrated through modeling complex hysteretic behavior of beam-to-column connections. Mechanics-based components of deformation such as angles, flange-plates, and column panel zone, are idealized to a mathematical model by using a complete mechanical approach. Although the mathematical model represents envelope curves in terms of initial stiffness and yielding strength, it is not capable of capturing the pinching effects. Pinching is caused mainly by separation between angles and column flanges as well as slip between angles/flange-plates and beam flanges. These components of deformation are suitable for informational modeling. Finally, the moment-rotation curves of the hybrid models are validated with those of the experimental tests. The comparison shows that the hybrid models are capable of representing the highly pinched hysteretic behavior of beam-to-column connections. In addition, the developed hybrid model is successfully used to predict the behavior of a newly-designed connection.

Extracting reusable document components for variable data printing

Variable Data Printing (VDP) has brought new flexibility and dynamism to the printed page. Each printed instance of a specific class of document can now have different degrees of customized content within the document template. This flexibility comes at a cost. If every printed page is potentially different from all others it must be rasterized separately, which is a time-consuming process. Technologies such as PPML (Personalized Print Markup Language) attempt to address this problem by dividing the bitmapped page into components that can be cached at the raster level, thereby speeding up the generation of page instances. A large number of documents are stored in Page Description Languages at a higher level of abstraction than the bitmapped page. Much of this content could be reused within a VDP environment provided that separable document components can be identified and extracted. These components then need to be individually rasterisable so that each high-level component can be related to its low-level (bitmap) equivalent. Unfortunately, the unstructured nature of most Page Description Languages makes it difficult to extract content easily. This paper outlines the problems encountered in extracting component-based content from existing page description formats, such as PostScript, PDF and SVG, and how the differences between the formats affects the ease with which content can be extracted. The techniques are illustrated with reference to a tool called COG Extractor, which extracts content from PDF and SVG and prepares it for reuse.

A informação estatística na tomada de decisão das Bibliotecas do Ensino Superior em Portugal

Este estudo procurou, por um lado, caracterizar as bibliotecas das Universidades públicas portuguesas em termos de recolha de dados estatísticos, seu tratamento e posterior utilização na gestão e tomada de decisão nessas bibliotecas. Por outro lado, procurou auscultar a satisfação do staff e a satisfação dos utilizadores dessas mesmas bibliotecas. Além desta competente mais descritiva, este estudo incluiu também uma componente explicativa baseada num modelo teórico que sugere, primeiramente, a existência de uma relação entre a utilização de informação estatística (IE) na gestão e tomada de decisão e a satisfação do staff e a satisfação dos utilizadores. E, seguidamente, a presença de uma relação de interdependência entre o grau de satisfação do staff e o grau de satisfação dos utilizadores, tal como é sugerido pela teoria da cadeia de lucro na prestação de serviços (Heskett et al., 1994). Foi possível apurar a existência de uma cultura de recolha de dados estatísticos, tratamento e utilização dessa informação para a gestão e tomada de decisão entre as bibliotecas participantes. O estudo também revela que a recolha e utilização de IE tem um impacto positivo na satisfação dos utilizadores, mas afecta negativamente a satisfação do staff com o ambiente de trabalho. / ABSTRACT; This study characterizes the Portuguesa Higher Education Libraries with respect to the collection of data, its statistical analysis and subsequent use in the management and decision making of these Libraries. ln addition, the study also tried to obtain information on the level of satisfaction of staff and users in the same Libraries. Besides this descriptive component, this study includes an explicative component based on a theoretical model. This model first suggests the existence of a positive relationship between the use of statistical information in management and decision making in a Library and the level of satisfaction of users and staff. A second prediction of the model is the existence of an interdependence relationship between the level of satisfaction of the staff and the level of satisfaction of the users, as it is suggesting by the service-profit-chain theory (Heskett et al., 1994). The results reveal the existence of a culture of data collection, statistical analysis of the data and subsequent use in management and decision making among the participant libraries. The study also shows that the collection and use of statistical information has a positive impact on the level of satisfaction of the users but a negative impact on the level of satisfaction of staff regarding the job environment.

TcT: Tyrolean Complexity Tool

International audience

A contrainsurgência na atualidade : Ambiente OTAN

O presente trabalho de investigação versa sobre o tema “A contrainsurgência na atualidade: ambiente Organização do Tratado Atlântico Norte”. O objetivo desta investigação será identificar quais os aspetos a melhorar na organização, no aprontamento e nos meios necessários para uma Quick Reaction Force enfrentar um adversário insurgente num teatro de operações de uma força da Organização do Tratado Atlântico Norte. Pretende-se analisar o emprego das Forças Comandos integrando os módulos do Apoio de Combate e Apoio de Serviços. Assim, esta investigação iniciar-se-á com uma componente teórica, fundamentada numa pesquisa bibliográfica, seguida de uma componente prática, correspondente à realização de entrevistas que permitiram obter respostas para a questão central em apreço. Estas duas componentes culminam com a conclusão resultante do processo de investigação. O presente trabalho de investigação aplicada permitiu concluir que, relativamente à organização, a força de Comandos, integrada com os seus módulos provou ser a adequada para o cumprimento da missão de Quick Reaction Force, denotando, ainda assim, carência relativamente à inclusão de equipas de desativação de engenhos explosivos. O treino da força provou ser o adequado, estando relacionado com o tipo de tarefas que efetivamente foram realizadas no Afeganistão. Nos meios que equipavam a força, apesar de adequados, constatou-se que seria necessária uma atualização relativamente às versões dos mesmos.

Direitos Fundamentais e uso de meios coercivos

A presente dissertação tem por escopo um estudo comparado sobre os direitos fundamentais e o uso de meios coercivos na actuação das forças de segurança no Estado de direito democrático, em Cabo Verde e Portugal. Em primeiro lugar, analisam-se os direitos fundamentais susceptíveis de serem postos em causa pelas forças de segurança, quando estas têm que fazer uso dos meios coercivos no cumprimento da sua missão. Neste sentido, destaca-se a importância da qualificação dos elementos policiais na defesa e protecção dos direitos, liberdades e garantias dos cidadãos. Ao longo do trabalho procura-se demonstrar que a protecção dos direitos fundamentais pelas forças de segurança é indissociável do conhecimento do regime de tais direitos. Em termos metodológicos, este trabalho tem uma componente comparativa, assente no cotejo dos ordenamentos jurídicos de Cabo Verde e de Portugal, apoiado em consultas bibliográficas. Resolvemos ocupar-nos desta temática em virtude da sua importância para a organização policial, com vista a contribuir para a adopção de métodos adequados, visando habilitar os agentes policiais de Cabo Verde a melhor garantir os direitos fundamentais. Os objectivos do estudo foram alcançados, permitindo-nos concluir que os pressupostos e requisitos legais do uso de meios coercivos em Cabo Verde podem gerar equívocos na sua correcta aplicação, pelo que se torna premente a implementação de uma instrução de serviço ou norma de execução permanente (NEP), à semelhança daquela que existe na Polícia de Segurança Pública portuguesa.

Hilbert Space Valued Signal Plus Noise Models: Analysis of Structural Breaks under High Dimensionality and Temporal Dependence

This thesis is concerned with change point analysis for time series, i.e. with detection of structural breaks in time-ordered, random data. This long-standing research field regained popularity over the last few years and is still undergoing, as statistical analysis in general, a transformation to high-dimensional problems. We focus on the fundamental »change in the mean« problem and provide extensions of the classical non-parametric Darling-Erdős-type cumulative sum (CUSUM) testing and estimation theory within highdimensional Hilbert space settings. In the first part we contribute to (long run) principal component based testing methods for Hilbert space valued time series under a rather broad (abrupt, epidemic, gradual, multiple) change setting and under dependence. For the dependence structure we consider either traditional m-dependence assumptions or more recently developed m-approximability conditions which cover, e.g., MA, AR and ARCH models. We derive Gumbel and Brownian bridge type approximations of the distribution of the test statistic under the null hypothesis of no change and consistency conditions under the alternative. A new formulation of the test statistic using projections on subspaces allows us to simplify the standard proof techniques and to weaken common assumptions on the covariance structure. Furthermore, we propose to adjust the principal components by an implicit estimation of a (possible) change direction. This approach adds flexibility to projection based methods, weakens typical technical conditions and provides better consistency properties under the alternative. In the second part we contribute to estimation methods for common changes in the means of panels of Hilbert space valued time series. We analyze weighted CUSUM estimates within a recently proposed »high-dimensional low sample size (HDLSS)« framework, where the sample size is fixed but the number of panels increases. We derive sharp conditions on »pointwise asymptotic accuracy« or »uniform asymptotic accuracy« of those estimates in terms of the weighting function. Particularly, we prove that a covariance-based correction of Darling-Erdős-type CUSUM estimates is required to guarantee uniform asymptotic accuracy under moderate dependence conditions within panels and that these conditions are fulfilled, e.g., by any MA(1) time series. As a counterexample we show that for AR(1) time series, close to the non-stationary case, the dependence is too strong and uniform asymptotic accuracy cannot be ensured. Finally, we conduct simulations to demonstrate that our results are practically applicable and that our methodological suggestions are advantageous.

Progetto DERNetSoft: design e sviluppo di un'app mobile per un futuro più sostenibile

Da anni ormai siamo inconsapevolmente "in guerra" con la natura. Sfruttiamo e sprechiamo risorse naturali senza alcuna considerazione per le conseguenze. Le città sono considerate le principali fonti dei problemi ambientali e la regolamentazione del consumo energetico urbano è fondamentale per affrontare il cambiamento climatico globale. DERNetSoft Inc, start-up californiana, ha intravisto il problema come un’opportunità per creare un proprio business il cui scopo è quello di contribuire a costruire un futuro a basse emissioni di carbonio, fornendo un servizio tecnologico scalabile e conveniente per consentire la riduzione delle emissioni di gas a effetto serra a livello mondiale. Per farlo vengono utilizzati i concetti di DER Energy e Aggregation Energy. Nel volume di tesi si affrontano e descrivono la progettazione di un’applicazione mobile, multipiattaforma, sviluppata con il framework React Native. L’app sviluppata è supportata da un’architettura basata su dei micro servizi implementati tramite il cloud di Google. La principale funzionalità dell’applicazione sviluppata è quella di notificare gli utenti di un evento ELRP che, attraverso incentivi economici, promuove la riduzione del consumo energetico durante i periodi di forte stress o emergenza della rete elettrica.

A component- and connector-based approach for end-user composite web applications development

Enabling real end-user development is the next logical stage in the evolution of Internet-wide service-based applications. Successful composite applications rely on heavyweight service orchestration technologies that raise the bar far above end-user skills. This weakness can be attributed to the fact that the composition model does not satisfy end-user needs rather than to the actual infrastructure technologies. In our opinion, the best way to overcome this weakness is to offer end-to-end composition from the user interface to service invocation, plus an understandable abstraction of building blocks and a visual composition technique empowering end users to develop their own applications. In this paper, we present a visual framework for end users, called FAST, which fulfils this objective. FAST implements a novel composition model designed to empower non-programmer end users to create and share their own self-service composite applications in a fully visual fashion. We projected the development environment implementing this model as part of the European FP7 FAST Project, which was used to validate the rationale behind our approach.

Toroid inductor development for a SIC DC-DC converter up to 150kW, based on finite element method

Dissertação para a obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Development of a poly(L-Lactic acid) based drug release system

Dissertação de mestrado em Biofísica e Bionanossistemas

Development of bioreporter assays for the detection of bioavailability of long-chain alkanes based on the marine bacterium Alcanivorax borkumensis strain SK2.

Long-chain alkanes are a major component of crude oil and therefore potentially good indicators of hydrocarbon spills. Here we present a set of new bacterial bioreporters and assays that allow to detect long-chain alkanes. These reporters are based on the regulatory protein AlkS and the alkB1 promoter from Alcanivorax borkumensis SK2, a widespread alkane degrader in marine habitats. Escherichia coli cells with the reporter construct reacted strongly to octane in short-term (6 h) aqueous suspension assays but very slightly only to tetradecane, in line with what is expected from its low water solubility. In contrast, long-term assays (up to 5 days) with A. borkumensis bioreporters showed strong induction with tetradecane and crude oil. Gel-immobilized A. borkumensis reporter cells were used to demonstrate tetradecane and crude oil bioavailability at a distance from a source. Alcanivorax borkumensis bioreporters induced fivefold more rapid and more strongly when allowed physical contact with the oil phase in standing flask assays, suggesting a major contribution of adhered cells to the overall reporter signal. Using the flask assays we further demonstrated the effect of oleophilic nutrients and biosurfactants on oil availability and degradation by A. borkumensis. The fluorescence signal from flask assays could easily be captured with a normal digital camera, making such tests feasible to be carried out on, e.g. marine oil responder vessels in case of oil accidents.