基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

时政速读

第九个中央一号文件2007年1月29日,《中共中央国务院关于积极发展现代农业扎实推进社会主义新农村建设的若干意见》下发,即改革开放以来中央第九个一号文件。文件要求,发展现代农业是社会主义新农村建设的首要任务,要用现代物质条件装备农业,用现代科学技术改造农业,用现代产业体系提升农业,用现代经营形式推进农业,用现代发展理念引领农业,用培养新型农民发展农业,提高农业水利化、机械化和信息化水平,提高土地产出率、资源利用率和农业劳动生产率,提高农业素质、效益和竞争力。     

无人机自动驾驶仪微分控制分析

本文根据某型无人机在常值干扰力矩的作用下,飞机姿态角存在静差,并产生振荡这一现象,提出了在某型无人机中加入角速度陀螺的设想,并以纵向俯仰角为例,根据飞机纵向短周期运动方程和自动驾驶仪的控制律,利用根轨迹法对控制系统进行初步的理论分析,为某型无人机加入角速度陀螺,提供了理论依据。     

外军后备力量发展的十大趋势

近年来,世界各国为了适应现代战争的需要,不断加大后备力量建设力度,总体上呈现出一定的发展趋势。     

一失足成千古恨

贪欲的闸门一旦打开,腐败的洪水就会咆哮奔腾张新生当过兵,复员后,从一名普通职工一步步走上了团场主要领导岗位,用他自己的话说:"我是一个普通职工家的子弟,走到今天很不容易!"但当上团长后,地位高了,权力大了,欲望也随之膨胀了。从2012年1月担任二师二十一团团长到6月,短短5个多月时间里,受贿25万元,被判处有期徒刑10年。2007年年初,张新生开始担任二十一团团领导。起初,张新生还能经常提醒自     

春风吹得百花开——内蒙古一机集团公司开展"创争"活动纪实

国家特大型军工企业内蒙古一机集团,紧跟时代潮流,以“创建学习型企业,争做知识型职工”为切入点,精心搭建职工与企业共同发展的平台,充分发挥党组织的政治保障作用,激发和调动职工的积极性和创造性,使企业步入了一个良性发展的快车道。明确目标构筑常态运行体系作为企业的长期发展战略,一机集团制定了建设“学习型企业”整体规划和具体实施方案,确定了不同时期的阶段性目标,并按照“求实戒躁”的原则,以抓基础环节入手,推动创建工作不断向纵深发展,逐步构筑超常态的机制运行体系。在创建活动中,明确一个目标,通过开展“创争”活动,打造兵器…     

改制如何对症下药

太航公司根据国家经贸委等八部委联合下发的《关于国有大中型企业主辅分离辅业改制分流安置富余人员的实施办法》和中国一航关于《中航一集团成员单位实施主辅分离辅业改制分流安置富余人员指导意见》,将太航医院作为太航公司改制的首宗试点单位,进行主辅分离改制,使其脱离“母体”,走向自立。然而,这项改革是以产权制度为突破口、涉及职工的劳动关系和身份的转换以及利益关系的重新调整,对太航公司可谓是是一次“脱胎换骨”的大变革,这对在国有企业工作几十年的太航职工来说,在很长时期内所形成的国有思维模式,其受到的冲击、带来的震撼是…     

被人相信是一种幸福

一艘货轮在烟渡浩渺的大西洋上行驶,一个在船尾搞勤杂的黑人小孩不慎掉进了波涛滚滚的大西洋,孩子大喊救命,无奈风大浪急。船上的人谁也没有听见,他眼睁睁地看着货轮拖着浪花越走越远……     

张爱萍与一江山岛登陆作战

1955年1月,张爱萍在任华东军区参谋长(1954年10月已被任命为解放军副总参谋长尚未到职)时,组织人民解放军陆、海、空军首次进行解放一江山岛联合登陆作战,显示了高超的指挥艺术。当时,我在华东军区机关做秘书工作,对一江山岛的作战情况比较了解。在张爱萍老首长逝世一周年之际,我把我所知道的有关张爱萍与一江山岛登陆作战的一些片断告知大家。     

亟待重视技工短缺现象——关于中航一集团技工队伍调查

为掌握当前国防科技工业系统技术工人队伍的实际状况,最近,中国国防邮电工会以提高技术工人队伍素质为课题,对中国航空工业第一集团公司(以下简称中航一集团)技术工人状况进行了调研。