一类不确定双线性广义系统的非脆弱无源控制

研究了一类带有不确定性和时滞的双线性广义系统的无源控制问题,利用Lyapunov泛函方法,通过求解线性矩阵不等式得到了具有非脆弱性的带记忆的状态反馈控制器的显示表达,保证闭环系统广义二次稳定且具有最大耗散率的无源性.给出最大耗散率的计算步骤的同时得到了使系统具有无源性的控制器.最后用数值例子说明了得到定理的有效性.     

线性广义系统的无源控制

研究线性广义系统在有界能量外部输入作用下的无源控制问题,给出广义系统容许且具有严格无源性的充分条件,并且在一定条件下设计一个状态反馈控制器使得闭环系统容许,同时具有严格无源性．     

一类具有相互干扰的Leslie捕食与被捕食系统的定性分析

用定性分析的方法研究了一类具有相互干扰的Leslie捕食与被捕食周期系统的全局性质,讨论了系统的持久性以及周期解的存在唯一性,并且给出了该系统持久性的充分条件以及存在全局渐近稳定正周期解的充分条件.     

一类带Monod增长率及脉冲状态反馈控制的微生物杀虫剂模型的周期解

研究了一类带Monod增长率及脉冲状态反馈控制的微生物杀虫剂模型．证明了无脉冲系统的负向全局渐近稳定性及带有脉冲状态反馈控制系统具有阶一周期解,并且给出阶一周期解存在和稳定的充分条件．数值模拟验证了理论结果．     

时变环境Lotka—Volterra系统的渐近性态

本文研究时变环境下的Lotka-Volterra系统,给出一系列关于这类系统持久性以及正T-周期解全局渐近稳定的充分条件．     

具性别和阶段结构的非自治二种群捕食者-食饵系统研究

讨论了一类食饵具有性别结构,捕食者具有阶段结构的非自治捕食者．食饵系统,运用Liapunov函数方法,得到了该系统一致持续生存的充分条件．对于该模型的周期系统,在适当条件下,存在唯一、全局渐近稳定的周期解．对更具普遍意义的概周期现象,也得出了概周期正解唯一存在且全局渐近稳定的充分条件．     

具有连续时滞和扩散的非自治Holling捕食系统的持续生存

本文给出了在具有连续时滞和11类功能性反应及扩散的非自治捕食系统中,种群持续生存,周期解存在及全局渐近稳定的充分条件.     

一类离散双线性生态系统的正规化控制

双线性系统能对非线性系统很好的近似,可对生态、生物等过程中的许多现象进行描述,对双线性系统研究具有一定的实际价值与理论意义.本文研究了一类离散双线性生态系统的全局渐近稳定问题.针对该系统,给出了一种简单的正规化反馈控制律.运用Lyapunov稳定性理论证明了在此控制律下的闭环系统是全局渐近稳定的.     

资源与资源利用者的脉冲收获控制

研究一类资源以Cui-Lawson增长为基础的具有状态依赖脉冲收获的生态系统.首先对无脉冲作用的系统进行定性分析,得到正平衡点存在和稳定的充分条件.其次对具有状态依赖的脉冲系统,利用微分方程几何理论中后续函数法得到系统的阶一周期解存在的充分条件,证明该周期解是轨道渐近稳定的,同时利用数值模拟讨论了系统生态意义.     

一类具有饱和反应率的脉冲免疫接种的SIS模型

研究了具饱和传染率的脉冲免疫接种SIS模型,得到了无病周期解全局渐近稳定的充分条件和系统持续生存的充分条件．     

On the stability of the kinetics of a certain class of biomolecular reactions

Summary By means of a formal kinetic model, an analysis of the behavior of a certain type of unbranched sequences of biomolecular reactions is made. The main results are in (i) the characterization of the steady-state, (ii) the specification of a condition under which the largest physically admissible invariant set, containing the steady-state as invariant subset, can be obtained, and (iii) the deduction of parameter restrictions sufficient to assure asymptotic stability in the large in the given invariant set with respect to the steady-state.     

Bilinearity in Spatiotemporal Integration of Synaptic Inputs

Neurons process information via integration of synaptic inputs from dendrites. Many experimental results demonstrate dendritic integration could be highly nonlinear, yet few theoretical analyses have been performed to obtain a precise quantitative characterization analytically. Based on asymptotic analysis of a two-compartment passive cable model, given a pair of time-dependent synaptic conductance inputs, we derive a bilinear spatiotemporal dendritic integration rule. The summed somatic potential can be well approximated by the linear summation of the two postsynaptic potentials elicited separately, plus a third additional bilinear term proportional to their product with a proportionality coefficient . The rule is valid for a pair of synaptic inputs of all types, including excitation-inhibition, excitation-excitation, and inhibition-inhibition. In addition, the rule is valid during the whole dendritic integration process for a pair of synaptic inputs with arbitrary input time differences and input locations. The coefficient is demonstrated to be nearly independent of the input strengths but is dependent on input times and input locations. This rule is then verified through simulation of a realistic pyramidal neuron model and in electrophysiological experiments of rat hippocampal CA1 neurons. The rule is further generalized to describe the spatiotemporal dendritic integration of multiple excitatory and inhibitory synaptic inputs. The integration of multiple inputs can be decomposed into the sum of all possible pairwise integration, where each paired integration obeys the bilinear rule. This decomposition leads to a graph representation of dendritic integration, which can be viewed as functionally sparse.     

Effects of passive heating intervention on muscle hypertrophy and neuromuscular function: A preliminary systematic review with meta-analysis

