脉冲功率电源放电效果评价体系研究

为了对脉冲功率电源放电性能进行横向对比,以便有效提高脉冲功率电源放电性能,对脉冲功率电源放电评价体系进行研究,提出了基于SMART准则开展的脉冲功率电源放电评价体系设计。首先,从电磁发射应用需求出发,利用层次分析法分析影响脉冲功率电源放电的关键要素,建立了全面反映脉冲功率放电特性的综合评价指标体系;然后,采用德尔菲法建立放电统一标准的指标权重;最后,通过对每项指标设定评价判据,拟合得到每项指标的评分函数,从而形成能够用于不同电磁发射工况下的横向对比的脉冲功率电源放电评价体系。实验算例结果表明:该评价体系能够反映脉冲功率电源放电优化的发展水平;横向对比不同发射工况下的优劣,可以找到该工况下的薄弱环节,为脉冲功率电源在电磁发射应用下的优化提供参考。     

基于军事管理革命的军费管理制度

现代军费管理是推动军事管理革命的基础和重要支柱。从军费投入到军事能力生成,主要经历需求、规划、预算、执行、评估等基本环节,环环相扣、相依相制。其中,需求是牵引,规划是主导,预算是龙头,执行是主体,评估是保证。解决资源配置与备战打仗相脱节、军费管理效能不高的问题,关键要以预算为龙头核心,建立系统化流程化的资源配置机制,打通资源投入与军事能力需求、战斗力生成之间的链路。     

基于层次分析法的军校学员体能训练评估

针对目前军校学员军事体育训练评估难以量化考核的问题,提出了基于层次分析法的军校学员体能训练评估方法。首先,通过建立评估指标体系,构建评估指标判断矩阵;其次,进行归一化并计算指标组合权重,构建评估基本模型;最后,利用评估模型对学员体能训练进行综合评估。结果表明本文提出的方法能够对军校学员体能训练进行有效评估,相比于传统考核评估方法更能反映出学员体能的真实状况,突出学员体能特征,开展针对性训练。      

贝叶斯网络结构学习优化方法研究

针对贝叶斯网络结构学习的复杂问题,首先在深入研究网络结构特点基础上建立了1-步依赖系数BN邻接矩阵,将网络结构学习问题转化为邻接矩阵边的关系处理;然后,采用爬山算法进行局部寻优,再用遗传算法进行全局优化的思想进行贝叶斯网络结构求解。算例分析表明:所提算法可行,计算效率高于遗传算法。     

片上trace：嵌入式处理器的有效调试和优化技术

片上trace技术弥补了传统调试方法的不足,可以实现对嵌入式软件的非入侵调试.首先分析了当前主流调试方法的不足,论述了trace与断点调试方法互为补充的关系,而后介绍了YHFT系列DSP的片上trace系统TraceDo的功能与结构,并解释了路径trace的原理和工作过程,最后讨论了片上trace的应用.     

空间救援发射窗口分析

从发射窗口的基本特性出发,推导了空间救援任务发射窗口的解析求解方法.将空间救援发射窗口问题分解为平面窗口问题和相位窗口问题,分别建立了平面窗口与相位窗口的解析求解模型,最后获得了发射窗口解析解.用直观曲线描述了同一经度的不同纬度所有发射点对应的发射窗口,为空间救援任务发射窗口的分析和快速计算提供了基础.     

大规模代谢网络分解的生物信息学研究

随着大规模分子相互作用数据的不断涌现,生物学网络方面的研究正日益得到重视.代谢网络处于生物体的功能执行阶段,其结构组成方式不仅反映了生物体的功能构成,也直接影响代谢工程中的途径分析和研究.作为代谢网络研究的重要环节,实现网络的合理分解不仅对于基因组范围内分子网络的结构和功能研究具有重要意义,也是代谢工程的途径分析和优化得以顺利进行的前提之一.在回顾代谢网络宏观结构和拓扑特征研究成果的基础上,通过对现有分解方法的深入分析,指出缺乏合理且有针对性的模型评估准则是目前网络分解研究中亟待解决的问题之一.今后的研究趋势在于如何整合更多的信息和发展更先进的分析方法,建立更合理的模型,并进一步拓展网络分解的应用范围.     

基于学科间差异信息的协同优化改进算法

分析了MDO(Multidisciplinary Design Optimization)中广泛应用的协同优化算法的特点和存在的问题,提出了一种基于学科间差异信息的协同优化改进算法COMI(Collaborative Optimization based on Multidisciplinary Inconsistency).利用学科间差异信息构造了系统级松弛约束和系统级罚函数,利用遗传算法作为系统级优化算法,并采用标准算例比较了标准CO(Collaborative Optimization)算法、松弛CO算法与COMI算法的性能.结果表明COMI算法在设计结果可行性和最优值上平衡性较好.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.