The Computer Input/Output Subsystem Education in an undergraduate introductory course: a Multiperspective Study

240 p.

On the thermal budget of Pahoehoe lava flows

In this thesis I investigate some aspects of the thermal budget of pahoehoe lava flows. This is done with a combination of general field observations, quantitative modeling, and specific field experiments. The results of this work apply to pahoehoe flows in general, even though the vast bulk of the work has been conducted on the lavas formed by the Pu'u 'O'o - Kupaianaha eruption of Kilauea Volcano on Hawai'i. The field observations rely heavily on discussions with the staff of the United States Geological Survey's Hawaiian Volcano Observatory (HVO), under whom I labored repeatedly in 1991-1993 for a period totaling about 10 months.

The quantitative models I have constructed are based on the physical processes observed by others and myself to be active on pahoehoe lava flows. By building up these models from the basic physical principles involved, this work avoids many of the pitfalls of earlier attempts to fit field observations with "intuitively appropriate" mathematical expressions. Unlike many earlier works, my model results can be analyzed in terms of the interactions between the different physical processes. I constructed models to: (1) describe the initial cooling of small pahoehoe flow lobes and (2) understand the thermal budget of lava tubes.

The field experiments were designed either to validate model results or to constrain key input parameters. In support of the cooling model for pahoehoe flow lobes, attempts were made to measure: (1) the cooling within the flow lobes, (2) the amount of heat transported away from the lava by wind, and (3) the growth of the crust on the lobes. Field data collected by Jones [1992], Hon et al. [1994b], and Denlinger [Keszthelyi and Denlinger, in prep.] were also particularly useful in constraining my cooling model for flow lobes. Most of the field observations I have used to constrain the thermal budget of lava tubes were collected by HVO (geological and geophysical monitoring) and the Jet Propulsion Laboratory (airborne infrared imagery [Realmuto et al., 1992]). I was able to assist HVO for part of their lava tube monitoring program and also to collect helicopterborne and ground-based IR video in collaboration with JPL [Keszthelyi et al., 1993].

The most significant results of this work are (1) the quantitative demonstration that the emplacement of pahoehoe and 'a'a flows are the fundamentally different, (2) confirmation that even the longest lava flows observed in our Solar System could have formed as low effusion rate, tube-fed pahoehoe flows, and (3) the recognition that the atmosphere plays a very important role throughout the cooling of history of pahoehoe lava flows. In addition to answering specific questions about the thermal budget of tube-fed pahoehoe lava flows, this thesis has led to some additional, more general, insights into the emplacement of these lava flows. This general understanding of the tube-fed pahoehoe lava flow as a system has suggested foci for future research in this part of physical volcanology.

Design, specification, and synthesis of aircraft electric power systems control logic

Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, ac- tuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based spec- ifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems. This thesis will focus on design considera- tions for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area.

This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller.

The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and dynamic state estimation is ex- plored. Given a set placement of sensors on an electric power system, measurements from these sensors can be used in conjunction with control logic to infer the state of the system.

Contribuição para o planejamento brasileiro de exploração de petróleo e gás natural através da formulação de uma política nacional de uso sustentável das reservas de petróleo e gás natural

