光电对抗中的烟幕技术

阐述了烟幕在光电对抗中的作用和干扰机理，介绍了对抗可见光，红外和激光的三种烟幕的典型组份，简介了烟幕器材，并指出了今后的发展趋势。     

面向组合式软件功能正确性和非功能满足性的统一建模方法

在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段。在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景。给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性。     

丹江口大坝加高工程合同管理

丹江口大坝加高工程施工难度大、合同项目多,给合同管理工作带来困难。结合合同管理工作实践,阐述了合同管理措施和具体工作方法,并着重对工程变更和变更项目处理中的难点问题,以及变更索赔处理的原则、方法进行了探讨。在合同管理工作中,严格按照合同文件要求和相关法律法规,明确参建各方的责任、权力和义务,有效促进了合同的全面履行,确保了建设目标按期实现。     

水平井随钻测井曲线的对比分析与校正

随钻电阻率测井在测量水平井和大倾斜井中起主导作用。将随钻电阻率测井与电缆测井的曲线对比发现,经校正后的测井响应更能反映地层真电阻率,但随钻电阻率测井受到井眼、井轴与地层相对倾角、地层各向异性和围岩的影响,利用理论计算或实验研究建立相应的校正图版,进行校正其结果准确,值得推广。     

建材内甲醛散发参数处理方法及实验研究

提出了一种新型的建筑板材内甲醛散发关键参数的处理方法,并进行了不同温度场作用下的实验研究。结果表明,温度可以明显促进板材内甲醛的散发,根据实验数据拟合得到K_m、C₀和D_m,三大参数随温度的变化规律验证了本文提出的新型处理方法;实验过程中,舱内浓度对甲醛挥发速率的抑制作用比温度对其的促进作用更加明显;本文提出的新型处理方法被证实是可行并且可靠的,可为板材内其他VOC气体散发参数的处理提供依据和参考。     

线性过程中核估计的强一致相合性

讨论了线性过程中核估计的强相合性问题,把核估计问题运用于一族平稳的线性过程：Ｘ（ｎ）＝∑∞ｉ＝０δ（ｉ）Ｚ（ｎ－ｉ）,其中δ（ｉ）为参数,Ｚ（ｎ）为独立同分布随机变量。研究了概率密度函数ｆ（ｘ）的ｓ阶导数ｆ（ｒ）（ｘ）及风险函数ｒ（ｘ）的核估计ｆ（ｓ）Ｎ（ｘ）、ｒＮ（ｘ）的一致强收敛于ｆ（ｒ）（ｘ）、ｒ（ｘ）的速度。在核函数Ｋ具有ｓ阶连续导数,且有有界变差及概率密度函数ｆ（ｘ）的ｒ阶导数ｆ（ｒ）（ｘ）满足λ阶的Ｌｉｐｓｃｈｉｔｚ条件等条件下,ｆ（ｒ）Ｎ（ｘ）收敛于ｆ（ｒ）（ｘ）的速度可达（ｌｏｇＮ）ｌｏｇｌｏｇＮＮ〔〕λ２（ｒ＋λ＋１）。     

求解大型稀疏线代数方程组的一种迭代方法

用迭法求解线性代数方程组时,由于收敛条件较严,只能对一些特殊矩阵（如对角占优、对称正定矩阵）构造迭代公式。而对于一般的线性代数方程组,尤其是大型稀疏方程组尚无一般的迭代公式。针对这一情况,介绍求解线性代数方程组的一种迭代方法。只要方程组存在唯一解,这种迭代方法便是无条件收敛的。还结合压缩存贮技术给出迭代公式,应用该方法可大大节省计算机内存,从而可在微机上求解大型稀疏线性代数方程组。算例表明这种方法收敛速度较快,稳定性较好,尤其对病态方程组十分有效。     

微型磁通门性能指标的综合测试与分析

对铁芯结构的改进有利于提高微型磁通门传感器的性能,采用MEMS工艺制备了多孔铁芯结构微型磁通门,并对所制备的微型磁通门进行主要的工作参数和性能指标的综合测试,分析了激励电流和激励频率对灵敏度、线性范围、噪声、剩磁误差等性能指标的影响规律.对实验结果的分析结论为传感器选择合适工作参数提供了数据支持.