The application of the own children method to measure fertility in Latin America; CELADE's program

Includes bibliography

Estrutura do esmalte humano e sua interface com sistemas adesivos

Esta tese sistematiza uma série de estudos dedicados à compreensão da interface do esmalte e sistemas adesivos. Para tanto, a estrutura da camada aprismática do esmalte em alta resolução pela microscopia eletrônica de varredura foi avaliada quanto a sua continuidade, espessura, distribuição nas faces coronárias e em fossas e fissuras, predominantemente em dentes decíduos não erupcionados. Foi também analisado pela microscopia eletrônica de varredura os efeitos do condicionamento de diferentes tipos de ácido e, em especial, do ácido fosfórico em diferentes concentrações, metodologias e tempos de aplicação. Estes trabalhos permitiram visualizar as principais ações ácidas desmineralizantes e os tipos de retenções no centro ou periferias dos prismas ou em ambas as regiões, bem como a profundidade e forma dos “tags” resinosos com carga e sem carga na intimidade do esmalte. No caso particular da aplicação dos selantes em fossas e fissuras foi também avaliada comparativamente a eficácia das técnicas invasivas ou não invasivas. Os últimos experimentos foram dedicados ao estudo da microinfiltração de diferentes sistemas adesivos e da resistência destes sistemas adesivos na estrutura do esmalte. Novos estudos merecem dar continuidade à linha de pesquisa de sempre priorizando o propósito de vincular os procedimentos aplicados com uma consistente e indispensável fundamentação de pesquisa básica no interesse da clínica odontopediátrica.

Emergetic ternary diagrams: five examples for application in environmental accounting for decision-making

