Construction and test of low cost X-ray tomography scanner for physical-chemical analysis and nondestructive inspections

X-ray computed tomography (CT) refers to the cross-sectional imaging of an object measuring the transmitted radiation at different directions. In this work, we describe the development of a low cost micro-CT X-ray scanner that is being developed for nondestructive testing. This tomograph operates using a microfocus X-ray source and contains a silicon photodiode as detectors. The performance of the system, by its spatial resolution, has been estimated through its Modulation Transfer Function - MTF and the obtained value at 10% of MTF is 661 μm. It was built as a general purpose nondestructive testing device. © 2009 American Institute of Physics.

Adhesion between fiber post and root dentin: evaluation of post surface conditioning for bond strength improvement.

The aim of this paper was to evaluate two surface conditioning methods associated with the application of adhesive on the post surface for improving the bond to resin cement. Sixty single-rooted bovine teeth were sectioned at 16 mm in length, prepared (9 mm depth), embedded in a PVC cylinder using acrylic resin, and allocated into 3 groups (N.=20) according to post surface treatment: cleaning with ethanol (control group); etching with hydrogen peroxide; etching with hydrofluoric acid. Ten posts for each group were silanized and other 10 posts were silanized and received an adhesive agent. The posts were cemented with self-adhesive resin cement (RelyX U100 resin cement). All teeth were sectioned perpendicularly to the long axis (2 mm thickness per slice), submitted to push out bond strength testing and the type of failure was recorded. The obtained data were submitted to two-way ANOVA and Turkey's test, with the level of significance set at 5%. Neither the hydrofluoric acid or hydrogen peroxide post surface treatment, nor the adhesive application, had an influence on bond strength values. The main type of failure was adhesive between cement and dentin. Etching and the application of an adhesive on the post surface did not presented a significant influence on the bond strength results for the fiber post resin cement-root dentin assembly. The cement appears to adhere very well to the fiber post surface rather than the dentin surface.

Genetic variability and efficiency of DNA microsatellite markers for paternity testing in horse breeds from the Brazilian Marajó archipelago

In this study, 15 microsatellite DNA loci used in comparative tests by the International Society for Animal Genetics were applied to the evaluation of genetic diversity and management, and the efficiency of paternity testing in Marajoara horses and Puruca ponies from the Marajó Archipelago. Based on the genotyping of 93 animals, mean allelic diversity was estimated as 9.14 and 7.00 for the Marajoara and Puruca breeds, respectively. While these values are similar to those recorded in most European breeds, mean levels of heterozygosity were much lower (Marajoara 49%, Puruca 40%), probably as a result of high levels of inbreeding in the Marajó populations. The mean informative polymorphic content of this 15-marker system was over 50% in both breeds, and was slightly higher in the Marajoara horses. The discriminative power and exclusion probabilities derived from this system were over 99% for both populations, emphasizing the efficacy of these markers for paternity testing and genetic management in the two breeds.

The use of mechanisms and modes of toxic action in integrated testing strategies: the report and recommendations of a workshop held as part of the European Union OSIRIS Integrated Project

This report on The Potential of Mode of Action (MoA) Information Derived from Non-testing and Screening Methodologies to Support Informed Hazard Assessment, resulted from a workshop organised within OSIRIS (Optimised Strategies for Risk Assessment of Industrial Chemicals through Integration of Non-test and Test Information), a project partly funded by the EU Commission within the Sixth Framework Programme. The workshop was held in Liverpool, UK, on 30 October 2008, with 35 attendees. The goal of the OSIRIS project is to develop integrated testing strategies (ITS) fit for use in the REACH system, that would enable a significant increase in the use of non-testing information for regulatory decision making, and thus minimise the need for animal testing. One way to improve the evaluation of chemicals may be through categorisation by way of mechanisms or modes of toxic action. Defining such groups can enhance read-across possibilities and priority settings for certain toxic modes or chemical structures responsible for these toxic modes. Overall, this may result in a reduction of in vivo testing on organisms, through combining available data on mode of action and a focus on the potentially most-toxic groups. In this report, the possibilities of a mechanistic approach to assist in and guide ITS are explored, and the differences between human health and environmental areas are summarised.

Testing of Android testing tools: development of a benchmark for the evaluation

