洛马公司验证多无人系统的智能自主控制概念

在2008年8月12日～14日进行的一次演习中，洛马公司成功进行了智能控制和自主重新规划无人系统（ICARUS）成套技术的验证试验．     

快速凝固制备Mg4.44Zn1.85Y1.19Zr合金薄带

通过单辊甩带法成功制备出不同转速的Mg4.44Zn1.85Y1.19Zr成分的薄带,采用XRF、XRD、SEM分析、显微硬度测量等分析方法,研究了薄带的凝固组织及显微硬度.结果表明:随着辊速的提高,晶粒不断细化,薄带的硬度不断提高.晶粒细化是显微硬度提高的主要原因.     

分频解释技术在川西砂岩储层预测中的应用

分频解释技术是沿着储层或固定时窗对地震反射波各频率成分对应的调谐能量进行识别和成像,它避免了常规属性分析方法中的调谐陷阱,提高了识别薄储层的能力,能更客观地刻画地质体.在川西地区陆相隐蔽岩性气藏勘探中,存在调谐陷阱、波阻抗特征不明显、复杂地层结构中的有效薄储层不易识别等问题.为此,利用分频解释技术对川西地区侏罗系千佛崖组冲积扇相砾岩储层、上三叠统须四段河流三角洲相砂岩储层进行了描述.在多频率振幅叠加图上,冲积扇、三角洲水下分流河道等地质体形态和边界反映清晰;在单频振幅图上,清楚地显示出冲积扇内的辫状河道相薄层砾岩储层,与钻井结果相吻合,提高了储层预测精度.     

富氧燃烧技术在梭式窑中的应用

研究了富氧燃烧技术对梭式窑烧成的影响.研究结果表明,随着氧浓度从21%-30%的逐渐增加,CO总浓度和NO总浓度都先明显下降,后缓慢上升;节能效果在初始段较为明显,而后效果不明显;而实际烟气量与氧浓度成反比,与过剩空气系数成正比.     

低应变动测与抽芯验桩结果对比分析

通过低应变反射波法与钻孔抽芯 2种检测方法的结果对比分析 ,验证低应变反射波法检测基桩的缺陷及位置的准确性 ,积累波形判别的经验。     

风管摩擦阻力的直接计算方法

提出用高精度的反映密度、黏度和温度关系的经验公式和Colebrook公式计算风管摩擦阻力系数的方法。分析和算例表明，用该方法计算，计算结果比采用常用工程设计方法更为准确，为应用计算机进行风道设计提供了直接、简便的方法。     

基于遗传算法的BP网络在导弹武器系统元器件贮存可靠性预测中的应用

针对目前BP神经网络在应用中,网络结构难以确定以及网络极易陷入局部解问题,用遗传算法优化神经网络的连接权和网络结构,并在遗传进化过程中引入交叉概率和变异概率与个体的适度值相联系,改进了操作算子,而且在交叉操作后又引入模拟退火机制,提高遗传算法的局部搜索能力.建立了基于改进遗传算法的BP网络贮存可靠性预测模型,并以某型导弹武器系统的元器件进行实例分析,计算结果表明,该方法预测的准确性高,且预测结果稳定.     

瑞萨科技采用Synopsys VCS解决方案和VMM方法论

瑞萨科技采用了Synopsys的VCS功能验证解决方案开发复杂的SoC,并选定了VMM方法集,即Verification Methodology Manual(VMM) for System Verilog,用于验证其重要的SuperHyway总线片上互连架构。     

MALLAT算法快速实现方法及其应用研究

MALLAT算法是小波理论中的重要组成部分，根据MALLAT算法的原理，提出了该算法的一种快速的、实用的实现方法；并把该方法应用到噪声主动控制中，实验结果表明：该快速实现方法是有效的、实用的。     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的