949 resultados para Proof.
Resumo:
Focused laser micromachining in an optical microscope system is used to prototype packages for optoelectronic devices and to investigate new materials with potential applications in packaging. Micromachined thin films are proposed as mechanical components to locate fibres and other optical and electrical components on opto-assemblies. This paper reports prototype structures which are micromachined in silicon carbide to produce beams 5 μm thick by (i) laser cutting a track in a SiC coated Si wafer, (ii) undercutting by anisotropic silicon etching using KOH in water, and (iii) trimming if necessary with the laser system. This approach has the advantage of fast turn around and proof of concept. Mechanical test data are obtained from the prototype SiC beam package structures by testing with a stylus profilometer. The Youngs modulus obtained for chemical vapour deposited silicon carbide is 360 +/- 50 GPa indicating that it is a promising material for packaging applications.
Resumo:
Increasing the field of view of a holographic display while maintaining adequate image size is a difficult task. To address this problem, we designed a system that tessellates several sub-holograms into one large hologram at the output. The sub-holograms we generate is similar to a kinoform but without the paraxial approximation during computation. The sub-holograms are loaded onto a single spatial light modulator consecutively and relayed to the appropriate position at the output through a combination of optics and scanning reconstruction light. We will review the method of computer generated hologram and describe the working principles of our system. Results from our proof-of-concept system are shown to have an improved field of view and reconstructed image size. ©2009 IEEE.
Resumo:
Salmonella enterica serovar Typhi, the agent of typhoid fever in humans, expresses the surface Vi polysaccharide antigen that contributes to virulence. However, Vi expression can also be detrimental to some key steps of S. Typhi infectivity, for example, invasion, and Vi is the target of protective immune responses. We used a strain of S. Typhimurium carrying the whole Salmonella pathogenicity island 7 (SPI-7) to monitor in vivo Vi expression within phagocytic cells of mice at different times after systemic infection. We also tested whether it is possible to modulate Vi expression via the use of in vivo-inducible promoters and whether this would trigger anti-Vi antibodies through the use of Vi-expressing live bacteria. Our results show that Vi expression in the liver and spleen is downregulated with the progression of infection and that the Vi-negative population of bacteria becomes prevalent by day 4 postinfection. Furthermore, we showed that replacing the natural tviA promoter with the promoter of the SPI-2 gene ssaG resulted in sustained Vi expression in the tissues. Intravenous or oral infection of mice with a strain of S. Typhimurium expressing Vi under the control of the ssaG promoter triggered detectable levels of all IgG subclasses specific for Vi. Our work highlights that Vi is downregulated in vivo and provides proof of principle that it is possible to generate a live attenuated vaccine that induces Vi-specific antibodies after single oral administration.
Resumo:
Resumen: La prueba de la existencia de Dios, sacada de su sola idea, fue, y es aún, una de esas experiencias metafísicas de las que se puede decir que nacen eternas, porque alcanzan el último término de uno de los caminos por donde el espíritu humano puede encauzarse. La presencia de Dios en el alma vivifica la fórmula que da san Anselmo y el análisis que hace de ella no tiene otro fin que llevar a la clara luz de la inteligencia una presencia realmente, pero oscuramente, sentida. Situados, dice, entre la fe y la visión, considera que “la inteligencia que alcanzamos en esta vida es intermedia”; los modos de aproximación difieren, pero sus términos no.
Resumo:
Resumen: Nadie, de entre los historiadores del derecho, podría animarse a negar la presencia de fuentes romanas (en especial esa compilación tardía denominada Corpus Iuris Civilis) dentro de Partidas; con particular acento en el caso del Digesto. Por esto, en términos de su materialidad, lo que se presentará aquí será un trabajo de cotejo entre títulos específicos de las obras citadas y que refieren al tópico de la tortura. Por un lado, el título 18 del libro XLVIII del Digesto junto con el título 41 del libro IX del Codex. Del otro lado, el título 30 del libro VII de Partidas. Esta comparación buscará no tanto las equivalencias textuales (que son conscientemente obviadas por los redactores a pesar de conocer a la perfección los sistemas de citado) como el sentido último de introducir estos textos en el corpus legislativo castellano. En este sentido, lo que se buscará será plantear métodos posibles para sortear el problema de la intertextualidad en un mundo sin autores.
Resumo:
In this paper, by use of the boundary integral equation method and the techniques of Green basic solution and singularity analysis, the dynamic problem of antiplane is investigated. The problem is reduced to solving a Cauchy singular integral equation in Laplace transform space. This equation is strictly proved to be equivalent to the dual integral equations obtained by Sih [Mechanics of Fracture, Vol. 4. Noordhoff, Leyden (1977)]. On this basis, the dynamic influence between two parallel cracks is also investigated. By use of the high precision numerical method for the singular integral equation and Laplace numerical inversion, the dynamic stress intensity factors of several typical problems are calculated in this paper. The related numerical results are compared to be consistent with those of Sih. It shows that the method of this paper is successful and can be used to solve more complicated problems. Copyright (C) 1996 Elsevier Science Ltd
Resumo:
[ES] En este trabajo se argumenta y se evidencia (con el análisis de algunos casos de empresas vascas), que para las empresas de servicios, la calidad y más concretamente la gestión de la calidad basada en los postulados de la filosofía de Gestión de Calidad Total y recogidos en modelos como el modelo EFQM de excelencia, es la vía esencial de diferenciación, competitividad y fidelización de la clientela. De ello se deriva también el papel esencial que en la competitividad de las empresas de servicios despeña el Marketing Interno.
Resumo:
This document presents the results of the first three monitoring events to track the recovery of a repaired coral reef injured by the M/V Elpis vessel grounding incident of November 11, 1989. This grounding occurred within the boundaries of what at the time was designated the Key Largo National Marine Sanctuary (NMS), now designated the Key Largo NMS Existing Management Area within the Florida Keys National Marine Sanctuary (FKNMS). Pursuant to the National Marine Sanctuaries Act (NMSA) 16 U.S.C. 1431 et seq., and the Florida Keys National Marine Sanctuary and Protection Act (FKNMSPA) of 1990, NOAA is the federal trustee for the natural and cultural resources of the FKNMS. Under Section 312 of the NMSA, NOAA has the authority to recover monetary damages for injury, destruction, or loss of Sanctuary resources, and to use the recovered monies to restore injured or lost sanctuary resources within the FKNMS. The restoration monitoring program tracks patterns of biological recovery, determines the success of restoration measures, and assesses the resiliency to environmental and anthropogenic disturbances of the site over time. To evaluate restoration success, reference habitats adjacent to the restoration site are concurrently monitored to compare the condition of restored reef areas with natural coral reef areas unimpacted by the vessel grounding. Restoration of the site was completed September 1995, and thus far three monitoring events have occurred; one in the summer of 2004, one in the summer of 2005, and the latest in the summer of 2007. The monitoring in 2004 was in the nature of a “pilot project,” or proof of concept. Only the quantitative results of the 2005 and 2007 monitoring are presented and discussed. Monitoring has consisted of assessment of the structural stability of limestone boulders used in the restoration and comparison of the coral communities on the boulders and reference areas. Corals are divided into Gorgonians, Milleporans, and Scleractinians. Coral densities at the Restored and Reference areas for the 2005 and 2007 events are compared, and it is shown that the densities of all taxa in the Restored area are greater by 2007, though not significantly so. For the Scleractinians, number and percentage of colonies by species, as well as several common biodiversity indices are provided. The greater biodiversity of the Restored area is evidenced. Also, size-class frequency distributions for Agaricia spp. (Scleractinia) are presented. These demonstrate the approaching convergence of the Restored and Reference areas in this regard. An inter-annual comparison of densities, within both areas, for all three Orders, is presented. The most noteworthy finding was the relative consistency across time for all taxa in each area. Finally, certain anomalies regarding species settlement patterns are presented. (PDF contains 48 pages.)
Resumo:
[ES]Los cateterismos venosos periféricos son los dispositivos que con mayor frecuencia se emplean en el acceso vascular para pacientes que se encuentran ingresados en unidades hospitalarias. Estos catéteres son reemplazados sistemáticamente cada tres o cuatro días para tratar de prevenir la flebitis como refleja la guía de Center for Disease control and prevention (CDC) y por extensión, nuestro sistema de salud de Osakidetza. Sin embargo, la evidencia que apoya esta práctica no está del todo cimentada.El objetivo de esta revisión bibliográfica es evaluar la efectividad de esta práctica clínica tan integrada en la vida diaria de los profesionales de enfermería mediante la evaluación de la evidencia científica existente hasta el momento.Se realizo una búsqueda exhaustiva en diferentes bases de datos electrónicas desde Octubre de 2012 hasta Abril del año 2013. Se descargaron los textos completos de aquellos artículos que pudiesen ser potencialmente útiles en el estudio y se analizaron bajo los criterios de inclusión y selección. Los siete artículos seleccionados como válidos no demuestran que sea necesario sustituir de forma sistemática el catéter venoso periférico así como lo defiende la CDC. Debido a ello, se podría abolir esta práctica clínica que reduciría significativamente el dolor y las molestias que sufren los pacientes día a día, el tiempo que el personal de enfermería dedica en este tipo de prácticas, además de todo el coste sanitario que ello con lleva.
Resumo:
Traditional software development captures the user needs during the requirement analysis. The Web makes this endeavour even harder due to the difficulty to determine who these users are. In an attempt to tackle the heterogeneity of the user base, Web Personalization techniques are proposed to guide the users’ experience. In addition, Open Innovation allows organisations to look beyond their internal resources to develop new products or improve existing processes. This thesis sits in between by introducing Open Personalization as a means to incorporate actors other than webmasters in the personalization of web applications. The aim is to provide the technological basis that builds up a trusty environment for webmasters and companion actors to collaborate, i.e. "an architecture of participation". Such architecture very much depends on these actors’ profile. This work tackles three profiles (i.e. software partners, hobby programmers and end users), and proposes three "architectures of participation" tuned for each profile. Each architecture rests on different technologies: a .NET annotation library based on Inversion of Control for software partners, a Modding Interface in JavaScript for hobby programmers, and finally, a domain specific language for end-users. Proof-of-concept implementations are available for the three cases while a quantitative evaluation is conducted for the domain specific language.
Resumo:
23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science
Resumo:
In the last years German food control laboratories have established proof of a significant number of cases of incorrectly labelled flatfish on the German market. A flatfish offered as sole (Solea vulgaris) in Southern Germany served as an example for mislabelled flatfish and for the difficulties food control laboratories may encounter and to identify products of unknown origin. Morphometric and meristic examination, as well as isoelectric focusing of sarcoplasmic proteins, PCR-based DNA-analysis failed to identify the fish. By using these methods, it only could be excluded that the fish belonged to the species of Solea vulgaris or another described flatfish species. DNA sequencing of an amplicon gave a sequence identical to a sequence in GenBank, which, however, turned out to be incorrectly assigned to Solea vulgaris. More research about characterization and identification of tropical flatfish is recommended, because of the growing importance of these fishes for the European market.
Resumo:
The Alliance for Coastal Technology (ACT) convened a workshop on the in situ measurement of dissolved inorganic carbon species in natural waters in Honolulu, Hawaii, on February 16, 17, and 18, 2005. The workshop was designed to summarize existing technologies for measuring the abundance and speciation of dissolved inorganic carbon and to make strategic recommendations for future development and application of these technologies to coastal research and management. The workshop was not focused on any specific technology, however, most of the attention of the workshop was on in situ pC02 sensors given their recent development and use on moorings for the measurement of global carbon fluxes. In addition, the problems and limitations arising from the long-term deployment of systems designed for the measurement of pH, total dissolved inorganic carbon (DIC), and total alkalinity (TA) were discussed. Participants included researchers involved in carbon biogeochemistry, industry representatives, and coastal resource managers. The primary questions asked during the workshop were: I. What are the major impediments to transform presently used shipboard pC02 measurement systems for use on cost-eficient moorings? 2. What are the major technical hurdles for the in situ measurement of TA and DIC? 3. What specific information do we need to coordinate efforts for proof of concept' testing of existing and new technologies, inter-calibration of those technologies, better software development, and more precise knowledge quantzjjing the geochemistry of dissolved inoeanic carbon species in order to develop an observing system for dissolved inorganic carbon? Based on the discussion resulting from these three questions, the following statements were made: Statement No. 1 Cost-effective, self-contained technologies for making long-term, accurate measurements of the partial pressure of C02 gas in water already exist and at present are ready for deployment on moorings in coastal observing systems. Statement No. 2 Cost-effective, self-contained systems for the measurement of pH, TA, and DIC are still needed to both fully define the carbonate chemistry of coastal waters and the fluxes of carbon between major biogeochemical compartments (e.g., air-sea, shelf-slope, water column-sediment, etc.). (pdf contains 23 pages)
Resumo:
Focusing particles into a tight stream is usually a necessary step prior to separating and sorting them. We present herein a proof-of-concept experiment of a novel particle focusing technique in DC electrokinetic flow through a planar serpentine microchannel. This focusing stems from the cross-stream dielectrophoretic motion induced within the channel turns. The observed particle focusing behavior is consistent with the predicted particle trajectories from a numerical modeling.
Resumo:
I. Existence and Structure of Bifurcation Branches
The problem of bifurcation is formulated as an operator equation in a Banach space, depending on relevant control parameters, say of the form G(u,λ) = 0. If dimN(G_u(u_O,λ_O)) = m the method of Lyapunov-Schmidt reduces the problem to the solution of m algebraic equations. The possible structure of these equations and the various types of solution behaviour are discussed. The equations are normally derived under the assumption that G^O_λεR(G^O_u). It is shown, however, that if G^O_λεR(G^O_u) then bifurcation still may occur and the local structure of such branches is determined. A new and compact proof of the existence of multiple bifurcation is derived. The linearized stability near simple bifurcation and "normal" limit points is then indicated.
II. Constructive Techniques for the Generation of Solution Branches
A method is described in which the dependence of the solution arc on a naturally occurring parameter is replaced by the dependence on a form of pseudo-arclength. This results in continuation procedures through regular and "normal" limit points. In the neighborhood of bifurcation points, however, the associated linear operator is nearly singular causing difficulty in the convergence of continuation methods. A study of the approach to singularity of this operator yields convergence proofs for an iterative method for determining the solution arc in the neighborhood of a simple bifurcation point. As a result of these considerations, a new constructive proof of bifurcation is determined.