基于存储元素映射的层次化等价性检验方法

为了提高验证效率和处理大规模电路的能力,提出了一种基于存储元素映射的层次化等价性检验方法,该方法将功能性和非功能性的映射方法相结合,提高了存储元素匹配的准确性和完备性.针对一款RSIC CPU设计完成了两组等价性验证实验,结果表明此方法具有很强的实用性.     

不同尺度的蛋白质在纯石墨烯及氧化石墨烯表面的吸附比较

Using all-atom molecular dynamics (MD) simulations, we have investigated the adsorption stability and conformation change of different proteins on the surface of pristine graphene (PG) and graphene oxide (GO). We find that: (i) with the cooperation of the electrostatic interactions between proteins and oxygen-containing groups, GO shows better adsorption stability than PG; (ii) the peptide loses its secondary structure on both PG and GO surface, and the a-helix structure of the protein fragment is partially broken on PG surface, but is well preserved on GO surface, while the secondary structure of globular protein has no distinct change on both PG and GO surface. In general, GO presents better biocompatibility than PG. Our results are of significant importance to understand the interactions between proteins and PG/GO and the applications of PG/GO in biotechnology and biomedicine.     

校园电瓶车智能充电控制系统设计

由于电动自行车操作简单,骑行省时省力,目前校园电动自行车数量越来越多,而电动自行车最大的问题在于充电,在行程中如果对电量估算不足,极有可能在行程中就停止工作,而在路上找一个可以充电的地方是十分困难的。充电难以及充电安全问题越来越得到大家的重视。私拉电线,电瓶车配备的充电器质量没有保障所导致的发安全事故层出不穷,给平安校园建设带来严重的危害。面对这一现状,设计一个基于STM32的智能充电桩,使用者无需携带充电器,通过面板上的按键就可以设定充电方式(充电电压,电流),直接给蓄电池供电。设计的系统拥有无线传输功能,实现与手机数据交互,方便对充电的控制。充电结束时会自动断电,并发送信息到手机上,提醒使用者及时断电取车。