Representations and algorithms for finite-state bisimulations of linear discrete-time control systems

While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques. ©2009 IEEE.

Time-optimal control of a 3-level quantum system and its generalization to an n-level system

We solve the problem of steering a three-level quantum system from one eigen-state to another in minimum time and study its possible extension to the time-optimal control problem for a general n-level quantum system. For the three-level system we find all optimal controls by finding two types of symmetry in the problem: ℤ2 × S3 discrete symmetry and S1 continuous symmetry, and exploiting them to solve the problem through discrete reduction and symplectic reduction. We then study the geometry, in the same framework, which occurs in the time-optimal control of a general n-level quantum system. © 2007 IEEE.

Time-optimal control of a 3-level quantum system and its generalization

We solve the problem of steering a three-level quantum system from one eigen-state to another in minimum time and study its possible extension to the time-optimal control problem for a general n-level quantum system. For the three-level system we find all optimal controls by finding two types of symmetry in the problems: ℤ × S3 discrete symmetry and 51 continuous symmetry, and exploiting them to solve the problem through discrete reduction and symplectic reduction. We then study the geometry, in the same framework, which occurs in the time-optimal control of a general n-level quantum system. Copyright ©2007 Watam Press.

Continuous dynamical systems that realize discrete optimization on the hypercube

We study the problem of finding a local minimum of a multilinear function E over the discrete set {0,1}n. The search is achieved by a gradient-like system in [0,1]n with cost function E. Under mild restrictions on the metric, the stable attractors of the gradient-like system are shown to produce solutions of the problem, even when they are not in the vicinity of the discrete set {0,1}n. Moreover, the gradient-like system connects with interior point methods for linear programming and with the analog neural network studied by Vidyasagar (IEEE Trans. Automat. Control 40 (8) (1995) 1359), in the same context. © 2004 Elsevier B.V. All rights reserved.

Trajectory control based on discrete full-range dynamics

There has been an increasing interest in the use of mechanical dynamics, (e.g., assive, Elastic, And viscous dynamics) for energy efficient and agile control of robotic systems. Despite the impressive demonstrations of behavioural performance, The mechanical dynamics of this class of robotic systems is still very limited as compared to those of biological systems. For example, Passive dynamic walkers are not capable of generating joint torques to compensate for disturbances from complex environments. In order to tackle such a discrepancy between biological and artificial systems, We present the concept and design of an adaptive clutch mechanism that discretely covers the full-range of dynamics. As a result, The system is capable of a large variety of joint operations, including dynamic switching among passive, actuated and rigid modes. The main innovation of this paper is the framework and algorithm developed for controlling the trajectory of such joint. We present different control strategies that exploit passive dynamics. Simulation results demonstrate a significant improvement in motion control with respect to the speed of motion and energy efficiency. The actuator is implemented in a simple pendulum platform to quantitatively evaluate this novel approach.

Methane hydrate growth velocity in seepage system of Qiongdongnan Basin, South China Sea

The occurrences of diapirs, gas-filled zones and gas plumes in seawater in Qiongdongnan Basin of South China Sea indicate that there may exist seepage system gas-hydrate reservoirs. Assuming there has a methane venting zone of 1500 m in diameter, and the methane flux is 1000 kmol/a, and the temperature of methane hydrate-bearing sediments ranges from 3 degrees C to 20 degrees C, then according to the hydrate film growth theory, by numerical simulation, this paper computes the temperatures and velocities in 0 mbsf, 100 mbsf, 200 mbsf, 425 mbsf over discrete length, and gives the change charts. The results show that the cementation velocity in sediments matrix of methane hydrate is about 0.2 nm/s, and the seepage system will evolve into diffusion system over probably 35000 years. Meanwhile, the methane hydrate growth velocity in leakage system is 20 similar to 40 times faster than in diffusion system.

The electrochemical behavior of a system with a limited number of molecules

In this paper, based on Einstein relationship between diffusion and random walk, the electrochemical behavior of a system with a limited number of molecules was simulated and explored theoretically. The transition of the current vs time responses from discrete to continuous was clearly obtained as the number of redox molecules increased from 10 to 10(6).

Evaluation of a combined wavelet and a combined principal component analysis classification system for BCG diagnostic problem

Heart disease is one of the main factor causing death in the developed countries. Over several decades, variety of electronic and computer technology have been developed to assist clinical practices for cardiac performance monitoring and heart disease diagnosis. Among these methods, Ballistocardiography (BCG) has an interesting feature that no electrodes are needed to be attached to the body during the measurement. Thus, it is provides a potential application to asses the patients heart condition in the home. In this paper, a comparison is made for two neural networks based BCG signal classification models. One system uses a principal component analysis (PCA) method, and the other a discrete wavelet transform, to reduce the input dimensionality. It is indicated that the combined wavelet transform and neural network has a more reliable performance than the combined PCA and neural network system. Moreover, the wavelet transform requires no prior knowledge of the statistical distribution of data samples and the computation complexity and training time are reduced.

Numerical simulation of encapsulant curing within a variable frequency microwave processing system

Curing of encapsulant material in a simplified microelectronics package using an open oven Variable Frequency Microwave (VFM) system is numerically simulated using a coupled solver approach. A numerical framework capable of simulating electromagnetic field distribution within the oven system, plus heat transfer, cure rate, degree of cure and thermally induced stresses within the encapsulant material is presented. The discrete physical processes have been integrated into a fully coupled solution, enabling usefully accurate results to be generated. Numerical results showing the heating and curing of the encapsulant material have been obtained and are presented in this contribution. The requirement to capture inter-process coupling and the variation in dielectric and thermophysical material properties is discussed and illustrated with simulation results.

