Hilbert空间极大单调算子零点的逼近问题

设H为实Hilbert空间,C为H的非空闭凸子集,T:C→2H为极大单调算子,假设S(T)={X∈H:O∈Tx}≠Φ。求xk及ek满足设Pc:H→C为H到C上的最近点投影算子,定义证明了Hilbert空间中由上式产生的序列{xk}k≥0弱收敛于T的某个零点。     

基于IDEF0的装备维修保障系统功能模型的建立

在研究现有的各种功能分析方法的基础上,选用IDEF0方法对装备维修保障系统进行功能建模。首先建立了装备维修保障系统的纵向功能结构树,用于描述功能层次关系;然后建立了装备维修保障系统的横向关系模型,用于描述处于同一层次的各功能块之间的相互关联。     

基于复合CBR的炮兵侦察情报处理系统模型研究

本文针对当前炮兵侦察情报处理系统工作现状,指出了现有侦察情报处理系统所存在的问题和局限性,利用人工智能中的基于案例推理技术,建立起基于复合案例推理的炮兵侦察情报处理系统的模型。该模型详细地描述了炮兵侦察情报处理过程,克服了现有基于规则推理系统不易扩展和修改的弊端,具备更好的处理效果。     

美国海军正在发展的水下探测系统

本文介绍了目前美国海军正在发展的几种水下探测系统。主要包括：先进可展开系统（ADS）,商用现成技术固定式分布系统（FDS-C）,商用声学流行技术快速嵌入计划（A-RCI）,潜艇拖曳阵系统（TB-29A）和无人水下航行器(UUV)。     

武器雷达装备RCM分析决策系统

详细介绍了武器雷达装备RCM分析决策系统的体系结构、功能模块划分和数据库设计方法,并给出了系统的实现方案以及后续开发的设想。     

基于硬件计数器的MPEG4视频应用性能特征分析

通过指令集扩展来增强多媒体应用性能是微处理器发展的一个趋势,IntelMMX、SSE和SSE2是很好的例子。但应用本身的特点是否支持这些体系结构特性,应用软件是否充分发挥了多媒体指令集的潜力,都是值得关注的问题。采用动态Profiling的方法,研究MPEG4视频应用在基于IntelP4处理器的桌面机上的性能特性,使用硬件计数器工具来获取指令级的性能数据,并进行了深入分析。发现MPEG4播放软件较好地利用了IntelP4的64位MMX指令集,但对SSE和SSE2指令集几乎没有利用上;两级Cache不命中导致的性能损失很大。为提高视频播放性能,改进存储层次设计与优化播放软件比改进多媒体指令集更加有效。     

聚碳硅烷纤维成形过程的稳定性研究

通过改变不同的熔融纺丝工艺研究了聚碳硅烷纤维熔融纺丝时纺丝稳定性的影响因素。研究表明:提高介质温度到180～200℃、采用向下的环形吹风、控制成形区气流的大小与流向、纺程控制在90cm左右、加强集束与控制外部条件的稳定性等有利于提高纺丝稳定性。     

用LIIF法测量DF/HF化学激光器喷管混合性能的数值分析

激光诱导碘荧光(LIIF)是一种很好的流场测量技术,为了验证该方法测量化学激光器流场混合性能的精度,模拟得到连续波DF HF化学激光器的HYLTE喷管冷流场,并计算了用氦碘混合气体作为氧化剂流、用氦气作为燃料流的HYLTE喷管的流场。通过比较前一流场中的氟原子和后一流场中的碘分子的摩尔百分比分布情况得知,当作为氧化剂流的氦碘混合物中碘的质量百分比在54%左右时,用LIIF法测量DF HF化学激光器喷管的混合情况具有较高的精度。     

DSSS时变窄带干扰抑制算法研究

在传统非线性最小二乘(NLS)算法的基础上,提出一种基于线谱估计的直接序列扩频(DSSS)系统抑制窄带干扰(NBI)的方法。该算法首先通过对基于正弦波叠加模型的NBI进行频率估计,再利用最小二乘准则进行自适应滤波,恢复出干扰信号包络,从而利用干扰对消器将其从观测数据中消除。仿真验证表明,本算法相对于传统的最小均方误差(LMS)算法、自适应频域陷波法,能较好地抑制时变音频NBI模型的干扰,且信息量损失较小。     

多层弹道导弹防御体系火力分配优化研究

对多层弹道导弹防御体系火力分配问题进行了研究。首先对多层弹道导弹防御体系火力分配问题进行了描述,在此基础上建立了基于最大化资源剩余价值目标函数的多层弹道导弹防御体系火力分配模型,分析了求解该模型的难点,提出了基于文化基因的多层弹道导弹防御体系火力分配问题文化基因求解算法,最后应用实例验证了模型的有效性,并对算法进行了对比分析。试验结果证明,合理制定多层弹道导弹防御体系火力分配方案,对于提升防御效能具有重要意义。