国家自然科学基金(60223005)
- 作品数:3 被引量:19H指数:2
- 相关作者:孟维亮吕伟伟吴恩华薛盖超林惠民更多>>
- 相关机构:中国科学院软件研究所澳门大学中国科学院研究生院更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划中国科学院知识创新工程更多>>
- 相关领域:自动化与计算机技术更多>>
- 移动进程的空间逻辑被引量:7
- 2004年
- 提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动进程是否具有用该逻辑公式所描述的性质,并证明了该算法的正确性.
- 林惠民
- 关键词:空间逻辑模态逻辑操作系统
- 基于SCC空性检测中状态空间的缩减方法
- 2008年
- 对Couvreur提出的基于强连通图的空性检测算法进行改进,使基于嵌套的深度优先搜索与基于强连通图搜索算法的优势结合起来,在对基于迁移的扩展(具有多个可接受条件)Büchi自动机进行空性检测过程中,使用一个布尔变量标识一个状态,不仅节省了内存消耗,而且一般情况下的性能明显优于已有的算法,最坏情况等同于Couvreur的算法.同时反例寻找过程等同于基于强连通图的检测算法.
- 晏荣杰张文亮唐稚松
- 基于GPU的近似软影实时绘制被引量:12
- 2009年
- 通过对阴影图算法进行扩展,提出一种完全基于GPU的近似软影实时绘制算法,它是一种3遍算法:第一遍从光源中心计算场景的深度图;第二遍采用几何着色器提取物体的轮廓边,同时在轮廓边上生成新的几何图元,利用硬件自动插值功能向外绘制线性近似半影图,并根据第一遍得到的深度图在像素着色器中对背面轮廓形成的半影区进行剔除;对于重叠的半影区设定片元的伪深度值,利用硬件进行自动融合.第三遍分别查询深度图和半影图,确定场景的本影区以及半影区中像素的亮度,从而得到面光源照射下场景的近似软影效果.
- 吕伟伟孟维亮薛盖超吴恩华
- 关键词:软影几何着色器