Temporal confinement and enhancement of high-order harmonic emission with a synthesized laser field

We demonstrated that a synthesized laser field consisting of an intense long (45 fs, multi-optical-cycle) laser pulse and a weak short (7 fs, few-optical-cycle) laser pulse can control the electron dynamics and high-order harmonic generation in argon, and generate extreme ultraviolet supercontinuum towards the production of a single strong attosecond pulse. The long pulse offers a large amplitude field, and the short pulse creates a temporally narrow enhancement of the laser field and a gate for the highest energy harmonic emission. This scheme paves the way to generate intense isolated attosecond pulses with strong multi-optical-cycle laser pulses.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.

This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.

This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.

The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.

The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.

Phase-matching control of high-order harmonic generation in a two-color laser field

The phase-matching condition of high-order harmonic generation driven by intense few-cycle pulses could be controlled by adding second-harmonic pulses to change the ionization fraction of the gaseous medium. The harmonic generation efficiency could be improved by moving the phase-matching point with an all-optical control of the ionization fraction or a proper change of the confocal parameter. A specific order of harmonics could be easily controlled to reach phase matching at a fixed higher gas pressure by adding second-harmonic pulses with a suitable intensity. Such an all-optical phase-matching control was demonstrated to be dependent upon the temporal delay between the fundamental-wave and second harmonic pulses.

Efficient methods for stochastic optimal control

The Hamilton Jacobi Bellman (HJB) equation is central to stochastic optimal control (SOC) theory, yielding the optimal solution to general problems specified by known dynamics and a specified cost functional. Given the assumption of quadratic cost on the control input, it is well known that the HJB reduces to a particular partial differential equation (PDE). While powerful, this reduction is not commonly used as the PDE is of second order, is nonlinear, and examples exist where the problem may not have a solution in a classical sense. Furthermore, each state of the system appears as another dimension of the PDE, giving rise to the curse of dimensionality. Since the number of degrees of freedom required to solve the optimal control problem grows exponentially with dimension, the problem becomes intractable for systems with all but modest dimension.

In the last decade researchers have found that under certain, fairly non-restrictive structural assumptions, the HJB may be transformed into a linear PDE, with an interesting analogue in the discretized domain of Markov Decision Processes (MDP). The work presented in this thesis uses the linearity of this particular form of the HJB PDE to push the computational boundaries of stochastic optimal control.

This is done by crafting together previously disjoint lines of research in computation. The first of these is the use of Sum of Squares (SOS) techniques for synthesis of control policies. A candidate polynomial with variable coefficients is proposed as the solution to the stochastic optimal control problem. An SOS relaxation is then taken to the partial differential constraints, leading to a hierarchy of semidefinite relaxations with improving sub-optimality gap. The resulting approximate solutions are shown to be guaranteed over- and under-approximations for the optimal value function. It is shown that these results extend to arbitrary parabolic and elliptic PDEs, yielding a novel method for Uncertainty Quantification (UQ) of systems governed by partial differential constraints. Domain decomposition techniques are also made available, allowing for such problems to be solved via parallelization and low-order polynomials.

The optimization-based SOS technique is then contrasted with the Separated Representation (SR) approach from the applied mathematics community. The technique allows for systems of equations to be solved through a low-rank decomposition that results in algorithms that scale linearly with dimensionality. Its application in stochastic optimal control allows for previously uncomputable problems to be solved quickly, scaling to such complex systems as the Quadcopter and VTOL aircraft. This technique may be combined with the SOS approach, yielding not only a numerical technique, but also an analytical one that allows for entirely new classes of systems to be studied and for stability properties to be guaranteed.

