0%

上篇文章写的是Windows 10下的Rodin安装,但由于Windows电脑过于沉重,而且续航不行,难以维持2个半小时的课程,故选择在Mac上安装。

阅读全文 »

由于本学期需要学习Event-B语言。

Event-B是一种基于传统的谓词演算和定理证明的形式化语言。

需要使用Rodin进行开发,因为下载的是3.5版本的,所以需要8以上(包含)的JRE的版本。

阅读全文 »

MPR的介绍

MPR(multi-planner reformation)也称多平面重建,多重面重建是将扫描范围内所有的轴位图像叠加起来再对某些标线标定的重组线所指定的组织进行冠状、矢状位、任意角度斜位图像重组。MPR是CT三维数据呈现的重要内容,其在三维数据的任一点空间位置,采用XY、XZ和YZ三个平面切空间数据得到三个切面分别为轴状面、冠状面和矢状面,而且X/Y/Z三个轴可以绕三维坐标原点任意旋转。

阅读全文 »