降低焊接电源谐波对电网污染的研究发展

根据近年采焊接电源的研究热点，针对降低焊接电源谐波对电网污染的解决方法．从IGBT逆变电源和PWM脉宽调制技术、三相功率因数校正、带相间变压器的多相焊接电源以及电路仿真研究等方面，阐述了降低焊接电源谐波对电网污染的研究状况，指出提高焊接电源的效率、降低焊接电源对电同的污染以及电磁污染。开发智能型的绿色焊接电源是今后焊接电源发展的一个方向。     

半固态金属流变成形模具失效与选材

半固态流变成形模具的研究是半固态成形技术的一个重要组成部分，目前还没有引起足够的重视。根据半固态流变成形模具的工作原理和黑色金属流变成形的工作条件，分析指出了其主要失效形式是热疲劳、熔蚀和变形，模具材料的关键性能指标是高温疲劳强度、抗氧化性以及较低的线膨胀系数等。通过对常用模具材料优缺点的分析，得出了以下结论：目前国内外还没有真正适合黑色金属半固态流变成形的模具材料，采用复合材料和表面处理技术是提高模具寿命的有效途径。     

声发射方法测定SiCw／Al复合材料的界面强度

对ＳｉＣｗ／Ａｌ复合材料形变断裂过程中的声发射（ＡＥ）特征的研究表明，用ＡＥ技术能准确测定ＳｉＣ纤维的断裂次数，并能测定其断枝长度，从而测定了纤维和基体间的界面强度和ＳｉＣ纤维的断裂强度。     

大型高扬程泵站出水塔结构振动模态分析

针对大型高扬程泵站出水塔结构在运行过程中存在的振动问题,以甘肃省景泰川电力提灌二期总干六泵站出水塔结构为例,构建ANSYS环境下的泵站出水塔三维有限元仿真模型,在正常工作状态下采用子空间迭代法进行基于环境激励的模态参数辨识,并获取其模态振型,分析了泵站出水塔结构的振动特性。结果表明:该出水塔结构在运行期的基频为9.91 Hz,主振方向为垂直压力管道法线方向;结构的模态振型基本按照横向-竖向-扭转的规律进行,且主要发生在结构中部镂空立柱部位。数值分析结果与现场DASP测试结果基本相符,表明有限元子空间迭代法模拟分析结果有效可靠,实现方便。研究成果能为大型高扬程泵站出水塔的更新改造设计提供理论依据,同时能为灌区水工结构的模态参数辨识提供技术参考。     

遵化市水资源状况及其开发利用分析

通过分析遵化市水资源及开发利用现状,评价了水资源现状存在问题,结合社会经济发展方向,提出了合理建议。     

GJK算法的一种特殊情形的形式化验证和应用

计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.     

基于乘客多运动行为的公交客流计数判定方法

针对基于单目视觉的公交乘客人数统计判定方法不稳定、计数结果不准确的现状,结合公交车门附近乘客运动行为的复杂性和多样性,以及乘客运动行为对计数判定方法的干扰,给出一种基于乘客多运动行为分析的计数判定方法。采用轨迹聚类的方式对乘客运动行为进行分析,结合轨迹的空间特征和方向特征计算轨迹距离,并使用层次聚类方法进行聚类。分析聚类结果中每一类别所对应乘客类的运动行为,讨论各乘客类的运动行为对常用计数判定准则的影响,由此提出一种改进的公交车客流计数判定方法。利用采集的乘客上下公交车视频图像进行实验,结果表明,该方法能获得较高的统计精度和较好的稳定性。     

基于Petri网的维修保障过程可视化建模与仿真

为解决民用飞机维修保障过程中资源影响复杂性及时间消耗不确定性的难题,提出基于模糊时间着色Petri网的民用飞机维修保障过程可视化建模方法与仿真。分析维修保障各个过程的资源充足度及时间消耗不确定性对整个维修保障活动的影响,动态地显示资源状态及模糊时间。以民用飞机起落架液压系统故障为例进行可视化建模与仿真,动态的仿真过程及最终结果验证了模型的可行性及算法的正确性,其能够为民用飞机维修保障过程的效率评估以及薄弱环节的确定提供支持。     

基于体系结构的软件可靠性评估综述

为深入了解基于体系结构的软件可靠性评估方法的发展情况,针对当前该方法的发展现状,对基于体系结构的软件可靠性评估的起源、发展、分类和典型模型进行阐述,重点介绍状态模型、路径模型、构建操作剖面模型及其它模型;根据各种模型的特点,分析现有模型中存在的问题,对软件可靠性模型今后的发展趋势进行展望。     

一种微电阻率成像测井仪数字相敏检波新算法

针对微电阻率成像测井仪井下稳定、高效及低功耗设计要求,提出了一种较新颖的数字相敏检波实现算法,主要包括数据的分相累加、公因式乘法、匹配加法以及反正切与平方根运算等.其中,分相累加算法在采集模块FPGA中完成,公因式乘法和匹配加法在处理模块FPGA中完成,反正切和平方根运算在处理模块DSP中完成.通过此种相敏检波算法实现方式,能有效降低系统功耗,并实现地层阻抗的准确测量.