基于最少谓词思想的可达路径选择

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.     

武器雷达装备RCM分析决策系统

详细介绍了武器雷达装备RCM分析决策系统的体系结构、功能模块划分和数据库设计方法,并给出了系统的实现方案以及后续开发的设想。     

A sequential dynamic pricing model and its applications

Consider a sequential dynamic pricing model where a seller sells a given stock to a random number of customers. Arriving one at a time, each customer will purchase one item if the product price is lower than her personal reservation price. The seller's objective is to post a potentially different price for each customer in order to maximize the expected total revenue. We formulate the seller's problem as a stochastic dynamic programming model, and develop an algorithm to compute the optimal policy. We then apply the results from this sequential dynamic pricing model to the case where customers arrive according to a continuous‐time point process. In particular, we derive tight bounds for the optimal expected revenue, and develop an asymptotically optimal heuristic policy. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

Development programs for one‐shot systems using multiple‐state design reliability models

Design reliability at the beginning of a product development program is typically low, and development costs can account for a large proportion of total product cost. We consider how to conduct development programs (series of tests and redesigns) for one‐shot systems (which are destroyed at first use or during testing). In rough terms, our aim is to both achieve high final design reliability and spend as little of a fixed budget as possible on development. We employ multiple‐state reliability models. Dynamic programming is used to identify a best test‐and‐redesign strategy and is shown to be presently computationally feasible for at least 5‐state models. Our analysis is flexible enough to allow for the accelerated stress testing needed in the case of ultra‐high reliability requirements, where testing otherwise provides little information on design reliability change. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004     

战时不完全信息战术导弹需求量预测方法

针对传统方法难以实现战时信息不完备条件下导弹需求量预测的问题,提出了一种基于粗糙集的战术导弹需求量预测方法。在对战术导弹需求量影响因素分析的基础上,建立了战术导弹需求量预测不完备决策信息表。利用相容关系对不完备决策信息表中对象分类,并采用差别函数方法求解各对象的相对约简,从而获取战术导弹需求量的最优广义规则集。算例验证了方法的有效性。     

基于工程设计法的射程优化

射程是弹道导弹的重要性能指标,飞行程序选择对充分发挥导弹运载能力,提高射程具有重要影响。针对此问题,利用工程设计法的实现容易、计算量少的优点,将以飞行程序为设计对象的最优控制泛函问题转化为参数优化问题。在此基础上,建立弹道运动模型和优化模型,并应用粒子群算法进行参数优化,求解最大射程弹道。结果表明,基于工程设计法的射程优化简单可行,利用粒子群算法得到的优化参数对改善射程有显著效果,充分发挥了导弹的运载能力。而运载能力的提高对提高导弹武器的目标覆盖范围起到重要作用。     

新课标高考物理试卷的命题特点及备考策略

高考复习是一个系统工程,每一个环节要精心筹划,落实到位,才能取得好的效果。文章认真分析2008～2011年新课标高考物理试卷的结构和命题特点,探讨了今后高考命题的动向和规律,提出了可操作的备考策略。     

舰载无人机光电载荷对岸射击观测最佳收容面积模型

摘 要：基于对舰炮对岸射击时弹着在斜面上的散布、射击诸元误差和射击误差的分析与建模,建立了舰载无人机光电载荷对岸射击观测最小需求收容面积和最佳收容面积的计算模型。通过对该模型的求解,可以确定出满足最佳收容面积的对岸射击观测参数,为舰载无人机光电载荷实用对岸射击观测参数的确定奠定了基础。     

弹道导弹防御中拦截弹最优分层配置

多层弹道导弹防御系统在助推段、飞行中段或再入段不同阶段实施拦截,可有效提高系统拦截概率,不同拦截阶段存在拦截弹最优配比问题。为了解决拦截弹道导弹过程中的最优分层配置的问题,本文分别以单层、双层、三层这三种拦截系统为例,通过公式演算和计算机仿真,得出了分段拦截弹道导弹时、不同拦截阶段的拦截弹之间的数量比与整体拦截成功率之间的关系;并提出了整体拦截成功率的概念。经仿真表明,在整体拦截成功率给定的情况下,使用本文所得出的不同拦截段之间所需拦截弹数目之间的最优比,可以最大限度地降低弹道导弹的拦截成本。     

临近空间飞行器纵向逆控制系统设计

建立了临近空间飞行器无动力滑翔阶段的纵向运动模型,并应用动态逆方法推导了模型的逆系统.系统相对阶等于绕质心运动模型的系统阶数,实现了绕质心运动模型的线性化.为了克服纵向运动模型的隐动态和参数的不确定性,在内环动态逆控制器的基础上,设计了外环最优调节器.仿真结果表明:飞行器纵向逆控制系统可以准确跟踪俯仰角或攻角指令,并对参数不确定性和外界干扰具有较好的鲁棒性,具有工程适用性.