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记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
A speaker verification system based on support vector regression machine (SVR) is presented in this paper.
提出一种基于支持向量回归机的说话者确认方法。
应用推荐