Construção de modelos multivariados para determinação de lipídios totais e unidade em leite em pó comercial utilizando espectroscopia no infravermelho próximo

In this work calibration models were constructed to determine the content of total lipids and moisture in powdered milk samples. For this, used the near-infrared spectroscopy by diffuse reflectance, combined with multivariate calibration. Initially, the spectral data were submitted to correction of multiplicative light scattering (MSC) and Savitzsky-Golay smoothing. Then, the samples were divided into subgroups by application of hierarchical clustering analysis of the classes (HCA) and Ward Linkage criterion. Thus, it became possible to build regression models by partial least squares (PLS) that allowed the calibration and prediction of the content total lipid and moisture, based on the values obtained by the reference methods of Soxhlet and 105 ° C, respectively . Therefore, conclude that the NIR had a good performance for the quantification of samples of powdered milk, mainly by minimizing the analysis time, not destruction of the samples and not waste. Prediction models for determination of total lipids correlated (R) of 0.9955, RMSEP of 0.8952, therefore the average error between the Soxhlet and NIR was ± 0.70%, while the model prediction to content moisture correlated (R) of 0.9184, RMSEP, 0.3778 and error of ± 0.76%

Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

Avaliação da eficiência da técnica de obturação pela compressão hidrùlica vertical após instrumentação automatizada

The purpose of this study was to evaluate through radiographic and microscopic analysis the efficiency of the filling techniques by vertical hidraulic compression after the root canal mechanical instrumentation in vitro as well to evaluate the marginal apical leakage through macroscopic and microscopic analysis. Thirty human mandibular molars were used , they were divided on three groups, these were subdivided on six subgroups with five specimens each, come down to 106 root canals filled. Initially, the teeth were instrumented with Profile system series 29 and filled with two ways: single accessory cone or single cone associated with gutta-percha secundary cone, with Fill Canal sealer or Sealer 26. Completed the filling, the teeth were coated with araldit and finger -nail polish except for the apical 2 mm and dried for 3 hours, thep radiographs were taken of the teeth in orto and disto-radiai directions. Next, the coronal seal was carried out with composite resin photopolymerized and with their process of making impermeable. Teeth of positive controls were used without araldit and finger-nail polish whereas the negative controls were used with total coat of araldit and finger-nail polish. The specimens were placed in 2% Methylene Blue dye for 24 hours and thermocycled for 7 days. Afterwards, sections were made of each tooth at mesial and distal roat, after this the teeth were radiographed at buccolíngual direction for a macroscopic analysis and at buccolingual and mesiodistal directions for assessment of the marginal apical leakage. Cross sections were made 3 mm to 3mm since the tooth apice. The sections obtained for each group were observed with a stereomicroscope to evaluate the quality of the root canal filling and the marginal apical leakage. The results showed that: In the four techniques the marginal dye leakage was present in the apical third; in all groups the quality of the root canal filling in the radiography was better at mesial root canal and the single cone technique showed inefficient when only a single distal root canal was present. In the radiographic evaluation the best quality of the root canal filling was observed in the 1A group (single accessory cone + FiIl Canal), as in the mesial root as in the distal root wich Shcwed twe root canals: when the distaI root had only one canal. the best result was showed by 28 group (single accessory cone associated with secundary cone + Fill Canal) In the macroscopic analysis of longitudinal !eaKage (outside surface). less leakage was showed as In the mesial root as in the distal root in the negative control group (3) followed 2A group (single accessory cone + Sealer 26). When the microscopic analysis of tranversal leakage of both roots (inside surface) was carried out. the groups that showed less dye leakage were the negative control (38) followed the 28 group (single acessory cone associated with secundary cone + Sealer 26). The homogeneity o filling was best noted in the 1 A group (.single accessoty cone + Fill Canal). The groups that showed less dye penetration in the tranversal leakage (total area) were negative control (3B) and 2B

Localização de faltas em linhas de transmissão usando morfologia matemática

This work an algorithm for fault location is proposed. It contains the following functions: fault detection, fault classification and fault location. Mathematical Morphology is used to process currents obtained in the monitored terminals. Unlike Fourier and Wavelet transforms that are usually applied to fault location, the Mathematical Morphology is a non-linear operation that uses only basic operation (sum, subtraction, maximum and minimum). Thus, Mathematical Morphology is computationally very efficient. For detection and classification functions, the Morphological Wavelet was used. On fault location module the Multiresolution Morphological Gradient was used to detect the traveling waves and their polarities. Hence, recorded the arrival in the two first traveling waves incident at the measured terminal and knowing the velocity of propagation, pinpoint the fault location can be estimated. The algorithm was applied in a 440 kV power transmission system, simulated on ATP. Several fault conditions where studied and the following parameters were evaluated: fault location, fault type, fault resistance, fault inception angle, noise level and sampling rate. The results show that the application of Mathematical Morphology in faults location is very promising

