基于OpenGL的山脉非真实感可视化算法

本文基于OpenGL,对原始地理灰度数据进行图像分割,在分析已有的提取山谷线和山脊线的算法之上,使用了一种新的提取特征线的方法,并将特征线进行非真实感绘制,突出了山脉图像的艺术特性,将图形非真实感可视化应用到地理信息绘制领域。

基于Spin的UML状态图模型检查的设计与实现

UML已经是软件建模方面的标准语言,UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高,Statechart往往包含设计者所未预料到的隐患,通过模型检查来对Statechart进行穷举检验就成为一个重要课题,首先给出了含层次、并发Statechart的语义;随后提出了对Statechart进行模型检查的一种新方法,并且已经编写软件SC2Spin实现此方法,该方法使用了提出的Statechart山脉算法和迁移提取法,可以将一个Statechart自动转化为Spin的输入语言Promela,从而验证Statechart的死锁、活锁等错误和时序逻辑公式。