With the ever growing trend of smart phones and tablets, Android is becoming more and more popular everyday. With more than one billion active users i to date, Android is the leading technology in smart phone arena. In addition to that, Android also runs on Android TV, Android smart watches and cars. Therefore, in recent years, Android applications have become one of the major development sectors in software industry. As of mid 2013, the number of published applications on Google Play had exceeded one million and the cumulative number of downloads was more than 50 billionii. A 2013 survey also revealed that 71% of the mobile application developers work on developing Android applicationsiii. Considering this size of Android applications, it is quite evident that people rely on these applications on a daily basis for the completion of simple tasks like keeping track of weather to rather complex tasks like managing one’s bank accounts. Hence, like every other kind of code, Android code also needs to be verified in order to work properly and achieve a certain confidence level. Because of the gigantic size of the number of applications, it becomes really hard to manually test Android applications specially when it has to be verified for various versions of the OS and also, various device configurations such as different screen sizes and different hardware availability. Hence, recently there has been a lot of work on developing different testing methods for Android applications in Computer Science fraternity. The model of Android attracts researchers because of its open source nature. It makes the whole research model more streamlined when the code for both, application and the platform are readily available to analyze. And hence, there has been a great deal of research in testing and static analysis of Android applications. A great deal of this research has been focused on the input test generation for Android applications. Hence, there are a several testing tools available now, which focus on automatic generation of test cases for Android applications. These tools differ with one another on the basis of their strategies and heuristics used for this generation of test cases. But there is still very little work done on the comparison of these testing tools and the strategies they use. Recently, some research work has been carried outiv in this regard that compared the performance of various available tools with respect to their respective code coverage, fault detection, ability to work on multiple platforms and their ease of use. It was done, by running these tools on a total of 60 real world Android applications. The results of this research showed that although effective, these strategies being used by the tools, also face limitations and hence, have room for improvement. The purpose of this thesis is to extend this research into a more specific and attribute-­‐ oriented way. Attributes refer to the tasks that can be completed using the Android platform. It can be anything ranging from a basic system call for receiving an SMS to more complex tasks like sending the user to another application from the current one. The idea is to develop a benchmark for Android testing tools, which is based on the performance related to these attributes. This will allow the comparison of these tools with respect to these attributes. For example, if there is an application that plays some audio file, will the testing tool be able to generate a test input that will warrant the execution of this audio file? Using multiple applications using different attributes, it can be visualized that which testing tool is more useful for which kinds of attributes. In this thesis, it was decided that 9 attributes covering the basic nature of tasks, will be targeted for the assessment of three testing tools. Later this can be done for much more attributes to compare even more testing tools. The aim of this work is to show that this approach is effective and can be used on a much larger scale. One of the flagship features of this work, which also differentiates it with the previous work, is that the applications used, are all specially made for this research. The reason for doing that is to analyze just that specific attribute in isolation, which the application is focused on, and not allow the tool to get bottlenecked by something trivial, which is not the main attribute under testing. This means 9 applications, each focused on one specific attribute. The main contributions of this thesis are: A summary of the three existing testing tools and their respective techniques for automatic test input generation of Android Applications. • A detailed study of the usage of these testing tools using the 9 applications specially designed and developed for this study. • The analysis of the obtained results of the study carried out. And a comparison of the performance of the selected tools.

Development and Testing of a Fiber Bragg Grating Strain Sensor for Uniaxial Compression of Rock Specimens

Los sensores de fibra óptica son una tecnología que ha madurado en los últimos años, sin embargo, se requiere un mayor desarrollo de aplicaciones para materiales naturales como las rocas, que por ser agregados complejos pueden contener partículas minerales y fracturas de tamaño mucho mayor que las galgas eléctricas usadas tradicionalmente para medir deformaciones en las pruebas de laboratorio, ocasionando que los resultados obtenidos puedan ser no representativos. En este trabajo fueron diseñados, fabricados y probados sensores de deformación de gran área y forma curvada, usando redes de Bragg en fibra óptica (FBG) con el objetivo de obtener registros representativos en rocas que contienen minerales y estructuras de diversas composiciones, tamaños y direcciones. Se presenta el proceso de elaboración del transductor, su caracterización mecánica, su calibración y su evaluación en pruebas de compresión uniaxial en muestras de roca. Para verificar la eficiencia en la transmisión de la deformación de la roca al sensor una vez pegado, también fue realizado el análisis de la transferencia incluyendo los efectos del adhesivo, de la muestra y del transductor. Los resultados experimentales indican que el sensor desarrollado permite registro y transferencia de la deformación fiables, avance necesario para uso en rocas y otros materiales heterogénos, señalando una interesante perspectiva para aplicaciones sobre superficies irregulares, pues permite aumentar a voluntad el tamaño y forma del área de registro, posibilita también obtener mayor fiabilidad de resultados en muestras de pequeño tamaño y sugiere su conveniencia en obras, en las cuales los sistemas eléctricos tradicionales tienen limitaciones. ABSTRACT Optical fiber sensors are a technology that has matured in recent years, however, further development for rock applications is needed. Rocks contain mineral particles and features larger than electrical strain gauges traditionally used in laboratory tests, causing the results to be unrepresentative. In this work were designed, manufactured, and tested large area and curved shape strain gages, using fiber Bragg gratings in optical fiber (FBG) in order to obtain representative measurement on surface rocks samples containing minerals and structures of different compositions, sizes and directions. This reports presents the processes of manufacturing, mechanical characterization, calibration and evaluation under uniaxial compression tests on rock samples. To verify the efficiency of rock deformation transmitted to attached sensor, it was also performed the analysis of the strain transfer including the effects of the bonding, the sample and the transducer. The experimental results indicate that the developed sensor enables reliable measurements of the strain and its transmission from rock to sensor, appropriate for use in heterogeneous materials, pointing an interesting perspective for applications on irregular surfaces, allowing increasing at will the size and shape of the measurement area. This research suggests suitability of the optical strain gauge for real scale, where traditional electrical systems have demonstrated some limitations.

