We live in daily cycles of brightness and darkness throughout our lives. Light is a device, both through natural and artificial sources, that supports the working of our brains in the processing, reconstruction, and classification of information (Galetta, 2014). According to the models of mental processing provided by various individuals in literature, light as a stimulus can induce specific emotions and behaviors in people (Tomassoni et al., 2015). The objective of this thesis project is to study the possibility of using light patterns and motions to support stress reduction and provide people with a feeling of calm in an indoor setting, where access to nature is limited. The participants (n=30) of the study are students and working adults who live in different cities. They have been asked to evaluate the natural elements and what they perceive as calmness and relaxation through the projection of five different sets of skies. The study considers light as a Biophilic design element, which provides people with calm and a sense of well-being in their work environment (i.e., home office, working space). Through the results of this first survey and insight from the study, the author conducted a lighting experiment using a small model and surveyed the participants’ responses on mood and preference to the different lighting conditions in the model. Consequently, it turned out that most of the participants, from both the online survey and through direct physical interaction with the model, mentioned that they would prefer spending their breaks during their workday in a space that has both patterned light and moving light (not static), rather than the absence of light patterns and motion.  By shaping human experience, the study investigates the possibility of using artificial light as a Biophilic design element to provide people with a feeling of calm and, therefore, to support stress reduction in their work environment.

Submitted by JOÃO PAULO DA CRUZ ALMEIDA (joaopauloalmeida2010@gmail.com) on 2017-09-26T16:20:50Z No. of bitstreams: 1 Minha Dissertação.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) / Approved for entry into archive by Monique Sasaki (sayumi_sasaki@hotmail.com) on 2017-09-28T12:58:50Z (GMT) No. of bitstreams: 1 almeida_jpc_me_sjrp.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) / Made available in DSpace on 2017-09-28T12:58:50Z (GMT). No. of bitstreams: 1 almeida_jpc_me_sjrp.pdf: 1021011 bytes, checksum: 1717c0a1baae32699bdf06c781a9ed31 (MD5) Previous issue date: 2017-06-29 / Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentadas inúmeros esquemas de dedução referentes às “fórmulas” e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática. / This work deals with the teaching and practice of formal deductive thinking in Mathematics. Three essentially interconnected themes are presented within the set of Natural Numbers: induction, deduction and computation schemes represented by the Turing theoretical machine. The three themes are put together into the logical theory of deduction and touch upon the foundations of Mathematics, its own undecidability and the extent / limits of what can be deduced by using Aristotle's logic, that is the subject in the works of Gödel, Church, Turing, Robinson, and others. There are a large number of deduction schemes referring to the "formulas" and Theorems that are usual subjects in elementary and basic degrees of the educational field, with an appropriate language in order to train students (and teachers) for a more pertinent approach to Mathematics.

Une méthode de couplage continu-discret a été développée pour simuler les mécanismes complexes d'endommagement de la silice soumise à un choc laser de haute puissance. Dans un premier temps, une classification des méthodes numériques existantes a été faite pour choisir celles les mieux adaptées à la simulation du comportement sous choc de la silice. Comme résultat de cette classification, deux méthodes ont été retenues: la méthode des éléments discrets (DEM) et la méthode des éléments naturels contraints (CNEM). Ces méthodes sont alors couplées en se basant sur la technique dite "Arlequin". Puis, un modèle numérique permettant de tenir compte des différents phénomènes qui caractérise le comportement de la silice sous haute pression a été développé. Pour bien caractériser les mécanismes de fissuration de la silice à l’échelle microscopique, un nouveau modèle de rupture a été développé dans ce travail. Finalement, ces deux modèles, modèle de comportement et modèle de rupture, ont été intégrés dans la méthode du couplage pour simuler d'un point de vue mécanique le choc laser sur un échantillon en silice. / A discrete-continuum coupling approach has been developed to simulate the laser-induced damage in silica glass. First, a classification of the different numerical methods has been performed to select the ones that best meet the objectives of this work. Acting upon this classification, the Discrete Element Method (DEM) and the Constrained Natural Element Method (CNEM) have been retained. Subsequently, a coupling approach between these methods has been proposed. This approach is based on the Arlequin technique. In the second part, a numerical model of the silica glass mechanical behavior has been developed to better characterize the silica glass response under highly dynamic loadings and particularly loading generated by a laser beam. To correctly characterize the silica glass cracking mechanisms, a new fracture model has been proposed in this work. Finally, all these developments have been used to simulate the laser-induced damage in silica glass.