凸度量空间中广义拟-压缩映象的不动点的逼近问题

设 (E ,d ,W )是完备的凸度量空间 ,T :E→E是广义拟—压缩映象 ,{xn}为T的带误差项的Ishikawa迭代序列。则 {xn}收敛于T的唯一的不动点 p∈E。     

基于二阶锥规划的MIMO雷达任意形状旁瓣波束设计

针对MIMO雷达非均匀布阵引起的高旁瓣问题,提出一种基于二阶锥规划的任意形状旁瓣设计算法.算法通过在旁瓣区域附加多个二次不等式约束,从而有效抑制干扰、保持期望方向天线增益的同时,获得了期望的、可以任意控制的旁瓣波束响应.通过将优化模型转化为凸二阶锥规划问题,利用内点法可以得到有效求解.仿真试验表明:算法能够获得任意形状期望旁瓣波束设计的同时,有效提高了波束形成器的输出信干燥比.最后计算机仿真结果证实了算法的有效性和可行性.     

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

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

冰河事故救援处置对策研究

针对目前冰河事故救援存在的问题,通过对冰河事故救援的危险性及难点作简要介绍,提出了针对性的处置程序和措施,并根据实际处置过程中出现的问题总结出注意事项。通过对冰河事故采取针对性的处置措施,可以提高冰河救援的成功率和安全性,为消防部队的实际救援工作提供参考。     

临近空间高超声速目标拦截弹弹道规划

利用弹道规划设计了针对临近空间高超声速飞行器的拦截弹道。分析了临近空间高超声速目标拦截问题,将其定性为临近空间的远程高超声速拦截,并提出弹道规划需求;设计了一种两级助推的拦截弹,建立了考虑地球曲率和自转的拦截弹质点平面运动模型;根据弹道规划需求设计弹道约束,以末速最大、与终点距离误差最小和全程热量最小为指标建立拦截弹弹道规划问题;采用粒子群算法求解弹道,结果表明:符合约束的规划弹道是高抛再入形式,与比例导引弹道和准最佳弹道相比,拦截弹大部分时间飞行在大气层外,有效降低了气动热效应影响和对弹体材料的性能需求,且为末制导段提供良好的初始工作环境。     

基于WindowsCE的嵌入式漏磁检测仪ADC驱动程序设计

描述了基于WindowsCE的嵌入式漏磁检测仪总体结构设计,介绍了WindowsCE下设备驱动程序模型,并结合$3C2440A处理器的ADC驱动程序设计,详细阐述了基于Windows的流接口驱动程序的设计方法。实验结果表明：利用该方法设计的ADC驱动程序高效可靠,可以为开发类似设备驱动程序提供参考。     

基于鲁棒性分析的ELECTRE-III参数推断方法

鉴于鲁棒性分析近几年被期望成为解决多属性决策中信息不完备的有效工具,提出了一种基于经典规划的鲁棒性分析框架。就ELECTRE-Ⅲ的参数给出了不完全信息条件下的鲁棒性判别条件和鲁棒性设计步骤。分析计算结果表明这种方法是实用有效的,为ELECTRE-Ⅲ和其他经典多属性决策方法参数的设置提供了新的思路,同时对其他多属性决策方法也有适用性。     

多边形障碍环境中避障路径的遗传算法

研究了平面障碍环境中避障的遗传算法,重点介绍了障碍环境的模型构造和用遗传算法求解该模型的方法设计.采用了与已有遗传算法不同的染色体编码方式和不同的遗传算子设计,在初始群体产生时尽量避免了引入无效基因,提高了染色体进化的效率,使得该算法具有很好的寻优能力,实验结果也表明了该算法的有效性.     

固体推进剂药柱结构分析的非概率凸集合理论模型

为了研究不确定性能参数对固体推进剂药柱结构分析的影响 ,将非概率凸集合理论模型和粘弹性有限元相结合 ,以增量法处理遗传积分 ,利用摄动法预测其响应量区间 ,发展了一种适合药柱特点的不确定性方法。将其和随机结构分析进行对比 ,表明两种方法之间有一定的联系。     

训练保障系统经费分配模型研究

讨论了影响训练保障费用分配的因素,明确了训练保障费用分配的原则,给出了训练保障费用分配的模型．