5,901 research outputs found
Heart-Lung Interactions in Aerospace Medicine
Few of the heart-lung interactions that are discussed have been studied in any detail in the aerospace environment, but is seems that many such interactions must occur in the setting of altered accelerative loadings and pressure breathing. That few investigations are in progress suggests that clinical and academic laboratory investigators and aerospace organizations are further apart than during the pioneering work on pressure breathing and acceleration tolerance in the 1940s. The purpose is to reintroduce some of the perennial problems of aviation physiology as well as some newer aerospace concerns that may be of interest. Many possible heart-lung interactions are pondered, by necessity often drawing on data from within the aviation field, collected before the modern understanding of these interactions developed, or on recent laboratory data that may not be strictly applicable. In the field of zero-gravity effects, speculation inevitably outruns the sparse available data
The Arrow of the Law in Modern Administrative States: Using Complexity Theory to Reveal the Diminishing Returns and Increasing Risks the Burgeoning of Law Poses to Society
This article is the third in my series of articles exploring the application of complex adaptive systems (CAS) theory to legal systems. Building on the model outlined in the first two installments (in the Duke and Vanderbilt law reviews), this work examines the arrow or direction of the legal system in the context of the administrative state. Drawing from diverse work such as Burke\u27s study of history\u27s nonlinearity and Tainter\u27s classic study of the collapse of complex civilizations, we argue that the administrative state is becoming too resource intensive and burdened by a proliferation of rules
Certification of damage tolerant composite structure
A reliability based certification testing methodology for impact damage tolerant composite structure was developed. Cocured, adhesively bonded, and impact damaged composite static strength and fatigue life data were statistically analyzed to determine the influence of test parameters on the data scatter. The impact damage resistance and damage tolerance of various structural configurations were characterized through the analysis of an industry wide database of impact test results. Realistic impact damage certification requirements were proposed based on actual fleet aircraft data. The capabilities of available impact damage analysis methods were determined through correlation with experimental data. Probabilistic methods were developed to estimate the reliability of impact damaged composite structures
Mapping and Index Vegetation Analyses of Mangrove in Saparua Island, Central Moluccas
2TMapping and index vegetation analyses of mangrove in coastal areas of Saparua Island, Central Moluccas was conducted using Landsat 7/ETM+ satellite data acquired in April to May 2007. The results showed that the distributions of mangrove vegetation were concentrated in the north, south, and west of the region with the area of 218.88 ha (38.26%), 105.12 ha (18.38%), and 248.04 ha (43.36%), respectively. Total area of mangrove vegetation in this island was about 572.04 ha (5.72 kmP2P), or 3.49% of the island area. Vegetation indexes (NDVI) in the north, south, and west of the region were dominated by values of >0.7 (very high density)
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
A matched formula is a CNF formula whose incidence graph admits a matching
which matches a distinct variable to every clause. We study phase transition in
a context of matched formulas and their generalization of biclique satisfiable
formulas. We have performed experiments to find a phase transition of property
"being matched" with respect to the ratio where is the number of
clauses and is the number of variables of the input formula . We
compare the results of experiments to a theoretical lower bound which was shown
by Franco and Gelder (2003). Any matched formula is satisfiable, moreover, it
remains satisfiable even if we change polarities of any literal occurrences.
Szeider (2005) generalized matched formulas into two classes having the same
property -- var-satisfiable and biclique satisfiable formulas. A formula is
biclique satisfiable if its incidence graph admits covering by pairwise
disjoint bounded bicliques. Recognizing if a formula is biclique satisfiable is
NP-complete. In this paper we describe a heuristic algorithm for recognizing
whether a formula is biclique satisfiable and we evaluate it by experiments on
random formulas. We also describe an encoding of the problem of checking
whether a formula is biclique satisfiable into SAT and we use it to evaluate
the performance of our heuristicComment: Conference version submitted to SOFSEM 2018
(https://beda.dcs.fmph.uniba.sk/sofsem2019/) 18 pages(17 without refernces),
3 figures, 8 tables, an algorithm pseudocod
Economics of Transporting Poultry Litter from Northwest Arkansas to Eastern Arkansas Croplands
Applying baled litter from northwest Arkansas shipped by truck with backhauls, supplemented with chemical fertilizers provided the most cost-efficient method to supply nutrients to crops in eastern Arkansas, according to a GAMS optimization. Shipping raw litter by truck and barge is the optimal choice when backhauls or baling is unavailable.Public Economics,
- …