张南

作品数：15被引量：31H指数：3
导出分析报告
供职机构：西安电子科技大学更多>>
发文主题：协作通信信道低复杂度时序逻辑中继系统更多>>
发文领域：电子电信自动化与计算机技术理学金属学及工艺更多>>
发文期刊：《通信学报》《科技资讯》《西安电子科技大学学报》《华南理工大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金高等学校学科创新引智计划中央高校基本科研业务费专项资金陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
联合重采样的并行双反馈时频域符号定时恢复算法被引量：2
《通信学报》2023年第4期15-26,共12页张沛鑫 张南 王大庆 吴桐 李哲 宫丰奎 
国家自然科学基金资助项目(No.62001354)。
针对现有符号定时恢复实现算法难以兼顾大吞吐量、高收敛精度和强抗定时误差算法能力的问题,提出一种联合重采样的高速并行定时恢复算法,利用双反馈环实现定时频偏和定时相偏的纠正。在设计并行重采样时,提出并行数控振荡器的实现方式...
关键词：宽带卫星通信 符号定时恢复 双反馈 并行实现 
面向SQLite3数据库API调用序列的并行运行时验证方法被引量：8
《软件学报》2022年第8期2755-2768,共14页于斌 陆旭 田聪 段振华 张南 
国家重点研发计划(2018AAA0103202);国家自然科学基金(61732013,62172322,62002290);中央高校基本科研业务费专项基金(XJS210305);陕西省自然科学基础研究计划(2021JQ-208)。
作为轻量级的高可靠嵌入式数据库,SQLite3已被广泛应用于航空航天和操作系统等多个安全攸关领域,其提供了丰富灵活API函数以支持用户快速实现项目构建.然而,不正确的API函数调用序列会导致严重后果,包括运行错误、内存泄露和程序崩溃等...
关键词：SQLITE3 API调用序列 命题投影时序逻辑 并行 运行时验证 
芯片开发功能验证的形式化方法被引量：2
《软件学报》2021年第6期1799-1817,共19页姚广宇 张南 田聪 段振华 刘灵敏 孙风津 
国家重点研发计划(2018AAA0103202);国家自然科学基金(61751207,61732013);陕西省重点科技创新团队(2019TD-001)。
在芯片设计领域,采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也至关重要.目前,多采用仿真方法...
关键词：芯片设计 模型驱动 功能一致性 MSVL建模 命题投影时序逻辑 
一种嵌套中断系统的建模和分析方法被引量：7
《软件学报》2018年第6期1670-1680,共11页崔进 段振华 田聪 张南 
国家自然科学基金(61420106004,61732013,61572386)
在嵌入式系统和各类操作系统中,中断机制是确保实时响应各类异步事件的重要方法.通常在处理一个中断事件的过程中,往往会有更紧迫的中断事件请求响应,因而发生中断嵌套.建模并验证嵌套中断系统是具有挑战性的工作.提出一种建模和验证嵌...
关键词：嵌套中断系统 投影时序逻辑 MSVL(modeling simulation and VERIFICATION language) 形式化建模与验证 
信息服务的需求获取与建模研究一般性科技报告
《科技资讯》2016年第8期169-169,共1页段振华 田聪 王小兵 张南 
研究目前在以下方面取得了研究进展。首先,在信息服务的需求获取及协同优化方面:(1)完善了面向特征领域分析的需求获取方法;(2)完善了基于目标场景的用例驱动需求获取方法;(3)研究了协同分析与优化方法,同时开发了相应的支撑工具。其次...
关键词：需求获取 信息服务 模型演化 形式验证 模型检测 定理证明 
等增益合并下协作MTM系统的性能分析被引量：1
《电子科技大学学报》2013年第3期360-364,共5页宫丰奎 李连本 叶鹏 张南 
国家自然科学基金(61001207);中央高校基本科研业务费(K5051301001;K5051201035);高等学校学科创新引智计划(B08038)
针对双移动(MTM)系统的重叠衰落信道特性,给出了基于等增益合并(EGC)的协作实现方案,分析了该方案在双跳译码转发(DF)协议下的接收机性能。假定MTM信道服从重叠Nakagami-m衰落,通过帕德近似方法得到了输出信噪比对应矩母函数(MGF)的近似...
关键词：协作通信 译码转发 重叠Nakagami-m衰落 等增益合并 移动对移动通信 
进位保留加法器的命题投影时序逻辑组合验证被引量：2
《西安电子科技大学学报》2012年第5期192-196,共5页张南 段振华 
国家重点基础研究发展计划973资助项目(2010CB328102);国家自然科学基金资助项目(60910004;61133001;61003078;61202038;61272117);综合业务网国家重点实验室基金资助项目(ISN Lab Grant No.ISN1102001)
为保证硬件设计的正确性,提出了对硬件设计组合验证的新方法.该方法在命题投影时序逻辑的统一框架下,实现对硬件系统行为的建模,对所期望性质的形式化描述,并利用命题投影时序逻辑合理且完备的公理系统对系统性质进行验证,从而证明硬件...
关键词：时序逻辑 组合验证 进位保留加法器 超前进位加法器 
基于AF协作的多中继M2M通信系统的SER性能分析被引量：1
《通信学报》2012年第5期66-71,共6页张南 宫丰奎 葛建华 
国家自然科学基金资助项目(61001207);长江学者和创新团队发展计划基金资助项目(IRT0852);中央高校基本科研业务费专项资金资助项目(K50510010008);高等学校学科创新引智计划基金资助项目(B08038);国家重点基础研究发展计划("973"计划)基金资助项目(2012CB316100)~~
基于移动端对移动端(M2M)信道衰落服从重叠Nakagami-m分布的假设,研究M-PSK调制下移动放大转发(AF)中继对M2M系统的性能影响。利用矩母函数(MGF)方法,推导了多AF中继辅助M2M通信(MAF-M2M)系统的误符号率(SER)性能下界表达式,并结合近似...
关键词：M2M 放大转发 矩母函数 多中继 SER 
非理想Nakagami-m信道下DF协作系统的最优功率分配
《西安电子科技大学学报》2012年第2期17-23,共7页张南 葛建华 宫丰奎 高明 
国家自然科学基金资助项目(61001207,61101144,61101145);国家重点基础研究发展计划资助项目(2012CB316100);长江学者和创新团队发展计划资助项目(IRT0852);中央高校基本科研业务费专项资金资助项目(K50510010008,K50511010015);高等学校学科创新引智计划资助项目(B08038)
针对Nakagami-m衰落信道下的多中继DF协作系统,研究信道估计误差存在时功率分配对系统性能的影响.首先基于全概率公式和矩母函数(MGF)方法,给出M-QAM调制下的近似误符号率(SER)和渐进SER解析式;其次,基于简洁的渐进解析式,将功率分配问...
关键词：协作通信 译码转发 M-QAM 信道估计误差 误符号率 功率分配 
改进的空时协作分集方案及性能分析被引量：1
《吉林大学学报（工学版）》2010年第4期1139-1143,共5页张南 葛建华 熊雄 何洪文 
'863'国家高技术研究发展计划项目(2006AA01Z270);高等学校学科创新引智计划项目(B08038)
针对现有基于分布式空时码的放大转发协作协议(AF-DSTC)频谱效率较低的问题,提出了一种新的基于分布式空时码的高效选择性放大转发协作协议(SAF-DSTC)。该方案将协作过程从原来的4个时隙缩短至3个时隙,频谱效率提高了33.3%。理论分析及...
关键词：通信技术 协作分集 中断概率 选择性放大转发 分布式空时码 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部