基于博弈论框架的自适应网络入侵检测与响应

首先建立了一个简单的入侵者与入侵检测及响应系统之间的博弈模型,推导出博弈双方的最优混合策略,得到模型中各方参与者的优化问题的解,并给出了相应的物理解释。通过对参与人的成本收益情况进行分析,得到系统在各种入侵情况下报警率、响应率、惩罚尺度等因素之间的函数关系,从而给出能够动态调整安全策略的自适应入侵响应策略。然后,考虑到现有商用入侵检测及响应系统中固有的缺陷,例如不可能百分之百对入侵做出成功响应等问题,对上述模型进行了扩展。     

国际合作碳减排机制模型

开展清洁发展机制(CDM)项目活动可促进中国的可持续发展.为了研究未来全球碳市场的情况,分析了为实现<京都议定书>目标附件I国家所需的碳减排量以及主要国家或地区碳边际减排成本曲线,开发了一种国际合作碳减排机制模型.该模型能处理完全竞争以及前苏联与东欧、中国、印度等垄断的碳市场结构.结果表明 中国、印度具有全球总CDM潜力的70%左右,若形成寡头垄断,则对碳市场有重要影响; 各种可能的碳市场结构下, 2010年碳排放均衡价格在0～66美元*t-1之间,全球和中国的CDM以碳计的排放潜力分别在0～210 Mt和0～120 Mt之间.因此,中国应抓紧时机在提高能源效率、开发新能源与可再生能源以及回收利用甲烷和煤层气等重点领域积极开展CDM项目活动.     

管式反应器中四氯化钛燃烧的热力学分析

针对 TiCl_4 在氧中燃烧获得TiO_2 的管式反应器特点,建立过程的热力学研究方法,导出系统平衡温度和平衡转化率计算式,推定反应表观频率因子。对年产 1000 t工业试验规模的反应系统进行计算,得出不同边界散热条件下反应流动过程的 TiO_2 平衡转化率和介质平衡温度,与试验结果基本吻合。这一方法避开反应动力学等过程机理的复杂因素,更适用于开发研究。     

面向对等网络SEInR传播模型的理论分析

针对现有传播动力学模型不能准确描述对等(P2P)网络文件传播过程中的问题,对现有SEIR模型进行了改进,并为此建立了SEInR传播动力学模型.根据SEInR模型的动力学方程组建立了基本再生数的计算公式,用来研究传播模型的无病平衡点和有病平衡点,同时对平衡点的存在性和稳定性进行了详细的理论分析和数学证明.通过对模型中的各种参数变化的仿真分析表明,所提模型能够更准确地模拟P2P文件的传播过程,模型参数能够对P2P文件传播过程中的影响因素进行准确的描述.     

氧化硅纳米多孔材料表面的水蒸气吸附动力学研究

采用称重法对氧化硅纳米多孔材料在温湿环境中的水蒸气吸附规律进行了实验研究.在25℃分别测定了不同孔隙率的材料在水蒸气相对蒸汽压为0.3～0.9范围内的吸附动力学曲线.分别采用不同的多层吸附等温式对材料的吸附等温线进行拟合,提出了一种双指数衰减动力学吸附模型方程,并和准一/二级动力学吸附模型一起对实验结果进行了拟合.结果表明:Redlich-Peterson、Fritz-Schlünder吸附等温式和BET多层吸附模型的拟合相关系数较大;BET多层吸附模型的拟合参数可给出单层饱和吸附量和吸附层数,吸附等温线由单层到多层存在临界点,具有明显的物理意义;氧化硅纳米多孔材料对湿空气中水蒸气的动态吸附过程可由双指数衰减模型来描述,与实验数据的相关系数在0.99以上,在整个吸附过程中均与实验数据拟合良好.     

一个具有四翼混沌吸引子的新系统及其参数辨识

研究了一个新的复杂的四维混沌系统,该系统每个方程中包含一个三次乘积项,有9个平衡点,它们相对于原点和坐标轴具有完美的对称性,并且相对于线性特性有很好的相似性.基于稳定性理论,通过选取正确的初始值和合适的观测器,迅速、精确地辨识该系统的未知参数.此方法可以推广应用于一类连续动力系统.数值仿真证明了该方法的正确性和有效性.     

博弈论中某些概念的辨析

近年来,博弈论几乎成为了西方经济理论的一部分,在国内当前流行的教材中也用大量篇幅介绍博弈论相关内容.但是在某些教材中对基本概念解释存在错误,这使得对相关理论的分析与说明都出现了问题.分析了博弈论中策略等概念,探讨了相关内容的理解问题,纠正了某些文献中对相关概念的误解.作为数学应用,＂博弈论＂仅仅是为各种设定的场景构建数学模型,其结论都是有严格限制的.     

基于Lyapunov理论的运营期地铁隧道沉降稳定性分析

针对运营期地铁隧道沉降稳定性分析中存在的不足,在Lyapunov理论的基础上,利用主成分分析法,选取地铁隧道沉降的主要影响因素作为地铁隧道沉降系统的状态变量,通过数据反演的方法构建地铁隧道沉降系统的动力学模型,并给出地铁隧道沉降稳定性分析判据。实例计算结果表明,基于Lyapunov理论的运营期地铁隧道沉降稳定性分析方法是合理且可行的,可为类似工程提供参考。     

一个有理差分方程解的存在性和稳定性

作者考虑了一个分母含有二次项的有理差分方程.应用线性化方程理论,作者证明了解的存在性和稳定性,并在一定条件下,证明了该方程所有的正解都收敛到唯一的正平衡点.所得结果证明了Sedaghat提出的一个猜想是正确的.