684 research outputs found
Stability and Fourier-Mukai Transforms on Higher Dimensional Elliptic Fibrations
We consider elliptic fibrations with arbitrary base dimensions, and
generalise previous work by the second author. In particular, we check
universal closedness for the moduli of semistable objects with respect to a
polynomial stability that reduces to PT-stability on threefolds. We also show
openness of this polynomial stability. On the other hand, we write down
criteria under which certain 2-term polynomial semistable complexes are mapped
to torsion-free semistable sheaves under a Fourier-Mukai transform. As an
application, we construct an open immersion from a moduli of complexes to a
moduli of Gieseker stable sheaves on higher dimensional elliptic fibrations.Comment: 26 pages. Minor corrections. To appear in Comm. Anal. Geo
Laser Imaging Detection and Ranging Performance in a High-Fidelity Lunar Terrain Field
The prime objective of this project is to evaluate Laser Imaging Detection and Ranging (LIDAR) systems and compare their performance for hazard avoidance when tested at the NASA Marshall Space Flight Center's (MSFC's) lunar high-fidelity terrain field (see fig. 1). Hazard avoidance is the ability to avoid boulders, holes, or slopes that would jeopardize a safe landing and the deployment of scientific payloads. This capability is critical for any sample return mission intending to land in challenging terrain. Since challenging terrain is frequently where the most scientifically attractive targets are, hazard avoidance will be among the highest priorities for future robotic exploration missions. The maturation of hazard avoidance sensing addressed in this project directly supports the MSFC Tier I priority of sample return
Variable Speed Flapping Wing Micro Air Vehicle using a Continuous Variable Transmission Design
Flapping wing micro air vehicles (FWMAV) have very unique flight mechanics in two-wing orientation. Many challenges arise with two wing configuration: lift production, design construction, and control systems. Control surfaces used in fixed wings can be used but at low Reynolds numbers they become less effective. In order to truly mimic insects with two wings, control mechanisms must be developed. Since MAVs are designed to navigate through confined spaces they need to have many degrees of freedom in motion. One way is to use a continuous variable transmission (CVT) mechanism, by integrating its infinite gear ratios to change the flapping frequency of each wing independently it will be able to generate a roll maneuver. In previous work, two motor designs were used; by using a CVT design an additional motor weight can be neglected. The work completed was the development of a cone CVT design for MAV use that could produce variable frequency in each wing. Testing and analysis of the prototype model shows the design as possible control method in MAVs
These are not the k-mers you are looking for: efficient online k-mer counting using a probabilistic data structure
K-mer abundance analysis is widely used for many purposes in nucleotide
sequence analysis, including data preprocessing for de novo assembly, repeat
detection, and sequencing coverage estimation. We present the khmer software
package for fast and memory efficient online counting of k-mers in sequencing
data sets. Unlike previous methods based on data structures such as hash
tables, suffix arrays, and trie structures, khmer relies entirely on a simple
probabilistic data structure, a Count-Min Sketch. The Count-Min Sketch permits
online updating and retrieval of k-mer counts in memory which is necessary to
support online k-mer analysis algorithms. On sparse data sets this data
structure is considerably more memory efficient than any exact data structure.
In exchange, the use of a Count-Min Sketch introduces a systematic overcount
for k-mers; moreover, only the counts, and not the k-mers, are stored. Here we
analyze the speed, the memory usage, and the miscount rate of khmer for
generating k-mer frequency distributions and retrieving k-mer counts for
individual k-mers. We also compare the performance of khmer to several other
k-mer counting packages, including Tallymer, Jellyfish, BFCounter, DSK, KMC,
Turtle and KAnalyze. Finally, we examine the effectiveness of profiling
sequencing error, k-mer abundance trimming, and digital normalization of reads
in the context of high khmer false positive rates. khmer is implemented in C++
wrapped in a Python interface, offers a tested and robust API, and is freely
available under the BSD license at github.com/ged-lab/khmer
Adaptive Design of Excitonic Absorption in Broken-Symmetry Quantum Wells
Adaptive quantum design is used to identify broken-symmetry quantum well
potential profiles with optical response properties superior to previous ad-hoc
solutions. This technique performs an unbiased stochastic search of
configuration space. It allows us to engineer many-body excitonic wave
functions and thus provides a new methodology to efficiently develop optimized
quantum confined Stark effect device structures.Comment: 4 pages, 3 encapsulated postscript figure
Unified Simulation and Analysis Framework for Deep Space Navigation Design
As the technology that enables advanced deep space autonomous navigation continues to develop and the requirements for such capability continues to grow, there is a clear need for a modular expandable simulation framework. This tool's purpose is to address multiple measurement and information sources in order to capture system capability. This is needed to analyze the capability of competing navigation systems as well as to develop system requirements, in order to determine its effect on the sizing of the integrated vehicle. The development for such a framework is built upon Model-Based Systems Engineering techniques to capture the architecture of the navigation system and possible state measurements and observations to feed into the simulation implementation structure. These models also allow a common environment for the capture of an increasingly complex operational architecture, involving multiple spacecraft, ground stations, and communication networks. In order to address these architectural developments, a framework of agent-based modules is implemented to capture the independent operations of individual spacecraft as well as the network interactions amongst spacecraft. This paper describes the development of this framework, and the modeling processes used to capture a deep space navigation system. Additionally, a sample implementation describing a concept of network-based navigation utilizing digitally transmitted data packets is described in detail. This developed package shows the capability of the modeling framework, including its modularity, analysis capabilities, and its unification back to the overall system requirements and definition
Software Would Largely Automate Design of Kalman Filter
Embedded Navigation Filter Automatic Designer (ENFAD) is a computer program being developed to automate the most difficult tasks in designing embedded software to implement a Kalman filter in a navigation system. The most difficult tasks are selection of error states of the filter and tuning of filter parameters, which are timeconsuming trial-and-error tasks that require expertise and rarely yield optimum results. An optimum selection of error states and filter parameters depends on navigation-sensor and vehicle characteristics, and on filter processing time. ENFAD would include a simulation module that would incorporate all possible error states with respect to a given set of vehicle and sensor characteristics. The first of two iterative optimization loops would vary the selection of error states until the best filter performance was achieved in Monte Carlo simulations. For a fixed selection of error states, the second loop would vary the filter parameter values until an optimal performance value was obtained. Design constraints would be satisfied in the optimization loops. Users would supply vehicle and sensor test data that would be used to refine digital models in ENFAD. Filter processing time and filter accuracy would be computed by ENFAD
Familial support, social security and the changing economic status of the elderly in Taiwan: 1976-1996.
This thesis deals with the economic status of the elderly in Taiwan, with specific reference to familial support and social security. The aims of this thesis are threefold. First, we shall provide a broad analysis of the economic status of the elderly in Taiwan during the period 1976-1996 using three economic indicators (income, assets and consumer durables). Second, we shall examine the impact of familial support (in terms of intra-household transfers and inter-household transfers) on the elderly's economic status. Third, we assess the effectiveness and efficiency of four major types of social security on the reduction of poverty rates and poverty gaps. These aims are achieved by using the dataset from the Survey of Family Income and Expenditure in Taiwan. The research findings demonstrate that economic well-being of elderly individuals is unequally distributed across different living arrangements. It supports the view that familial transfers were still substantial up to 1996 but were steadily decreasing over time. For some households, although social security has proved to be very effective in reducing overall poverty, there was a low efficiency associated with social security distribution. The study addresses the importance of family support of the elderly, and the fairness and efficiency of social security provision. Moreover, the research suggests that the proposed National Pension Scheme would be an ideal tool for improving the economic status of the elderly in the long term
Analysis of Ares 1 Ascent Navigation Options
The paper documents a collaborative analysis of ascent Navigation options for the Ares 1 launch vehicle by the NASA Marshall Space Flight Center (MSFC) and the C. S. Draper Laboratory. The objective of the work was the development of a Navigation concept and supporting requirements which meet the Ares 1 accuracy specification in a manner which is straightforward, reliable, and cost effective. Six primary Navigation architectures were considered. In each case analysis was performed to determine under what conditions the required accuracy at second stage cutoff could be achieved. Those architectures which met the accuracy requirements were then assessed in terms of cost, complexity, and reliability to determine a baseline Navigation approach and the primary supporting requirements
- …