差分协作系统中的软输入软输出多符号差分球形译码 被引量：3

1

作者 韩新强 金小萍 +2 位作者 冯会真 朱瑞鑫 李正权 《中国计量学院学报》 2013年第2期171-176,共6页

在差分协作系统中,为了解决硬判决多符号差分检测(multi-symbol differential detection,MSDD)译码过程中,部分信息丢失导致性能损失以及该算法中最大似然检测计算复杂度高的问题,提出了一种软输入软输出的多符号差分球形译码(SISO-MSD... 在差分协作系统中,为了解决硬判决多符号差分检测(multi-symbol differential detection,MSDD)译码过程中,部分信息丢失导致性能损失以及该算法中最大似然检测计算复杂度高的问题,提出了一种软输入软输出的多符号差分球形译码(SISO-MSDSD)算法.该算法利用球形译码思想,在一定搜索范围内计算编码比特的对数似然比(LLR),去除先验信息可获得编码比特的外信息,经内部译码器判决得到源信息.仿真分析表明,比较硬判决MAP算法,SISO-MSDSD算法性能明显提高,且在信道频偏较大时,随着分组长度增加能有效提高检测性能.此外,在低SNR区域,SISO-MSDSD算法对复杂度的改善也十分明显.因此,SISO-MS-DSD可作为一种较好的软检测算法应用于差分协作系统中. 展开更多

关键词 差分协作系统 多符号差分检测 软输入软输出多符号差分球形译码 对数似然比

下载PDF 职称材料

一种符号化执行的实时系统一致性测试生成方法 被引量：3

2

作者 万勇兵 徐中伟 梅萌 《电子学报》 EI CAS CSCD 北大核心 2013年第11期2276-2284,共9页

系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于... 系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于该模型定义了时间一致性关系(tioco);然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性. 展开更多

关键词 实时系统 一致性测试 时间安全输入输出符号变迁系统 符号执行 测试用例生成

下载PDF 职称材料

使用软输入硬输出译码的联合MSDD迭代译码解调器

3

作者 李际平 杨伏华 吴团锋 《电子与信息学报》 EI CSCD 北大核心 2008年第7期1588-1590,共3页

该文提出了一种使用软输入硬输出(SIHO)Viterbi译码联合多符号差分检测系统(MSDD)的差分解调算法,这种简化算法有前向反馈迭代和后向反馈迭代算法。仿真结果表明,使用后向反馈迭代的DQPSK解调时比相干解调在性能上只恶化1.1dB。还给出... 该文提出了一种使用软输入硬输出(SIHO)Viterbi译码联合多符号差分检测系统(MSDD)的差分解调算法,这种简化算法有前向反馈迭代和后向反馈迭代算法。仿真结果表明,使用后向反馈迭代的DQPSK解调时比相干解调在性能上只恶化1.1dB。还给出了用于卫星通信的FPGA实现的解调器实测结果,其性能比本文提供的仿真结果恶化约0.5dB。 展开更多

关键词 无线通信 DQPSK 软输入硬输出 VITERBI译码 多符号差分检测系统

下载PDF 职称材料

MIMO-OFDM系统中一种改进的符号同步算法

4

作者 张宇 张乃通 《科学技术与工程》 2009年第15期4342-4346,共5页

为了提高基于传统训练序列的符号定时同步的精度,提出了一种改进的用于MIMO-OFDM符号同步的正交前导结构。该方法将传统正交前导结构中最后一个短训练序列的前半个周期进行了相位反转,使得基于改进的前导结构的接收信号与自身周期延时... 为了提高基于传统训练序列的符号定时同步的精度,提出了一种改进的用于MIMO-OFDM符号同步的正交前导结构。该方法将传统正交前导结构中最后一个短训练序列的前半个周期进行了相位反转,使得基于改进的前导结构的接收信号与自身周期延时信号的互相关结果中产生一个明显的下陷,因此这可以在多径环境下更准确的获得短训练序列与长训练序列的分界点,从而有效的提高多径环境下MIMO-OFDM系统符号同步的精度。仿真结果表明,在AWGN信道及Rayleigh衰落信道下,这种改进的前导结构在符号同步中有很好的性能。 展开更多

关键词 多输入多输出系统 正交频分复用 符号同步

下载PDF 职称材料

基于IEEE 802.11n无线局域网系统的符号同步

5

作者 方元 《电子设计工程》 2013年第13期117-119,122,共4页

IEEE 802.11n无线局域网标准为了避免不必要的波束成型采用了循环移位机制,该机制对符号同步造成障碍,使得符号同步产生所谓的假多径问题。针对这个问题,本文提出了一种采用移位叠加的本地训练序列互相关的同步方法。通过对IEEE 802.11... IEEE 802.11n无线局域网标准为了避免不必要的波束成型采用了循环移位机制,该机制对符号同步造成障碍,使得符号同步产生所谓的假多径问题。针对这个问题,本文提出了一种采用移位叠加的本地训练序列互相关的同步方法。通过对IEEE 802.11n无线局域网系统进行建模仿真,对新提出的方法和前人所提出的方法进行比较。最终验证该同步方法具有实用性,能够大幅度的提升同步的精度,使得符号同步的定位误差控制在2个采样点之内。 展开更多

关键词 IEEE 802 11n 多输入多输出 正交频分复用 符号同步 无线局域网系统

下载PDF 职称材料

一种基于时间自动机的实时系统测试方法 被引量：14

6

作者 陈伟 薛云志 +1 位作者 赵琛 李明树 《软件学报》 EI CSCD 北大核心 2007年第1期62-73,共12页

基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟... 基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量. 展开更多

关键词 时间安全输入/输出自动机 实时系统测试 最简稳定符号状态迁移图 测试用例生成

下载PDF 职称材料

网络协议测试的符号化一致性关系研究 被引量：1

7

作者 邢熠 叶新铭 谢高岗 《计算机工程与应用》 CSCD 北大核心 2008年第29期11-16,共6页

协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符... 协议的一致性测试可以验证协议实现的正确性,一致性关系是测试生成的基础。网络协议的特点之一是控制消息中会携带大量数据。针对网络协议的该特点提出了符号化的一致性关系模型。建立了网络协议的输入输出符号变迁系统,并且依据数据符号实例化策略建立了对应的语义模型,在该模型中系统的活动是集成控制和数据的复杂活动。在此输入输出符号变迁模型的基础上提出了一种符号化的一致性关系以生成测试套。为了便于测试套的自动生成,对所提出的一致性关系进行了简化。在上述过程中数据的处理通过符号化的变量进行建模,这样可以使用统一符号进行数据处理,而不必总是关心具体的数值,只需在适当的时机进行符号的实例化。文中所提出的一致性关系模型充分利用了符号化的变量,增加了该模型的抽象程度,避免了处理过程的复杂性,且可以指导测试套的自动生成。最后使用IPv6的邻居发现协议对该一致性关系进行了说明。 展开更多

关键词 符号化一致性关系 一致性 则试 输入输出符号变迁系统(iots)

下载PDF 职称材料

发射天线选择空时分组码的误符号率分析 被引量：10

8

作者 李光球 江林超 《电波科学学报》 EI CSCD 北大核心 2010年第2期291-296,共6页

研究瑞利衰落信道上使用发射天线选择和空时分组编码的多输入多输出系统的误码性能。使用矩生成函数法和Apell超几何函数、Lauricella多变量超几何函数,推导采用相干检测的M进制相移键控(MPSK)和广义矩形M进制正交幅度调制(GR-MQAM)的... 研究瑞利衰落信道上使用发射天线选择和空时分组编码的多输入多输出系统的误码性能。使用矩生成函数法和Apell超几何函数、Lauricella多变量超几何函数,推导采用相干检测的M进制相移键控(MPSK)和广义矩形M进制正交幅度调制(GR-MQAM)的平均符号错误概率(SEP)的精确闭合表达式。数值计算结果表明:增加发射天线或/和接收天线数可以改善MIMO瑞利衰落上MPSK和GR-MQAM的平均SEP性能。 展开更多

关键词 天线选择 多输入多输出系统 空时分组码 正交幅度调制 符号错误概率

下载PDF 职称材料

基于符号执行和LTL公式重写的测试用例产生方法 被引量：3

9

作者 陈冬火 刘全 《计算机研究与发展》 EI CSCD 北大核心 2013年第12期2661-2675,共15页

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法... 基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法. 展开更多

关键词 测试用例自动产生 符号执行 公式重写 模型检验 线性时序逻辑 输入 输出符号变迁系统

下载PDF 职称材料

相关MIMO Nakagami衰落信道上MQAM WCDMA系统的性能分析 被引量：1

10

作者 李光球 江虹 《电路与系统学报》 CSCD 北大核心 2009年第2期12-17,共6页

使用矩生成函数(MGF)方法,推导相关MIMO Nakagami衰落信道上WCDMA系统下行链路中采用组合二维瑞克(2DRAKE)接收机和发送分集的M进制正交幅度调制(MQAM)的平均误符号率精确解析表达式。利用获得的解析表达式,研究天线阵结构(如发射天线... 使用矩生成函数(MGF)方法,推导相关MIMO Nakagami衰落信道上WCDMA系统下行链路中采用组合二维瑞克(2DRAKE)接收机和发送分集的M进制正交幅度调制(MQAM)的平均误符号率精确解析表达式。利用获得的解析表达式,研究天线阵结构(如发射天线和接收天线的数目、天线间的距离)和工作环境(如衰落系数、角度扩展、多径延迟轮廓等)对MQAM WCDMA系统性能的影响。 展开更多

关键词 相关Nakagami衰落 WCDMA多输入多输出系统 正交幅度调制 二维瑞克接收机 最大比合并 误符号率

下载PDF 职称材料

基于MIMO系统的MDCMA盲均衡算法 被引量：1

11

作者 纪迪 马惠珠 李明 《信息技术》 2008年第7期35-36,88,共3页

基于对线性多输入多输出(MIMO)系统的自适应盲源分离和盲均衡的研究,为了能够有效恢复输入信号,提出了一种在MIMO系统中引入抖动处理技术的修正抖动符号误差恒模算法。仿真结果表明,该算法可以在仅已知输入信号统计量的情况下跟踪信道变... 基于对线性多输入多输出(MIMO)系统的自适应盲源分离和盲均衡的研究,为了能够有效恢复输入信号,提出了一种在MIMO系统中引入抖动处理技术的修正抖动符号误差恒模算法。仿真结果表明,该算法可以在仅已知输入信号统计量的情况下跟踪信道变化,并且有效克服多个均衡器的输出可能锁定到相同的源信号问题,抑制ISI和MUI,恢复所有发射天线的发送信息。 展开更多

关键词 多输入多输出系统 恒模算法 修正抖动符号误差 盲源分离

下载PDF 职称材料

Imagination、Microchip和Digilent携手为全球大专院校提供先进的IoT课程

12

《电子技术应用》 北大核心 2016年第5期138-138,共1页

2016年4月22日,Imagination Technologies、Microchip Technology以及Digilent共同宣布推出Connected MCU Lab（连网MCU实验室）计划,将结合三家公司各自的大专院校计划开发新的课程内容。此为期一学期的课程是专为全球各大学的电子工... 2016年4月22日,Imagination Technologies、Microchip Technology以及Digilent共同宣布推出Connected MCU Lab（连网MCU实验室）计划,将结合三家公司各自的大专院校计划开发新的课程内容。此为期一学期的课程是专为全球各大学的电子工程与电脑科学学生所设计,为他们提供微控制器（MCU）的简介与基础课程。它能为连网嵌入式系统的教学带来互动且全新的入门体验,内容涵盖MCU和输入/输出（I/O）、即时操作系统概念、先进MIPS处理器架构以及云端连接技术, 展开更多

关键词 MICROCHIP 课程内容 大专院校 iot MIPS处理器 嵌入式系统 输入/输出 MCU

下载PDF 职称材料

Imagination携手Microchip和Digilent开发先进IoT课程

13

《单片机与嵌入式系统应用》 2016年第6期61-61,共1页

Imagination Technologies、Microchip Technology以及Digilent共同宣布推出Connected MCU Lab（连网MCU实验室）计划，将结合三家公司各自的大专院校计划开发新的课程内容。此为期一学期的课程是专为全球各大学的电子工程与电脑科学学... Imagination Technologies、Microchip Technology以及Digilent共同宣布推出Connected MCU Lab（连网MCU实验室）计划，将结合三家公司各自的大专院校计划开发新的课程内容。此为期一学期的课程是专为全球各大学的电子工程与电脑科学学生所设计，为他们提供微控制器（MCU）的简介与基础课程。它能为连网嵌入式系统的教学带来互动且全新的入门体验——内容涵盖MCU和输入／输出（I／O）、即时操作系统概念、先进MIPS处理器架构以及云端连接技术——所有内容都将以全新且没有艰涩术语的形式呈现。 展开更多

关键词 MICROCHIP 课程内容 开发 iot MIPS处理器 输入/输出 嵌入式系统 MCU

下载PDF 职称材料

基于Householder-QR分解的低复杂度天线选择算法 被引量：2

14

作者 解志斌 汪晋宽 +1 位作者 王赟 高静 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第9期1274-1278,共5页

对多天线空分复用系统中以符号误码率为准则的天线选择算法进行了深入分析,针对以往传统天线选择算法对所有天线子集搜索计算复杂度高的问题,提出了基于复域Householder-QR分解的天线选择算法.所提算法深入分析了线性接收机接收端信噪... 对多天线空分复用系统中以符号误码率为准则的天线选择算法进行了深入分析,针对以往传统天线选择算法对所有天线子集搜索计算复杂度高的问题,提出了基于复域Householder-QR分解的天线选择算法.所提算法深入分析了线性接收机接收端信噪比与系统信道矩阵之间的关系,利用接收端信噪比近似边界值得到了低复杂度的选择方案,该算法不仅有效地降低了计算复杂度,同时误码率性能与以往算法相近,提高了空分复用系统的传输可靠性,适用于实际相关信道传播环境.仿真实验表明,与传统算法相比该算法具有良好的性能. 展开更多

关键词 多输入多输出(MIMO)系统 天线选择 符号误码率(SER) 复域Householder-QR分解 信噪比(SNR)

下载PDF 职称材料

基于Householder变换的快速天线选择算法 被引量：1

15

作者 解志斌 汪晋宽 +1 位作者 王赟 高静 《电波科学学报》 EI CSCD 北大核心 2008年第4期786-791,802,共7页

基于符号误码率准则的天线选择技术可以有效地提高空分复用系统的传输性能,降低系统成本。但同时其对算法的实时性、快速性提出了更高的要求。以往天线选择算法通过奇异值分解来得到天线子集次最优解,计算量大、计算复杂度高。针对这一... 基于符号误码率准则的天线选择技术可以有效地提高空分复用系统的传输性能,降低系统成本。但同时其对算法的实时性、快速性提出了更高的要求。以往天线选择算法通过奇异值分解来得到天线子集次最优解,计算量大、计算复杂度高。针对这一问题,对空分复用系统的信噪比边界特性进行了深入分析,提出了基于递推Householder-QR分解的天线选择算法。与传统算法相比,该算法降低了计算量的同时提高了系统的传输可靠性,改善了空分复用系统的性能。仿真结果表明:该算法具有良好的性能,并适用于实际相关信道传播环境。 展开更多

关键词 多输入多输出(MIMO)系统 天线选择 符号误码率(SER) 递推复Householder-QR分解

下载PDF 职称材料

低信噪比下对角交替的酉空时码

16

作者 杜正锋 陈杰 +1 位作者 高西奇 潘文 《应用科学学报》 CAS CSCD 北大核心 2008年第4期331-335,共5页

在低信噪比情况下,提出了一种基于循环对角码的改进的酉空时码设计.该方案不同于循环对角码的是,所构造的码符号星座集中的酉矩阵在主对角线和次对角线上交替出现非零元素.理论分析表明,低信噪比下新提出的酉空时码的误符号率联合界小... 在低信噪比情况下,提出了一种基于循环对角码的改进的酉空时码设计.该方案不同于循环对角码的是,所构造的码符号星座集中的酉矩阵在主对角线和次对角线上交替出现非零元素.理论分析表明,低信噪比下新提出的酉空时码的误符号率联合界小于循环对角码.以误符号率联合界为准则,通过进一步优化参数来提高新的酉空时码的性能.仿真结果表明,在相当大的信噪比范围内该酉空时码的性能显著优于循环对角码. 展开更多

关键词 酉空时码 误符号率联合界 多输入多输出系统 差分调制

下载PDF 职称材料

文秘工作的其他现代化措施

17

作者 陈作明 《浙江档案》 北大核心 1994年第6期41-41,共1页

关键词 文秘工作 图形处理 缩微设备 缩微品 指纹识别系统 图形的 图形输入 图形转换 符号识别 语言输出

下载PDF 职称材料

相关阴影Rician信道上广义矩形MQAM的性能

18

作者 江林超 李光球 《无线通信技术》 2009年第3期10-13,23,共5页

本文使用矩生成函数方法推导了相关视距(LOS)分量和独立散射分量条件下的多输入多输出阴影Rician衰落信道上采用正交空时分组编码(OSTBC)的广义矩形M进制正交幅度调制(MQAM)的平均误符号率(SEP)的精确闭合表达式。利用该表达式可计算信... 本文使用矩生成函数方法推导了相关视距(LOS)分量和独立散射分量条件下的多输入多输出阴影Rician衰落信道上采用正交空时分组编码(OSTBC)的广义矩形M进制正交幅度调制(MQAM)的平均误符号率(SEP)的精确闭合表达式。利用该表达式可计算信道衰落参数以及天线间的相关性对广义矩形MQAM平均SEP性能的影响。数值计算结果阐明,天线间的相关性恶化了广义矩形MQAM的平均SEP性能,广义矩形MQAM的平均SEP性能随着信道衰落参数的增大而得到改善。 展开更多

关键词 误符号率 阴影Rician衰落 多输入多输出系统 正交空时分组码

原文传递

基于OFDM的MIMO-TDCS设计及性能研究

19

作者 莫建云 任清华 《电子技术应用》 北大核心 2012年第11期122-125,共4页

针对多输入多输出变换域通信系统(MIMO-TDCS)存在频谱利用率低的问题,基于OFDM系统所使用的FFT/IFFT数据调制解调思想,提出了一种在频域上对TDCS符号进行多数据符号加载的系统。理论上系统能够在一个TDCS符号上传输多个数据符号,能有效... 针对多输入多输出变换域通信系统(MIMO-TDCS)存在频谱利用率低的问题,基于OFDM系统所使用的FFT/IFFT数据调制解调思想,提出了一种在频域上对TDCS符号进行多数据符号加载的系统。理论上系统能够在一个TDCS符号上传输多个数据符号,能有效地提高频带利用率,并且解调过程运用FFT变换可简化解调结构的复杂度。通过仿真分析,验证了在符号传输功率一定并保证一定误码率性能的条件下,基于OFDM的MIMO-TDCS能够有效提高频谱利用率。 展开更多

关键词 多输入多输出变换域通信系统 多数据符号加载 频域调制 频谱利用率

下载PDF 职称材料

采用MIMO MRC的正交信号性能分析

20

作者 葛建润 李光球 《杭州电子科技大学学报（自然科学版）》 2009年第5期62-65,共4页

该文推导了瑞利衰落信道上采用多输入多输出最大比合并天线分集、相干检测的三进制正交信号的平均误符号率性能的精确和近似闭合表达式。数值计算结果验证了三进制正交信号的平均误符号率近似表达式的准确性,同时也阐明了发射天线数和... 该文推导了瑞利衰落信道上采用多输入多输出最大比合并天线分集、相干检测的三进制正交信号的平均误符号率性能的精确和近似闭合表达式。数值计算结果验证了三进制正交信号的平均误符号率近似表达式的准确性,同时也阐明了发射天线数和接收天线数对多输入多输出最大比合并系统平均误符号率性能的影响。 展开更多

关键词 瑞利衰落信道 多输入多输出系统 最大比合并 正交信号 误符号率

下载PDF 职称材料