PN群与半完全群的关系及性质

引入纯非交换群的概念，利用自同构群与完全群的密切关系，得到了纯非交换群与半完全群两者之间的关系。     

具有混合边界条件的地下水污染模型的强解存在性

给出具有混合边界条件的地下水污染模型的弱解和强解定义，用积分估计法得到了强解（如果存在）的先验一致估计，利用半－Ｇａｌｅｒｋｉｎ方法和紧性原理证明了上述方程组强解的局部存在性     

半挂汽车列车转弯制动性能的模拟计算

建立多自由度半挂汽车列车转弯制动数学力学模型，对EQ1091－TQ9151半挂汽车列车转弯制动进行仿真计算．实车试验表明，模拟计算结果与试验相符．应用仿真计算程序计算分析了半挂汽车列车主要结构参数和使用参数对其转弯制动稳定性的影响．     

层状半空间体弹塑性力学分析

本文给出了层状半空间体弹塑性问题分析一种半解析元方法，该方法采用二维解析一维离散建立半解析单元，与有限元法相比极大地减少了计算工作量。     

一维非线性奇异抛物方程的有限元方法

本对一非线性奇异抛物方程的有限元方法作了讨论，运用非对称有限元方法，在加权Ｌ２范数意义下，证明了半离散全离散解的最佳阶估计。     

时延驱动的门阵和标准单元布图系统——Tiger

Ｔｉｇｅｒ可以完成从布局到详细布线的整个布图全过程。在整个布图过程中，根据ＲＣ延迟模型计算所有连线的延迟，并把整个芯片的时延最小作为优化目标。在Ｔｉｇｅｒ系统中，应用了性能驱动的布局和总体布线算法、ＤＲＡＦＴ通道布线算法和基于垂直通道模型的走线道分配算法。实验结果表明，Ｔｉｇｅｒ的布图速度要比ＴｉｍｂｅｒＷｏｌｆ６．０快很多。它在保证芯片性能的同时，其芯片面积与ＴｉｍｂｅｒＷｏｌｆ差不多。     

蕴涵BCK—代数的伴随半群

本证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格，进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数。     

局部积流形的半不变子流形

本文讨论了局部积流形的半不变子流形，得到了关于这类子流形的微分向何方面的一些重要结果。     

一类齐性半单空间

称流形M上的1-1型张量场I为复结构,是指满足I~2=-1及可积性条件 I~2[X,Y]-I[IX,Y]- I[IX,IY]+[IX,IY]=0, (?)X,Y∈Γ(TM)。 本文把复结构推广为半单结构,只保留了可积性条件,把I~2=-1推广为只要求I满足f(I)=0,其中f(x)是一个无重根的实多项     

亚纯函数的Hardy-Stein-Spencer恒等式

设f(z)是在点集D上定义,n(f=w,D)表示方程f(z)=w在D内根的个数.如果f(z)=w在Δ={│Z│<1}内是解析的,令I_λ(r,f)=1/2π integral from n=0 to 2π│f(re~(iθ))(?)~λdθ,00,这就是Hardy-Stein-Spencer恒等式.当我们研究BMOA和面积平均p叶函数时,希望Hardy-Stein-Spencer恒等式对亚纯函数也成立.本文将解决这个问题.引理 1 设(?)D是分段光滑Jordan曲线,其内部区域为D,设z_0∈D.假设f(z)在(?)\{z_0}内解析且没有零点,又设z_0是f(z)的ι阶极点,对λ>0,有证令 容易知道设Ω表示(?)\h((?)D)的无界分支,由于z_0是g(z)的简单极点,因此n(h=ω,D)=1, ω∈Ω.如右图: