查冰
- 作品数：8 被引量：6H指数：1
- 供职机构：中国科学院声学研究所更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 数字电视机顶盒通用型网络模块的设计与实现
- 2006年
- 介绍了数字电视接机顶盒通用型网络接口模块的设计。该系统硬件部分实现了不同调制类型模块接口的统一,软件方面改进了部分数据结构,采用了新的可重载形式软件驱动接口,增加了模块辨识和加载的操作过程,支持了多样化的需求。
- 查冰朱晓东王劲林倪宏
- 关键词：数字视频广播网络接口模块通用接口动态加载
- 一种数字电视机顶盒网络接口模块的加载方法
- 本发明涉及一种数字电视机顶盒网络接口模块的加载方法，包括：定义统一的NIM芯片驱动接口、统一的NIM性质结构和统一的频点信息结构；NIM模块驱动识别和NIM模块驱动加载。本发明对于不同类型、不同型号的网络接口模块具有良好...
- 查冰张泰乐朱晓东倪宏邓峰
- 文献传递
- 对等网络上数据分布模型的分析被引量：5
- 2006年
- 针对BitTorrent网络上的数据分布情况做了统计和分析,并对用Zipf定律来描述BitTor rent网络中数据分布的情况做了讨论和修正。该研究可以为其他的P2P文件共享网络数学建模提供依据。
- 张泰乐查冰王劲林
- 关键词：对等网络ZIPFBITTORRENT
- 一种数字电视机顶盒网络接口模块的加载方法
- 本发明涉及一种数字电视机顶盒网络接口模块的加载方法，包括：定义统一的NIM芯片驱动接口、统一的NIM性质结构和统一的频点信息结构；NIM模块驱动识别和NIM模块驱动加载。本发明对于不同类型、不同型号的网络接口模块具有良好...
- 查冰张泰乐朱晓东倪宏邓峰
- 文献传递
- 基于JML的面向对象设计指导测试方法的研究与实现
- 2008年
- 面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Ja-va类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想。研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架。
- 查冰杨宗源
- 关键词：面向对象自动化测试OCL形式语言
- 嵌入式网络终端报文收发机制研究与实现被引量：1
- 2006年
- 本文对网络终端上的报文收发机制进行研究,提出了一种中断结合多点随机查询的收发机制。实验结果证明其有效地降低了中断频率,同时具有高效、可靠的的报文接收能力和非常好的稳定性。并且已经成功应用在一种基于单DSP的网络电话终端方案中。
- 朱晓东查冰张建东王劲林
- 关键词：嵌入式实时系统计算机网络
- OCL-JML转换方法的研究及其在软件开发过程中的应用
- UML是在多种面向对象建模方法的基础上发展起来的建模语言，被广泛地用于软件系统的分析与设计。但是，UML缺少对下层实现的支持。在编码阶段，尽管很多的UML建模工具支持代码自动生成，即使用面向对象编程语言将来自设计阶段的类...
- 查冰
- 关键词：ADLOCL映射规则
- 文献传递
- 双向地面数字电视广播系统的设计与关键问题研究
- 地面数字电视广播系统是广播电视体系中的重要组成部分，它具有简单接收和移动接收能力，能够满足现代信息化社会“信息到人”的需求。随着地面数字电视广播在世界范围内全面展开，新业务尤其是交互业务的需求日益明显。如何利用电视广播信...
- 查冰
- 关键词：地面数字电视广播调制方式信道估计信道均衡
- 文献传递
