关于饱和模型的讨论

一阶模型论中,关于可数模型的讨论是一个重要课题。在这方面,对于可数饱和模型的研究已得到了一些意义重要的经典结果。在文献[1]中,Benda定义了比饱和模型的条件要弱一些的几乎饱和模型和满模型的概念,探讨了它们的一些相关性质,证明了如果一个可数语言上     

甲烷碳同位素分布数理模型的探讨

对天然气甲烷碳同位素及源岩成岩演化的研究表明,甲烷碳同位素值与源岩中沉积有机质的埋深存在统计学上的线性关系。本文以成岩反应动力学、同位素瑞利分馏理论为基础,探讨了甲烷碳同位素值演化的内在规律,建立起一个数理模型来描述甲烷碳同位素值的演化规律,并用辽河盆地的实际资料对该模型进行了标定,获得了良好的效果。     

各种格点上的端点附壁随机行走

自1905年Pearson正式提出随机行走(RW)的概念以来,在数学上已经进行了广泛深入的研究,并扩充至物理、化学、生物、工程、商业和社会科学等许多领域.由于实际应用的需要,产生了对受限RW问题的研究.其中,端点起始于某一不可穿透壁,而受限于此壁的RW,可以作为最简单的受限RW问题之一.例如,高分子吸附时形成的尾形链,蛋白质受体上环链的形成,都可直接与这类受限随机行走模型相联系.然而,这一受限RW的基本问题并没有得到系统而简明的解答.作者等曾对端基附壁RW进行了研究,但仅限于最简单形状的格点,因此有必要加以扩充,推广至各种不同的格点.本工作表明,格点的几何特征容易与扩散方程中的扩散系数相联系,从而可以导出允许路径的密度函数及行走均方末端距等基本数学物理量.     

晋陕黄土丘陵区土地利用与土壤侵蚀动态机制仿真研究

晋陕黄土丘陵区土壤侵蚀严重,不合理利用土地是导致侵蚀加剧的主要原因.关于土壤侵蚀预报,国内外有大量研究,多采用回归或相关方程预测田块、农场等小范围侵蚀量和选择农业措施.作者首次用仿真模型按系统运行和调控机制模拟大区域土地利用与土壤侵蚀的长期动态变化. 类似研究未见报道.     

三峡工程中的升船机设计风速的确定

采用三种概率分布模型对三峡升船机的设计风速进行了研究，并用柯尔莫戈洛夫检验对各种概率分布模型的合理性进行了检验，确定了升船机的设计风速。     

联合循环蒸气系统局部变动的定量分析研究

对联合循环的蒸气系统进行了热力分析和推导，提出了作功系数的概念，进而建立起联合循环蒸气系统局部定量的新方法，并用它对实际蒸气系统的偏差因素进行了定量分析．研究结果为联合循环蒸气系统的设计提供了分析方法和理论依据     

弹性横梁支承的可倾瓦推力轴承的静态分析

对推力轴承的周向负荷分配规律及推力瓦的静态工作点进行了研究．建立起系统的平衡方程式，计入了推力盘倾斜及推力瓦支承弹性横梁的影响．定义了可倾瓦的刚度系数，找到了可倾瓦与固定瓦油膜厚度之间的对应关系，从而利用固定瓦的计算结果来求得可倾瓦的静态特性及刚度系数．在Ｎｅｗｔｏｎ迭代法的基础，利用可倾瓦的刚度系数，在Ｎｅｗｔｏｎ迭代法的基础上，利用可倾瓦的刚度系数，求解非线性方程组．结果表明，推力盘的静态倾斜将引起各推力瓦负荷及静态工作点的很大变化．文中的工作可作为推力轴承广义热弹流分析及推力轴承－转子系统动力学研究的参考．     

证券资产动态定价模型与机制研究

从新兴市场动态多变的基本特征出发，根据现代Ｉｎｔｅｒｔｅｍｐｏｒａｌ组合理论的思想方法，重点研究探讨了资产（证券）的收益、需求以及预算约束的动态特性及方程，深入分析了证券市场定价的动态机制．在此基础上，又进一步研究提出了在可行集状态可由单一变量描述的情况下的资产定价动态均衡模型．与传统的ＣＡＰＭ理论不同，本模型表明在动态市场环境下，资产价格与可行集变化情况密切相关     

ATM网络中的信元队列管理模型研究

在ＡＴＭ网中，为了同时对信令信元提供服务，本文建立了一种接近宽带综合业务数字网（ＢＩＳＤＮ）的信元级服务排队Ｇ／Ｇ／１（Ｒ）模型，并利用Ｚ变换进行了数学解析。同时进行了计算机模拟。计算机模拟的结果表明了仿真与理论的一致性。     

张巨河复杂断块区构造变形物理模拟

根据三维地震剖面精细解释所得到的构造模型和相似理论，并结合实验工艺的要求，设计了张巨河复杂断块区两个系列的实验开．１．有刚性块基底的不均匀伸展模型；２．不均匀伸展和上拱作用叠加的实验模型。实验结果表明，前者无例外地出现“多米诺”式的反向断层，呈现垒，堑交替分布的特征，与该区所具有的阶梯式下掉的系列断块的特征不符；后者成功地模拟了张巨河地区的构造特征，剖面的主要特点包括张东垒块，阶梯式断块，断层产状