1) NF Normal Form
正常形式，规格化形式，范式
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) normalized form
正常化形式
5) normal form
规格化形式
6) normal form
规范形式
1.
By analyzing the essence of iteration on the dual simplex algorithm and based on Linear Programming with normal form,this paper gains another improved dual simplex algorithm without bringing in surplus variables,which results in the same number of variables and reduced operational size.
通过分析对偶单纯形法迭代的实质,就所给LP问题的规范形式,不引进剩余变量而直接得出另一种改进的对偶单纯形法,使变量个数不增且运算规模缩小。
2.
We proved that a cost allocation function can be expressed by normal form if and only if it has anonymity, additionality and equivalency.
该文以数学方法论证了一类网络成本分配函数的性质,证明了成本分配函数具有规范形式的充要条件是它满足无记名性,可加性和等价性。
补充资料：内部审计工作经常化、系统化和规范化
内部审计工作经常化、系统化和规范化
内部审计工作经常化、系统化和规范化对内部审计工作的总要求，是提高内部审计工作效率，保证内部审计工作质量的客观要求。1.内部审计工作经常化，指建立内部审计工作的正常秩序，经常开展内部审计工作。经常化的主要内容是:①审计机构或审计人员要连续不断地开展审计工作，保持其连续性和稳定性。②审计对象都应受到审计监督:2.内部审计工作系统化，指对内部审计活动的组织、指导、控制和监督等工作的系统化，形成一套完整的内部审计业务和管理制度系统系统化的主要内容是:①从部门到单位都应当设立内部审计机构②建立内部审计准则，使之成为内部审计工作的一般守则.审计少、员必须执行，具有很强的约束力③制定并完善有关内部审计工作的政策、法规、制度、办法，形成统一、协调、配套的内部审计业务和管理工作的政策法规体系。④建立完整的内部审计理论体系，指导内部审计实践活动。3.内部审计工作规范化，指对内部审计工作的原则、程序、方式、质量标准、技术方法、文书档案等都要制定出统一的，可操作的规范要求，做到按规定行事。经济化、系统化和规范化既是内部审计工作的客观要求，也是内部审计工作的发展方间
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条