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

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

Properties of some stochastic orders: A unified study

The notions of the likelihood ratio order of degree s (s ≥ 0) are introduced for both continuous and discrete integer‐valued random variables. The new orders for s = 0, 1, and 2 correspond to the likelihood ratio, hazard rate, and mean residual life orders. We obtain some basic properties of the new orders and their up shifted stochastic orders, and derive some closure properties of them. Such a study is meaningful because it throws an important light on the understanding of the properties of the likelihood ratio, hazard rate, and mean residual life orders. On the other hand, the properties of the new orders have potential applications. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

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

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

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

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

一种高阶累积量的模态参数辨识方法改进及其应用

高阶累积量的模态参数辨识方法能够消除高斯噪声的影响。但基于传统的高阶累积量降阶方法的子空间模态参数辨识方法具有一定的缺陷。为此,提出2种降阶方法用于高阶累积量的子空间模态参数辨识方法,并对这2种方法进行了比较。利用主切片方法对某变截面轴进行了模态参数识别,获得了与有限元法相一致的计算结果,从而证明了该方法的可靠性。该方法的辨识质量较高,能够用于一般结构的模态参数辨识。     

二级库存-运输系统的联合经济订购模型

结合器材供应的实际,构建了一个国家仓库-地区仓库形成的二级库存-运输系统,以最低费用为目标,建立了该系统的联合经济订购模型,求解了该系统各仓库的最佳订货量和订货次数;运用该模型对3种订货策略（年度1次订货、年度多次订货、零库存订货）进行了算例验证,表明了该模型在优化多级库存运输系统订货参数方面的意义。     

Stein–Chen approximation and error bounds for order fill rates in assemble‐to‐order systems

Assemble‐to‐order (ATO) is an important operational strategy for manufacturing firms to achieve quick response to customer orders while keeping low finished good inventories. This strategy has been successfully used not only by manufacturers (e.g., Dell, IBM) but also by retailers (e.g., Amazon.com). The evaluation of order‐based performance is known to be an important but difficult task, and the existing literature has been mainly focused on stochastic comparison to obtain performance bounds. In this article, we develop an extremely simple Stein–Chen approximation as well as its error‐bound for order‐based fill rate for a multiproduct multicomponent ATO system with random leadtimes to replenish components. This approximation gives an expression for order‐based fill rate in terms of component‐based fill rates. The approximation has the property that the higher the component replenishment leadtime variability, the smaller the error bound. The result allows an operations manager to analyze the improvement in order‐based fill rates when the base‐stock level for any component changes. Numerical studies demonstrate that the approximation performs well, especially when the demand processes of different components are highly correlated; when the components have high base‐stock levels; or when the component replenishment leadtimes have high variability. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

多源信息的验前分布融合方法研究

验前分布的获取和表示是B ayes理论应用中的一个关键问题。针对目前多源验前信息融合中存在的过分依赖专家信息的问题,提出了一种基于第2类极大似然估计原理(M L-II)确定验前分布权重的方法,该方法将现场试验数据看作是由其边缘分布产生的样本,然后根据不同验前分布下现场样本似然性的大小来确定其在验前分布融合中的作用,并以此进一步确定不同验前分布的权重因子。最后通过算例证明了该方法比基于专家信息的融合方法更为合理和有效。     

边防武警执行命令行为的刑法学分析

基于我国的边防体制,边防武警执行命令的行为在边防管理活动中属行政行为,执行军事命令的行为属军事行为。边防武警执行命令行为性质的不同定位,导致了不同的法律意义。在不同的情况下,边防武警对命令有效性的审查义务在范围和程度上是不同的,由此,在认定犯罪排除事由的构成上也应加以区别。执行命令作为排除犯罪的事由,基于不同的要件,可构成合法化事由或者免责事由。在命令合法有效的时候,执行命令就成为合法化事由。在命令不具有合法有效性的时候,执行命令就不能成为合法化事由,但在一定情况下,执行违法命令可以构成免责事由,从而排除行为的犯罪性。