核反应堆运行中安全校核快速计算方法

本文根据潜艇核动力装置运行管理的需要,提出了一个供核反应堆运行中安全校核使用的快速计算方法。     

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

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

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

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

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

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

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

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

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

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

对违法违纪“零容忍”

完善规章制度,规范权力运行,是加强党风廉政建设,防止权力变异与腐败的根本性措施。胡锦涛总书记在党的十七大报告中明确指出,在坚决惩治腐败的同时,更加注重治本,更加注重预防,更加注重制度建设,拓展从源头上防治腐败工作领域。这三个"更加注重",体现了对党员领导干部违法违纪"零容忍"的内在要求,指明了全方位防治权力变异与腐败的努力方向。落实对党员领导干部违法违纪"零容忍"的内在要求,必须规范权力运行     

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

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

军队资金运行风险及其防范

当前,影响军队资金安全运行不确定因素不断增加,主要原因是金融体系的巨大冲击、电子支付手段的广泛运用、国内金融市场的持续波动、风险防范意识的迟滞薄弱。防范军队资金运行风险,应严格资金管理制度、创新资金管理举措、加强资金管理监督检查、加强军银协调配合、建强资金管理队伍。