多项式求解的OFDM连续信号的峰均比估计算法

在OFDM信号中峰均比估计问题中,通常采用过采样的离散信号来逼近连续信号,用离散信号的峰均比来近似连续信号的峰均比。在基本过采样公式的基础上,研究了末尾补零的IFFT和中间补零的IFFT两种常用的插值过采样算法的数学关系,比较了这两种方法对于连续信号的逼近性能。同时为得到更精确的PAPR值,通过将非线性方程的求根转化为多项式方程求解,设计一种直接针对连续信号高效峰均比估计算法。仿真结果表明,这种新的估计算法是精确而有效的。     

基于FFT的三维CAD模型形状描述

针对三维CAD模型,以快速傅立叶变换为基础,建立了一种CAD模型几何形状描述方法.首先,在对模型几何面进行统一表示的基础上,根据模型边界表示中的面片邻接信息,采用完全图旅行商回路算法建立模型的面片序列,并由参考模型保证面片序列的一致性;然后,根据面片序列将模型几何信息转换为5个一维离散信号,并对信号进行采样和幅度缩放,通过快速傅立叶变换(Fast Fourier Transform,FFT)将信号转换到频域,以频域振幅作为三维CAD模型几何形状的描述.如果忽略面片序列引起的偏差,该方法描述模型几何形状的能力与FFT描述离散信号的能力类似.通过实例阐述了描述方法的直观可解释性.     

参数辨识在陀螺仪性能分析中的应用

基于挠性陀螺仪动力学模型, 研究参数辨识在陀螺仪性能分析中的应用方法。在论述挠性陀螺仪性能指标和力学模型的基础上, 利用伪随机多谐波信号作为激励信号, 通过零阶保持器将离散模型转换为连续模型进行参数辨识。实验结果显示, 模型预测输出与实际测量数据的拟合度达到95. 3%, 残差在合理的公差带以内。因此, 参数辨识是陀螺仪性能分析中的一个有效性方法, 可为陀螺仪故障分析和控制回路设计提供一种技术手段和理论依据。     

大滞后系统数字内模控制器的设计及仿真研究

对于带有严重纯滞后的工业对象,目前的控制策略是史密斯预估控制,或者是内模控制,他们都要使用连续域的数学模型。而在目前的对象辨识中,辨识出来的对象往往是离散形式的数学模型,这就需要连续到离散模型的转换。在转换的过程中,难免会出现一些偏差,使得辨识出来本来就不是很精确的数学模型变得更加偏离实际系统,进而使得控制效果不尽理想。该文针对这种情况,提出一种基于离散对象模型的数字内模控制（DIMC）算法。该算法直接利用对象辨识给出的离散模型,导出离散的内模控制器,直接用于工业生产的计算机控制。仿真结果表明,该方法能克服被控对象参数变化和时滞变化对控制性能的影响,具有很强的鲁棒性能。     

PDE融合方法的两种离散方案的比较研究

基于Pop.S等提出的基于偏微分方程（PDE）的连续图像融合方程,提出了一种新的离散化方案,将原来的先计算梯度再求散度的离散化方案变化为直接计算拉普拉斯的离散化方案,对方程的正则化项进行相应的调整。将这两种离散化方案分别对一些一维信号和二维信号进行融合对比实验,实验结果显示：对所有的测试信号,新方案都能进行有效的融合;对某些测试的一维和二维信号,新方案能够加速信号的收敛过程并且使得到的融合图像在质量指标上比原方案有提高;而对某些测试信号,新方案与原方案在输出信号的收敛速度上和输出图像的质量指标上也是十分接近的。     

模拟预测滤波器的设计与分析

设计了一种具有特殊的窄带信号模型预测性能的模拟连续时间滤波器。该滤波器是通过离散时间区域中使用模型传递函数设计的具有有源RC的结构。     

信息论(三) 第三讲 信道和信道容量

信道是载荷着信息的信号所通过的通道,如图?—1所示。图中A区间可视为射频(或载被)的连续信道,C区间对模拟通信仍是连续信道,而数字通信则为离散信道。B区间对模拟通信是连续信道,对数字通信则是半离散半连续信道。     

基于连续混沌系统的低旁瓣雷达波形设计*

线性调频波(LFM)为了降低旁瓣而进行加窗处理,这导致信噪比损失;目前的非线性调频(NLFM)信号中有很多是离散混沌调频信号,自相关旁瓣也较高。针对这一问题,提出利用初始值优化过后的连续混沌系统的变量进行调频,可获得自相函数旁瓣低至-3953 dB的调频信号。仿真结果表明,相比于加窗后的线性调频信号、离散混沌调频信号和离散混沌调相信号,连续混沌调频信号具有更好的旁瓣抑制效果,并且保持了混沌信号固有的抗干扰性能（ECCM）。     

带数据约束实时系统的模型检测

带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个模型中的规范及验证研究较少。文中提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的ZIA规范,并给出它的时序逻辑。MARTE是UML在嵌入式实时系统领域的建模规范,在工业界的应用非常广泛,但是目前对其模型检测的研究较少。在MARTE的基础上扩展Z,提出了Z-MARTE,并将Z-MARTE转换为基于连续时间的ZIA模型,在实现对连续时间ZIA模型检测的同时,也实现了对Z-MARTE的模型检测。最后通过一个实例进行验证,说明此方法可行有效。     

