基于B+树的BPEL流程异常处理机制研究

Web服务组合具有松耦合、自治性的特点,BPEL规范中的异常处理机制也不完善,于是BPEL流程中的异常处理方法是研究的一个主要问题。针对该问题,在流程运行阶段处理异常的一些通用的策略的基础上,提出了基于B+树的等价服务替换算法,分别阐述了BPEL中同步和异步调用Web服务产生异常的情况,最后构架了一个异常处理的系统框架原型。     

基于推广的最优停时理论的永久美式期权定价

由于美式期权可在其有效期内的任何营业日进行交易,从而其在实际交易中有着更为广泛的应用。因此美式期权的定价对期权市场参与者来说是十分重要且有意义的。为了能更好描述现实金融数据的NIGLevy过程的情况,得到了参数λ的关于t的表达式,本文对B-S的最优停时理论进行了推广。研究在标的资产价格的对数收益服从NIG-Levy过程的条件下,通过Esscher转换找到等价鞅测度;并利用最优停时的方法,给出NIG-Levy过程下推广的最优停止的方法。从而利用这些条件和方法,给出一种特殊美式期权——永久美式看涨期权的定价公式。同时,对此过程进行了实证研究分析,结果表明本文的方法是可行的。     

两类n+3阶n色的色唯一图

用Tn(a,b,c)表示完全图Kn及其外一边uw作一些边后得到图,使|N(u)∩V(Kn)|=a,|N(w)∩V(Kn)|=b,|N(u)∩N(w)∩V(Kn)|=c.Tn(a,b,c)的边uw剖分一个顶点v得到的图为Fn(a,b,c).研究Fn(a,b,c)的色性问题,并给出Fn(a,b,c)是色唯一图的两个充分条件.     

Φ形图簇的伴随分解定理及其补图的色等价性

本文运用图的伴随多项式的性质,讨论了图簇ΦS（（k n＋1）δ,nδ）∪2kSδ的伴随多项式的因式分解定理,进而证明了它们的补图的色等价性.     

等价无穷小代换在求函数极限教学中的应用

本文通过具体实例列举了利用等价无穷小代换求极限产生的错误及原因,强调了等价无穷小替换方法的应用条件,对学好高等数学具有重要意义。     

关于一类一般非线性变分不等式组

设H是一个实的Hilbert空间,在H中引入了一类新的带有Lipschitz连续,强单调和松弛单调映射的一般非线性变分不等式组,利用投影的方法,建立了此类一般非线性变分不等式组与一个不动点问题的等价性是本文的主要工作,该结果推广了已知的一些结论。     

解析几何教学中应注意的几个问题

指出了解析几何常用教材、教学参考书中存在的解法不通用、应用代数条件不准确、消参数忽视等价性等几处瑕疵,相应地提出了解析几何教学中应该注意的几个问题.     

一个含参数且非齐次核的Hilbert型积分不等式

应用权函数的方法及实分析技巧,建立一个具有最佳常数因子的含参数且非齐次核的Hilbert型积分不等式,还考虑了其等价形式与相应逆式.     

自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

关于Γ-半群上的模糊同余

本文将半群上的模糊同余推广到Γ-半群上，定义了Γ-半群上的模糊同余并给出了包含在Γ-半群上的模糊等价关系中的最大模糊同余。