外P-信息融合和它的属性合取特征

P-集合(packet sets)是由内P-集合X~F(internal packet set X~F)与外P-集合X~F(outer packet set X~F)构成的集合对;或者,(X~F,X~F)是P-集合.利用外P-集合,给出外P-信息融合生成,外P-信息融合补充生成与外P-信息融合度量概念;给出外P-信息融合生成定理,外P-信息融合依赖定理;给出外P-信息融合还原定理;给出外P-信息融合的属性合取定理与属性合取压缩定理;给出属性合取压缩外P-信息融合发现原理.     

内P-反动态信息特征与信息恢复

P-集合(packet sets)是一个动态模型,P-集合是由内P-集合x~F(internal packet set X~F)与外P-集合XF(~Fouter packet set X~F)构成的元素集合对;或者(X~F,X~F)是P-集合.利用内P-集合的结构,给出内P-信息,内P-反动态信息,信息的内P-反动态恢复概念,给出内P-反动态信息的属性合取收缩生成,给出内P-反动态信息与内P-信息同属性定理,给出内P-反动态信息存在与属性合取范式定理,给出信息的内P-反动态恢复属性定理.这些基本理论结果是把内P-集合与一类信息系统故障状态识别交叉,渗透研究得到的.     

外P-反动态信息特征与信息恢复北大核心

利用P-集合的结构与动态特性,给出外P-信息,外P-反动态信息,外P-反动态信息生成与外P-反动态信息恢复概念;外P-反动态信息是.P-集合的新特征.利用这些新概念,给出一些新的理论结果:外P-反动态信息属性定理,外P-反动态信息属性合取定理,外P-反动态信息恢复定理与外P-反动态信息单位圆定理.     

外P-反动态信息特征与信息恢复

利用P-集合的结构与动态特性,给出外P-信息,外P-反动态信息,外P-反动态信息生成与外P-反动态信息恢复概念;外P-反动态信息是.P-集合的新特征.利用这些新概念,给出一些新的理论结果:外P-反动态信息属性定理,外P-反动态信息属性合取定理,外P-反动态信息恢复定理与外P-反动态信息单位圆定理.     

内P-显性信息规律显性-隐性特征与显性信息规律发现

函数P-集合(function packet sets)是把函数概念引入到P-集合内(packet sets),改进P-集合得到的,函数P-集合具有动态特性,规律(函数)特性。函数P-集合是由函数内P-集合SF(function internal packet set SF)与函数外P-集合SF(function outer packet set SF)构成的函数集合对;或者,(SF,SF)是函数P-集合.利用函数内P-集合与生物遗传学中的"显性","隐性"概念交叉,渗透,给出内P-显性信息规律的显性-隐性特征,给出内P-显性信息规律的显性-隐性定理,给出内P-显性信息规律发现准则;利用这些结果,给出内P-显性信息规律发现的应用.     

P-集合与双信息规律生成

P-集合(pacdet sets)是由内P-集合X~F(internal packet set X~F)与外P-集合X~F(outer packet set X~F)构成的集合对.P-集合是把动态特性引入到普通集合中,利用普通集合(cantor set)被提出的.在一定的条件下,P-集合能够回到普通集合的原点.利用P-集合,给出双信息规律生成概念,给出双信息规律依赖的属性特征,提出双信息规律生成定理,辨识定理,给出应用.P-集合是研究动态信息系统的一个新的数学理论与数学方法.     

层次P-集合的属性规律发现

P-集合是把动态特性引入到有限普通集合X内,改进有限普通集合X得到的.层次P-集合是对普通P-集合的扩展,具有层次结构和链式结构.利用层次P-集合的性质,研究层次P-集合属性元素与规律,给出层次结构间属性元素的关系及度量,给出链式结构中属性元素的关系及度量,给出属性规律.     

函数内P-集合的副集及其区间生成规律

基于函数P-集合(S~F,S~F)的动态性、规律性,提出函数内P-集合的副集,给出函数内P-集合副集的区间生成结构、区间生成规律,给出内P-规律ω~F的区间拆分规律及其拆分度量,解决了函数内P-集合S~F状态规律受游弋于S~F边缘的元素(函数内P-集合的副集中的函数)的干扰,而呈现出来的动态规律(区间拆分规律)以及动态变化程度(拆分度量)的刻画等问题.最后以实例分析函数内P-集合副集及其区间生成规律在风险投资中的应用.     

内P-推理与系统故障判断恢复

P-集合(packet set)是由内P-集合XF(internal packet set)与外P-集合XF(outer packet set)构成的集合对(XF,XF),利用P-集合得到P-推理(packet reasoning),P-推理是由内P-推理(internal packet reasoning)与外P-推理(outer packet reasoning)共同构成的.P-推理是一个动态推理,具有智能特征;把内P-推理应用于系统故障判断-恢复中,给出了内P-故障信息判定定理、最小粒度定理、粒度链定理、属性补充-信息删除定理、系统故障元判定定理,内P-推理信息辨识定理及推论,同时给出了系统故障内P-推理算法与它的N-S图,最后给出应用实例.     

P-可测空间及其可测函数

经典集合理论认为集合就是具有一定属性的对象所构成的整体,当一个普通集合的属性发生改变时,由此生成的新的集合称为P-集合.在测度空间上研究P-集合时所生成的新的空间称为P-测度空间.由于任何测度空间均可转化为概率空间,首先利用随机数的产生研究了随机P-集合的产生.然后借助P-可测空间提出了内P-可测映射、内P-可测函数和外P-可测映射、外P-可测函数及P-可测,给出了其有关性质.     

