16,169 research outputs found
Palynological investigations at hallowell moss near witton gilbert, Durham a history of man's impact on vegetation
Hallowe11 Moss, near Durham, contains a continuous pollen record from about 3,700 B.C. until, probably, the present day. Having studied the history of the area, an attempt is made, with the assistance of radiocarbon dating, to correlate the vegetational phases recorded in the bog with the various archaeological and historical periods. The area remained densely forested until Bronze Age times, when there is evidence for slight grazing pressure within the forest and a small temporary clearance. In the Romano-British period, an extensive clearance making the landscape about as open as that of today may be correlated with similar clearances in Weardale. This phase comes to a rather abrupt end, probably with the advent of Anglo-Saxon rule and throughout the Saxon and Mediaeval periods the area remains as managed woodland with some grass and arable land. Extensive, “permanent" clearance does not occur until probably the sixteenth and seventeenth centuries. Evidence for later afforestation is presented, and an explanation for recent changes in land use
Petri nets for systems and synthetic biology
We give a description of a Petri net-based framework for
modelling and analysing biochemical pathways, which uni¯es the qualita-
tive, stochastic and continuous paradigms. Each perspective adds its con-
tribution to the understanding of the system, thus the three approaches
do not compete, but complement each other. We illustrate our approach
by applying it to an extended model of the three stage cascade, which
forms the core of the ERK signal transduction pathway. Consequently
our focus is on transient behaviour analysis. We demonstrate how quali-
tative descriptions are abstractions over stochastic or continuous descrip-
tions, and show that the stochastic and continuous models approximate
each other. Although our framework is based on Petri nets, it can be
applied more widely to other formalisms which are used to model and
analyse biochemical networks
Feedback control of unsupported standing in paraplegia. Part I: optimal control approach
This is the first of a pair of papers which describe an investigation into the feasibility of providing artificial balance to paraplegics using electrical stimulation of the paralyzed muscles. By bracing the body above the shanks, only stimulation of the plantarflexors is necessary. This arrangement prevents any influence from the intact neuromuscular system above the spinal cord lesion. Here, the authors extend the design of the controllers to a nested-loop LQG (linear quadratic Gaussian) stimulation controller which has ankle moment feedback (inner loops) and inverted pendulum angle feedback (outer loop). Each control loop is tuned by two parameters, the control weighting and an observer rise-time, which together determine the behavior. The nested structure was chosen because it is robust, despite changes in the muscle properties (fatigue) and interference from spasticity
Non-Abelian Monopoles on Four-Manifolds
We present a non-abelian generalization of Witten monopole equations and we
analyze the associated moduli problem, which can be regarded as a
generalization of Donaldson theory. The moduli space of solutions for SU(2)
monopoles on K\"ahler manifolds is discussed. We also construct, using the
Mathai-Quillen formalism, the topological quantum field theory corresponding to
the new moduli problem. This theory involves the coupling of topological
Yang-Mills theory to topological matter in four dimensionsComment: 35 pages, macropackage phyzz
A template-based approach for the generation of abstractable and reducible models of featured networks
We investigate the relationship between symmetry reduction and inductive reasoning when applied to model checking networks of featured components. Popular reduction techniques for combatting state space explosion in model checking, like abstraction and symmetry reduction, can only be applied effectively when the natural symmetry of a system is not destroyed during specification. We introduce a property which ensures this is preserved, open symmetry. We describe a template-based approach for the construction of open symmetric Promela specifications of featured systems. For certain systems (safely featured parameterised systems) our generated specifications are suitable for conversion to abstract specifications representing any size of network. This enables feature interaction analysis to be carried out, via model checking and induction, for systems of any number of featured components. In addition, we show how, for any balanced network of components, by using a graphical representation of the features and the process communication structure, a group of permutations of the underlying state space of the generated specification can be determined easily. Due to the open symmetry of our Promela specifications, this group of permutations can be used directly for symmetry reduced model checking.
The main contributions of this paper are an automatic method for developing open symmetric specifications which can be used for generic feature interaction analysis, and the novel application of symmetry detection and reduction in the context of model checking featured networks.
We apply our techniques to a well known example of a featured network – an email system
Feedback control of unsupported standing in paraplegia. Part II: experimental results
For pt. I see ibid., vol. 5, no. 4, p. 331-40 (1997). This is the second of a pair of papers which describe an investigation into the feasibility of providing artificial balance to paraplegics using electrical stimulation of the paralyzed muscles. By bracing the body above the shanks, only stimulation of the plantar flexors is necessary. This arrangement prevents any influence from the intact neuromuscular system above the spinal cord lesion. Here, the authors present experimental results from intact and paraplegic subjects
Investigation of the Hammerstein hypothesis in the modeling of electrically stimulated muscle
To restore functional use of paralyzed muscles by automatically controlled stimulation, an accurate quantitative model of the stimulated muscles is desirable. The most commonly used model for isometric muscle has had a Hammerstein structure, in which a linear dynamic block is preceded by a static nonlinear function, To investigate the accuracy of the Hammerstein model, the responses to a pseudo-random binary sequence (PRBS) excitation of normal human plantarflexors, stimulated with surface electrodes, were used to identify a Hammerstein model but also four local models which describe the responses to small signals at different mean levels of activation. Comparison of the local models with the Linearized Hammerstein model showed that the Hammerstein model concealed a fivefold variation in the speed of response. Also, the small-signal gain of the Hammerstein model was in error by factors up to three. We conclude that, despite the past widespread use of the Hammerstein model, it is not an accurate representation of isometric muscle. On the other hand, local models, which are more accurate predictors, can be identified from the responses to short PRBS sequences. The utility of local models for controller design is discussed
Recommended from our members
An introduction to Biomodel engineering, illustrated for signal transduction pathways
BioModel Engineering is the science of designing, constructing
and analyzing computational models of biological systems. It is inspired
by concepts from software engineering and computing science.
This paper illustrates a major theme in BioModel Engineering, namely
that identifying a quantitative model of a dynamic system means building
the structure, finding an initial state, and parameter fitting. In our
approach, the structure is obtained by piecewise construction of models
from modular parts, the initial state is obtained by analysis of the structure
and parameter fitting comprises determining the rate parameters of
the kinetic equations. We illustrate this with an example in the area of
intracellular signalling pathways
Optimal control of ankle joint moment: Toward unsupported standing in paraplegia
This paper considers part of the problem of how to provide unsupported standing for paraplegics by feedback control. In this work our overall objective is to stabilize the subject by stimulation only of his ankle joints while the other joints are braced, Here, we investigate the problem of ankle joint moment control. The ankle plantarflexion muscles are first identified with pseudorandom binary sequence (PRBS) signals, periodic sinusoidal signals, and twitches. The muscle is modeled in Hammerstein form as a static recruitment nonlinearity followed by a linear transfer function. A linear-quadratic-Gaussian (LQG)-optimal controller design procedure for ankle joint moment was proposed based on the polynomial equation formulation, The approach was verified by experiments in the special Wobbler apparatus with a neurologically intact subject, and these experimental results are reported. The controller structure is formulated in such a way that there are only two scalar design parameters, each of which has a clear physical interpretation. This facilitates fast controller synthesis and tuning in the laboratory environment. Experimental results show the effects of the controller tuning parameters: the control weighting and the observer response time, which determine closed-loop properties. Using these two parameters the tradeoff between disturbance rejection and measurement noise sensitivity can be straightforwardly balanced while maintaining a desired speed of tracking. The experimentally measured reference tracking, disturbance rejection, and noise sensitivity are good and agree with theoretical expectations
- …