In a recent paper, "A combined tool for environmental scientists and decision makers: ternary diagrams and emergy accounting." [Giannettti BF, Barrella FA, Almeida CMVB. A combined tool for environment scientists and decision makers: ternary diagrams and emergy accounting. J Clean Prod, in press http://dx.doi.org/10.1016/j.jclepro.2004.09.002] Ternary diagrams were proposed as a graphical tool to assist emergy analysis. The graphical representation of the emergy accounting data makes it possible to compare processes and systems with and without ecosystem services, to evaluate improvements and to follow the system performance over time. The graphic tool is versatile and adaptable to represent products, processes, systems, countries, and different periods of time.The use and the versatility of ternary diagrams for assisting in performing emergy analyses are illustrated by means of five examples taken from the literature, which are presented and discussed. It is shown that emergetic ternary diagram's properties assist the assessment of the system of the system efficiency, its dependance upon renewable and non-renewable inputs and the environmental support for dilution and abatement of process emissions. With the aid of ternary diagrams, details such as the interaction between systems and between systems and the environment are recognized and evaluated. Such a tool for graphical analysis allows a transparent presentation of the results and can serve as an interface between emergy scientists and decision makers, provided the meaning of each line in the diagram is carefully explained and understood. (c) 2005 Elsevier Ltd. All rights reserved.

Características do aço API X70 utilizado em tubos de transporte de petróleo e gás

Having in mind that petroleum's history presents a huge growth, the exploration and production areas have been receiving lots of investments, in order to attend the increasing demand for gas and petroleum. Looking through that scenario, new technologies have been evolving in favor of discovering new natural petroleum deposits and act with effectiveness in truly deep waters without giving up the worldwide best operational security practices. The use of rigid pipes in marine installations have been rising quickly and, thanks to this reality, the many storage and pipe launching forms became study objects and are getting improved. The analysis of steel API X70 characteristics, proving that they are suitable for use in pipes developed to transport gas and petroleum is the theme of this presentation. A tensile test was conducted to determine the base metal's mechanical properties, draining's tension, traction's resistance, elasticity's modulus and maximum tension. An aspect that is concerning too is the metallographic analysis, in order to determine the studied iron's microstructure. Results of analyzes showed that the steel has high resistance, with good capacity for deformation and well defined yield point, concluding suitable for the application in question

A New Approach for Managing Bovine Tuberculosis: Veterinary Services’ Proposed Action Plan

Bovine tuberculosis (TB) is a serious disease with animal health, public health, and international trade consequences. The cooperative Federal-State-industry effort to eradicate bovine TB from cattle in the United States has made significant progress since the program’s inception in 1917. However, the goal of eradication remains elusive. This proposed action plan presents Veterinary Services’ (VS’) current thinking about changes we are considering for the TB program to address our current challenges. This action plan will: 1. Reduce the introduction of TB into the U.S. national herd from imported animals and wildlife by: o Applying additional requirements to cattle imports from Mexico o Enhancing efforts to mitigate risks from wildlife 2. Enhance TB surveillance by: o Crafting a comprehensive national surveillance plan o Accelerating diagnostic test development to support surveillance 3. Increase options for managing TB-affected herds by: o Conducting epidemiological investigations and assessing individual herd risk o Applying whole-herd depopulation judiciously and developing alternative control strategies o Applying animal identification (ID) standards to meet animal ID needs 4. Modernize the regulatory framework to allow VS to focus resources where the disease exists 5. Transition the TB program from a State classification system to a science-based zoning approach to address disease risk To succeed, this new approach will require VS’ continued partnership with State animal health and wildlife officials, other Federal agencies, industry, international partners, academia, and other stakeholders. Successful partnerships will allow us to use available resources efficiently to achieve program objectives and protect our nation’s herd. Implementation of the VS proposed action plan will benefit Federal and State animal health officials, the regulated industries, and producers by allowing a more rapid response that employs up-to-date science and can adapt rapidly to changing situations.

A Security Framework for Wireless Sensor Networks Utilizing a Unique Session Key

Key management is a core mechanism to ensure the security of applications and network services in wireless sensor networks. It includes two aspects: key distribution and key revocation. Many key management protocols have been specifically designed for wireless sensor networks. However, most of the key management protocols focus on the establishment of the required keys or the removal of the compromised keys. The design of these key management protocols does not consider the support of higher level security applications. When the applications are integrated later in sensor networks, new mechanisms must be designed. In this paper, we propose a security framework, uKeying, for wireless sensor networks. This framework can be easily extended to support many security applications. It includes three components: a security mechanism to provide secrecy for communications in sensor networks, an efficient session key distribution scheme, and a centralized key revocation scheme. The proposed framework does not depend on a specific key distribution scheme and can be used to support many security applications, such as secure group communications. Our analysis shows that the framework is secure, efficient, and extensible. The simulation and results also reveal for the first time that a centralized key revocation scheme can also attain a high efficiency.

Evolving Bird Management Research at the USDA Wildlife Service’s National Wildlife Research Center

As the methods-development arm of the U.S. Department of Agriculture’s Wildlife Services program, the National Wildlife Research Center (NWRC) is charged with developing tools and information for protecting agriculture, human health and safety, and property from problems caused by wildlife, including birds. Increasingly the NWRC is being asked to provide basic ecological information on the population status of various bird species, and its role is expanding from a reactive one of providing management options to that of predicting long-term implications of various management actions. This paper describes several areas of research by NWRC scientists to address population-level questions in support of WS mission.

Características do aço API X70 utilizado em tubos de transporte de petróleo e gás

Having in mind that petroleum's history presents a huge growth, the exploration and production areas have been receiving lots of investments, in order to attend the increasing demand for gas and petroleum. Looking through that scenario, new technologies have been evolving in favor of discovering new natural petroleum deposits and act with effectiveness in truly deep waters without giving up the worldwide best operational security practices. The use of rigid pipes in marine installations have been rising quickly and, thanks to this reality, the many storage and pipe launching forms became study objects and are getting improved. The analysis of steel API X70 characteristics, proving that they are suitable for use in pipes developed to transport gas and petroleum is the theme of this presentation. A tensile test was conducted to determine the base metal's mechanical properties, draining's tension, traction's resistance, elasticity's modulus and maximum tension. An aspect that is concerning too is the metallographic analysis, in order to determine the studied iron's microstructure. Results of analyzes showed that the steel has high resistance, with good capacity for deformation and well defined yield point, concluding suitable for the application in question

Interface tailoring for adhesion enhancement of diamond-like carbon thin films

We have explored the suitability and characteristics of interface tailoring as a tool for enhancing the adhesion of hydrogen-free diamond-like carbon (DLC) thin films to silicon substrates. DLC films were deposited on silicon with and without application of an initial high energy carbon ion bombardment phase that formed a broad Si-C interface of gradually changing Si:C composition. The interface depth profile was calculated using the TRIDYN simulation program, revealing a gradient of carbon concentration including a region with the stoichiometry of silicon carbide. DLC films on silicon, with and without interface tailoring, were characterized using Raman spectroscopy, scanning electron microscopy, atomic force microscopy and scratch tests. The Raman spectroscopy results indicated sp3-type carbon bonding content of up to 80%. Formation of a broadened Si:C interface as formed here significantly enhances the adhesion of DLC films to the underlying silicon substrate. (C) 2012 Elsevier B.V. All rights reserved.

Approach to Food and Nutrition issues in Teaching Materials in Elementary School: interface with food and nutritional security and national curriculum parameters

Food and Nutrition Security (FNS) must be ensured to everybody. The school environment is favorable to the formation of healthy habits and citizenship. The National Curriculum Parameters (PCNs) guide the promotion of health concepts in a transversal way in the school curriculum. This study aimed to identify and analyze the approach used for food and nutrition themes in Fundamental Education's teaching material and its interface with the concept of FNS and the PCNs. Documental research was conducted on the teaching material from 5th to 8th grades of Fundamental Education in Public School of the state of Sao Paulo. The diffuse presence of food and nutrition themes was found in most disciplines in all bimesters in the four series, which shows the interdisciplinarity in health. It was found that the PCNs are related to the concept of SAN in its various aspects and that most subjects include topics that approach this relationship. In the correlation between themes, there is emphasis to health promotion and food production. The methodology used in the teaching material presents the theme, but not the correspondent content, what made the analysis of its suitability impossible. We conclude that there is the approach of the issues related to food and nutrition in the teaching material, some of them in an inconsistent way; it is the educators' task to select the contents and the appropriate strategy, doing an effort of constant update. This isbeing proposed by the State, however it is not accessible to all professionals and therefore still depends on the initiative of each teacher.

JavaFMI una librería Java para el estándar Functional Mockup Interface

[ES] El estándar Functional Mockup Interface (FMI), es un estándar abierto e independiente de cualquier aplicación o herramienta que permite compartir modelos de sistemas dinámicos entre aplicaciones. Provee una interfaz escrita en lenguaje C que ha de ser implementada por las distintas herramientas exportadoras y pone en común un conjunto de funciones para manipular los modelos.
JavaFMI es una herramienta que permite utilizar simulaciones que cumplen con el estándar FMI en aplicaciones Java de una manera muy simple, limpia y eficiente. Es un proyecto open source con licencia LGPL V2.1H y su código fuente se encuentra disponible para ser clonado en la pagina del proyecto. El proyecto se encuentra alojado en www.bitbucket.org/siani/javafmi y cuenta con una página de bienvenida donde se explica como se usa la librería, una página para reportar incidencias o solicitar que se implementen nuevas historias y una página donde se listan todas las versiones que hay disponibles para descargar. JavaFMI se distribuye como un fichero zip que contiene el .jar con el código compilado de la librería una carpeta lib con las dos dependencias que tiene con librerías externas y una copia de la licencia. Comparada con JFMI, con menos lineas de código, una API limpia, expresiva y auto documentada, y un rendimiento que es un 66 % mejor, JavaFMI es objetivamente la mejor herramienta Java que existe para manipular FMUs de la versión 1.0 y 2.0 del estándar FMI.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Analyse von Middleware-Technologien bzgl. Performanz und ihrer Eignung für lose und eng gekoppelte verteilte Anwendungen

Die vorliegende Dissertation analysiert die Middleware- Technologien CORBA (Common Object Request Broker Architecture), COM/DCOM (Component Object Model/Distributed Component Object Model), J2EE (Java-2-Enterprise Edition) und Web Services (inklusive .NET) auf ihre Eignung bzgl. eng und lose gekoppelten verteilten Anwendungen. Zusätzlich werden primär für CORBA die dynamischen CORBA-Komponenten DII (Dynamic Invocation Interface), IFR (Interface Repository) und die generischen Datentypen Any und DynAny (dynamisches Any) im Detail untersucht. Ziel ist es, a. konkrete Aussagen über diese Komponenten zu erzielen, und festzustellen, in welchem Umfeld diese generischen Ansätze ihre Berechtigung finden. b. das zeitliche Verhalten der dynamischen Komponenten bzgl. der Informationsgewinnung über die unbekannten Objekte zu analysieren. c. das zeitliche Verhalten der dynamischen Komponenten bzgl. ihrer Kommunikation zu messen. d. das zeitliche Verhalten bzgl. der Erzeugung von generischen Datentypen und das Einstellen von Daten zu messen und zu analysieren. e. das zeitliche Verhalten bzgl. des Erstellens von unbekannten, d. h. nicht in IDL beschriebenen Datentypen zur Laufzeit zu messen und zu analysieren. f. die Vorzüge/Nachteile der dynamischen Komponenten aufzuzeigen, ihre Einsatzgebiete zu definieren und mit anderen Technologien wie COM/DCOM, J2EE und den Web Services bzgl. ihrer Möglichkeiten zu vergleichen. g. Aussagen bzgl. enger und loser Koppelung zu tätigen. CORBA wird als standardisierte und vollständige Verteilungsplattform ausgewählt, um die o. a. Problemstellungen zu untersuchen. Bzgl. seines dynamischen Verhaltens, das zum Zeitpunkt dieser Ausarbeitung noch nicht oder nur unzureichend untersucht wurde, sind CORBA und die Web Services richtungsweisend bzgl. a. Arbeiten mit unbekannten Objekten. Dies kann durchaus Implikationen bzgl. der Entwicklung intelligenter Softwareagenten haben. b. der Integration von Legacy-Applikationen. c. der Möglichkeiten im Zusammenhang mit B2B (Business-to-Business). Diese Problemstellungen beinhalten auch allgemeine Fragen zum Marshalling/Unmarshalling von Daten und welche Aufwände hierfür notwendig sind, ebenso wie allgemeine Aussagen bzgl. der Echtzeitfähigkeit von CORBA-basierten, verteilten Anwendungen. Die Ergebnisse werden anschließend auf andere Technologien wie COM/DCOM, J2EE und den Web Services, soweit es zulässig ist, übertragen. Die Vergleiche CORBA mit DCOM, CORBA mit J2EE und CORBA mit Web Services zeigen im Detail die Eignung dieser Technologien bzgl. loser und enger Koppelung. Desweiteren werden aus den erzielten Resultaten allgemeine Konzepte bzgl. der Architektur und der Optimierung der Kommunikation abgeleitet. Diese Empfehlungen gelten uneingeschränkt für alle untersuchten Technologien im Zusammenhang mit verteilter Verarbeitung.

Requirements definition and testing of the new version of multi-mission generic monitoring system (GEMS) v 4.4 for operations at Eumetsat

EUMETSAT (www.eumetsat.int) e’ l’agenzia europea per operazioni su satelliti per monitorare clima, meteo e ambiente terrestre. Dal centro operativo situato a Darmstadt (Germania), si controllano satelliti meteorologici su orbite geostazionarie e polari che raccolgono dati per l’osservazione dell’atmosfera, degli oceani e della superficie terrestre per un servizio continuo di 24/7. Un sistema di monitoraggio centralizzato per programmi diversi all’interno dell’ambiente operazionale di EUMETSAT, e’ dato da GEMS (Generic Event Monitoring System). Il software garantisce il controllo di diverse piattaforme, cross-monitoring di diverse sezioni operative, ed ha le caratteristiche per potere essere esteso a future missioni. L’attuale versione della GEMS MMI (Multi Media Interface), v. 3.6, utilizza standard Java Server Pages (JSP) e fa uso pesante di codici Java; utilizza inoltre files ASCII per filtri e display dei dati. Conseguenza diretta e’ ad esempio, il fatto che le informazioni non sono automaticamente aggiornate, ma hanno bisogno di ricaricare la pagina. Ulteriori inputs per una nuova versione della GEMS MMI vengono da diversi comportamenti anomali riportati durante l’uso quotidiano del software. La tesi si concentra sulla definizione di nuovi requisiti per una nuova versione della GEMS MMI (v. 4.4) da parte della divisione ingegneristica e di manutenzione di operazioni di EUMETSAT. Per le attivita’ di supporto, i test sono stati condotti presso Solenix. Il nuovo software permettera’ una migliore applicazione web, con tempi di risposta piu’ rapidi, aggiornamento delle informazioni automatico, utilizzo totale del database di GEMS e le capacita’ di filtri, insieme ad applicazioni per telefoni cellulari per il supporto delle attivita’ di reperibilita’. La nuova versione di GEMS avra’ una nuova Graphical User Interface (GUI) che utilizza tecnologie moderne. Per un ambiente di operazioni come e’ quello di EUMETSAT, dove l’affidabilita’ delle tecnologie e la longevita’ dell’approccio scelto sono di vitale importanza, non tutti gli attuali strumenti a disposizione sono adatti e hanno bisogno di essere migliorati. Allo stesso tempo, un’ interfaccia moderna, in termini di visual design, interattivita’ e funzionalita’, e’ importante per la nuova GEMS MMI.