Perfil desenvolvimental das funções executivas em crianças de 05 a 08 anos da cidade de Natal - RN

This study aimed to establish the developmental profile of executives components in typical child development. This is a correlational cross-sectional study of predominantly quantitative. The instruments for data collection are the subtests included in the NEPSY-II Attention and Executive Functioning domain. Eighty children between 5 and 8 years of age, of both genders, students from public and private schools in the city of Natal were evaluated. The sample was divided into six-month intervals for subsequent analysis of strategies and types of errors. Analysis of variance (univariate and multivariate) and Tukey and Games-Howell post hoc tests were conducted to verify the effect of age on test performance. Subsequent correlations indicate the strength and direction of the relationship between variables. Were identified two peaks of development in the six-month interval adopted for the skills of selective attention and inhibitory control. The results indicate that there’s no significant influence of sex and type of school on the performance of the sample. The performance of preschool children (5 and 6 years) was lower than the other subgroups in most tests. Highlights the role of autoregulation discourse among preschool children during activities of greater executive demand and the abstraction resource as a resolution strategy between the older. Were identified similar development trajectories among selective attention abilities and inhibitory control. In general, there is a decrease in the number of mistakes and increase of success with the age progression. Future longitudinal research can extend the age range encompassed in this study, investigating the developmental course of executive abilities.

Filogenia molecular das enzimas isocitrato liase e malato sintase e sua evolução em Viridiplanta

The plant metabolism consists of a complex network of physical and chemical events resulting in photosynthesis, respiration, synthesis and degradation of organic compounds. This is only possible due to the different kinds of responses to many environmental variations that a plant could be subject through evolution, leading also to conquering new surroundings. The glyoxylate cycle is a metabolic pathway found in glyoxysomes plant, which has unique role in the seedling establishment. Considered as a variation of the citric acid cycle, it uses an acetyl coenzyme A molecule, derived from lipids beta-oxidation to synthesize compounds which are used in carbohydrate synthesis. The Malate synthase (MLS) and Isocitrate lyase (ICL) enzyme of this cycle are unique and essential in regulating the biosynthesis of carbohydrates. Because of the absence of decarboxylation steps as rate-limiting steps, detailed studies of molecular phylogeny and evolution of these proteins enables the elucidation of the effects of this route presence in the evolutionary processes involved in their distribution across the genome from different plant species. Therefore, the aim of this study was to establish a relationship between the molecular evolution of the characteristics of enzymes from the glyoxylate cycle (isocitrate lyase and malate synthase) and their molecular phylogeny, among green plants (Viridiplantae). For this, amino acid and nucleotide sequences were used, from online repositories as UniProt and Genbank. Sequences were aligned and then subjected to an analysis of the best-fit substitution models. The phylogeny was rebuilt by distance methods (neighbor-joining) and discrete methods (maximum likelihood, maximum parsimony and Bayesian analysis). The identification of structural patterns in the evolution of the enzymes was made through homology modeling and structure prediction from protein sequences. Based on comparative analyzes of in silico models and from the results of phylogenetic inferences, both enzymes show significant structure conservation and their topologies in agreement with two processes of selection and specialization of the genes. Thus, confirming the relevance of new studies to elucidate the plant metabolism from an evolutionary perspective

Amplificador integrador com ganho programável por largura de pulso

This work deals with the research and development of a Pulse Width Programmable Gain Integrating Amplifier. Two Pulse Width Programmable Gain Amplifier architectures are proposed, one based on discrete components and another based on switched capacitors. From the operating requirements defined for the study, parameters are defined and simulations are carried out to validate the architecture. Subsequently, the circuit and the software are developed and tested. It is performed the evaluation of the circuits regarding the two proposed architectures, and from that, an architecture is selected to be improved, aiming the development of an integrated circuit in a future work.

Contribuições para o estudo do código neural

