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

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

富民强兵，这里歌声特嘹亮——“中国十佳小康村”山东省招远市九曲蒋家村印象

波澜壮阔的中国改革事业．发端于农村。30年来,为解放农村生产力、发展农业生产、增加农民收入。党中央在1982年-1986年、2004年-2008年连续制定和颁布了关于农村工作10个“一号文件”。在不同的年代背景下,10个“一号文件”各有侧重．奏响了繁荣农村经济、促进农民增收、推动农村社会发展的气势磅礴的主旋律,涌现了许许多多经济发展、社会和谐、民风纯朴的社会主义文明新村典型。回眸30年的改革开放历程,追寻这些文明新村的发展足迹。事事、时时、处处都闪现着民兵矫健的身影。为纪念改革开放30周年,本刊编辑部约请各地特约记者走进这些全国有名的文明新村,感受农村改革开放的成就,回味基层民兵营连建设在经济发展的同时水涨船高的进步历程。从而激励武装战线的同志高举建设中国特色社会主义伟大旗帜,坚定改革开放的正确道路．在中华民族伟大复兴进程中实现富国与强兵相统一的坚定信心。     

航空材料技术彰显奥运之美——中航一集团材料研究院研制开幕式演出道具“奥运纸”纪实

北京奥运会开幕式总导演张艺谋说：我认为在所有的创意中,最值得骄傲和自豪的是那张纸。在全世界运动员的参与下,形成了伟大的作品。没有任何可能性使全世界204个国家和地区的最优秀的年轻人集合起来帮你做这件事情,哪怕帮你踩脚印。     

儿童视角下小学语文选材的文道统一

语文教材是学生获得知识与技能,培养文学素养和养成良好习惯的凭借,是形成情感态度价值观的载体。小学阶段的儿童年龄跨度较大,因此对于教材中课文的甄选显得极为重要,不仅要考虑儿童的身心发展阶段还要关注到对于知识与技能的传授,以及情感态度价值观的培养。文章以部编版教材中第一学段（一至二年级）部分课文为研究对象,从儿童视角出发,分析探讨语文教材中“文”的体裁和内容及“道”的叙说方式,文章认为在小学语文教材选材上既要注重“文道统一”,又要关注“文”与“道”的儿童视角。     

一甲基肼的高压蒸发研究

对一甲基肼的高压蒸发进行了研究,计算了一甲基肼液滴温度和半径的变化历程,并对各种不同环境压力下的结果进行了比较。计算了蒸发常数、传热数和传质数,所得结果同已有的实验数据相比较是吻合的,且考虑了不同的Le数对蒸发界限压力的影响,说明了此蒸发模型和计算方法的合理性。所得结论对于分析液体火箭发动机的燃烧过程是重要的。这一方法还可以用来计算其他燃料的蒸发。     

提高“三到一长期”教育成效的对策思考

空军预警学院坚持把“三到一长期”教育作为打基础、管长远的育人工程,贯穿到人才培养全过程全链路。当前,面对意识形态领域尖锐严峻的斗争形势,面对拜金主义、利己主义、功利思想带来的冲击影响,要深化“三到一长期”教育引导,优化教育内容体系,调动学员参与热情,创新教育方式方法,激励学员把个人前途命运与国家、军队的建设发展紧密联系起来,自觉在艰苦中磨练、在奋斗中成长,在祖国最需要的地方成才,在长期为部队备战打仗服务中实现人生价值。     

陈济棠粤军入赣与宁粤博弈(1931—1932)

九一八事变后，宁粤双方在香港、广州和谈，蒋介石同意将在赣“剿匪”的陈铭枢第19路军调卫京沪的同时，提出了由粤军接防赣州要求。陈济棠最初表示和议有成后出兵赣南，但随着上海和议粤方要求受挫，粤军入赣接防问题逐渐搁浅。孙科内阁时期，熊式辉在地方保护主义驱使下，一度要求陈济棠撤出大庾一带粤军。“一·二八”事变后，受日本入侵威胁，熊式辉因防卫江西的需要，国民政府因驻赣“剿匪”军东调的需要，再度与陈济棠商讨粤军入赣问题。陈济棠也因防范中央红军赣州战役后“赤化”广东，为保卫粤北计同意并推动了粤军入赣的实现。为争取陈济棠支持，国民政府在粤军协饷、陈济棠职务任命等问题上，对粤采取怀柔政策，而陈济棠在入赣“剿共”名义下，趁机将势力范围扩充到赣南诸县。     

网络雷达及其模糊函数

网络雷达实现了雷达与雷达对抗的一体化,是一个新型的雷达系统.在对网络雷达概念和特点作了简单描述后,详细介绍了网络雷达的模糊函数,分析了网络雷达各种工作模式下的模糊函数具体形式,并通过仿真结果得到网络雷达的特性及获取的无源侦察信息,极大地提高了其目标分辨能力.     

超声速气流中液体横向射流一次破碎过程

发展显微成像方法获得空间分辨率为1.57 μm/pixel的近场射流瞬态图像,分析超声速气流中液体横向射流表面波演化规律。采用流体体积法获得射流的三维形态及近场流场特征,研究近场流场结构及气液作用。射流的一次破碎过程主要有表面破碎和液柱破碎。其中表面破碎由气液剪切引起的K-H不稳定主导,液柱破碎由气液加速引起的R-T不稳定主导;射流柱表面局部压力的脉动是诱导产生射流迎风面表面波并促使其沿射流方向发展的主要原因;射流柱与超声速气流作用形成背风面回流,近壁面液雾主要由表面破碎及背风面回流输运的液滴组成。