The analysis of the linear HJB is completed by the study of its implications in application. It is shown that the HJB and a popular technique in robotics, the use of navigation functions, sit on opposite ends of a spectrum of optimization problems, upon which tradeoffs may be made in problem complexity. Analytical solutions to the HJB in these settings are available in simplified domains, yielding guidance towards optimality for approximation schemes. Finally, the use of HJB equations in temporal multi-task planning problems is investigated. It is demonstrated that such problems are reducible to a sequence of SOC problems linked via boundary conditions. The linearity of the PDE allows us to pre-compute control policy primitives and then compose them, at essentially zero cost, to satisfy a complex temporal logic specification.

Control of polarization signal distortion by frequency domain phase conjugation in optical fiber systems

Optical frequency domain phase conjugation (FDPC) is based on phase conjugation of spectrum of an input signal. It is equivalent to the phase conjugation and the time reversal of the temporal envelope of an input signal. The use of FDPC to control polarization signal distortion in birefringent optical fiber systems is proposed. Evolution of polarization signals in the system using midway FDPC is analyzed theoretically and simulated numerically. It is shown that the distortion of polarization signals can be controlled effectively by FDPC. The impairments due to dispersion and nonlinear effects can be suppressed simultaneously.

Tendência temporal do índice de massa corporal em alistados do Brasil (1980-2005)

Apesar da crescente prevalência da obesidade em países desenvolvidos e em desenvolvimento, há pouca evidência da associação com fatores ambientais. Objetivos: Investigar a evolução temporal do IMC em jovens alistados do sexo masculino de 18 anos no Brasil entre 1980 e 2005; identificar pontos específicos de maior variância na série temporal e comparar pontos específicos no tempo, a evolução temporal do IMC com as mudanças socioeconômicas no Brasil. Métodos: O presente estudo explorou uma série temporal de 26 anos em homens brasileiros que se alistaram no período de 1980 a 2005. A amostra compreendeu cerca de 35-40% de todos os jovens brasileiros de 18 anos de idade. O peso corporal e a estatura foram obtidos no momento do exame médico durante o alistamento militar. Todas as mensurações antropométricas foram realizadas por pessoal especializado e treinado. As prevalências do sobrepeso e da obesidade foram calculadas com intervalos de confiança de 95%. Com a finalidade de testar a presença de heterocedasticidade na série do IMC, realizou-se o teste de Multiplicador de Lagrange (LM). Para os pontos no tempo, com oscilações acima da média do IMC, variáveis dummies foram testadas utilizando-se o modelo ARCH (Autoregressivo de Heterocedasticidade Condicionada), com um nível de significância de p <0,05. Para aqueles pontos no tempo com oscilações acima da média do IMC (anos de 1985, 1994 e 2000), variáveis dummy foram incluídos sob a hipótese foi de que a taxa de crescimento do IMC não fosse a mesma ao longo da série temporal. Para as possíveis explicações para os aumentos bruscos na curva do IMC, foram consideradas as alterações nos principais indicadores econômicos do Brasil (Instituto Brasileiro de Geografia e Estatística e Instituto de Pesquisa Econômica Aplicada). Os fatores econômicos analisados foram: taxa de inflação anual, produção de alimentos, pobreza (%), o consumo de refrigerantes e o rendimento médio anual. Resultados: A prevalência de sobrepeso também passou de 4,5%, em 1980, para 12,5%, em 2005, um aumento de 2,6 vezes, enquanto a prevalência de obesidade aumentou de 0,5%, em 1980, para 1,9%, em 2005, um aumento de quase 300%, mas por comparação internacional estão abaixo da média. Particularmente em 1985-6 e 1994-5, houve um aumento acentuado e significativo do IMC. Em 1985-6, a média do IMC aumentou de 21,4 kg/m2 para 21,5 kg/m2 e, em 1994-5, a média do IMC médio aumentou de 21,7 kg/m2 para 21,9 kg/m2. Nesses dois pontos (1985-1986 e 1994-1995) ocorreram logo após duas grandes mudanças políticas econômicas que aumentaram o poder de compra da população. Em 1985-6, as mudanças foram principalmente relacionadas a fatores econômicos, tais como: a redução do nível de desigualdade social; aumento da renda familiar; redução da pobreza; o controle da inflação; aumento do tempo assistindo televisão e aumento do consumo de alimentos. Em 1994-5, além das mudanças no poder de compra, houve uma modificação na atividade física obrigatória nas escolas. Conclusão: O presente estudo mostrou um aumento abrupto da obesidade na população de homens jovens no Brasil em duas ocasiões durante esta série temporal (anos de 1985-6 e 1994-5), quando uma possível redução no gasto calórico e aumento do consumo de alimentos da população foram observados.

