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

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

中国海军首次参加多国海军联合军演

应巴基斯坦海军的邀请，由“连云港”号护卫舰和“三明”号护卫舰组成的中国人民解放军海军舰艇编队，在海军东海舰队某驱逐舰支队支队长邱延鹏大校的率领下，于2007年2月19日从宁波启航，前往巴基斯坦参加代号为“和平-07”的海上多国联合军事演习。     

时政速读

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

核动力航母与常规动力航母哪个效费比高？

当今世界9个航母拥有国中，除美国拥有2级10艘核动力航空母舰外，只剩法国还拥有1艘“戴高乐”号核动力航母。其余的航母拥有国均为常规动力航母。那么，各国海军在选取航母动力类型时究竟是根据它的大小和国防经费的多寡，还是根据掌握船用动力的程度与科技水平的高低来加以选取？航空母舰究竟是采用核动力好，还是以常规动力为佳？不同的动力将对未来海战产生什么影响？从现有各国航母的动力类型选用上可以看出，它们主要取决于海军战略需求的不同，投入军费的多少，科技水平的高低及对各种船用动力掌握运用的程度。为了搞清核动力与常规动力在航空母舰上运用的差异，以及所产生的影响，今天本刊主持人李杰与两位上期大伙已熟悉的嘉宾：国内一家著名舰船杂志的王副主编和中国舰船研究院某研究所的陈研究员就航母动力类型及效费比等相关话题，展开较为深入的讨论。     

从“库尔斯克”号失事看核潜艇设计

“库尔斯克”号,这一级核潜艇从80年代中后期起陆续服役,参加过多次演习、训练、远洋执勤,甚至深入到太平洋、大西洋美国沿海及地中海等海域,艇载导弹、鱼雷都试验发射过,与艇上各种水声、光电指控等电子系统匹配协调,与岸基指挥引导联络畅通,是已形成战斗力的新型潜艇2000年8月,在巴伦支海的大规模军事演习中,北方舰队再次动用“瘁尔斯克”号扮演攻击航母战斗群的角色。     

揭开“海伦娜”的神秘面纱

美军核潜艇是美国最重要的水下作战力量,具有全球突袭作战的能力,在冷战结束后的军事冲突中,有关国家附近的海域常常有美军水下幽灵在游荡。最近,美国《军事和航空航天电子》杂志的主编约     

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

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

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

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

美国最新核航母驶近台湾东部海域

“斯坦尼斯”号是美国海军最新核航母,隶属大西洋舰队。今年初,这艘巨舰突然巡弋到西太平洋海域,先后与日本及韩国海军进行联合军事演习,而后,绕道中国台湾东部海域,访问中国香港,并继续出访东南亚有关国家和地区。“斯坦尼斯”号首次巡游亚太地区,引起了世界各国特别是亚太地区的广泛关注。