Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Caracterização do estoque de anchoita (engraulis anchoita) da região Sul do Brasil e utilização desta matéria-prima na elaboração de produto de alto valor agregado

O trabalho teve por objetivo caracterizar o estoque de anchoita (Engraulis anchoita) capturado na região sul do Brasil, visando à utilização deste recurso de alto valor biológico no desenvolvimento de produtos semi-prontos e de fácil preparo, tipo empanado. Os experimentos foram conduzidos com anchoita resultante de cruzeiros realizados pelo Navio Oceanográfico Atlântico Sul da Universidade Federal do Rio Grande (FURG), RS, Brasil. Os exemplares foram capturados entre a cidade de Rio Grande (32ºS, RS-Brasil) e 51ºW. Após captura, o pescado foi armazenado a bordo em mistura de gelo e água do mar, na razão 1:1. As amostras foram transportadas para o laboratório de Biotecnologia da FURG e mantidas sob congelamento a -18°C, até a realização das análises. O trabalho está constituído por uma revisão bibliográfica, que enfatiza a importância do recurso pesqueiro em estudo como potencial a ser explorado, discorre sobre ácidos graxos e perfil de voláteis, bem como, o desenvolvimento de produtos à base de pescado. O desenvolvimento do trabalho é expresso por quatro artigos. O primeiro teve como objetivo caracterizar o estoque de anchoita segundo a biometria, rendimento, composição proximal, compostos nitrogenados e ácidos graxos. O rendimento, a composição proximal e o perfil de ácidos graxos foram realizados nas três frações que compõe o peixe: músculo claro, escuro e vísceras. A análise dos resultados demonstrou a variabilidade dos componentes em função das frações avaliadas e da época de captura, o que pode contribuir para a escolha do processo tecnológico a ser aplicado no desenvolvimento de produtos de alto valor agregado a partir dessa matéria-prima. No segundo artigo foi determinado o perfil de ácidos graxos da anchoita e avaliado o comportamento destes compostos durante o armazenamento congelado, bem como, dos voláteis gerados. Os resultados demonstraram a influência do armazenamento na modificação dos ácidos graxos, em especial, EPA e DHA, e que os voláteis gerados podem ser um índice em potencial para avaliar a qualidade da anchoita congelada. No terceiro artigo objetivou-se selecionar e treinar julgadores para avaliação do odor a pescado utilizando os padrões referência obtidos a partir do perfil de voláteis. Neste sentido, foi levantada a terminologia que descreve o odor da anchoita, definido padrões referência, bem como, selecionado e treinado uma equipe de julgadores. Foram utilizados 20 candidatos, deste total, 9 foram selecionados pelo método das amplitudes. Os julgadores selecionados foram submetidos ao treinamento no uso de escala não estruturada e na avaliação da intensidade do odor a pescado. O desempenho dos julgadores foi definido utilizando como amostra solução de lavagem resultante do processo de obtenção de base protéica de anchoita. Os resultados foram avaliados com base no poder de discriminação, repetibilidade das respostas e concordância entre julgadores, segundo análise de variância, com duas fontes de variação (amostra e repetições). Foram obtidos os valores de Famostra e Frepetição, para cada julgador. Os julgadores com o valor de Famostra significativo (p≤0,30) e Frepetição não significativo (p>0,05), bem como, concordância de médias com os demais julgadores foram considerados treinados. Segundo esse processo a equipe foi constituída por 8 julgadores selecionados e treinados na avaliação do odor a pescado. Finalmente, no quarto artigo foi avaliada a possibilidade de uso de base protéica (BPP) de anchoita na elaboração de massa base de empanados, bem como, em substituição a farinha de cobertura. Para obtenção das BPPs, foram testadas duas soluções extratoras (3 ciclos de extração com ácido fosfórico 0,05% e 1 ciclo de ácido fosfórico seguido de 2 ciclos com água). A BPP obtida na melhor condição utilizada foi seca a 70°C e submetida ao processo de moagem em moinho de facas para ser utilizada como farinha de cobertura. Formulações de empanado utilizando diferentes concentrações (25, 50, 75 e 100%) de anchoita desidratada na cobertura foram testadas no produto frito e forneado. Um teste de preferência com consumidores em potencial foi aplicado às diferentes formulações. Os resultados indicaram que a melhor condição de lavagem para obtenção das BPPs testadas foi quando são utilizados 3 ciclos de extração com ácido fosfórico. A avaliação da preferência junto ao consumidor em potencial demonstrou que a anchoita desidratada pode ser utilizada como farinha de cobertura em empanados na concentração de até 75%.

