黎曼流形中运动群不变量

黎曼流形运动群的研究是微分几何中一个重要问题。本文构造了黎曼流形中亏数为2的一个运动群，进而对黎曼流形度规运动群、共形运动群以及亏数为2的运动群的黎曼不变量进行了刻划。文中证明上述三个运动群之间存在着某种所谓“自相关性”。此外，还给出黎曼空间中共形运动群在共形于黎曼空间的空间中变为度规运动群的一个有趣的例子。     

具有n-辛结构的辛几何问题

在前人研究的基础上,提出了具有-辛结构的辛几何问题。讨论了n-辛流形上的向量场(n-辛向量场,n-哈米顿向量场),并结合李导数的性质,给出了判定向量场为n-辛向量场的2个充分必要条件,得到了2个n-哈米顿向量场在括号积下仍为n-哈米顿向量场的结论。最后通过定义线性映射,得到了相应的短正合序列。     

带比例矩阵逆特征值问题

研究讨论了一类带比例矩阵的特征值反问题:任意给定2n-1(n≥2)个实数λ(n)1…λ(2)1λ(1)1λ(2)2…λ(n)n,求一个带比例矩阵A,使得λ(j)1和λ(j)j分别是其顺序主子阵Aj(1!j!n)的最小和最大特征值。文中给出了此问题有唯一解的充要条件以及有解的充分条件,并给出了解的表达式,最后用数值算例验证了结论的正确性。     

复平面上正n边形的一个充要条件

给出了复平面上n(n≥3)个不同复数所对应点,构成正n边形的一个充要条件.     

确定趋势的一种检验方法

本文讨论了一种统计假设检验方法——趋势检验方法,并将之推广到多台同步试验的场合。它提供了如何根据试验数据确定是否存在可靠性增长,可靠性下降或没有趋势的手段。为了将此法用于小样本问题,给出了M=1,2(M=n,定时截尾;M=n-1,定数截尾;n为失效次数)时,检验统计量的临界值表。并用工程实例说明这种方法。     

关于ОШКИН的一个定理

本文研究了全纯函数族的正规性,得到如下结果: 定理1 设为区域D上的一族全纯函数,n,k(k≥2)为两正整数,占为非零有穷复数,a_1(z),a_2(z),…,a_k(z)均在D内全纯。若对中每一个函数f(z)均有:(1)f(z)的零点重数≥k;(2)f~n(z){f~((k))(z)+a_1(z)f~((k-1))(z)+…a_k(z)f(z)}≠b,则在D正规。     

箭状矩阵的广义特征值反问题

讨论实对称箭状矩阵（除对角元及最后一行、最后一列元素外，其余位置元素全为零）的广义特征值反问题，它可以用来描述星形弹簧质量系统的振动问题，即给出系统的振动频率如何来确定质点的质量或弹簧的刚度。通过对箭状矩阵特征多项式性质的研究，运用部分分式理论，证明了给定正定箭状矩阵B，实数{λi}i=1^n,{μi}i=1^n-1，满足λ1＜μ1＜…＜μn-1＜λn，存在箭状矩阵A，使广义特征值问题Ax-λBx有解{λi}i=1^n，而广义特征值问题A(n-1)x=λB(n-1)x有解{μi}i=1^n-1，其中A（n-1),B(n-1)分别表示A，B的n-1级主子矩阵。     

广义经典力学系统动力学方程积分的Jacobi最终乘子法

研究动力学系统的积分问题,将Jacobi最终乘子法应用于积分广义经典力学系统的动力学方程。建立了广义经典力学系统的运动微分方程;定义了广义经典力学系统的Jacobi最终乘子;研究了系统的第一积分与Jacobi最终乘子的关系。研究表明:对于位形由n个广义坐标确定且拉格朗日函数含有广义坐标对时间的ω阶导数的广义经典力学系统,如果已知系统的(2ωn-1)个第一积分,则可利用Jacobi最终乘子给出系统的解。文末举例说明结果的应用。     

CARDC 2.4m引射式跨声速风洞设计与运行调试

