期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
GLOBAL PHASE-PORTRAITS OF PLANEHOMOGENEOUS POIYNOMIAL VECTOR FIELDSAND STABILITY OF THE ORIGIN 被引量:1
1
作者 YANG Xiaojing (Department of Applied Mathematics, Tsinghua University, Beijing 100084, China) 《Systems Science and Mathematical Sciences》 SCIE EI CSCD 1997年第1期33-40,共8页
In this paper, the phase-portraits of plane homogeneous polynomial vector fields are studied and some formulae for the calculation of the number of different global phase-portraits of plane homogeneous polynomial vect... In this paper, the phase-portraits of plane homogeneous polynomial vector fields are studied and some formulae for the calculation of the number of different global phase-portraits of plane homogeneous polynomial vector fields are given. Some necessary and sufficient conditions for the global stability of these vector fields are derived. 展开更多
关键词 Plane HOMOGENEOUS POLYNOMIAL vector fields phase-portraits STABILITY
原文传递
混合自动机的多项式phase-portrait近似 被引量:1
2
作者 刘保罗 裴海龙 +1 位作者 李坚强 张胜祥 《计算机科学》 CSCD 北大核心 2008年第5期180-183,共4页
抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述了如何自动构造多项式phase-portrait近似自动机及... 抽象近似是验证混合系统安全性的主要方法,模型转换是构造一个可判定的(或半判定的)混合自动机来近似原混合自动机。本文将线性phase-portrait近似推广到多项式phase-portrait近似,叙述了如何自动构造多项式phase-portrait近似自动机及如何精化近似模型。 展开更多
关键词 混合自动机 弱时间模拟 phase-portrait近似
下载PDF
定性推理在矩形phase-portrait近似中的应用
3
作者 刘保罗 裴海龙 李坚强 《计算机科学》 CSCD 北大核心 2008年第9期203-205,共3页
抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状... 抽象近似是验证混合系统安全性的主要方法,矩形phase-portrait近似是通过构造简单的线性混合自动机来近似原混合自动机。phase-portrait近似的关键步骤是如何划分状态空间。本文采用定性推理的方法,叙述了如何根据系统动态特征来划分状态空间及如何精化抽象模型。 展开更多
关键词 混合自动机 phase-portrait近似 李导数
下载PDF
基于定性推理的矩形phase-portrait近似
4
作者 刘保罗 裴海龙 《控制理论与应用》 EI CAS CSCD 北大核心 2010年第3期317-322,共6页
矩形phase-portrait近似的关键是控制模态的有效划分.本文提出了基于定性推理的phase-portrait近似,给出了一种基于向量场、感兴趣多项式及其李导数动态特性的模态空间划分方法,并进一步给出了基于精化多项式的抽象模型精化方法.实验结... 矩形phase-portrait近似的关键是控制模态的有效划分.本文提出了基于定性推理的phase-portrait近似,给出了一种基于向量场、感兴趣多项式及其李导数动态特性的模态空间划分方法,并进一步给出了基于精化多项式的抽象模型精化方法.实验结果表明,基于定性推理划分的phase-portrait近似验证明显地减少了模态空间的划分数目,提高了验证的效率. 展开更多
关键词 混合自动机 时间模拟 phase-portrait近似
下载PDF
QUALITATIVE STUDY FOR A CUBIC SYSTEM 被引量:2
5
作者 Ali.Elamin M.Saeed 《Annals of Differential Equations》 2004年第4期331-336,共6页
This article analyses a non-Lienard type planar cubic system, and a complete qualitative analysis is given for the system, especially the conclusions for the non-existence, existence and uniqueness of limit cycles are... This article analyses a non-Lienard type planar cubic system, and a complete qualitative analysis is given for the system, especially the conclusions for the non-existence, existence and uniqueness of limit cycles are obtained. 展开更多
关键词 phase-portraits limit cycles BIFURCATION
原文传递
Global Analyses of a Class of Cubic Systems 被引量:3
6
作者 Li Jinming Cai Suilin (Department of Applied Mathematics,Zhejiang University,Hangzhou 310027,China) 《Acta Mathematica Sinica,English Series》 SCIE CSCD 1997年第2期207-220,共14页
In this paper,we use the canonical forms of homogeneous polynomials of degree 3 to study the global properties of cubic systems =x+P<sub>3</sub>(x,y),=y+Q<sub>3</sub>(x,y)(0.1) where P<... In this paper,we use the canonical forms of homogeneous polynomials of degree 3 to study the global properties of cubic systems =x+P<sub>3</sub>(x,y),=y+Q<sub>3</sub>(x,y)(0.1) where P<sub>3</sub> and Q<sub>3</sub> are homogeneous polynomials of degree 3 in x,y.Through this work,we draw an overall outline of such systems. 展开更多
关键词 phase-portrait Limit cycle Cubic systems
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部