Petróleo e gás natural são recursos naturais não renováveis que possuem grande participação na matriz energética mundial e tendência de crescimento na matriz nacional, cujo marco regulatório limita-se a definir critérios técnicos e procedimentais sem incorporar o modelo de sustentabilidade instituído pela Constituição Federal de 1988. A natureza finita dos recursos não renováveis, como o petróleo e o gás natural, exige uma visão do planejamento de sua exploração de longo prazo na definição dos objetivos e metas. Essa perspectiva de longo prazo traduz uma das preocupações do desenvolvimento sustentável: a garantia de direitos para as futuras gerações. Assim, ao procurar fornecer elementos para a tradução do modelo de desenvolvimento sustentável no arcabouço institucional e legal da indústria petrolífera vigente no Brasil, o presente trabalho busca contribuir para o aprimoramento da regulação petrolífera nacional e a qualidade de vida das gerações presentes e futuras. E, mais do que propor a elaboração de um projeto de lei, como modalidade de implantação de uma política pública, queremos contribuir para o fortalecimento das práticas e ações governamentais voltadas para a aplicação do desenvolvimento sustentável, consoante apregoa a Constituição Federal brasileira. Trata-se aqui de demonstrar, através de metodologia quali-quantitativa, a tese de que é possível incorporar o princípio constitucional de desenvolvimento sustentável na atividade de exploração e produção de petróleo e gás natural, formulando uma política pública que incorpore, no regime de propriedade do petróleo, a variável ambiental e o uso intergeracional que já haviam sido e continuam sendo aplicados a algumas fontes renováveis de energia. Inicialmente, identificamos a composição da matriz energética brasileira desde a inserção do petróleo como uma questão de Estado a partir dos anos 50 do século XX. Em seguida, analisamos a concepção legal e doutrinária para propor, então, a conceituação de um modelo de desenvolvimento energético sustentável, estruturante para a proposição de uma política nacional para a indústria petrolífera. Com base nessa conceituação, analisamos o marco regulatório e os procedimentos institucionais praticados atualmente para identificar as lacunas existentes no ordenamento a serem supridas pela política nacional proposta. A partir da análise dos contextos legal e institucional, e das políticas energética e ambiental, propomos a tradução de conceitos, objetivos, princípios e instrumentos num projeto de lei de Política Nacional de Uso Sustentável das Reservas de Petróleo e Gás Natural. Concluímos tecendo considerações gerais e específicas sobre a proposição aqui formulada com vistas ao aprimoramento do modelo nacional de gestão de recursos energéticos e ao fomento das discussões voltadas para a sustentabilidade das políticas públicas e as práticas privadas enraizadas na exploração irracional de recursos não renováveis

I. A seismotectonic study of the Middle America Subduction Zone. II. Lithosphere and upper mantle structure of the Canadian Shield and Eastern North America

This thesis consists of two separate parts. Part I (Chapter 1) is concerned with seismotectonics of the Middle America subduction zone. In this chapter, stress distribution and Benioff zone geometry are investigated along almost 2000 km of this subduction zone, from the Rivera Fracture Zone in the north to Guatemala in the south. Particular emphasis is placed on the effects on stress distribution of two aseismic ridges, the Tehuantepec Ridge and the Orozco Fracture Zone, which subduct at seismic gaps. Stress distribution is determined by studying seismicity distribution, and by analysis of 190 focal mechanisms, both new and previously published, which are collected here. In addition, two recent large earthquakes that have occurred near the Tehuantepec Ridge and the Orozco Fracture Zone are discussed in more detail. A consistent stress release pattern is found along most of the Middle America subduction zone: thrust events at shallow depths, followed down-dip by an area of low seismic activity, followed by a zone of normal events at over 175 km from the trench and 60 km depth. The zone of low activity is interpreted as showing decoupling of the plates, and the zone of normal activity as showing the breakup of the descending plate. The portion of subducted lithosphere containing the Orozco Fracture Zone does not differ significantly, in Benioff zone geometry or in stress distribution, from adjoining segments. The Playa Azul earthquake of October 25, 1981, M_s=7.3, occurred in this area. Body and surface wave analysis of this event shows a simple source with a shallow thrust mechanism and gives M_o=1.3x10²⁷ dyne-cm. A stress drop of about 45 bars is calculated; this is slightly higher than that of other thrust events in this subduction zone. In the Tehuantepec Ridge area, only minor differences in stress distribution are seen relative to adjoining segments. For both ridges, the only major difference from adjoining areas is the infrequency or lack of occurrence of large interplate thrust events.

