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

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

时政速读

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

致军营

冷风吹过,冰透我所有的记忆。在云南一个四季如春的小城。早晨,一股袭人的寒气将我从梦中惊醒,抬头望一眼日历,才发现已是冬至了。我再无心酣睡,猛然想起北方的老家,该是飘雪的日子了。     

纳米二氧化钛粉末光催化降解HD和VX的研究

研究了纳米二氧化钛末对HD和VX的光催化降解作用,发现吸附在二氧化钛粉上的HD和VX在紫外光的作用下,2h后,95％以上的毒剂可被降解,HD降解中间产物为二羟乙基硫醚、芥子亚砜和乙烯基氯乙基亚砜,VX降解中间产物为甲基磷酸二乙酯和甲基磷酸,HD和VX最终产生分别为Cl^-1,SO^2-4和SO^2-4,PO^3-4,NO^-3。吸附在纳米二氧化钛粉末上的HD在自然环境中,能部分发生水解反应而消毒。     

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

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

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

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

一失足成千古恨

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

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

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

改制如何对症下药

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