展成滚刀设计方法研探

1 数学基础 1.1 坐标系和坐标变换 我们用到4个直角坐标系,即坐标系o_1x_1y_1z_1,它和被切工件固联;坐标系O_2x_2y_2z_2和刀具固联;另两个是固定参     

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

为求解方程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)和程序(Ⅱ)的收敛性定理,并就两个定理作了六点注记。文中还给出了一个数值例子     

混合Cauchy-四次函数方程的Ulam稳定性

给出混合Cauchy-四次函数方程f(x_1+x_2,2y_1+y_2)+f(x_1+x_2,2y_1-y_2)=4f(x_1,y_1+y_2)+4f(x_1,y_1-y_2)+24f(x_1,y_1)-6f(x_1,y_2)+4f(x_2,y1+y_2)+4f(x_2,y_1-y_2)+24f(x_2,y_1)-6f(x_2,y_2)的定义,并得到其一般解,同时,在Banach空间及Non-Archimedean赋范空间上讨论了它的Ulam稳定性。     

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

讨论了用单叶双曲螺旋管实现两轴异面圆管道之间光滑拼接的问题,给出了光滑拼接所满足的条件:两轴异面管道的轴线与单叶双曲螺旋管的轴线在拼接点处满足位置连续:r(t_1)=M_1(x_1,y_1,z_1),r(t_2)=M_2(x_2,y_2,z_2),斜率连续:d_1=ε·r′(t_1),d_2=δ·r′(t_2)(ε,δ0)及管道半径相同,同时得到了拼接曲面单叶双曲螺旋管的参数方程形式。并举出具体实例,以Maple数学软件为工具,给出拼接效果图。本研究对工业产品的外形设计具有重要的理论意义和实际的应用价值。     

用线性代数知识讨论回归分析及空间意义

<正> 一、前言在很多书中一向是使用偏微分来求回归直线和回归平面。本文不用偏微分而用正射影来求回归直线和回归平面。另外,将数组(x_1,x_2,…x_n), (y_1,y_2,…y_n),(z_1,z_2,…z_n)分别取作变量 x,y,z 时,作为 n 微空间的元素进行回归分析,弄清奇妙的几何性质,利用此性质,由简单的向量,矩阵和行列式的知识就可进行回归分析。本文就这些问题作一介绍。     

点态化模糊群的一个定义

本文提出一个不以结合律成立直接作为公理且只用一个条件来描述点态化Fuzzy群的定义定义 论域X上的具有(狭隘)积运算的Fuzzy集A,称为一个Fuzzy群,如果A有称为一元逆的运算,即法则使(?)a_μ∈A,(?)a_μ∈A与之对应,满足条件(x_μy_μ)z_μ=(x_μf_μ)g_μ(?)y_μ=f_μ(g_μ(?)_μ)其中x_μ、y_μ、z_μ、f_μ、g_μ∈     

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稳定性.     

点(x_0,y_0)与直线Ax By C=0位置关系的条件及其应用—介绍脱去|Ax_0 By_0 C|/(A~2 B~2)~(1/2)中绝对值符号的一种方法

我们知道,已知三点P_1(x_1,y_1)、P2 (x_2,y_2)、P_3 (x_3, y_3)为顶点的△P_1P_2P_3的面积等于1/2((x_1 y_1 1)(x_2 y_2 1)(x_3 y_3 1))的绝对值;斜率分别为k_1和k_2的两条直线的夹角θ的公式为tgθ=((1 k_1k_2)/(k2-k1))·而且这两个公式都有脱去绝对值符号的方法     

Asgeirsson公式的推广