Demonstração de fórmulas matemáticas no ensino médio

The objective of this study is to analyze the validity of working with proofs in the classroom and to present a partial list of proofs of mathematical formulae of the Brazilian secondary/high school curriculum. The adaptation of the proofs into the knowledge and abilities of a secondary school student should also be considered. How the teaching of proofs is treated in official publications in Brazil and other countries is also described. Working with proofs provides a number of benefits to the students, including: the development of logical reasoning, argumentative capacity, analytical skills on a daily basis, as well as motivation and a better understanding of mathematics as a science. The convenience of including the teaching of proofs in Brazilian secondary school curriculum and the need of a balance between the abstraction of proofs and contextualization of the school programmes is discussed. The approach of the proof teaching in the classroom can become a motivating factor or, conversely, a discouraging one. The conclusion is that it would be very useful to create a reference list covering the mathematical expressions of school programmes with their respective proofs that can be understood by secondary school students.

Obtenção de nanopartículas de hexaferrita de bário pelo método pechini

In this study barium hexaferrite was (general formulae BaFe12O19) was synthesized by the Pechini method under different conditions of heat treatment. Precursors like barium carbonate and iron nitrate were used. These magnetic ceramic, with magnetoplumbite type structure, are widely used as permanent magnet because of its excellent magnetic properties, such as: high Curie temperature, good magnetic anisotropy, high coercivity and corrosion resistance. The samples were characterized by thermal analysis (DTA and TG), X- ray Diffraction (XRD), Fourier transform infrared spectroscopy (FTIR), Scanning Electron Microscopy (SEM) end Vibrating sample Magnetometer (VSM). The results confirm the expected phase, which was reinforced according to our analysis. A single phase powder at relatively high temperatures with particle sizes around 100 nm was obtained. The characteristic magnetic behavior one of the phases has been noted (probably superparamagnetic material), while another phase was identified as a ferrimagnetic material. The ferrimagnetic phase showed vortex configuration with two central and slightly inclined plateaus. In general, increase of heat treatment temperature and time, directly influenced the technological properties of the samples

Motion Planning and Controls with Safety and Temporal Constraints

Motion planning, or trajectory planning, commonly refers to a process of converting high-level task specifications into low-level control commands that can be executed on the system of interest. For different applications, the system will be different. It can be an autonomous vehicle, an Unmanned Aerial Vehicle(UAV), a humanoid robot, or an industrial robotic arm. As human machine interaction is essential in many of these systems, safety is fundamental and crucial. Many of the applications also involve performing a task in an optimal manner within a given time constraint. Therefore, in this thesis, we focus on two aspects of the motion planning problem. One is the verification and synthesis of the safe controls for autonomous ground and air vehicles in collision avoidance scenarios. The other part focuses on the high-level planning for the autonomous vehicles with the timed temporal constraints. In the first aspect of our work, we first propose a verification method to prove the safety and robustness of a path planner and the path following controls based on reachable sets. We demonstrate the method on quadrotor and automobile applications. Secondly, we propose a reachable set based collision avoidance algorithm for UAVs. Instead of the traditional approaches of collision avoidance between trajectories, we propose a collision avoidance scheme based on reachable sets and tubes. We then formulate the problem as a convex optimization problem seeking control set design for the aircraft to avoid collision. We apply our approach to collision avoidance scenarios of quadrotors and fixed-wing aircraft. In the second aspect of our work, we address the high level planning problems with timed temporal logic constraints. Firstly, we present an optimization based method for path planning of a mobile robot subject to timed temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specifications such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints. We then translate the MTL formulae into mixed integer linear constraints and solve the associated optimization problem using a mixed integer linear program solver. We have applied our approach on several case studies in complex dynamical environments subjected to timed temporal specifications. Secondly, we also present a timed automaton based method for planning under the given timed temporal logic specifications. We use metric interval temporal logic (MITL), a member of the MTL family, to represent the task specification, and provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find an optimal motion (or path) sequence for the robot to complete the task.

