ProE中的扫描特征包括以下几种形式（）。