基于嵌入式Linux的网络电视终端的实时性开发及HTML控制方法

Linux诸多优点,和国际自由软件组织的努力,使基于Linux的开发的嵌入式产品越来越多。由于Web技术的普及,怎样在嵌入式产品上实现性能优异的Web功能成为了当前的一个研究热点。该文深入探讨在进行嵌入式应用开发过程中遇到的问题并给出了相应的解决方法。并以网络电视终端为例,详细论述具体嵌入式产品中各部分的设计和实现。

同步合成网的完全顺序行为不变性

定义了完全行为不变性，引入根同构等概念，给出完全行为不变性的一个简洁判据．进一步地研究了完全 行为不变性在活性和公平性等重要性质保持过程中的作用，指出在完全行为不变的前提下，这些性质的保持是充分必要的关系。