消防行政强制执行的现状及制度构想

为进一步明确和规范消防行政强制执行在执法过程中的适用,对消防行政强制执行制度的现状、存在问题进行分析,并提出了完善消防行政强制执行制度的设想。     

基于云模型和D-S证据推理的防空信息战系统效能评估

基于对防空信息战的因素分析,建立了防空信息战系统指标体系,论述了D-S证据推理的数学性质及其证据合成法则,提出了基于云模型的定性评测和证据推理的综合评价方法,通过证据推理的聚合作用,综合多个不同类型专家的意见,结合云理论实现定性与定量之间的相互转换.最后对防空信息战系统进行实例分析,证明该方法的科学性和直观性,从而拓展了武器系统效能分析的思路.     

陶行知生活教育思想略论

近代著名教育家陶行知在深刻批判封建传统教育的基础上,创立“生活教育”理论,学习、研究陶行知的这一理论,对推动我国教育改革,建设有中国特色的社会主义教育体系,具有重大指导意义。     

测试信号的反失真研究

不失真测试是测试技术最基本的理论和技术问题.不失真测试的条件限定了工程中常用传感器的应用范围.从理论上分析研究了常用一阶、二阶测试系统进行测试的信号反失真问题,不仅扩展了传感器的应用范围,而且丰富了信号处理理论.     

不同时间信息条件下多目轨迹交会测量点目标运动的方法

针对多相机对点目标的运动轨迹测量,提出不同时间信息条件下的多目轨迹交会法。对点目标运动轨迹进行时间多项式参数化描述,再将多个相机观察目标的系列视线与目标的参数化运动轨迹进行交会,通过最小化物方残差,确定出目标的运动轨迹。相对于传统的多目交会测量模式,本方法不仅能够有效地提高测量精度,而且能够在多相机之间观测不同步,或者时间未对准,甚至无时间信息的情况下仍得到目标的运动轨迹参数。相对于单相机测量模式时要求相机必须运动,多目情况下不要求相机自身运动。仿真实验和真实实验验证了该方法的有效性和高精度。     

飞机系统安全性指标的Petri Net分配方法

为解决动态故障树抽象而不利于交流的问题,利用Petri Net直观、易用且适用范围广的优点,提出基于Petri Net的飞机系统安全性指标分配方法。通过整理安全性指标及其相关的可靠性指标,选取失效率作为安全性指标,对比动态故障树及Petri Net建模方法,选取后者建立静态逻辑变迁和动态逻辑变迁的Petri Net指标分配模型。在此基础上,提出考虑严酷等级的系统安全性指标分配方法,经过算例分析,构建Petri Net层次系统故障模型进行指标分配。结果表明,分配值均在相应安全性指标内,该方法能够克服动态故障树法不直观、等分配法分配过于粗糙等缺陷,为飞机安全性设计与评估提供参考。     

基于中心凸包算法与增量学习的SVM算法研究

基于计算几何理论,在分析支持向量与凸包向量关系的基础上,提出了一种基于中心凸包算法与增量学习的SVM学习算法。在确保分类器达到可靠精度的前提下,为解决学习中时耗过长的问题,在对当前训练集计算凸包的基础上采用欧式中心距离淘汰法对训练样本进一步精简,并且每次进行增量学习的样本都包含前次训练样本集中违背KKT条件的样本,在UCI数据库上进行算法对比实验,结果表明算法的可行性和有效性。     

块Toeplitz矩阵低复杂度求逆的卫星导航空时抗干扰算法

采样协方差矩阵求逆是空时抗干扰算法的基本运算单元,但由于其运算量随时域抽头个数急剧增长,直接限制了空时抗干扰技术在卫星导航接收机中的应用。针对该问题,提出了基于块Toeplitz矩阵快速求逆的空时抗干扰方法。通过采用新的协方差矩阵近似计算方法,使得该矩阵同时为块Toeplitz矩阵与Hermite矩阵,并运用块Toeplitz矩阵的快速求逆算法,将时域抽头个数为K的计算复杂度从O[K3]降至O[K2]。理论分析和仿真结果表明,在阵元数为4、时域抽头为15的典型情况下,相比现有矩阵求逆方法,该算法的抗干扰性能损耗小于1d B,但计算量可降低约2/3。     

A nonatomic‐game model for timing clearance sales under competition

We deal with dynamic revenue management (RM) under competition using the nonatomic‐game approach. Here, a continuum of heterogeneous sellers try to sell the same product over a given time horizon. Each seller can lower his price once at the time of his own choosing, and faces Poisson demand arrival with a rate that is the product of a price‐sensitive term and a market‐dependent term. Different types of sellers interact, and their respective prices help shape the overall market in which they operate, thereby influencing the behavior of all sellers. Using the infinite‐seller approximation, which deprives any individual seller of his influence over the entire market, we show the existence of a certain pattern of seller behaviors that collectively produce an environment to which the behavior pattern forms a best response. Such equilibrium behaviors point to the suitability of threshold‐like pricing policies. Our computational study yields insights to RM under competition, such as profound ways in which consumer and competitor types influence seller behaviors and market conditions. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 365–385, 2014     

空间关联与多子区规范化梯度方向直方图的 异源图像匹配

提出一种基于稀疏空域分割与梯度方向直方图的异源图像匹配方法。将图像分为多个子区,计算每个子区的梯度方向直方图;计算直方图的汇聚度,并根据汇聚度计算直方图相似性;采用两步搜索法,寻找与基准图中与实时图直方图相似度最高的窗口即为正确匹配结果。采用仿真图和真实异源图像对算法进行了测试,结果表明,这种方法能够可靠快速实现异源图像匹配。