1) normalized shape
规范化形状
2) formal specification
形式化规范
1.
Automatic translation from formal specification to system-level state transition diagram;
从形式化规范自动生成系统级状态机
2.
The formal specification approach provides the mechanisms for system modeling, spcifying and verifying in parallel.
提供了 RAID系统的清晰结构 ,以此来弥补形式化规范语言的不足 ,规范软件设计过程 ,保证程序的正确性 。
3.
PVS(Prototype Verification Systems) provides an integrated environment for developing and verifying formal specification.
原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境。
3) formalization
[英]['fɔ:məlai'zeiʃən] [美][,fɔrmḷɪ'zeʃən]
形式/规范化
4) canonical state variable
规范化状态变量
5) multi-resolution model specification
形式化描述规范
补充资料：规范化
规范化
normalization
gu一fanhua规范化(non价alization)把非规范模式(关系模式)分解为两个或多个规范模式的过程和方法。 规范化的方法是把大关系模式分解成小关系模式，把大模式中对非键码属性集的依赖变成小模式中对键码的依赖，从而消除关系模式内的不合适的数据依赖，达到简化数据库的修改和减少数据冗余的目的。例如关系模式R(工号，工资级别，工资额)中工号是键码，工资额函数依赖于工资级别而后者不是键码，所以不是第三范式的关系模式。按此模式构造的数据库中，工资级别与工资额的对应关系有大量重复(有许多职工工资级别相同因而工资额也相同)且不完整(有的级别没有职工因而也没有工资额)，若改成Rl(工号，工资级别)，R2(工资级别，工资额)，则两者都是第三范式，用此模式构造的数据库中消除了数据冗余，也完整地反映了工资级别和工资额的对应关系。一般情况下这种分解不止一种，重要的是分解过程中不能丢失信息，即根据分解后的关系能还原成分解前的关系。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条