Part II involves upper mantle P wave structure studies, for the Canadian shield and eastern North America. In Chapter 2, the P wave structure of the Canadian shield is determined through forward waveform modeling of the phases P_nl, P, and PP. Effects of lateral heterogeneity are kept to a minimum by using earthquakes just outside the shield as sources, with propagation paths largely within the shield. Previous mantle structure studies have used recordings of P waves in the upper mantle triplication range of 15-30°; however, the lack of large earthquakes in the shield region makes compilation of a complete P wave dataset difficult. By using the phase PP, which undergoes triplications at 30-60°, much more information becomes available. The WKBJ technique is used to calculate synthetic seismograms for PP, and these records are modeled almost as well as the P. A new velocity model, designated S25, is proposed for the Canadian shield. This model contains a thick, high-Q, high-velocity lid to 165 km and a deep low-velocity zone. These features combine to produce seismograms that are markedly different from those generated by other shield structure models. The upper mantle discontinuities in S25 are placed at 405 and 660 km, with a simple linear gradient in velocity between them. Details of the shape of the discontinuities are not well constrained. Below 405 km, this model is not very different from many proposed P wave models for both shield and tectonic regions.

Chapter 3 looks in more detail at recordings of P_nl in eastern North America. First, seismograms from four eastern North American earthquakes are analyzed, and seismic moments for the events are calculated. These earthquakes are important in that they are among the largest to have occurred in eastern North America in the last thirty years, yet in some cases were not large enough to produce many good long-period teleseismic records. A simple layer-over-a-halfspace model is used for the initial modeling, and is found to provide an excellent fit for many features of the observed waveforms. The effects on P_nl of varying lid structure are then investigated. A thick lid with a positive gradient in velocity, such as that proposed for the Canadian shield in Chapter 2, will have a pronounced effect on the waveforms, beginning at distances of 800 or 900 km. P_nl records from the same eastern North American events are recalculated for several lid structure models, to survey what kinds of variations might be seen. For several records it is possible to see likely effects of lid structure in the data. However, the dataset is too sparse to make any general observations about variations in lid structure. This type of modeling is expected to be important in the future, as the analysis is extended to more recent eastern North American events, and as broadband instruments make more high-quality regional recordings available.

五自由度纳米级定位精度机构的研制

提出一种新型的五自由度精密定位平台的工作原理及其设计方法。工作台采用压电陶瓷作为驱动元件，柔性导向机构实现平移及转动功能。整个工作台可由整块金属材料通过线切割加工制成，实现一体化加工，而且结构紧凑。并给出导向机构刚度计算公式及设计实例。

Construcción de una aplicación basada en modelos para la generación de guías de test integrados en la plataforma de ejecución de guías de práctica clínica AIDE-GTP

Este proyecto trata de abordar las transformaciones entre diferentes estándares para Test Informatizados, de manera automática, gracias a la Ingeniería dirigida por Modelos (MDE - Model Driven Engineer), para así obtener un estándar capaz de formar parte en una plataforma de ejecución de Guías de Práctica Clínica. Esto se consigue mediante la generación automática de Guías de Test, partiendo de Test Informatizados en los formatos estándar Aiken y Gift.

Gasto público em segurança e criminalidade: uma análise da eficácia e eficiência

Essa dissertação tem como objetivo analisar a eficiência e eficácia do gasto público em segurança nos estados brasileiros para o período 2005-2008, verificando se a baixa eficácia e/ou não significância encontrada na literatura pode ser explicada pela ineficiência na utilização dos recursos. Para alcançar os objetivos traçados, utilizamos a metodologia da Análise Envoltória de Dados para estimar a eficiência relativa entre os estados brasileiros, elaborando um ranking de eficiência entre os estados e separando-os em eficientes e ineficientes. Assim, dividimos a amostra em dois grupos: estados eficientes e ineficientes, permitindo estimar e comparar modelos de dados em painel para as duas amostras e no modelo geral. Além da elaboração de um ranking, que permitiu a comparação dos estados pelo critério da eficiência, os resultados do estudo apresentam evidências de que a eficácia dos gastos públicos em segurança está relacionada com a eficiência dos estados na utilização desses recursos.

