高性能验证平台设计与搭建

随着集成电路设计的复杂度越来越高,系统验证的难度也在不断地提高.为了能更有效地完成验证工作,需要采用先进的验证方法来构建高性能验证平台.本文介绍的项目中,采用了多种先进验证技术,使用RVM分层结构,混合验证语言,集成多种验证IP,构建了一个存储系统的高效验证平台,探索了复杂系统验证平台设计与搭建之路.     

甘蔗渣墙

在美国，现在有人研制出一种新型的建筑材料。这种材料坚固耐用，不受天气的影响，适于作室外屋顶、墙板、地板或柜台表面等。它是以榨糖之后的甘蔗渣为主，用天然橡胶粘结在一起，并经硫磺处理，使橡胶硬化之后制成的。硫磺掺入的多少，可使它获得不同的强度和韧性。这种材料可以根据需要压成扁的、有波纹的或其他形状，如果制或板材，一样可以锯成不同的形状，还可以在上面钉钉子、凿孔、打眼等。     

英试验多孔沥青路面

英国伯克郡运输研究实验室的研究人员发现，一种能降低汽车运行时发出的隆隆声的多孔沥青路面，可使公路上的交通噪声降低百分之五。这种多孔沥青路面在技术上十分简单。在公路上的最上层铺上一层沥青面，使其表面呈微凸形，     

太原市城南污水处理厂污泥培养驯化及调试

以太原市城南污水处理厂为例,介绍了该污水处理厂的污水处理流程及所采用的改良AAO生物处理工艺,通过采用直接培养活性污泥的方法,对城南污水处理厂的污泥进行了培养驯化,并针对调试过程中出现的问题提出了相应的解决措施,以达到净化污水水质的目的。     

约束不确定非线性系统的鲁棒优化镇定

针对状态和输入约束不确定非线性仿射系统,提出一种鲁棒镇定的优化控制器设计方法.基于弱鲁棒控制Lyapunov函数概念,构造一个参数可调控制器.再利用LaSalle定理和逆优化理论,验证该控制器的鲁棒镇定性和逆最优性.进一步,采用滚动优化原理在线计算控制器的可调参数,实现闭环系统的鲁棒优化镇定.最后对一个开环不稳定振荡器系统进行鲁棒优化镇定,其结果验证了文中方法的有效性.     

污泥厌氧发酵产氢技术的研究进展

综述了污泥厌氧发酵的产氢研究进展,结果表明,联合预处理对产氢效果的提升往往优于单一预处理。针对目前研究报道分析,提出建立合理的评价体系对产氢研究有意义;今后应加强对共发酵产氢过程中的微生物群落动态、代谢途径的研究。     

硫化物光催化剂的形貌控制及光催化性能的研究进展

无机纳米材料的结构、维度、形貌、尺寸等因素对它们的功能性能有着直接影响。CdS、ZnS以及其复合纳米材料在光、电、磁、催化和力学等方面有着特殊的性能,这与晶体形态和形貌紧密相关,因此制备可控粒度、形状、取向的CdS等硫化物半导体纳米材料,研究其结构、形貌对光催化性能的影响,对新型高效光催化材料的研究与开发具有重要的意义。本文重点介绍了近几年硫化物形貌和粒径的控制的研究进展以及此类光催化剂在光催化分解水制氢和降解有机染料等方面的应用。