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

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

打造“五型”机关干部

近日,随着春播工作的全面展开,八师一四七团认真贯彻"八法工作制",在机关各科室、部门广泛开展"一张笑脸、一杯热水、一声问候、一次文明接待"的"四个一"活动。旨在激励全体机关工作人员争当"服务优质型、效率高效型、能力复合型、办事廉洁型、业绩一流型"的"五型"干部。为实现上述目标,该团机关实行首问责任制、事项督办制和结果通报制等制度,并将转变机关工作     

中国登岛作战“先锋官”——722-Ⅱ型全垫升气垫登陆艇

2003年10月,我南疆某海域“敌滩岸阵地”炮声隆隆、硝烟弥漫。     

线性回归模型系数Stein估计的改进研究

针对线性回归模型病态的根本原因,提出了一类新的估计———c-k型估计,将岭估计与Stein估计统一到一个估计类;研究了这一估计类,证明利用岭回归技术可以改进著名的Stein估计(在均方误差意义下);同时研究了相应参数的最优值,分别给出了它的一个上界及下界,为病态线性回归模型系数的有偏估计提供了改进的技术途径.     

深V型滑行艇横摇阻尼的实验确定

对深V型滑行艇模型进行了静水横摇衰减实验和零速正横浪规则波中横摇运动实验,讨论了在处理试验数据时所面临的一些问题;采用分段最小二乘拟合法对静水横摇衰减实验曲线进行光顺,用峰值处理法计算不同横摇角时的横摇阻尼,并进行多项式回归得到深V型滑行艇横摇阻尼公式.     

D0影响亚硝酸型SND工艺的机理探讨

亚硝酸型SND污水生物脱氮新工艺因兼具短程硝化和同时硝化反硝化工艺的优势而具有很强的开发潜力。在介绍亚硝酸型SND工艺特点之后,着重从微环境理论、微生物特性及化学计量学等角度较为深入地探讨了溶解氧浓度(DO)影响亚硝酸型SND工艺脱氮效果的机理,从理论上进一步证实了DO对于亚硝酸型SND工艺的重要性。     

区间数据包络分析的主客观求解及其应用研究

本文根据是否需要决策者的主观判断 ,将区间数据包络分析的求解方法分为主观方法和客观方法。基于一种能反映决策者满意度的区间数序关系 ,给出了求解方法。最后将这两种方法应用于基地伪装方案的选择问题。     

万里晴空霹雳声——机载空地武器的发展

即使将普通炸弹从高空投掷下来,至少也能滑翔10公里。如果在低空由战斗机做特殊机动动作,可使抛出的普通炸弹获得同样射程。但这样的射程不足以对付拥有现代化近程防空系统的地面目标。要使空地武器获得更远的射程只能赋予其更好的空气动力外形或安装某种动力装置,或是二者相结合。以下的讨论主要涉及那些射程超过10公里但又不安装涡轮发动机的炸弹或导弹。安装涡轮发动机的导弹射程一般都超过100公里,目前将其划归巡航导弹一类。     

“伯朝拉”对“涅瓦”——俄地空导弹系统改进计划

这篇文章说的不是俄罗斯北方两条河流的地理特点,而是评述世界上使用最广的两种地空导弹系统的改进计划．