关于饱和模型的讨论

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

预测支持系统中动态模型的研究与应用

介绍了一个智能预测支持系统中的动态模型生成的研究，提出了静态模型与动态模型两种模型表示方法。并对静态模型的表现形式，为产生动态模型而对方法库系统和模型库系统所作的改进，系统中心部件—模型求解控制模块、动态模型的生成进行了详细论述。     

线性规划的网络流模型及其具有整数解的条件

本文把实际问题中的线性规划模型用网络流模型等价地表示，从而使求整数解这类在线性规划中比较麻烦的问题能够找到更为有效的求解算法。另外，本文还给出了该模型具有整数解的条件