一种基于0-1整数规划的全局数据分布优化方法

数据分布是影响并行程序在分布主存多处理机上执行性能的重要因素.针对分布主存多处理机中的数据分布问题,提出了一种基于0-1整数规划、利用数据变换技术进行有效数据分布的方法.该方法通过数据变换技术改变数据的存储布局,以使得数据能被有效地分布,并且该方法还利用数据分布图描述程序被并行的情况及其所含数组被访问的情况,并将全局数据分布优化问题转换为求解数据分布图中最优路径的问题,从而可用0-1整数规划求解最优路径问题.该方法能对多个嵌套循环中具有仿射数组下标的任意维数组进行有效的数据分布,并且也能使嵌套循环的并行度尽可能地大.另外,该方法也考虑了偏移常量的对准问题,从而能使数据通信量尽量地小.实验结果验证了该方法的有效性.     

IDEF0方法在军事综合电子信息系统分析设计中的应用

就IDEF0方法在军事综合电子信息系统分析设计、系统升级与集成及仿真等方面的应用进行了深入探讨。由于IDEF0模型具有简单、全面且描述能力强等优点 ,使其在多个领域尤其在制造业中得到了广泛应用。军事综合电子信息系统是以活动为支撑 ,以信息为基础的复杂大系统 ,用IDEF0模型对其进行描述可以加深指挥人员和技术人员对系统的共同理解 ,从而提高系统开发的效率并提高系统的实用性。     

Concise RLT forms of binary programs: A computational study of the quadratic knapsack problem

The reformulation‐linearization technique (RLT) is a methodology for constructing tight linear programming relaxations of mixed discrete problems. A key construct is the multiplication of “product factors” of the discrete variables with problem constraints to form polynomial restrictions, which are subsequently linearized. For special problem forms, the structure of these linearized constraints tends to suggest that certain classes may be more beneficial than others. We examine the usefulness of subsets of constraints for a family of 0–1 quadratic multidimensional knapsack programs and perform extensive computational tests on a classical special case known as the 0–1 quadratic knapsack problem. We consider RLT forms both with and without these inequalities, and their comparisons with linearizations derived from published methods. Interestingly, the computational results depend in part upon the commercial software used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

基于0-1规划的弹种决策与发射时序优化

对于身管发射武器系统,同一发射单元使用不同弹种完成作战任务时,需要确立合适的弹种决策与最佳的发射时机.提出用O-1变量来描述弹种决策变量.通过时弹种发射机制及武器系统控制特点进行分析,构造多种0-1变量用以描述武器系统作战时序之间的约束关系,建立了弹种发射时序的0-1规划模型,并用LINGO软件实现了0-1规划的求解.给出了典型应用实例,进行了仿真计算,结果表明,该方法简单可行.     

多全球导航卫星系统联合的探月飞行器轨道定位分析

针对探月飞行器月球公转轨道上的卫星导航定位问题,以高轨道飞行器卫星导航定位的研究为基础,采用多全球导航卫星系统联合定位的方法进行仿真。分析了载波功率与噪声功率密度比为15d BHz的弱信号捕获门限下,各系统联合定位时波束主瓣和旁瓣的可用性,同时对各系统联合情况下的精度因子值进行分析。仿真结果表明:当接收到的卫星天线辐射的主瓣和旁瓣信号均高于载噪比门限时,全球导航卫星系统的三系统或四系统的联合能满足实时定位条件;而旁瓣损耗不加以补偿时,接收信号载噪比低于门限并导致任意联合方式均无法完成定位。各系统联合的精度因子分析表明:单系统或双系统联合的几何精度因子变化剧烈,四系统联合相比三系统联合的几何精度因子下降16.93%;三系统联合定位方案中,美国全球定位系统、中国的北斗卫星导航定位系统与欧洲的伽利略卫星导航定位系统联合方案的几何精度因子值变化最平稳,为最佳选择。理论分析和仿真结果为探月飞行器定位技术研究和星载多系统接收机设计提供参考。     

装备保障抽组力量物资装载模型

对装备保障抽组力量的物资装载问题进行了数学描述,建立了以实现全部物资尽量分散装载为目标,以同类物资集中装载、车辆承载物资总体积不超过车辆有效容积、车辆承载物资总重量不超过车辆标记载重量、物资必须装载且不被重复装载等为主要约束的数学模型,并进行了求解.最后通过实例解算验证了模型的有效性.     

新型涂层固相微萃取-气相色谱分析检测VX

以溶胶凝胶和交联固化相结合的方法制备了杯[4]芳烃开链冠醚／羟基硅油（Calix[4]open chain ether／OH-TSO）复合涂层固相微萃取探头,采用固相微萃取与气相色谱联用的方法测定水和土壤中的VX．并对自制探头的萃取效率、热稳定性、抗溶剂冲洗能力、使用寿命,保质期以及探头制备重现性等性能进行了系统研究．     

求解整数规划问题的一个搜索方法

本文整数规划问题给出一种搜索方法,它类似于求解连续变量优化问题的迭代方法,从一个好的初始可行解出发,寻找一个搜索方向,沿着这个方向求出改进的可行解,然后又开始下一次迭代。此方法简单易行,可以求出问题的最优解或近似最优解,对于整数线性规划问题和整数非线性规划问题的求解都适用,并且容易推广到求解大规校整数线性规划问题。文中附有计算例子,说明方法是有效的。     

GNSS多系统联合的探月飞行器轨道定位分析*

为适应深空探测的应用需求,全球卫星导航系统对深空飞行器定位的可行性问题备受关注。针对探月飞行器月球公转轨道上的GNSS定位问题,以高轨道飞行器GNSS定位的研究为基础,采用多系统联合定位的方法进行仿真。分析了载波功率与噪声功率密度比为15dB-Hz的弱信号捕获门限下,各系统联合定位时波束主瓣和旁瓣的可用性,同时对各系统联合情况下的精度因子值进行分析。仿真结果表明：当接收到的卫星天线辐射的主瓣和旁瓣信号均高于载噪比门限时,全球卫星导航系统的三系统或四系统的联合能满足实时定位条件;而旁瓣损耗不加以补偿时,接收信号载噪比低于门限并导致任意联合方式均无法完成定位。各系统联合的精度因子分析表明：单系统或双系统联合的几何精度因子变化剧烈,四系统联合相比三系统联合的几何精度因子下降16.93%;三系统联合定位方案中,美国全球定位系统、中国的北斗卫星导航定位系统与欧洲的伽利略卫星导航定位系统联合方案的几何精度因子值变化最平稳,为最佳选择。理论分析和仿真结果为探月飞行器定位技术研究和星载多系统接收机设计提供参考。     

基于IDEF0的装备维修保障系统功能模型的建立

在研究现有的各种功能分析方法的基础上,选用IDEF0方法对装备维修保障系统进行功能建模。首先建立了装备维修保障系统的纵向功能结构树,用于描述功能层次关系;然后建立了装备维修保障系统的横向关系模型,用于描述处于同一层次的各功能块之间的相互关联。