940 resultados para Formal Verification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

We have designed and built an experimental device, which we called a "thermoelectric bridge." Its primary purpose is simultaneous measurement of the relative Peltier and Seebeck coefficients. The systematic errors for both coefficients are equal with this device and manipulation is not necessary between the measurement of one coefficient and the other. Thus, this device is especially suitable for verifying their linear relation postulated by Lord Kelvin. Also, simultaneous measurement of thermal conductivity is described in the text. A sample is made up of the couple nickel¿platinum, taking measurements in the range of ¿20¿60°C and establishing the dependence of each coefficient with temperature, with nearly equal random errors ±0.2%, and systematic errors estimated at ¿0.5%. The aforementioned Kelvin relation is verified in this range from these results, proving that the behavioral deviations are ¿0.3% contained in the uncertainty ±0.5% caused by the propagation of errors

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Why do overeducated workers participate in non-formal education activities? Do not they suffer from an excess of education? Using microdata from the Spanish sample of the 2007 Adult Education Survey, we have found that overeducated workers participate more than the rest in non-formal education and that they earn higher wages than overeducated workers who did not participate. This result can be interpreted as evidence that non-formal education allows overeducated workers to acquire new abilities that improve their competence at the job they perform. From this point of view, our results support the European Commission"s view on the need to reinforce lifelong learning among adult population.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Podeu consultar el document complet de la "XVI Setmana de Cinema Formatiu" a: http://hdl.handle.net/2445/22523

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Starting from (S)-tryptophanol, a formal synthesis of ent-rhyncho-phylline and ent-isorhynchophylline, involving stereoselective cyclocondensation, spirocyclization, and alkylation reactions, and the final adjustment of the oxidation level at the oxindole and piperidine moieties, is reported.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Constituye hoy una preocupación social e intelectual que atañe particularmente al profesorado, la identificación de los mecanismos a través de los cuales se transmiten y se afianzan los sistemas de valores en la infancia y en la juventud. También interesa de manera especial, a tenor de la frecuencia de su uso político y público, la definición y construcción de las identidades y, muy en concreto, de las nacionales. En este sentido, buena parte de las investigaciones actuales indica que, a partir de los últimos decenios del siglo XX, la transmisión y construcción de valores e identidades se comunican y se construyen prioritariamente a través de las redes mediática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

El objeto central de este artículo es presentar y debatir algunos aspectos conceptuales de la relación entre la animación sociocultural y la educación. Para ello, en primer lugar se polemiza con algunos posicionamientos reticentes o tibios en cuanto a la vinculación pedagógica de la animación sociocultural. Después, el discurso se torna positivo para presentar algunos aspectos relevantes de la relación entre ambos conceptos. Finalmente, se analiza el lugar que le correspondería a la ASC en un universo educativo sectorializado en ámbitos formales, no formales e informales. Antes que nada, sin embargo, a modo de paréntesis introductorio, se esboza una relación de los distintos niveles de elaboración teórica de la ASC, para situar el que correspondería al tema de este trabajo y explicitar asi algunas de sus limitaciones.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper investigates the prevalence of incapacity in performing daily activities and the associations between household composition and availability of family members and receipt of care among older adults with functioning problems in Spain, England and the United States of America (USA). We examine how living arrangements, marital status, child availability, limitations in functioning ability, age and gender affect the probability of receiving formal care and informal care from household members and from others in three countries with different family structures, living arrangements and policies supporting care of the incapacitated. Data sources include the 2006 Survey of Health, Ageing and Retirement in Europe for Spain, the third wave of the English Longitudinal Study of Ageing (2006), and the eighth wave of the USA Health and Retirement Study (2006). Logistic and multinomial logistic regressions are used to estimate the probability of receiving care and the sources of care among persons age 50 and older. The percentage of people with functional limitations receiving care is higher in Spain. More care comes from outside the household in the USA and England than in Spain. The use of formal care among the incapacitated is lowest in the USA and highest in Spain.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The strategic plan for bridge engineering issued by AASHTO in 2005 identified extending the service life and optimizing structural systems of bridges in the United States as two grand challenges in bridge engineering, with the objective of producing safer bridges that have a minimum service life of 75 years and reduced maintenance cost. Material deterioration was identified as one of the primary challenges to achieving the objective of extended life. In substructural applications (e.g., deep foundations), construction materials such as timber, steel, and concrete are subjected to deterioration due to environmental impacts. Using innovative and new materials for foundation applications makes the AASHTO objective of 75 years service life achievable. Ultra High Performance Concrete (UHPC) with compressive strength of 180 MPa (26,000 psi) and excellent durability has been used in superstructure applications but not in geotechnical and foundation applications. This study explores the use of precast, prestressed UHPC piles in future foundations of bridges and other structures. An H-shaped UHPC section, which is 10-in. (250-mm) deep with weight similar to that of an HP10×57 steel pile, was designed to improve constructability and reduce cost. In this project, instrumented UHPC piles were cast and laboratory and field tests were conducted. Laboratory tests were used to verify the moment-curvature response of UHPC pile section. In the field, two UHPC piles have been successfully driven in glacial till clay soil and load tested under vertical and lateral loads. This report provides a complete set of results for the field investigation conducted on UHPC H-shaped piles. Test results, durability, drivability, and other material advantages over normal concrete and steel indicate that UHPC piles are a viable alternative to achieve the goals of AASHTO strategic plan.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Starting from (S)-tryptophanol, a formal synthesis of ent-rhyncho-phylline and ent-isorhynchophylline, involving stereoselective cyclocondensation, spirocyclization, and alkylation reactions, and the final adjustment of the oxidation level at the oxindole and piperidine moieties, is reported.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The current means and methods of verifying that high-strength bolts have been properly tightened are very laborious and time consuming. In some cases, the techniques require special equipment and, in other cases, the verification itself may be somewhat subjective. While some commercially available verification techniques do exist, these options still have some limitations and might be considered costly options. The main objectives of this project were to explore high-strength bolt-tightening and verification techniques and to investigate the feasibility of developing and implementing new alternatives. A literature search and a survey of state departments of transportation (DOTs) were conducted to collect information on various bolt-tightening techniques such that an understanding of available and under-development techniques could be obtained. During the literature review, the requirements for materials, inspection, and installation methods outlined in the Research Council on Structural Connections specification were also reviewed and summarized. To guide the search for finding new alternatives and technology development, a working group meeting was held at the Iowa State University Institute for Transportation October 12, 2015. During the meeting, topics central to the research were discussed with Iowa DOT engineers and other professionals who have relevant experiences.