王彬

作品数：10被引量：5H指数：2
导出分析报告
供职机构：上海交通大学电子信息与电气工程学院电子工程系更多>>
发文主题：空时多用户检测空时串联电阻串联电容寄生参数更多>>
发文领域：电子电信自动化与计算机技术更多>>
发文期刊：《计算机辅助设计与图形学学报》《高技术通讯》《上海交通大学学报》《计算机工程与应用》更多>>
所获基金：国家高技术研究发展计划美国国家科学基金国家教育部博士点基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
验证高层综合操作流图等价性的一种有效形式方法
《高技术通讯》2005年第1期7-11,共5页王彬 林争辉 
国家高技术研究发展计划(863计划)
根据当前高层综合系统不跨越控制边界进行代码移动的特点,提出了临界路径的概念,将行为规范与RTL实现的操作流图分解成模型检查工具可以接受的验证目标.为了便于自动验证高层综合过程,给出了验证自动机模型.实验结果表明,应用该方法,可...
关键词：形式方法 自动验证 模型检查 RTL 图分解 代码 自动机模型 高层综合 移动 状态空间 
无线调度算法被引量：1
《计算机工程》2004年第15期92-93,116,共3页任艳颖 张文军 王彬 
国家"863"计划基金资助项目(2003AA103810)
为满足无线应用中的QoS要求,调度算法是很重要的。由于无线网络变化的链路错误率和容量,因此为其设计调度算法非常有挑战性。近来提出了多种适合无线网络的调度算法。该文分析了3种基于TDD的调度算法,讨论了各种算法的实现过程和优缺点...
关键词：调度算法 QOS 无线网络 
混合ARQ机制的性能分析
《计算机工程与应用》2003年第32期13-14,72,共3页任艳颖 张文军 王彬 
国家863高技术研究发展计划项目(编号:2003AA103810)
高速无线数据服务的需求的增长,要求下一代无线网络显著提高其吞吐量。文章研究了自动重发请求(ARQ)机制,来满足这些新的要求。针对基于速率兼容纠错码的速率自适应I类混合ARQ机制和增量冗余重传II类混合ARQ机制,提出了一种系统框架,并...
关键词：增量冗余重传 速率自适应 混合 ARQ 
基于事务形式验证(TBFV)及8051的TBFV模型被引量：2
《上海交通大学学报》2003年第10期1574-1577,共4页王彬 林争辉 
美国国家科学基金(5978EastAsiaandPacificProgram-9602485);国家教育部博士点基金资助项目
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要...
关键词：基于事务的形式验证 功能验证模型 状态爆炸 
事务级形式验证技术及8051验证模型
《计算机辅助设计与图形学学报》2003年第8期921-924,共4页王彬 任艳颖 林争辉 
美国国家科学基金(5 978EastAsiaandPacificProgram-960 2485);教育部博士点基金资助
提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5
关键词：事务级形式验证 8051验证模型 流水线处理器 功能验证模型 微处理器 8051指令集 
硅衬底RF集成电路螺旋电感品质因数Q的优化被引量：2
《高技术通讯》2003年第7期6-10,共5页潘瑞 毛军发 王彬 
863计划 ( 863 SOC Y 3 3 2 );国家自然科学基金 ( 60 0 2 5 10 3 ;699710 15 )资助项目
详细分析了RF集成电路硅衬底螺旋电感 (SIOS)的一种物理模型 ,该模型考虑了衬底效应。通过MATLAB仿真 ,得出了衬底损耗对螺旋电感品质因数Q的影响。在此基础上对金属线宽和线间距进行了严格的数值优化 ,实现了在设计要求不变的前提下螺...
关键词：硅衬底螺旋电感 RF集成电路 品质因数 物理模型 衬底效应 SIOS 串联电感 串联电阻 串联电容 寄生参数 优化设计 
无线ATM中的ARQ机制
《移动通信》2003年第11B期71-74,共4页任艳颖 张文军 王彬 
由于无线信道的多径、衰落等特性,无线ATM通信需要有效的、适合于多媒体业务在无线信道传输的差错控制方案。本文介绍了基本的差错控制机制——自动反馈重传.对其三种工作方式进行了分析;而后对应用于无线ATM网络的自适应HARQ系统进行...
关键词：无线ATM通信 差错控制 自动反馈重传 HARQ系统 FEC机制 工作方式 
一种简化的线性空时多用户检测迭代算法
《通信技术》2003年第2期32-33,共2页王洪洋 徐昌庆 王彬 宋文涛 
提出了一种简化的线性空时多用户检测迭代算法,仿真结果表明这种迭代算法具有较好的误码性能。
关键词：多用户检测 空时处理 迭代算法 
协同形式验证环境Co-Formal的建立与应用
《上海交通大学学报》2003年第z1期143-146,151,共5页王彬 林争辉 
美国国家科学基金(5978EastAsiaandPacificProgram-9602485);教育部博士点基金资助项目
形式验证存在状态爆炸的问题,特别是软硬件的协同验证难以解决.为此研究了片上系统的协同形式验证问题,给出了一种高效的协同形式验证环境Co-Formal,用于从行为级到具体实现级的软硬件协同形式验证.以一个实际的硬件系统验证了该环境的...
关键词：协同形式验证环境 模型检查 片上系统 
多径信道下一种线性空时多用户检测方法
《通信技术》2002年第12X期84-86,共3页王彬 徐昌庆 王洪洋 宋文涛 
给出了用于DS/CDMA系统的线性空时多用户接收机的数学模型,分析了在多用户空时接收机中空域处理和时域匹配滤波的作用,引入SOR算法,并将其改进应用到多径信道下的线性空时多用户检测中。通过迭代避免了直接求逆运算,显著降低了运算复杂...
关键词：空时多用户检测 多径信道 SOR算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部