一类Markov过程不变测度的存在性及应用

本文我们讨论了一类可测Markov过程的不变概率测度的存在性,给出了一个充要条件,进一步讨论Ito过程不变概率测度的存在性.从而说明这类随机微分方程解的一些性质.

二分查找树插入和删除算法的综合推导

程序综合是根据程序规范,推导出满足此规范的程序,推导的过程就是证明的过程,从而保证了最终程序的正确性.程序规范是对程序所要完成的任务的数学描述,表明了程序的目的和应满足的性质. 我们这里借助类似于函数程序语言Miranda的一种函数语言。