A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
Gives the amendment of impedance magnitude and phase angle on AMN V-netwoks and analyses the rationale of the addition of impedance phase angle at low, medium and high frequencies.
给出了V型人工电源网络规范中对阻抗模值和相角修改的内容，并对人工电源网络使用频率范围中的低频、中频和高频增加相角规范内容的原理进行了详细分析。
Gives the amendment of impedance magnitude and phase angle on AMN V-netwoks and analyses the rationale of the addition of impedance phase angle at low, medium and high frequencies.
给出了V型人工电源网络规范中对阻抗模值和相角修改的内容，并对人工电源网络使用频率范围中的低频、中频和高频增加相角规范内容的原理进行了详细分析。
应用推荐