161,764 research outputs found
Computer simulation of a pilot in V/STOL aircraft control loops
The objective was to develop a computerized adaptive pilot model for the computer model of the research aircraft, the Harrier II AV-8B V/STOL with special emphasis on propulsion control. In fact, two versions of the adaptive pilot are given. The first, simply called the Adaptive Control Model (ACM) of a pilot includes a parameter estimation algorithm for the parameters of the aircraft and an adaption scheme based on the root locus of the poles of the pilot controlled aircraft. The second, called the Optimal Control Model of the pilot (OCM), includes an adaption algorithm and an optimal control algorithm. These computer simulations were developed as a part of the ongoing research program in pilot model simulation supported by NASA Lewis from April 1, 1985 to August 30, 1986 under NASA Grant NAG 3-606 and from September 1, 1986 through November 30, 1988 under NASA Grant NAG 3-729. Once installed, these pilot models permitted the computer simulation of the pilot model to close all of the control loops normally closed by a pilot actually manipulating the control variables. The current version of this has permitted a baseline comparison of various qualitative and quantitative performance indices for propulsion control, the control loops and the work load on the pilot. Actual data for an aircraft flown by a human pilot furnished by NASA was compared to the outputs furnished by the computerized pilot and found to be favorable
Foraging as an evidence accumulation process
A canonical foraging task is the patch-leaving problem, in which a forager
must decide to leave a current resource in search for another. Theoretical work
has derived optimal strategies for when to leave a patch, and experiments have
tested for conditions where animals do or do not follow an optimal strategy.
Nevertheless, models of patch-leaving decisions do not consider the imperfect
and noisy sampling process through which an animal gathers information, and how
this process is constrained by neurobiological mechanisms. In this theoretical
study, we formulate an evidence accumulation model of patch-leaving decisions
where the animal averages over noisy measurements to estimate the state of the
current patch and the overall environment. Evidence accumulation models belong
to the class of drift diffusion processes and have been used to model decision
making in different contexts. We solve the model for conditions where foraging
decisions are optimal and equivalent to the marginal value theorem, and perform
simulations to analyze deviations from optimal when these conditions are not
met. By adjusting the drift rate and decision threshold, the model can
represent different strategies, for example an increment-decrement or counting
strategy. These strategies yield identical decisions in the limiting case but
differ in how patch residence times adapt when the foraging environment is
uncertain. To account for sub-optimal decisions, we introduce an
energy-dependent utility function that predicts longer than optimal patch
residence times when food is plentiful. Our model provides a quantitative
connection between ecological models of foraging behavior and evidence
accumulation models of decision making. Moreover, it provides a theoretical
framework for potential experiments which seek to identify neural circuits
underlying patch leaving decisions
The adaptive nature of liquidity taking in limit order books
In financial markets, the order flow, defined as the process assuming value
one for buy market orders and minus one for sell market orders, displays a very
slowly decaying autocorrelation function. Since orders impact prices,
reconciling the persistence of the order flow with market efficiency is a
subtle issue. A possible solution is provided by asymmetric liquidity, which
states that the impact of a buy or sell order is inversely related to the
probability of its occurrence. We empirically find that when the order flow
predictability increases in one direction, the liquidity in the opposite side
decreases, but the probability that a trade moves the price decreases
significantly. While the last mechanism is able to counterbalance the
persistence of order flow and restore efficiency and diffusivity, the first
acts in opposite direction. We introduce a statistical order book model where
the persistence of the order flow is mitigated by adjusting the market order
volume to the predictability of the order flow. The model reproduces the
diffusive behaviour of prices at all time scales without fine-tuning the values
of parameters, as well as the behaviour of most order book quantities as a
function of the local predictability of order flow.Comment: 40 pages, 14 figures, and 2 tables; old figure 12 removed. Accepted
for publication on JSTA
Optimal Parameter Choices Through Self-Adjustment: Applying the 1/5-th Rule in Discrete Settings
While evolutionary algorithms are known to be very successful for a broad
range of applications, the algorithm designer is often left with many
algorithmic choices, for example, the size of the population, the mutation
rates, and the crossover rates of the algorithm. These parameters are known to
have a crucial influence on the optimization time, and thus need to be chosen
carefully, a task that often requires substantial efforts. Moreover, the
optimal parameters can change during the optimization process. It is therefore
of great interest to design mechanisms that dynamically choose best-possible
parameters. An example for such an update mechanism is the one-fifth success
rule for step-size adaption in evolutionary strategies. While in continuous
domains this principle is well understood also from a mathematical point of
view, no comparable theory is available for problems in discrete domains.
In this work we show that the one-fifth success rule can be effective also in
discrete settings. We regard the ~GA proposed in
[Doerr/Doerr/Ebel: From black-box complexity to designing new genetic
algorithms, TCS 2015]. We prove that if its population size is chosen according
to the one-fifth success rule then the expected optimization time on
\textsc{OneMax} is linear. This is better than what \emph{any} static
population size can achieve and is asymptotically optimal also among
all adaptive parameter choices.Comment: This is the full version of a paper that is to appear at GECCO 201
Multiple verification in computational modeling of bone pathologies
We introduce a model checking approach to diagnose the emerging of bone
pathologies. The implementation of a new model of bone remodeling in PRISM has
led to an interesting characterization of osteoporosis as a defective bone
remodeling dynamics with respect to other bone pathologies. Our approach allows
to derive three types of model checking-based diagnostic estimators. The first
diagnostic measure focuses on the level of bone mineral density, which is
currently used in medical practice. In addition, we have introduced a novel
diagnostic estimator which uses the full patient clinical record, here
simulated using the modeling framework. This estimator detects rapid (months)
negative changes in bone mineral density. Independently of the actual bone
mineral density, when the decrease occurs rapidly it is important to alarm the
patient and monitor him/her more closely to detect insurgence of other bone
co-morbidities. A third estimator takes into account the variance of the bone
density, which could address the investigation of metabolic syndromes, diabetes
and cancer. Our implementation could make use of different logical combinations
of these statistical estimators and could incorporate other biomarkers for
other systemic co-morbidities (for example diabetes and thalassemia). We are
delighted to report that the combination of stochastic modeling with formal
methods motivate new diagnostic framework for complex pathologies. In
particular our approach takes into consideration important properties of
biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could
be further expanded, inching towards the complexity of human diseases. Finally,
we briefly introduce self-adaptiveness in formal methods which is a key
property in the regulative mechanisms of biological systems and well known in
other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104
- …