MIMO系统的发射天线选择及自适应链路实现

针对多输入多输出(MIMO)系统信道低秩引起信道容量下降的问题,提出了一种依据信道状态信息进行发射天线选择的算法,并给出了以此算法为基础的VBLAST自适应链路的实现方法。发射天线的选择依据权系数的范数大小进行,该方法可以有效降低天线选择的运算量。仿真结果表明,该方法的选择效果逼近最大容量法的选择效果。自适应链路实现方法将发射天线数的确定和天线选择并行进行,保证了在所处通信环境下达到最大的空间复用系数。     

基于多电视台的两种无源雷达成像算法

基于外辐射源的无源雷达成像是当前新体制雷达的研究热点,给出了利用多个电视台作为外辐射源的直接二维快速傅里叶变换成像算法和极坐标成像算法。建立了多基地无源雷达成像模型,通过理论推导得到目标散射函数和雷达接收信号之间的傅里叶变换对的关系。选取15个电视台信号作为外辐射源进行了仿真实验,分析和比较了两种算法的性能,证实了算法的可行性。     

一种新的基于混合策略的动态组密钥管理方案

针对大型动态组通信,提出一种基于Iolus LKH SKDC混合策略的组密钥管理方案。该方案中全局组控制器通过密钥树来管理各个子组控制器,每个子组内采用改进的LKH SKDC方案管理子组成员;子组管理器根据成员ID值,利用单向散列函数计算成员所在路径上各节点密钥值。该方案具有分组管理和集中管理的优点以及良好的可伸缩性,它使LKH方案中的单点失效问题限制在子组范围内,不会对全局产生影响。理论分析和数值结果表明,该方案中子组管理器的密钥存储和动态更新开销大大减少,且用户在加入和退出子组时不会随机产生更新密钥,具有较好的综合性能。     

双寡头市场下可替代产品的价格与交付期决策模型

针对价格、时间敏感需求，研究双寡头市场下可替代产品的价格与交付期决策问题。构建了相关决策模型，对模型进行最优性分析，在此基础上提出一个求解最优解的算法。通过数值算例，探讨不同企业及市场特征对竞争策略的影响。研究结论可以为相关企业进行产品价格与交付期决策提供有益的指导。     

一种新的对地定位方法及其精度分析与仿真

提出一种新的无人空中载体对地定位方法。该方法根据GPS／INS组合导航系统测量的载体坐标与姿态角、光轴稳定平台相对于载体的姿态角以及激光测距数据，计算地面目标点的三维维坐标，克服了共线条件方程对地形鲁棒性差和DEM迭代定位算法容易发散的缺点。为分析此方法的定位性能，给出了定位误差分析模型，并通过仿真算例验证了该定位方法的有效性，仿真结果表明目标定位精度满足舰炮作战要求。     

污染物传输的两区非平衡吸附数值仿真模型

考虑不可动水和污染物的非平衡吸附特性以及微生物降解等因素,建立了土壤-水环境中污染物运移的两区非平衡吸附模型。基于自行编制的有限差分程序给出了二维仿真算例,模拟了农药等污染物在土壤-水环境中的运移过程,探讨了在不可动水和非平衡吸附影响下土壤中各相浓度分配的规律。模拟结果表明:土壤各相的浓度变化并不同步。可动水相浓度变化最快,对浓度分布起主导作用;不可动水次之;可动区吸附相浓度变化存在明显的滞后现象;而不可动区吸附相浓度变化最为缓慢,滞后现象最为明显。     

基于预积分体渲染技术的水下三维声场体可视化

海洋水声环境对海军作战具有重要影响。三维可视化技术能够更直观、有效地刻画和描述海洋水声环境,提高作战指挥人员对环境效应的理解和应用。该技术应用OpenGL的多纹理技术,采用预积分体渲染方法对舰艇水下三维声场进行体可视化表达。在对可视化效果的讨论中发现,采用预积分纹理映射方法在不增加切片数量、不增加绘制时间情况下,提高了图形质量,较好的解决了传统切片纹理映射方法的缺点,使指挥人员能够更加清楚地得到此时舰艇水下声传播规律,声场结构,为其制定战术决策提供可靠的技术支持。     

激光制导武器有源干扰的建模与仿真

激光致盲干扰、角度欺骗干扰和高重频干扰是对付激光制导武器的主要手段。但由于缺乏对抗的实物,使计算机仿真技术成为研究激光制导武器对抗技术的主要途径。结合激光制导武器有源干扰技术的特点,在激光制导武器弹道仿真系统的基础上,建立了激光制导武器有源对抗模型,研制了有源干扰下的激光制导武器弹道仿真系统。以比例导引的激光制导炸弹为研究对象,研究了有源干扰对激光制导武器弹道的影响。     

基于自然特征点的实时增强现实注册算法

提出了一种基于自然特征点的实时跟踪注册算法,并将其应用于增强现实系统。算法在已知场景的3D模型以及少量标定关键帧图像的基础上,选择与当前图像最为匹配的关键帧,利用基于关键帧的图像匹配方法实时获取摄像机的运动参数估计。算法采用合成中间图像的技术解决两图像特征点间的宽基线匹配问题,并应用扩展卡尔曼滤波器对参数估计结果进行平滑,以消除系统抖动现象。实验结果表明,算法鲁棒性强,注册精度高,能够有效地克服系统误差漂移。     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。