摘要：与simulation验证相比,formal验证方法可以在短时间内遍历所有可能的激励,大大提高验证的效率。保序模块与时序控制以及流水线控制密切相关,设计规模较大,逻辑复杂度较高。介绍了使用formal fpv验证保序模块的流程,并对JasperGold debug结果进行了分析,采用formal fpv验证能提高验证效率,加快验证收敛速度。

摘要：为提高人源化的抗B细胞成熟抗原(B-cell maturation antigen,BCMA)单链抗体(scFv)的亲和力,本研究通过计算机模拟初步探索其体外亲和力成熟的关键位点.首先利用ELISA检测噬菌体表面展示的抗BCMA的亲本单链抗体的结合活性,再通过同源模建搭建抗原-抗体复合三维结构,分析抗原-抗体间的相互作用,保留其互作界面处的关键残基,以增加其相互作用为目标而设计突变体,并利用重叠延伸PCR对scFv进行定点突变以构建突变体质粒,最后通过ELISA初步检测突变体的结合活性.结果显示:噬菌体表面展示的抗BCMA的亲本scFv具有结合抗原BCMA的活性,抗原-抗体间的非键相互作用主要为氢键和疏水相互作用,为增加抗原-抗体静电相互作用而设计了3株突变体,但根据ELISA检测结果显示静电相互作用并不是决定scFv和BCMA结合的关键因素,通过创造额外的静电作用,未能明显提高scFv的亲和力.通过计算机模拟构建了抗原-抗体复合物结构模型,确定了其亲和力成熟中应保留的关键位点,并发现静电作用并不是决定scFv与抗原亲和力的关键作用,推测氢键或其他作用力可能对亲和力的提高作用更大,为后续通过引入氢键等其他设计以提高抗体亲和力奠定了基础.

摘要：蛋白质-蛋白质相互作用在细胞活动和生命过程中扮演着非常重要的角色。基因调节、免疫应答、信号转导、细胞组装等等都离不开蛋白质-蛋白质的相互作用。近几年,靶向蛋白质-蛋白质相互作用及其抑制剂研究也逐渐成为研究的热点;但是蛋白质复合物相互作用界面的一些特点和性质,如相互作用界面较大、结合界面较为平坦等,使蛋白质-蛋白质相互作用及其抑制剂研究充满了挑战。本文主要总结了蛋白质-蛋白质相互作用界面的一些性质和特点,分析了界面特性与其抑制剂设计的关系,并讨论了蛋白质-蛋白质相互作用的理论预测方法及其抑制剂的类型和特点,最后又通过实例说明了如何进行蛋白质-蛋白质相互作用抑制剂的设计。

摘要：通信安全是混沌理论最有前景的重要应用之一。为提高系统的安全性能,本文利用多组耦合蔡氏电路设计了一套通信安全系统。首先,基于经典蔡氏电路及其常规改进方法提出了一种新的改进方法,该方法将原电路中电容电压信号作乘法运算后,与原信号一同构成扩展信号,实现经典蔡氏电路的维数扩展。对所提改进电路的理论分析和基于Matlab/Simulink及Multisim的仿真研究表明:该改进蔡氏电路完整保留了蔡氏电路的特性,扩展信号具有更加丰富的混沌现象,可以观测到一个新的四翅蝴蝶吸引子;部分变量桥式耦合技术可以实现对改进电路的良好控制;其次,利用改进电路构成的多组耦合电路合成通信安全系统加密及解密信号,以此掩盖信息实现信息的安全传输,其中加密信号的运算方式相当于系统的二次加密,提高了系统的保密性能;利用一个15 m V的锯齿信号对本文所设计的系统进行测试,结果表明:所设计的系统的传输误差仅为0.5%,本系统具有良好的系统安全性能、灵活性及可扩展性。该改进蔡氏电路通信安全系统的设计原理可以作为利用DSP、集成电路等实现类似通信安全系统的基础,具有极大的深入研究价值。

摘要：分析了一种五电平光储一体机的拓扑结构与工作原理,在此基础上对不同开关状态下储能电池充放电过程进行了分析,提出调制方法。提出了储能电池充放电的控制策略和直流侧电容平均值控制策略,并设计了闭环控制系统。在Simulink仿真平台上实现了储能电池的充放电控制与直流侧电容的平均值控制,验证了控制策略的合理性,结果表明,此五电平光储一体机可正常稳定工作。