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

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

多信道无线系统中时频机会频谱接入改进算法

在一个多信道无线通信系统中,节点可以通过控制包的交互过程探测各无线信道,机会地利用拥有高传输效率的信道,而信道探测过程会消耗用于真正数据包传输的时间和能量。文中详细介绍了最优停止时间理论的基本原理,分析了该理论在慢衰落环境下的局限性,并通过引入有限状态马尔可夫信道模型,提出了一种时频二维的机会频谱接入算法。     

打造“五型”机关干部

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

我们当兵吧

新年来临,对于经过十年寒窗走出校园的同学们,不管是考得好的,还是考得不够理想的,我们的心里都是充满了祝福。今天,我特别要说的,是关于当兵的问题。十八九岁的年龄,正是当兵的好时候。就像宝剑需要磨砺才能锋芒绽露,就像梅花需要苦寒才能清香四溢,就像好钢需要淬火才能绕指而柔,就像温室里的幼苗需要历经风雨才能长成参天大树。走出校门,走进军营,走     

基于BER和CTMC的航天器发射组织过程可靠度模型

在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟等价关系(BER)简化组织过程的状态空间,并进一步给出各种状态转移率和组织过程可靠度计算方法。最后,通过数据分析说明模型在航天器发射工程进度计划评估中的作用和意义。     

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

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

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

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

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

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

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

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