赖新
- 作品数：4 被引量：1H指数：1
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论电子电信更多>>
- 复杂串联系统的状态空间生成的形式化分析
- 2009年
- 大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
- 郑霄赖新王丽田涛
- 关键词：形式化方法
- 复杂串联系统的状态空间生成的形式化分析
- 大规模系统的模型状态空间生成过程由于状态空间的规模没有预先估计而不可控,形式化分析有利于解决这一问题。本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
- 郑霄赖新王丽田涛
- 关键词：形式化分析
- 文献传递
- Linux下的PCI-Express设备驱动程序的研究与实现被引量：1
- 2008年
- 本文研究了Linux下的PCI-Express高速数据采集卡的驱动程序,在内核空间申请了足够大的DMA循环缓冲区,从而满足了系统对高速数据实时采集处理的要求。分别实现了查询模式和中断模式下的驱动程序,并通过实验结果的分析表明了中断模式在其性能上的优异性,提出了PCI-Express设备驱动程序进一步优化的方向。
- 邵科技赖新
- 关键词：LINUXPCI-EXPRESSDMA
