Measurement of Blast Waves from Bursting Pressureized Frangible Spheres

Small-scale experiments were conducted to obtain data on incident overpressure at various distances from bursting pressurized spheres. Complete time histories of blast overpressure generated by rupturing glass spheres under high internal pressure were obtained using eight side-on pressure transducers. A scaling law is presented, and its nondimensional parameters are used to compare peak overpressures, arrival times, impulses, and durations for different initial conditions and sizes of blast source. The nondimensional data are also compared, whenever possible, with results of theoretical calculations and compiled data for Pentolite high explosive. The scaled data are repeatable and show significant differences from blast waves generated by condensed high-explosives

Parikh Image of Pushdown Automata

We compare pushdown automata (PDAs for short) against other representations. First, we show that there is a family of PDAs over a unary alphabet with $n$ states and $p \geq 2n + 4$ stack symbols that accepts one single long word for which every equivalent context-free grammar needs $\Omega(n^2(p-2n-4))$ variables. This family shows that the classical algorithm for converting a PDA to an equivalent context-free grammar is optimal even when the alphabet is unary. Moreover, we observe that language equivalence and Parikh equivalence, which ignores the ordering between symbols, coincide for this family. We conclude that, when assuming this weaker equivalence, the conversion algorithm is also optimal. Second, Parikh's theorem motivates the comparison of PDAs against finite state automata. In particular, the same family of unary PDAs gives a lower bound on the number of states of every Parikh-equivalent finite state automaton. Finally, we look into the case of unary deterministic PDAs. We show a new construction converting a unary deterministic PDA into an equivalent context-free grammar that achieves best known bounds.Comment: 17 pages, 2 figure

Results of an experimental aerodynamic investigation to obtain static stability and control characteristics of the SSV configurations: The 2A(VL70-000089B) model 1 and 3(VL70-000139B) model 2 orbiter at Mach numbers of 2.5, 3.9 and 4.6 in the NASA LaRC 4 X 4-foot UPWT (OA44)

Investigation of space shuttle orbiter configurations 2A(VL70-000089B) and 3(VL70-000139B) was performed at the Langley Research Center Unitary Plan Wind Tunnel (UPWT) from June 1, 1973, to June 15, 1973, for 60 test hours. The primary test objectives were to obtain stability and control characteristics for Configurations 2A and 3 and an alternate forebody used with Configuration 3. In addition, hinge moments were measured on the elevons and rudder for Configuration 2A only. The configurations were tested at Mach numbers 2.5, 3.9 and 4.6. Pitch runs were made at angles of attack from -4 to 44 deg and sideslip angles from -4 to +6. Static pressures were measured at the fuselage base for use in force data correction

Results of an air data probe investigation utilizing a 0.10 scale orbiter forebody (model 57-0) in the Ames Research Center 14-foot wind tunnel (OA220)

Results are presented of a 0.10 scale orbiter forebody test with left and right mounted air data probes (ADP) as well as a flight test probe (nose boom). Left and right ADP data were obtained at Mach numbers of .3, .4, .5, .6, .7, .8, .85, .9, .95, .98, 1.05 and 1.1 through a Reynolds number range of 1.3 to 4.4 million. Nose boom data were obtained at Mach numbers of .3, .4, .5, .6, .7, .9 and .98

Genome-Wide Association Study and Subsequent Exclusion of ATCAY as a Candidate Gene Involved in Equine Neuroaxonal Dystrophy Using Two Animal Models.

