欲建立新結構
1. 按一下 > 。「建立新的 PVS 檔案」(Create new PVS File) 對話方塊即會開啟。
2. 鍵入新檔案的名稱並按一下「確定」(OK)。即會出現一則訊息來詢問您是否要儲存結構。
3. 按一下「儲存為 *.pvs 檔案」(Save As *.pvs) 或「儲存為 *.pvz 檔案」(Save As *.pvz)。「另存為 PVS 檔案」(Save As PVS File) 或「另存為 PVZ 檔案」(Save As PVZ File) 對話方塊即會開啟。
4. 鍵入新檔案的名稱並按一下「儲存」(Save)。新檔案與「結構編輯」(Structure Edit) 工具即會開啟。
5. 將結構新增到檔案中。