NDT Controlled Production in Steel Industry

In this paper we present Nondestructive Testing (NDT) systems and instruments used in steel industry for the quality control of production processes. We real-time multi-channel ultrasonic inspection systems with advanced array transducers for the inspection of bars and other semi-finished parts. The equipment is designed for fast inspection in the production flow. For the control of heavy parts we discuss mobile high energy Betatron radio-graphy that can be upgraded to tomography. The control of special processes like surface hardening can also be performed nondestructively based on the evaluation of ultrasonic backscattering. Thermoelectric phenomena are applied for sorting of mixed-up metal parts

Probing carbonyl–water hydrogen-bond interactions in thin polyoxazoline brushes

Temperature-responsive oxazoline-based polymer brushes have gained increased attention as biocompatible surfaces. In aqueous environment, they can be tuned between hydrophilic and hydrophobic behavior triggered by a temperature stimulus. This transition is connected with changes in molecule–solvent interactions and results in a switching of the brushes between swollen and collapsed states. This work studies the temperature-dependent interactions between poly(2-oxazoline) brushes and water. In detail, thermoresponsive poly(2-cyclopropyl-2-oxazoline), nonresponsive hydrophilic poly(2-methyl-2-oxazoline), as well as a copolymer of the two were investigated with in situinfrared ellipsometry. Focus was put on interactions of the brushes’ carbonyl groups with water molecules. Different polymer–water interactions could be observed and assigned to hydrogen bonding between C=O groups and water molecules. The switching behavior of the brushes in the range of 20–45°C was identified by frequency shifts and intensity changes of the amide I band

Probing carbonyl–water hydrogen-bond interactions in thin polyoxazoline brushes

Temperature-responsive oxazoline-based polymer brushes have gained increased attention as biocompatible surfaces. In aqueous environment, they can be tuned between hydrophilic and hydrophobic behavior triggered by a temperature stimulus. This transition is connected with changes in molecule–solvent interactions and results in a switching of the brushes between swollen and collapsed states. This work studies the temperature-dependent interactions between poly(2-oxazoline) brushes and water. In detail, thermoresponsive poly(2-cyclopropyl-2-oxazoline), nonresponsive hydrophilic poly(2-methyl-2-oxazoline), as well as a copolymer of the two were investigated with in situinfrared ellipsometry. Focus was put on interactions of the brushes’ carbonyl groups with water molecules. Different polymer–water interactions could be observed and assigned to hydrogen bonding between C=O groups and water molecules. The switching behavior of the brushes in the range of 20–45°C was identified by frequency shifts and intensity changes of the amide I band

Probing carbonyl-water hydrogen-bond interactions in thin polyoxazoline brushes

Temperature-responsive oxazoline-based polymer brushes have gained increased attention as biocompatible surfaces. In aqueous environment, they can be tuned between hydrophilic and hydrophobic behavior triggered by a temperature stimulus. This transition is connected with changes in molecule–solvent interactions and results in a switching of the brushes between swollen and collapsed states. This work studies the temperature-dependent interactions between poly(2-oxazoline) brushes and water. In detail, thermoresponsive poly(2-cyclopropyl-2-oxazoline), nonresponsive hydrophilic poly(2-methyl-2-oxazoline), as well as a copolymer of the two were investigated with in situ infrared ellipsometry. Focus was put on interactions of the brushes' carbonyl groups with water molecules. Different polymer–water interactions could be observed and assigned to hydrogen bonding between C=O groups and water molecules. The switching behavior of the brushes in the range of 20–45 °C was identified by frequency shifts and intensity changes of the amide I band

Detection and Imaging of Defects Especially Materials with Small UT Transducers Using Broad-Band Holography

Since conventional single frequency acoustical holography provides only poor axial resolution, this concept was improved with the multifrequency holography to enhance the imaging quality. This leads to long data acquisition times because of the need to measure each frequency. A further step towards a fast imaging system with good spatial resolution is broadband holography. Here, one illuminates the object with broadband signals in a single measurement procedure

Proving Safety with Trace Automata and Bounded Model Checking

Loop under-approximation is a technique that enriches C programs with additional branches that represent the effect of a (limited) range of loop iterations. While this technique can speed up the detection of bugs significantly, it introduces redundant execution traces which may complicate the verification of the program. This holds particularly true for verification tools based on Bounded Model Checking, which incorporate simplistic heuristics to determine whether all feasible iterations of a loop have been considered. We present a technique that uses \emph{trace automata} to eliminate redundant executions after performing loop acceleration. The method reduces the diameter of the program under analysis, which is in certain cases sufficient to allow a safety proof using Bounded Model Checking. Our transformation is precise---it does not introduce false positives, nor does it mask any errors. We have implemented the analysis as a source-to-source transformation, and present experimental results showing the applicability of the technique