在R~(n+3)空间x=(x_1,x_2,…,x_n;n≥2)与Y=(y_1,y_2,y_3)中或在R~(3+2)空间x=(x_1,x_2,X_3)与Y=(y_1,y_2)中,考虑有界闭乘积区域(v),当(v)为超柱面所范围的体积时,我们研究超双曲型方程 sun form i=1 to u ■~2u/■x_i~2-sum from j=1 to l ■~2u/■)y_j~2-C~2u=0,(V)。其中C为任意实常数。我们建立了相应的广义Asgeirsson中量并给出其积分显式;由此,我们就l=n=3间,推广了著名的Asgeirsson公式,同时也推广了体积中量的Asgeirsson公式。并提供了上述这种推广的一般途径。     

R~n空间中r-维单形的定比分点公式

如所熟知,在R~2空间中,点P(x,y)分有向线段AB成定比λ时,其中A(x_1,y_1),B(x_2, y_2),则分点P的坐标公式为:(x=(x_1 λx_2)/(1 λ)y=(y_1 λy_2)/(1 λ)本文的目的是将这一公式推广至R(?)空间中的γ-维单形,得到与之相应的定比分点公式。为了便于对照,我们先讨论(1)的一个直接的推广,     

空间曲面的对称变换

对称变换是正交变换中基本的也是重要的一种变换,本文就空间曲面的对称变换谈一些粗浅的认识。 一、曲面关于点的对称变换 定义(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     

广议凸性函数的特性

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

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

<正> 一般的《高等代数》书都是采用若干步的线性替换化为标准形的.(当然可通过合同的初等变换求出上式中的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)的形式,即有     

参数方程的作图

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

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

在平面上,任给二次曲线Γ: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 的方向,-∞相似文献   

关于一阶隐方程解的唯一性

在一般的常微分方程教科书中,例如在最近重印的艾利斯哥尔兹著《微分方程》中,关于一阶隐方程解的唯一性定理的证明是不严格的。这种证法不仅不利于读者正确掌握一阶隐方程的唯一性定理,而且又会引起对数学分析中隐函数存在唯一性定理的误解。因此,我们认为有必要指出这个问题,以引起注意。在数学分析中,学习隐函数定理时,我们知道,仅有函数F(x,y,z)满足条件:F(x_0,y_0,z_0)=0;在点(x_0,y_0,z_0)的某个邻域内,F(x,y,z)连续,且对每个自变量有连续的偏导数;F:′(x_0,y_0,z_0)≠0,还不能保证隐函数的唯一性。一般来说,在上述条件下,满足方程F(x,y,z)=0和条件     

关于MATROID的一个特征性质

本文给出了 Matroid 的一个特征性质,即给出了以下定理:设 S 是集合, 2~,Φ∈, 为子集闭的,则(S,)为 Matroid 当且仅当下列条件满足:对X={x_1,x_2…x_n)∈,Y={y_1,y_2,…y_m)∈,X、Y 在 F中极大,则 n=m,且适当调整 x_i的顺序,可使i,{y_1…y_(i-1),x_i,y_(i+1)…,y_m}∈(i=1,2,…n)     

关于指数計算

设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。最后,我们应用上述结果到非线性方程的分枝解问題。     

边故障3元n立方体中的一对二点不交路覆盖①

针对边故障Q■中一对二点不交路覆盖的问题,利用归纳假设法得到结论:当n≥2,边故障■时,在Q■中任取3个顶点x_0,y_1,y_2,则在Q■-F中有两条内部不交路P_1,P_2,使得V(P_1)∪V(P_2)=V(Q■),这里P_1连接x_0和y_1,P_2连接x_0和y_2,而且边故障■为最优上界.     

边故障增广立方体中两条无故障点不交路

文中研究了增广立方体两条点不交路问题,用归纳假设法证明了结论:当n≥3时,令增广立方体A_n中的边故障集|F|_2n-6,设x_0,x_1,y_0,y_1是A_n中任意4个顶点,则在A_n-F中有两条点不交路P_0和P_1,使得V(P_0)∪V(P_1)=V(A_n),其中P_0连接x_0和y_0,P_1连接x_1和y_1.