《食品安全法实施条例》七大亮点

亮点1 食品生产和销售记录保存期限不得少于两年 条例：“食品生产企业应如实记录食品生产过程的安全管理情况，记录的保存期限不得少于2年，食品批发企业也应如实记录批发食品的名称、数量、购货者名称及联系方式等，或保留载有上述信息的销售票据，记录、票据的保存期限也不得少于2年。”     

基于重写规则法的形式验证技术

<正> 一、引言 验证逻辑设计正确性的传统方法是模拟(Simulation),然而随着数字电路规模和功能扩大,模拟方法已不能保证设计的正确性。与此相对,形式验证(formal verification)方法通过对电路结构的形式进行检查和比较来完成验证。它不需要模拟,因而,避开了模拟信号指数上升的问题。形式验证是一个静态分析,它比动态的逻辑模拟具有更大的潜力。 形式验证的一种方法是将其视为自动定理证明:已知一些公理和已成立的引理,证明某一表达式与另一表达式是等价的。美国Illinois技术研究所的A.S.Wojcik用AURA自动定理证明系统进行了逻辑设计的形式验证,AURA用归结原理作自动定理证明,由于归结法会产生大量子句,因此,证明的效率不是很高。     

滤饼孔隙的试验研究

一、绪言在研制和设计压滤机时,必须考虑的一个重要参数就是过滤压力。而过滤过程中形成的滤饼,其孔隙率对过滤压力有着决定性的影响。目前,国内外对滤饼孔隙的形成及变化机     

计算机化掘进钻车

1986年10月在美国拉斯维加斯举行的采掘设备展览会上,芬兰坦培雷公司(Oy Tampella AB)的坦姆洛克分公司(Tamrock)生产的计算机化掘进钻车特别引人注目。Datamatic HS305M型是该公司最新式的计算机化掘进钻车,该机装有S—系列HL538凿岩机及三条MR600UD钻臂。这些钻臂能绕基座回转360°,从而使工作范围达15～20米~2。据说,对凿岩和矿体圈定钻探来说,这种钻臂是目前可供选     

平面视频的立体化技术研究

针对利用Photoshop软件手工提取深度的精确度不高、造成立体视频闪烁的问题,提出在提取深度之前利用Canny算子进行边缘预分割的改进措施,提高了深度层,尤其是运动对象深度层边界的精度.对合成立体视频的立体显示实验证明改进方法有效地改善了合成立体视频的质量.     

ZnO增强MgO薄膜的次级电子发射性能实验和理论研究北大核心CSCD

本研究采用热蒸镀结合低氧压热活化技术,在FTO玻璃表面沉积制备了厚度为200~300 nm的MgO薄膜和MgO-ZnO复合薄膜,比较测试了薄膜的次级电子发射性能。采用扫描电镜、能谱仪、X射线衍射、X射线光电子能谱仪、俄歇电子谱仪表征了薄膜材料的显微形貌、厚度、结构及元素深度分布。测试了薄膜的次级发射系数(δ)随一次电子能量(Ep)和持续电子束轰击时间的变化情况。采用基于密度泛函理论的第一性原理计算分析了掺杂Zn2+的MgO薄膜的电子态密度分布。研究结果表明,相对于MgO薄膜,MgO-ZnO复合薄膜具有更优异的δ和耐电子束轰击稳定性。其在氧压5 Pa、500℃活化30 min后,在Ep为800 eV轰击时最大次级发射系数(δm)高达12.1,且经过Ep为600 eV、一次电子束流20μA持续轰击120 h后δm仍大于11。次级发射性能提升的主要原因是薄膜中ZnO的掺杂降低了MgO的禁带宽度,以及部分Zn单质的存在有效抵制了表面荷电效应。     

带软时间窗的同时取送货车辆路径问题研究

考虑软时间窗下的车辆路径问题,客户点常伴有同时取送货的双重需求。针对此类问题,通过对软时间窗、车辆在途前后时间关系及二者融合问题进行刻画,同时将车辆行驶距离、车辆使用数、违反软时间窗总时间、客户满意度等纳入综合考量,构建相应混合整数非线性规划(mixed integer nonlinear programming, MINLP)模型。设计相应多目标优化求解算法,运用理想点法对目标函数进行转化,将多目标优化问题转化为单目标优化问题。结合相应算例集,运用LINGO 17.0全局求解程序求得每组算例的全局最优解。结果表明,针对带软时间窗的同时取送货车辆路径问题(vehicle routing problem with simultaneous pick-up and delivery and soft time windows, VRPSPDSTW),所建模型及算法是有效且可行的。     

功率型白光LED可靠性的实验及仿真建模研究

快速推广LED产品到照明市场最主要的障碍在于长期的可靠性测试问题。由于长期的LED可靠性测试不符合快速且低成本的要求,因此本实验对白光LED进行步进式加速寿命老化测试,步进式环境温度从55oC到145oC变化。同时,对LED进行结温测试,并使用COMSOL仿真软件进行温度场分布仿真来模拟器件的发热情况,结果表明荧光胶处的温度高于LED芯片温度。在长期老化之后,对LED的光度进行测量,可以对LED的失效机理进行分析。通过研究温度对LED的光谱功率分布衰减的影响及光通量衰减的影响,发现在经过近3500 h的老化之后,LED的光衰很严重,表明电流及高温对LED的影响是极大的。     

城市RBD初步研究

编者按：旅游已是现代生活中一个不可缺少的重要部分，如何做好旅游设施规划建设工作也日益成为各地政府和规划师们共同关注的热点，本期邀请了中山大学、清华大学、同济大学以及有关旅游管理部门的专业人员，从不同的角度探讨旅游设施开发建设趋势和规划设计理论与方法，以期交流。随着经济活动的发展、信息时代的来临，城市越来越以多样化的功能显示出其区域核心的地位。城市不仅担当区域经济、文化、政治、信息服务的中心，更成为旅游活动的中心。由于旅游的发展，城市中一种新的功能区——RBD（RecreationalBusinessDls－tri。t，旅…     

移动传真：我们看好SACD

在当前DVD—Audio与SACD两种格式的激烈竞争中,许多中小型AV企业受条件限制不能二者得兼,只能择一而从。虽然加盟DVD—Audio的企业日渐增多,但有的企业却偏偏选中SACD。后者是怎样考虑和行动的?从《Fi》杂志记者罗伯特·哈利的采访报道可见一斑。