姿态角计算方法

<正> 本文提出解决问题(dx(t))/(dt)=f(t,x(t),u(t)),x(t_0)=x_0,(1)g(t,x(t),u(t))=0 (2)的一套实用的数值计算方法,其中 t∈[t_0,t_f],t_f 可以是固定的,也可以是不固定的,x(t)=(x_1(t),x_2(t),…,x_n(t))~T∈R~n 是状态向量,u(t)=(u_1(t),u_2(t),u_3(t))~T=((?)_1(t),(?)(t),γ(t))~T∈R~3是火箭的姿态角,f=(f_1,f_2,…,f_n)~T 是 n 维向量值函数,g=(g_1,g_2,g_3)~T 是三维向量值函数.这套方法包括简单迭代法,简化牛顿法及简化梯度法,并给出判断简单迭代法收敛性的一个充分条件的准则.这个准则在具体条件下既简单又实用.     

寻找最优控制的具有约束算子的梯度算法

§1.具有约束算子的梯度算法 考虑连续的受控系统,其运动轨道及控制满足常微分方程组 x=f(x,u,t),x(t_0)=x_0, (1.1)其中x=(x_1,x_2,…,x_n)~T?E~n是系统的状态变量,u=(u_1,u_2,…,u_r)~T?E~r是系统的控制变量;f(·,·,·)=(f_1(·,·,·),…,f_n(·,·,·))~T是由E~n×E~r×E~1到E~n中的向量值函数;t_0是运动的起始时刻;x_0是运动的初始状态;t_f是运动的终结时刻.为简单起见,下面假定t_0,x_0,t_f均已给定。 我们把定义在区间[t_0,t_f]上的每一个在E~r中取值的分段连续函数u(t)=(u_1(t),u_2(t),…,u_r(t))~T称作系统(1.1)的一个控制。所有这样的控制的集合记作H,给定系     

离散系统的渐近稳定性

