基于ROKU机顶盒的IPTV接入应用开发

本文基于Roku流媒体播放器,设计开发了IPTV接入应用。分析了IPTV的体系架构,和业务流程;详细介绍了基于Roku的IPTV应用系统的接入应用开发:包括Roku与web服务器的数据通信,数据解析,Roku开发平台及编程语言BrightScript的介绍,Roku程序界面的设计,测试了Roku程序的可操作性,业务能力的可操作性,基本直播点播功能的可操作性,给出了该系统的运行结果,结果显示:Roku能够实现IPTV系统在客户端设计应满足的功能,Roku程序界面友好,满足系统所需功能,符合预期。     

多核系统动态温度管理TAPE策略的形式化验证

多核系统中,分布式DTM策略因其良好的可扩展性得到了广泛应用。在 部署分布式DTM策略前,必须验证其可靠性。为了克服传统分析方法的局限,模型检测技术被应用于分布式DTM策略的分析中。提出使用统计模型检测技术来验证多核系统中分布式DTM策略(以TAPE策略为例)的方案。使用UPPAAL SMC对TAPE策略的验证证明了TAPE策略的安全性、有效性、活性以及稳定性,从而验证DTM策略方案的可靠性。     

具有最大代数免疫度的布尔函数的构造

系统地总结了现有的具有最大代数免疫度的布尔函数的构造方法,将现有各种构造方法按其构造思想的不同分为有代表性的几类,并分别介绍了基于这几类方法的一些结果和进展,其中包括作者自己在该方面的研究结果。     

我国建立防旱抗旱减灾长效机制的思考

近年,我国干旱灾害呈现多发频发趋势,对我国的城乡居民用水安全、粮食安全、生态安全构成了严重威胁,制约了我国经济社会的可持续发展。通过分析我国抗旱减灾面临的形势和抗旱减灾工作存在的主要问题,结合我国抗旱减灾工作的需求,提出了我国建立防旱抗旱减灾长效机制的建议。     

浅谈电子文件的管理、立卷、编辑和归档

一、电子文件的含义和特点电子文件是人们在计算机上,以特定的格式和处理方式生成的各种信息的总和。电子文件与纸质文件特点各不相同：一是接收、阅读形式不同。电子文件是存在于化学磁性材料上的间接信息,需要借助于计算机等现代办公设备才能接收并阅读利用;纸质文件是直观的,可直接接收、利用和阅读。二是传递方式和速度不同。电子文件可直接由计算机等现代办公设备迅速地处理和传递;纸质文件基本上是用手工方式间接传递,其速度相对较慢。三是共享状况不同。电子文件可不受时空的局限,更大范围的实现“资源”共享,可用度较高;纸质文件的共享范围和时效性有很大的局限性。四是保护技术不同。电子文件载体寿命和技术寿命相对短,环境条件和信息保护要求也比较高,保存场地的面积相对较小;而纸质文件则相反。     

塔中岩溶储层地震反射地质特征及其成因机理

综合地震反射强弱及反射形态的差异,将地震反射类型划分为串珠状反射、片状反射、杂乱反射和弱反射,并对串珠状反射和片状反射进行细分.总结塔中西部下奥陶统鹰山组地震反射特征与岩溶储层对应关系,在此基础上比较每种地震反射类型所对应地质特征的差异,归纳形成四种地震反射类型的地质原因.     

矿区形变区及中心形变速率研究

以河南省鹤壁市鹤壁二矿、三矿、五矿和六矿为实验区,采用永久散射体差分干涉测量技术（PS—InSAR）,对实验区2008--2010年共12景ENVISATASAR数据时序SAR影像进行处理．实验结果提取出6个形变较大的相位变化区域,与实际矿区空间位置有良好的吻合,在2008--2010年期间累积形变量最大至60mm,最大形变速率为25mm／a,其它形变区域中心的形变速率都在16～20mm／a之间．     

抽油泵静态漏失试验与分析

构建了测抽油泵静态漏失量实验装置,针对常规抽油泵与斜井泵进行泵筒与柱塞环隙、游动阀阀球与阀座、固定阀阀球与阀座漏失量的测量,并在不同的实验条件下对测量结果进行分析比较,得出抽油泵静态漏失的主要部位以及温度对漏失量的影响,为生产实际提供依据.     

粉煤灰在大庆道路施工中的应用

本文主要论述了大庆油田路桥工程有限责任公司在粉煤综合利用中所进行的科研及施工工作，包括粉煤友在路面面层、路面基层、粉煤灰路堤、粉煤友处理软基等。     

全氧燃烧技术在玻璃窑上的应用

全氧燃烧技术在玻璃窑上的应用于云林，周志豪（上海建材学院０２２４３４）ＦｕｌｌＯｘｙ－ＦｕｅｌＣｏｍｂｕｓｔｉｏｎＴｅｃｈｎｃｌｏｇｙ￥ＹｕＹｕｎｌｉｎ；ＺｈｏｕＺｈｉｈａｏ（ＳｈａｎｇｈａｉＩｎｓｔｉｔｕｔｅｏｆＢｕｉｌｄｉｎｇＭａｔｅｒｉａｌｓ）...