并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

高阶非线性中立型时滞偏微分方程系统解的强迫振动性

研究具有连续分布偏差变元的高阶非线性中立型偏微分方程系统，获得了系统解振动的若干充分条件。     

一类高阶非线性中立型时滞偏微分方程解的振动性

研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。     

B值随机元的连续逼近

本文首先证明了B值随机元序列几乎处处收敛与几乎一致收敛的等价性,然后用它来证明一个关于连续函数逼近B值随机元的Lusin型定理.     

双向微积-连续分部积分研究

应用微积恒等变形规律，提出双向微积一连续分部积分公式，可以快速的解决一类高次多项式与指数函数、三角函数乘积的积分问题．     

积分C半群的一种表示

用逼近的方法得出，积分C半群在满足局部Lipschitz连续的条件下可表示为一列C半群积分序列的极限，从而得出积分C半群与C半群的关系．     

L-超空间上的几乎连续集值映射

本文在L-超空间上引入L集值映射的上(下)几乎连续性及几乎连续性等概念，得到其若干等价条件，并研究了几乎连续集值映射与连续集值映射之间的关系．     

一类向量组的有趣性质及其应用

给出了一类向量组，讨论了此类向量组的一些有趣的性质，阐述并举例其在证明线性空间的有限覆盖问题中的重要应用。     

基于连续时间马尔可夫过程的证券投资策略

在假设股票价格所处状态间的转移概率连续变化情况下,得到了股票价格转移概率的常微分方程组;考虑股票在不同状态之间转移所获得报酬及股票在状态发生转移之前单位时间所获得的报酬的情况下,给出了股票在不同状态之间发生转移的总期望报酬模型·通过对总期望报酬模型进行变换得到了策略改进算法·同时得到了转移系数矩阵一般表达式,给出了针对具体股票状态转移时间间隔的指数分布并对其进行了估计·     

格值Fuzzifying连续映射的若干性质

本文讨论了L—fuzzifying连续映射，L—fuzzifying基连续映射和L—fuzzifying子基连续映射的若干性质及等价刻划．