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

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

虚拟现实中的实景视频切换技术研究

虚拟现实场景是由虚拟场景和实际场景融合而成,在进行视角变化时,为了达到逼真的效果,要求虚拟摄像机与真实摄像机的视角同时变换。系统在对SDI信号进行分析的基础上,对视频信号进行解析,对多路SDI视频信号进行有效的视频数据提取,将提取出的有效视频数据分别利用DDR进行缓冲。以经过外部同步的视频像素时钟作为视频输出时钟,对视频数据进行重新编码,在视频逆场中进行视频缓冲区的切换。下位机在接收到上位机发出的切换命令后及时反馈切换时延参数,上位机根据时延参数完成对虚拟摄像机视角的切换,实现在变换视角时达到虚拟摄像机与真实摄像机的视角同步切换。通过对该系统的搭建,采用FPGA来实现视频信号的切换,试验结果表明该虚拟现实系统可以完成虚拟摄像机与真实摄像机视角的同步切换,在实际环境中取得了良好的切换效果。在虚拟现实环境中,采用该系统的实景视频切换技术,解决了虚拟摄像机与真实摄像机视角同步切换的问题,达到了虚拟场景与现实场景的完美融合。     

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

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

蛋白质关系网络可视化系统的研究与实现

蛋白质关系网络的研究在生物医学领域中已成为一个热点。研究者通过对蛋白质关系网络进行分析和聚类,能够发现其中的复合体,进一步理解细胞组织原理。在对关系网络进行分析的过程中,将网络拓扑显示为图形,以直观地表示出关系网络的结构,便于对比聚类方法,辅助关系网络的研究。利用网络建模与可视化工具包JUNG设计并实现了一个蛋白质关系网络可视化系统,它能够解析多种格式的蛋白质关系网络数据,集成了几种有效的图聚类算法,并实现了一种基于蛋白质功能标注的发现复合体的聚类算法。用户能够通过二维网络视图方便地观察原始网络和聚类后的结果。     

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

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

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

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

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

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

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

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

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

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

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

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