拟代数簇包含关系的判定算法

判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .文中给出了判定算法和计算实例     

武汉里分的特色和历史文化意蕴

空灵、大气是武汉的总体风貌，兼容并蓄、异彩纷呈、历史文化意蕴丰厚是里分的汉味特色。里分住宅的设计建造具有兼容性和多样性、人文性和科学性以及浓郁的亲和性、闹中取静，冬暖夏凉，适合人居住。同时，它又是武汉历史的见证，富有商业文化、中西文化、市井文化以及革命文化多元意蕴，具有独特的汉派风味。     

应用反插法加固地基土软弱夹层的实例分析

本文通过实例分析,论述了反插法在干振挤密碎石桩施工中的应用价值和发展前景。     

高产优质大叶茶新品系“云抗12号”选育研究

云抗12号是从云南大叶茶群体一南糯大叶茶中采用系统选育法培育而成．经过多年的品种比较试验和区域性试验，表现为：植株乔木型，中生种，树姿开张；叶长椭圆形，叶色黄绿，芽叶茸毛多，持嫩性强；产量高，平均产优质干茶457．59kg／ha；鲜叶内含物质丰富，适制优质红绿茶；抗茶小绿叶蝉．     

基因标记法研究石灰性土施铁肥对花生根瘤菌固氮作用的影响

以缺铁的石灰性紫色土为供试土壤做盆栽实验，选用三株慢生型花生根瘤菌及gusA和celB基因标记的菌株接种花生．结果发现，缺铁的石灰性紫色土上施铁肥能促进接种根瘤菌的有效性和竞争性；喷施0．2％的硫酸亚铁溶液的效果比0．3％的好；两种标记方法检测到的占瘤率间无显著差异；供试菌株中Spr4-5的有效性和竞争性最强，接种菌株Spr4-5的花生产量最高，喷施0．2％的铁溶液时其产量比CK产量提高204．31％.     

一种改进的单速率三色标记器

提出了一种改进的单速率三色标记算法.该算法用两个上三角矩阵表示标记器之间的令牌借用关系,在某一个标记器对应的数据流(或者聚合流)空闲时,能够把多余的令牌按照一定的概率借用给需要令牌的数据流;在某个数据流繁忙时,若发现自己目前的令牌不足,就向原来借用自己令牌的数据流索还一定的令牌.该算法能在区分服务环境下对确保传输的分组丢弃优先级进行标记.仿真结果表明,相对于原来的单速率三色标记算法,该算法能够提供较高的吞吐量.     

低渗透窄薄砂体油田含水变化规律

为了更好地预测低渗透油田水驱含水变化规律,通过数值模拟、理论计算,研究了油层非均质性、原油粘度和含水阶段等地质因素对含水上升规律影响,分析了葡萄花油田开发过程中采取的调整方式、调整措施等开发因素对含水上升规律的影响,采用结构分析法和贡献值法,分析了结构调整以及打加密井、压裂、换泵、堵水、关井等生产措施对控水的作用。建立了基于油量的水驱曲线微分形式含水预测模型。结果表明,与传统公式相比,该模型更能掌握含水随时间变化的详细过程,准确预测含水变化。在高含水期开发中,可以准确预测开发指标变化趋势,对科学制定开发技术政策、指导油田合理开发有一定的参考价值。     

多项式方程组解的个数的一个新结果

使用同伦方法推广了广义非线性方程组解的个数的结果，把Ｃ＾ｍ去掉一个零测度集改为开稠密子集。     

北京的住宅:昨天、今天和明天

首先简要回顾了鲜明历史背景下北京城住宅及商品住宅的发展，接着，通过对近一时期代表性商品住宅项目的分析，认为通过市场竞争，“好房子”开始出现，并总结了好房子的一些特征，最后，通过对共性和个性的探讨，认为北京的住宅将向着均好性，多样性（个性）和协调性的方向发展，而且前景最主要的问题是解决的好问题，将来的目标是三个方面直辖市一致，同时，还对未来可能的趋势进行了预测。