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

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

彩钢夹芯板建筑火灾危险性及预防对策研究

彩钢夹芯板作为一种新型建材以其外形美观和搭建方便、快捷、保温隔热、环保节能效果好等特点,被广泛应用.但由于彩钢夹芯板自身耐火性能低,加之设计、施工、安装不规范极易引发火灾.分析了彩钢夹芯板建筑火灾多发的原因及其危险性,并提出了相应的预防对策.     

火炮发射药装药自动识别方法

发射装药号是影响火炮身管寿命的重要因素,为自动识别火炮发射药的装药号,避免人工记录失误和完善火炮射弹履历,分析了装药号自动识别原理,运用火炮动力学分析理论和ADAMS虚拟样机技术,建立火炮发射动力学虚拟样机.通过仿真试验获取样本数据,应用BP神经网络进行学习和训练,从而建立装药号和测试数据之间的非线性映射关系,实现对火炮发射装药号的精确预测.     

搭建实践平台提高大学生创新能力的培养研究——以石河子大学为例

大学生创新能力是大学人才培养的重要方面,高等学校应当把创新能力的培养作为大学生素质教育的重点。本文以石河子大学为例从转变观念,重视大学生的实践活动,积极搭建实践平台为切入点阐述了大学生创新能力培养的新途径。     

一种基于改进SIFT的航拍图像自动配准算法

针对传统SIFT算法匹配时间长、错匹配较多等问题,提出了一种基于改进SIFT特征的航拍图像自动配准算法.首先,通过特征点检测时设定检测极值点数目,按照DOG空间层次结构由粗到精来搜索特征点,并使用改进的SIFT特征描述符生成算法;其次,利用最近邻匹配准则进行初步匹配得到初始匹配点对,并采用双向匹配方法对匹配特征点对进行筛选;然后,基于马氏距离的特征点相似度量方法进行二次匹配,并使用RANSAC算法求取仿射变换模型;最后,通过双线性插值对变换后的图像进行重采样和插值.实验结果表明:该算法可以实现航拍图像之间的有效配准,在配准性能上优于传统SIFT算法.     

星用DS/PM双模应答机的设计与实现

介绍了星用直扩/调相(DS/PM)双模应答机的组成、功?原理及主要技术指标.提出了一种PM模式精确解调相位的处理方法,大大地提高了PM模式的处理精度和载波的捕获带宽.解决了扩频模式下高动态、低信噪比环境下伪码的初相位捕获和大多谱勒频移环境下的载波同步的实现等关键技术.这些思路和方法对促进航天技术的发展有很好的参考价值.     

大功率船用减速器斜齿圆柱齿轮啮合仿真模型

利用大型有限元分析软件MSC.Marc的直接约束法,建立了某大功率船用减速器斜齿圆柱齿轮副多齿啮合的三维有限元非线性接触分析模型。基于该模型,对齿轮副进行了一个啮合周期内的准静态啮合仿真分析。计算表明,本文得到的结果非常符合实际啮合规律,也验证了模型的正确性。由于模型的特点,有望进一步应用于齿轮的动态啮合分析。     

微电子器件方波EMP注入敏感端对的实验研究

采用方波注入法,对国外某知名公司生产的两个批次的晶体管进行了实验,比较了从CB结反向注入与从EB结反向注入的损伤电压值,发现该类器件的EMP敏感端对与人们一般研究的结论有所不同。     

一种用于雷达网目标状态融合的算法

针对目前雷达情报自动化系统中雷达网目标状态融合存在航迹不连续、情报信息利用率低等问题,综合运用了神经网络和军事运筹学理论和方法,给出了一种用于雷达网目标状态融合的算法.结果表明,利用本方法使融合后的目标轨迹与目标真实运动轨迹非常接近,有效地提高了雷达情报的综合质量.     

新型试验指挥自动化系统

本文从装备试验技术发展的角度提出了装备试验对试验指挥自动化的需求,系统地分析了新型试验指挥自动化系统的功能、基本组成和系统设计中所涉及的关键技术。