Combining Models of Approximation with Partial Learning

In Gold's framework of inductive inference, the model of partial learning requires the learner to output exactly one correct index for the target object and only the target object infinitely often. Since infinitely many of the learner's hypotheses may be incorrect, it is not obvious whether a partial learner can be modifed to "approximate" the target object. Fulk and Jain (Approximate inference and scientific method. Information and Computation 114(2):179--191, 1994) introduced a model of approximate learning of recursive functions. The present work extends their research and solves an open problem of Fulk and Jain by showing that there is a learner which approximates and partially identifies every recursive function by outputting a sequence of hypotheses which, in addition, are also almost all finite variants of the target function. The subsequent study is dedicated to the question how these findings generalise to the learning of r.e. languages from positive data. Here three variants of approximate learning will be introduced and investigated with respect to the question whether they can be combined with partial learning. Following the line of Fulk and Jain's research, further investigations provide conditions under which partial language learners can eventually output only finite variants of the target language. The combinabilities of other partial learning criteria will also be briefly studied.Comment: 28 page

Gain-constrained recursive filtering with stochastic nonlinearities and probabilistic sensor delays

This is the post-print of the Article. The official published version can be accessed from the link below - Copyright @ 2013 IEEE.This paper is concerned with the gain-constrained recursive filtering problem for a class of time-varying nonlinear stochastic systems with probabilistic sensor delays and correlated noises. The stochastic nonlinearities are described by statistical means that cover the multiplicative stochastic disturbances as a special case. The phenomenon of probabilistic sensor delays is modeled by introducing a diagonal matrix composed of Bernoulli distributed random variables taking values of 1 or 0, which means that the sensors may experience randomly occurring delays with individual delay characteristics. The process noise is finite-step autocorrelated. The purpose of the addressed gain-constrained filtering problem is to design a filter such that, for all probabilistic sensor delays, stochastic nonlinearities, gain constraint as well as correlated noises, the cost function concerning the filtering error is minimized at each sampling instant, where the filter gain satisfies a certain equality constraint. A new recursive filtering algorithm is developed that ensures both the local optimality and the unbiasedness of the designed filter at each sampling instant which achieving the pre-specified filter gain constraint. A simulation example is provided to illustrate the effectiveness of the proposed filter design approach.This work was supported in part by the National Natural Science Foundation of China by Grants 61273156, 61028008, 60825303, 61104125, and 11271103, National 973 Project by Grant 2009CB320600, the Fok Ying Tung Education Fund by Grant 111064, the Special Fund for the Author of National Excellent Doctoral Dissertation of China by Grant 2007B4, the State Key Laboratory of Integrated Automation for the Process Industry (Northeastern University) of China, the Engineering and Physical Sciences Research Council (EPSRC) of the U.K. by Grant GR/S27658/01, the Royal Society of the U.K., and the Alexander von Humboldt Foundation of Germany

Recent advances on recursive filtering and sliding mode design for networked nonlinear stochastic systems: A survey

Copyright © 2013 Jun Hu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Some recent advances on the recursive filtering and sliding mode design problems for nonlinear stochastic systems with network-induced phenomena are surveyed. The network-induced phenomena under consideration mainly include missing measurements, fading measurements, signal quantization, probabilistic sensor delays, sensor saturations, randomly occurring nonlinearities, and randomly occurring uncertainties. With respect to these network-induced phenomena, the developments on filtering and sliding mode design problems are systematically reviewed. In particular, concerning the network-induced phenomena, some recent results on the recursive filtering for time-varying nonlinear stochastic systems and sliding mode design for time-invariant nonlinear stochastic systems are given, respectively. Finally, conclusions are proposed and some potential future research works are pointed out.This work was supported in part by the National Natural Science Foundation of China under Grant nos. 61134009, 61329301, 61333012, 61374127 and 11301118, the Engineering and Physical Sciences Research Council (EPSRC) of the UK under Grant no. GR/S27658/01, the Royal Society of the UK, and the Alexander von Humboldt Foundation of Germany

On delayed genetic regulatory networks with polytopic uncertainties: Robust stability analysis

Copyright [2008] IEEE. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Brunel University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.In this paper, we investigate the robust asymptotic stability problem of genetic regulatory networks with time-varying delays and polytopic parameter uncertainties. Both cases of differentiable and nondifferentiable time-delays are considered, and the convex polytopic description is utilized to characterize the genetic network model uncertainties. By using a Lyapunov functional approach and linear matrix inequality (LMI) techniques, the stability criteria for the uncertain delayed genetic networks are established in the form of LMIs, which can be readily verified by using standard numerical software. An important feature of the results reported here is that all the stability conditions are dependent on the upper and lower bounds of the delays, which is made possible by using up-to-date techniques for achieving delay dependence. Another feature of the results lies in that a novel Lyapunov functional dependent on the uncertain parameters is utilized, which renders the results to be potentially less conservative than those obtained via a fixed Lyapunov functional for the entire uncertainty domain. A genetic network example is employed to illustrate the applicability and usefulness of the developed theoretical results

Robust sliding mode control for discrete stochastic systems with mixed time delays, randomly occurring uncertainties, and randomly occurring nonlinearities