Ptolemy离散事件模型形式化验证方法

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.本文提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不同事件的时间戳触发组件,时间自动机模型能够表达这个特征,因此选用Uppaal作为验证工具.首先定义了离散事件模型的形式语义,其次设计了一组从离散事件模型到时间自动机的映射规则.然后在Ptolemy环境中实现了一个插件,可以自动将离散事件模型转换为时间自动机模型,并通过调用Uppaal验证内核完成验证.最后以一个交通信号灯控制系统为例进行了成功的转换和验证,实验结果证实了该方法能够验证Ptolemy离散事件模型的正确性.     

一种基于离散时间的NHPP软件可靠性增长模型

基于非齐次泊松过程的软件可靠性增长模型按时间域可分为连续时间模型和离散时间模型两类。现有的软件可靠性增长模型大多都是针对连续时间构造的,在一定程度上忽视了对离散时间模型的研究。利用概率生成函数构建两种基于离散时间的软件可靠性增长模型——基本模型和扩展模型,具有很大的实用性和必要性。构建的扩展模型以不完美排错情形作为基础,考虑到了由于故障排除而有可能引入新故障的问题,同时还考虑到了在软件排错过程中由于测试团队的熟练程度而引起的软件故障排除率的相对变化情况,这使得提出的模型更加符合实际。最后利用两组公开发表的     

流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

OFDM信号循环谱分析及参数估计*

针对在无线电监测和认知无线电系统中,信号参数估计这一重要问题,证明了OFDM信号具有循环平稳性的必要条件是加循环前缀或有非矩形脉冲成型,并以线性周期时变变换(LPTV)模型为基础,推导了OFDM信号的循环谱表达式。通过对连续信号和离散信号进行计算机仿真,都得到了相同的OFDM信号循环谱图,实现了OFDM信号符号周期的估计,结果与理论分析相吻合。     

连续控制系统的数字化

本文讨论连续-数据系统转换为数字控制系统问题,其目的是导出综合数字控制器的脉冲传递函数的计算机辅助方法。通过将数字控制系统的频率响应与连续系统的频率响应间加权均方差最小来实现这种转换。数字控制系统的离散频率响应是通过在系统的输出端放置周期为 T 的虚构的     

混合系统剖析,描述与建模

混合系统是一种离散和连续构件交织的系统。通常以微分方程为连续模型，以离散事件系统或自动机为离散模型。通过分析混合系统的微观结构，文中提出了面向系统设计的描述语言ＤＤＬ。它能直观、精确刻画混合现象，方便设计决策描述，而且通过控制器符号与系统指称约束的延迟，为系统设计带来很大的灵活性。由ＤＤＬ描述的混合系统，经内部通信隐藏和系统单步协调积，可转换为混合变迁系统。     

离散时间系统零动态的研究现状和未来挑战

在数字控制系统的分析与设计中, 零动态是一个被广泛关注的重要概念, 近年来取得了诸多新的理论与方法进展. 本文首先描述了离散时间系统零动态理论的研究背景和研究意义, 同时简要介绍了离散时间系统零动态理论所涉及到的3个相关问题, 如: 信号的采样与重建、连续时间系统的等价离散时间系统模型以及在离散连续时间系统过程中所需要的工具(q算子和±算子). 其次, 立足现有文献, 针对离散零动态的特点, 从线性离散时间系统和非线性离散时间系统两个方面全面而深入地介绍了近年来离散零动态研究工作的进展. 最后分析了零动态在数字控制系统分析与设计中的局限性以及出现的挑战性课题, 并指明未来工作的研究方向.     

低信噪比信号的连续与离散小波变换比较研究

详细介绍了离散小波变换与连续小波变换的发展历程及其基本原理,并对强背景噪声干扰下的碰摩信号分别采用这两种方法所达到的效果进行了研究和比较.发现在采用离散正交小波多分辨分析过程中,各层分解信号的非稳态特征几乎被噪声淹没,以致无法进行有效分析;而连续小波变换具有比离散小波变换更加细致的尺度空间,它在强噪声背景的干扰下,依然可以得到比较满意的分析效果.     

分数阶离散灰色GM(1,1) 幂模型及其应用

针对GM(1,1)幂模型时间响应式由离散估计到连续预测所存在的固有误差,建立离散灰色GM(1,1)幂模型,并将该模型扩展为分数阶离散灰色GM(1,1)幂模型;以最小化平均相对误差为目标、参数之间的关系为约束条件,构建关于序列累加阶数和幂指数的优化模型,并运用量子遗传算法确定模型的最优累加阶数和幂指数。通过对高速公路地基沉降和中国高新技术产业R&D发展两个实例的预测结果表明,分数阶离散灰色GM(1,1)幂模型具有良好的建模精度。     

基于离散面片的层次化装配模型

提出了一个基于离散平面的层次化装配模型。通过将一般CAD模型进行零件曲面离散、信息转换等操作建立离散面片模型，并给出了曲面离散化的方法。离散面片模型大大提高了装配规划中干涉检查、碰撞检测及显示等方面的效率。     

具有均匀量化器的非线性网络控制系统的一致有界性

建立一种非线性连续被控对象、系统总时延小于一个采样周期的网络控制系统连续模型.通过线性化及离散化的方法将非线性系统转换一种离散化的模型.利用Lyapunov稳定性理论和线性矩阵不等式方法,设计控制方法使系统稳定.在系统包含均匀量化器的情况下,设计控制方法使系统一致有界.通过调节量化器的误差范围,可以将系统状态控制在一定的范围内.实际中,据此可设计相应的量化级别及编码长度等参数.通过仿真验证控制方法的有效性,并分析了量化误差对系统收敛性的影响.