TECOM, fire support and infantry weapons testing.

Mode of access: Internet.

TECOM, soldier and support equipment testing.

Mode of access: Internet.

Evaluation of bridge deck delamination investigation methods /

"Report no. ITRC FR 95/96-1".

An Empirical evaluation of preemployment drug testing in the United States Postal Service : interim report of findings.

"January, 1989."

Postgraduate study and managers' subsequent work experience:an exploratory evaluation

Drawing on an exploratory qualitative study, this article considers the link between business school teaching at graduate level and subsequent work behaviour and experiences of former students. It evaluates the student experience some time after graduation. The findings of the retrospective evaluation point to the value of classroom peer discussion, the testing of ideas against prior work experience and the opportunity to make sense of organisational issues by setting them into broader context. The importance of andragogical approaches to teaching is discussed as well as the implications of the study findings for teaching quality enhancement. © 2009 Taylor & Francis.

Family and group cognitive behavior therapy: Evaluation of treatment outcome and treatment specificity

This dissertation examined the efficacy of family cognitive behavior treatment (FCBT) and group cognitive behavior treatment (GBCT) for reducing anxiety disorders in children and adolescents using several approaches: clinical significant change, equivalence testing, and analyses of variance. It also examined treatment specificity in terms of targeting family/parents (in FCBT) and peers/group (in GCBT) contextual variables using two main approaches: analyses of variance and structural equation modeling (SEM). The sample consisted of 143 children and their parents who presented to the Child Anxiety and Phobia Program housed within the Child and Family Psychosocial Research Center at Florida International University. Diagnostic interviews and questionnaires were administered to assess youth anxiety. Questionnaires were administered to assess child and parent views of family/parents and peers/group contextual variables. In terms of clinical significant change, results indicated that 84.6% of youth in FCBT and 71.2% of youth in GBCT no longer met diagnostic criteria for their primary/targeted anxiety disorder. In addition, results from analyses of variance indicated that FCBT and GCBT were both efficacious in reducing anxiety disorders in youth across both child and parent ratings. Results using both analyses of variance and structural equation modeling also indicated that there was no meaningful treatment specificity between FCBT and GCBT in terms of either family/parents or peers/group contextual variables. That is, child social skills improved in GCBT in which these skills were targeted and in FCBT in which these skills were not targeted; parenting skills improved in FCBT in which these skills were targeted and in GCBT in which these skills were not targeted. Clinical implications and future research recommendations are discussed.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Evaluation of a simple hyphenated system for flow injection solid-phase pre-concentration and capillary electrophoresis

In this work, the development and evaluation of a hyphenated flow injection-capillary electrophoresis system with on-line pre-concentration is described. Preliminary tests were performed to investigate the influence of flow rates over the analytical signals. Results revealed losses in terms of sensitivity of the FIA-CE system when compared to the conventional CE system. To overcome signal decrease and to make the system more efficient, a lower flow rate was set and an anionic resin column was added to the flow manifold in order to pre-concentrate the analyte. The pre-concentration FIA-CE system presented a sensitivity improvement of about 660% and there was only a small increase of 8% in total peak dispersion. These results have confirmed the great potential of the proposed system for many analytical tasks especially for low concentration samples.