Information Analysis and Databases

Means to automate the fact replace the man in their job functions for a man and machines automatic mechanism, ie documentary specialists in computer and computers are the cornerstone of any modern system of documentation and information. From this point of view immediately raises the problem of deciding what resources should be applied to solve the specific problem in each specific case. We will not let alone to propose quick fixes or recipes in order to decide what to do in any case. The solution depends on repeat for each particular problem. What we want is to move some points that can serve as a basis for reflection to help find the best solution possible, once the problem is defined correctly. The first thing to do before starting any automated system project is to define exactly the domain you want to cover and assess with greater precision possible importance.

High Precision Plasma Etch for Pattern Transfer: Towards Fluorocarbon Based Atomic Layer Etching

A basic requirement of a plasma etching process is fidelity of the patterned organic materials. In photolithography, a He plasma pretreatment (PPT) based on high ultraviolet and vacuum ultraviolet (UV/VUV) exposure was shown to be successful for roughness reduction of 193nm photoresist (PR). Typical multilayer masks consist of many other organic masking materials in addition to 193nm PR. These materials vary significantly in UV/VUV sensitivity and show, therefore, a different response to the He PPT. A delamination of the nanometer-thin, ion-induced dense amorphous carbon (DAC) layer was observed. Extensive He PPT exposure produces volatile species through UV/VUV induced scissioning. These species are trapped underneath the DAC layer in a subsequent plasma etch (PE), causing a loss of adhesion. Next to stabilizing organic materials, the major goals of this work included to establish and evaluate a cyclic fluorocarbon (FC) based approach for atomic layer etching (ALE) of SiO2 and Si; to characterize the mechanisms involved; and to evaluate the impact of processing parameters. Periodic, short precursor injections allow precise deposition of thin FC films. These films limit the amount of available chemical etchant during subsequent low energy, plasma-based Ar+ ion bombardment, resulting in strongly time-dependent etch rates. In situ ellipsometry showcased the self-limited etching. X-ray photoelectron spectroscopy (XPS) confirms FC film deposition and mixing with the substrate. The cyclic ALE approach is also able to precisely etch Si substrates. A reduced time-dependent etching is seen for Si, likely based on a lower physical sputtering energy threshold. A fluorinated, oxidized surface layer is present during ALE of Si and greatly influences the etch behavior. A reaction of the precursor with the fluorinated substrate upon precursor injection was observed and characterized. The cyclic ALE approach is transferred to a manufacturing scale reactor at IBM Research. Ensuring the transferability to industrial device patterning is crucial for the application of ALE. In addition to device patterning, the cyclic ALE process is employed for oxide removal from Si and SiGe surfaces with the goal of minimal substrate damage and surface residues. The ALE process developed for SiO2 and Si etching did not remove native oxide at the level required. Optimizing the process enabled strong O removal from the surface. Subsequent 90% H2/Ar plasma allow for removal of C and F residues.

Determinization of timed Petri nets behaviors

International audience

Classificação de esquizofrenia com base em máquinas de suporte vetorial aplicadas a características de imagens de ressonância magnética

Dissertação (mestrado)—Universidade de Brasília, Faculdade Gama, Programa de Pós-Graduação em Engenharia Biomédica, 2015.

Bidirectional Helmholtz Machines

