并行程序中同步瓶颈的检测和优化方法

针对并发程序中锁的不当使用可能导致性能瓶颈的问题,提出检测和优化并发程序中同步瓶颈的方法IdeSync。IdeSync使用静态分析方法获取同步方法和同步块,构建静态同步依赖图,采用基于执行路径的动态分析技术进行同步依赖关系分析,构建同步依赖图。为了暴露性能瓶颈,在同步依赖图上通过增加程序工作负载的方式,监测临界区的性能变化,并针对检测到的同步瓶颈给出优化建议。在实验中通过HSQLDB、SPECjbb2005和RxJava等12个大型实际应用程序对IdeSync的有效性进行验证,共检测到72个同步瓶颈,根据优化建议进行优化后程序性能均有所提升。实验表明,IdeSync能够有效地检测和优化同步瓶颈。     

基于最小最大决策的三站时差定位布阵优化

提出了一种基于最小最大决策的三站时差定位布阵优化方法,以提高系统对目标区域的整体定位精度。应用基于最小最大决策的最优化理论,建立布阵优化问题的数学模型。该模型以三站坐标为决策变量,以目标区域的最大水平定位误差最小为目标函数,然后运用基于最小最大决策的最优化算法,求解模型的最优解,并将此最优解作为三站时差定位系统的最优布阵。仿真结果与理论计算一致,验证了这种布阵优化结果的最优性。     

临近空间传感器分布式组网研究

研究了临近空间分布式传感器网联合发现目标概率,探讨了区域警戒传感器网中部署传感器数目与该网总发现概率等的关系,提出了3种特殊的分布式网络传感器区域的布防模式,并建立了定量评价传感器网性能指标的数学模型。模型的建立为定量评估传感器组网系统效能奠定了理论基础,也为分布式传感器网络系统的部署优化、传感器的选配等提供决策依据。     

基于多目标约束的基本保障单元人力资源优化研究

针对装备维修工作中基本保障单元的人员优化问题,在维修过程中为保证以最少的人员在最短的时间内完成预定的维修任务,分析了修理工期与人员数量的关系,应用多目标约束理论建立了工期人员优化的多目标数学模型,通过预处理将模型转化为路径组合优化问题,并用改进的蚁群算法对模型的求解进行了研究,最后通过实例验证了优化模型及求解方法的有效性和实用性。     

基于单亲遗传算法的战时维修力量抽调模型研究

分析了影响维修力量抽调决策的因素,对装备维修力量的抽调问题进行了数学描述,建立了一种基于灰色关联度的多目标优化模型。针对装备维修力量抽调的非线性多目标优化问题,提出了基于单亲遗传算法的求解方法,该算法用换位算子取代了传统的交叉、变异算子,但仍然保持了他们的进化功能。通过仿真算例分析表明,该方法可有效求解多目标的保障力量抽调问题。     

一种压水堆负荷跟踪控制方法

为有效协调反应堆功率与需求负荷能量间的平衡,提高运行过程的安全性、机动性和经济性,当前普遍采用压水堆负荷琅踪运行模式.由于反应堆系统具有高度复杂、非线性、时变等特点,鲁通方法很难达到良好控制效果.通过合理简化,基于集总参数方法建立了压水堆负荷跟踪系统模型,并据此模型要求构造了优化目标函数,采用改进的二次寻优混沌算法对现...     

基于Petri网的综合电子系统总线建模与性能优化

针对综合电子系统运用中总线效率不高等问题,以某型步兵战车综合电子系统为例,通过对系统进行信息流规划,结合总线协议和实现机制,采用赋时颜色Petri网对综合电子信息系统通信机制进行建模,实现综合电子系统总线通信协议机制的仿真。通过对系统总线性能指标参数的分析,提出综合电子信息系统总线的优化方案。关键词：赋时颜色Petri网;综合电子系统;总线建模;性能优化     

武警部队执勤处突力量组织优化初探

基于系统管理理论分析武警部队执勤处突力量组织,将优化内容、优化措施与优化过程紧密联系起来,构建武警部队执勤处突力量组织优化的三维模型。     

装备使用阶段后续备件采购模型Ι：消耗件

在装备使用阶段,为制定合理的后续备件采购策略,以装备消耗件的采购优化为研究背景,根据供应链系统库存控制论,以备件短缺数指标为约束条件,采用系统法建立了消耗备件的采购模型,并利用经典拉格朗日乘子法求解最优采购点和采购量。算例给出了优化结果,并对影响备件采购方案的主要因素进行了分析。结果表明：该方法简单实用,能够为军方在装备使用阶段的后续保障中制定合理的消耗备件采购方案提供决策支持。     

试论基于信息系统的海军装备体系及优化思路

从研究海军装备体系的演化出发,分析了基于信息系统的海军装备体系的主要特征,阐述了构建新型装备体系应树立的观念。在此基础上,就如何实现海军装备体系的优化,全面提高海军综合作战能力进行了探讨。