Product verification and defect repair - status and considerations

Product verifications have become a cost-intensive and time-consuming aspect of modern electronics production, but with the onset of an ever-increasing miniaturisation, these aspects will become even more cumbersome. One may also go as far as to point out that certain precision assembly, such as within the biomedical sector, is legally bound to have 0 defects within production. Since miniaturisation and precision assembly will soon become a part of almost any product, the verifications phases of assembly need to be optimised in both functionality and cost. Another aspect relates to the stability and robustness of processes, a pre-requisite for flexibility. Furthermore, as the re-engineering cycle becomes ever more important, all information gathered within the ongoing process becomes vital. In view of these points, product, or process verification may be assumed to be an important and integral part of precision assembly. In this paper, product verification is defined as the process of determining whether or not the products, at a given phase in the life-cycle, fulfil the established specifications. Since the product is given its final form and function in the assembly, the product verification normally takes place somewhere in the assembly line which is the focus for this paper.

Uma análise da atuação da auditoria operacional em empresas de transformação na cidade do Rio de Janeiro: um estudo de casos

Esta pesquisa teve como principal objetivo analisar os serviços de auditoria interna em sua modalidade operacional nas empresas industriais de transformação na cidade do Rio de Janeiro, no que concerne a estrutura organizacional e seu funcionamento, considerando-se suas características individuais em conformidade com a área ou setor de atuação de cada empresa, em relação com a literatura estudada. A revisão de literatura apresentada no capítulo II, enfoca aspectos relevantes que foram usados como fundamentos teóricos para nortear o presente estudo. No capítulo III é apresentada a metodologia utilizada, onde se chama a atenção para a utilização do método de estudo de casos, levando-se em consideracão a carência de verificações empíricas na área de auditoria, utilizadas nas empresas pesquisadas. A seguir, no capítulo IV, são descritos os casos estudados, abordando-se as características de cada Departamento de Auditoria, e as respectivas formas com que desenvolvem os seus trabalhos. No capítulo V é apresentado a análise dos casos através de comparações com os pontos vistos como importantes na literatura. Finalmente, no capitulo VI, são apresentadas as conclusões, recomendações e sugestões de novos estudos.

Categorias no pensamento humano: conceitos ou protótipos?

Este trabalho representa urna tentativa de recolocar, à luz das mais recentes contribuições teóricas e verificações empíricas, o terna da obtenção de conceitos e de sua atual alternativa, expressa através da teoria dos protótipos. Para a consecução de tal objetivo, fez-se inicialmente urna revisão dos principais aspectos que caracterizam a abordagem clássica na obtenção de conceitos. Nessa abordagem, define-se um conceito por um pequeno conjunto de propriedades comuns a todos os seus exemplares, que são necessárias e suficientes para este fim. A análise dos resultados obtidos confirmou plenamente a hipótese em questão, indicando que a estrutura interna das categorias de ambientes possuía uma realidade psicológica e que tal estrutura afetava o processamento cognitivo destas categorias. As evidências reunidas nos três estudos possibilitaram uma confirmação e extensão de algumas das formulações teóricas subjacentes ã abordagem de protótipos na formação de categorias e possibilitaram o desenvolvimento de sugestões úteis ã Psicologia Ambiental, ã Psicologia Instrucional e ã elaboração de modelos sobre o processo de for mação de categorias.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

O uso de modelos no ensino de química: uma investigação acerca dos saberes construídos durante a formação inicial de professores de Química da UFRN

