用单叶双曲螺旋管实现两个轴异面管道的光滑拼接

讨论了用单叶双曲螺旋管实现两轴异面圆管道之间光滑拼接的问题,给出了光滑拼接所满足的条件:两轴异面管道的轴线与单叶双曲螺旋管的轴线在拼接点处满足位置连续: *,斜率连续： * 及管道半径相同，同时得到了拼接曲面单叶双曲螺旋管的参数方程形式。并举出具体实例,以 Maple 数学软件为工具,给出拼接效果图。本研究对工业产品的外形设计具有重要的理论意义和实际的应用价值。（注：*处代表公式）
     

几种收敛速率较高的迭代求解程序

为求解方程f(x)=0,我们提出了下列二种迭代程序:x_n~(1)=ω(x_(n-1)~((m-1)),x_(n-1)~(m),x_(n-1)~(m)),x_n~(2)=ω(x_(n-1)~((m-1)),x_(n-1)~(m),x_m~(1)),x_n~(3)=ω(x_(n-1)~((m-1)),x_(n-1)~(m),x_n~(2),x_n~(m)=ω(x_(n-1)~((m-1)),x_(n-1)~(m),x_n~((m-1))),(?)n∈N_0和z_(n 1)=ω(x_n,y_n,x_n),y_(n 1)=ω(x_n,z_(n 1),z_(n 1)),x_(n 1)=ω(x_n,z_(n 1),y_(n 1)),其中ω(x,y,z)=z-f(z)/f(x,y),f(x,y)=f(x)-f(y)/(x-y),它们的收敛阶分别为m (m~2 4)~(1/2)/2和2 3~(1/2)。本文分别建立了程序(I_m)和程序(Ⅱ)的收敛性定理,并就两个定理作了六点注记。文中还给出了一个数值例子     

二次曲线的奇点及过奇点的切线

在平面上,任给二次曲线Γ:F(x,y)≡a_(11)x~2+2a_(12)xy+a_(22)y~2+2a_(12)x+2a_(23)y+a_(33)=0 (1)和一点 M_0(x_0,y_0),则过 M_0的直线 l 的方程可写为x=x_0+Xt,y=y_0+Yt.X:Y 是 l 的方向,-∞相似文献   

基于数据列变换的自回归预测方法的改善

证明了利用反双曲正弦函数变换能提高数据列的光滑程度,获得结论:设｛x_(k)｝为递增数据列,x_(1)>0,y(k)=ln(x_(k) (x_(k)~2 1)~(1/2)),则数据列｛y_(k)｝比数据列｛x_(k)｝光滑.给出了改善的自回归预测方法,并且举例加以论证.     

化二次型为标准形的一个注记

<正> 一般的《高等代数》书都是采用若干步的线性替换化为标准形的.(当然可通过合同的初等变换求出上式中的n阶可逆矩阵C来)先将f(x_1x_2,…,x_n)化为d_1y_1~2+g(y_2,…,yn)(g(y_2y_3,…yn)是P上的n-1元二次型)再对g(y_2,…,yn)进行变换等等.而当a_(11)=a_(22)=…=a_(nn)=0时,往往需要两步线性替换才能将n元的情形化为n-1元的情形.本文介绍一种简单易记的方法.只需经过一次线性替换就可将f(x_1,x_2…,x_n)化为d_1y_1~2+d_2y_2~2+g(y_3,…,yn)的形式,即有     

关于指数計算

设X,Y为(B)型空间,研究非线性完全连续作用于X带参数y的方程Ф_yx=x—F(x,y)=0设Ф_y0=0(有时φ_y0=0)。若F对x在x=0可微,则Ф_yx=x-F′(0,y)x T(x,y)=0 表Ω为正则值集合,Π为奇异值集合,则i[Ф_y,0]当y在Ω的连通区域D时为常数。设A=F′(0,y_0),y_0∈ΠX_1真为相应于固有值1的固有子空间,由完全连续线性算子理论,有X=X_1 X_2,相应一对投影P_1P_2且存在有逆线性算子R使R(I—A)x=x_2。本文得到如下结论,若y_0∈Πh=y-y_0。足够小F′(0,y)=A—S(h)。 y∈Ω充要条件为Ю_y=P_1RS(h)P_1—P_1RS(h)P_2[P_2 P_2RS(h)P_2]~(-1)P_2RS(h)P_1在X_1中有逆,此时i[Ф_y,0]=i[R,0]i[Ю_y,0]_(X_1)。 x=0是Ф_(y_0)x的孤立零点之充要条件为x_1=0是L_(x_1)=P_1RT(x_1 f(x_1,y_0)y_0)=0的孤立零点,其中x_2=f(x_1,y_0)是P_2x P_2RT(x_1 x_2,y_0)之解。此时i[Ф_(y_0),0]=i[R,0]i[L,0]X_1。最后,我们应用上述结果到非线性方程的分枝解问題。     

三阶非线性系统三点边值问题的正解(英文)

研究了三阶非线性系统u′″(t)=f(t,u(t)),t∈[t_1,t_3]在满足边值条件u(t_1)=u′(t_2)=0,γu(t_3)+δu″(t_3)=0下正解的存在性,其中u=(u_1,…,u_n),γ=diag[γ_1,…,γ_n],δ=diag[δ_1,…,δ_n].运用Leray-Schauder型非线性抉择和Krasnosel'skii不动点定理,建立了此问题单个和两个正解的存在性结果,并举例说明了所得结论的有效性.     

空间曲面的对称变换

对称变换是正交变换中基本的也是重要的一种变换,本文就空间曲面的对称变换谈一些粗浅的认识。 一、曲面关于点的对称变换 定义(1.1) 设空间中有点M(x_0,y_o,z_0)和 p(x,y,z),P′(x′,y′,z′),若它们满足 (x+x′)/2=x_0,(y+y′)/2=y_0,(z+z′)/2=z_0     

关于单叶函数的几个判定定理

本文利用复变函数论中值定理给出判定单叶函数的几个定理及其证明,供教学参考。理引(中值定理)设 f(z)在区域 D 内正则,且连结 D 内相异的两点α,β的线段(?)仍属于 D 时,则在线段(?)上存在适当的两点(不包含α,β两点)z_1及 z_2使等式(f(β)-f(α))/(α-β)=Re{f′(z_1)}+ilm{f′(z_2)}成立。利用此引理给出如下几个单叶判定定理及推论。     

自由陀螺的章动特性

设有三自由度的自由对称陀螺,取 O_z 轴为其对称轴,并假设基座静止,支点 O 为原点.可以建立坐标系 Oξ,Oη,Oζ,陀螺外环轴设为 x_0,沿ξ方向, Oξ,Oη,Oζ坐标系与稳定平台固结.绕ξ转动α角后的位置为外环坐标系(x_0,y_0,z_0),y_0为内环轴,外环系绕 y_0转     

链式法则的一个证明

复合函数求导的链武法则是:设函数 u=(?)(x)在点 x_0处可导,y=f(u)在点 u_0(u_0=(?)(x_0))可导,则复合函数 f_0(?)(x)在点 x_0可导,且(f_0(?))′(x_0)=f′(u_0)(?)′(x_0)。对于这个法则,我们给出一个新的证明。为此先引入两个引理。定义设 E(?)R。f在 E 上有定义,x_0。∈(?)((?)是 E 的闭包),如果存在常数 l,对于任给ε>0,存在δ>0,当x∈(x_0-δ,x_0+δ)∩E-{x_0}时,恒有 f(x)∈(l-ε,l+ε),则称 f 在x_0关于 E 有极限 l。记作 l=(?)f(x)。     

保守力之功的一种简便算法

保守力所做的功仅仅由保守力本身以及在保守力作用下质点的起始、终了位置所定,而与质点运动的路径无关,这是众所周知的,在空间直角坐标种0—xyz中,当质点起于(x_1,y_1,z_1)终止于(x_2,y_2,z_2)时,作用当质点上的保守力(?)=F_x(?)+F_y(?)+F_x(?)对质点所做的功为     

二阶拟线性常微分方程组边值问题的奇摄动

本文研究二阶拟线性常微分方程组边值问题εy″+A(t,y,ε)y′十g(t,y,ε)=0y(0,ε)=α(ε),y(1,ε)=β(ε)其中ε>0是小参数,y,g,α,β是n维向量函数,A是n×n矩阵函数。假设退化问题A(t,y,0)y′+g(t,y,0)=0,y(1)=β(0)有解y_0(t),则加上一些其他条件后,便可推知当ε>0充分小时,存在摄动问题的解y(t,ε),它和它的导函数可表为y(t,ε)=sum from i=0 to m(y_i(t)ε~i十O(ε~(m+1))+O(e~(-μi/ε))y′(t,ε)=sum from i=0 to m(y_i′(t)ε~i十O(ε~(m+1))+O(ε~(-1)e~(-μi/ε))其中y_1(t),…,y_m(t)可依次由具有递推形式的一阶常微分方程组的终值问题解出。     

Cauchy-Drygas型函数方程的Ulam稳定性

给出Cauchy-Drygas型函数方程f(x_1+x_2,y_1+y_2)+f(x_1+x_2,y_1-y_2)=2f(x_1,y_1)+2f(x_2,y_1)+f(x_1,y_2)+f(x_2,y_2)+f(x_1,-y_2)+f(x2,-y2)的定义,并得到其一般解,同时,进一步讨论Cauchy-Drygas型函数方程与混合二次-三次函数方程的关系,并在Banach空间及模糊赋范空间上讨论它的Ulam稳定性.     

参数方程的作图

设曲线C 的方程为(t∈T)描绘曲线C 的方法通常采用“描点法”,即在参变量t 的取值范围T 内选取若干个t 值:t_1相似文献   

单参数实迭代群存在唯一性的判别准则

Definition 1. If y=G(x,t)is a continuous function on both x and t (aG(x,t)>x≮a, (for t>0), 3) G(x_1,t)>G(x_2,t), (for x_1>x_2), 4) G(G(x, t_1),t_2)=G(x,t_1+t_2),then we say that G(x,t) is a regular iterative family on (a,b) with parameter t. Definition 2. Suppose G(x, t) is a regular iterative family on (a, b) and     

广议凸性函数的特性

§1.E.F.Beckenbach(1937)曾引进广义凸性函数的概念,其定义如下.设{F(x)}是一族在(a,b)上连续的函数,它具有性质:对于任何x_1,x_2,a相似文献   

一个四阶非线性微分方程李稚普诺夫函数的构造及其全局稳定性

Ponzo 关于四阶非线性方程x+a(z)x+b(x,(?))(?)+c(?)+d(x)=0(0.1)得到了以下结果[1]:定理0.1:如果 a(z),b(x,y),c(y),d(x)满足以下条件:(1)a(z)≥a>0,(2)b(x,y)≥β>0,(3)c(y)/y≥r>0,(4)0ε≥0,其中ε≥(?)[(?){(αδ/r)(A_1(z)/z-α)+c(y)/y-r}],(6)c(y)/y-rd′(x)/δ+(r/2αδ)d″(x)/y-1/y(?)b_x(x,u)udu≥0,(0.2)(7)ab(x,y)-c′(y)-(αδ/r)(A_1(z)/z)-6/2>0 (0.3)(8)当|x|→∞,D(x)→∞则(0.1)的零解全局渐近稳定。     

一类指数型差分方程系统正解的渐近行为

研究指数型差分方程系统x_(n+1)=a+bx_ne~(-yn_(-1)),y_(n+1)=c+dy_ne~(-x_(n-1)),n=0,1,…正解的有界性、不变区间、平衡点的局部渐近稳定性及全局吸引性,其中参数a,b,c,d为正常数,初值x_(-1),x_0,y_(-1),y_0为非负实数.最后,结合实例,通过Matlab数值模拟验证了结论的正确性.     

一类回归模型的M—估计的相合性

设有回归模型y_1=θ_1x_1r θ_2x_2 … θ_1x_p ε,t=1,2,…,N.(1)其中x_1,…,x是(非随机)自变量;ε是随机残差变量;y为因变量;θ_1,…,θ为回归参数。