表征可能性估值的幂Domain

来源 :湖南大学 | 被引量 : 0次 | 上传用户:archer007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
不确定性现象广泛存在于纷繁芜杂的现实生活里,因而计算机程序中的非确定性计算是计算机科学的主要研究课题之一.非确定性计算和可能性计算是两种重要的计算模型,两者的语义研究已经取得了一些进展.但是可能性计算理论属于新兴领域,其很多方面仍需进一步发展与完善.非确定性计算和可能性计算的模块化语义不能很好地结合就是当前并行计算中亟待解决的问题.本文在现有的研究成果之上继续讨论非确定性monad和可能性估值幂domain的monad的结合问题,主要内容包含以下几个方面:  第一章中,介绍了计算的实质以及非确定性计算的广泛应用,简述了非确定性计算从初始地体现在设备中到后来上升至用幂domain来刻画的发展史.随后,初步介绍了可能性理论的理解和意义以及其作为前沿研究领域所获得的关注和探索.在此基础上,提出了本文的核心内容和思想并且给出了一些预备知识.  第二章中,我们展开了对非确定性monad和可能性估值幂domain的monad之间分配律的探索.首先定义了有限可能性估值monad,举例说明了有限可能性估值monad和非确定性monad之间的分配律在集合范畴,DCPO范畴以及Domain范畴上都不存在.进而证明了在这三种范畴上,可能性估值幂domain的monad和非确定性monad之间分配律也不存在.  第三章中,在集合范畴上,我们定义了表征有限可能性估值,并证明了表征有限可能性估值monad对非确定性monad的分配律是存在的,这为解决非确定性和可能性计算的模块化语义的结合问题,提供了思路.  第四章中,在Domain范畴上,我们提出了表征可能性估值幂domain,借助抽象基的性质通过过渡映射证明了表征可能性估值幂domain的monad对Hoare非确定性monad存在分配律,进一步完善了指称语义的研究.
其他文献
流体模拟是计算机图形学的一个重要分支,其作为一个重要的仿真工具,主要用来生成具有真实感的流体。近年来,流体模拟技术在影视特效制作,虚拟现实,电脑游戏等中得到了广泛的
迄今为止,李超代数及其相关课题的研究已成为数学中最活跃的领域之一.它们与李代数,同调,以及物理学等都有着密切的联系.在这篇论文里,我们主要研究了该领域的一些有趣的问题,除此
等距算子是空间理论中一个极其重要的研究对象。在研究等距算子的诸多领域中关于其保持所有距离不变的性质是否可以简化为保持某些特定的距离不变是一个十分重要的课题。Alek
图像融合就是将不同模式下获得的同一场景的各种图像数据的互补信息和冗余信息进行整合,以得到一幅对该场景更好、更准确描述的图像;图像超分辨率重建是对一幅或多幅具有互补
近几年里,有禁分拆与有禁匹配被广泛地研究,越来越多的组合数学中的经典结果被推广至分拆与匹配的研究中.本文主要研究了几类有禁分拆与有禁匹配的计数问题.文中我们主要使用了
设g为有限维半单李代数,(αij)n×n为其Cartan矩阵,则有Drinfeld-Jimbo量化包络代数Uq(g)为了研究Uq(g)的PBW基,进而研究其典范基,Lusztig给出了Uq(g)的一系列代数自同构.这些自同
作为CAGD中曲线曲面造型的重要工具,有理样条插值方法被广泛应用于几何造型中。与传统多项式样条方法相比,有理方法灵动性强,易实现区域控制。近些年来,有理插值样条作为数值逼近
本文主要研究了三类模型,一类是基于比率的Ivlev型功能反应函数的Tanner型模型;一类是在自然保护区内单种群具有阶段结构和扩散的模型;还有一类是两个捕食种群竞争捕食一个食饵
如果群G只有一个极小正规子群,则称G是一个monolith群.如果χ∈Irr(G)使G/Ker(χ)是monolith群,我们称χ是monolith特征标.记 Irrm(G)={χ∈Irr(G)|χ是monolith特征标} 我