Solving Multivariate Polynomial Matrix Diophantine Equations with Gr?bner Basis Method

Different from previous viewpoints, multivariate polynomial matrix Diophantine equations are studied from the perspective of modules in this paper, that is, regarding the columns of matrices as elements in modules. A necessary and sufficient condition of the existence for the solution of equations is derived. Using powerful features and theoretical foundation of Gr?bner bases for modules, the problem for determining and computing the solution of matrix Diophantine equations can be solved. Meanwh...     

基于制造清单的企业计划模型

提出了以产品制造过程信息的集成模型,即"制造清单(BOMII)",来替代传统物料清单(BOM)在企业计划体系的核心枢纽作用.制造清单模型的构成包括三大清单(物料清单,作业清单和资源清单)和两大关系矩阵(作业资源矩阵和作业领料矩阵),集成描述了产品制造过程的全部信息,成为企业计划体系中的基础性文件.基于所提出的制造清单模型,建立了作业能力不足和可得资源有限的双重约束情况下的企业资源计划模型,对企业四个层次的计划体系(主生产计划、物料需求计划、能力需求计划和资源需求计划)均给出了相应的算法描述.最后介绍了某耐火材料厂应用该模型的案例分析,表明该模型可很好的应用于企业实践.     

基于前后向协方差矩阵投影的信源数估计算法

针对均匀线阵的信源数估计问题,提出了一种基于前向-后向采样协方差矩阵正交投影的多目标信源数快速估计算法。该算法将经过酉变换后的前向-后向采样协方差矩阵的列矢量做Gram-Schmidt (GS)正交化,并将正交化后矢量的模值与一个自适应判决门限做比较来估计信源个数。该判决门限根据阵列采样协方差矩阵估计误差的渐近分布特性推导得到。计算机仿真证明了该算法的正确性和有效性。     

背景辐射对拦截器导引头探测性能的影响分析

在综合考虑背景辐射、光学系统近场辐射、探测器及其后续处理电路和焦平面非均匀性噪声影响的基础上,建立了拦截器导引头红外传感器的探测性能模型。根据文献给定的拦截器导引头参数对模型进行了验证,并利用所建立的模型分析了背景辐射对拦截器探测性能的影响。提出的方法和模型具有通用性,可用于分析背景辐射影响下各种拦截器红外导引头的探测能力。     

Range walk and array rotation in space-time adaptive processing: effects and compensations

This paper proposes a unified clutter model incorporating the effects of range walk and array rotation for space-time adaptive processing (STAP) in airborne multi-channel early-warning radar. Based on this clutter model, STAP performance is then analyzed from the perspective of covariance matrix tapering (CMT). For STAP performance degradation due to array rotation, a determinate compensation method is proposed based on the CMT method. Numerical examples are provided to verify the analysis and the proposed compensation method.     

Modeling for UAV resource scheduling under mission synchronization

Unmanned aerial vehicle (UAV) resource scheduling means to allocate and aggregate the available UAV resources depending on the mission requirements and the battlefield situation assessment. In previous studies, the models cannot reflect the mission synchronization; the targets are treated respectively,which results in the large scale of the problem and high computational complexity. To overcome these disadvantages, a model for UAV resource scheduling under mission synchronization is proposed, which is based on single-objective non-linear integer programming. And several cooperative teams are aggregated for the target clusters from the available resources. The evaluation indices of weapon allocation are referenced in establishing the objective function and the constraints for the issue. The scales of the target clusters are considered as the constraints for the scales of the cooperative teams to make them match in scale. The functions of the intersection between the "mission time-window" and the UAV "arrival time-window" are introduced into the objective function and the constraints in order to describe the mission synchronization effectively. The results demonstrate that the proposed expanded model can meet the requirement of mission synchronization, guide the aggregation of cooperative teams for the target clusters and control the scale of the problem effectively.     

Knight不确定性条件下的期权价格上下界

主流期权定价理论总是对标的资产价格过程的分布给出严格假设,而没有考虑Knight不确定性。本文放松标的资产价格过程的严格假设,在仅知到期日标的资产价格的一阶矩和二阶矩的条件下对期权进行定价。由于信息不充分及分布不确定,无法得到精确的期权价格,因此本文推导出在有限信息条件下期权价格的上下界的显性表达式,并对此上下界和Black-Scholes价格进行对比分析。在使用香港恒生指数权证数据进行的实证中发现,市场价格确实介于上下界之间,上下界区间随年化波动率及剩余存续期的减小而缩小。此外,与Black-Scholes价格进行对比后发现,上下界加权价格能对市场价格做出更为稳健的预测。     

基于多主体的舰载机综合保障过程建模方法

针对舰载机面向作战任务的实时动态的综合保障需求,提出了基于多主体的舰载机动态保障模型。系统分析了舰载机使用保障与维修保障的基本过程,探讨了其有限资源约束下的动态调度特征。建立了三层混合控制的多主体模型架构,保证模型具有足够的柔性与收敛速度。重点考虑保障过程中主体（Agent）间合作博弈特征以及故障等系统扰动的影响,提出了一类基于合同网的交互协商机制,以提高Agent间的协商效率,并尽可能消除重调度的影响。给出了Agent的个体抽象原则,并定义了可扩展的Agent内部结构。在此基础上,给出了舰载机动态保障的有限资源调度算法。最后以舰载机的战备完好性指标单位时间出动架次为优化目标,选取舰载机的典型任务模式对模型进行了验证。     

基于改进高斯粒子滤波器的目标跟踪算法

针对现有机动目标跟踪中粒子滤波算法的不足,提出了一种改进的粒子滤波方法。该方法在高斯粒子滤波的基础上通过利用当前时刻量测值对量测误差的分布参数进行实时的统计和更新,并以此得到粒子的权值,从而考虑到了量测值对估计值的影响,该方法适合于量测误差分布为高斯白噪声且状态量与量测误差相关条件下的非线性估计。仿真结果表明,与传统的自举粒子滤波(boot trap particle filter, BPF)、高斯粒子滤波（Gaussian particle filter, GPF)以及无迹粒子滤波（unscented particle filter, UPF)相比,该方法具有较高的精度和较少的计算量。     

用于异质用户出行管理的可交易许可证研究

针对公共交通与私家车出行方式并行的双模式交通系统,在考虑不同用户的时间价值情况下,通过引进可交易的道路许可证政策,建立了均衡出行交通模型.研究发现,许可证政策将拥挤产生的交通成本内部化,在缓解交通拥堵的同时,通过经济手段,降低了系统总成本.进一步地,本文证明如果汽车比公交快,那么时间价值较高的人会选择私家车出行;反之,如果公交比汽车快,时间价值相对较高的有车族会选择公交出行.通过与OD收费进行比较,我们得到在收费为正的情况下,许可证政策可以得到与基于OD收费相同的效果.最后,算例结果表明,许可证政策使得部分人选择公交出行的成本更低,达到鼓励公交出行的目的;甚至在许可证发放数量少于临界数量的情况下,选择公交出行的人会获得正收益.