890 resultados para System verification and analysis


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Die Molekularbiologie von Menschen ist ein hochkomplexes und vielfältiges Themengebiet, in dem in vielen Bereichen geforscht wird. Der Fokus liegt hier insbesondere auf den Bereichen der Genomik, Proteomik, Transkriptomik und Metabolomik, und Jahre der Forschung haben große Mengen an wertvollen Daten zusammengetragen. Diese Ansammlung wächst stetig und auch für die Zukunft ist keine Stagnation absehbar. Mittlerweile aber hat diese permanente Informationsflut wertvolles Wissen in unüberschaubaren, digitalen Datenbergen begraben und das Sammeln von forschungsspezifischen und zuverlässigen Informationen zu einer großen Herausforderung werden lassen. Die in dieser Dissertation präsentierte Arbeit hat ein umfassendes Kompendium von humanen Geweben für biomedizinische Analysen generiert. Es trägt den Namen medicalgenomics.org und hat diverse biomedizinische Probleme auf der Suche nach spezifischem Wissen in zahlreichen Datenbanken gelöst. Das Kompendium ist das erste seiner Art und sein gewonnenes Wissen wird Wissenschaftlern helfen, einen besseren systematischen Überblick über spezifische Gene oder funktionaler Profile, mit Sicht auf Regulation sowie pathologische und physiologische Bedingungen, zu bekommen. Darüber hinaus ermöglichen verschiedene Abfragemethoden eine effiziente Analyse von signalgebenden Ereignissen, metabolischen Stoffwechselwegen sowie das Studieren der Gene auf der Expressionsebene. Die gesamte Vielfalt dieser Abfrageoptionen ermöglicht den Wissenschaftlern hoch spezialisierte, genetische Straßenkarten zu erstellen, mit deren Hilfe zukünftige Experimente genauer geplant werden können. Infolgedessen können wertvolle Ressourcen und Zeit eingespart werden, bei steigenden Erfolgsaussichten. Des Weiteren kann das umfassende Wissen des Kompendiums genutzt werden, um biomedizinische Hypothesen zu generieren und zu überprüfen.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

