热障涂层厚度及其涂敷下材料内部缺陷的红外定量识别

针对热障涂层结构材料红外定量检测存在的不足,提出基于脉冲相位的LM(LevenbergMarquardt)识别算法。针对研究问题,建立了轴对称圆柱坐标下热障涂层结构材料的瞬态导热模型,利用有限体积法计算出检测表面的温度场,经快速傅里叶变换得到检测表面的相位分布,分析待检测参数对检测表面相位差的影响。以相位为识别条件,采用LM反演算法对热障涂层厚度及其涂敷下材料内部缺陷位置大小进行定量识别,并采用数值实验方法验证了基于相位的LM识别方法的有效性。     

基于BOM的HLA仿真系统可信性研究

可信性是系统仿真的关键要素.基于BOM的HIA仿真系统可以从仿真模型层次上提高系统的重用性和互操作性.为了确保该类仿真系统的可信性,在建模与仿真全生命周期中开展VV&A研究,十分必要.介绍了基于BOM的HLA仿真系统的FEDEP模型,并简要提出其VV&A过程,重点对用户模型、仿真模型组件及联邦成员的V&V展开研究,最后将这些研究应用于×××反舰导弹突防联邦仿真中.结果表明:提出的VV&A过程切实可行,保障了系统的可信性.     

基于最大流理论的网络对抗效能评估模型及应用

网络对抗的飞速发展使得网络对抗效能量化评估问题日益凸显。基于最大流理论分析了网络的最大流与最小割容量所具有的特性，提出了网络压制系数的概念，建立了一个通用的网络对抗综合效能评估模型。     

谈出入境人身检查

出入境人身检查是出入境边防检查机关的一项重要任务.在新形势下,研究、掌握出入境人身检查的依据、对象、批准权限及检查的程序、方法与要求,对出入境边防检查工作具有重要意义.     

干部监督三忌

随着依法治军工作逐步深入和广大官兵民主意识的增强,各级党委和相关职能部门在干部监督方面做了大量工作,也取得了较为明显的效果。但从干部出问题的统计数字看,多数是通过群众举报或从其他案件上带出来而查处落实的,而通过组织渠道掌握和揭露的却十分有限。毋庸讳言,监督并没有成为发现问题、解决问题最强有力的支撑点。原因固然是多方面的,但其中最重要的一条就是,干部监督中存在着大量的空挡和盲区。     

基于最小维修策略的多阶段任务成功性仿真模型

基于最小维修策略,给出了一种新的多阶段任务成功性仿真模型.该模型可以对多阶段任务中部件的失效维修过程进行仿真,从而计算出多阶段任务的成功概率,并对任务成功率关于备件的敏感性进行分析.仿真结果表明了该模型的正确性和易用性.     

阻尼的非线性最小二乘滤波算法

为提高在弱可观测条件下滤波器的稳定性,本文把非线性优化方法应用于递推滤波,形成了阻尼的最小二乘迭代滤波算法。同时还得出了该方法的信息平方根滤波形式。     

DDS中相位截断噪声的分析和处理

直接数字频率合成以其频率分辨力高,频率切换速度快,而且切换时相位保持连续等优点在频率合成中占有重要的地位。它全部采用数字技术,易于设计和集成,然而,它的输出频谱中存在较多的杂散频率分量。其根源主要是：１相位截断噪声;２幅度量化噪声;３ＤＤＳ的取样合成机理;４Ｄ／Ａ的非理想性（存在非线性和毛刺）。本文对其位截断噪声进行讨论,并对一种加随机声来改善ＤＤＳ输出频谱结构的方法进行了深入的分析。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。