针对同步时序电路VHDL设计的有效模型判别器VERIS

介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案-一个有效的符号模型判别器VERIS,该模型判别器利用同步时序电路设计的特点以及待验证性质的局部性,可显著地减少有限状态机（FSM）的状态空间;大大地提高可达性分析和性质验证的速度;同时,实现了反例生成机制,实验结果表明,与Deharbe的模型判别器相比,用这个模型判别器验证一些基准电路更加适用于同步时序电路。     

N80钢的高温高压CO2腐蚀电化学特性研究

运用电化学测量技术研究N80油管钢在高温高压模拟油田现场腐蚀环境中的CO2腐蚀电化学行为.研究结果表明:在腐蚀的开始阶段,反应主要受活化控制.随着反应的进行,腐蚀产物不断在金属表面沉积,腐蚀电动势和电流密度越来越小,扩散传质过程的影响随之增大.当腐蚀反应时间超过72h后,电极腐蚀过程趋于稳定,此时,反应受活化和扩散共同控制.     

VFP表文件分析及修复被破坏的Foxpro数据库表文件

对Visual Foxpro的表文件结构进行分析，给出了修复被破坏Foxpro数据库的几种方法。     

利用电凝聚-气浮法研究印染废水的脱色性能

自制电解装置,以铁板作为阳极,以NaCl作为电解液,采用电凝聚-气浮法对模拟印染废水偶氮染料活性绿RG19和活性蓝RBu171进行脱色研究,探索废水的pH值、浓度、电凝聚时间、电解质浓度等因素对废水的色度去除率的影响.实验结果显示:染料废水浓度低于300 ppm,电解质NaCl浓度为2g/L,溶液的pH初始值小于7,两种染料RG19和RB171在120 min内,脱色效率均可达到90％.     

(Fe0.5 Co0.5)73.5 Cu1 Mo3 Si13.5 B9合金高温磁性的研究

研究了460～580℃等温退火(30min)后纳米晶(Fe0.5 Co0.5)73.5 Cu1Mo3Si13.5B9合金高温软磁性能.结果表明,在Fe73.5Cu1Mo3Si13.5B9纳米晶合金中用Co取代部分Fe仍可形成双相纳米晶结构,并且可显著提高合金的高温特性.与Fe73.5Cu1Mo3Si13.5B9纳米晶软磁合金相比,其室温μi略有下降,但表征高温磁稳定性的居里温度明显提高,同时磁导率在高温下衰减变缓,从而拓宽了纳米晶软磁材料的高温使用范围.文中初步探讨了用Co取代部分Fe后使高温特性得到改善的机理.     

肉制品加工技术经验交流(之七) 熏烤制品

熏烤制品一般是指以熏烤为主要加工工艺的肉制品。累与烤为两种不同的加工方法,其加工产品又可分为熏制品和烤制品两类。熏制是以烟熏来改变产品口味和提高品质的一种加工方法。由于烟中含有酚类物质,能赋予产品的一种芳香气味,(烟熏味)使肉品具有独特口味;烟中所含的蚁醛,具有杀菌作用,有助于产品的防腐,延     

热鲜肉直接上市试验总结

<正>我国猪肉供应市场,主要以冷冻肉出厂,零售系统解冻后出售给消费者。但在大城市一部分,县城、公社大部份仍有相当数量的猪肉直接上市场供应消费者。如北京市朝阳区的猪肉销     

红曲霉发酵提高金银花的抗氧化活性

本研究的主要目的是探索红曲霉固态发酵对金银花多酚类物质及其抗氧化活性的影响。实验结果表明,红曲霉固态发酵金银花的最优工艺参数为含水量50%、接种量10%、发酵时间9 d。发酵后的红曲金银花总酚含量相比未发酵组增加62.32%,达到36.00 mg GAE/g DM;而总黄酮含量增加了40.40%,达到70.49 mg RE/g DM。经高效液相色谱（HPLC）检测后发现,红曲金银花多酚提取液中绿原酸含量最高,达到20.55 mg/g,而且咖啡酸含量与未发酵组相比增加了55.56%;黄酮类化合物含量也明显增加,其中异槲皮苷含量达到1.65 mg/g,槲皮素含量达到0.24 mg/g,分别是未发酵组的12和18倍。发酵后的红曲金银花具有较强的自由基清除能力,其中ABTS+清除能力提高了61.39%,DPPH清除能力提高了59.28%。本研究表明红曲霉固态发酵能有效提高金银花的多酚含量,并增强其抗氧化活性。     

我国肉制品安全风险及监管建议

我国肉类产量已经连续20多年稳居世界第一,是世界上最有影响力的肉类生产大国。畜禽肉作为人们膳食结构的重要组成部分,其安全问题受到各国的广泛关注。肉制品的安全贯穿于畜禽养殖、屠宰、加工到最终流向市场的任一环节。本研究分析了目前我国畜禽养殖、禽畜屠宰以及禽畜加工过程中存在的风险,基于这些风险,提出了监管建议:如进行源头控制、严厉打击违法行为、健全屠宰相关标准的建设、完善食品安全追溯体系以及加强肉类产品风险监测和风险管理等,以期降低肉制品带来的健康风险和监管风险,保障消费者权益,实现肉制品安全。     

钍基熔盐堆燃料循环与启动策略研究

研究了熔盐燃料在堆内外循环以及考虑特殊核素的添加、提取等在线处理过程的熔盐堆燃耗计算模型,在多功能组件计算程序SONG的基础上开发了相应的燃料循环计算功能并进行了初步验证。在此基础上,分别针对氧化铍慢化的热谱熔盐堆和无慢化的快谱熔盐堆进行计算,并根据堆芯反应性长期稳定的基本要求,分析了利用²³³U和工业Pu启动熔盐堆时配套的在线处理方案以及相应的易裂变核添加要求。通过对核素添加、提取以及燃料内核密度的平衡计算,分析了不同的在线处理方案与启动策略对钍-铀燃料循环效率的影响,并据此提出了初步的熔盐堆燃料循环技术路线。结果表明：压水堆乏燃料提取的工业Pu较²³³U更适宜用于钍铀燃料循环启动,因工业Pu启动的快谱熔盐堆的²³³U产率明显高于²³³U启动熔盐堆,而当有了足够的²³³U积累后,²³³U启动的热谱熔盐堆是更好的选择,因其燃料倍增时间更短且燃料初装量也小得多。