共享存储器型超并行多处理机系统的模拟性能评价

在共享存储器超并行多处理机系统中，访问共享存储器的吞吐量相当大，而存取延迟是与多级互连网络的级数成正比的．为防止这种延迟而产生的处理效率下降，把整个系统视为一个流水线处理体系，同时配合使用高速缓冲存储器．本文给出超并行多处理机系统的模拟性能评价结果．     

四川宝兴县灵关地区的志留系

文章将灵关地区志留系分为灵关－金台山飞来峰系统和原地系统两种类型，并分别对其进行了详细的剖面描述和岩石地层划分对比，同时讨论了各岩组的生物化石组合和时代归属。     

阜新煤田海州组含煤段划分探讨

本文是对阜新煤田海州组含煤段研究的初步结果,笔者根据近年来在煤田范围内的地质调查资料及大量的煤田生产勘探矿区地质资料,对该煤田海州组含煤沉积进行了岩石地层学,生物地层学方面的探讨,认为海州组可统一分为上、中、下三个含煤段.     

油气成藏系统的概念及其在东营凹陷博兴地区的应用

对含油气系统进行了简要评述,指出了经典的含油气系统划分方法存在的局限性,提出了油气成藏系统的概念及其划分方法,研究认为,含油气系统在空间上是一个以“源”为核心且相对独立的油气地质单元;油气成藏系统是在含油气系统内或之间的一个以“藏”为核心且相对独立的油气运聚单元。油气成藏系统划分的依据是控制油气运移聚集指向的高势面及其他遮挡面,成藏系统对勘探程度较高地区的油气勘探评价更具实用价值。对东营凹陷西南部地区的油气成藏系统进行了划分,划分出西部高青断裂带,中部金家-正理庄-樊家鼻状构造带,东部纯化-梁家楼和北部小营-平方戋土产个油气成藏系统。各成藏系统大致以油气运移的“分水岭”为界,其成藏特点及勘探潜力均有较大差别。     

Banach-值HL积分的收敛定理

引入Banach 值HL可积函数序列等度HL可积的概念;利用等度HL可积性定理,证明了Banach 值HL可 积函数序列的一个收敛定理.     

划分测试中测试用例最优分配问题研究

研究了划分测试中每个子域错误率已知，测试资源受约束时，测试用例如何合理分配的优化问题．主要考虑了两类测试用例分配问题：测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配，证明了带约束的测试用例最优分配问题是一个NPC问题．给出了动态规划求解方法，从理论上证明了该方法是最优的，并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较，用实验数据验证了该办法能合理利用有限测试资源，有效地提高缺陷检测能力．     

藏文文献数字化保护系统功能测试研究

藏文文献是我国民族古籍中的瑰宝,学术价值很高,对它的数字化保护具有非常重要的意义.功能测试是在已知产品所应具有的功能,通过测试来检测每个功能是否都能正常使用,着眼于程序外部结构、不考虑内部逻辑结构、针对软件界面和软件功能进行测试.     

移动机器人的并行免疫计算模型

为了支持未知环境下移动机器人自主导航，提出了移动机器人的并行免疫计算模型，为解决其在线导航优化、病毒／路障识别和计算效率问题提供了基础组织。免疫计算模型分为固有免疫计算层、适应性免疫计算层和并行／分布式计算层，并行免疫计算模型建立在此3个免疫计算模型基础上。探讨了移动机器人并行免疫计算模型的负载极限和负载平衡，分析了此类移动机器人系统的鲁棒性；提出了移动机器人并行免疫计算模型用于路障识别的方法。移动机器人并行免疫计算模型的复杂性分析及仿真结果表明，并行计算能提高其效率；仿真结果表明，移动机器人可消除病毒，并具有较高计算性能。     

综放面采空区流场模拟及自燃危险区域划分

综放采空区容易发生自燃。以往对采空区“三带”的划分主要通过向采空区埋管观测来实现，对于现场观测不能实现的情况下，采空区自燃危险区域难以判定。笔者通过对采空区渗流场的数值模拟，得到采空区渗流速度及O2浓度的分布。结合实验测得的煤自然发火期和自燃临界参数，对采空区“三带”进行划分。该方法计算量比模拟采空区煤自燃全过程少得多，但划分精度却能够满足实际防灭火需要。     

准噶尔盆地冲积扇储层流动单元研究

储层流动单元研究可以更好地预测剩余油的分布,指导油田开发.以准噶尔盆地百口泉油田百21井区百口泉组冲积扇相储层为例,利用岩心、测井资料开展流动单元研究,在储层细分对比的基础上,采用定性与定量相结合的方法将研究区流动单元分为E,G,F,P等4种类型.描述了各类流动单元孔隙结构特征、空间分布规律及其与沉积微相间的相互关系.总结出冲积扇流动单元模式,并分析了各类流动单元与剩余油分布的关系.研究表明:冲积扇储层中E类流动单元多分布于主槽流沟的中心部位;G类流动单元多呈宽带状分布于主槽微相的沟间滩及侧缘槽微相砂体的侧翼;F类流动单元一般都在辫流砂岛、辫流滩地;P类流动单元一般分布在扇间滩地或漫洪、漫流带.剩余油多分布于横向渗流屏障附近流动单元的边缘部位和流动单元接合处.