L'entraînement sans surveillance efficace et inférence dans les modèles génératifs profonds reste un problème difficile. Une approche assez simple, la machine de Helmholtz, consiste à entraîner du haut vers le bas un modèle génératif dirigé qui sera utilisé plus tard pour l'inférence approximative. Des résultats récents suggèrent que de meilleurs modèles génératifs peuvent être obtenus par de meilleures procédures d'inférence approximatives. Au lieu d'améliorer la procédure d'inférence, nous proposons ici un nouveau modèle, la machine de Helmholtz bidirectionnelle, qui garantit qu'on peut calculer efficacement les distributions de haut-vers-bas et de bas-vers-haut. Nous y parvenons en interprétant à les modèles haut-vers-bas et bas-vers-haut en tant que distributions d'inférence approximative, puis ensuite en définissant la distribution du modèle comme étant la moyenne géométrique de ces deux distributions. Nous dérivons une borne inférieure pour la vraisemblance de ce modèle, et nous démontrons que l'optimisation de cette borne se comporte en régulisateur. Ce régularisateur sera tel que la distance de Bhattacharyya sera minisée entre les distributions approximatives haut-vers-bas et bas-vers-haut. Cette approche produit des résultats de pointe en terme de modèles génératifs qui favorisent les réseaux significativement plus profonds. Elle permet aussi une inférence approximative amérliorée par plusieurs ordres de grandeur. De plus, nous introduisons un modèle génératif profond basé sur les modèles BiHM pour l'entraînement semi-supervisé.

Approaches to Provisioning Network Topology of Virtual Machines in Cloud Systems

The current infrastructure as a service (IaaS) cloud systems, allow users to load their own virtual machines. However, most of these systems do not provide users with an automatic mechanism to load a network topology of virtual machines. In order to specify and implement the network topology, we use software switches and routers as network elements. Before running a group of virtual machines, the user needs to set up the system once to specify a network topology of virtual machines. Then, given the user’s request for running a specific topology, our system loads the appropriate virtual machines (VMs) and also runs separated VMs as software switches and routers. Furthermore, we have developed a manager that handles physical hardware failure situations. This system has been designed in order to allow users to use the system without knowing all the internal technical details.

The State of our Toolbox: A Meta-analysis of Reliability Measurement Precision

My study investigated internal consistency estimates of psychometric surveys as an operationalization of the state of measurement precision of constructs in industrial and organizational (I/O) psychology. Analyses were conducted of samples used in research articles published in the Journal of Applied Psychology between 1975 and 2010 in five year intervals (K = 934) from 480 articles yielding 1427 coefficients. Articles and their respective samples were coded for test-taker characteristics (e.g., age, gender, and ethnicity), research settings (e.g., lab and field studies), and actual tests (e.g., number of items and scale anchor points). A reliability and inter-item correlations depository was developed for I/O variables and construct groups. Personality measures had significantly lower inter-item correlations than other construct groups. Also, internal consistency estimates and reporting practices were evaluated over time, demonstrating an improvement in measurement precision and missing data.

A real time electromagnetic analysis of electric machines for educational purposes and laboratory implementation

This thesis presents a system for visually analyzing the electromagnetic fields of the electrical machines in the energy conversion laboratory. The system basically utilizes the finite element method to achieve a real-time effect in the analysis of electrical machines during hands-on experimentation. The system developed is a tool to support the student's understanding of the electromagnetic field by calculating performance measures and operational concepts pertaining to the practical study of electrical machines. Energy conversion courses are fundamental in electrical engineering. The laboratory is conducted oriented to facilitate the practical application of the theory presented in class, enabling the student to use electromagnetic field solutions obtained numerically to calculate performance measures and operating characteristics. Laboratory experiments are utilized to help the students understand the electromagnetic concepts by the use of this visual and interactive analysis system. In this system, this understanding is accomplished while hands-on experimentation takes place in real-time.

Support vector machines to detect physiological patterns for EEG and EMG-based human-computer interaction:a review

Support Vector Machines (SVMs) are widely used classifiers for detecting physiological patterns in Human-Computer Interaction (HCI). Their success is due to their versatility, robustness and large availability of free dedicated toolboxes. Frequently in the literature, insufficient details about the SVM implementation and/or parameters selection are reported, making it impossible to reproduce study analysis and results. In order to perform an optimized classification and report a proper description of the results, it is necessary to have a comprehensive critical overview of the application of SVM. The aim of this paper is to provide a review of the usage of SVM in the determination of brain and muscle patterns for HCI, by focusing on electroencephalography (EEG) and electromyography (EMG) techniques. In particular, an overview of the basic principles of SVM theory is outlined, together with a description of several relevant literature implementations. Furthermore, details concerning reviewed papers are listed in tables, and statistics of SVM use in the literature are presented. Suitability of SVM for HCI is discussed and critical comparisons with other classifiers are reported.

