分布式Alamouti空时码的信道容量分析

针对分布式Alamouti空时码（DASTC）系统的信道容量求解问题，提出了一种求解DASTC系统的信道容量闭式解及其上界的方法．该方法根据DASTC系统利用多节点联合发送信息的特点，选择距离信源节点最近的空闲节点作为中继节点构建了DASTC系统的无线中继信道模型，采用网络信息论中的最大割最小流定理，将DASTC信道模型分为广播信道模型和多接入信道模型，     

振子齿对驻波型直线超声电机振动模态的影响

本文对一类直线型驻波超声电机振子的振动模态进行了系统的分析,讨论了定子齿的位置、几何尺寸对直线型超声电机的固有频率、振型的影响,为该类驻波型直线超声电机的设计提供了理论依据。     

具有时滞的离散时间切换系统的稳定性

探讨具有时滞的离散时间切换系统的稳定性及鲁棒稳定性，分别给出判定系统稳定及鲁棒稳定的具有LMIS形式的充分条件，文中的结论也可用来设计使系统稳定的控制器．     

LDPC码在OFDM通信系统中的应用与仿真

介绍了正交频分复用(OFDM)基带传输系统及其模型,概述了LDPC的编译码方法,研究了其在OFDM系统中的性能,并与卷积码进行了比较.仿真表明,LDPC码在OFDM基带传输系统中具有更好的纠错能力.     

多输入多输出系统下行链路发射与接收的联合线性预编码

针对多用户多输入多输出系统下行链路线性预编码中的迫零法及正交化法对接收端的噪声有较强放大作用的问题，提出了一种发射与接收联合预编码的波束成形迭代法．该方法把联合预编码直接转变为波束成形问题，以惟一确定的最小范数解作为预编码矩阵，通过迭代得到各用户的预编解码矩阵．由于所得到的解码矩阵具有最小范数的特性，在解码时产生的噪声能量最小，从而有效地减少了对噪声的放大作用．同时，在基站总发射功率一定的条件下，根据用户的信道质量动态地分配功率可以使信道质量较差的用户得到较多的发射功率．仿真实验表明，所提出的方法与迫零法相比，在相同的仿真条件下，在平均误比特率为10^-4时可以获得约9dB的性能增益．     

基于最小特征根的相对效率

对线性模型的最小二乘估计(LSE)与最佳线性无偏估计(BLUE)定义了一种新的相对效率,新的相对效率定义为最小特征根的比值,之后研究了它的下界及它与广义相关系数之间的关系.最后讨论了新的相对效率与已有的3种相对效率之间的关系.     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

二元向量输出的Partially Bent函数

把关于布尔函数的Carlet不等式推广到向量输出的布尔函数并且引入了向量输出的Partially Bent函数的概念,即广义Carlet不等式中等式成立的向量输出布尔函数.给出了一些广义Carlet不等式中等式成立的充分必要条件.进一步讨论了二元向量输出的partially bent函数的密码学性质.     

随机马尔可夫跳跃系统的输出反馈镇定

针对不确定随机马尔可夫跳跃系统,研究其静态输出反馈控制问题.目的在于寻找输出反馈控制器使得闭环系统均方稳定.通过Lyapunov函数方法以矩阵不等式形式建立了这类系统输出反馈可镇定的充分条件;采用替换LMI(linear matrix inequality)方法给出了这些非线性矩阵不等式的一种解法,并给出了静态反馈控制律的求解算法.仿真算例说明所给方法的有效性.     

一类广义不确定非线性系统的鲁棒镇定——LMI方法

设计状态反馈控制器使得一类广义不确定非线性系统对所有容许的不确定性闭环系统正则,无脉冲且渐近稳定.运用线性矩阵不等式(LMI)原理和相关引理为该类系统确定期望的状态反馈控制器的表达式,并利用MATLAB中的LMI工具箱进行算法编程与求解,从而较为方便地为实际系统确定具体的状态反馈控制器提供依据.最后通过具体实例说明设计方法的可行性和有效性.