This is the post-print version of the paper. The official published version can be accessed from the link below - Copyright @ 2012 IEEEThis paper investigates the robust sliding mode control (SMC) problem for a class of uncertain nonlinear stochastic systems with mixed time delays. Both the sectorlike nonlinearities and the norm-bounded uncertainties enter into the system in random ways, and such randomly occurring uncertainties and randomly occurring nonlinearities obey certain mutually uncorrelated Bernoulli distributed white noise sequences. The mixed time delays consist of both the discrete and the distributed delays. The time-varying delays are allowed in state. By employing the idea of delay fractioning and constructing a new Lyapunov–Krasovskii functional, sufficient conditions are established to ensure the stability of the system dynamics in the specified sliding surface by solving a certain semidefinite programming problem. A full-state feedback SMC law is designed to guarantee the reaching condition. A simulation example is given to demonstrate the effectiveness of the proposed SMC scheme.This work was supported in part by the National Natural Science Foundation of China under Grants 61028008, 60825303 and 60834003, National 973 Project under Grant 2009CB320600, the Fok Ying Tung Education Fund under Grant 111064, the Special Fund for the Author of National Excellent Doctoral Dissertation of China under Grant 2007B4, the Key Laboratory of Integrated Automation for the Process Industry Northeastern University) from the Ministry of Education of China, the Engineering and Physical Sciences Research Council (EPSRC) of the U.K. under Grant GR/S27658/01, the Royal Society of the U.K., and the Alexander von Humboldt Foundation of Germany

Simple scheme for two-qubit Grover search in cavity QED

Following the proposal by F. Yamaguchi et al.[Phys. Rev. A 66, 010302 (R) (2002)], we present an alternative way to implement the two-qubit Grover search algorithm in cavity QED. Compared with F. Yamaguchi et al.'s proposal, with a strong resonant classical field added, our method is insensitive to both the cavity decay and thermal field, and doesn't require that the cavity remain in the vacuum state throughout the procedure. Moreover, the qubit definitions are the same for both atoms, which makes the experiment easier. The strictly numerical simulation shows that our proposal is good enough to demonstrate a two-qubit Grover's search with high fidelity.Comment: manuscript 10 pages, 2 figures, to appear in Phys. Rev.

Human African trypanosomiasis : the current situation in endemic regions and the risks for non-endemic regions from imported cases

Human African trypanosomiasis (HAT) is caused by Trypanosoma brucei gambiense and T. b. rhodesiense and caused devastating epidemics during the 20th century. Due to effective control programs implemented in the last two decades, the number of reported cases has fallen to a historically low level. Although fewer than 977 cases were reported in 2018 in endemic countries, HAT is still a public health problem in endemic regions until it is completely eliminated. In addition, almost 150 confirmed HAT cases were reported in non-endemic countries in the last three decades. The majority of non-endemic HAT cases were reported in Europe, United States and South Africa, due to historical alliances, economic links or geographic proximity to disease endemic countries. Furthermore, with the implementation of the “Belt and Road” project, sporadic imported HAT cases have been reported in China as a warning sign of tropical diseases prevention. In this paper, we explore and interpret the data on HAT incidence and find no positive correlation between the number of HAT cases from endemic and non-endemic countries.This data will provide useful information for better understanding the imported cases of HAT globally in the post-elimination phase

On controllability of neuronal networks with constraints on the average of control gains

Control gains play an important role in the control of a natural or a technical system since they reflect how much resource is required to optimize a certain control objective. This paper is concerned with the controllability of neuronal networks with constraints on the average value of the control gains injected in driver nodes, which are in accordance with engineering and biological backgrounds. In order to deal with the constraints on control gains, the controllability problem is transformed into a constrained optimization problem (COP). The introduction of the constraints on the control gains unavoidably leads to substantial difficulty in finding feasible as well as refining solutions. As such, a modified dynamic hybrid framework (MDyHF) is developed to solve this COP, based on an adaptive differential evolution and the concept of Pareto dominance. By comparing with statistical methods and several recently reported constrained optimization evolutionary algorithms (COEAs), we show that our proposed MDyHF is competitive and promising in studying the controllability of neuronal networks. Based on the MDyHF, we proceed to show the controlling regions under different levels of constraints. It is revealed that we should allocate the control gains economically when strong constraints are considered. In addition, it is found that as the constraints become more restrictive, the driver nodes are more likely to be selected from the nodes with a large degree. The results and methods presented in this paper will provide useful insights into developing new techniques to control a realistic complex network efficiently

Surface phase separation in nanosized charge-ordered manganites

Recent experiments showed that the robust charge-ordering in manganites can be weakened by reducing the grain size down to nanoscale. Weak ferromagnetism was evidenced in both nanoparticles and nanowires of charge-ordered manganites. To explain these observations, a phenomenological model based on surface phase separation is proposed. The relaxation of superexchange interaction on the surface layer allows formation of a ferromagnetic shell, whose thickness increases with decreasing grain size. Possible exchange bias and softening of the ferromagnetic transition in nanosized charge-ordered manganites are predicted.Comment: 4 pages, 3 figure