先讨论吋变离散系统 (1) x(τ+1)=f(τ,x(τ),τ=t_0+k,k=0,1,2,…,t_0≥0。其中f:[0,∞)×D→R~n,D是R~n中包含原点的开集,f(τ,0)≡0。对每个t_0≥0和每个x_0∈D,保证(1)有唯一的解x(τ)=x(τ,t_0,x_0),具有x(t_0,t_0,x_0)=x_0。对于连续的时变系统来说,只有Liapunov函数V(t,x)正定和它关于系统的导数V(t,x)负定性是不能保证零解的渐近稳定性的,通常附加V具有无穷小上界,或限定方程右端函数F(t,x)对有界的|x|有界,或限定V(t,x)→∞,当t→∞,x≠0时才能推出零解的渐近     

关于 Liénard 方程至多存在 n 个极限环的一个充分条件

<正> 本文给出交变阻尼的 Liénard 方程(?)+f(x)(?)+x=0或其等价方程组(dx)/(dt)=v,(dv)/(dt)=-x-f(x)v(dx)/(dt)=v,(dv)/(dt)=-x-f(x)v (1)至多有 n 个极限环的充分条件,附带改进了文[1]的工作.全文均设 f(x)∈C~0,并记 F(x)=integral from 0 to x f(x)dx.原方程组的等价方程组     

Vincent定理的多元推广

Vincent定理指出:若f(x)为d次实系数多项式,(a_1,b_1)为开区间,则多项式f(x)在(a_1,b_1)上没有实根当且仅当存在正常数δ,使得对任意区间(a,b)(a_1,b_1),当|a-b|δ时,多项式(1+x)~df((a+bx)/(1+x))的系数不变号(都是正数或都是负数).文章的主要工作是推广这一结果到一般的多变元代数系统.设实系数多项式f∈R[x_1,x_2,…,x_n],f相对于变元x_i的次数记为d_i.记区间的笛卡尔积为I=[a_1,b_1]×[a_2,b_2]×…×[a_n,b_n](也称为Box).记φ(I)=max{b_i-a_i,i=1,2,…,n}.定义f_I=(1+x_1)~(d_1)(1+x_2)~(d_2)…(1+x_n)~(d_n)f((a_1+b_1x_1)/(1+x_1),(a_2+b_2x_2)/(1+x_2),…,(a_n+b_nx_n)).称f_I为f相对于Box I的伴随多项式.证明了:若多项式f_1,f_2,…,f_m∈R[x_1,x_2,…,x_n],且BoxΛR~n,则方程组{f_1=0,f_2=0,…,f_m=0}在BoxΛ上没有零点,当且仅当存在正常数δ(与BoxΛ有关),使得对于任意Box IA,当φ(I)δ时,伴随多项式f_(1I),f_(2I),…,f_(mI)中至少一个f_(iI)的非零系数全是正(或负)数且f_i在Box I的所有顶点上的值不为0.     

一类五对角线性方程组的快速近似追赶法

假定所要求解的方程组为: Ax=f此处A为n阶五对角实对称矩阵,每条对角线上的元素为一常数,具体形式是f为已知向量,X为未知向量,即 x=(x_1,x_2,…,X_n)~T f=(f_1,f_2,…,f_n)~T.若按追赶法求解方程组(1),首先将A分解为一个下三角矩阵L和一个上三角矩阵U之积,逐个地计算L和U的元素;然后再使用追赶公式求出方程组(1)之解,但计算L     

常微分方程解的普遍唯一性定理和整体存在性定理

§1.引言考虑常微分方程组 dx/dt=f(t,x),(E)其中x=(x~1,…,x~n)表示n维向量,f=(f~1,…,f~n)表示n维实的向量函数。 Kamke在1930年的专著中得到如下的一个普遍唯一性定理: 设ω(t,r)是定义在0相似文献   

惩罚函数法

引言非线性规划问题大致可分为两类:一类是无约束最优化问题:极小化f(x),x=(x_1,…,x_n)~T∈E~n;(0.1)另一类是约束最优化问题:极小化f(x),x=(x_1,…,x_n)~T∈E~n;约束g_j(x)≤0,j=1,…,m;(0.2)h_k(x)=0,k=1,…,l。     

抽象函数证明中的巧妙“设”法

<正>例1已知函数y=f(x)的定义域为R,且对任意a,b∈R,都有f(a+b)=f(a)+f(b),且当x>0时,f(x)<0恒成立.(1)证明函数y=f(x)是R上的单调性;(2)讨论函数y=f(x)的奇偶性.思路一设元、凑已知.证明任取x_10)(设法为凑形),而f(a+b)=f(a)+f(b),∴f(x_2)-f(x_1)=f(x_1+t)-f(x_1)=f(x_1)+f(t)-f(x_1)=f(t).     

非线性微分系统解的有界性和周期解的存在性

本文运用了比较新的手法,证明了非线性微分系统(dx)/(dt)=1/(a(x))[c(y)-b(x)];(dy)/(dt)=-a(x)[h(x)-e(t)](1)(其中a(x),b(x),h(x),c(y),e(t)为连续可微函数,x,y∈R,t∈[0,+∞),且a(x)>0)解的有界性及周期解的存在性,并应用该结论讨论了强迫振动方程:x+(f(x)+g(x)x)x+h(x)=e(t)(2)(其中f(x),g(x)为连续可微函数,x∈R,h(x),e(t)同上)解的有界性及周期解的存在性.     

一类广义样条插值

设△:0=x_0相似文献   

带约束的最小平方和

<正> §1.引言设 x=(x_1,…,x_n)~T,f(x)=(f_1(x),…,f_m(x))~T,g(x)=(g_1(x),…,g_l(x))~T,其中 f_i(x)(i=1,…,m)与 g_j(x)(j=1,…,l)可以是非线性函数.令     

光滑轨道的最小周期(周期)

本文考虑动力系统 (dx)/(dt)=f(x),x∈E~n,得出其周期轨道x(t)的最小周期T>0满足: TC≥2π,其中,而且2π是最好的常数。     

THE PERTURBATION OF ALMOST PERIODIC SOLUTION OF ALMOST PERIODIC SYSTEM

By using the exponential dichotomy and the averaging method,a perturbation theoryis established for the almost periodic solutions of an almost differential system.Suppose that the almost periodic differential system(dx)/(dt)=f(x,t) ε~2g(x,t,ε)(1)has an almost periodic solution x=x_0(t,M)for ε=0,where M=(m_1,…,m_k)is theparameter vector.The author discusses the conditions under which(1)has an almostperiodic solution x=x(t,ε)such that x(t,ε)=x_0(t,M)holds uniformly.The results obtained are quite complete.     

