A unified linear-time temporal logic solution to the steam-boiler control specification problem

The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.     

高庙子膨润土热膨胀特性试验研究

采用DIL806热膨胀仪,通过室内试验系统研究了不同影响因素对高庙子压实膨润土样品热膨胀性能的影响,获得了膨润土样品热膨胀系数随干密度、升温速率、含水率和环境气氛等条件的变化规律.试验结果表明:膨润土样品的热膨胀系数随着干密度的增大而增大;样品热膨胀系数随初始含水率的升高而降低;高含水率的膨润土样品,其热膨胀系数随升温...     

基于流固耦合的增压器涡轮叶片结构强度分析

采用ANSYSWorkbench软件建立涡轮流固耦合仿真计算平台。首先,运用CFX软件对涡轮流体域进行流体动力学计算。随后,将流固交接面的温度、压力分布场加载到涡轮固体域表面,并进行稳态热计算。最后,运用ANSYS软件有限元分析模块对涡轮考虑气动温度载荷、压力载荷和离心力载荷的进行综合结构强度计算研究。结果表明,所分析的涡轮叶片根部的中间部分及近出口处存在应力集中现象,与用户反馈的该款增压器使用中涡轮叶片断裂部位较为吻合。     

利用SIS系统进行CFB锅炉结焦原因分析案例

结合对循环流化床(CFB)锅炉的一次典型结焦事故分析,介绍了厂级监控信息系统(SIS)的历史数据查询功能对结焦事故分析的指导作用。     

G3i仪器编码器快速切换装置的制作

G3i仪器在同一工区生产作业时,由于地表条件等外部因素的复杂化,难以将井炮和可控震源两种不同的激发方式分别集中作业,必须使用Vib Pro和Shot ProⅡ编码器进行轮换控制,频繁切换激发源对应的硬件设备,由此浪费的时间直接影响了生产效率。因此需要针对此开发新功能或新设备,以解决混合采集影响生产效率的问题。     

VE464电控箱体的通讯技术与可控震源高效采集方法应用

可控震源高效采集作业中,电控箱体之间的数据链路通讯质量是制约生产的关键因素。本文通过分析VE464电控箱体的通讯技术传输原理,根据不同的采集方法合理的配备通讯电台,力求解决复杂施工环境下的可控震源施工问题。     

磺化酚醛树脂干燥工艺节能改造实践

文章对某助剂厂磺化酚醛树脂干燥工艺节能改造经验进行总结。比较了同行业类似干燥设备的优缺点,并进行工艺分析和技术论证,通过设备选型,采用了直燃热风炉等节能设备。结果表明：SMP干粉产能提高了1倍,单位产品耗电量和用煤量占原有生产线平均值,60％和48％。     

高含水原油旋流预脱水及污水除油新工艺

针对含水率在90％以上的高含水原油，用液－液旋流器对产出液进行预脱水和污水除油的新工艺在胜利油田车二接转站进行了现场试验。该站平均含水率90％，经两级旋流器处理后，脱水率达到90％，污水除油率高达98％以上。将核桃壳过滤器作为新工艺的配套设备，其除油、除悬浮物效果明显，可进一步提高水质，以满足中、低渗透层注水水质要求。该工艺不仅简化了流程，减少了设备，提高了工艺技术水平，而且还节省投资（45．2％）。     

新型污水过滤材料--微孔陶瓷滤料的研制试验

介绍了油田含油污水处理用的新型滤料——微孔陶瓷滤料，做了比较试验，与石英砂材料做了性能比较，并得到了实际应用。