内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

复杂大系统仿真的VV&A理论及过程研究

为了确保复杂大系统仿真(LCSS)的可信性,应该在建模与仿真(M&S)的全生命周期中开展校核、验证与确认(VV&A)研究.对LCSS的VV&A进行了理论研究,提出其方法论与原则;以基于仿真组件构建的HLA仿真系统为例,从仿真组件层、联邦成员层及联邦层三个层面研究了VV&A过程,并将这些研究应用于反舰导弹突防联邦仿真中.实践表明,研究对LCSS的VV&A工作具有很好的指导作用,有力地保障了仿真的可信性.     

高重频频率步进雷达强杂波抑制

针对高重频频率步进雷达,提出了抑制强杂波的有效处理流程.在接收机前端控制中频带通滤波器的通带范围以减少进入后续处理的折叠杂波,在信号处理机中针对目标运动速度的不同提出了两种方法:通过波形参数设计及高分辨处理消除杂波对高速目标的影响;利用两幅高分辨距离像(HRRP)进行杂波相消以抑制杂波对低速目标的干扰.该处理不需要改变基本的频率步进波形,具有简单易行的优点.仿真和试验结果验证了所提方法的有效性.     

一种适用于点和区间混合型维度数据集的多维索引

点和区间混合型维度数据集是空间数据库系统和GIS中重要的数据对象.在分析SS树的基础上,提出了一种适用于索引点和区间混合型维度数据集的索引结构--PI树.PI树利用超球划分数据集的多维空间,以提高结点存储利用率,从而降低数据插入时的I/O次数.文章给出了PI树插入、删除和查询算法的形式化描述.理论分析和实验结果表明,所提的PI树性能上总体优于R·树.     

空间拦截零控脱靶量与末段制导能量需求的近似计算

基于理想二体假设下的弹道方程解析式,忽略重力在拦截末段对拦截器和目标运动状态的影响.推导了空间拦截初始制导偏差与终端零控脱靶量之间的线性近似计算式,并以速度增量的大小来近似描述拦截末端主动寻的制导段的能量需求,给出了拦截末段制导最小能量需求与零控脱靶量、探测距离之间的近似关系.通过数字仿真测试了近似计算的准确性.     

GM(1,1)模型预测火炮研制费用的应用

随着科学技术的发展,寿命周期费用日益受到重视,尤其是寿命周期费用中研制阶段的费用对寿命周期费用起到决定作用.利用GM(1,1)灰色理论对自行火炮寿命周期费用中的研制费用进行分析,建立了基于GM(1,1)灰色理论的自行火炮研制费用分析通用时间序列模型,并以某自行火炮研制费用为实例,利用SPSS统计软件对文中建立的灰色预测模型进行了分析计算.其计算和检测的结果表明模型可靠、精度较高,为自行火炮研制费用分析提供新的理论分析方法.     

论如何推进当代大学生的马克思主义大众化

当代大学生作为中国特色社会主义事业的接班人,其价值观、人生观、世界观的培养,与推进大学生的马克思主义大众化密切相关。因此,大学生的马克思主义大众化何以必要、何以可为、应以何为成为推进大学生马克思主义大众化亟待解决的重大问题。     

对教学管理与课程建设的思考

课程建设是一项复杂的系统工程,本文分析了教学管理在促进课程建设工作中所起的作用。进一步加强教学管理,促进课程建设,就必须提高教学管理水平,为课程建设作好服务工作。     

一种鱼雷电磁引信目标信号特征识别的新方法

描述了表征信号奇异性的Lipchitz指数方法,分析了小波变换检测信号奇异值的原理,结合鱼雷电磁引信目标信号的包络信号在到来和结束时刻以及在最大值点存在奇异值的情况,提出了一种识别包络信号的幅度变化率和持续时间特征的新方法。在Matlab环境中对该方法进行了仿真分析,结果表明:相比传统的模拟电路的识别方法,该方法识别精度高。     

一种INSAS的干涉相位初值的估计方法

分析了干涉合成孔径声纳(InSAS)处理中初始相位误差对数字高程图的影响。提出了采用多点的配准时延信息估计干涉相位初值的方法,该方法可提高干涉相位初值估计的精度和可靠性。对几种配准时延信息计算方法估计的干涉相位初值进行了比较和分析。干涉仪合成孔径声纳湖试样机试验数据处理结果,验证了该方法的有效性。