Perfil metabólico de cordeiros fêmeas em pastagem de azevém manejada sob diferentes intensidades e métodos de pastejo

The aim of this study was to evaluate the effect of grazing methods and intensities on the metabolic profile of lambs grazing ryegrass. This study was performed in Eldorado do Sul (RS). The treatments consisted of two grazing intensities with rotational and continuous stocking methods: moderate and low. The experimental design was a randomized block arranged in a factorial scheme with four replicates. To evaluate the metabolic and nutritional conditions of the lambs, blood samples were collected to evaluate phosphorus, albumin, glucose, magnesium, globulin, cortisol, urea and total proteins. The highest blood urea value was observed in the month of September in lambs kept in continuous method grazing. There was no statistical difference between the grazing intensities and grazing methods for albumin, glucose, magnesium, globulin, cortisol and total protein levels in profile lambs. The cortisol values suggested that the animals were not subjected to high stress levels. In conclusion, rearing female lambs on ryegrass, irrespective of grazing methods or intensities, allowed the maintenance of body homeostasis and did not cause any metabolic unbalances, nutritional unbalances or stress.O objetivo deste estudo foi avaliar o efeito dos métodos e das intensidades de pastejo no perfil metabólico de cordeiros. Este estudo foi realizado em Eldorado do Sul (RS). Os tratamentos consistiram em duas intensidades de pastejo (moderada e baixa), com métodos lotação rotativa e lotação contínua. O delineamento experimental foi em blocos ao acaso, em esquema fatorial com quatro repetições. Para avaliar as condições metabólicas e nutricionais dos cordeiros, foram coletadas amostras de sangue para avaliar fósforo, albumina, glicose, magnésio, globulina, cortisol, ureia e proteínas totais. O maior valor de ureia no sangue foi observado no mês de setembro nos cordeiros mantidos em pastejo contínuo. Não houve diferença estatística entre as intensidades de pastejo e os métodos de pastejo para albumina, glicose, magnésio, globulina, cortisol e níveis de proteína total nos cordeiros perfilados. Os valores de cortisol sugeriram que os animais não foram submetidos a altos níveis de estresse. Concluindo, a criação de cordeiros em azevém, independentemente dos métodos ou das intensidades de pastejo, permitiu a manutenção da homeostase corporal e não causou desequilíbrios metabólicos, desequilíbrios nutricionais ou estresse

Lynx: A Programmatic SAT Solver for the RNA-folding Problem

15th International Conference, Trento, Italy, June 17-20, 2012. ProceedingsThis paper introduces Lynx, an incremental programmatic SAT solver that allows non-expert users to introduce domain-specific code into modern conflict-driven clause-learning (CDCL) SAT solvers, thus enabling users to guide the behavior of the solver. The key idea of Lynx is a callback interface that enables non-expert users to specialize the SAT solver to a class of Boolean instances. The user writes specialized code for a class of Boolean formulas, which is periodically called by Lynx’s search routine in its inner loop through the callback interface. The user-provided code is allowed to examine partial solutions generated by the solver during its search, and to respond by adding CNF clauses back to the solver dynamically and incrementally. Thus, the user-provided code can specialize and influence the solver’s search in a highly targeted fashion. While the power of incremental SAT solvers has been amply demonstrated in the SAT literature and in the context of DPLL(T), it has not been previously made available as a programmatic API that is easy to use for non-expert users. Lynx’s callback interface is a simple yet very effective strategy that addresses this need. We demonstrate the benefits of Lynx through a case-study from computational biology, namely, the RNA secondary structure prediction problem. The constraints that make up this problem fall into two categories: structural constraints, which describe properties of the biological structure of the solution, and energetic constraints, which encode quantitative requirements that the solution must satisfy. We show that by introducing structural constraints on-demand through user provided code we can achieve, in comparison with standard SAT approaches, upto 30x reduction in memory usage and upto 100x reduction in time

Shares of the search for respiratory symptoms of tuberculosis according to the professionals' view of a Family Health Unit

Analyze in accordance with the professional's view of a Family Health Team the practice of Search for respiratory symptoms of Tuberculosis in daily activities identifying difficulties in developing this action. Qualitative, with content analysis, thematic, through semi-structured interviews applied to five professionals that form a family health team of a health unit (clinic) in a medium-sized city in southern Brazil. The statements reveal that shares of the search for respiratory symptoms of tuberculosis have the community as the main scenario and the Family Health Strategy has the potential to intensify actions to control TB in this medium. The role of the Community Health Agent is deployed in these shares and also the insecurity of health professionals with the risk of contagion of the disease. The search for respiratory symptoms of TB is a program developed by the professionals of the FHS. However, difficulties are identified in the continuity of health care necessary to diagnose the disease because of quantitative weaknesses (lack of human resources) and qualitative (unprepared professionals) with implications for tuberculosis contro