Nonperturbative dynamical decoupling with random control

Parametric fluctuations or stochastic signals are introduced into the rectangular pulse sequence to investigate the feasibility of random dynamical decoupling. In a large parameter region, we find that the out-of-order control pulses work as well as the regular pulses for dynamical decoupling and dissipation suppression. Calculations and analysis are enabled by and based on a nonperturbative dynamical decoupling approach allowed by an exact quantum-state-diffusion equation. When the average frequency and duration of the pulse sequence take proper values, the random control sequence is robust, fault-tolerant, and insensitive to pulse strength deviations and interpulse temporal separation in the quasi-periodic sequence. This relaxes the operational requirements placed on quantum control devices to a great deal.

Avaliação temporal da poluição por antiincrustantes organoestânicos no litoral do Estado do Rio de Janeiro: antes e após o banimento nacional e internacional

Tintas antifoulings são utilizadas para evitar a incrustação de organismos em estruturas submersas, especialmente casco de embarcações. Os compostos organoestânicos (OTs), utilizados nessas tintas, entre eles o tributilestanho, são desreguladores endócrinos e causaram diversos danos aos ecossistemas marinhos. No caso dos moluscos gastrópodes, esse tipo de poluição faz com que as fêmeas adquiram características masculinas, como vaso deferente e pênis, fenômeno esse conhecido como imposex. A Organização Marítima Internacional (IMO) estabeleceu o banimento de tintas à base de COEs nas embarcações, em 2008. No Brasil, a NORMAM 23, proibiu o uso em 2007, contudo a Marinha já havia suspendido seu uso desde 2003. Entretanto, efeitos deletérios destes compostos ainda são detectados em vários países, inclusive ao longo do litoral brasileiro. Esse trabalho teve como objetivo principal fazer uma avaliação temporal (1997-2012) da poluição por organestânicos na costa do Estado do Rio de Janeiro utilizando como bioindicador a espécie Stramonita haemastoma. A área de estudo abrangeu cinco regiões: Paraty, Ilha Grande, Baia de Ilha Grande, Baia de Guanabara e Arraial do Cabo. Análises químicas de butilestânicos foram feitas em sedimentos superficiais de mangues de Paraty (Mangue do Estaleiro e mangue do Saco do Mamanguá) e Ilha Grande (Mangue do Aventureiro) sendo os dois últimos considerados áreas de referência. Em cada estação de biomonitoramento foram coletados 30 indivíduos sexualmente adultos da espécie S. haemastoma, através de mergulho livre em apnéia e analisados através do método não destrutivo proposto por nosso grupo de pesquisa. Em todas as cinco áreas analisadas ao longo da costa do Estado do Rio de Janeiro foram registradas estações com altos índices de imposex. Apesar de muitas estações apresentarem diminuição nos índices, na maioria ocorreu um aumento ou conservação alta na porcentagem de imposex depois do banimento. As concentrações médias de butilestânicos no mangue (S1), perto de fontes locais, foram 205,7 16,8 ng (Sn) g-1 de TBT, 16,4 1,3 ng (Sn) g-1 de DBT e 10,0 2,9 ng (Sn) g-1 de MBT. Nas áreas de referência: mangue do Saco do Mamanguá (S2) foram 16,0 0,8 ng (Sn) g-1 de TBT, 10,1 1,4 ng (Sn) g-1 de DBT e 10,1 2,2 ng (Sn) g-1 de MBT e mangue do Aventureiro (S3) com 18,1 4,2 ng (Sn) g-1 de TBT, 15,3 0,5 ng (Sn) g-1 de DBT e 10,2 1,5 ng (Sn). g-1 de MBT. As taxas de degradação foram de 01, 1,3 e 1,4 respectivamente indicando inputs recentes desses compostos. Os resultados deste estudo indicam que carbono orgânico dissolvido e particulado, bem como xenoestrógenos podem estar interferindo no desenvolvimento da síndrome, levando a subestimação de avaliação do imposex. As concentrações de butilestânicos, além do aumento ou continuidade alta na incidência de imposex após o banimento na maioria das estações indicam que, apesar da proibição do uso do TBT em tintas antiiincrustantes no Brasil, elas ainda estão sendo utilizadas de forma ilegal, especialmente em pequenos barcos. Esse estudo é fundamental para se propor medidas de mitigação e controle dos compostos organoestânicos, até mesmo dos novos antifoulings TBT- free, que também possuem efeitos prejudiciais ao ambiente. Além disso, as áreas onde se registrou altos índices de imposex serão essenciais para o monitoramento dos efeitos desses novos antifoulings.