Self-reported sitting time and physical activity: interactive associations with mental well-being and productivity in office employees

Background: Little is known about how sitting time, alone or in combination with markers of physical activity (PA), influences mental well-being and work productivity. Given the need to develop workplace PA interventions that target employees' health related efficiency outcomes; this study examined the associations between self-reported sitting time, PA, mental well-being and work productivity in office employees. Methods: Descriptive cross-sectional study. Spanish university office employees (n = 557) completed a survey measuring socio-demographics, total and domain specific (work and travel) self-reported sitting time, PA (International Physical Activity Questionnaire short version), mental well-being (Warwick-Edinburg Mental Well-Being Scale) and work productivity (Work Limitations Questionnaire). Multivariate linear regression analyses determined associations between the main variables adjusted for gender, age, body mass index and occupation. PA levels (low, moderate and high) were introduced into the model to examine interactive associations. Results: Higher volumes of PA were related to higher mental well-being, work productivity and spending less time sitting at work, throughout the working day and travelling during the week, including the weekends (p < 0.05). Greater levels of sitting during weekends was associated with lower mental well-being (p < 0.05). Similarly, more sitting while travelling at weekends was linked to lower work productivity (p < 0.05). In highly active employees, higher sitting times on work days and occupational sitting were associated with decreased mental well-being (p < 0.05). Higher sitting times while travelling on weekend days was also linked to lower work productivity in the highly active (p < 0.05). No significant associations were observed in low active employees. Conclusions: Employees' PA levels exerts different influences on the associations between sitting time, mental well-being and work productivity. The specific associations and the broad sweep of evidence in the current study suggest that workplace PA strategies to improve the mental well-being and productivity of all employees should focus on reducing sitting time alongside efforts to increase PA.

O sentido da técnica e a técnica sem sentido: dilemas do ato médico na hipermodernidade

A modernidade caracteriza-se por um período em que ocorreram profundas revoluções em curtos intervalos de tempo. Nela, o mundo analógico foi substituído, gradativamente, pelo digital e o mundo material passou a dividir espaço com a realidade virtual. Inicialmente representada pelo mito prometeico, a modernidade foi tomada pelo impulso fáustico que hoje se traduz no desejo de recriar a condição humana. Os tecnoprofetas da Inteligência Artificial anunciam para breve as maravilhas da pós-humanidade e se ocupam com criação de máquinas espirituais que, acreditam eles, libertarão o homem de sua condição orgânica. Ciente de que a sociedade se organiza em torno da ótica tecnocientífica e de que as inovações alteram significativamente o modo como a maioria dos seres humanos se relaciona com o tempo, com o espaço e com a vida, este estudo discute o modelo de desenvolvimento tecnológico, por entender que ele não mais constitui assunto de domínio exclusivamente técnico, mas, também, de interesse político. Ademais, com vistas a problematizar o que dá sentido à técnica, faz-se uma crítica ao modelo atual, no qual ela, a técnica, subordinada à razão intrumental, funciona como instrumento de alienação e discute as condições necessárias a sua democratização. O estudo começa examinando dois fenômenos considerados determinantes na configuração do cenário atual: o capitalismo cognitivo e a reificação-tecnológica, entendidos como construções monopolizadas pela ótica capital-tecnocientífica. A seguir, faz-se uma análise sobre as noções de técnica, tecnologia e razão técnica e discute-se o impacto do desenvolvimento tecnológico no ato médico. A medicina representa uma atividade de grande valor social para o bem estar humano, embora, nas últimas décadas, venha enfrentando uma quebra no vínculo de confiança entre médicos e pacientes, além de uma crise na identidade desse profissional que hoje enfrenta dificuldades para preservar sua autonomia, face ao mercado das novas tecnologias e estratégias de gestão. Nesse contexto, surgem novas questões a serem elaboradas e a serem respondidas por diferentes atores e áreas de conhecimento da sociedade que desejem contribuir com reflexões e propostas que façam frente aos problemas específicos de nosso tempo. O trabalho sugere, ainda, que noções como Vontade - no sentido arendtiano, ou como o Olhar atento - Josep Esquiról e como Habilidade artesanal - Richard Sennett, podem nos ajudar a compreender as incumbências de uma re-orientação ética, se quisermos construir um diálogo com a razão tecnocientífica em prol da liberdade humana.

