北方奔驰远赴联合国行使维和使命

由我国核电厂运行评估委员会（下简称“评估委员会”）和世界核电营运者协会WANO巴黎中心联合组织的对大亚湾和岭澳核电站的评估活动于9月5日正式开始。     

落实退出机制着力提升国防科技自主创新基地的运行质量

为全面、系统、准确地评价重点实 验室研究方向、科研能力和运行效果, 为重点实验窒结构调整和资源优化配 置提供决策参考,增强重点实验室自 主创新研究能力,促进其健康持续发 展,从2003年起,国防科工委启动了 重点实验室定期运行评估。受国防科 工委的委托,新时代咨询工程公司具 体实施了第一轮评估活动。 评估工作于2003年3月开始,至 今年11月结束,在三个年度分批实施。 评估主要从研究方向定位与承担任务 情况、成果水平与应用效果、队伍建设     

严把三道关 理出好日子 郧县人武部加强经费管理推动全面建设

办公条件优越，生活环境优美，工作秩序井然，荣誉室里奖旗、奖牌、奖状挂得满满当当。这是新年初笔者在湖北省郧县人武部看到的一番喜人景象。一个国家级贫困县的人武部，全面建设何以搞得这样好？部领导告诉笔者，这些成绩和荣誉的取得，在很大程度上得益于他们把好“关”、建好“卡”，加强经费管理。推动了人武部全面建设。     

核工业成功军转民的丰碑——中核集团秦山核电基地

<正>中核集团秦山核电基地成功地实现了核工业的二次创业,走出了举世瞩目的和平利用原子能的军转民新路。中核集团秦山核电基地位于中国浙江省海盐县,紧傍风景秀丽的杭州湾,是中国大陆核电的发源地,被誉为我国的核能基地、创新基地、人才基地、示范基地、文化基地、科普基地,是我国核工业成功实现军转民、取得了二次创业成功的标杆和丰碑。秦山核电基地目前共有7台运行机组,装机容量430万千瓦;2台     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

完善国有资本有进有退、合理流动的机制

党的十六届三中全会《决定》提出要完善国有资本有进有退、合理流动的机制,这对于推进国有企业改革和进一步完善社会主义市场经济体制有着极为重要的现实意义。     

一种应用定制指令集可重构结构及FFT算法映射优化

现代无线通信应用对FFT计算吞吐率与灵活性需求越来越高,针对传统方案实现FFT计算时难以兼顾性能与灵活性的问题,提出一种应用定制指令集可重构结构ASRA,实现了FFT算法在该结构上的映射优化。ASRA在静态多发射处理器内紧耦合应用定制的混合粒度可重构硬件作为扩展功能单元簇,通过运行时重构动态切换扩展指令集。ASRA采用多体便笺存储器、多端口便笺管理单元及可重构互连构成片上缓存系统,结合多体并行访问、循环级乒乓交替、读/写流水化等技术有效提高了访存带宽;静态多发射和运行时语境管理机制支持核心循环的硬件自动流水执行和软流水执行,开发了指令级、数据级和循环级等多层次并行性。实验结果表明,ASRA大幅提升了FFT计算吞吐率,且支持的FFT计算参数更加灵活,而增加的面积开销相对较小。     

中核集团核动力事业部正式揭牌运行

2011年11月16日,中核集团核动力事业部成立暨揭牌仪式在京举行。此举标志着作为流程再造重要板块之一的核动力事业部正式开始运行,同时也拉开了中核集团全力打造核动力“一站式”服务产业链的大幕。     

美日印打造战略三角

当前,亚洲的外交态势正随着该地区的经济动态发生变化,特别是在安全领域。这一次,处于构建中的是亚洲的安全秩序,这反映了该地区在全球事务中新获得的主导地位,尽管目前还无法确定这一秩序的最终状态。     

谁是国际秩序的挑战者？ 国际问题专家庞中英教授访谈录

国际秩序,作为世界上各个国家在相互交往过程中形成的行为规范与保障机制,既有相应的稳定性,又总是处于不断的流变之中。什么样的国际秩序才是正当的国际秩序？在当今的世界上,谁才是真正的国际秩序维护者和挑战者？为此,本刊记者专访了中国人民大学国际关系学院庞中英教授。