In the past twenty years, there has been a significant increase of researches about teacher s professionalization. In that context, the investigations concerning teacher s knowledge represent an important contribution, as they aim to identify and to rescue the base of knowledge that sustains the teacher s profession. In particular, the reflections and propositions of Lee Shulman have been constitute a fundamental subsidy to the teacher s professionalization in the sense of harnessing the pedagogic knowledge to the content s knowledge, establishing the pedagogic knowledge of the content that characterizes and differentiates the teacher and the bachelor in a certain field of knowledge. Among the indispensable knowledge for the Chemistry teacher's professional practice, in this research we have pointed out the pertinence of the knowledge on the use of models in Chemistry classes in the middle and high school. Those knowledges regard the comprehension of students concerning the understanding and models elaborated in science and the models implemented in the Chemistry teaching, as well as the abilities to plan didactic situations that use models. In this research, we aimed to identify the contributions and barriers during the Chemistry teacher education, in UFRN, in relation to the construction of knowledge that subsidize training teachers in the elaboration of teaching activities that involve the use of models. The investigation was accomplished in UFRN, in the Course of Degree in Chemistry, along with 13 student teachers that studied the subject Practice of Chemistry Teaching. For this research, the following instruments were used: questionnaires with open and closed questions, elaboration of a plan of activities for the Chemistry teaching and an interview to answer the established study s questions. The data was analyzed in an established criteria, classified and tabled. The results showed that the student teachers representations regarding scientific knowledge contemplated, among other topics, the idea of a method for his/her construction. In some cases, the models role was emphasized in that construction, as well as the social dimension in the validation of that knowledge. The scientific models were highlighted by most of the student teachers, as a representation method to explain, understand and interpret the chemical phenomena. On the other hand, the didactic models stood out, in most of cases, as a method of aiding the Chemistry students of the Basic Education to understand the scientific models. The representations regarding those categories contemplated important aspects, although in a superficial way, reflecting the limitations of reflections during the formative process. In the elaboration of teaching activities that use models, difficulties were evidenced, in the process of plan construction, relative to the didactic structure and to the proposition of activities that contemplated models, although the student teachers have mobilized different elements regarding the pedagogic knowledge of the content. Such verifications evidence the urge for the teacher development programs to promote changes in the teacher education in order to propitiate, during this process, reflections, discussions and propositions of activities regarding categories highlighted in this research, contributing to the construction of initial elements regarding the pedagogic knowledge of the content that will be developed throughout teaching, therefore corroborating to the teacher s professionalization

Vibration energy harvesting using piezoelectric transducer and non-controlled rectifiers circuits

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Um dilema da formação jurídica: o papel das escolas de Direito frente às questões da inclusão

Pós-graduação em Educação - FFC

Pontes de madeira para pequenos vãos para situações emergenciais

In Brazil there are many cases of cities that suffer from flooding. It often destroys much of the structure of the city, and isolates many families. Relying on emergency measures for these cases and similar cases is of utmost importance. This paper proposes the development of a project of a timber bridge that can be used in emergency situations such as occurs in situations of floods and especially on side roads. It is considered one type of structural bridge which has, among other characteristics, an easy transportation and assembly of the elements. The development is carried out, at this early stage of the project, only about the verification and sizing of structural elements of the superstructure of the bridge. For this purpose, it relies on computer programs, and fundamentally on PCFrame Visual Taco. The first allows you to model the structure and determine the efforts of calculating the elements, and the second one assists at the scaling and the verifications in accordance with the Brazilian technical standards for timber bridges. The wood used in the project comes from the tree Eucalyptus saligna, which is easy to acquaint and manipulate and comes from the region Vale do Paraíba. The bridge in this case of application should have the characteristics mentioned below: short execution time, simplicity of structure and an assembly of a relatively low cost

Entanglement of excited states in critical spin chains

Renyi and von Neumann entropies quantifying the amount of entanglement in ground states of critical spin chains are known to satisfy a universal law which is given by the conformal field theory (CFT) describing their scaling regime. This law can be generalized to excitations described by primary fields in CFT, as was done by Alcaraz et al in 2011 (see reference [1], of which this work is a completion). An alternative derivation is presented, together with numerical verifications of our results in different models belonging to the c = 1, 1/2 universality classes. Oscillations of the Renyi entropy in excited states are also discussed.

Metodi di ottimizzazione morfologica nel progetto preliminare di propulsori aeronautici avanzati

