具有左R-模结构的类型及其范畴逻辑模型

以范畴逻辑与类型论为基础,引入类型中的交换群理论、环理论以及左R-模理论.证明了类型中的交换群理论在满足分配律的范畴中的模型是交换群对象,环理论的模型是环对象,左R-模理论的模型是左R-模对象,并给出左R-模理论在集合范畴和层范畴等几个具体范畴中的模型.     

基于模糊收益率的投资组合模型构建及应用

投资组合理论是现代化投资管理活动的理论支持,广泛应用于证券投资领域.将模糊集理论与投资组合理论相结合,建立基于可能性理论和机会测度的投资组合模型,并用混合智能算法对模型求解.选取上证50指数成分股近两年的交易数据对模型进行实证分析.结果显示,模型构建的投资组合收益率优于经典模型收益率和上证50指数同期收益率,模型显著有效.     

集体行动的阈值模型

主要讨论集体行动的特征,社会机理,集体行动研究的主要两类模型阈值模型和效用模型.然后,综合考虑两类模型的优缺点并引入心理阈值理论,在经典Granovetter阈值模型基础上给出了一种融合心理学阈值理论和经济学效用理论的集体行为阈值模型.并在考虑群体空间因素和朋友社会影响强度条件下对所提出的模型进行了仿真研究,得到了集体行动的相变临界值,均衡点(达到平衡状态后参与数量).文章尝试运用阈值理论解释骚乱暴动等激进群体行为,以及Web上群体观点极化与社会认同理论之间的联系.最后,讨论了提出的模型与Granovetter模型之间的不同及应用范围.     

基于不动点的模糊时间序列模型

模糊时间序列在解决模糊性和不确定性数据方面表现出明显的优势.为了提高模型的预测精度,将数学理论中不动点理论与时间序列模型相结合,提出了分式函数、逆分式函数、预测函数的定义,并且证明了预测函数值收敛定理.在这些理论基础上,建立了一种基于不动点的模糊时间序列模型,进一步完善了模糊时间序列理论.预测结果表明,该模型具有预测精度较高、理论完整、鲁棒性强、应用范围广的特点.     

消费需求模型的理论与应用

随着消费需求函数形式的不断丰富和复杂化,形成多种消费需求模型,广泛应用于食品需求结构分析,农产品进出口贸易等研究领域.论文通过对消费需求模型理论研究进行梳理,通过理论假设和理论约束的分析,梳理出应用较广的消费需求模型的主要类型的理论依据和数理分析逻辑,以及模型应用过程中面临的问题和各自的优、缺点.研究结论将有助于加深对消费需求模型理论与实证应用的理解,为有关消费需求的研究提供可选择的研究方法和研究依据.     

完全二叉树模型中元素的CB秩

本文以完全二叉树理论的可量词消去为基础,介绍了该理论的可数原子模型 及饱和模型,并计算了一元、二元完全型的CB秩,从而给出了CB秩在该理论中的 几何解释.     

完全二叉树模型中元素的CB秩

本文以完全二叉树理论的可量词消去为基础,介绍了该理论的可数原子模型 及饱和模型,并计算了一元、二元完全型的CB秩,从而给出了CB秩在该理论中的 几何解释.     

格值模型论中的无限力迫方法

本文把Robinson模型论无限力迫法引进格值模型论中。设Σ是语言(?)的格值模型类。我们定义了Σ中模型(?)与(?)(A)的句子间的力迫关系,我们证明了格值generic模型存在定理以及格值generic模型类(?)的一些模型论性质。本文还给出了格值力迫伴随理论,格值模型伴随理论以及格值拟generic模型类的一些基本性质。     

带有分段常数变量和避难所的天敌一害虫模型的稳定性和分支行为

研究一类带有分段常数变量和避难所的天敌-害虫模型的稳定性和分支行为.首先通过计算转化得到天敌-害虫模型对应的差分模型,利用线性稳定性理论讨论了正平衡态局部渐近稳定的充分条件.其次以害虫种群的内禀增长率或逃脱率为分支参数,利用分支理论研究了模型正平衡态处产生翻转分支周期解和Neimark-Sacker分支周期解的充分条件;并且使用正规形理论和中心流形定理构造了判断分支周期解稳定性的阈值.最后数值模拟验证了理论分析的正确性,并展示了该模型复杂的动力学行为.     

一种未血管化肿瘤生长模型整体解的证明

研究了一种未血管化肿瘤生长模型的自由边界问题,模型与此类其它模型有着明显的不同,它引入新的运动项来描述肿瘤内细胞的运动,反映了肿瘤内细胞运动的"接触抑制"性质.运用Banach不动点理论和抛物型方程的L~P理论,证明了模型存在唯一整体解.     

