闫坚
- 作品数：3 被引量：2H指数：1
- 供职机构：中国传媒大学计算机与软件学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- SMV在开发数字电视硬盘机顶盒中的应用
- 数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构的正确.本文介绍了如何使用SMV方法及其软件对数字电视硬盘机顶盒的系统进行建模和分析,如何验证...
- 杨莹王永滨闫坚于宁
- 关键词：数字电视数据广播SMV状态机
- 文献传递
- 几种数字电视标准的比较
- 2005年是数字电视发展的关键之年,数字电视在不知不觉中进入我们的生活.到2015年,全国将停止模拟电视信号播放.可见,数字电视已经是大势所趋.本文介绍了三种数字电视标准:美国的ATSC,欧洲的DVB和日本的ISDB,并...
- 闫坚
- 关键词：数字视频广播数字电视标准
- 文献传递
- SMV在开发数字电视硬盘机顶盒中的应用被引量：2
- 2005年
- 数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构的正确.本文介绍了如何使用SMV方法及其软件对数字电视硬盘机顶盒的系统进行建模和分析,如何验证软件中各个线程的逻辑状态配置的正确和合理性.这种方法对软件开发中的有限状态分析有较大帮助.
- 杨莹王永滨闫坚于宁
- 关键词：机顶盒数据广播SMV状态机