Os recentes avanços técnicos das duas últimas décadas para o registro de sinais neuroeletrofisiológicos foram essenciais para que se testassem hipóteses há muito propostas acerca de como células nervosas processam e armazenam informação. No entanto, ao permitir maior detalhamento dos dados coletados, as novas tecnologias levam inevitavelmente ao aumento de sua complexidade estatística e, consequentemente, à necessidade de novas ferramentas matemático-computacionais para sua análise. Nesta tese, apresentamos novos métodos para a análise de dois componentes fundamentais nas atuais teorias da codificação neural: (1) assembleias celulares, definidas pela co-ativação de subgrupos neuronais; e (2) o padrão temporal de atividade de neurônios individuais. Em relação a (1), desenvolvemos um método baseado em análise de componentes independentes para identificar e rastrear padrões de co-ativação significativos com alta resolução temporal. Superamos limitações de métodos anteriores, ao efetivamente isolar assembleias e abrir a possibilidade de analisar simultaneamente grandes populações neuronais. Em relação a (2), apresentamos uma nova técnica para a extração de padrões de atividade em trens de disparo baseada na decomposição wavelet. Demonstramos, por meio de simulações e de aplicação a dados reais, que nossa ferramenta supera as mais utilizadas atualmente para decodificar respostas de neurônios e estimar a informação de Shannon entre trens de disparos e estímulos externos.

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

A utilização da pesquisa operacional para o gerenciamento dos leitos em um hospital particular: estudo de caso baseado em simulação computacional

The hospital is a place of complex actions, where several activities for serving the population are performed such as: medical appointments, exams, surgeries, emergency care, admission in wards and ICUs. These activities are mixed with anxiety, impatience, despair and distress of patients and their families, issues involving emotional balance both for professionals who provide services for them as for people cared by them. The healthcare crisis in Brazil is getting worse every year and today, constitutes a major problem for private hospitals. The patient that comes to emergencies progressively increase, and in contrast, there is no supply of hospital beds in the same proportion, causing overcrowding, declines in the quality of care delivered to patients, drain of professionals of the health area and difficulty in management the beds. This work presents a study that seeks to create an alternative tool that can contribute to the management of a private hospital beds. It also seeks to identify potential issues or deficiencies and therefore make changes in flow for an increase in service capacity, thus reducing costs without compromising the quality of services provided. The tool used was the Computational Simulation –based in discrete event, which aims to identify the main parameters to be considered for a proper modeling of this system. This study took as reference the admission of a private hospital, based on the current scenario, where your apartments are in saturation level as its occupancy rate. The relocation of project beds aims to meet the growing demand for surgeries and hospital admissions observed by the current administration.

Um controlador dual subótimo com fator de peso variável no tempo

This work concerns a refinement of a suboptimal dual controller for discrete time systems with stochastic parameters. The dual property means that the control signal is chosen so that estimation of the model parameters and regulation of the output signals are optimally balanced. The control signal is computed in such a way so as to minimize the variance of output around a reference value one step further, with the addition of terms in the loss function. The idea is add simple terms depending on the covariance matrix of the parameter estimates two steps ahead. An algorithm is used for the adaptive adjustment of the adjustable parameter lambda, for each step of the way. The actual performance of the proposed controller is evaluated through a Monte Carlo simulations method.

Produção e estudo de multicamadas magnéticas em substrato flexível

Magnetic multilayers are the support for the production of spintronic devices, representing great possibilities for miniaturized electronics industry. having the control to produce devices as well as their physical properties from simple multilayer films to highly complex at the atomic scale is a fundamental need for progress in this area, in recent years has highlighted the production of organic and flexible spintronic devices. Because of this trend, the objective of this work was to produce magnetic multilayers deposited on flexible substrate using magnetron sputtering dc technique. Three sets of samples were prepared. The first set composed of the trilayer type CoFe=Cu(t)=CoFe with different thickness of the metallic spacer. The second set consists of two multilayer subgroups, CoFe=Cu in the presence of IrMn layer as a buffer and the next multilayer as cap layer. The third set consisting of non-magnetostrictive multilayer permalloy (Py=Ta and Py=Ag) on flexible substrate and glass. The magnetic properties, were investigated by magnetometry measurements, ferromagnetic resonance and magnetoimpedance (MI), measurements were carried out at room temperature with the magnetic field always applied on the sample plane. For structural analysis, the diffraction X-ray was used. The results of the trilayer showed a high uniaxial anisotropy field for the sample with a spacer of 4.2 nm. For the multilayer in the presence of IrMn layer as the buffer, the study of static and dynamic magnetic properties showed isotropic behavior. For the multilayer in the presence of IrMn layer as a cap, the results of static magnetic properties of the magnetic behavior exhibited a spin valve structure type. However there was a disagreement with results of ferromagnetic resonance measurements, which was justified by the contribution of the unstable and stable grain to the rotatable anisotropy and Exchange bias in ferromagneticantiferromagnetic interface. The third serie of samples showed similar results behavior for the MI Ag multilayers spacer in both substrates. There are also significant MI changes with the Ta spacer, possible associated with the compressive stress on the flexible substrate sample.