On the duration of negative surplus

Doutoramento em Matemática

Describing human finger flexibility via reachable subspaces

In recent years, the reachable space concept has attracted the attention of many researchers as a mean of describing finger flexibility. Existing approaches such as exhaustive scanning or Monte Carlo methods to obtain the reachable space are resource-hungry techniques. In this paper, we introduce a novel approach to determine and quantify the reachable space of the finger. The approach was developed around a set of formulae determining the boundary of the reachable space. The Monte Carlo simulation is proposed to estimate the capacity of the reachable space. Using the new technique, reachable spaces can be visualised and quantified in order to effectively compare the functionality of different subjects and their therapeutic status. The performance of the proposed method was evaluated against the kinematic feed-forward approach. The computational cost to obtain the reachable space is significantly less than the standard kinematic feed-forward approach due to exclusive description of the reachable space boundary, unique to the proposed approach.

Hydrothermal synthesis of dioctahedral smectites: The Al-Fe3+chemical series. Part II: crystal-chemistry

The crystal-chemistry of a series of synthetic Al-Fe3+ smectites was studied in detail using near and mid infrared spectroscopy. Chemical and NIR data indicated a quite complete range of octahedral Al for Fe3+ substitution, and therefore, the solid-solution between beidellite and nontronite end-members was continuous and complete. The wavenumbers of several infrared absorption bands were correlated with the chemistry of the synthetic smectites, providing a useful tool to constrain their structural formulae and also for assisting in assignments of similar bands in natural smectites. The Al and Fe3+ cations were shown to be randomly distributed in the octahedral sheet of synthesized smectites. Despite the high availability of iron during synthesis, generally only a small amount of tetrahedral Fe3+ was observed.

Multivariate orthogonal polynomials and integrable systems

Multivariate orthogonal polynomials in D real dimensions are considered from the perspective of the Cholesky factorization of a moment matrix. The approach allows for the construction of corresponding multivariate orthogonal polynomials, associated second kind functions, Jacobi type matrices and associated three term relations and also Christoffel-Darboux formulae. The multivariate orthogonal polynomials, their second kind functions and the corresponding Christoffel-Darboux kernels are shown to be quasi-determinants as well as Schur complements of bordered truncations of the moment matrix; quasi-tau functions are introduced. It is proven that the second kind functions are multivariate Cauchy transforms of the multivariate orthogonal polynomials. Discrete and continuous deformations of the measure lead to Toda type integrable hierarchy, being the corresponding flows described through Lax and Zakharov-Shabat equations; bilinear equations are found. Varying size matrix nonlinear partial difference and differential equations of the 2D Toda lattice type are shown to be solved by matrix coefficients of the multivariate orthogonal polynomials. The discrete flows, which are shown to be connected with a Gauss-Borel factorization of the Jacobi type matrices and its quasi-determinants, lead to expressions for the multivariate orthogonal polynomials and their second kind functions in terms of shifted quasi-tau matrices, which generalize to the multidimensional realm, those that relate the Baker and adjoint Baker functions to ratios of Miwa shifted tau-functions in the 1D scenario. In this context, the multivariate extension of the elementary Darboux transformation is given in terms of quasi-determinants of matrices built up by the evaluation, at a poised set of nodes lying in an appropriate hyperplane in R^D, of the multivariate orthogonal polynomials. The multivariate Christoffel formula for the iteration of m elementary Darboux transformations is given as a quasi-determinant. It is shown, using congruences in the space of semi-infinite matrices, that the discrete and continuous flows are intimately connected and determine nonlinear partial difference-differential equations that involve only one site in the integrable lattice behaving as a Kadomstev-Petviashvili type system. Finally, a brief discussion of measures with a particular linear isometry invariance and some of its consequences for the corresponding multivariate polynomials is given. In particular, it is shown that the Toda times that preserve the invariance condition lay in a secant variety of the Veronese variety of the fixed point set of the linear isometry.

Atmospheric calibration for sub-millimeter radio astronomy