中国空气动力研究与发展中心研制了可更换喷嘴的中压气体引射器 ,利用现有中压气源驱动 ,建成一座增压回流引射式跨声速风洞。试验段截面尺寸 2 .4m×2 .4m ,M =0 .3～ 1 .2。稳定段最高工作压力为 0 .45MPa ,最高模型试验雷诺数Rec=1 5× 1 0 6(M =0 .90 ,C =0 .2 4m) ,稳定吹风时间≥ 1 5s。风洞气动回路上分别配置有多喷管引射器、栅指扩散段、跨声速试验段驻室抽气系统及特殊的主排气系统等装置。采用智能自适应解耦控制技术 ,实现总压和M数独立、快速、精确地控制。该气动布局与部段配置及其功能设计 ,在国内跨声速风洞中均是首次采用。     

导电薄圆筒上的电荷分布——矩量法的改进处理

设薄圆筒以X轴为轴,二端面各为x=-1,x=1。当静电平衡时面电荷密度σ(x)满足积分方程: integral from -1 to 1 G(x∣x′)σ(x′)dx′=常数 (1)设:U(x):=integral from 0 to x σ(x)dx (2)并令:g(U,U′)=G(x∣x′) (3)(1)可表为:ingegral g(U,U′)dU′=常数 (4)对于二维(即圆筒半径为无穷大)情形,(4)的解为 U=2/πsin~(-1)x (5)现以此作为一般情形的尝试解: (ⅰ)把这U区间(-1,1)作2n等分,在与U=-1,-1 2/n,……,1-2/n,1相应的n 1圆环上分布线电荷,其密度各为q_1,q_1 q_2,……,q_(n-1) q_n,q_n,使它们在与U=-1 1/n,……,1-1/n相应的n个圆环上产生相同的电位,对应于(4)可列出n阶线性方程组。 (ⅱ)解出q_1,q_2,…q_n。对于二维情形,可证: q_1=q_2=……q_(n-1) (6)对于一般情形并不如此,但可由此构成新的x-U曲线。 反复(ⅰ),(ⅱ),直到(6)近似满足而使x-U曲线稳定为止。 本法对粗圆筒特别适用,沿圆筒长度不取等分点,而是电荷越密集,取点越密,因而节省计算量,但仍提高了精密度.     

无穷区间二阶微分方程三点边值问题的可解性

运用非线性抉择原理讨论了无穷区间上二阶微分方程三点边值问题((1+t2)x′(t))′+f(t,x(t),x′(t))=0,t∈I=[0,+∞)x(0)-βx′(0)=αx(η),x(+∞)=0正解的存在性,其中α≥0,β≥0,0η+∞,f:I×I×R→I是一个L1-Carathēdory函数。     

OCr17Ni7Al和OCr17Ni7MoAl沉淀硬化不锈钢的工艺研究和应用

本文简要介绍OCr17Ni7A1和OCr17Ni7MoA1的深拉伸成形、机械加工、焊接和热处理等工艺研究成果。热处理控制基体和焊接试样的抗拉强度δb=115±10kgf/mm~2、延伸率δ_5≥10％、冲击值α_K≥4kgf-m/cm~2、焊缝弯曲角α_ω≥40°、滚焊试片拉力P≥800kgf/cm~2,结果使产品的液压试验、气密试验、疲劳试验和爆破试验性能均超过设计指标,成功地通过了点火试验和飞行试验。     

三维平壁进气道的特性研究

介绍三维进气道和超声速燃烧冲压式喷气发动机 (SCRAMJET)模型一项实验研究的结果。Scramjet模型由进气道和燃烧室组成 ,此模型组件的设计是为了研究流动结构以获得进气道的特性 ,以及研究燃烧室和进气道、燃料 (氢及碳氢燃料 )点火和燃烧的相互影响。这些试验是在下吹式风洞(M =2 ～ 6,Reunit=( 8～ 54) × 1 0 6)和热射式风洞 (M =6及 7 2 ,Reunit =( 1 0 ～ 32 )× 1 0 6,Tt =1 50 0 ～ 2 50 0K)中进行的。     

可靠性基础知识讲座：第二讲 概率基础知识

一、概率概率(Probability)是某事件发生的可能性。通常以P(A)表示事件A发生的概率。在处理可靠性问题时,对它须有定量的理解。例2.1 估计安装在机器上的某个灯泡的寿命T: (1)T<0,这是不可能发生的事件,其概率为0,表示为P(T<0)=0。 (2)T≥0,这是必然的事件,其概率为1,表示为P(T≥0)=1。     