The aim of this Doctoral Thesis is to develop a genetic algorithm based optimization methods to find the best conceptual design architecture of an aero-piston-engine, for given design specifications. Nowadays, the conceptual design of turbine airplanes starts with the aircraft specifications, then the most suited turbofan or turbo propeller for the specific application is chosen. In the aeronautical piston engines field, which has been dormant for several decades, as interest shifted towards turboaircraft, new materials with increased performance and properties have opened new possibilities for development. Moreover, the engine’s modularity given by the cylinder unit, makes it possible to design a specific engine for a given application. In many real engineering problems the amount of design variables may be very high, characterized by several non-linearities needed to describe the behaviour of the phenomena. In this case the objective function has many local extremes, but the designer is usually interested in the global one. The stochastic and the evolutionary optimization techniques, such as the genetic algorithms method, may offer reliable solutions to the design problems, within acceptable computational time. The optimization algorithm developed here can be employed in the first phase of the preliminary project of an aeronautical piston engine design. It’s a mono-objective genetic algorithm, which, starting from the given design specifications, finds the engine propulsive system configuration which possesses minimum mass while satisfying the geometrical, structural and performance constraints. The algorithm reads the project specifications as input data, namely the maximum values of crankshaft and propeller shaft speed and the maximal pressure value in the combustion chamber. The design variables bounds, that describe the solution domain from the geometrical point of view, are introduced too. In the Matlab® Optimization environment the objective function to be minimized is defined as the sum of the masses of the engine propulsive components. Each individual that is generated by the genetic algorithm is the assembly of the flywheel, the vibration damper and so many pistons, connecting rods, cranks, as the number of the cylinders. The fitness is evaluated for each individual of the population, then the rules of the genetic operators are applied, such as reproduction, mutation, selection, crossover. In the reproduction step the elitist method is applied, in order to save the fittest individuals from a contingent mutation and recombination disruption, making it undamaged survive until the next generation. Finally, as the best individual is found, the optimal dimensions values of the components are saved to an Excel® file, in order to build a CAD-automatic-3D-model for each component of the propulsive system, having a direct pre-visualization of the final product, still in the engine’s preliminary project design phase. With the purpose of showing the performance of the algorithm and validating this optimization method, an actual engine is taken, as a case study: it’s the 1900 JTD Fiat Avio, 4 cylinders, 4T, Diesel. Many verifications are made on the mechanical components of the engine, in order to test their feasibility and to decide their survival through generations. A system of inequalities is used to describe the non-linear relations between the design variables, and is used for components checking for static and dynamic loads configurations. The design variables geometrical boundaries are taken from actual engines data and similar design cases. Among the many simulations run for algorithm testing, twelve of them have been chosen as representative of the distribution of the individuals. Then, as an example, for each simulation, the corresponding 3D models of the crankshaft and the connecting rod, have been automatically built. In spite of morphological differences among the component the mass is almost the same. The results show a significant mass reduction (almost 20% for the crankshaft) in comparison to the original configuration, and an acceptable robustness of the method have been shown. The algorithm here developed is shown to be a valid method for an aeronautical-piston-engine preliminary project design optimization. In particular the procedure is able to analyze quite a wide range of design solutions, rejecting the ones that cannot fulfill the feasibility design specifications. This optimization algorithm could increase the aeronautical-piston-engine development, speeding up the production rate and joining modern computation performances and technological awareness to the long lasting traditional design experiences.

Power Transient Analysis of Experimental Devices for Jules Horowitz Material Testing Reactor (JHR)

The objective of this thesis is the power transient analysis concerning experimental devices placed within the reflector of Jules Horowitz Reactor (JHR). Since JHR material testing facility is designed to achieve 100 MW core thermal power, a large reflector hosts fissile material samples that are irradiated up to total relevant power of 3 MW. MADISON devices are expected to attain 130 kW, conversely ADELINE nominal power is of some 60 kW. In addition, MOLFI test samples are envisaged to reach 360 kW for what concerns LEU configuration and up to 650 kW according to HEU frame. Safety issues concern shutdown transients and need particular verifications about thermal power decreasing of these fissile samples with respect to core kinetics, as far as single device reactivity determination is concerned. Calculation model is conceived and applied in order to properly account for different nuclear heating processes and relative time-dependent features of device transients. An innovative methodology is carried out since flux shape modification during control rod insertions is investigated regarding the impact on device power through core-reflector coupling coefficients. In fact, previous methods considering only nominal core-reflector parameters are then improved. Moreover, delayed emissions effect is evaluated about spatial impact on devices of a diffuse in-core delayed neutron source. Delayed gammas transport related to fission products concentration is taken into account through evolution calculations of different fuel compositions in equilibrium cycle. Provided accurate device reactivity control, power transients are then computed for every sample according to envisaged shutdown procedures. Results obtained in this study are aimed at design feedback and reactor management optimization by JHR project team. Moreover, Safety Report is intended to utilize present analysis for improved device characterization.

Evolution of the structural and fracture design of the ISS payloads due to the new launchers, specifically applied to Biolab IEC-2 projects

