Fast cooling of trapped ions using the dynamical Stark shift gate

A laser cooling scheme for trapped ions is presented which is based on the fast dynamical Stark shift gate, described in [Jonathan etal, PRA 62, 042307]. Since this cooling method does not contain an off resonant carrier transition, low final temperatures are achieved even in traveling wave light field. The proposed method may operate in either pulsed or continuous mode and is also suitable for ion traps using microwave addressing in strong magnetic field gradients.Comment: 4 pages 5 figure

Optimization of Dengue Epidemics: a test case with different discretization schemes

The incidence of Dengue epidemiologic disease has grown in recent decades. In this paper an application of optimal control in Dengue epidemics is presented. The mathematical model includes the dynamic of Dengue mosquito, the affected persons, the people's motivation to combat the mosquito and the inherent social cost of the disease, such as cost with ill individuals, educations and sanitary campaigns. The dynamic model presents a set of nonlinear ordinary differential equations. The problem was discretized through Euler and Runge Kutta schemes, and solved using nonlinear optimization packages. The computational results as well as the main conclusions are shown.Comment: Presented at the invited session "Numerical Optimization" of the 7th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2009), Rethymno, Crete, Greece, 18-22 September 2009; RepositoriUM, id: http://hdl.handle.net/1822/1083

A class of goodness-of-fit tests for circular distributions based on trigonometric moments

We propose a class of goodness–of–fit test procedures for arbitrary parametric families of circular distributions with unknown parameters. The tests make use of the specific form of the characteristic function of the family being tested, and are shown to be consistent. We derive the asymptotic null distribution and suggest that the new method be implemented using a bootstrap resampling technique that approximates this distribution consistently. As an illustration, we then specialize this method to testing whether a given data set is from the von Mises distribution, a model that is commonly used and for which considerable theory has been developed. An extensive Monte Carlo study is carried out to compare the new tests with other existing omnibus tests for this model. An application involving five real data sets is provided in order to illustrate the new procedure.Peer Reviewe

Typical and aberrant functional brain flexibility: lifespan development and aberrant organization in traumatic brain injury and dyslexia

Intrinsic functional connectivity networks derived from different neuroimaging methods and connectivity estimators have revealed robust developmental trends linked to behavioural and cognitive maturation. The present study employed a dynamic functional connectivity approach to determine dominant intrinsic coupling modes in resting-state neuromagnetic data from 178 healthy participants aged 8–60 years. Results revealed significant developmental trends in three types of dominant intra- and inter-hemispheric neuronal population interactions (amplitude envelope, phase coupling, and phase-amplitude synchronization) involving frontal, temporal, and parieto-occipital regions. Multi-class support vector machines achieved 89% correct classification of participants according to their chronological age using dynamic functional connectivity indices. Moreover, systematic temporal variability in functional connectivity profiles, which was used to empirically derive a composite flexibility index, displayed an inverse U-shaped curve among healthy participants. Lower flexibility values were found among age-matched children with reading disability and adults who had suffered mild traumatic brain injury. The importance of these results for normal and abnormal brain development are discussed in light of the recently proposed role of cross-frequency interactions in the fine-grained coordination of neuronal population activity

Greater repertoire and temporal variability of cross-frequency coupling (CFC) modes in resting-state neuromagnetic recordings among children with reading difficulties

Cross-frequency, phase-to-amplitude coupling (PAC) between neuronal oscillations at rest may serve as the substrate that supports information exchange between functionally specialized neuronal populations both within and between cortical regions. The study utilizes novel algorithms to identify prominent instantaneous modes of cross-frequency coupling and their temporal stability in resting state magnetoencephalography (MEG) data from 25 students experiencing severe reading difficulties (RD) and 27 age-matched non-impaired readers (NI). Phase coherence estimates were computed in order to identify the prominent mode of PAC interaction for each sensor, sensor pair, and pair of frequency bands (from δ to γ) at successive time windows of the continuous MEG record. The degree of variability in the characteristic frequency-pair PACf1−f2 modes over time was also estimated. Results revealed a wider repertoire of prominent PAC interactions in RD as compared to NI students, suggesting an altered functional substrate for information exchange between neuronal assemblies in the former group. Moreover, RD students showed significant variability in PAC modes over time. This temporal instability of PAC values was particularly prominent: (a) within and between right hemisphere temporo-parietal and occipito-temporal sensors and, (b) between left hemisphere frontal, temporal, and occipito-temporal sensors and corresponding right hemisphere sites. Altered modes of neuronal population coupling may help account for extant data revealing reduced, task-related neurophysiological and hemodynamic activation in left hemisphere regions involved in the reading network in RD. Moreover, the spatial distribution of pronounced instability of cross-frequency coupling modes in this group may provide an explanation for previous reports suggesting the presence of inefficient compensatory mechanisms to support reading

Comparative Study of Vibration Stability at Operating Light Source Facilities and Lessons Learned in Achieving NSLS II Stability Goals

In an effort to ensure that the stability goals of the NSLS II will be met once the accelerator structure is set on the selected BNL site a comprehensive evaluation of the ground vibration observed at existing light source facilities has been undertaken. The study has relied on measurement data collected and reported by the operating facilities as well as on new data collected in the course of this study. The primary goal of this comprehensive effort is to compare the green-field conditions that exist in the various sites both in terms of amplitude as well as frequency content and quantify the effect of the interaction of these accelerator facilities with the green-field vibration. The latter represents the ultimate goal of this effort where the anticipated motion of the NSLS II ring is estimated prior to its construction and compared with the required stability criteria

A Robust Model Predictive Control Framework for Ecological Adaptive Cruise Control Strategy of Electric Vehicles

The recent advancement in vehicular networking technology provides novel solutions for designing intelligent and sustainable vehicle motion controllers. This work addresses a car-following task, where the feedback linearisation method is combined with a robust model predictive control (RMPC) scheme to safely, optimally and efficiently control a connected electric vehicle. In particular, the nonlinear dynamics are linearised through a feedback linearisation method to maintain an efficient computational speed and to guarantee global optimality. At the same time, the inevitable model mismatch is dealt with by the RMPC design. The control objective of the RMPC is to optimise the electric energy efficiency of the ego vehicle with consideration of a bounded model mismatch disturbance subject to satisfaction of physical and safety constraints. Numerical results first verify the validity and robustness through a comparison between the proposed RMPC and a nominal MPC. Further investigation into the performance of the proposed method reveals a higher energy efficiency and passenger comfort level as compared to a recently proposed benchmark method using the space-domain modelling approach

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems