基于物元可拓模型的合成旅装备保障能力评估研究

在分析当前主要评估方法基础上,探究使用物元可拓模型对合成旅装备保障能力进行评估。界定了合成旅装备保障能力评估的概念,并在深入分析合成旅装备保障能力评估影响因素基础上,构建了合成旅装备保障能力评估指标体系。结合物元可拓方法建立了合成旅装备保障能力评估模型,进行了实例分析,并提出了改进建议。研究结果可为合成旅装备保障能力评估提供一定参考,对进一步完善合成旅实战化装备保障演练工作具有促进作用。     

带局部交流函数及自由意志的单领导Cucker-Smale模型的渐近集群分析

为研究集群的形成与否和半径大小之间的关系,主要考虑了具有单个领导的一般等级结构及其领导者速度不变的Cucker-Smale模型。探讨了自由意志对集群产生的影响,通过证明可以给出半径有下界的充分条件(下界和速度差、粒子数、通信强度等有关)。当半径大于下界时,会产生集群。通过MATLAB数值仿真验证了相关结论。     

一种单站无源定位方法及其可观测性分析

利用非线性系统可观测性定理分析了径向加速度信息在目标运动分析(TMA)中的可观测性问题,得到径向加速度观测所能确定的目标状态参数及其需要满足的观测条件,从而证明一种联合径向加速度和角度信息的单站无源定位方法的可行性,并分析其可观测条件和可观测度。通过计算机仿真验证了讨论的结果。     

浅谈如何应对边境地区“难民潮”

近年来,世界爆发的多起局部武装冲突,造成了一次又一次的“难民潮”,如何预有准备、有效处置“难民潮”,是值得重视和研究的一个问题。处置“难民潮”,应着重把好“八关”。即封边关、引导关、登记关、审查关、检查关、输送关、管理关、保障关。其中封边、引导是准备,登记、审查、检查、输送是基础,管理是关键,保障是重点。一要把好封边关。当边境出现“难民潮”时,应增加边防兵力,对边界全线实施封闭管控,防止难民无序涌入。二要把好引导关。就是在迅速完成收容站和监管区开设的同时,还要在边境一线的重点地段和部位设立明显标识,引导难民…     

通用导弹告警设备的试验和研究

导弹在进攻时,其截面相当于一个偶极子天线或单根箔条,利用导弹对特定频率雷达信号的谐振特性来增大目标的散射截面积。通过反辐射导弹告警实验设备系统的实弹打靶试验,验证了该理论的正确性和可行性。     

潜在故障状态可测的一种故障检查模型

从系统的功能故障状态和潜在故障状态两方面讨论了故障检查模型,基于延迟时间模型推导了系统的期望可用度模型并对其适用性进行了讨论与验证。     

可穿戴计算机人机对话零距离

(接上期)四、应用领域目前,无论在学术界还是企业界,可穿戴计算技术都已形成了一个新的领域。可穿戴计算机的根本特性是无线通信、持续工作、携带容易和操作方便。这些特性使其应用范围非常广阔,可广泛应用于工业、军事、情报、新闻、医疗、商业、农业、金融与证券、抢险与救灾乃至日常生活等领域。它与UC技术、智能化住宅、智能化商业、智能化交通等的结合将使未来人类的生活方式发生巨大的变革,进入一个高度数字化和自动化的时代。1.工业最有潜力的应用领域之一,特别是在室外、野外、水下等一些特殊场合,可穿戴计算机可发挥出非常重要的…     

激情可克达拉——随中央电视台拍摄《从天山到江南》随笔

一个好的艺术家,他总是和激情伴随同行。无论他是韶华英年还是自发皓首,你在他身上永远能感受到一种激情在奔腾不息。特别是当他回归到生活的源头时,这种情感便会更加激越奔放,犹如江河行地,一泻千里,奔流到海……     

基于Kriging模型的环形桁架可展天线结构参数优化方法

针对传统结构动力学优化过程中求解效率较低的问题,以环形桁架可展天线结构参数优化为研究背景,在环形桁架可展天线结构的参数变量空间中,以试验设计方法选取样本点,通过有限元方法得到各个样本点的第一阶固有频率、固定载荷最大变形等响应值,利用样本点和响应值的关系建立Kriging近似模型进行优化算法的寻优,得到满足所有约束条件的最优解。结果表明,所得到的环形桁架可展天线第一阶固有频率、固定载荷最大变形的响应面呈现比较明显的非线性关系,基于Kriging模型的结构优化方法能比较准确地对环形桁架可展天线进行寻优设计。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。