Alveolar nitric oxide and its role in pediatric asthma control assessment

Resumen Background: Nitric oxide can be measured at multiple flow rates to determine proximal (maximum airway nitric oxide flux; Jaw(NO)) and distal inflammation (alveolar nitric oxide concentration; CA(NO)). The main aim was to study the association among symptoms, lung function, proximal (maximum airway nitric oxide flux) and distal (alveolar nitric oxide concentration) airway inflammation in asthmatic children treated and not treated with inhaled glucocorticoids. Methods: A cross-sectional study with prospective data collection was carried out in a consecutive sample of girls and boys aged between 6 and 16 years with a medical diagnosis of asthma. Maximum airway nitric oxide flux and alveolar nitric oxide concentration were calculated according to the two-compartment model. In asthmatic patients, the asthma control questionnaire (CAN) was completed and forced spirometry was performed. In controls, differences between the sexes in alveolar nitric oxide concentration and maximum airway nitric oxide flux and their correlation with height were studied. The correlation among the fraction of exhaled NO at 50 ml/s (FENO50), CA(NO), Jaw(NO), forced expiratory volume in 1 second (FEV1) and the CAN questionnaire was measured and the degree of agreement regarding asthma control assessment was studied using Cohen's kappa. Results: We studied 162 children; 49 healthy (group 1), 23 asthmatic participants without treatment (group 2) and 80 asthmatic patients treated with inhaled corticosteroids (group 3). CA(NO) (ppb) was 2.2 (0.1-4.5), 3 (0.2-9.2) and 2.45 (0.1-24), respectively. Jaw(NO) (pl/s) was 516 (98.3-1470), 2356.67 (120-6110) and 1426 (156-11805), respectively. There was a strong association (r = 0.97) between FENO50 and Jaw(NO) and the degree of agreement was very good in group 2 and was good in group 3. There was no agreement or only slight agreement between the measures used to monitor asthma control (FEV1, CAN questionnaire, CA(NO) and Jaw(NO)). Conclusions: The results for CA(NO) and Jaw(NO) in controls were similar to those found in other reports. There was no agreement or only slight agreement among the three measure instruments analyzed to assess asthma control. In our sample, no additional information was provided by CA(NO) and Jaw(NO).

Etograma e orçamento temporal de um grupo de machos não pareados de Phyllostomus hastatus (Pallas 1767) (Phyllostomidae: Phyllostominae)