All-sky Meteor Orbit System (AMOS) is a semi-autonomous video observatory for detection of transient events on the sky, mostly the meteors. Its hardware and software development and permanent placement on several locations in Slovakia allowed the establishment of Slovak Video Meteor Network (SVMN) monitoring meteor activity above the Central Europe. The data reduction, orbital determination and additional results from AMOS cameras–the SVMN database– as well as from observational expeditions on Canary Islands and in Canada provided dynamical and physical data for better understanding of mutual connections between parent bodies of asteroids and comets and their meteoroid streams. We present preliminary results on exceptional and rare meteor streams such as September ε Perseids (SPE) originated from unknown long periodic comet on a retrograde orbit, suspected asteroidal meteor stream of April α Comae Berenicids (ACO) in the orbit of meteorites Příbram and Neuschwanstein and newly observed meteor stream Camelopardalids (CAM) originated from Jupiter family comet 209P/Linear.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We analyzed more than 200 OSIRIS NAC images with a pixel scale of 0.9-2.4 m/pixel of comet 67P/Churyumov-Gerasimenko (67P) that have been acquired from onboard the Rosetta spacecraft in August and September 2014 using stereo-photogrammetric methods (SPG). We derived improved spacecraft position and pointing data for the OSIRIS images and a high-resolution shape model that consists of about 16 million facets (2 m horizontal sampling) and a typical vertical accuracy at the decimeter scale. From this model, we derive a volume for the northern hemisphere of 9.35 km(3) +/- 0.1 km(3). With the assumption of a homogeneous density distribution and taking into account the current uncertainty of the position of the comet's center-of-mass, we extrapolated this value to an overall volume of 18.7 km(3) +/- 1.2 km(3), and, with a current best estimate of 1.0 X 10(13) kg for the mass, we derive a bulk density of 535 kg/m(3) +/- 35 kg/m(3). Furthermore, we used SPG methods to analyze the rotational elements of 67P. The rotational period for August and September 2014 was determined to be 12.4041 +/- 0.0004 h. For the orientation of the rotational axis (z-axis of the body-fixed reference frame) we derived a precession model with a half-cone angle of 0.14 degrees, a cone center position at 69.54 degrees/64.11 degrees (RA/Dec J2000 equatorial coordinates), and a precession period of 10.7 days. For the definition of zero longitude (x-axis orientation), we finally selected the boulder-like Cheops feature on the big lobe of 67P and fixed its spherical coordinates to 142.35 degrees right-hand-rule eastern longitude and -0.28 degrees latitude. This completes the definition of the new Cheops reference frame for 67P. Finally, we defined cartographic mapping standards for common use and combined analyses of scientific results that have been obtained not only within the OSIRIS team, but also within other groups of the Rosetta mission.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) is a noninvasive technique for quantitative assessment of the integrity of blood-brain barrier and blood-spinal cord barrier (BSCB) in the presence of central nervous system pathologies. However, the results of DCE-MRI show substantial variability. The high variability can be caused by a number of factors including inaccurate T1 estimation, insufficient temporal resolution and poor contrast-to-noise ratio. My thesis work is to develop improved methods to reduce the variability of DCE-MRI results. To obtain fast and accurate T1 map, the Look-Locker acquisition technique was implemented with a novel and truly centric k-space segmentation scheme. In addition, an original multi-step curve fitting procedure was developed to increase the accuracy of T1 estimation. A view sharing acquisition method was implemented to increase temporal resolution, and a novel normalization method was introduced to reduce image artifacts. Finally, a new clustering algorithm was developed to reduce apparent noise in the DCE-MRI data. The performance of these proposed methods was verified by simulations and phantom studies. As part of this work, the proposed techniques were applied to an in vivo DCE-MRI study of experimental spinal cord injury (SCI). These methods have shown robust results and allow quantitative assessment of regions with very low vascular permeability. In conclusion, applications of the improved DCE-MRI acquisition and analysis methods developed in this thesis work can improve the accuracy of the DCE-MRI results.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Nickel, like other transition metals, can be toxic to cells even at moderate concentration (low microM range) by displacing essential metals from their native binding sites or by generating reactive oxygen species that cause oxidative DNA damage. For this reason, cells have evolved mechanisms to deal with excess nickel. Efflux systems include members of the Resistance-Nodulation-cell Division (RND) protein family, P-type ATPases, cation diffusion facilitators (CDF) and other resistance factors. Nickel-specific exporters have been characterized in Cupravidus metallidurans, Helicobacter pylori, Achromobacter xylosoxidans, Serratia marcenses and Escherichia coli.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mutations in the recently identified presenilin 1 gene on chromosome 14 cause early onset familial Alzheimer disease (FAD). Herein we describe the expression and analysis of the protein coded by presenilin 1 (PS1) in NT2N neurons, a human neuronal model system. PS1 was expressed using recombinant Semliki Forest virions and detected by introduced antigenic tags or antisera to PS1-derived peptides. Immunoprecipitation revealed two major PS1 bands of approximately 43 and 50 kDa, neither of which were N-glycosylated or O-glycosylated. Immunoreactive PS1 was detected in cell bodies and dendrites of NT2N neurons but not in axons or on the cell surface. PS1 was also detected in BHK cells, where it was also intracellular and colocalized with calnexin, a marker for the rough endoplasmic reticulum. A mutant form of PS1 linked to FAD did not differ from the wild-type protein at the light microscopic level. The model system described here will enable studies of the function of PS1 in human neurons and the role of mutant PS1 in FAD.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The mechanical behaviour of transventilated façades performed by natural stone is necessarily based on the correct execution of both anchoring elements on the stone cladding as in the ones corresponding to the enclosure support, either with brick masonry walls or reinforced concrete walls. In the case studied in the present work, the origin of the damages suffered on the façade of a building located in Alcoy has been analyzed, where the detachment of part of the outer enclosure occurred. This enclosure is a transventilated façade formed by Bateig Blue stone tiles. To this end, “in situ” tests of the anchoring systems employed have been performed, as well as laboratory tests of mechanical characterization of the material and of different types of anchor, comparing these results with those obtained in both the simplified analytical models of continuum mechanics as developed by the Finite Element Method (FEM).

Relevância:

100.00% 100.00%

Publicador:

Resumo:

National Highway Traffic Safety Administration, East Liberty, Ohio

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Thesis (M.S.)--University of Illinois at Urbana-Champaign.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

"A paper presented at the Operations Research Society of America, Nineteenth National Meeting, Chicago, Illinois, May 25-26, 1961."

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Grid computing is an emerging technology for providing the high performance computing capability and collaboration mechanism for solving the collaborated and complex problems while using the existing resources. In this paper, a grid computing based framework is proposed for the probabilistic based power system reliability and security analysis. The suggested name of this computing grid is Reliability and Security Grid (RSA-Grid). Then the architecture of this grid is presented. A prototype system has been built for further development of grid-based services for power systems reliability and security assessment based on probabilistic techniques, which require high performance computing and large amount of memory. Preliminary results based on prototype of this grid show that RSA-Grid can provide the comprehensive assessment results for real power systems efficiently and economically.