一种改进的指针安全分析算法

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.     

基于线粒体co I 基因探讨无尾目10个科的分子系统关系

运用PCR技术和相关生物软件，对大头蛙Limnonectes kuhlii和脆皮大头蛙Limnonectes fragilis的线粒体coⅠ基因全序列进行了测定与分析．结合GenBank上已公布的无尾目10个科22个物种的同源序列，以爬行纲楔齿蜥Sphenodon punctatus和密河鳄Alligator mississippiensis为外群，基于核苷酸序列（选取前两位密码子）和氨基酸序列两种数据形式，分别构建NJ树和MP树．结果表明：系统树将无尾目10个科分为两大支，一支为新蛙亚目Neobatrachia的5科15个物种，一支为古蛙亚目Archaeobatrachia的5个科9个物种（其中包括锄足蟾科Pelobatidae和负子蟾科Pipidae），并推测这两个亚目均为单系群．古蛙亚目一支内的盘舌蟾科Discoglossidae与铃蟾科Bombinatoridae亲缘关系较近；新蛙亚目内蟾蜍科Bufonidae与雨蛙科Hylidae，蛙科Ranidae与树蛙科Rhacophoridae两两亲缘关系较近．蛙科中泽陆蛙Fejervarya limnocharis与大头蛙属3个种首先形成姐妹群，表明其较近的亲缘关系，同时推断大头蛙与福建大头蛙Limnonectes fujianensis亲缘关系近于脆皮大头蛙．     

Logistic-Hull-White随机波动率期权定价

研究了标的资产的随机价格波动率,在引入Logistic-Hull-White随机波动率模型的基础上,推导出在该模型下的欧式看涨期权定价理论,并进一步实证分析了该模型的有效性.     

水蒸气超高温热泵系统的实验研究

近年来以低温室效应(GWP)的制冷剂的蒸汽压缩式高温热泵一直是余热回收领域的研究热点.为获得更高的输出温度,本课题组搭建了一台采用自然工质水作为循环冷媒的超高温热泵样机并进行了实验测试.实验结果表明蒸发温度为80℃,冷凝温度从115℃升至145℃时,热泵的COP从4.88降至1.89.在85℃蒸发,117℃冷凝时,最高...     

出生率与年龄段有关的生灭分枝树

本文基于生灭过程的生灭演化机理, 将生物繁衍过程描述为有向随机图过程-随机分枝树, 建立了出生率与年龄段有关的生灭分枝树演化模型. 本文研究了任一节点在不同年龄及临死时刻的出度分布、虚出度分布和拟出度分布, 并证明了拟出度过程是随机时刻终止的Poisson过程, 讨论了首生年龄及相对出生年龄的分布, 给出了任一节点成为孤立节点的概率.     

社会化商务中消费者感知推荐信任的聚类方法研究

新兴社会化商务社会中人与人之间的高交互性及推荐信息的海量化和高动态性,对平台分析消费者感知信任提出了新的挑战。然而,对推荐信息进行聚类难以体现消费者主观性及主体间关系。本文将感知推荐信任聚类问题转化为复合网络划分问题,将主观逻辑方法与基于Normal矩阵的谱平分方法相结合构建社会化商务中消费者感知推荐信任的聚类方法。首先,将推荐信息转化为感知推荐信任,然后,从社交网络中抽取感知推荐信任相似度与关系亲密度网络,并构建Normal矩阵用谱平分方法进行划分。最后,通过多组仿真实验证明了该方法的实用性和有效性。该方法能够为社会化商务中消费者信任的分析提供新视角,为平台制定精准化营销策略提供支持。     

Slodkowski定理的Chirka证明的一些注解(英文)

通过在一个积分算子上运用Schauder不动点定理,Chirka对Slokowski的全纯运动扩张定理提供了一个优美的简单证明.本文中,作者对构造此证明的启发提供一个参考同时用此方法通过不同方式来构造全纯扩张.一个自然的问题是研究这些用不同方式得到的全纯扩张是否相同.因此对全纯扩张唯一性已有的判断法提供一个简单的综述.最后介绍在全纯扩张唯一性存在时的一个应用.     

主成分分析法在产业关联度研究中的应用

在产业经济学中，影响力系数和感应度系数是常用的评价产业部门拉动作用和推动作用的方法。本文针对影响力系数和感应度系数的缺陷，采用主成分分析法对投入产出表中的完全消耗系数进行研究，分析产业关联度，以确定国民经济主导产业。最后以中国1997年投入产出表为例进行了分析。结果表明，本方法更加符合实际，具有重要的参考价值。     

基于GARCH方法研究非效率投资中金融冲击的影响机理

代理理论认为,在动荡和不确定环境下,管理者会做出偏离企业价值最大化的非效率投资行为。为探究金融冲击这个带有不确定色彩的因素,是否会恶化企业非效率投资行为,论文先是使用一个数学模型来说明金融冲击与非效率投资的可能关系,而后以GARCH方法的条件异方差来度量金融冲击的潜变量股市冲击、货币冲击和汇率冲击。最后,实证检验了这三个金融冲击潜变量和非效率投资的关系。研究发现:货币冲击和汇率冲击会显著提升非效率投资,而股市冲击能够显著降低非效率投资。进一步研究表明,货币冲击和汇率冲击会通过显著增加过度投资来加大非效率投资行为,而股市冲击则通过显著减少投资不足来达到降低非效率投资行为。     

资源受限下森林火灾应急救援多目标调度优化

许多森林火灾由于救援资源受限而不能在第一时间扑灭,导致火灾扩大蔓延,进而造成更大的森林资源损失。因此,在救援资源受限情形下,如何对消防救援车辆进行合理的调度安排以快速和低成本地扑灭火灾已成为亟待解决的现实问题。本文研究了一类资源受限下森林火灾应急救援多目标调度优化问题,为该问题构建了多目标混合整数非线性规划模型,优化目标为同时最小化总灭火救援时间和救援车辆总行驶距离。为有效求解该问题,首先将上述非线性模型等价转化为线性模型。然后提出ε-约束法和模糊逻辑相结合的算法对问题进行求解。最后,以大兴安岭山发生的火灾案例和随机生成仿真算例对模型和算法有效性进行验证,结果表明所提出的模型和算法能够有效解决资源受限下森林火灾应急救援问题,并为决策者提供最优的消防调度方案。