非线性FREDHOLM积分方程组的求解方法

在文[1]中,我们研究了含参数 λ 的如下形式的非线性 Fredholm 积分方程组(?)(x;λ)=f(x)+λ(?)Φ(x,y,(?)(y;λ))dy (1)的求解问题,这里 λ 适当地小,(?)(x;λ)=((?)_1,…,(?)_i)~T 是未知的 l 维向量,f(x)=(f_1)…,f_(?))~T是已知的 l 维向量,Φ=(Φ_1,…,Φ_l)~T,每个分量Φ_j(x,y,(?)_1,…,(?)_l)(j=(?)     

方程 dx/dt=f(x(t-1))具有周期量的4/3周期解的条件

本文证明了滞后型泛函微分方程(dx)/(dt)=f(x(t-1)) (E)存在4/3-周期解的两个定理.一个主要结果如下:假如f(x)是[a-1,a+1]上连续函数,且满足:(i)-f(x)=f(y),y=2a-x,(?)x∈[a-1,a]:(ii):f(x)=f(y),y=2a+1-x,(?)x∈[a,a+1]:(iii)f(x)>0,(?)x∈(a,a+1)和(?).则方程(E)存在4/3-周期解x(t),且x(-1+k4/3)=a+1,x(-2/3+k(4/3))=a,x(-1/3+k(4/3))=a-1,x(k(4/3))=a,k=0,1,2,….     

n阶非线性泛函微分方程的渐近性和非振动性

§1.引言本文讨论n阶非线性泛函微分方程 L_nx(t)+P(t)L_(n-1)x(t)+f(t,x(t),x(g(t)))=h(t) (1)解的渐近性和非振动性,其中L_0x(t)=x(t),L_kx(t)=a_k(t)(L_(k-1)x(t))′,k=1,2,…u,a,p,h,g∈C~0E[t_0,∞),且a_k(t)>0,k=1,2,…n-1,a_n(t)=1;t_0≤g(t)≤t,当t→∞时,g(t)→∞;f∈C~0([t_0,∞)×R_2,R)。我们给出了方程(1)的所有振动解和有界解具有渐近性态:L_kx(f)→0,k=0,1,2,…n-1,的若干充分性准则,并给出了它不存在有界振动解的几个保证性条件。所得定理和推论都分别推广了文[1]-[4]的相应结果。     

方程 dx/dt=f(x(t-1))具有周期量的4/3周期解的条件

本文证明了滞后型泛函微分方程(dx)/(dt)=f(x(t-1)) (E)存在4/3-周期解的两个定理.一个主要结果如下:假如f(x)是[a-1,a+1]上连续函数,且满足:(i)-f(x)=f(y),y=2a-x,(?)x∈[a-1,a]:(ii):f(x)=f(y),y=2a+1-x,(?)x∈[a,a+1]:(iii)f(x)>0,(?)x∈(a,a+1)和(?).则方程(E)存在4/3-周期解x(t),且x(-1+k4/3)=a+1,x(-2/3+k(4/3))=a,x(-1/3+k(4/3))=a-1,x(k(4/3))=a,k=0,1,2,….     

一阶中立型泛函微分方程解的振动性和渐近性

本文讨论下列方程:的振动性、渐近性和非振动解的存在性。引理1 考虑方程(2),其中P(t),Q(t)是[t_0,+∞)上的非负连续函数,τ,σ为正常数且存在k_1>0使Q(t)≥k_1,0≤P(t)≤1。当t≥t_0时,若x(t)是(2)的最终正解,z(t)=x(t)-P(t)x(t+τ),则lim z(t)=+∞。     

关于M序列反馈函数的构造方法

n级非奇异移位寄存器的反馈函数f(x_1,x_2,…,x_n), f(x_1,x_2,…,x_n)=x_1( )f_0(x_2,…,x_n)的重量ω(f),是指n-1个变元的布尔函数f_0(x_2,…,x_n)的重量ω(f_0),即f_0(x_2,…,x_n)取值为1的点的个数。设f(x_1,x_2,…,x_n)是n级M序列的反馈函数,我们知道,当n>2时,有