Equine neuroaxonal dystrophy/equine degenerative myeloencephalopathy (eNAD/EDM) is an inherited neurodegenerative disorder of unknown etiology. Clinical signs of neurological deficits develop within the first year of life in vitamin E (vitE) deficient horses. A genome-wide association study (GWAS) was carried out using 670,000 SNP markers in 27 case and 42 control Quarter Horses. Two markers, encompassing a 2.5 Mb region on ECA7, were associated with the phenotype (p = 2.05 × 10-7 and 4.72 × 10-6). Within this region, caytaxin (ATCAY) was identified as a candidate gene due to its known role in Cayman Ataxia and ataxic/dystonic phenotypes in mouse models. Whole-genome sequence data in four eNAD/EDM and five unaffected horses identified 199 associated variants within the ECA7 region. MassARRAY® genotyping was performed on these variants within the GWAS population. The three variants within ATCAY were not concordant with the disease phenotype. No difference in expression or alternative splicing was identified using qRT-PCR in brainstem across the ATCAY transcript. Atcayji-hes mice were then used to conduct functional analysis in a second animal model. Histologic lesions were not identified in the central nervous system of Atcayji-hes mice. Additionally, supplementation of homozygous Atcayji-hes mice with 600 IU/day of dl-α-tocopheryl acetate (vitE) during gestation, lactation, and adulthood did not improve the phenotype. ATCAY has therefore been excluded as a candidate gene for eNAD/EDM

Interferon γ and lymphotoxin or tumor necrosis factor act synergistically to induce macrophage killing of tumor cells and schistosomula of schistosoma mansoni

Macrophages play a crucial role in the defense against tumors and parasites. Activation of tumoricidal and microbicidal effector mechanisms requires stimulation of macrophages with macrophage-activating factors (MAF). One such MAF is interferon γ (IFN-γ). In some assays, substantial activity of IFN-γ on murine macrophages, however, is only observed in synergy with lipopolysaccharide (LPS) or other cytokines (1). In addition, certain cytokines have been shown to induce monocyte or macrophage activation in the absence of IFN-γ (2-5). We previously described lymphokines in the supernatant of a murine T cell clone that synergized with IFN-γ in the induction of tumoricidal and schistosomulicidal murine macrophages (1). We called this lymphokine(s) macrophage cytotoxicityinducing factor 2 (MCIF2)(1). A candidate for MCIF2 was lymphotoxin (LT), because the T cell clone supernatant contained high amounts of LT. LT is functionally homologous and structurally related to the macrophage product tumor necrosis factor (TNF). Therefore, we tested whether recombinant (r) LT or rTNF can function as MAF. We report here that rLT or rTNF synergize with rIFN-γ in the induction of tumoricidal and schistosomulicidal murine macrophages

Abstract Interpretation with Unfoldings

We present and evaluate a technique for computing path-sensitive interference conditions during abstract interpretation of concurrent programs. In lieu of fixed point computation, we use prime event structures to compactly represent causal dependence and interference between sequences of transformers. Our main contribution is an unfolding algorithm that uses a new notion of independence to avoid redundant transformer application, thread-local fixed points to reduce the size of the unfolding, and a novel cutoff criterion based on subsumption to guarantee termination of the analysis. Our experiments show that the abstract unfolding produces an order of magnitude fewer false alarms than a mature abstract interpreter, while being several orders of magnitude faster than solver-based tools that have the same precision.Comment: Extended version of the paper (with the same title and authors) to appear at CAV 201

Exact Gap Computation for Code Coverage Metrics in ISO-C

Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage.Comment: In Proceedings MBT 2012, arXiv:1202.582

Capacity Bounded Grammars and Petri Nets

A capacity bounded grammar is a grammar whose derivations are restricted by assigning a bound to the number of every nonterminal symbol in the sentential forms. In the paper the generative power and closure properties of capacity bounded grammars and their Petri net controlled counterparts are investigated

Economic Impact of the Sugarcane Aphid Outbreak in South Texas

The objective of this study was to estimate the economic impact of the sugarcane aphid (SCA) outbreak in the Rio Grande Valley (RGV), Texas. Local producers were surveyed to gather detailed information about crop production and pest control practices. Collected data were used to estimate the reduction in profit associated with the SCA infestation, as well as the monetary value of the prevented loss attributed to control efforts. Sorghum industry losses were then used to assess the overall economic impact of the SCA outbreak in the RGV economy