9,942 research outputs found
Calibration and Extension of a Discrete Event Operations Simulation Modeling Multiple Un-Manned Aerial Vehicles Controlled by a Single Operator
This research improved a simulation that models a single operator responsible for multiple UAV rovers. The improvement calibrated the model by increasing the realism of its expected time that the target will be within the field of view of a UAV\u27s camera and how much of that will be observed by an operator that has multiple tasks to perform throughout the mission. The calibration was derived from multiple flight tests, by using a Field of View Algorithm in MATLAB and by visually recording times for loiter loops by hand. It was determined that the target will be within the field of view of a UAV loitering in a circular pattern between 62% and 66% of the overall loiter time. For an 8 hour beyond line of sight mission, the model\u27s optimal results were 145 min of Value Added Time in low wind conditions and 137 min in high wind. For an 8 hour within line of sight mission, the optimal result was 287 min in low wind conditions and 268 min in high wind
Recommended from our members
A Monte Carlo model checker for probabilistic LTL with numerical constraints
We define the syntax and semantics of a new temporal logic called probabilistic LTL with numerical constraints (PLTLc).
We introduce an efficient model checker for PLTLc properties. The efficiency of the model checker is through approximation
using Monte Carlo sampling of finite paths through the modelâs state space (simulation outputs) and parallel model checking
of the paths. Our model checking method can be applied to any model producing quantitative output â continuous or
stochastic, including those with complex dynamics and those with an infinite state space. Furthermore, our offline approach
allows the analysis of observed (real-life) behaviour traces. We find in this paper that PLTLc properties with constraints
over free variables can replace full model checking experiments, resulting in a significant gain in efficiency. This overcomes
one disadvantage of model checking experiments which is that the complexity depends on system granularity and number of
variables, and quickly becomes infeasible. We focus on models of biochemical networks, and specifically in this paper on
intracellular signalling pathways; however our method can be applied to a wide range of biological as well as technical
systems and their models. Our work contributes to the emerging field of synthetic biology by proposing a rigourous approach
for the structured formal engineering of biological systems
Preliminary design of a 100 kW turbine generator
The National Science Foundation and the Lewis Research Center have engaged jointly in a Wind Energy Program which includes the design and erection of a 100 kW wind turbine generator. The machine consists primarily of a rotor turbine, transmission, shaft, alternator, and tower. The rotor, measuring 125 feet in diameter and consisting of two variable pitch blades operates at 40 rpm and generates 100 kW of electrical power at 18 mph wind velocity. The entire assembly is placed on top of a tower 100 feet above ground level
Smart Sampling for Lightweight Verification of Markov Decision Processes
Markov decision processes (MDP) are useful to model optimisation problems in
concurrent systems. To verify MDPs with efficient Monte Carlo techniques
requires that their nondeterminism be resolved by a scheduler. Recent work has
introduced the elements of lightweight techniques to sample directly from
scheduler space, but finding optimal schedulers by simple sampling may be
inefficient. Here we describe "smart" sampling algorithms that can make
substantial improvements in performance.Comment: IEEE conference style, 11 pages, 5 algorithms, 11 figures, 1 tabl
Design of the software development and verification system (SWDVS) for shuttle NASA study task 35
An overview of the Software Development and Verification System (SWDVS) for the space shuttle is presented. The design considerations, goals, assumptions, and major features of the design are examined. A scenario that shows three persons involved in flight software development using the SWDVS in response to a program change request is developed. The SWDVS is described from the standpoint of different groups of people with different responsibilities in the shuttle program to show the functional requirements that influenced the SWDVS design. The software elements of the SWDVS that satisfy the requirements of the different groups are identified
Discrete Event Simulation of a Suppression of Enemy Air Defenses (SEAD) Mission
Contemporary military campaigns increasingly count on the use of air power. Suppression of enemy air defenses (SEAD) operations have been a crucial element of military air power for 50 years. Several developments and evolution in both air defense and attack systems suggest that SEAD missions will continue to have growing importance to air forces. Since SEAD operations have a significant impact on air campaigns, it is important to examine their efficiency and identify improvement opportunities. This study explores factors that influence SEAD operations through use of a discrete event simulation built in Arena and subsequent statistical analysis of the results
Quadruplex digital flight control system assessment
Described are the development and validation of a double fail-operational digital flight control system architecture for critical pitch axis functions. Architectural tradeoffs are assessed, system simulator modifications are described, and demonstration testing results are critiqued. Assessment tools and their application are also illustrated. Ultimately, the vital role of system simulation, tailored to digital mechanization attributes, is shown to be essential to validating the airworthiness of full-time critical functions such as augmented fly-by-wire systems for relaxed static stability airplanes
Man-rated flight software for the F-8 DFBW program
The design, implementation, and verification of the flight control software used in the F-8 DFBW program are discussed. Since the DFBW utilizes an Apollo computer and hardware, the procedures, controls, and basic management techniques employed are based on those developed for the Apollo software system. Program assembly control, simulator configuration control, erasable-memory load generation, change procedures and anomaly reporting are discussed. The primary verification tools are described, as well as the program test plans and their implementation on the various simulators. Failure effects analysis and the creation of special failure generating software for testing purposes are described
- âŠ