无穷维Teichmller空间中测地线的唯一性问题

<正>设[μ]是Teichm(?)ller空间T(Γ)中的一点,且[μ]≠[0].当T(Γ)是有限维时,[μ]中的极值Beltrami微分唯一,并且测地线段α:[tμ₀](0≤t≤1)是连接[0]与[μ]的唯一测地线段,这里的μo是[μ]中唯一的极值Beltrami微分.但是,当T(Γ)是无限维时,[μ]中的极值Beltrami微分不一定唯一.第一个反例由Strebel给出,该反例被称为Strebel烟囱.由此,Gardiner于1988年提出下面的基本问题:     

可拓数学与矛盾问题

本文对可拓数学建构中的几个核心问题进行了初步探讨，分析了可拓数学在研究对象、基本模型、集合基础、逻辑基础等几个方面的特点。     

二元非线性等重码的检错性能

等重码在编码理论中占有重要的地位,它在通信系统中有着广泛的应用。文献[1～5]研究了二元非线性等重码的检错性能,并证明了:当n>8时,二元(n,2,w)非线性等重码均不是最佳检错码。王新梅提出了一个猜想:当n>4δ且δ>1时,二元(n,2δ,w)非线性等重码均不是最佳检错码。本文研究了二元(n,2δ,w)非线性等重码的检错性能,推导出非线性等重码成为最佳检错码的必要条件,从而说明,当n适当大时,二元(n,2δ,w)非线性等重码均不是最佳检错码。本文详细分析了δ=2,3的情形,说明此时存在码长超过4δ的二元非线性最佳检错等重码。我们认为王新梅的猜想应该改正为:n>8δ时,不存在二元(n,2δ,w)非线性最佳检错等重码。     

AR箭图—类连通分支中的几乎分裂序列

设A是代数闭域F上一个有限维基连通代数,modA为有限维右A-模范畴,ΓA为代数A的AR箭图.由于modA中成立Krull-Schmidt定理,通常将modA中模与它的同构类看作一回事.Auslander和Reiten在研究Artin代数的表示理论时,引进了几乎分裂序列和既约映射的概念.今天,几乎分裂序列理论已成为代数表示论的一大基石. 令0→X→(?)_i~r=_1Y_i→Z→0是modA中的几乎分裂序列,其中Y_i是不可分解的,则数γ刻画了modA中始于X且止于Z的映射的复杂程度.因此,研究几乎分裂序列中间项的不可分解直和项的个数是很有意义的.Bautista和Brenner证明了如果A是有限表示型的,则modA中几乎分裂序列中间项至多有4个不可分解模,当中间项有4个不可分解模时,必有一个是投射-内射模.Liu将此定理推广到非正则模的几乎分裂序列上.本文研究的modA中几乎分裂序列出现在AR箭图中     

微波吸收法计算弛豫过程的热力学参数

测定液体弛豫过程的热力学参数——弛豫时间(?) ,焓变△H,熵变△S,自由能△F的方法最早由Conway提出,以后又经过了Zaghloul,Kaatze,Steinhoff,Barajas和Hu等人的发展,已经成为一种成熟的方法.这种方法的核心是建立介电常数.ε’(w,t)和ε”(w,t)关于△H,△S,△F以及 (?)的数学模型,然后通过在不同温度下测定的ε’(w,t)和.ε”(w,t)拟合出热力学参数.但是由于拟合时需要的数据组较多,也就是说测定ε’(w,t)和ε”(w,t)的温度范围较大,所以拟合出的参数误差较大.另一方面,由于拟合时计算量大,实验中的测量误差经过累加,也使得拟合误差进一步增加.本文提出了一种计算弛豫过程热力学参数的新方法.这种方法首先是建立微波吸收法计算弛豫过程的热力学的数学模型,然后通过微波吸收的实验数据,用解方程的方法直接解出热力学参数.解出一组热力学参数数据((?),△H,△S,△F)只需两组数据.由于计算量明显减少,实验数据误差对计算结果的影响明显降低.本文提出的方法中由测量及计算引起的最大误差降为8%左右.     

为归纳辩护

两个半世纪以来，“归纳问题”始终困扰着逻辑学界，乃至整个哲学界，多少人“前赴后继”去攻克它，它却“磨炼”得更坚固、顽强。这种局面实在耐人寻味，为什么找不出圆满的解决办法呢？我认为，唯一的解释是“归纳问题”的提出本身是不合理的，它不能算是一个真正的问题，因为但凡真正的问题在理论上说都应该是有解的。本文将以此为出发点，用反证法论证休谟对归纳的怀疑在理论上是不能成立的，在实践中也是站不住脚的，从而为归纳进行辩护。     

汽轮机隔板强度有限元法及其应用

建立了以板－梁－板为隔板计算模型的隔板强度有限元计算方法．用有间隙的弹性接触有限元法考虑了隔板非线性支撑边界，同时考虑了板的热弯曲．程序使用了八节点厚板等参元划分隔板，用三节点扭梁单元划分隔板静叶．同时，提出了计算隔板热弯曲的方法，计算了隔板温度挠度；建立了隔板模化方法；对有加强筋隔板和中分面有剖分叶片的隔板结构进行了详细的模化；编制了适合上述情况的自动剖分网格程序．应用该方法，计算了３例隔板的挠度和应力，并与厂方提供的实验值进行比较，验证了该方法的准确性     

AИ方法的改进及其精确阶(Ⅰ)

Д３ядЫк等人关于Ｃａｕｃｈｙ问题：ｙ′＝ｆ（ｘ，ｙ），ｙ（ｘ０）＝ｙ０渐近解的ＡИ－方法被改进，其精确阶被提高     

移动滑态变结构控制器设计

给出了移动滑态变结构控制器的设计方法。多变量不确定性变结构控制系统，其能达阶段对控制系统参数摄动较为敏感。为此，设计了移动滑态变结构控制器，使得控制系统在一开始就进入到所设计的滑动模态中并将其保持，从而降低了系统的能达时间，提高了系统抗参数摄动的能力。数字仿真表明，该方案有效地克服了系统参数摄动对控制系统的影响，验证了本文理论的正确性。     

超双曲型方程的Dirichlet问题

从紧算子的谱理论出发，给出了超双曲型方程（△x-△y）u＋λu＝f（x,y），x＝（x1，x2，…，xm），y＝（y1，y2，…，ym）的Dirichlet问题解的存在性和唯一性定理．