保费调整模型的研究

在分析保险累积损失和有效投资的基础上 ,利用倒向随机微分微分方程 ,建立了以投资收益相支持的保险价格调整模型 ,并对两种常见类型的保险进行了保险价格调整分析 .对保险人通过投资改变其保险市场竞争地位有积极的作用 .最后 ,用释例进行了说明 .     

动态STDP突触系统模型设计与验证

神经突触的STDP（Spike Timing Dependent Plasticity）机制被认为是脑神经网络中最重要的机制之一，最有效的模拟STDP神经突触的方法是建立神经突触的离子通道的动力学模型。目前的STDP突触系统建模均存在一定的缺陷，不能很好地解释STDP机制的细胞分子生物反应原理或者得到STDP的时间非对...     

关于垂足三角形的一个重要恒等式

给出了垂足三角形一个重要恒等式的证明,并给出这个恒等式的一些推论,其中包括与Ptolemy定理等价的“三弦定理”.最后,提出了有关垂足多边形的一个猜想.     

岩壁变形条件下结构面法向变形特征

开展了无周边约束条件下不同岩壁厚度结构面法向变形试验,结合结构面-岩壁系统刚度与系统厚度之间关系,得到了不同岩壁厚度条件下结构面-岩壁系统整体刚度的变化特征,以及岩体结构面刚度与结构面厚度.分析了不同周边约束条件下结构面刚度与闭合量之间的关系,提出了考虑岩壁变形条件下结构面法向变形本构模型及其适用条件.进一步讨论了岩壁-结构面系统的结构和材料特征,分析了结构面法向刚度合理试验方法的重要性.本研究将有利于加深对结构面法向变形特征的理解与认识.     

具有迷向S-曲率的指数度量

研究了Finsler几何中一类特殊(α,β)-度量-指数度量F=αeks的S-曲率性质.笔者通过把指数度量的S-曲率与其特殊S-曲率的表达式进行比较,采用代数方程公式运算的方法,分析方程因式指数的变化,得到了指数度量具有迷向S-曲率的充要条件:指数度量具有迷向S-曲率当且仅当它具有迷向平均Berwald曲率.此时,该度量的S-曲率为零,且是弱Berwald度量.结论表明:对于这类特殊的(α,β)-度量来说,它的曲率性质较简单,即它有迷向S-曲率等价于它有迷向平均Berwald曲率,等价于它具有为零的S-曲率.     

两阶段有向网络马尔可夫系统维修模型与分析

根据实际管道有向网络系统,作者构造了两阶段有向网络马尔可夫维修系统.对组成系统的边以及系统的状态进行了分析,运用求解指标的一般方法和Laplace变换,对模型的可靠性指标进行了求解,给出了边与系统瞬时可用度、瞬时故障频度、稳态可用度、稳态故障频度以及平均指标的表达式.将两部件不独立运行系统与两部件独立的系统可靠性指标进行对比,用数值示例加以说明.研究结果为有向网络的马尔可夫维修系统的进一步研究提供了基础.     

香格里拉区域大气本底站环境特征初探

介绍了香格里拉大气本底站的站址地理分布特征,分析和总结了近年来的基本气象要素特征,通过轨迹-聚类方法分析了影响该站的气流来源.轨迹分析结果表明:香格里拉区域大气本底观测站对于探讨南亚地区的大气成分远距离输送对我国西南地区的环境影响具有独特的作用.     

面向前向纠错的无线Mesh网多播差错控制协议

针对无线Mesh网现有媒体访问控制层协议进行多播时效率较低的问题,在分层信标驱动的无线Mesh网多播差错控制协议(Layer-BLBP)的基础上,提出了一种面向前向纠错的无线Mesh网多播差错控制协议———混合分层信标帧驱动协议(HLBLBP).该协议通过引入前向纠错技术和减少多播纠错时控制帧数量来降低重传次数,从而提高了用于数据传输的实际开销占整个多播过程的时间比例.仿真实验结果表明,新协议有效提高了多播网络的总体性能,提供的实际吞吐率比Layer-BLBP提高了25%以上.     

一种基于DAG图的异构可重构任务划分方法

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性.     

一个具有完备前向安全性的基于口令认证密钥协商方案

在基于网络的分布式环境中,基于口令的认证密钥协商方案是一项基本的安全防护机制.对一个已有的基于口令的认证密钥协商方案[Chen T H,Hsiang H C,Shih W K.Securityenhancement on an improvement on two remote user authentication schemes using smart cards.Future Generation Computer Systems,2011,27(4):337-380]做了安全分析,指出其易受离线口令猜测攻击,并且不具备完备的前向安全性.在此基础上,提出了一个安全性增强的远程口令认证密钥协商方案.所提出的方案继承了已有方案的优良性质,能够抵抗离线口令猜测攻击,并且具有完备的前向安全性.经过安全分析,论证了所提出的方案具有强安全性,适合于在分布式环境中对用户和服务器提供双向认证和密钥协商.