用VIS系统验证电路的实时特性的探讨

文章在分析形式化验证／综合系统VIS 的基础上,改进了该电子系统中的关键技术——二叉判定图（BDD）,使BDD能表示电路的定时性质,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。     

基于时态逻辑的硬件设计形式化验证技术——模型检验

通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用,同时对布尔函数在计算机内的表示二叉判定图（BDD）进行了进一步地分析,最后给出了一个时态逻辑对硬件设计进行验证的例子。     

加快实现武进区水利现代化的探究

水利现代化是对当今城镇建设、农业发展、水利优化、人民生活的改善等方方面面都有利的一项利好事业,也是各级政府十分重视的大事,文章对江苏省武进区水利实现现代化进行了研究,通过论证分析,提出了一些办法和建议。     

我国居民膳食中铅摄入量调查与分析

采用统计学原理,对2005～2007年全国31个省市26大类食品中铅含量的抽样检测数据,进行了分析与评估.通过对数据的纵向和横向比较,得出：我国居民的铅摄入状况不容乐观,特定人群存在较大风险,我国城市居民的铅摄入风险要远高于农村居民.膳食中含铅量较高的是主食.     

变电站自动化系统遥信去抖方法分析

在辨别电网故障时各类事件发生的先后顺序中,SOE记录具有重要意义。该文对目前采用的遥信去抖方法进行分析,指出不同方法的特点。构建测试系统环境,在不同遥信去抖方法下,对SOE结果进行对比统计和分析。最后建议能够统一遥信去抖设计方法,保证SOE记录的精确性。     

戴放心眼镜看光明世界山西省临汾市实施"光明工程",抽查合格率提前一年达到国家要求

2001年始,山西省临汾市质量技术监督局启动了主题为“戴放心眼镜,看光明世界——光明工程活动”。到2003年该市成镜合格率由2002年的不足60%提高到90%,实现了抽查合格率提前1年达到国家规定要求。一、调查摸底,制定方案首先,市局组织人员对眼镜市场进行了调查摸底,截至2000年底全市17个县(市、区)共有配制、经销眼镜的单位83家,三分之二以上属于个体经营户,眼镜质量抽样合格率仅有59%。存在的主要问题:一是制、配镜从业人员素质低,90%没有经过正规的验光、配镜专业培训,且无证上岗;二是验光、配镜所用的计量器具受检率和合格率低;三是验光、…     

深度学习的快速磁共振成像及欠采样轨迹设计

目的 快速成像一直是磁共振成像（MRI）技术中的焦点之一,现有多通道并行成像和部分k空间数据重建都是通过减少梯度编码步数来降低数据的获取时间,两者结合起来更能有效地提高扫描速度。然而,在欠采样倍数加高的情况下,依然有很严重的混叠伪影,因此研究一种在保证成像精度的前提下加快成像速度的方法尤为重要。方法 基于卷积神经网络的磁共振成像（CNN-MRI）方法利用大量现有的全采样多通道数据的先验信息,设计并线下训练一个深度卷积神经网络,学习待重建图像与全采样图像之间的映射关系,从而在线上成像时,欠采样所丢失数据能被训练好的网络进行预测。本文探讨了对于深度学习磁共振成像的可选择性欠采样方式,提出了一种新的欠采样轨迹方案。为了判断本文方法的性能,用峰值信噪比（PSNR）、结构相似度（SSIM）以及均方根差（RMSE）来作为衡量的指标。结果 实验结果表明,所提出欠采样方案的综合性能要优于传统欠采样轨迹,PSNR要高出12 dB,SSIM高出近0.1,RMSE要降低0.020.04左右。此外重建结果还与经典的并行重建方法GRAPPA（geneRalized autocalibrating partially parallel acquisitions）、SPIRiT（iterative self-consistent parallel imaging reconstruction from arbitrary k-space）以及SAKE（simultaneous autocalibrating and k-space estimation）作比较,从视觉效果以及各项量化指标得出本文方法能重建出更准确的结果,并且重建速度要快5倍以上。结论 深度学习方法能很好地在线下训练时从大量数据集中提取并学习到有价值的先验信息,所以在线上测试时能在较短时间内重建出优于经典算法的高质量结果;提出的1维低频汉明滤波欠采样方案则有利于提升该网络的性能。     

基于逾渗理论的CaO吸收CO2动力学模型研究

石灰石循环吸收技术被认为是一种高效、经济的减排烟气中CO2技术。但这种方法循环效率降低较快,吸收剂利用率也较低。为了对这一过程有很好的认识,改善吸收剂的利用率,针对颗粒典型气固反应模型的缺点,将逾渗理论应用于CaO与CO2反应模型中,对CaO颗粒吸收烟气中CO2的过程进行描述。实验数据与模型数据相结合,表明新的模型可以很好地对吸收过程进行描述,并得出:烟气中CO2体积分数对CaO转化率的影响主要是在反应初期的化学反应阶段;小粒径CaO颗粒在一定程度上可以提高CaO的钙转化率。这为实际过程提高循环吸收效率提供理论指导。     

600MW火力发电机组烟气余热回收装置技术研究

文章对采用烟气-水形式烟气换热器的600MW火力发电机组烟气余热回收装置的系统拟定、可行性及经济性进行研究。     

红外辐射联合回火与冷激杀菌技术对胡萝卜粉品质的影响

首先研究不同红外辐射温度(100,110,120℃)及辐射时间(2.5,5,10 min)对胡萝卜粉微生物及品质的影响,然后根据栅栏效应原理研究红外辐射-回火、红外辐射-冷激联合杀菌对胡萝卜粉微生物、色调值、类胡萝卜素含量等品质的影响。结果表明:100℃、10 min的红外辐射处理使细菌和真菌分别降低了1.9 lg(CFU/g)和2.32 lg(CFU/g),110℃、5 min的红外辐射处使细菌和真菌分别降低了1.58 lg(CFU/g)和2.57 lg(CFU/g)。在上述两种处理条件下胡萝卜粉的水分活度从0.238分别降至0.123和0.147,胡萝卜粉中总类胡萝卜素含量从308.8μg/g降至227.8μg/g和238.8μg/g,色差值(ΔE)为9.11和7.89。与红外辐射单独作用相比,联合回火后的处理没有显著影响细菌数目,处理后保持在5.40~5.80 CFU/g,霉菌、酵母数却在处理过程中显著减少,然而减少量较低,总数仍不低于4.5 lg(CFU/g)。红外辐射-冷激联合处理相比红外辐射单独处理,100℃、10 min联合冷激7 d处理可将细菌数量降低0.25 lg(CFU/g),可将霉菌与酵母数量降低0.28 lg(CFU/g),110℃、5 min联合冷激7 d处可将细菌数量降低0.26 lg(CFU/g),可将霉菌、酵母数量降低0.40 lg(CFU/g),且这些处理下胡萝卜粉的色调值、水分活度、类胡萝卜素含量变化不显著。本试验结果表明,红外辐射-冷激处理具有协同效应,且处理过程中胡萝卜粉的色调值及总类胡萝卜素含量不受影响,这为低水分粉体食品红外辐射联合杀菌提供了参考。