Non-invasive winding fault detection for induction machines based on stray flux magnetic sensors

Non-intrusive monitoring of health state of induction machines within industrial process and harsh environments poses a technical challenge. In the field, winding failures are a major fault accounting for over 45% of total machine failures. In the literature, many condition monitoring techniques based on different failure mechanisms and fault indicators have been developed where the machine current signature analysis (MCSA) is a very popular and effective method at this stage. However, it is extremely difficult to distinguish different types of failures and hard to obtain local information if a non-intrusive method is adopted. Typically, some sensors need to be installed inside the machines for collecting key information, which leads to disruption to the machine operation and additional costs. This paper presents a new non-invasive monitoring method based on GMRs to measure stray flux leaked from the machines. It is focused on the influence of potential winding failures on the stray magnetic flux in induction machines. Finite element analysis and experimental tests on a 1.5-kW machine are presented to validate the proposed method. With time-frequency spectrogram analysis, it is proven to be effective to detect several winding faults by referencing stray flux information. The novelty lies in the implement of GMR sensing and analysis of machine faults.

Bidirectional Helmholtz Machines

L'entraînement sans surveillance efficace et inférence dans les modèles génératifs profonds reste un problème difficile. Une approche assez simple, la machine de Helmholtz, consiste à entraîner du haut vers le bas un modèle génératif dirigé qui sera utilisé plus tard pour l'inférence approximative. Des résultats récents suggèrent que de meilleurs modèles génératifs peuvent être obtenus par de meilleures procédures d'inférence approximatives. Au lieu d'améliorer la procédure d'inférence, nous proposons ici un nouveau modèle, la machine de Helmholtz bidirectionnelle, qui garantit qu'on peut calculer efficacement les distributions de haut-vers-bas et de bas-vers-haut. Nous y parvenons en interprétant à les modèles haut-vers-bas et bas-vers-haut en tant que distributions d'inférence approximative, puis ensuite en définissant la distribution du modèle comme étant la moyenne géométrique de ces deux distributions. Nous dérivons une borne inférieure pour la vraisemblance de ce modèle, et nous démontrons que l'optimisation de cette borne se comporte en régulisateur. Ce régularisateur sera tel que la distance de Bhattacharyya sera minisée entre les distributions approximatives haut-vers-bas et bas-vers-haut. Cette approche produit des résultats de pointe en terme de modèles génératifs qui favorisent les réseaux significativement plus profonds. Elle permet aussi une inférence approximative amérliorée par plusieurs ordres de grandeur. De plus, nous introduisons un modèle génératif profond basé sur les modèles BiHM pour l'entraînement semi-supervisé.

Detectability of migrating raptors and its effect on bias and precision of trend estimates

Annual counts of migrating raptors at fixed observation points are a widespread practice, and changes in numbers counted over time, adjusted for survey effort, are commonly used as indices of trends in population size. Unmodeled year-to-year variation in detectability may introduce bias, reduce precision of trend estimates, and reduce power to detect trends. We conducted dependent double-observer surveys at the annual fall raptor migration count at Lucky Peak, Idaho, in 2009 and 2010 and applied Huggins closed-capture removal models and information-theoretic model selection to determine the relative importance of factors affecting detectability. The most parsimonious model included effects of observer team identity, distance, species, and day of the season. We then simulated 30 years of counts with heterogeneous individual detectability, a population decline (λ = 0.964), and unexplained random variation in the number of available birds. Imperfect detectability did not bias trend estimation, and increased the time required to achieve 80% power by less than 11%. Results suggested that availability is a greater source of variance in annual counts than detectability; thus, efforts to account for availability would improve the monitoring value of migration counts. According to our models, long-term trends in observer efficiency or migratory flight distance may introduce substantial bias to trend estimates. Estimating detectability with a novel count protocol like our double-observer method is just one potential means of controlling such effects. The traditional approach of modeling the effects of covariates and adjusting the index may also be effective if ancillary data is collected consistently.