Development and validation of a shipboard system for measuring high-resolution vertical profiles of aqueous dimethylsulfide concentrations using chemical ionization mass spectrometry

A sampling and analytical system has been developed for shipboard measurements of high-resolution vertical profiles of the marine trace gas dimethylsulfide (DMS). The system consists of a tube attached to a CTD with a peristaltic pump on deck that delivers seawater to a membrane equilibrator and atmospheric pressure chemical ionization mass spectrometer (Eq-APCIMS). This allows profiling DMS concentrations to a depth of 50 m, with a depth resolution of 1.3-2 m and a detection limit of nearly 0.1 nmol L-1. The seawater is also plumbed to allow parallel operation of additional continuous instruments, and simultaneous collection of discrete samples for complementary analyses. A valve alternates delivery of seawater from the vertical profiler and the ship�s underway intake, thereby providing high-resolution measurements in both the vertical and horizontal dimensions. Tests conducted on various cruises in the Mediterranean Sea, Atlantic, Indian, and Pacific Oceans show good agreement between the Eq-APCIMS measurements and purge and trap gas chromatography with flame photometric detection (GC-FPD) and demonstrate that the delivery of seawater from the underway pump did not significantly affect endogenous DMS concentrations. Combination of the continuous flow DMS analysis with high-frequency hydrographic, optical, biological and meteorological measurements will greatly improve the spatial/temporal resolution of seagoing measurements and improve our understanding of DMS cycling.

Wavelets for the Analysis and Compression of Power System Disturbances

Wavelets introduce new classes of basis functions for time-frequency signal analysis and have properties particularly suited to the transient components and discontinuities evident in power system disturbances. Wavelet analysis involves representing signals in terms of simpler, fixed building blocks at different scales and positions. This paper examines the analysis and subsequent compression properties of the discrete wavelet and wavelet packet transforms and evaluates both transforms using an actual power system disturbance from a digital fault recorder. The paper presents comparative compression results using the wavelet and discrete cosine transforms and examines the application of wavelet compression in power monitoring to mitigate against data communications overheads.

Neuromuscular-skeletal constraints on the acquisition of skill in a discrete torque production task

The organisation of the human neuromuscular-skeletal system allows an extremely wide variety of actions to be performed, often with great dexterity. Adaptations associated with skill acquisition occur at all levels of the neuromuscular-skeletal system although all neural adaptations are inevitably constrained by the organisation of the actuating apparatus (muscles and bones). We quantified the extent to which skill acquisition in an isometric task set is influenced by the mechanical properties of the muscles used to produce the required actions. Initial performance was greatly dependent upon the specific combination of torques required in each variant of the experimental task. Five consecutive days of practice improved the performance to a similar degree across eight actions despite differences in the torques required about the elbow and forearm. The proportional improvement in performance was also similar when the actions were performed at either 20 or 40% of participants' maximum voluntary torque capacity. The skill acquired during practice was successfully extrapolated to variants of the task requiring more torque than that required during practice. We conclude that while the extent to which skill can be acquired in isometric actions is independent of the specific combination of joint torques required for target acquisition, the nature of the kinetic adaptations leading to the performance improvement in isometric actions is influenced by the neural and mechanical properties of the actuating muscles.

Towards variance-matrix characterization of complementarity relations in a continuous variable system

We discuss complementarity relations in a bipartite continuous variable system. Building up from the work done on discrete d-dimensional systems, we prove that for symmetric two-mode states, quantum complementarity relations can be put in a simple relation with the elements of the variance matrix. When this condition is not satisfied, such a connection becomes non-trivial. Our investigation is the first step towards an operative characterization of the complementarity in a scenario that has not been investigated so far.

Modelling the mechanical response of the reed-mouthpiece-lip system of a clarinet. Part II: A lumped model approximation

A non-linear lumped model of the reed-mouthpiece-lip system of a clarinet is formulated, in which the lumped parameters are derived from numerical experiments with a finite-difference simulation based on a distributed reed model. The effective stiffness per unit area is formulated as a function of the pressure signal driving the reed, in order to simulate the effects of the reed bending against the lay, and mass and damping terms are added as a first approximation to the dynamic behaviour of the reed. A discrete-time formulation is presented, and its response is compared to that of the distributed model. In addition, the lumped model is applied in the simulation of clarinet tones, enabling the analysis of the effects of using a pressure-dependent stiffness per unit area on sustained oscillations. The analysed effects and features are in qualitative agreement with players' experiences and experimental results obtained in prior studies.

Discrete breathers in hexagonal dusty plasma lattices

The occurrence of single-site or multisite localized vibrational modes, also called discrete breathers, in two-dimensional hexagonal dusty plasma lattices is investigated. The system is described by a Klein-Gordon hexagonal lattice characterized by a negative coupling parameter epsilon in account of its inverse dispersive behavior. A theoretical analysis is performed in order to establish the possibility of existence of single as well as three-site discrete breathers in such systems. The study is complemented by a numerical investigation based on experimentally provided potential forms. This investigation shows that a dusty plasma lattice can support single-site discrete breathers, while three-site in phase breathers could exist if specific conditions, about the intergrain interaction strength, would hold. On the other hand, out of phase and vortex three-site breathers cannot be supported since they are highly unstable.