航空电子综合系统作战飞行程序的研究

本文研究了作战飞行程序的开发及开发环境的基本原理,并对开发环境的基本软件组成、硬件结构及其应用进行了讨论。     

单一来源同类装备价格形成机制存在的问题及对策

近年来,随着国防和军队全面深化改革的深入推进和装备建设的快速发展,装备价格管理工作的重要性不断提升,但军队目前承担的装备审价任务日趋繁重,存量不减、增量日增等新情况和新问题给装备价格管理工作带来了新挑战。本文以单一来源同类装备为研究对象,借鉴《军品定价议价规则(试行)》中竞争议价和征询议价不审价的原理,从单一来源同类装备价格的形成主体、装备审价任务量、装备价格的测算方法、装备价格的形成过程以及装备价格的影响因素等五个方面分析了价格形成机制存在的问题,并从主观因素和客观因素两方面探讨了存在问题的原因,提出应在明确价格形成主体的职能权限、科学确定价格的测算方法、完善价格法律法规、建设价格数据平台、加强价格人才队伍建设等方向优化单一来源同类装备价格形成机制的对策建议。     

基于模糊加权法的雷达辐射源识别

为有效解决雷达信号的不确定性问题,将模糊加权理论和不确定性推理应用于雷达辐射源识别,仿真试验表明方法是有效的。该方法不仅适应雷达特征参数连续变化的情况,而且计算简单、性能较好。     

有限水深Kelvin源格林函数及其导数的快速计算

应用线性船舶水动力学理论,将有限水深Kelvin移动兴波源格林函数分解成3部分:简单Rankine源集合、局部扰动项和波函数项。对各部分在亚临界和超临界航速时的快速计算分别作了讨论,其中对计算费时的局部扰动项采用了复数中的最陡下降积分法,加快了计算速度,进而引出各部分偏导数的计算。最后,比较了格林函数的差分值与偏导数值,计算了薄船兴波阻力与表面兴波,讨论了不同面元网格划分的收敛性,证实了亚临界、超临界航速兴波分别以横波、散波为主。     

基于贝叶斯混合源分离方法的声纳探测误差模型

声纳的探测误差模型是声纳仿真的核心技术。针对现有的声纳误差白噪声模型仿真逼真度低的问题,提出了基于贝叶斯混合源分离方法,建立了声纳的探测误差模型,提高了声纳误差模型的性能。与传统的白噪声仿真方法相比,基于贝叶斯混合源分离方法的声纳误差仿真模型具有较好的逼真度,可以有效地对声纳探测误差进行建模和预测。     

Newsvendor problems with sequentially revealed demand information

This article analyzes a capacity/inventory planning problem with a one‐time uncertain demand. There is a long procurement leadtime, but as some partial demand information is revealed, the firm is allowed to cancel some of the original capacity reservation at a certain fee or sell off some inventory at a lower price. The problem can be viewed as a generalization of the classic newsvendor problem and can be found in many applications. One key observation of the analysis is that the dynamic programming formulation of the problem is closely related to a recursion that arises in the study of a far more complex system, a series inventory system with stochastic demand over an infinite horizon. Using this equivalence, we characterize the optimal policy and assess the value of the additional demand information. We also extend the analysis to a richer model of information. Here, demand is driven by an underlying Markov process, representing economic conditions, weather, market competition, and other environmental factors. Interestingly, under this more general model, the connection to the series inventory system is different. © 2012 Wiley Periodicals, Inc. Naval Research Logistics 2012     

基于 SBM的操作级并行处理算法研究

SBM是支持操作级并行的一种有效的同步机制。文中基于SBM对结点调度和barrier插入算法进行了深入的研究,提出了一套有效的开发操作级并行的方案。用一有向图G(N,A)表示指令之间的相关关系,并以结点的临界路径为关键字将结点从小到大进行排序。按照排序后的结点顺序,描述了一种分配算法,将结点分配给各处理机。同时,描述了相关结点之间的barrier插入算法。     

一例多元案例教学法在程序设计课程教学中的应用

通过探讨一例多元案例教学法的教学理念、设计策略、实施方法和过程,解决程序设计课程教学不能点、线、面融合,缺少培养学员设计综合应用程序能力的方法和手段,学员学习目标不明确、缺乏学习兴趣等问题,以有效提高教学效果和质量.     

三维移动脉动源格林函数的对称性及其应用

为进一步提高三维有航速船舶耐波性预报的计算效率,将对称性引入到移动脉动源格林函数法的速度势求解之中,提出了基于格林函数对称性的水动力快速求解措施。从源点对场点的对称特性出发,推导获得了调和函数的法向偏导数在船体对称线元和面元处的积分对称关系式,开展了对称性在简化边界元积分方程系数矩阵中的应用,进而构建了高效求解三维船舶耐波性能的理论计算方法。数值结果及算例分析表明:水动力计算中移动脉动源格林函数的对称性有利于降低计算量和减少系统内存,且适用于有航速船舶在波浪中的波浪干扰力、运动响应和自由面波形的数值模拟,可拓展至两船水动力干扰及复杂船型的频域水动力分析计算之中。     

无缝坏块处理与流水编程的NAND型内存控制器设计与实现

为满足航天大容量存储系统对高速存储及数据完整的需求,实现了一个基于NAND型内存的高性能控制器,提出了一种实现于NAND型内存芯片内部的流水编程机制,以及一种可以保证数据无缝连接的坏块处理机制。介绍了存储控制器的各个模块设计,并分析了不同情况编程机制所需的时间计算方法,建立仿真模型,利用蒙特卡洛方法仿真并讨论了流水编程机制的性能优化效果。在实际硬件平台验证了流水编程机制和坏块处理机制,结果表明该大容量存储系统的存储速率可达100MB/s,读取数据与存入数据保持一致,数据无乱序无丢失。