High-precision force sensing using a single trapped ion

We introduce quantum sensing schemes for measuring very weak forces with a single trapped ion. They use the spin-motional coupling induced by the laser-ion interaction to transfer the relevant force information to the spin-degree of freedom. Therefore, the force estimation is carried out simply by observing the Ramsey-type oscillations of the ion spin states. Three quantum probes are considered, which are represented by systems obeying the Jaynes-Cummings, quantum Rabi (in 1D) and Jahn-Teller (in 2D) models. By using dynamical decoupling schemes in the Jaynes-Cummings and Jahn-Teller models, our force sensing protocols can be made robust to the spin dephasing caused by the thermal and magnetic field fluctuations. In the quantum-Rabi probe, the residual spin-phonon coupling vanishes, which makes this sensing protocol naturally robust to thermally-induced spin dephasing. We show that the proposed techniques can be used to sense the axial and transverse components of the force with a sensitivity beyond the yN/\wurzel{Hz}range, i.e. in the xN/\wurzel{Hz}(xennonewton, 10^−27). The Jahn-Teller protocol, in particular, can be used to implement a two-channel vector spectrum analyzer for measuring ultra-low voltages.

Metodologia para medição da potência necessária ao corte por um triturador florestal.

Resumo: Para execução do processo de raleamento na Caatinga é importante utilizar máquinas do tipo rotores trituradores acoplados em tratores de baixa potência, visando a diminuição de tempo e mão-de-obra dos agricultores familiares na, implantação de sistemas de exploração sustentáveis, sistemas agrossilvipastoris. Para o projeto de uma máquina que seja acessível a estes produtores, o primeiro passo é se conhecer a potência de corte necessária para a operação de raleamento. O objetivo deste trabalho foi desenvolver e avaliar uma metodologia de ensaio para medir a potência durante o corte de uma espécie arbórea, podendo assim avaliar os parâmetros a serem utilizados futuramente no projeto da máquina. Como espécie teste, utilizou-se o eucalyptus citriodora, por ser uma madeira que apresenta resistência de corte elevada e similar ao das espécies da Caatinga. Observou-se que a metodologia proposta, ao padronizar os procedimentos, permitiu adquirir de forma rápida e precisa os valores dos parâmetros de importância no projeto de máquinas destinadas a cortar e triturar espécies arbóreas. Também a utilização dos dados obtidos por meio da aplicação da metodologia, possibilitam maior confiabilidade e precisão no projeto de máquinas destinadas a este tipo de trabalho. [Methodology for obtaining the cutting power of a forest crusher]. Abstract: For executions the thinning process in Caatinga is important to use machines as Rotors Crushers coupled in low- power tractors, aimed at decrease of time and hand labor of Family Farmers in the implementation of sustainable exploration systems, agrosylvopastoral Systems. For the project for the design of a machine that is accessible these producers, the first step is knowing the cut power needed for a thinning operation. The objective of this study was to develop and evaluate a test methodology to measure the power during the cutting of a tree species and can evaluate the cutting parameters used in the future in machine design. As a test species, we used the eucalyptus citriodora, as this wood has cut high resistance and similar to Species of Caatinga. It was observed that the methodology proposal, to the standardize procedures, allows to get quickly and accurately the values of importance parameters in the design of machines designed to cut and grind tree species. Also the use of data obtained through the application of the methodology , enable greater reliability and precision in machine design intended for this type of work.