The relatively young discipline of astronautics represents one of the scientifically most fascinating and technologically advanced achievements of our time. The human exploration in space does not offer only extraordinary research possibilities but also demands high requirements from man and technology. The space environment provides a lot of attractive experimental tools towards the understanding of fundamental mechanism in natural sciences. It has been shown that especially reduced gravity and elevated radiation, two distinctive factors in space, influence the behavior of biological systems significantly. For this reason one of the key objectives on board of an earth orbiting laboratory is the research in the field of life sciences, covering the broad range from botany, human physiology and crew health up to biotechnology. The Columbus Module is the only European low gravity platform that allows researchers to perform ambitious experiments in a continuous time frame up to several months. Biolab is part of the initial outfitting of the Columbus Laboratory; it is a multi-user facility supporting research in the field of biology, e.g. effect of microgravity and space radiation on cell cultures, micro-organisms, small plants and small invertebrates. The Biolab IEC are projects designed to work in the automatic part of Biolab. In this moment in the TO-53 department of Airbus Defence & Space (formerly Astrium) there are two experiments that are in phase C/D of the development and they are the subject of this thesis: CELLRAD and CYTOSKELETON. They will be launched in soft configuration, that means packed inside a block of foam that has the task to reduce the launch loads on the payload. Until 10 years ago the payloads which were launched in soft configuration were supposed to be structural safe by themselves and a specific structural analysis could be waived on them; with the opening of the launchers market to private companies (that are not under the direct control of the international space agencies), the requirements on the verifications of payloads are changed and they have become much more conservative. In 2012 a new random environment has been introduced due to the new Space-X launch specification that results to be particularly challenging for the soft launched payloads. The last ESA specification requires to perform structural analysis on the payload for combined loads (random vibration, quasi-steady acceleration and pressure). The aim of this thesis is to create FEM models able to reproduce the launch configuration and to verify that all the margins of safety are positive and to show how they change because of the new Space-X random environment. In case the results are negative, improved design solution are implemented. Based on the FEM result a study of the joins has been carried out and, when needed, a crack growth analysis has been performed.

From transient to steady state deformation and grain size: A thermodynamic approach using elasto-visco-plastic numerical modeling

Numerical simulation experiments give insight into the evolving energy partitioning during high-strain torsion experiments of calcite. Our numerical experiments are designed to derive a generic macroscopic grain size sensitive flow law capable of describing the full evolution from the transient regime to steady state. The transient regime is crucial for understanding the importance of micro structural processes that may lead to strain localization phenomena in deforming materials. This is particularly important in geological and geodynamic applications where the phenomenon of strain localization happens outside the time frame that can be observed under controlled laboratory conditions. Ourmethod is based on an extension of the paleowattmeter approach to the transient regime. We add an empirical hardening law using the Ramberg-Osgood approximation and assess the experiments by an evolution test function of stored over dissipated energy (lambda factor). Parameter studies of, strain hardening, dislocation creep parameter, strain rates, temperature, and lambda factor as well asmesh sensitivity are presented to explore the sensitivity of the newly derived transient/steady state flow law. Our analysis can be seen as one of the first steps in a hybrid computational-laboratory-field modeling workflow. The analysis could be improved through independent verifications by thermographic analysis in physical laboratory experiments to independently assess lambda factor evolution under laboratory conditions.

The design and evaluation of a 2D dose verification system for intensity modulated radiotherapy

The usage of intensity modulated radiotherapy (IMRT) treatments necessitates a significant amount of patient-specific quality assurance (QA). This research has investigated the precision and accuracy of Kodak EDR2 film measurements for IMRT verifications, the use of comparisons between 2D dose calculations and measurements to improve treatment plan beam models, and the dosimetric impact of delivery errors. New measurement techniques and software were developed and used clinically at M. D. Anderson Cancer Center. The software implemented two new dose comparison parameters, the 2D normalized agreement test (NAT) and the scalar NAT index. A single-film calibration technique using multileaf collimator (MLC) delivery was developed. EDR2 film's optical density response was found to be sensitive to several factors: radiation time, length of time between exposure and processing, and phantom material. Precision of EDR2 film measurements was found to be better than 1%. For IMRT verification, EDR2 film measurements agreed with ion chamber results to 2%/2mm accuracy for single-beam fluence map verifications and to 5%/2mm for transverse plane measurements of complete plan dose distributions. The same system was used to quantitatively optimize the radiation field offset and MLC transmission beam modeling parameters for Varian MLCs. While scalar dose comparison metrics can work well for optimization purposes, the influence of external parameters on the dose discrepancies must be minimized. The ability of 2D verifications to detect delivery errors was tested with simulated data. The dosimetric characteristics of delivery errors were compared to patient-specific clinical IMRT verifications. For the clinical verifications, the NAT index and percent of pixels failing the gamma index were exponentially distributed and dependent upon the measurement phantom but not the treatment site. Delivery errors affecting all beams in the treatment plan were flagged by the NAT index, although delivery errors impacting only one beam could not be differentiated from routine clinical verification discrepancies. Clinical use of this system will flag outliers, allow physicists to examine their causes, and perhaps improve the level of agreement between radiation dose distribution measurements and calculations. The principles used to design and evaluate this system are extensible to future multidimensional dose measurements and comparisons. ^