鄂尔多斯盆地上古生界天然气成藏的地质特征

总结了天然气成藏的地质特征,目的是预测盆地内有利的天然气勘探区块。综合采用野外露头观察、钻井岩芯观察和室内分析研究等方法。研究表明,盆地晚古生代多种沉积体系发育,奠定了气藏的物质基础;沉积层序的演化控制了气源岩、储集层和盖层的发育及其空间组合;持续供气的气源岩、大范围分布的致密砂岩储集层、多因素封盖、就近成藏和成藏期晚等因素的综合作用有利于鄂尔多斯盆地上古生界天然气藏的形成和保存。指出盆地内5个有利的天然气勘探区块。     

含负权有向网络中最短路问题的求解算法

研究含负权有向网络中的最短路问题，给出了一个求解含负权有向网络中最短路问题的表上作业算法，并对该算法的正确性进行了证明，经在ＩＢＭ４８６微机上对数万个随机算例的实际试算表明，算法所需的平均执行时间短，算法对求解最小费用流问题和动态规化问题都有较大的意义     

q分隔意义下线上和圆上的子集

首先研究了从数集{1,2,…n}中任选k个数的取法,其中任意两个相邻数之差大于q,以及上述限制条件下子集的取法总数,继而在圆上讨论这个问题．然后研究了下列问题：设q1,q2是任意两个不同的正整数,在数集{1,2,…n}中任取k个数,其中相邻两数既不是q1分隔也不是q2分隔的取法数的情况,对于较小的qi值,获得了相应的结果．     

钢管订购和运输问题的线性规划模型

本文运用线性规划理论建立了钢管订购和运输计划问题的数学模型。在求解时分别利用了图论中求最短路长的算法、整数规划中的 0— 1规划的解法及运输问题的表上作业法 ,利用计算机求得最优方案 :即最小总费用为 1 2 741 44 .4万元。     

基于SOPC和CPCI总线的ARINC429数据接收卡

介绍了基于SOPC的ARINC429接收卡的硬件构建过程和软件设计流程.该系统使用嵌入式NiosII软核处理器作为整个系统的控制器;使用 ARINC429收发芯片HS3282,实现了两路高速ARINC429数据的接收;并将接收到的ARINC429数据通过CPCI总线上传至主控计算机.结果证明能够实时高效的接收和传输两路ARINC429数据.     

锥上半连续集值优化问题弱有效解的通有连续性

首先证明了定义在度量空间的紧子集上的锥上半连续紧值集值映射集合构成完备的度量空间,然后证明了紧值锥上半连续集值优化问题弱有效解映射是上半连续的,再利用Fort定理得到在定义域和优化映射同时扰动下锥上半连续集值优化问题弱有效解的通有连续性.     

彩色图像分割中基于图上半监督学习算法研究

提出一种新的基于图上半监督学习的彩色图像前景/背景分割模型与算法.该算法的目的是利用人工标定的部分像素点分割信息以实现对整幅图像的分割.通过结合像素点颜色特征和像素点颜色与前景/背景颜色的相似性特征,构造了新的图节点之间的双高斯权重函数,并对此提出自适应的参数选择策略与彩色图像半监督分割的能量模型,通过优化该能量模型将...     

英国人在云南吃奶酪

正这种中式奶酪味道上还有洋味儿,但吃法却绝对的中国化。英国BBC的记者邓禄普来到了云南,在游览了石林之后,他来到了一家制作"乳饼"的小作坊。在这个偏远的小村庄,他惊讶地发现,乳饼就是他故乡的奶酪。在中国的历史上,奶制品长期在餐桌上缺席,奶酪更是闻所未闻。上世     

基于CMP的多种并行蚁群算法及比较

基于片上多核处理器(Chip Multi-processor,CMP)的多种并行蚁群算法,包括并行最大最小蚂蚁系统、并行蚁群系统及两者的混合等5个并行算法,提出一种在CMP的每个处理器核心上模拟一个子蚁群,整体蚁群共享同一信息素矩阵,实现信息素隐式交流的方法.用多线程实时优先级实现该算法,并用若干旅行商问题实例进行了测试,分析了不同并行策略的影响.测试结果表明,基于CMP的并行蚁群具有相对于核心数目的线性加速比,异种蚁群混合策略在解的稳定性上更具优势。     

基于三维Mesh片上网络的双链路互连架构

片上网络(network on chip,NoC)作为一种全新的片上互连通信架构,面积受限,却具有丰富的线资源。而且,三维片上网络的层间互连线很短,同时提供了在第三维度上的互连扩展性。根据这些特性,该文提出了一种基于三维Mesh片上网络的双链路互连架构。在垂直方向上,该架构采用双链路互连,使其通信带宽加倍;而且,跨层连接的垂直链路降低了消息传输的路由跳数。这些都带来网络平均延时的降低和最大吞吐量的提高,却仅仅增加一些控制逻辑电路。仿真结果验证了理论分析。与传统的单链路架构相比,该架构以较小的面积开销换取了较大的性能提高。