1) redeclaration rule
重新说明规则
2) RSAI (rules,standards and instructions)
规则，标准和说明
3) RS&I (rules,standards and instructions)
规则、标准和说明
4) nested redeclaration
嵌套重新说明
5) instruction
[英][ɪn'strʌkʃn] [美][ɪn'strʌkʃən]
指示，说明(书)，细则，规程
6) Specification
[英][,spesɪfɪ'keɪʃn] [美]['spɛsəfə'keʃən]
规格说明
1.
Application of concurrency Z specification in system requirement analysis and design;
并发Z规格说明在系统需求分析与设计中的应用
2.
The Animation of Object-Z Specification in SQL;
Object-Z规格说明的SQL动画模拟
补充资料：Pro/E 工程图的重新生成
· 1.5.1. 重新生成视图及视图（Regenerating Views and Drawings ）
重新生成工程图，不仅仅重画视图，而是对模型进行整体的“再生”，即重新计算模型的每个尺寸，然后再“重画”一回视图。而选择“REDRAW按钮，并不能重新生成模型。
如果在视图中，你添加的尺寸（使用create-dimension命令），这些尺寸均被成为“driven dimensions”,即被驱动的尺寸，当模型的尺寸改变时，这些尺寸或自动改变。因此，我们只有使用Regenerate命令，才能更新这些尺寸
· 1.5.2 重新生成视图Regenerating a View
在菜单view-regen view中，并且和config的选项“auto_regen_views.”一起使用：
· 1.5.3 关于config的选项“auto_regen_views.”>>见配置文件config.pro
· 1.5.4 在修改模型后重新生成工程图 Regenerate a Drawing View After Making a Change to the Model
选择菜单：View > Regen View ；选择视图，选择done sel,
或选择菜单View > Regen View > All Sheets
或使用菜单：regenerate-model
· 1.5.5 重新生成模型尺寸
使用菜单regenerate-model或regenerate-draft
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条