基于Camlp5的泛型编程“缺省情况”研究

"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方式,而要计算这些新的数据类型需要修改原有通用函数的定义,从而极大降低了程序的复用性。通过定义新函数来操作新的数据类型可以避免频繁修改原有通用函数。但是,新函数定义中必然会有大量与原有通用函数功能相似的重复冗余代码,因此,引入"缺省情况"使得新函数的定义可以通过调用原有通用函数而获得,这样即不对原有函数造成影响,又极大简化了针对新类型书写相关函数的复杂程度。文中利用Camlp5工具对O′Caml语法进行扩展,在原有"泛型编程"的基础上引入了"缺省情况",使该语言书写的泛型函数更加清晰、不易出错,从而极大提高了O′Caml中"泛型编程"的稳定性和复用性。     

广义Dirichlet级数表示的整函数的存在性

对于由广义Dirichlet级数表示,并且在固定带形有界、不恒为零的整函数的存在性,给出了充要条件.     

一种抗野值的UPF算法

为解决野值对滤波效果产生的不利影响,从改进粒子滤波器提议分布(proposal distribution)的容错能力入手,提出一种抗野值的UPF(unscented particle filter)算法.提出的抗野值容错算法将抗"飞点"的UKF(unscented Kalman filter)算法作为野值环境中的粒子取样策略,通过抗"飞点"UKF算法中引入的门限函数向量对新息的控制,进而实现UPF算法对野值容错的目的.仿真实验验证了所构造的容错滤波算法的有效性和实用性.     

矢量偏差小波函数（Ⅱ）

基于数学辩证法思想,提出了一种新的小波变换即矢量积小波变换、这种变换对信号处理尤其是高信信号处理十分有用。建立了矢量小波函数、矢量尺度函数和偏差小波函数,它们适合信号分析与处理。分析并提出了一种新的信号表示,并用最优控制理论实现了数值测试,结果表明该方法明显优于传统方法。     

功能化离子液体的合成表征及其作为润滑剂的性质

通过两步法合成了含酯基官能团的咪唑类离子液体1-乙酸乙酯基-3-甲基咪唑四氟硼酸盐,用核磁共振、红外光谱、元素分析对其进行了结构表征,证明了该合成方法的可靠性;对功能化离子液体的基本物化性质、熔点、热稳定性及其作为润滑剂的粘温性、蒸发损失、金属腐蚀性等进行了全面研究,并选择了含有相同烷基的1-丁基-3-甲基咪唑四氟硼酸盐传统离子液体进行对比,发现官能团的引入,使传统烷基咪唑类离子液体展现出不同的特性,同时发现两种离子液体均对金属表面有较强的腐蚀作用,为进一步开展功能化离子液体的摩擦学研究打下了基础。     

基于EEMD降噪和模糊函数奇异值向量的雷达辐射源信号识别算法

针对目前基于模糊函数提取的几何学特征,在低信噪比时表征能力弱,导致识别准确率不高的问题,提出了一种基于EEMD降噪和模糊函数奇异值向量的识别方法.选取合适的EEMD参数,对时域信号进行降噪,提取模糊函数矩阵奇异值向量,求解其交叉熵作为特征,实现雷达辐射源信号识别.仿真实验表明,信噪比大于-5 dB时,所提方法对于BPS...     

导弹防御系统信息移交研究

拦截弹单纯依靠弹载红外传感器进行目标识别难度很大,将地基雷达的目标识别结果上传给拦截弹必将提高拦截性能并减轻红外识别负担,有利于降低弹载传感器的配置要求.提出了信息移交的概念,分析了国内外的研究现状,指出了需要解决的问题,然后建立了单目标、多目标和目标群信息移交模型,最后指出了需要进一步研究的问题.     

《军事通信技术》2007年优秀论文获奖名单

一等奖(3名):潘克刚,胡均权,吴恒,张邦宁.准混沌差分跳频转移函数研究与实现(2—5);谢贵武,杨继红,陈亮,肖勇,闵刚.一种新的变速率语音编码算法(4—1);周尧,蔡跃明,潘成康.一种新的基于 V-MIMO 技术的包冲突解析方案(3—6)二等奖(6名):李玉建,王金龙,吴启晖.一种频域均衡与干扰抑制联合的算法研究(1—5);张杭,孟艳,陈乾,宋端.基于遗传算法的通信卫星频谱资源运用研究(3—1);孙卓,岳振军,宋巍.基于     

引入权重因子的证据合成方法

D-S理论是一种有效的不确定性推理方法,但在证据完全冲突或冲突较大时,D-S证据合成公式失效.Yager等学者对此作了改进,但是改进后合成公式又存在着新的问题.考虑到证据在合成过程中的重要程度不同,将权重因子引入到合成公式中,通过权重因子的作用和冲突概率的重新分配,提出了引入权重因子的D-S证据合成方法,新的合成公式提高了证据合成的可靠性和合理性,可得到更为理想的合成结果.     

“健身超市”的魅力——东基公司开展全民健身活动纪实

华灯初上,万家灯火。高耸夜空的7个灯塔把占地面积3万余平方米的东基健身园和2万余平方米的东基职工体育场照得如同白昼。在这两大健身乐园里,常有数干人来参加各种各样的健身活动。这里简直就是一家巨大的“健身超市”!“健身超市“?一位体育记者的笔端抛出如此新奇而形象地比喻。