试论武警部队指挥自动化管理专业的职业化改建对策

武警部队指挥自动化管理专业自开设以来,为部队培养了一批骨干技术人才。但在军队院校学历教育向任职教育转型的宏观背景下,指挥自动化管理专业建设改革进程尚显滞后,急需从人才培养定位、教员队伍、教学内容、教学方法、教学条件等方面进行职业化改造,创建符合职业教育规律的指挥自动化管理专业体系。     

PMESI：一种优化进程私有数据访问的缓存一致性协议

并行应用程序中绝大部分的访存是对私有数据的访问,在cache一致性协议上不会产生冲突。传统一致性协议没有根据程序私有数据的访问模式进行针对性设计,存在着很大的优化空间。针对以上的问题,提出了一种支持私有状态的cache一致性协议PMESI,通过动态关闭和激活内存空间的cache一致性目录,优化私有内存空间的访问延迟和功耗。通过时钟精确模拟器的测试,PMESI协议优化了程序中54%的访存,并行程序的执行时间平均缩短了9%。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

圆柱壳振动声辐射Jacobi-Ritz时域半解析法及特性分析

针对圆柱壳结构瞬态声振特性分析研究不足,结合Newmark-β积分法和Kirchhoff时域边界积分方程,提出一种圆柱壳受迫振动声辐射Jacobi-Ritz时域半解析法。基于一阶剪切变形理论和微元法思想,建立了圆柱壳振动声辐射分析模型,采取Jacobi多项式和Fourier级数表示轴向和周向位移容许函数,基于Rayleigh-Ritz法和Newmark-β积分法计算圆柱壳的受迫振动时域响应,在此基础上,基于Kirchhoff积分方程求解辐射噪声时域响应,分析圆柱壳受迫振动声辐射特性。与有限元方法/边界元方法数值结果对比表明,该方法具备收敛性好、精度高等优点,圆柱壳结构声振响应峰值随边界条件的刚度变弱存在左移现象,振动声辐射响应随厚度的增加呈现下降趋势;当随机载荷峰值频率与结构固有频率接近时,结构声振响应出现强特征线谱。     

理想带限条件下码跟踪环路的精度分析

伪码跟踪是卫星导航接收机中的关键环节。码环的跟踪精度直接决定了接收机的定位性能,因此对码环跟踪精度的分析一直以来都是研究的热点,并且已经取得了很多重要成果。目前已有的结论大都从频域的角度表示带限信道的影响,但是频域表达式存在计算复杂,难以应用于实际情况的缺点。本文针对目前存在的不足,从时域相关函数的角度提出了码跟踪精度的解析表达式。该表达式简单直观,可以方便地应用于码环性能的分析,对导航信号接收机的设计具有重要的指导作用。     

一种基于磁偶极子模型的潜艇信号检测方法

针对航空磁探中目标矢量信号受到污染严重的情况.提出了远场磁性目标偶极子标量模型,将目标信号表示为三个非线性函数的线性叠加,给出了具体数学表达式,为了克服噪声影响,提高目标信号的检测概率,提出了一种基于信号子空间信号检测和参数估计新方法.该方法把实测信号向各个信号子空间投影,利用投影长度大小检测目标信号.最后,进行了计算...     

聚甲基丙烯酸甲酯-氧化锆复合材料的制备

将氧化锆纳米粉体冷等静压成型,经部分烧结制备成具有多孔网状结构的部分烧结体,然后经真空浸渍,将预聚甲基丙烯酸甲酯渗透入部分烧结体的开孔中,原位聚合,制备出聚甲基丙烯酸甲酯—氧化锆有机—无机复合材料。结果表明:预聚甲基丙烯酸甲酯经真空浸渍能完全浸入部分烧结陶瓷的开孔中并固化。当部分烧结体相对密度为63%~82%时,复合材料的弯曲强度为154~287MPa、断裂韧性为3.68~4.81MPa.m1/2;与部分烧结体比较,有明显提高。该复合材料经牙科CAD/CAM系统切削加工,可制作牙科修复体。     

COMPASS/GPS双模导航定位精度分析及仿真

结合北斗二号(COMPASS)和GPS系统的运行轨道参数及系统特性,建立了COMPASS/GPS双模导航定位伪距测量误差模型,推导分析了双系统定位的几何误差因子;并对某地区的COMPASS/GPS双模导航定位精度进行了系统的分析.仿真结果表明,在某地区内,北斗二代系统在空间域与时间域上的整体稳定性优于GPS系统,组合的COMPASS/GPS系统在可见星和精度方面优于单一的定位系统.     

基于SPRT的组合导航故障检测与隔离互辅算法

针对SPRT(序贯概率比检验)算法无法准确判断缓变故障结束时间的问题,提出了一种故障检测与隔离互辅算法。采用SPRT算法对滤波残差进行故障检测,确认故障后隔离故障观测量,重新建立卡尔曼滤波观测方程并完成量测更新,将隔离后的滤波结果作为下一时刻的滤波初值辅助故障检测。仿真结果表明,该方法能准确定位故障观测量并判断出故障的结束时间,提高了系统可靠性。     

引信传爆管旋卸头设计

引信传爆管的旋卸是勤务处理中的一个重要问题。旋卸时,传爆管无法卸下和传爆管受损的情况时有发生。针对这一问题和引信自动分解的要求,将传爆管分为槽型、孔型、锁紧螺母和光滑圆柱面型等三种类型,相应地设计了刀片型、卡针型和卡爪型三种旋卸头,重点研究了卡爪型及其卡爪曲线设计计算方法。试验表明三种旋卸头均工作可靠。