基于元模型的Simulink静态分析技术

为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。     

冷库运行中的节电管理

冷库是冷藏业中主要的用电单位,节约用电是冷库运行中的一项重要工作。冻结和储存食品的电耗,由于不同地区、企业之间的管理水平的不同,存在较大的差别。科学管理是达到冷库节约电耗最有效的手段。笔者就冷库节约用电问题进行一些探讨。     

制冷系统中润滑油的影响与排除

制冷系统是由压缩机、冷凝器、节流阀、蒸发器及其它附属设备,相互均由管子连接成一个封闭系统。而循环于其中的氨不可能都完全干净的,其中经常夹杂质与脏物,这些杂质主要包括润滑油、空气、水及少量机械脏物。每种杂质都会对系统的运行产生一定的影响,而润滑油对系统的运行效率、安全性、可靠性等影响是最大的。笔者结合自己十多年的实践,着重分析润滑油是如何进入系统的、对系统运行产生何种影响,如何从设计、操作管理、维修三方面加以预防和排除系统中的润滑油。     

基于虚拟仪器的过套管测井微弱信号检测研究

有效地检测微弱信号是过套管仪器的核心技术之一.文章介绍了在频域进行的一种高质量的微弱信号检测方法,并用LabVIEW平台,设计出虚拟锁定放大系统,对实验室产生的模拟过套管测井微弱信号进行采集并作研究分析.试验表明,虚拟锁定放大系统可以较好地检测出信噪比不小于-30 dB或最小检测信号幅值不低于10nV的微弱信号.因而,该系统可用于过套管微弱信号检测.     

带驱替线圈法全直径岩心电参数测量系统

为了解决岩石物理试验中用电极法测量小岩心电参数精度小和不能真实全面反映地层实际信息的问题,目前常用的解决方法是线圈法测量全直径岩心。设计了带驱替全直径岩心电参数测量系统,通过改变岩心夹持器的结构,将发射和接收线圈置于岩心的两侧,利用电磁波传播原理测量岩心电参数。此外,该系统中加上了温度控制单元、压力控制单元等,不仅可以解决传统线圈法全直径岩心测量系统中由于岩心中空不能完成驱替试验改变岩心含水饱和度的弊端,还可以模拟地层的高温高压环境,来测量岩心的电参数,测量的数据更能真实反映地下岩石的性质。     

巫山县龙头山滑坡物理模型实验研究

龙头山滑坡是三峡地质灾害防治监测预警工程中重点监测滑坡,通过对其进行滑坡物理模型试验,对滑坡失稳过程的孔隙水压和土压力以及滑坡位移的变化特征进行了观察总结,并探求库水位变化和降雨条件对滑坡稳定性的影响,为滑坡的监测预警提供依据。     

冷库运行中的节电管理

冷库是冷藏业主要的用电单位,节约用电是冷库运行中的一项重要工作,冻结和储存食品的电耗,由于不同地区,企业之间的管理水平的不同,存在较大的差别,科学管理是达到冷库节约电耗最有效的手段。     

水电站调速器开机规律对机组顶盖振动的影响

随着近几年水电机组振摆保护装置的相继投入,机组运行过程中各导轴承振动、摆度过大,超出振摆保护装置动作值后,可能发生机械停机事故。针对瑞丽江一级水电站开机过程中顶盖振动较大,分析影响顶盖振动的各种因素,结合试验数据,提出优化调速器开机规律,控制水流速度,使水流顺畅进入流道,在一定程度上降低了机组开机过程中水轮机顶盖振动幅值,从而提高机组运行稳定性。