CMP中Cache一致性协议的验证

CMP是处理器体系结构发展的一个重要方向,其中Cache一致性问题的验证是CMP设计中的一项重要课题。基于MESI一致性协议,本文建立了CMP的Cache一致性协议的验证模型,总结了三种验证方法——状态列举法、模型检验法和符号状态法,并给出了每一种方法的复杂性分析。     

地下管道在沧州地区的发展及应用

近年来,我区干旱少雨,地表水严重不足,而大量开采地下水,使得地下水位连年下降,机井出水量减少,严重影响了农业生产的发展。为减少渗漏损失,提高水的利用率,我区采取了多种型式的防渗节水措施。先后推广了地上软塑管道、地下硬塑管道、地下混凝土管道,本文主要阐述我区混凝土管道的发展及应用。     

关于我省机械电子行业各类公司、联合体的调查

赵紫阳总理在全国第一次城市经济体制改革工作会议上的讲话中强调,从现在起,应该把横向经济联合作为一项重要工作,作为经济改革的重要组成部分来抓.抓联合可以出效益,抓联合可以促改革.贵州省机械电子企业随着改革的深入,为了适应转轨变型的需要,促进企业的生机与活力,发展了形式多样的横向联系,组成了多种形式的经济联合体.它们的联合,在形成集体优势,进行较高水平的社会化、专业化生产,增强竞争能力,开发新的生产力方面发挥了作用,显示出较强的生命力,取得了显著的效益.李崇民同志对此作了专题调查,现将调查报告刊载如下,以飨读者.     

学习与借鉴

学习和借鉴，本身就是一种进步，是事业心、上进心的具体表现。一个人如果有志于某项事业，他就必须善于学习借鉴别人的经验，吸收各种有价值的东西，不断丰富、开拓自己的领域。但是，目前在我们教育教学中对于如何学习的问题，多有不尽人意之处，值得认真思考和探讨。我以为，学习和借鉴，首要的问题是要解决学什么的问题，即解决所学对象在思想上观念上作法上有哪些独特认识，学其认识分析问题的“思路”，也即“学思想”。只有明确了“学什么”，才能知道“怎么学”，才能站在一定高度去把握所学内容。换句话说，学什么是从认识论的角度…     

平原喷灌发展中几个问题的探讨

喷灌具有省水、增产的突出优点，同时还能省工、省地、保持土壤结构、适应复杂地形、保持地温、调节田间气候、预防干热风和霜冻等。但也有不足，如一次性投资较高，受风的影响较大等，同时喷灌的技术要求较高．解决不好会造成作物减产。根据沧州的自然特点和实践经验．提出平原喷灌发展中应注意的几个问题。     

软管输水灌溉在沧州地区的应用与测试分析

一、软管输水灌溉的应用与发展沧州地区位于华北平原的东部,黑龙港河下游,属大陆性半干旱季风气候区。多年平均降雨量为596.5毫米,80%的降雨量集中在7、8月份,一般年份约有10个月干旱少雨,3～6月的降雨量一般小于60～70毫米,仅为同期蒸发量的1/10。作物生长期的降雨很不均衡,     

沧州地区节水灌溉在改进完善中发展

本文论述了沧州地区在节水灌溉发展中的经验、措施和突破性的进展。对降低管材造价,机具、管件和出水口的系列化研究作了科学的分析比较。沧州地区是河北省水资源最紧缺的地区。多年来人们在抗旱灌溉中,为减少渗漏提高水的利用率,创造了多种形式的防渗节水措施。近几年有显著节水节能效果的低压管道输水灌溉发展很快。据统计,截止1990年9月全区兴建管道灌溉工程1737.17万米,其中:砼地下管道31.68万米,硬塑地下管道76.5万米,地埋软管2.8万米,地上移动软管1626.19万米,共配套机井4.08万眼,控制灌溉面积269万亩,在我区抗旱夺丰收中发挥了重大作用。实践证明,低压管道输水灌溉是我区发展节水型灌溉的重要措施。