广义加权网络演化模型

在复杂网络BBV演化模型的基础上,采用新的赋权方式构建广义加权网络FBBV动态演化模型,给出FBBV模型的演化算法,然后对FBBV模型的性质进行理论推导,给出点权、边权的演化公式和点权、度和边权的分布规律.最后对FBBV模型进行了数值模拟,模拟的结果和理论推导结果一致.     

一类具有抑制剂的非均匀恒化器模型的共存态

研究了一类具有抑制剂和Beddington-DeAngelis功能反应项的非均匀恒化器模型.根据单调动力系统理论得到了正平衡解的存在性.利用度理论、分歧理论以及摄动理论,分析了抑制剂对系统正平衡解及渐近行为的影响.结果表明当体现抑制作用的参数μ充分大时,此模型或者没有正解,并且一个半平凡晌非负解是全局吸引的;或者模型的所有正解均由一个极限问题决定.     

一类周期模型的周期解及次调和分歧的存在性

本文建立一类病菌与免疫系统竞争的周期模型,利用重合度理论及Lyapunov稳定性理论分别证明模型周期解的存在性及稳定性,并讨论次调和分歧的存在性.     

基于稀疏重建的航空货运量模型研究

压缩感知(Compressed Sensing CS)理论广泛应用于应用数学、图像重建、信道估计以及谱估计等不同领域.在理论方面,依据压缩感知基本理论建立差分稀疏凸优化模型,并推导差分稀疏重建限制子空间特征值的稳定性条件;在应用方面,研究此模型在我国航空货运量建模与预测中的应用,以1998-2007年我国航空货运量的统计数据为基础,利用凸优化理论建立我国航空货运量的差分稀疏模型.通过拟合误差指标的详细比较可知:相对于灰色理论模型、回归分析模型,航空货运量的差分稀疏模型具有更高拟合精度.实验证明,差分稀疏理论可以为航空货运量的短期预测以及航空货运业调控提供有效理论支持.     

不同预期形式的蛛网模型及其稳定性研究

蛛网模型是动态经济分析中一个经典模型,模型中供给价格的预期形式是该模型的核心部分.随着预期理论的发展,先后出现过简单预期、外推性预期、适应性预期和理性预期等不同形式的预期.根据这4种预期形式对传统蛛网模型的扩展进行总结,比较了不同形式预期蛛网模型各自的优缺点,并推导它们的稳定性条件,从而有助于人们进一步认识蛛网模型及其与预期理论的联系.     

具有垂直传染的年龄结构SEIR流行病模型的稳定性

本文讨论了一类具有垂直传染的年龄结构SEIR 流行病模型,运用有界线性算子半群理论证明了模型本身非负解的存在唯一性.运用微分方程及积分方程中的理论和方法, 研究了该模型平衡点的稳定性,得到了无病平衡点与地方病平衡点的稳定性条件.     

国民经济系统宏观调控模型设计尝试

本文以CGE模型为基础，结合我国实际情况，综合运用投入产出分析、最优化理论，现代控制理论，设计出一个国民经济系统宏观调控模型，并探讨了该模型的调控问题。     

一类具有抑制剂和质载的非均匀恒化器模型的共存解

研究了一类具有抑制剂和质载的非均匀恒化器模型.首先,采用锥映射上不动点指标理论得到了物种共存的充分条件.然后,根据度理论及摄动理论,研究了模型正平衡态解的唯一性和稳定性.结果表明当抑制剂的影响充分大时,模型存在唯一的渐近稳定的共存解.最后,利用比较原理和一致持续理论研究了系统的长时行为,并采用数值模拟的方法对所得结论进行了验证和补充.     

基于分形B-S定价模型的认购权证价格行为实证分析

针对证券收益率呈现"尖峰厚尾"的分布特征,在分析传统B-S权证定价模型的不足基础上,本文提出了基于分形理论的B-S权证定价模型,并利用分形B-S权证定价模型和传统B-S模型分析认购权证价格变化的行为。实证结果发现,两种模型的理论价格均低估了市场价格,且低估的程度具有显著统计性,其中以分形B-S模型评价结果最接近市场价格,评价绩效好。探讨影响分形B-S权证模型理论价格与市场价格差异的主要因素,结果发现距到期日时间的长短、价内外程度以及流动性在解释价差程度上具有统计的显著性。     

云南省就业问题的趋势与控制模型研究

基于因果关系理论、因子分析理论、协整分析、自回归分布滞后模型和误差修正模型,对云南省就业问题进行了研究.建立了云南省就业的趋势和控制模型,揭示了云南省就业发展的内在规律及其与各宏观因素之间的系统作用关系.