基础模糊命题演算系统BL~*的改进系统

基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。     

随机脉冲泛函微分方程的{\boldmath p}阶矩有界性

随机脉冲泛函微分方程是一个具有广泛应用前景的数学模型. 该文利用带Razumikhin条件的Liapunov直接法和比较原理, 得到了随机脉冲泛函微分方程的解的一致(一致且最终、一致且一致最终) p阶矩有界的充分条件, 其中在获得一致有界性和一致最终有界性时, 对dV(t, x(t))/dt 的限制条件也较少, 因此研究结果非常便于应用.     

35MeV/u~(40)Ar ~(197)Au中的熵产生

根据量子统计模型 (QSM )的计算分析 ,找到了一个提取核反应过程中熵产生的新的可观测量 .核反应过程中约化d的产额d/ (d t 3 He 4 He)和熵有单调的函数关系 ,并且和体系的碎裂密度 (ρ/ ρ0 )及体系的N/Z都无关 ,可以作为提取核反应过程中熵产生的一个观测量 .和目前已经有的其他方法相比 ,约化d产额这一提取熵方法可以用于较低能量的重离子核反应中 ,并且数据处理分析简单 .对于 35MeV/u4 0 Ar 197Au的核反应过程所提取的熵和利用约化带电粒子多重性提取的熵结果一致 .结合后角类靶热核发射体系实验提取的同位素核温度为 4 7±1 2MeV及S/A =2 5± 0 5 ,根据熵和核温度的关联关系 ,可以确定其Breakup密度接近但小于 0 1(ρ/ ρ0 )     

一种新型的圆筒非接触超声马达

提出了一种新型的圆筒非接触超声马达.该马达主要工作在驻波状态下,且仅需单路信号激励。文中给出了马达定子的振动解析,并依此设计定子。当马达稳定转动时,采用激光测振仪测得了马达定子的振动模态。实验表明,单路信号激励下同样可以实现非接触驱动。此外还采用高速摄像机拍摄了马达的起动特性。     

ND阵列加权乘积和的完全收敛性

设（Xni：1≤i≤n,n≥1）为行间ND阵列,g（x）是R^＋上指数为α的正则变化函数,{αni：1≤i≤n,n≥1}为满足条件max1≤i≤n｜ani｜=0（（g（n））^-1）的实数阵列．本文采用截尾的方法,得到了使ND随机变量阵列加权乘积和完全收敛的条件,并推广了以前学者的结论．     

模糊选择函数中一些显示偏好关系的研究

对普通选择函数所导出的偏好关系R*,R,R,■及其之间的联系进行了讨论,并以此为基础,深入研究了模糊情况下对应的偏好关系及其之间的联系,给出了它们相等的一些充要条件。     

Logistic映射三周期轨道分支值确定

运用分支函数的方法研究了Logistic映射出现稳定三周期点的参数窗口,借助软件Singular 2.0.3运用多元多项式的Grobner基并结合严格局部分析的方法给出Logistic映射出现稳定三周期点时的参数值范围,最后数值模拟方法对所得的结果进行了验证,并指出伪轨现象.     

线材无模拉拔成形力数学模型研究

采用上限法确定了钨合金线材无模拉拔成形速度场及力能参数物理模型.分析了钨合金线材无模拉拔成形的变形模型、速度场以及力能参数的影响因素及影响规律,无模成形力能参数的影响因素主要有冷热源间距、断面减缩率、变形温度、拉伸速度、冷热源移动速度以及材料种类等,为无模拉拔成形工艺工业化应用奠定基础.     

Toeplitz-Bezout矩阵的若干性质

从定义出发,利用矩阵生成函数的方法来研究Toeplitz-Bezout若干基本性质,同时利用极限的思想将其对角约化.     

B splines有限基矢集用于多体微扰计算

讨论了用B splines构造有限正交基矢集的方法,并将这种基矢用于超精细相互作用的多体微扰计算,得到了与实验一致的结果。 关键词：