摘要：残余有机质含量用于高成熟或过成熟烃源岩评价或油气资源量预测时可能会导致错误的结论,因此,恢复其原始有机质至关重要。静水缺氧沉积环境中的原始有机质含量与Mo/Al比值具有很好的相关性,据此提出的Mo-TOC相关性估算法是一种新的原始有机碳丰度恢复方法,简便易行,适合大量样品分析。该文以滇东会泽地区下寒武统筇竹寺组黑色岩系为例,尝试用新方法来恢复此高演化页岩的原始有机质含量。结果表明,4个回归方程计算的结果有较大的偏差,这是因为目前缺乏大量的数据进行统计回归。但根据计算结果所绘制的4条曲线的变化趋势一致,与沉积环境和岩性高度相关,粒度越细,颜色越深,有机质丰度越高。经过恢复后的原始有机质含量最小为3.20%,最大为8.04%,平均4.24%。表明该地区筇竹寺组页岩有机质丰度高,属于优质烃源岩,可以作为页岩气勘探选区的潜力层位进行进一步的评价工作。

摘要：针对嵌入式多线程程序中出现的数据竞态条件,论文提出了一种基于SMT求解器数据竞态条件检测分析方法。通过对多线程程序执行路径与源程序分析,构建对应的约束条件,将其作为输入,SMT求解器验证是否满足数据竞态条件。通过实验,论文提出的嵌入式多线程程序数据竞态条件的分析与检测方法在检测效率上还是比较理想的。

摘要：伴随着全球数据中心和IT行业系统的电能消耗的不断攀升,能效优化的解决已经成为了当前在云数据中心系统中亟待解决的首要问题。就目前来看已提出的成熟的能效优化调度方法大部分针对的是同构服务器的方向,并不能较好地降低异构云环境下(如云数据中心)服务器的能耗。为解决此问题,论文对异构物理服务器引入了异构能效约束机制,经过深入研究建立了面向云数据中心的异构服务器能效优化资源的分配模型,并且提出了资源等价优化的求解方法,通过对资源分配搜索时对等价资源进行剪枝处理,使资源分配模型的求解空间缩小和模型的求解速度加快;深入探讨了面向划分服务器集群的可扩展分布式调度的方法以降低大规模云资源调度的复杂程度,实现了面向云数据中心的可扩展的高能效的资源分配模式的构建;以在前期云任务调度的研究基础之上,深入展开研究集成能效的优化和性能优化的云任务调度模型与算法,建立了面向不同需求的任务调度模式,使异构云环境下任务调度的能效比有了显著提高。