王梦
- 作品数：2 被引量：6H指数：1
- 供职机构：广东医学院信息工程学院更多>>
- 发文基金：湛江市科技攻关计划项目博士科研启动基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 行为时序逻辑与自反线性时序逻辑的关系
- 2014年
- 为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中,对行为时序逻辑公式的语义进行形式化定义,从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系,提出并证明行为时序逻辑公式转换为自反线性时序逻辑公式的定理。按照集合论和模型论的思想,定义行为时序逻辑中项和行为时序逻辑原子公式的概念,定义Lesilie Lamport所提出的行为时序逻辑公式的语义。证明自反线性时序逻辑公理系统适用于行为时序逻辑公理系统,以此为基础证明行为时序逻辑的简单规则、基本规则和附加规则。
- 白金山冯天亮吴应江丘文峰王梦
- 关键词：行为时序逻辑语义语法自反性
- MC算法在CT医学图像三维重建中的应用被引量：6
- 2013年
- MC算法是三维重建面绘制的经典方法,采用等值面提取的方式把所需的数据分离出来进行重建。通过对MC算法的原理进行分析,结合VTK类库编程,研究基于MC算法提取CT图像病灶的方法,并通过坐标平滑的方法对算法进行改进,提高三维重建的平滑显示效果和重建速度。
- 韩成虎韩成龙王梦
- 关键词：MARCHINGCUBESCT图像三维重建面绘制VTK
