可再生自然资源非线性收获动力模型的同伦解法

运用非线性理论建立了可再生自然资源m次非线性收获的动力模型,利用同伦映射方法求出了该模型的近似解。     

可分解不完全可分组设计的存在性

可分解不完全可分组设计(Resolvable Incomplete Group Divisible Design或IRGDD)被广泛地用于构造其他组合设计中.在该文中,我们证明了除u=6且m≡n≡0(mod 2)外,一个型为(m,n)u的3-IRGDD存在的必要条件也是充分的.     

两类8点8边图的图设计

设λKv是v阶λ重完全图,G是一个有限简单图.图设计(v,G,λ)-GD是一个有序对(X,B),其中X是完全图Kv的顶点集合,B是λKv中与G同构的子图(叫做区组)的集合,使得Kv中任意一条边恰出现在B的λ个区组中.研究了两类8点8边图Gi(i=1,2)的图设计,并给出了(v,Gi,1)-GD(i=1,2)的存在谱.     

数控机床不完全维修的贝叶斯可靠性评估

提出了在少样本故障数据情况下,数控机床不完全维修的贝叶斯可靠性评估方法,分析了广义更新过程虚龄模型参数的验前分布和后验分布,利用马尔科夫链蒙特卡洛仿真方法获得了模型参数、累计故障数、故障强度和可靠度等可靠性指标的贝叶斯点估计和区间估计,并分析了某一现场数控机床不完全维修的可靠性.结果表明,与极大似然估计方法相比,贝叶斯可靠性评估方法具有较高的精度.     

Coribbon余拟Hopf代数和辫子余拟Hopf代数的S~4公式

本文给出了余拟Hopf代数,在α是不可逆情况下日成为coribbon余拟Hopf代数的一个充要条件,并给出了辫子余拟Hopf代数上的Radford S~4公式.     

乘法含幺半环的拟分配格的同余格

定义了乘法含幺半环的拟分配格S=[D;Sα]的同余格的一个子格,证明了它同构于Sα(α∈D)的同余格的直积的子格,用同余对刻画了乘法含幺逆半环的拟分配格S=[D;Sα]上的同余。     

完全二部图K_(2,n)和K_(3,n)的一般点可区别全染色

借助已有的完全二部图K_(2,n)和K_(3,n)的点可区别IE-全色数的结论,利用组合分析及构造具体染色的方法探讨完全二部图K_(2,n)和K_(3,n)的一般点可区别全染色问题,确定了K_(2,n)和K_(3,n)的一般点可区别全色数.     

一类随机变量加权和的完全收敛性

设{Xn,n≥1}是一列满足Rosenthal型不等式的相依随机变量,在非同分布下建立了这类随机变量加权和的完全收敛性的新定理,并获得了相依随机变量加权和的强大数定律.所得结论把相应结果从独立同分布的情形扩展到普遍的相依变量情形.     

I.I.D.随机变量部分和之和重对数律的精确渐近性

为研究独立同分布(i.i.d.)随机变量序列部分和之和重对数律的精确渐近性质,在矩条件较弱的情形下,采用截断的方法,证明了ε→0时的几个精确渐近性质;在矩条件较强的情形下,利用Berry-Esseen不等式进行逼近,得到了ε→α+1(1/2)的精确渐近性质.研究结论表明,i.i.d.序列部分和之和重对数律的精确渐近性质与部分和的结论类似,这就将i.i.d.序列部分和精确渐近性的结果推广到部分和之和的情形,丰富了i.i.d.序列部分和之和精确渐近性的结果.     

基于HLA的维修保障仿真保守时间推进算法研究

高层体系结构(HLA)中的保守时间推进机制是以并行离散事件仿真(PDES)的保守算法为基础,而考虑不全面的时间推进算法会导致死锁。在维修保障仿真中,维修单元成员常常由于不满足保守算法而引起整个仿真系统无法向前推进。针对具有确定维修任务完成时间的成员不遵循本地因果约束条件的情况下,提出了强制时间同步法;针对具有不定维修任务完成时间的成员违反可预测性的情况下,提出了空事件法和任务阶段法。最终,通过实例验证了算法的正确性和有效性。