石铠源
- 作品数：4 被引量：0H指数：0
- 供职机构：济南军区联勤部更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种支持单组播集成调度的并行分组交换结构
- 2011年
- 针对已有基于单芯片交换结构的单组播集成调度算法在高速链路环境下无法在一个时隙内完成一次调度的问题,提出了一种支持单组播集成调度的并行分组交换结构UMSPPS(Uni-and multicast supported parallelpacket switch)。通过动态地调整单播平面数和组播平面数,UMSPPS可以支持任意比例的单组播混合业务。仿真结果表明,在各种比例的单组播业务情况下,UMSPPS的时延总是低于FILM和f SCIA,并且具有最优的总体吞吐率。
- 任涛兰巨龙扈红超石铠源
- 关键词：单播组播集成调度并行分组交换
- 次最优软输出算法的高效存储策略
- 2009年
- 具有优秀误码性能的迭代接收机在实现中面临的一个关键问题就是译码算法对内存的过大需求。滑动窗法可以有效地减少内存以及处理时延。利用算法递归值的单次可利用性,进一步优化该法:通过对网格中状态度量进行实时的释放与更新,使内存消耗又缩减一倍;通过将似然比计算嵌入到双向递归的过程,使处理时延只为传统窗法的1/3;通过保留两个后向递归器结构,经实验表明接收机在优化实现后整体误码性能不减。
- 张君彭华石铠源
- 关键词：迭代译码内存优化
- 迭代接收机中软译码算法的低复杂度实现
- 2009年
- Max-Log-MAP算法因其更适于迭代处理已成为解决低信噪比条件下信号接收问题中的常用译码算法。提出一种新颖的性能/复杂度折衷策略来解决算法的实用化问题。新算法的巧妙之处在于利用MAP算法中误比特率最小的特点,通过简单的全局路径对比实现状态缩减;分析译码软输出对接收机迭代性能的影响,提出大噪声环境下的可靠度放大策略以改善性能。仿真结果表明,该算法在信噪比小于5dB时,能够十分逼近Log-MAP的误码性能,同时其实现复杂度只为Max-Log-MAP算法的40%～50%。
- 张君石铠源李静彭华
- 关键词：软输入软输出BCJR算法迭代译码
- 从构造性证明中提取程序
- 2007年
- 通常情况下,我们很难确定一段给定的程序是否符合它的规范,程序提取是一种从构造性证明中提取函数式程序的机制,其构造特性很好地保证了生成程序的正确性。这就为我们提供了一种开发正确性软件的方法。本文基于对Coq中程序提取机制的研究,阐述了它的理论基础、实现机制及应用。
- 石铠源庞建民赵荣彩戴超
- 关键词：COQ构造性证明