Embora exista uma enorme variação de histórias de vida e ecologia, a maioria das espécies de morcegos mostra-se, em algum nível, social. Os aspectos de ecologia comportamental de quirópteros tem sido estudados, embora a maior parte refira-se a colônias de maternidades em regiões de clima temperado. Repertórios comportamentais completos e orçamentos temporais são raros, especialmente para a região Neotropical. Para compreender melhor a sociabilidade neste grupo, mostra-se importante focar também em grupos neutros com relação a fatores associados à atividade reprodutiva. Neste sentido, o estudo de grupos de machos neotropicais pode apresentar respostas importantes. O comportamento de um grupo machos não pareados de Phyllostomus hastatus foi estudado dentro do seu abrigo por aproximadamente 100 horas entre os meses de janeiro e agosto de 2012. O grupo estava abrigado no forro de um telhado de uma casa em desuso da Vila Dois Rios, na Ilha Grande. Os comportamentos foram registrados com uma câmera sensível a infra-infravermelho Sony DCR-HC28 em modo night-vision. Quando necessário, utilizei uma luz de auxílio infravermelha. A partir dos vídeos eu elaborei primeiramente um etograma. Os comportamentos classificados como estados foram usados para fazer um orçamento temporal, usando metodologia de amostragem por varredura e amostragem instantânea. Adicionalmente, fiz algumas observações a respeito de horário de entrada e saída dos morcegos e do tamanho do grupo. Organizei os comportamentos em seis categorias, com um total de 24 comportamentos distintos. Os comportamentos descritos são consistentes com os publicados em outros etogramas de morcegos, inclusive de alguns megaquirópteros. Um comportamento mais notável foi ventilando, que parece raro entre os microquirópteros, mas provavelmente importante na termorregulação. Nos meses analisados os morcegos alocaram aproximadamente 50% do tempo ao estado dormindo; 14,6% ao estado parado; 15,3% ao estado ativo; 0,9% ao estado andando; 0,1% ao estado voando; 14,1% ao estado higiene; e 3,5% ao estado ventilando. O orçamento temporal foi semelhante aos descritos para outros microquirópteros no interior de abrigos, com uma maior prevalência do estado dormindo, e com picos de atividade (principalmente do estado higiene) antes e depois das saídas noturnas. A higiene parece ter um papel importante no controle de ectoparasitas, e talvez algum papel social, mas como a higiene de outros indivíduos só foi observada uma única vez, não pude concluir nada a respeito. O presente trabalho é o primeiro etograma para Phyllostomus hastatus e o primeiro etograma e orçamento temporal para um grupo de machos em Chiroptera. Observei algumas diferenças importantes do grupo estudado com trabalhos já publicados sobre essa espécie, e sugiro que essas diferenças sejam estudadas mais a fundo. Apesar desta dissertação trazer contribuições importantes, fica claro que ainda falta muito a ser examinado nesse campo.

The temporal evolution of feedback gains rapidly update to task demands.

Recent theoretical frameworks such as optimal feedback control suggest that feedback gains should modulate throughout a movement and be tuned to task demands. Here we measured the visuomotor feedback gain throughout the course of movements made to "near" or "far" targets in human subjects. The visuomotor gain showed a systematic modulation over the time course of the reach, with the gain peaking at the middle of the movement and dropping rapidly as the target is approached. This modulation depends primarily on the proportion of the movement remaining, rather than hand position, suggesting that the modulation is sensitive to task demands. Model-predictive control suggests that the gains should be continuously recomputed throughout a movement. To test this, we investigated whether feedback gains update when the task goal is altered during a movement, that is when the target of the reach jumped. We measured the visuomotor gain either simultaneously with the jump or 100 ms after the jump. The visuomotor gain nonspecifically reduced for all target jumps when measured synchronously with the jump. However, the visuomotor gain 100 ms later showed an appropriate modulation for the revised task goal by increasing for jumps that increased the distance to the target and reducing for jumps that decreased the distance. We conclude that visuomotor feedback gain shows a temporal evolution related to task demands and that this evolution can be flexibly recomputed within 100 ms to accommodate online modifications to task goals.

Control of aircraft in the terminal manoeuvring area using parallelised sequential Monte Carlo

