马丁代克深度报警校正装置的设计

马丁代克是深度测量系统的一个非常重要的组成部分。文章设计了一种基于单片机的监测报警装置,用于监测绞车运行过程中马丁代克的工作状况,在发生异常时就会产生连续的报警声,并用数码管将故障产生时间显示出来,提醒绞车操作人员采取相应的措施,以保证测井深度的准确性并预防类似故障引发的井下仪器落井事故的发生。     

浅谈三菱马丁机械式垃圾焚烧炉运行调整及其技术改造

以我厂三菱马丁机械式焚烧炉运行中的问题为入口;分析其焚烧炉运行调整的方法及针对运行中存在的问题所实施的技改措施,通过运行调整与技改,强化了炉内燃烧,改善了设备出现的技术问题,降低了运行成本。     

马丁-侯(M-H)状态方程计算二元液液平衡

本文将马丁-侯状态方程用于LLE数据关联.对二元体系,使用两个二元相互作用参数.在较大温度范围,参数处理成温度函数;温度差范围在30-40℃之内,参数可作为常数,取得良好的关联结果.基于二元LLE数据推算了二元低压VLE,结果与实验值符合较好.     

空心玻璃微珠填充改性双马来酰胺树脂复合材料耐热性能的研究

采用空心玻璃微珠填充改性双马来酰胺树脂（BMI），研究了玻璃微珠用量，粒径及表面处理对材料性能的影响，并用热机械分析仪（TMA）测定了材料的线膨胀系数。结果表明随着玻璃微珠质量份数的增加马丁耐热温度提高，线膨胀系数呈降低的趋势，小粒径（10μm）和经过表面处理的玻璃微珠对马丁耐热温度改性的效果更加显著。     

一种面向服务构件的高可信组装技术的研究

服务构件的组装和验证是基于构件的软件工程的核心。为确保服务构件组装的高可靠性,引入了马丁洛夫类型理论来形式化地描述构件接口的功能性和非功能语义信息,使之在进行组装时,可利用其接口所携带的语义并根据推理规则在验证工具Coq中推导其正确性和可信性。其次,提出基于类型理论的组装验证模型并结合实例进行分析。最后,介绍了文中的可视化开发平台的原型系统,其具有界面友好、功能操作简单等特点。通过马丁洛夫类型理论的方法组合的构件系统表现出高可靠性。     

马丁-侯方程中参数m和B4的直接求取

马丁-侯(M-H)方程在计算液相体积、高压气体的焓熵、以及极性液体的焓熵方面有很好的精度优势,但对其中B4参数的求取需要迭代计算而影响了M-H方程在工程计算中的应用.今首先将M-H方程的m参数和物质的偏心因子ω关联起来,在保持M-H方程计算气相体积精度的条件下得到计算m的普适方法.然后提出参数B4与物质的对比温度Tr以...     

利用CFD技术对城市生活垃圾富氧燃烧特性分析

富氧燃烧技术具有明显的节能与环保效益,是低热值垃圾稳燃,减少污染物排放的有效措施.运用CFD技术对垃圾在机械炉排炉内富氧气氛下的燃烧特性进行了研究,给出了O2/N2=21:79和O2/N2=25:75两种工况下床层上方的烟气温度、烟气组分浓度曲线及床层焦炭分布图.模拟结果表明:当一次风的氧气浓度由21%(v)提高到25%(v)时,垃圾床层表面燃烧区域平均温度由1 350 K升高到了1 466 K,增加了116 K;灰渣中可燃物(焦炭)含量由3.9%(wt)降为0.1%(wt),随着氧气浓度增加,垃圾着火位置前移,提前进入稳定燃烧阶段.模拟结果与前人的试验测量值吻合.     

从使用寿命谈滑片用酚醛层压布板材料的选择

就滑片的设计计算、实际使用和生产制造的分析，从使用寿命的要求出发提出几点滑片用酚醛层压布板材料的选择意见。     

硬质橡胶的性能与配合研究

通过对生胶胶种的分类试验,探讨了天然橡胶、丁苯橡胶、顺丁橡胶以及丁腈橡胶等对硬质橡胶胶料物理机械性能的影响;通过对不同填充体系的试验,初步探讨了不同物理-化学特性的填充剂对硬质橡胶抗折断强度、冲击强度及马丁耐热性能的影响。