Sideband manipulation of population inversion in a three-level Λ atomic system

Sideband manipulation of population inversion in a three-level A atomic configuration is investigated theoretically. Compared with the case of a nearly monochromatic field, a population inversion between an excited state and a ground state has been found in a wide sideband intensity range by increasing the difference in frequency between three components. Furthermore, the population inversion can be controlled by the sum of the relative phases of the sideband components of the trichromatic pump field with respective to the phase of the central component. Changing the sum phase from 0 to pi, the population inversion between the excited state and the ground state can increase within nearly half of the sideband intensity range. At the same time, the sideband intensity range that corresponds to the system exhibiting inversion rho(00) > rho 11 also becomes wider evidently.

Trichromatic manipulation of Kerr nonlinearity in a three-level lambda atomic system

Trichromatic manipulation of Kerr nonlinearity in a three-level A atomic configuration is investigated theoretically. It is shown that for a weak monochromatic probe field, the enhanced Kerr nonlinearity can be achieved in multiple separate transparent windows due to interference effect of multiple two-photon Raman channels. Furthermore, the property of Kerr nonlinearity can be controlled by the sum of the relative phases of the sideband components of the trichromatic pump field compared to the central component.

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.

Polilaktida oinarri duten 3D zelula-euskarri (scaffold) polimeriko biodegradagarrien diseinu, fabrikazio eta propietateak

[EU]Hiru dimentsioko inprimaketa etorkizun handiko teknologia bezala azaltzen zaigu gaur egun. Esate baterako, biomedikuntza arloan aukera berritzaileak ekar ditzake, baina baita hezkuntza, heziketa eta ikerketa munduetan ere. Teknologia berri honen abantailarik nagusiena prototipatze azkarrean datza, eta honi esker, mikro- eta makro- egitura definituak dituzten objektuak diseinatu eta fabrikatu daitezke modu lehiakorrean. Lan honen helburua 3D inprimagailu baten bitartez inprimaturiko polimero biobateragarri eta biodegradagarrietan oinarrituriko ereduen garapen eta fabrikazioan datza. Hala ere, lehenik eta behin, lehengaiak bai fisikoki eta bai termikoki karakterizatu behar dira, ondoren, 3D inprimagailuaren parametroen arteko erlazioa ezarri, eta azkenik, produktu finalaren egitura propietateak eta kalitatea aztertu. Aipaturiko lana aurrera eramateko erabili den materiala polilaktida (PLA) izan da, zeinen erabilera oso zabaldua dagoen medikuntza arloan inplante (torloju, iltze, plaka eta abar) moduan eta ehun ingeniaritzaren munduan.