知识规律与规律的属性扰动

By employing the knowledge(R-element equivalence class)in one direction Srough sets and dual of one direction S-rough sets,the concept of knowledge law is given;the generation theorem of knowledge law,the excursion theorem of knowledge law,and the attribute disturbance discernible theorem of knowledge law are proposed.Knowledge law is a new characteristic of S-rough sets.     

函数S-粗集与规律双向分离

函数S-粗集(function singular rough sets)是用R-函数等价类定义的,函数是一个规律,函数S-粗集具有规律特征.函数S-粗集推广了Z.Pawlak粗集.利用函数S-粗集,给出规律生成,规律分离的讨论,提出规律分离定理.给出的结果在投资分险规律估计中得到了应用.     

A new conservation theorem

A general theorem on conservation laws for arbitrary differential equations is proved. The theorem is valid also for any system of differential equations where the number of equations is equal to the number of dependent variables. The new theorem does not require existence of a Lagrangian and is based on a concept of an adjoint equation for non-linear equations suggested recently by the author. It is proved that the adjoint equation inherits all symmetries of the original equation. Accordingly, one can associate a conservation law with any group of Lie, Lie-Bäcklund or non-local symmetries and find conservation laws for differential equations without classical Lagrangians.     

Optimal disturbance rejection control for nonlinear impulsive dynamical systems

In this paper, we develop an optimality-based framework for addressing the problem of nonlinear–nonquadratic hybrid control for disturbance rejection of nonlinear impulsive dynamical systems with bounded exogenous disturbances. Specifically, we transform a given nonlinear–nonquadratic hybrid performance criterion to account for system disturbances. As a consequence, the disturbance rejection problem is translated into an optimal hybrid control problem. Furthermore, the resulting optimal hybrid control law is shown to render the closed-loop nonlinear input–output map dissipative with respect to general supply rates. In addition, the Lyapunov function guaranteeing closed-loop stability is shown to be a solution to a steady-state hybrid Hamilton–Jacobi–Isaacs equation and thus guaranteeing optimality.     

Output tracking for an Euler–Bernoulli beam equation with moment boundary control and shear boundary disturbance

This paper is concerned with performance output tracking for an Euler–Bernoulli beam equation with moment boundary control and shear boundary disturbance. An infinite-dimensional disturbance estimator is designed to estimate the total disturbance. By compensating the total disturbance, a servomechanism corresponding to the reference signal and servomechanism-based output feedback control law are designed. It is proved that under such control law, the performance output tracks exponentially the reference signal and the involved states of closed-loop system are bounded. The most important contribution is to deal with the shear boundary term stemmed from the error system between the disturbance estimator and the original system. The admissibility does not hold for such shear boundary term, while the corresponding boundary terms in the existing literature was proved to be admissible. Two key steps are presented to cope with such problem: First, the semigroup generation and exponential stability for a coupled beam system are verified by Riesz basis approach; second, the admissibility of a control operator for semigroup governed by such coupled beam system is proved. Moreover, Sobolev embedding theorem is introduced to simplify the proof of the boundedness of the closed-loop systems with respect to the available literature. Some numerical simulations are presented to illustrate the effectiveness.     

Sliding mode synchronization controller design with neural network for uncertain chaotic systems

A sliding mode synchronization controller is presented with RBF neural network for two chaotic systems in this paper. The compound disturbance of the synchronization error system consists of nonlinear uncertainties and exterior disturbances of chaotic systems. Based on RBF neural networks, a compound disturbance observer is proposed and the update law of parameters is given to monitor the compound disturbance. The synchronization controller is given based on the output of the compound disturbance observer. The designed controller can make the synchronization error convergent to zero and overcome the disruption of the uncertainty and the exterior disturbance of the system. Finally, an example is given to demonstrate the availability of the proposed synchronization control method.     

内-遗传信息与它的内P-推理发现特征

P-集合(Packet sets)是由内P-集合X~F(internal packet setsX~F)与外P-集合X~F(outer packet setsX~F)构成的集合对;或者,(X~F,X~F)是P-集合.给定有限普通集合X={x_1,x_2,…,x_q},α={α_1,α_2,…,α_k}是X的属性集合;若在α内补充属性,则X变成内P-集合X~F={x_1,x_2,…,x_p},X内元素x_1,x_2,…,x_p被内-遗传到X~F内,P≤q,P,q∈N~+.内-遗传是P-集合的重要应用特征之一.利用内P-集合,给出内-遗传信息概念,内-遗传信息的遗传特征;利用内P-推理,给出内-遗传信息的内P-推理辨识与未知内-遗传信息的内P-推理发现.     

Slice theorem and orbit type stratification in infinite dimensions

We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which the assumptions of this theorem are fulfilled. First, using Glöckner's inverse function theorem, we show that the linear action of a compact Lie group on a Fréchet space admits a slice. Second, using the Nash–Moser theorem, we establish a slice theorem for the tame action of a tame Fréchet Lie group on a tame Fréchet manifold. For this purpose, we develop the concept of a graded Riemannian metric, which allows the construction of a path-length metric compatible with the manifold topology and of a local addition. Finally, generalizing a classical result in finite dimensions, we prove that the existence of a slice implies that the decomposition of the manifold into orbit types of the group action is a stratification.