基于SPW-FSM Editor的CPM调制器的建模

基于SPW-FSM Editor的CPM调制器的建模

CPM调制是一种非线性有记忆调制方式，其信号内在的状态转移特性更适合于用有限状态机(FSM)来描述。SPW的FSM Editor是一个简单易用的FSM建模工具，用其生成的FSM模型可以直接用于SPW的BDE仿真环境中。本文给出了3RC-CPM信号的内在状态及其转移的分析，并对基于FSM Editor的建模过程进行了详细叙述，最后给出了完整的CPM调制器系统模型及其仿真波形。
关键词：SPW；FSM Editor；CPM调制器；有限状态机

引言
CPM(连续相位调制)是典型的有记忆调制方式，其符号间的关联特性使得这种调制方式具有不同的状态。在对CPM系统进行仿真时，首先需要产生调制信号。产生调制信号的方法有很多，最直接的方法是按照CPM信号的表达式运算得到，但需要记忆很多中间状态；还可以将所有可能的输出波形存成一张表，采用查表法得到调制信号，但需要较大的存储空间。事实上，CPM信号可以看作是一个有限状态系统，在时间轴上具有清晰的状态转移关系，根据这一特性，我们采用SPW的建模工具FSM Editor成功地生成了CPM的调制信号。由于该方法实际上是对CPM本质特性的描述，因此物理意义清晰，且参数易于修改，非常适合CPM系统的建模仿真。

FSM Editor简介
FSM Editor是SPW的一个可选工具，主要是以图形化的方式对有限状态机系统进行建模，应用对象包括控制系统、网络协议以及有记忆调制系统等。一个完整的FSM模型由状态集、状态间的转移、附加在状态和转移上的ADL(Action Description Language)文本、输入/输出端口、参数以及记忆变量构成，并且可以封装成标准的SPW模块。ADL事实上是C语言的一个子集，每一个状态的入口动作和出口动作以及每一个转移的驱动条件和执行动作都由ADL文本描述。
创建一个FSM模型包括以下步骤：启动FSM Editor；定义输入/输出端口、参数和记忆变量；创建起始状态和其它状态，每一个FSM模型都必须有且仅有一个起始状态(起始状态以双线环表示，其他状态以单线环表示)；编辑各状态属性，包括名称、描述、入口动作和出口动作的定义；创建状态间的转移；编辑转移属性，包括名称、描述、驱动条件和执行动作的定义；利用FSM Editor的Verify功能对模型进行验证；保存模型，同时生成标准的SPW模块。
模型创建完成即可以像普通的BDE模块一样添加到任何一个仿真系统中进行仿真。

CPM调制状态分析
CPM调制信号的一般表达式为：
    (1)
其中
                           (2)
T为符号周期，即波特率的倒数，e表示时间T内的信号能量，fc为载波频率，h为有理调制指数，…}为M进制发送符号序列，取值范围是…， ，q(t)为归一化相位成形波形，满足条件：
                   (3)
定义q(t)的微分形式为g(t)，则g(t)是持续时间为LT的脉冲波形，称为相位成形脉冲。如果L=1，相应的CPM信号称为全响应CPM；如果L>1，则称为部分响应CPM。
生成CPM调制信号的关键在于产生相位f(t;I)，由(2)式可得：
(t-kT)
(t-kT)

                    (4)
其中qn可以递归的方式表示为：
                     (5)
由(4)式可知，时间内的f(t;I)可由qn及{In, In-1, …In-L+1}唯一确定，因此CPM信号在t=nT时刻的状态可以定义为
…,In-L+1}    (6)
由于，因此当m为偶数时，qn共有p个，即；当m为奇数时，qn共有2p个，即，所以CPM信号的状态数为：
              (7)
以二进制CPM(即M=2)为例，其他参数如下：L=3，h=1/2(m=1，p=2)，则状态数为2pML-1=2×2×23-1=16，以(qn, In-2, In-1)格式来表示状态，16个状态分别表示为(0，1，1)、(0，1，-1)、……(3p/2，-1，-1)，各状态间的转移如图1所示，其中虚线表示当前时刻接收符号为+1，实线表示当前时刻接收符号为-1。
假定系统0时刻前的输入为I-1=1，I-2=I-3=…=0，以及q-1=0，则由(5)式可得q0=q-1+phI-3=0，因此系统0时刻的状态不同于以上16种状态，以( 0, 0, 1)表示。

建模过程与仿真波形
系统的FSM模型如图2所示。由于系统的输出(相位值)在每比特内都是一个连续变化的波形，因此输出端口必须进行适当上采样才能够体现变化趋势，本系统中采用了八倍上采样，即用八个采样点表示一比特时间内的相位输出波形。该模型的建立分为以下几个步骤：
1. 定义输入/输出端口分别为In和OutputPhase；定义参数h；定义记忆变量In-2、In-1、k和qn。
2. 创建起始状态和其它17个状态及各状态间的转移。
3. 编辑状态属性。为实现八倍上采样，每个状态除在每个符号起始时刻由输入触发外，还需利用@else条件触发其余七次，每一次的入口动作完成以下运算：
OutputPhase=

k++；
每一次的出口动作完成以下运算：
if (k==8)  {k=0;}
4. 编辑转移属性。所有转移分为三类：一是状态自身的转移，利用@else条件控制其跳转，不需执行任何动作；二是输入为+1起始时刻的转移，驱动条件为(In==+1 && k==0)，并用前一状态的In-1更新In-2；三是输入为-1起始时刻的转移，驱动条件为(In==-1 && k==0)，并用前一状态的In-1更新In-2。
5. 为克服开始阶段输入信号不稳对系统工作的不利影响，在起始状态加入边沿检测，以此作为系统工作的起始时刻。方法是将起始状态自身转移的驱动条件设为(In×In-1!=-1)，执行动作设为(In-1= In)，同时把起始状态向0时刻状态的转移条件设为(In× In-1=-1)。
6. 对模型进行验证。
7. 保存模型，生成标准的SPW模块，创建好的3RC-CPM相位生成模块参见图3。
完整的CPM调制器模型如图4所示。首先随机产生+1、-1符号序列，送给相位生成模块得到所需相位，然后对相位作正余弦运算得到基带信号，再和载波信号混频生成调制信号。由于载波信号采样率较高，为使乘法运算速率匹配，还需对基带信号进一步上采样。
分别在CPM调制器模型的输入符号、输出相位、输出相位余弦值、同相支路输出、正交支路输出、调制器输出等处设置波形观测点。各点输出波形如图5所示。

结语
本文利用SPW的有限状态机建模工具FSM Editor实现了一个CPM的调制器模型。用FSM Editor创建模型具有物理意义清晰、易于修改和扩展等特点。用FSM Editor对通信系统进行建模的关键点在于状态的提取以及对状态间转移的准确把握，只要正确地分析出所有的状态和转移，用FSM Editor建模就变得非常简单了。

参考文献
1 John G. Proakis. Digital Communications. McGraw-Hill,New York, third edition, 1995
2 J. B. Anderson,T. Aulin, and C-E. W. Sundberg. Digital Phase Modulation. New York. NY: Plenum. 1986
3 Carl-Erik Sundberg. Continuous phase modulation, IEEE Communications Magazine, vol. 24, pp. 25 - 38, April 1986
4 SPW Finite State Machine Editor User's Guide. Cadence Design Systems, Inc. March 2002