Empatia e trajetórias de desenvolvimento em famílias de jovens do Rio de Janeiro

A empatia, definida como a habilidade de compartilhar, compreender e de expressar o entendimento dos pensamentos e sentimentos dos outros, tem sido amplamente estudada. As trajetórias de desenvolvimento, que representam os diversos caminhos que o desenvolvimento do self pode tomar, também têm sido amplamente estudadas por pesquisadores transculturais, geralmente em contextos prototípicos e envolvendo três modelos de desenvolvimento do self: autonomia, interdependência e autonomia relacionada. Estudos anteriores mostraram que os participantes do Rio de Janeiro tendem para a autonomia relacionada, equlibrando características autônomas e relacionais, que são parte do nosso ambiente sociocultural, no qual habilidades sociais, como a empatia, são requeridas. O desenvolvimento da empatia pode ser relacionado à demanda ambiental por comportamentos, de acordo com aspectos sociodemográficos e valores compartilhados. Esta tese visa apresentar dados de 106 famílias do Rio de Janeiro: pai (idade média M = 51,6 anos), mãe (idade média M = 48,3 anos) e seus filhos jovens (17-25 anos, idade média M = 20,9 anos, 67,9% mulheres). A maioria dos pais, mães e dos filhos tinham Ensino Superior incompleto ou acima. Este estudo objetivou investigar a relação entre empatia e os modelos de desenvolvimento de self e a transmissão transgeracional em contexto não prototípico. O Inventário de Empatia de Falcone e colaboradores (IE) foi utilizado para avaliar a empatia. As Escalas de Desenvolvimento do Self de Kağitçibaşi (EDS), (Self Autônomo (AutS), Self Interdependente (IntS) de Self Autônomo-Relacionado (ARS)) foram utilizadas para avaliar o modelo de desenvolvimento do self. Filhos também responderam quantas horas semanais conviviam com pais e mães. Testes t pareados mostraram, como esperado, que os escores de ARS foram os mais altos para todos os participantes. Correlações de Pearson foram feitas entre os escores de IE e EDS de ambos os pais e filhos. Os escores de ARS de pais, mães e filhos correlacionaram-se positivamente, assim como seus escores de IE. Examinando entre instrumentos, para pais e filhos, altos escores em ARS foram correlacionados a altos escores de IE. O tempo de convívio relatado entre pais e filhos correlacionou-se com IntS e IE dos pais. Para testar o modelo teórico proposto de ARS de pais e mães e dos filhos e a empatia de ambos os pais como preditores da empatia dos filhos, análises de regressão foram utilizadas. A empatia dos pais e das mães previu, separadamente, a empatia dos filhos, mas não em conjunto. Nenhum dos escores ARS dos participantes previu o IE dos filhos. Estes resultados favorecem a hipótese da prevalência de selves autônomo-relacionados no Rio de Janeiro. Pais, mães e filhos mostraram similaridades e tiveram relações importantes entre seus escores de EDS, assim como para o IE. Apesar de o modelo com todos juntos não ter sido significativo, separadamente o IE de pais e de mães predisse o IE dos filhos. Este resultado sugere que a empatia parental pode ter algum efeito sobre a dos filhos jovens, mas não o modelo parental de desenvolvimento do self, inesperadamente. De modo interessante, os pais apresentaram um papel importante no desenvolvimento de seus filhos