Passive heating has been therapeutically used to treat a range of health conditions. Further, this intervention presents as a potential exercise mimetic strategy showing acute and chronic effects on skeletal muscle adaptation and neuromuscular systems. This systematic review and meta-analysis aimed to synthesise the existing evidence on the effects of passive heating on muscle hypertrophy and neuromuscular function. Seven databases were searched (i.e., PubMed, Web of Science, Scopus, CINAHL, EMBASE, Cochrane, and SPORTDiscus) from 1937 to October 2019. Eligible studies included original papers using healthy animals or human samples (≥18 years; both sexes) that have used a control group or condition. Ten original articles were included in this review and four in the meta-analysis. The meta-analysis detected an increase in muscle mass in animal samples seven days after passive heating (I² = 65%, P < 0.01). The systematic review showed preliminary evidence that repeated passive heating exposures may promote muscle hypertrophy in animals and humans. Moreover, augmented muscle strength (involuntary and voluntary) may be observed after long-term passive heating (animals and humans) and increases in corticospinal excitability in humans after a single passive heating session. Passive heating has shown some potential benefits for skeletal muscle mass gain and muscle force improvement. Therefore, it is plausible to suggest that passive heating might be a worthwhile alternative to be recommended as an exercise mimetic for those people who lack or are unable to complete sufficient exercise.     

Solving Hard Computational Problems Efficiently: Asymptotic Parametric Complexity 3-Coloring Algorithm

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular biology, e.g., genome sequencing; global alignment of multiple genomes; identifying siblings or discovery of dysregulated pathways. In almost all of these problems, there is the need for proving a hypothesis about certain property of an object that can be present if and only if it adopts some particular admissible structure (an NP-certificate) or be absent (no admissible structure), however, none of the standard approaches can discard the hypothesis when no solution can be found, since none can provide a proof that there is no admissible structure. This article presents an algorithm that introduces a novel type of solution method to “efficiently” solve the graph 3-coloring problem; an NP-complete problem. The proposed method provides certificates (proofs) in both cases: present or absent, so it is possible to accept or reject the hypothesis on the basis of a rigorous proof. It provides exact solutions and is polynomial-time (i.e., efficient) however parametric. The only requirement is sufficient computational power, which is controlled by the parameter . Nevertheless, here it is proved that the probability of requiring a value of to obtain a solution for a random graph decreases exponentially: , making tractable almost all problem instances. Thorough experimental analyses were performed. The algorithm was tested on random graphs, planar graphs and 4-regular planar graphs. The obtained experimental results are in accordance with the theoretical expected results.     

Robust filtering for stochastic genetic regulatory networks with time-varying delay

This paper addresses the robust filtering problem for a class of linear genetic regulatory networks (GRNs) with stochastic disturbances, parameter uncertainties and time delays. The parameter uncertainties are assumed to reside in a polytopic region, the stochastic disturbance is state-dependent described by a scalar Brownian motion, and the time-varying delays enter into both the translation process and the feedback regulation process. We aim to estimate the true concentrations of mRNA and protein by designing a linear filter such that, for all admissible time delays, stochastic disturbances as well as polytopic uncertainties, the augmented state estimation dynamics is exponentially mean square stable with an expected decay rate. A delay-dependent linear matrix inequality (LMI) approach is first developed to derive sufficient conditions that guarantee the exponential stability of the augmented dynamics, and then the filter gains are parameterized in terms of the solution to a set of LMIs. Note that LMIs can be easily solved by using standard software packages. A simulation example is exploited in order to illustrate the effectiveness of the proposed design procedures.     

Physical invariant strain energy function for passive myocardium

Principal axis formulations are regularly used in isotropic elasticity, but they are not often used in dealing with anisotropic problems. In this paper, based on a principal axis technique, we develop a physical invariant orthotropic constitutive equation for incompressible solids, where it contains only a one variable (general) function. The corresponding strain energy function depends on six invariants that have immediate physical interpretation. These invariants are useful in facilitating an experiment to obtain a specific constitutive equation for a particular type of materials. The explicit appearance of the classical ground-state constants in the constitutive equation simplifies the calculation for their admissible values. A specific constitutive model is proposed for passive myocardium, and the model fits reasonably well with existing simple shear and biaxial experimental data. It is also able to predict a set of data from a simple shear experiment.     

Invited review: pulmonary capillary stress failure.

The pulmonary blood-gas barrier is an extraordinary bioengineering structure because of its vast area but extreme thinness. Despite this, almost no attention has been given to its mechanical properties. The remarkable area and thinness come about because gas exchange occurs by passive diffusion. However, the barrier also needs to be immensely strong to withstand the very high stresses in the capillary wall when capillary pressure rises during exercise. The strength of the thin region of the barrier comes from type IV collagen in the basement membranes. When the stresses in the capillary walls rise to high levels, ultrastructural changes occur in the barrier, a condition known as stress failure. Physiological conditions that alter the properties of the barrier include severe exercise in elite human athletes. Animals that have been selectively bred for high aerobic activity, such as Thoroughbred racehorses, consistently break their pulmonary capillaries during galloping. Pathophysiological conditions causing stress failure include high-altitude pulmonary edema and overinflation of the lung, which frequently occurs with mechanical ventilation. Remodeling of the capillary wall occurs in response to increased wall stress in diseases such as mitral stenosis. The barrier is able to maintain its extreme thickness with sufficient strength as a result of continual regulation of its wall structure. How it does this is a central problem in lung biology.     

Physical mechanism of spatial organization in epithelial morphogenesis

The morphogenetic movements of embryonic epithelia are preceded by their marking into motor active and passive zones. It is carried out as a result of spontaneous splitting of the epithelial layer to domains of morphologically polarized (motor active) and isotropic cells. Processes of the cellular level are dependent on the global supracellular organization. The mechanism of selforganization of macroscopic supracellular order in the course of cell polarization is analysed. A number of more elementary properties of the embryonic material inferred from the experiments proves to be sufficient for the initiation of such mechanism.