This paper reports on the use of a parallelised Model Predictive Control, Sequential Monte Carlo algorithm for solving the problem of conflict resolution and aircraft trajectory control in air traffic management specifically around the terminal manoeuvring area of an airport. The target problem is nonlinear, highly constrained, non-convex and uses a single decision-maker with multiple aircraft. The implementation includes a spatio-temporal wind model and rolling window simulations for realistic ongoing scenarios. The method is capable of handling arriving and departing aircraft simultaneously including some with very low fuel remaining. A novel flow field is proposed to smooth the approach trajectories for arriving aircraft and all trajectories are planned in three dimensions. Massive parallelisation of the algorithm allows solution speeds to approach those required for real-time use.

Control of material transport through pulse shape manipulation-a development toward designer pulses

The variety of laser systems available to industrial laser users is growing and the choice of the correct laser for a material target application is often based on an empirical assessment. Industrial master oscillator power amplifier systems with tuneable temporal pulse shapes have now entered the market, providing enormous pulse parameter flexibility in an already crowded parameter space. In this paper, an approach is developed to design interaction parameters based on observations of material responses. Energy and material transport mechanisms are studied using pulsed digital holography, post process analysis techniques and finite-difference modelling to understand the key response mechanisms for a variety of temporal pulse envelopes incident on a silicon (1/1/1) substrate. The temporal envelope is shown to be the primary control parameter of the source term that determines the subsequent material response and the resulting surface morphology. A double peak energy-bridged temporal pulse shape designed through direct application of holographic imaging data is shown to substantially improve surface quality. © 2014 IEEE.

Compensatory growth in the gibel carp following feed deprivation: temporal patterns in growth, nutrient deposition, feed intake and body composition

To investigate the nature of compenstory growth in fish, an 8 week study at 28 degreesC was performed on juvenile gibel carp Carassius auratus gibelio weighing 6.6 g. Fish were starved for 0 (control), 1 (Sl)or 2 (S2) weeks and then re-fed to satiation For 5 weeks. Weekly changes in weight gain, feed intake and body composition were monitored during re-feeding. No significant difference was found in final body weight between the three groups, indicating complete compensation in the deprived fish, The deprived groups caught up in body weight with that of the control after 2 weeks of re-feeding. Body fat:lean body mass ratio was restored to the control level within 1 week of re-feeding. In the re-feeding period, weekly gains in body weight, protein. lipid, ash and energy in the S1 group were significantly higher than in the controls for 1 week. For the S2 group, weekly gains in body weight. lipid. ash and energy were higher than in the controls for 2 weeks, and gain in protein was higher than in the controls for 3 weeks, though gain in body energy became elevated again during the last 2 weeks of the experiment. Feed intake remained higher than the control level for 3 weeks in the S1 group and 3 weeks in the SZ group. Growth efficiency was not significantly different among the three groups in any of the weeks during re-feeding. Compensatory responses in growth and especially feed intake tended to last longer than the recovery of body composition. (C) 2001 The Fisheries Society of the British Isles.

Breeding behavior under temporal risk of predation in male root voles (Microtus oeconomus)

We examined breeding behavior responses of male root votes (Microtus oeconomus) to temporal risk of predation by using acute and chronic exposure to predator odor. The 2 series of exposure experiments provided 2 types of temporal patterns of risk: continuous safety with a brief period of risk and Sustained risk with a brief period of safety. Male root votes that were acutely exposed to predator odor for I h suppressed their breeding behavior, but bred immediately after exposure to control odor for I h. Those chronically exposed to predator odor for 20 days maintained behavioral suppression during the 1-h period of exposure to control odor. Acutely exposed males did not change their physiological patterns of breeding, but those chronically exposed to predator odor had reduced testosterone concentration and epididymis index. Our results indicate that breeding behavior in a given situation depends on the overall patterns of risk experienced by male root votes, and the acute and chronic stress responses that affect reproduction are responsible for different behavioral responses to the 2 types of temporal patterns of risk. We also discuss the reasons for conflicting results about breeding suppression of votes between previous studies in the laboratory and the field.