精化演算支撑工具的分析

利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。     

南梁油田白211井区延10段沉积相及砂体展布

以南梁油田白211井区延10段为研究对象,充分利用钻井、岩心、测井等资料,开展地层细分、沉积相类型、砂体展布特征分析。结果表明,延10段地层可细分为延10₁、延10₂、延10₃、延10₄共4个小层;主要发育辫状河道、心滩及河漫滩等沉积微相;延10段砂体延伸方向近似南北向,油层组整体河道砂体较发育,厚度大,延伸远,连片性好。     

采用双端电压行波法的输电线路故障定位系统设计

准确的输电线路故障定位对电力系统的安全经济运行具有重要的意义.为实现输电线路故障定位,分析了基于电压行波法的输电线路故障定位方法,提出了故障定位系统的总体设计方案,设计了用于消除双端非同步采集误差的全球定位系统(GPS)同步时钟模块以及数据采集系统.采用波形相关分析算法来提取行波到达线路两端检测点的时间差,并设计了输电...     

联苯三唑醇分子印迹电化学传感器的制备及识别性能研究

以联苯三唑醇为模板分子,通过电聚合邻苯二胺,在玻碳电极表面制备了对模板分子具有特异识别的分子印迹电化学传感器。实验选用铁氰化钾(K3[Fe(CN)6])作为电活性探针,采用循环伏安法(CV)和差分脉冲伏安法(DPV)研究了该传感器的电化学特性,并且优化了制备条件,研究了印迹传感器对模板分子及其结构类似物的选择性响应。结果表明:在最佳聚合条件下,p H=7.2,模板分子:功能单体=1:4(c/c),聚合圈数15圈,洗脱时间为13 min,洗脱剂:0.5 mol/L硫酸:乙腈=1:9(V/V),连续洗脱10次之后,相对标准偏差为5.2%,且传感器性能无衰减现象。该分子印迹电化学传感器灵敏度高,抗干扰能力强,对联苯三唑醇及其结构类似物具有良好的选择性响应,可以对结构类似物分别进行测定,为快速检测食品中联苯三唑醇奠定了基础。     

公司新型煤气站储煤场防自燃的探讨

莱公司拟建褐煤气化的新型煤气站，但煤自燃一直是煤化工行业的难题。因此明确引起褐煤储煤场自燃的各种原因并探讨有效易行的对策，对现场操作人员的身心健康，企业的安全生产、环境效益、经济效益及长久发展至关重要。     

一种粗苯管式加热炉的稳态特性辨识方法

基于现场所收集的数据,在稳态检测、聚类分析和热交换模型相结合的基础上,提出一种适用于粗苯管式加热炉的稳态特性辨识方法,能对粗苯管式加热炉模型有效辨识。通过对某焦化厂管式炉实际数据测定,对辨识模型进行了检验,证明了该方法的有效性。     

静电喷漆工艺防火值得注意的问题

静电喷漆工艺防火值得注意的问题重庆市消防支队庞军静电喷漆工艺以其自动化程度高、喷漆效果好，越来越广泛地用于工业生产上，据统计，仅西南兵工在重庆的企业就建成大小静电喷漆生产线２０多条。由于静电喷涂过程中使用的主要原料油漆、稀料等均属于易燃易爆化学危险品...     

一种用于电气作业的智能保护装置

传统电气作业现场保护设施缺乏智能化的监管和预警。基于主动红外侵入探测、热释红外和超声波测距、ZigBee无线通信等电路设计了一种模块化的智能保护装置,整套装置具有预报告警和越线告警功能。热释红外与超声波实现对作业区域外来因素误入的预判,主动红外探测构成越线报警,结合RFID技术,工作人员可实时管理作业现场。提出的方案符合实时性控制要求,装置能可靠、有效地保护电气作业区域人员安全,可实现现场作业保护装置的智能化。     

浅谈做好高校研究生学籍档案的思考和认识

研究生教育是高校高层次的教育,学籍档案的管理水平直接反映出高校研究生培养、教育的水平。研究生学籍档案管理是高校教学档案管理的核心组成部分,是高校社会服务的窗口。     

浅析配电网项目建设的安全与管理

配电网项目建设是电网建设工程中非常重要一部分，其建设质量直接影响到供电的可靠安全性及用户的用电安全稳定性等众多方面。因此，做好配电网建设项目的管理有着至关重要的作用。本文主要从安全和质量管理两个方面阐述了电力系统建设中配电网项目的建设。