This thesis is focused on improving the calibration accuracy of sub-millimeter astronomical observations. The wavelength range covered by observational radio astronomy has been extended to sub-millimeter and far infrared with the advancement of receiver technology in recent years. Sub-millimeter observations carried out with airborne and ground-based telescopes typically suffer from 10% to 90% attenuation of the astronomical source signals by the terrestrial atmosphere. The amount of attenuation can be derived from the measured brightness of the atmospheric emission. In order to do this, the knowledge of the atmospheric temperature and chemical composition, as well as the frequency-dependent optical depth at each place along the line of sight is required. The altitude-dependent air temperature and composition are estimated using a parametrized static atmospheric model, which is described in Chapter 2, because direct measurements are technically and financially infeasible. The frequency dependent optical depth of the atmosphere is computed with a radiative transfer model based on the theories of quantum mechanics and, in addition, some empirical formulae. The choice, application, and improvement of third party radiative transfer models are discussed in Chapter 3. The application of the calibration procedure, which is described in Chapter 4, to the astronomical data observed with the SubMillimeter Array Receiver for Two Frequencies (SMART), and the German REceiver for Astronomy at Terahertz Frequencies (GREAT), is presented in Chapters 5 and 6. The brightnesses of atmospheric emission were fitted consistently to the simultaneous multi-band observation data from GREAT at 1.2 ∼ 1.4 and 1.8 ∼ 1.9 THz with a single set of parameters of the static atmospheric model. On the other hand, the cause of the inconsistency between the model parameters fitted from the 490 and 810 GHz data of SMART is found to be the lack of calibration of the effective cold load temperature. Besides the correctness of atmospheric modeling, the stability of the receiver is also important to achieving optimal calibration accuracy. The stabilities of SMART and GREAT are analyzed with a special calibration procedure, namely the “load calibration". The effects of the drift and fluctuation of the receiver gain and noise temperature on calibration accuracy are discussed in Chapters 5 and 6. Alternative observing strategies are proposed to combat receiver instability. The methods and conclusions presented in this thesis are applicable to the atmospheric calibration of sub-millimeter astronomical observations up to at least 4.7 THz (the H channel frequency of GREAT) for observations carried out from ∼ 4 to 14 km altitude. The procedures for receiver gain calibration and stability test are applicable to other instruments using the same calibration approach as that for SMART and GREAT. The structure of the high performance, modular, and extensible calibration program used and further developed for this thesis work is presented in the Appendix C.

Trastornos gastrointestinales funcionales en menores de dos años: prevalencia y factores asociados en una IPS Bogotá 2015 - 2016

Antecedentes: Los trastornos gastrointestinales funcionales de la infancia (TGFI) son manifestaciones gastrointestinales crónicas en cualquier parte del tubo digestivo sin daño estructural o bioquímico los cuales se pueden clasificar según los criterios de ROMA III. Se desconoce su prevalencia en niños latinoamericanos menores de 4 años. Objetivos: Estimar la prevalencia de los TGFI y cada una de sus entidades en menores de 2 años y explorar sus factores asociados. Metodología: Estudio corte trasversal con muestra aleatoria (n=323) tomada de la población de una institución de salud en la ciudad de Bogotá, realizando mediante encuesta diligenciada por los padres. El análisis se realizó por medio del software SPSS© utilizando estadística descriptiva y análisis bivariado, como medida de asociación se calculó las Razones de Disparidad (RD) con IC95%. Resultados: Se encontró una prevalencia de TGFI de 22.1%, diarrea funcional 14.6%, disquecia 12%, regurgitación 9.2%, estreñimiento 3.3%, vómito cíclico 2%, cólico infantil 1.6% y rumiación 0%. La administración de tetero durante la estancia hospitalaria neonatal se asocia con vómito cíclico RD= 6 IC 95% (1.076 – 33.447) p=0.021. La administración de formula infantil durante los primeros 6 meses de vida se asocia con diarrea funcional RD= 0.348 IC 95% (0.149 – 0.813) p=0.012 Conclusiónes: Los TGFI son una causa frecuente de molestias en los menores de 2 años de edad. Sugerimos realizar la validación del cuestionario “questionnaire on infant/toddler gastrointestinal symptoms rome version III” con el fin de mejorar la validez y precisión de los hallazgos en estudios futuros.