Low-order modelling of ducted flames with temporally varying equivalence ratio in realistic geometries

The interaction between unsteady heat release and acoustic pressure oscillations in gas turbines results in self-excited combustion oscillations which can potentially be strong enough to cause significant structural damage to the combustor. Correctly predicting the interaction of these processes, and anticipating the onset of these oscillations can be difficult. In recent years much research effort has focused on the response of premixed flames to velocity and equivalence ratio perturbations. In this paper, we develop a flame model based on the socalled G-Equation, which captures the kinematic evolution of the flame surfaces, under the assumptions of axisymmetry, and ignoring vorticity and compressibility. This builds on previous work by Dowling [1], Schuller et al. [2], Cho & Lieuwen [3], among many others, and extends the model to a realistic geometry, with two intersecting flame surfaces within a non-uniform velocity field. The inputs to the model are the free-stream velocity perturbations, and the associated equivalence ratio perturbations. The model also proposes a time-delay calculation wherein the time delay for the fuel convection varies both spatially and temporally. The flame response from this model was compared with experiments conducted by Balachandran [4, 5], and found to show promising agreement with experimental forced case. To address the primary industrial interest of predicting self-excited limit cycles, the model has then been linked with an acoustic network model to simulate the closed-loop interaction between the combustion and acoustic processes. This has been done both linearly and nonlinearly. The nonlinear analysis is achieved by applying a describing function analysis in the frequency domain to predict the limit cycle, and also through a time domain simulation. In the latter case, the acoustic field is assumed to remain linear, with the nonlinearity in the response of the combustion to flow and equivalence ratio perturbations. A transfer function from unsteady heat release to unsteady pressure is obtained from a linear acoustic network model, and the corresponding Green function is used to provide the input to the flame model as it evolves in the time domain. The predicted unstable frequency and limit cycle are in good agreement with experiment, demonstrating the potential of this approach to predict instabilities, and as a test bench for developing control strategies. Copyright © 2011 by ASME.

Linear gaussian computations for near-exact Bayesian Monte Carlo inference in skewed alpha-stable time series models

In this paper we study parameter estimation for time series with asymmetric α-stable innovations. The proposed methods use a Poisson sum series representation (PSSR) for the asymmetric α-stable noise to express the process in a conditionally Gaussian framework. That allows us to implement Bayesian parameter estimation using Markov chain Monte Carlo (MCMC) methods. We further enhance the series representation by introducing a novel approximation of the series residual terms in which we are able to characterise the mean and variance of the approximation. Simulations illustrate the proposed framework applied to linear time series, estimating the model parameter values and model order P for an autoregressive (AR(P)) model driven by asymmetric α-stable innovations. © 2012 IEEE.

Geometric phase of a bipartite system with Dzyaloshinski-Moriya interaction

The Berry phase of a bipartite system described by a Heisenberg XXZ model driven by a one-site magnetic field is investigated. The effect of the Dzyaloshinski-Moriya (DM) anisotropic interaction on the Berry phase is discussed. It is found that the DM interaction affects the Berry phase monotonously. and can also cause sudden change of the Berry phase for some weak magnetic field cases. (c) 2008 Elsevier B.V. All rights reserved.

一种支持软件过程控制和改进的主动度量模型

提出了一种支持软件过程控制与改进的主动度量模型 AMM(active measurement model)和度量方法.模型形式化描述了软件过程的目标、特征和度量指标等关键元素以及相互间的关系,给出了确定软件过程度量的原则、方法和步骤.基于该度量模型,软件组织一方面可以依据确定的过程目标,主动导出合适的度量过程;另一方面还可以依据度量的结果,识别过程改进的机会,并主动导出过程改进的方向.为正确的决策和成功的结果提供有效的支持.