火焰温度测量技术研究

综述了火焰的分类及其温度测量方法,介绍了热电偶法、成象法、激光光谱法、辐射法和声波法的测量原理,并分析比较了它们的适用性和各自特点。简要描述了用于固体火箭发动机羽焰温度测量的多点多波长高温计。最后,展望了火焰温度测量的发展趋势。     

带异步电动机负载时发电机组容量的选择

要随着对电力需求的不断增加,发电机组得到了广泛的应用。本文对发电机组带异步电动机负载时,其容量的选择作了较详细的分析。     

基于最长曲线法的海天线检测算法

通过分析红外图像的特点,给出一种基于最长曲线的海天线检测方法,根据所要处理的红外图像自适应选取 Canny 算法的阈值进行边缘检测,精确提取海面和天空区域的分界线-海天线.首先对红外图像进行中值滤波消除噪声,然后采用自适应阈值的 Canny 算子进行边缘检测,对检测得到的边缘进行边缘连接形成相互独立的几个目标,然后对各目标进行目标标定,最后基于最长曲线法进行海天线检测.     

基于到达信号相角的非同步单信标校阵研究

针对水声定位工作中水下信源位置获知问题,利用非同步单信标定位模型进行水下信源位置校准,通过获取水面船的高精度DGPS信息,应用单信标定位的逆过程,通过多次测量进而求解出信标位置。选取两种不同粒子群优化算法进行对比,并考察不同校阵路径下对位置校准结果的影响,仿真结果表明,竞争粒子群优化算法对目标的寻优速度最快,在环形航路下的信标校准结果最为理想。     

用于中央空调管道清洗机器人障碍探测的测距仪器设计

该设计基于声波在空气中传播遇到障碍物反射的原理,通过超声波的发射和接收来完成黑暗空调管道内的障碍探测.测距器由超声波发射模块、信号接收模块、单片机处理模块、数码显示以及声光告警显示模块等部分组成.文中详细介绍了测距器的硬件组成、检测原理、方法及软件流程.     

鄂西渝东五峰组—龙马溪组富有机质页岩小层划分对比研究 ——以咸地2井为例

湖北咸丰地区咸地2井五峰组—龙马溪组页岩具有沉积厚度大、有机碳含量高、含气性好等特点.通过系统分析咸地2井钻井、录井、测井资料以及测试分析结果,对咸地2井五峰组—龙马溪组进行小层划分,共划分9个小层.重点对其岩石特性、沉积环境等作细致的研究,结合测井数据、TOC、含气量以及地化分析数据,将划分的9个开发小层与渝东地区典...     

锰含量对含钛钢的析出强化的影响

通过热模拟实验和模拟轧制,研究了Mn含量对普碳钢和高钛钢的组织转变和力学性能研究。实验结果表明,随锰含量(0.4%~1.6%),过冷奥氏体淬透性明显增加,奥氏体向铁素体和珠光体转变后,组织明显细化,提高了强度和韧性,降低了屈强比,但恶化了钢的塑性。钢中加入0.10%的钛后,随Mn含量的增加,TiC析出颗粒尺寸和析出颗粒平均间距减小,钢的强度和析出颗粒平均间距f~(-1/2)基本符合线性关系。在铁素体中TiC析出显著提高钢的强度,但塑性和韧性明显恶化。通过冲击断口分析,晶粒细化虽然降低了钢的塑性,但裂纹扩展过程,单个晶粒受周围晶粒约束的将少,单个晶粒塑性并未降低,断口呈现明显的韧性断口,并且韧窝细小,可明显提高钢的韧性。而TiC的析出,降低了单个晶粒塑性,断口存在明显的脆性区域,显著降低了钢的韧性。     

OEDGE modeling of plasma contamination efficiency of Ar puffing from different divertor locations in EAST

Modeling with OEDGE was carried out to assess the initial and long-term plasma contamination efficiency of Ar puffing from different divertor locations,i.e.the inner divertor,the outer divertor and the dome,in the EAST superconducting tokamak for typical ohmic plasma conditions.It was found that the initial Ar contamination efficiency is dependent on the local plasma conditions at the different gas puff locations.However,it quickly approaches a similar steady state value for Ar recycling efficiency ＞0.9.OEDGE modeling shows that the final equilibrium Ar contamination efficiency is significantly lower for the more closed lower divertor than that for the upper divertor.     

舰载机弹药保障作业调度的形式化建模与验证

航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证中存在的弹药保障系统难建模、作业执行行为难描述、形式验证工具难实现等挑战,基于分离逻辑的思想,提出一种弹药保障系统的行为模型,并利用定理证明器Coq对作业规划方案进行形式化验证.首先提出一个符合弹药保障作业特征的序列化双层资源堆模型;基于该模型,构造一套可用于描述作业执行行为的建模语言及其操作语义;最后在Coq中实现一种证明辅助工具.通过几个典型弹药保障作业规划方案的交互式证明实例,验证工具的可用性与工程实用性.