11,460 research outputs found
Generation of Warm Dense Plasma on Solar Panel Infrastructure in Exo-Atmospheric Conditions
The use of a weaponized thermo-nuclear device in exo-atmospheric conditions would be of great impact on the material integrity of orbiting satellite infrastructure. Particular damage would occur to the multi-layered, solar cell components of such satellites. The rapid absorption of X-ray radiation originating from a nuclear blast into these layers occurs over a picosecond time scale and leads to the generation of Warm Dense Plasma (WDP). While incredibly difficult and costly to replicate in a laboratory setting, a collection of computational techniques and software libraries may be utilized to simulate the intricate atomic and subatomic physics characteristics of such an event. Use of the Monte Carlo sampling method within the Geant4 software library allows for the energy deposition and power density profiles by X-rays into this system to be determined. By understanding and modeling the different factors which can affect the absorption of thermonuclear X-ray radiation, specifically, “cold –X-ray radiation,” in the energy range of approximately 1 to 1.5 keV, the molecular dynamics modeling of WDP generation and evolution can be performed using the LAMMPS code library. One aspect modeled and utilized within this software is the Planck blackbody spectrum of X-rays, assumed to be emitted by the detonation. Another such factor explored is the effect of primary and secondary particle backscattering within the active solar cell layer. Ultimately, it was determined that the primary and secondary particle backscattering of photons and electrons occurs at such a relatively low rate that its effect on the properties of the generated WDP is negligible. Once the energy deposition and power density profiles are determined, LAMMPS is utilized in order to understand the spatio-temporal evolution of the WDP as well as the temperature, stress, and mass density distribution within the material, at its surface, and its immediate vacuum surroundings
Structure of the Hilbert-space of the infinite-dimensional Hubbard model
An iterative procedure for the explicit construction of the nontrivial
subspace of all symmetry-adapted configurations with non-zero weight in the
ground-state of the infinite-dimensional Hubbard model is developed on the
basis of a symmetrized representation of the transition operators on a sequence
of Bethe-Lattices of finite depth. The relation ship between these operators
and the well known mapping of the infinite-dimensional Hubbard model onto an
effective impurity problem coupled to a (self-consistent) bath on
non-interacting electrons is given. As an application we calculate the
properties of various Hubbard stars and give estimates for the half-filled
Hubbard model with up to 0.1% accuracy.Comment: accepted for publication in EJP
Isabelle/PIDE as Platform for Educational Tools
The Isabelle/PIDE platform addresses the question whether proof assistants of
the LCF family are suitable as technological basis for educational tools. The
traditionally strong logical foundations of systems like HOL, Coq, or Isabelle
have so far been counter-balanced by somewhat inaccessible interaction via the
TTY (or minor variations like the well-known Proof General / Emacs interface).
Thus the fundamental question of math education tools with fully-formal
background theories has often been answered negatively due to accidental
weaknesses of existing proof engines.
The idea of "PIDE" (which means "Prover IDE") is to integrate existing
provers like Isabelle into a larger environment, that facilitates access by
end-users and other tools. We use Scala to expose the proof engine in ML to the
JVM world, where many user-interfaces, editor frameworks, and educational tools
already exist. This shall ultimately lead to combined mathematical assistants,
where the logical engine is in the background, without obstructing the view on
applications of formal methods, formalized mathematics, and math education in
particular.Comment: In Proceedings THedu'11, arXiv:1202.453
Antigen receptor variable region repertoires expressed by T cells infiltrating thyroid, retroorbital, and pretibial tissue in Graves' disease
To date, it has remained unclear whether T cells infiltrating thyroid, retroorbital, and pretibial tissue of patients with Graves' ophthalmopathy and pretibial dermopathy represent a primary immune response that is directed against certain antigenic determinants shared among these involved tissues. To characterize these T cells at the molecular level, we compared the T cell antigen receptor (TcR) variable (V) region gene usage in thyroid, retroorbital, pretibial tissue, and peripheral blood mononuclear cells of two patients with Graves' disease, ophthalmopathy, and pretibial dermopathy. Ribonucleic acid was extracted, reverse transcribed, and amplified using the PCR and 22 V alpha and 23 V beta gene-specific oligonucleotide primers. The resulting TcR V alpha and V beta transcripts were verified by Southern hybridization analysis using TcR C region-specific, digoxigenin-labeled oligonucleotide probes. In addition, complementarity determining regions 3 and junctional regions of TcR V beta genes were sequenced. Marked similarities of intrathyroidal, retroorbital, and pretibial TcR V alpha and V beta gene repertoires were noted with respect to the degree of TcR V gene restriction and the patterns of individual V genes expressed. Sequence analysis of junctional domains of V beta families revealed oligoclonality of intrahyroidal, retroorbital, and pretibial T cells. In addition, certain conserved junctional motifs were shared by T cells derived the thyroid gland and the extrathyroidal sites. Our results suggest that in the two patients with Graves' disease and extrathyroidal manifestations studied, similar antigenic determinants may have contributed to the recruitment and oligoclonal expansion of T cells both within the thyroid gland and at the involved extrathyroidal sites
Human Neutrophil Elastase Degrades SPLUNC1 and Impairs Airway Epithelial Defense against Bacteria
Background:Acute exacerbations of chronic obstructive pulmonary disease (AECOPD) are a significant cause of mortality of COPD patients, and pose a huge burden on healthcare. One of the major causes of AECOPD is airway bacterial (e.g. nontypeable Haemophilus influenzae [NTHi]) infection. However, the mechanisms underlying bacterial infections during AECOPD remain poorly understood. As neutrophilic inflammation including increased release of human neutrophil elastase (HNE) is a salient feature of AECOPD, we hypothesized that HNE impairs airway epithelial defense against NTHi by degrading airway epithelial host defense proteins such as short palate, lung, and nasal epithelium clone 1 (SPLUNC1).Methodology/Main Results:Recombinant human SPLUNC1 protein was incubated with HNE to confirm SPLUNC1 degradation by HNE. To determine if HNE-mediated impairment of host defense against NTHi was SPLUNC1-dependent, SPLUNC1 protein was added to HNE-treated primary normal human airway epithelial cells. The in vivo function of SPLUNC1 in NTHi defense was investigated by infecting SPLUNC1 knockout and wild-type mice intranasally with NTHi. We found that: (1) HNE directly increased NTHi load in human airway epithelial cells; (2) HNE degraded human SPLUNC1 protein; (3) Recombinant SPLUNC1 protein reduced NTHi levels in HNE-treated human airway epithelial cells; (4) NTHi levels in lungs of SPLUNC1 knockout mice were increased compared to wild-type mice; and (5) SPLUNC1 was reduced in lungs of COPD patients.Conclusions:Our findings suggest that SPLUNC1 degradation by neutrophil elastase may increase airway susceptibility to bacterial infections. SPLUNC1 therapy likely attenuates bacterial infections during AECOPD. © 2013 Jiang et al
Алгоритм построения прогнозируемой площади пожара в тактической модели
The miniaturization of components in the field of life science, consumer electronics and micro-electro-mechanical systems (MEMS) is becoming a part of our everyday life. As the manufacturing of these components demands in many cases the machining by micromilling with cutting tools down to 100 µm diameter, highly dynamic machine tools are needed to machine the more and more complex freeform surfaces at optimal process parameters. The paper describes the development of a highly dynamic milling machine which is equipped with linear direct drives in all axes with integrated impulse decoupling units to allow high dynamics and especially high jerks at low impact on the machine structure. Additionally the development of a metrology frame is detailed which can be used to characterize the dyna mic tool path of machine tools to optimize its dynamic setup and to increase the work piece precision at minimized machining time
Validation of purdue engineering shape benchmark clusters by crowdsourcing
The effective organization of CAD data archives is central to PLM and consequently content based retrieval of 2D drawings and 3D models is often seen as a "holy grail" for the industry. Given this context, it is not surprising that the vision of a "Google for shape", which enables engineers to search databases of 3D models for components similar in shape to a query part, has motivated numerous researchers to investigate algorithms for computing geometric similarity. Measuring the effectiveness of the many approaches proposed has in turn lead to the creation of benchmark datasets against which researchers can compare the performance of their search engines. However to be useful the datasets used to measure the effectiveness of 3D retrieval algorithms must not only define a collection of models, but also provide a canonical specification of their relative similarity. Because the objective of shape retrieval algorithms is (typically) to retrieve groups of objects that humans perceive as "similar" these benchmark similarity relationships have (by definition) to be manually determined through inspection
- …