基于可满足性模理论求解器的程序路径验证方法

针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论（SMT）求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造无循环控制流图（NLCFG）;然后通过基本路径法对控制流图（CFG）进行遍历,提取基本路径信息;最后利用SMT求解器作为约束求解器,将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比,该方法在对测试集程序的验证时间上比CBMC降低了25%以上,比FSoft-SMT降低了15%以上;在验证精度上,该方法有明显的提升。实验结果表明,方法可以有效解决路径搜索空间过大的问题,同时提高路径验证的效率和准确率。     

小麦湿法清理的污水循环处理方法的研究

1前言 在面粉生产过程中,小麦清理工艺是一个非常重要的生产环节,小麦清理的效果将直接影响到面粉的品质.对面粉生产企业而言,面粉的品质关系到企业的市场定位和企业的经济效益,从而也直接影响到企业的生存发展空间.     

关于小麦湿法清理工艺的探讨

就湿法清理工艺的现状与动向、洗麦的原理、洗麦的新功能、洗麦机的应用、洗麦的优势与弊端、洗麦水的处理与循环利用等问题进行分析和探讨.     

基于CF卡的大容量存储技术及其在磨削参数检测中的应用

对生产现场进行实时监控或优化工艺参数时,通常需要采集大量的现场数据,因此需要有大容量的数据存储设备和快速稳定的存储过程来实现实时存取。本文简要介绍CF卡的存储原理与操作方式,包括CF卡的内部组织结构、外部接口、读写操作等,着重阐述CF卡在自行开发的磨床磨削参数检测系统中的应用。用便携设备实现了对大容量数据的实时采集和存储。     

重塑非饱和粉质黏土抗剪强度特性试验研究

含水率对非饱和土的抗剪强度有很大影响,因此研究含水率与非饱和土抗剪强度之间的关系,具有重要的工程意义.以粉质黏土为研究对象,通过直剪和基质吸力试验,研究含水率对抗剪强度及内摩擦角和黏聚力的影响.结果表明:随着基质吸力的增大,非饱和土的抗剪强度不断增大,说明基质吸力对抗剪强度有较大贡献;随着含水率增大,土的内摩擦角减小;在含水率较小时,黏聚力增大,当含水率增加到一定值时,土的黏聚力急剧下降.     

面粉厂使用电动机应注意的几个问题

现代面粉厂的设备大都是由电动机驱动,如1条处理小麦300 t/d的面粉生产线就需用200多台电动机.如果用由提升机、绞龙输送的配粉工艺系统,则电动机的数量更多.往往因为1台电动机出现故障而造成整条面粉生线停止生产数小时甚至数日,造成巨大的经济损失.因此,电动机的正确使用和保养非常重要,是保持连续生产的关键因素.     

现阶段我国制粉技术发展的新特点

分析了小麦清理工艺、制粉工艺、配粉工艺以及面粉加工在自动控制、节能降耗、新设备、新工艺等环节的变化,系统阐述了进入21世纪以来我国制粉技术发展的新特点.     

热连轧控制理论研究与分析

热轧带钢的生产在轧钢生产中占据重要的地位，而热连轧控制理论是热轧生产过程中的基础理论。通过对轧制过程中的各种参数分析，提出热连轧控制理论的分析方法，进而解决生产中所遇到的问题。     

1000t/d全八辊磨粉机面粉生产线工艺技术特点

郑州金苑面业有限公司是一个民营股份制企业 ,具有严格的管理体制和高效的运行机制。根据金苑面粉在全国市场上的紧俏形势和市场竞争日益激烈的状况 ,2 0 0 0年 5月公司董事会决定扩大生产规模 ,以增加品种 ,降低成本 ,提升产品优势。鉴于金苑公司自身的经济技术实力 ,立足自我 ,开拓创新 ,把设计开发目标定位在日加工小麦 10 0 0t的全八辊磨粉机面粉生产线的规模和水准上。八辊磨制粉工艺是一项新技术 ,在国际上仅有 2家使用 ,而且规模最大也只有3 0 0t/d ,生产的产品主要是加工精度较低、粒度较粗的工业用面粉。要设计国际上规模最大的 10…     

关于面粉生产节能降耗技术的研究

分析了我国面粉生产单位能耗的现状,阐述了面粉企业节能降耗的必要性,重点研究了节能降耗的途径,提出了从工艺设计、工艺管理、设备配置、操作指标、用电质量等十个方^面研究节能降耗的关键技术及措施.