Weibull过程的置信区间方法及其对可靠性增长的应用

威布尔(Weibull)过程[强度为r(t)=λβt~(β-1)的非齐次Poisson过程]是作为Duane可靠性增长假设下的一个随机模型考虑的。在这个模型下,系统在t时刻的平均无故障工作时间(MTBF)为M(t)=[r(t)]~(-1)。本文分定时和定数截尾,对M(t)的小样本及渐近置信区间进行了讨论,给出了计算置信区间所需的表,以及说明方法的数值例。     

钛板热校形及其高温力学性质的研究

钛板零件热校形的本质是材料软化及应力松弛。在对TA2(工业纯钛)、TC_1(Ti—2A1—1.5Mn)、TC4(Ti—6A1—4V)钛板进行高温拉伸与短时应力松弛实验中,我们采用激光扫描变形测量仪和X-Y函数记录仪,实现了应力应变及应力松弛曲线的自动记录。 本文提出用对数方程作为应力应变关系及高温短时应力松弛的数学模型,进而求得了板料在热校形中的塑性纯弯曲回弹角度及回弹半径公式。在不同的热校形条件下,计算值与实验结果相近,所得公式可用于定量估算弯曲件在热校形中的工艺参数。     

一类二维样条插值函数的最佳误差估计

本文主要结果为下述定理。 定理:设x(uw)是矩形域上关于该矩形上均匀分割的二维双三次样条插值函数,且x(uw)满足条件(5),则x(uw)在矩形域R边界上的节点处的四阶混合偏导数有估计式: |S_(i,0)|≦|A[i,n—1]||ε_(n,0)| |B[i,n—2]||ε_(0,0)|=[0,-4,(-1)~2 4,…(-1)~i 4]/[0,-4,(-1)~2…(-1)~n 4]|ε_(n,0)| sum from h=i to n-2 (-1)~(k(k-2)-(i 1)(i-2))[0,-4,(-j)~2 4…(-1)~i 4]/[0,-4,(-1)~2 4,…(-1)~(k 1) 4][0,-4,(-1)~2 4,…,(-1)~(k 2)4] (-1)~(i(i 1)/2)/[0,-4,(-1)~2 4,…(-1)~n 4]|ε_(0,0)|其中等号成立的条件分别为: A[i,n—1] B[i,n—2] ε_(n0),ε_(00)>0 A[i,n—1] B[i,n—2] ε_(nm),ε_(0m)>0 其中 i=1,2,…,n—1. j=1,2 …,m—1.     

确定电子产品MTBF增长的经典分析方法

本文用经典分析方法研究了经历研制试验的电子产品失效率(或MTBF)的问题。假设研制规划由m个阶段组成,在每个阶段中受试的产品是类似的;此外,假设电子产品的失效率满足:λ_1≥λ_2≥…≥λ_m。我们得到了λ_i(i=1,2,…,m)的约束极大似然估计和λ_m的经典置信限。最后用数值例说明了这些方法。     

非齐次Poisson过程的若干新性质

本文在一些文献的基础上,进一步讨论非齐次Poisson过程的某些性质,给出了若干新性质。 设{N(t),t≥0}是累积强度为的非齐次Poisson过程。迄今的文献(如[1][2]等)指出,(?)n≥1,前n个到达时刻τ_1,τ_2,…,τ_n的联合概率密度为 本文定理1指出,上式不仅是必要的,而且是充分的,并给出了充分性的证明。从而,得到了描写过程统计规律的一个刻画。然后,在N(t_i)=n_i(i=1,…,k,0相似文献   

二维复值Ginzburg-Landau方程的一个高阶紧致ADI差分格式

对二维复值金兹堡朗道(Ginzburg-Landau,GL)方程提出一个基于时间分裂的高阶紧致交替方向隐式有限差分格式。本文通过时间分裂法将GL方程分裂成一个非线性子问题及两个线性子问题,对非线性子问题以及其中一个线性子问题均通过精确积分进行计算,并对另一线性子问题构造紧致交替方向隐式差分格式进行数值计算。实际计算中,在每一时间步,利用追赶法求解一族常系数三对角线性代数方程组,从而使得算法既具有较高精度又拥有较快的计算速度。数值实验表明该算法在时间和空间方向分别具有二阶和四阶精度,并模拟了方程的一些动力学行为。