模型论中的拓扑学方法

本文利用拓扑学方法研究了ω-范畴理论的性质,并对模型个数问题进行了讨论.     

NiTi合金中马氏体相的低频力学谱研究

我们用最近研制成功的LMA型低频力学谱测试系统对NiTi合金马氏体相进行了在很大频率范围内（0．003～1Hz）的低频等温力学谱和温度谱的测量．我们研究的形状记忆合金NiTi（Ni50．2at％）试样长34mm，直径1mm细丝．经一定热处理，分别在333K．343K和353K做了内耗随频率的变化的测量。实验表明：频率越小，内耗越大，也就是内耗随频率减少而增大。同时我们采用阶梯升温的方法在八个温度下每个温度测量三种频率（1Hz，0．1Hz，0．01Hz）的内耗，结果清楚地表明：不同频率下，内耗峰都出现在372K（99℃）。而且频率越低，峰高越高。这是具有相变峰的特点：相变峰的峰温不随测量频率不同而变化，相变峰高度随频率减少而增大。我们还测量了在1Hz与0．5Hz频率下内耗随温度的变化。本文用马氏体相的位错理论初步讨论了上述实验结果。     

推广x重新标度模型的重标度参数经验公式

给出了推广x重新标度模型的重标度参数经验公式,其中建立了重标度参数与原子核的平均结合能之间的联系,由该公式可以得出A≥12的所有核的重标度参数值,利用这些参数值可以计算有关核过程并做出预言.     

用回归正交设计建立油田堵水增产模型

在油田注水开发过程中，油井产水率的不断上升严重影响了油田的原油产量。因此油田进行堵水是油田高产稳产的一项重要工作。本文用回归正交设计方法建立油田区块堵水增产模型，从而为油田区块堵水最优化方案的目标函数的确立奠定了基础。     

一种方式分组随机模型中估计方差分量的最小风险设计

§1.引言一种方式分组随机模型:y_(ij)=β α_i ε_(ij),i=1,…,n,j=1,…,m_i,(1.1)其中 ε_(ij)(i=1,…,n,j=1,…,m_i)是相互独立的随机误差,α_i(i=1,…,n)是独立的随机变量.Eα_i=Eε_(ij)=0,varε_(ij)=θ_1>0,varα_i=θ_2≥0,cov(α_i,ε_(ij))=0.β、θ_1、θ_2是未知参数,β∈R~1,(θ_1,θ_2)~T∈Θ(?){θ_1>0,θ_2≥0}.     

仓库容量有限条件下的随机存贮管理问题的评注

给出2005年全国部分高校研究生数学建模竞赛D题的研究背景,对参赛论文作了简要评注,并提供了一种参考解答.     

带有垂直传染具有年龄结构的接种流行病模型研究

研究了一个带有垂直传染、具有年龄结构的接种SIS流行病模型，得到了正平衡解存在性的充分条件。     

钢板仓受风载作用的有限元分析

对高 14.76m ,直径 12m的螺旋卷边钢板筒仓在空仓风载工况下进行了有限元分析。计算结果表明 ,在风载作用下 ,仓体的强度不是主要问题 ,而仓顶开口处刚度较弱。     

Block-based test data adequacy measurement criteria and test complexity metrics

On the basis of software testing tools we developed for progrmnming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program-based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J-complexity 0; J-complexity 1 ; J-complexity 1 ; J-complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.