A semi-algebraic approach for asymptotic stability analysis

This paper deals with the problem of computing Lyapunov functions for asymptotic stability analysis of autonomous polynomial systems of differential equations. We propose a new semi-algebraic approach by making advantage of the local property of the Lyapunov function as well as its derivative. This is done by first constructing a semi-algebraic system and then solving this semi-algebraic system in an adaptive way. Experiment results show that our semi-algebraic approach is more efficient in practice, especially for low-order systems.     

自治差分方程的稳定性

本文首先给出了文献[2]中关于一次近似系统不稳定性定理的一个反例,然后给出了关于自治差分方程利用其一次近似系统的不稳定性来判别原系统不稳定性的判别定理。     

A mathematical model of the systemic circulatory system with logistically defined nervous system regulatory mechanisms

A mathematical model is developed that accurately describes the pressure, volume and flow dynamics of the systemic circulatory system over the full physiological range of human pressures and volumes. At the heart of this model are mathematical representations for the autonomic and central nervous system reflexes which maintain arterial pressure, cardiac output and cerebral blood flow. These representations involve functions in which a maximum effect and a minimum effect are smoothly connected by a logistic transition. A new approach to modelling the pressure – volume relationship in a vessel with smooth muscle contraction is also presented. To test the model, simulations of cardiac arrest and various haemorrhagic situations were conducted, and predicted results were compared with clinical observations. Near-perfect agreement was obtained between predicted and observed values of the mean circulatory filling pressure, cardiac output and arterial pressure decay in the face of significant haemorrhage, and the critical values delineating progressive from non-progressive hypovolaemic shock.     

Traveling waves to a Burgers-Korteweg-de Vries-type equation with higher-order nonlinearities

In this paper, first we survey some recent advances in the study of traveling wave solutions to the Burgers-Korteweg-de Vries equation and some comments are given. Then, we study a Burgers-Korteweg-de Vries-type equation with higher-order nonlinearities. A qualitative analysis to a two-dimensional autonomous system which is equivalent to the Burgers-KdV-type equation is presented, and indicates that under certain conditions, the Burgers-Korteweg-de Vries-type equation has neither nontrivial bell-profile solitary waves, nor periodic waves. Finally, a solitary wave solution is obtained by means of the first-integral method which is based on the ring theory of commutative algebra.     

Necessary conditions and non-existence results for autonomous nonconvex variational problems

Classical one-dimensional, autonomous Lagrange problems are considered. In absence of any smoothness, convexity or coercivity condition on the energy density, we prove a DuBois-Reymond type necessary condition, expressed as a differential inclusion involving the subdifferential of convex analysis. As a consequence, a non-existence result is obtained.     

Autonomous system for data collection: Location and mapping issues in post-disaster environment

Disaster relief requires many resources. Depending on the circumstances of each event, it is important to rapidly choose the suitable means to respond to the emergency intervention. A brief review of the conditions and means demonstrated the usefulness of an autonomous stand-alone machine for these missions. If many techniques and technologies exist, their relevant combination to achieve such a system presents several challenges. This communication tries to outline the possible achievement of an autonomous vehicle under these particular circumstances. This paper focuses on the specific working conditions and welcomes future contributions from robotics and artificial intelligence.In the necessarily limited scope of this article, the authors focus on a particularly critical aspect: location. Indeed, this machine is intended to evolve in heterogeneous and dangerous environment and without any outside contacts that could last up to several days. This blackout, due to the propagation difficulties of electromagnetic waves in the ground, induces an independence of the localisation process and makes the use of any radio navigation support system (GNSS), most of the time, impossible. The knowledge of the position of the system, both for navigation of the autonomous system (Rover) and location of targets (victims buried under debris) must be able to be estimated without contributions from external systems. Inertial classical techniques, odometer, etc., have to be adapted to these conditions during a long period without external support. These techniques also have to take into account that energy optimisation requests the use of low-power processors. Consequently, only poor computing capacity is available on-board.The article starts with a presentation of the context of a post-disaster situation as well as the main missions of Search and Rescue (SaR). It is followed by the analysis of autonomous navigation located in a post-earthquake situation. We will then discuss means to determine the attitude of the autonomous system and its position. The interest of hybridisation with external systems – whenever possible –, will be evaluated with a view to correcting deviations suffered by the system during its mission. Finally, prospects and future work are presented.     

桂西北旅游扶贫开发研究——以巴马瑶族自治县旅游扶贫为例

以巴马瑶族自治县为代表的桂西北是广西境内裸露石山面积分布最广、最集中的区域,生存条件差,气候恶劣,也是广西最为贫穷落后的地区.但这样的地貌特征,蕴藏着丰富自然风光和纯朴的民俗风情,具有巨大的旅游开发潜力.因此,将恶劣的生存环境转变为旅游开发的优势,在生态环境保护的基础上,大力开发本土民俗文化旅游资源,加强自然生态景区的管理和建设,以旅游扶贫的方式带动地方经济的发展,对贫困地区脱贫致富有着重要的意义.     

甘南藏族自治州畜牧业产业化发展构想

甘南藏族自治州天然饲草丰富,畜种繁杂,特色突出。在分析畜牧业现状和机遇的基础上,提出了甘南州畜牧资源产业化开发体系构想和产业化经营的对策建议。     

内蒙古民族人口发展模型

对内蒙古的蒙古族、汉族以及达斡尔族、鄂温克族和鄂伦春族人口发展模型、发展特点和蒙古族、汉族人口未来发展预测模型进行了研究和探讨。     

基于卫星通讯的巡检机器人车载控制研究

基于卫星通讯的巡检机器人可对巡检区域进行自动的、智能的有害气体监控、温度监控、火灾监控、科学实验等工作,也可用于工厂的自动化监控,实现无人智能巡逻.该类机器人通过卫星无线通讯并具有丰富的输入输出接口、安全过滤功能、指令的多通道模式、自主的指令生成功能、运行数据的记录与上报、合理调度车载资源、紧急事件的实时响应和处理等自主控制功能及底层驱动.