论文部分内容阅读
文献[1] 给出了分支问题的有限决定性的充要条件.本文证明了分支问题的无限决定性的充要条件.
分支问题的无限决定性
【摘 要】
：
文献[1] 给出了分支问题的有限决定性的充要条件.本文证明了分支问题的无限决定性的充要条件.
【机 构】
：
武汉大学数学系!武汉430072
【出 处】
：
湛江师范学院学报
【发表日期】
：
1999年2期
【基金项目】
：
国家自然科学基金!(1987-1074)
其他文献
本文结合油田开发数据应用存在问题与专业研究应用需求,就开发数据的信息化应用与油田实例库建设展开了研究,介绍了如何通过实例库进行开发数据的应用。
根据塔里木YQ7井地层情况，在现有钻井液基础上引入阳离子处理剂，将传统聚合物钻井液、聚磺钻井液改良为新型阳离子钻井液。室内对阳离子钻井液进行了性能评价和配方优选，确定出
文章提出了一种基于TI系列DM6446的快速人脸识别系统设计方案,采用AdaBoost人脸检测方法以及改进的线性辨别分析(LDA)特征空间的人脸识别算法,实现实时的人脸检测与识别,考虑到DM6446双核处理器的特点,给出了ARM端和DSP端双核的协同工作方法,以提高算法效率;分析测试结果表明,系统运行可靠,能够实现实时、准确的人脸识别。
姚店油田庙沟采油区位于陕北斜坡延安三角洲前缘地带,属于低孔、低渗、低压、低饱和油藏,前期开发全部采用压裂求产,依靠自然能量溶解气驱开采。至2002年累计采出原油三万余
文章为了探讨脂润滑条件下激光加工微凹坑表面的摩擦特性，设计并制造了5组不同的表面，其微凹坑直径、间距相同，但深度不同，在HDM20端面摩擦磨损试验机上，采用脂润滑，在不同载荷、转
本文提出了一个新的情报学结构模型──深层结构、表层结构、边缘结构，研究了组成情报学结构的表层要素和情报学表层结构框架以及边缘结构机制。
油井出砂是困扰着油田开发的重要因素之一。目前现场应用的多数防砂技术,都会不同程度地降低渗透率,影响油井产能,或者成本较高。本文介绍的割缝筛管防砂工艺是一种新型防砂
CO2气藏的废弃压力是气藏开采状况的关键参数,它的大小直接影响到气藏采收率的高低,因此如何计算CO2气藏废弃压力显得十分重要。本文通过考虑气藏开采过程中指数式产能方程系
文章开展了Zigbee技术在矿井井下应用时工作对象分析、产品性能选取的工程实践工作，力求在现有Zigbee产品以及通用的工业控制产品的基础上合理选择设备参数，满足井下监测系统要
文章通过室内试验，对重塑黏土在不同含水量、不同排水条件和不同加载过程中的侧向应力情况进行了系统研究，分析了影响侧应力系数变化的条件，揭示了重塑黏土侧应力系数的变化规律