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

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

反导作战预案形式化建模研究

反导作战预案是提高作战决策方案生成实时性和准确性的关键.通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证.     

“又＋动1＋又＋动2”格式之考察

本文对收集到的＂又＋动1＋又＋动2＂格式的语料进行了定量、定性分析,从它的构成形式、语义特点、位序特点、语法功能四个方面概括了这一格式的特点,并比较分析了这一格式与＂又＋形1＋又＋形2＂格式的相同点和不同点,以及与其它并列格式的区别。以期对＂又A又B＂格式的特点有个更全面、准确地把握。     

飞机CGF用于战术模拟训练的关键因素研究

根据战术模拟训练系统的实际需要,飞机CGF能够提高模拟训练的规模、复杂度和真实性,完成战术进攻和防御任务。首先分析了飞机CGF的系统组成和仿真粒度,重点研究了影响飞机CGF性能的关键因素,包括飞行控制方法、智能决策水平、雷达火控模型以及组件化的开发方式和飞机CGF组网的关键因素,即统一的网络体系标准、规范的数据接口、时间和空间的一致性及统一的导调管理;最后实现歼击机CGF系统。实践证明,歼击机CGF能够顺利地完成作战任务,达到预定的目的。     

仿真系统可信度分析

系统仿真可信度研究是合理利用系统仿真结果的前提。分析了系统仿真可信度的研究现状,提出了利用层次分析法进行可信度评估的思路,阐述了仿真试验结果与飞行试验结果进行静态一致性检验和动态一致性检验的方法。讨论了静态一致性检验的置信度,给出了置信度与弃真概率和采伪概率的关系,为提高和考核系统仿真精度奠定了基础。     

美军战场态势一致性对海战场态势图体系构建的启示

信息化战争中,战场态势图已经成为各类指控系统的核心。本文对美军互操作作战图族FIOP发展现状进行分析研究,总结出美军FIOP的特点和美军实现战场态势一致性的关键技术,在对美军态势图的研究基础上,提出了对海战场态势图体系构建的启示和需要解决的关键技术。     

武器系统仿真试验中的时空一致性处理方法

随着仿真技术在军事领域中应用的不断深入,武器仿真试验中的时空一致性处理问题尤为重要。阐述了由于时钟不同步导致对时间和空间理解的不一致及对仿真精度的影响;详细分析了时空不一致产生的因素;并以某型武器模拟试验系统为例,提出了武器系统半实物仿真试验中处理时空一致性几种实用且可行的方法。     

落实《纲要》要处理好四个关系

(一)处理好《纲要》与其它法规的关系。《纲要》与条令条例等其它法规,共同构成了军队正规化建设的法规体系,它们互相渗透,互为补充。但《纲要》是基层建设的最高法规,是新时期加强部队基层建设的基本依据,是所有基层建设法规中的“母法”。条令条例等其它法规,都属“子法”,是对《纲要》的具体和深化。两者具有一致性,都是为了规范、指导和促进基层建设,保证部队建设走上正规化的发展轨道;二者又具有不可替代性,《纲要》是基层建设的基本准则和依据,具有综合性、全局性的特点,条令条例和其它法规文件则是针对部队建设的某个方面的具体内容…     

基于置信椭球的V/M故障检测与隔离算法改进

动态系统的故障诊断技术在组合导航系统中有着重要意义.首先介绍了一类经典状态一致性故障检测/隔离方法-Kerr的基于置信椭球的V/M处理方法的原理与处理过程.Kerr的V/M方法以偏差方向的累计和进行隔离判断,可能发生两种情况下的隔离模糊问题.为此,对Kerr的经典V/M算法进行了改造,在其投票函数中采用偏差距离的累计代替偏差方向的累计,使得故障隔离的敏感性大幅度增加,解决了经典V/M算法在实用中存在的第一种情况下的隔离模糊问题.采用算例证明了新方法的有效性.     

“五种语气”帮你加强沟通效能

语气，从语言学的角度看，它属于语法范畴，是通过一定的语法形式表达说话人对行为、动作的态度。如英语里面的陈述语气、祈使语气、虚拟语气。语气不仅可以“达意”，而且善于“传情”。一个词、一个句子，有时候说的语气不同，含义就有差别。有些礼貌用语“您好”、“谢谢”，由于说的语气不对，就给人提示不尊敬的信息。相反，有些骂人的话，如“混蛋”，如果在熟人中用表示亲呢的语气说出来，却给人提示一种友好亲呢的信息。在思想政治工作中，语气运用如何，直接影响着思想政治工作的交流、沟通效果。因此，应根据不同对象、环境，配合思想政治工作的内容，使用正确的语气，以求达到良好的教育效果。