多核处理器验证中存储数据错误快速定位机制

提出并实现的一种数据错误快速定位机制(Fast Fault Location Mechanism,FFLM)面向多核处理器存储系统的功能验证,FFLM基于硬件仿真器构建多端口存储器黄金模型,通过在仿真过程中实时监控存储系统与处理器核之间的访存报文,在线比较被测系统访问真实存储器的数据与黄金模型中的对应数据是否一致,在错误数据从存储系统送入处理器核的时刻就能够发现数据错误。与传统方法相比,FFLM具有仿真速度快、硬件资源代价低以及定位错误时间短的优点。对自主设计的CMP-16多核处理器进行仿真时的统计数据表明:使用FFLM后定位数据错误的速度能够比未使用FFLM时平均提高6.5倍。     

军民融合式空军财务保障体系建设探析

军民融合式空军财务保障体系建设应遵循共赢性和可行性原则,注重"需求导向型"空军财政资源配置、"结构调控型"军费资源分配、"资源统合型"军地财力整合、"多维协作型"军银资金供管、"复合配套型"军地政策资源协调等机制的配套完善。同时,总部着力加强财务宏观调控,实施总量和制度控制;空军着力强化财务结算职能,以空军财务结算中心为基础,完善机构体系,扩大业务范围;部队着力实施财务管理和监审,严格经费预算编制的审批、预算执行过程的控制以及事业成果的效益考核。     

深化军队后勤保障社会化改革问题研究

深化军队后勤保障社会化改革,实现军队后勤军民融合式发展,既是国家发展战略总体规划,也是现代战争对后勤建设与发展的要求。推进军队后勤保障方式改革,应依据建立军民融合、寓军于民保障体系的目标,按照效益优先、军民两利、循序渐进的原则,围绕加快转变战斗力生成模式主线,创新保障模式,完善相关政策法规,加强平战保障能力建设,突出运储保障和人才培养。     

完善军队资金监管机制研究

军队资金监管机制包括法规约束机制、决策管理机制、预警防范机制、监督协调机制、责任追究机制。加强军队资金监管机制建设,应完善法律法规,强化法规约束机制;注重科学决策,建立决策管理机制;创新管控手段,健全预警防范机制;加强协调力度,完善监督协调机制;强化管理问责,健全责任追究机制。     

强化审计监督职能 服务后勤核心保障能力建设

围绕后勤保障转型搞好审计监督,提高后勤核心保障能力,应把握新时期后勤保障转型的时代特征,明确审计工作面临的主要任务,在总体思路上增强审计监督的前瞻性、审计监督的制衡力、审计监督的实效性。     

求解面向进攻的武器-目标分配问题的蚁群算法

面向进攻的武器-目标分配问题是军事运筹学研究中的重要课题,旨在制定合理的打击策略以最大程度摧毁敌方目标。采用一种融合局部搜索和信息素控制的蚁群算法,兼顾控制解的局部收敛速度和全局收敛质量。在解的构造过程中直接处理约束条件,提高生成解的可行性,并大大缩小了搜索空间,提高了算法效率。通过采用多种算法对不同规模的武器-目标分配问题进行实验,结果表明改进的蚁群算法在收敛速度和求解质量上表现优异。     

增强组织指导部队参加平安创建活动的实效

组织指导部队参加平安创建活动,是《政工条例》赋予师旅团党委和政治机关新的重要职责.增强部队参加平安创建活动实效,必须加强组织领导、注重能力建设、坚持军地协作、建立长效机制,切实在确保部队参加平安创建活动常态化规范化制度化上下功夫见成效.     

论战区联合作战后勤保障社会化

战区联合作战后勤保障社会化涉及军地双方,应树牢平战一体、军民结合的战时保障意识,健全衔接顺畅、反应灵敏的战时保障机制,确定结构合理、规模适度的战时保障范畴,建立秩序正规、科学高效的保障运行体系,培养技能精湛、素质过硬的专业保障队伍。     

适应“打赢”要求 提高军费管理效益

适应打赢要求,提高军费保障效益,就是要更新理财观念、建立健全民主化程序化的决策机制、弥补经费管理系统＂短板＂、加快社会化保障改革步伐。