基于DDR SDRAM控制器时序分析的模型

定义了时钟单位阶跃信号C(n),提出了一种利用带相对时钟坐标的逻辑方程表示逻辑信号的方法;通过对所设计的DDR SDRAM控制器的读写时序的分析,建立了控制器主要信号的时序表达式,并利用所建立的时钟逻辑方程对DDR控制器的读过程进行了简单的分析。这种方法可以应用到内存系统的带宽和延时估计方面,比较直观。

DDR SDRAM控制器数据通道的设计与实现

在DDRSDRAM控制器的设计中,数据通道的设计是提高数据传输率的关键。本文按照JESD79E标准,讨论了DDRSDRAM控制器结构,分析了DDRSDRAM的读写过程,给出了控制器的读写时序方程,利用此方程设计出了一种高速数据通道。对设计高速数据通道用EDA工具进行了综合、仿真。仿真结果显示设计出的电路可以实现参数化配置并具有良好的性能。

基于VMT的DDR-SDRAM控制器功能验证

介绍了一种基于验证模型技术(VMT)的DDR-SDRAM控制器的功能验证方案。该方案完成了DDR-SDRAM控制器对DDR-SDRAM模型的读写以及AHB 2.0协议的兼容性验证。VMT的使用加快了验证平台的搭建和验证用例的编写。通过分析自动校对结果、仿真波形和覆盖率报告,实现控制器功能验证的快速收敛。FPGA原型验证进一步证明了该方案的可行性。

3种垃圾填埋气预测模型的比较研究

文章分析了3种典型的生活垃圾填埋气预测模型:德国模型、IPCC推荐模型、动力学模型(Marticorena模型)的机理;以重庆市长生桥垃圾填埋场为例,探讨了3种模型的参数确定,据此预测了相应填埋堆体的长期产气情况,比较讨论了各模型预测结果的差异,并对其适用性进行了分析。结果表明,3种模型反映的填埋气体变化的趋势是一致的,3个模型所产生填埋场气的峰值大小顺序为:IPCC推荐模型(4.2×107m3/a)>Marticorena动力学模型(4.1×107m3/a)>德国模型(3.6×107m3/a)。根据现场实测数据的验证,在封场之前采用德国模型进行测算比较合适;封场之后采用IPCC或Marticorena动力学模型则更加符合实际情况。

附动态提款权的权益联结型年金的准备金研究(英文)

同年金定价一样,准备金的提留也是研究年金产品的一个主要方面,本文以权益联结型年金中的附动态提款权的最低保证收益型年金为研究对象,假定标的权益服从一个随机波动性模型,得到了该年金在α分位数下的准备金的显式表达式,然后以2012年深成指日交易收盘价数据为样本对对数收益率进行了基本统计分析,最后对准备金的影响因子作了敏感性分析。