一种结合依赖关系消除误判的等价性验证方法

    公开(公告)号:CN103150453B

    公开(公告)日:2016-01-06

    申请号:CN201310101920.8

    申请日:2013-03-27

    Applicant: 吉林大学

    Abstract: 本发明涉及一种结合依赖关系消除误判的等价性验证方法,属于模型验证技术领域。在验证等价性的两个电路中,引入新变量代替候选等价点后得到两电路不等价,此时新引入的变量扩大了原候选等价点的取值范围,可能发生误判。为消除误判,本方法首先对所有候选等价点依据电路结构信息计算其对应的拓扑关系。分析候选等价点对应的拓扑关系是否存在依赖关系:如不存在依赖关系,则不存在误判,即原电路不等价;若候选等价点间如存在依赖关系,则将候选等价点对应的子电路还原,进一步调用约束求解器求解。如果得到可满足的结果,则两电路是不等价的;如不可满足,则发生了误判现象,即两电路是等价的。本发明提高了等价性验证效率和芯片的首次硅片成功率,加快电子产品上市时间。

    一种具有弱视角效应的顶发射白光有机电致发光器件

    公开(公告)号:CN102983284A

    公开(公告)日:2013-03-20

    申请号:CN201210520784.1

    申请日:2012-12-06

    Applicant: 吉林大学

    Abstract: 本发明属于有机电致发光领域,具体涉及一种具有弱视角效应的顶发射白光有机电致发光器件,结构依次包括衬底、金属阳极、有机功能层,金属阴极和光耦合输出层,有机功能层中依次包括空穴注入层、空穴传输层、电子阻挡层、白光发光层、电子传输层和电子注入层。光耦合输出层的引入可以调节顶发射器件中顶电极对可见光的透射、反射和吸收,最终实现高性能的顶发射白光有机电致发光器件的制备。克服了以往顶发射器件中普遍存在的微腔效应所导致的光谱窄化难于实现宽谱白光发射的缺点,同时还克服了以往顶发射白光器件驱动电压高、效率低的缺点。本发明制备的顶发射白光有机电致发光器件具有高亮度、高效率、高稳定性、弱视角效应的优点。

    一种有机光电器件透明氧化物电极的溶液处理方法

    公开(公告)号:CN102709490A

    公开(公告)日:2012-10-03

    申请号:CN201210178915.2

    申请日:2012-06-01

    Applicant: 吉林大学

    Abstract: 本发明属于有机光电器件领域,具体涉及有机光电器件透明氧化物电极的一种处理方法,这是制作有机光电器件的一个工艺步骤,该方法可以提高有机光电器件的性能。其过程是先配置无机化合物LiClO4、NaClO4、NaMnO4、KClO4、RbClO4、RbMnO4、CsClO4、CsMnO4的去离子水溶液,然后将清洁处理的透明氧化物电极及其衬底浸入上述化合物的溶液中进行超声处理,取出后用去离子水冲掉电极表面残存溶液,烘干并进行紫外或等离子体处理。该方法成本低、操作简便,对器件的稳定性没有影响,可以大面积处理和批量处理,仅使用现有工业生产中的透明氧化物电极清洗设施即可完成。

    光谱可调的顶发射有机电致发光器件

    公开(公告)号:CN101359721A

    公开(公告)日:2009-02-04

    申请号:CN200810051201.9

    申请日:2008-09-23

    Applicant: 吉林大学

    Abstract: 本发明属于有机电致发光领域,具体涉及两种结构的可以调节发光光谱的顶发射有机电致发光器件。正置结构的顶发射器件依次包括衬底、金属阳极、有机功能层、金属阴极,在金属阴极和有机功能层间引入光谱调节层结构;对于倒置结构的顶发射器件,结构依次包括衬底、金属阴极、有机功能层、金属阳极,在金属阳极和有机功能层间引入光谱调节层结构。光谱调节层的引入可以调节顶发射有机电致发光器件发光光谱的谱宽和发射光谱峰值,从而改变器件的发光颜色,最终实现高亮度、高显色指数的顶发射白光有机电致发光器件。本发明制备的多发光峰、光谱可调顶发射有机电致发光器件具有高亮度、高效率、工序少、工艺简单的优点。

    用于有机电致发光镀膜机的坩埚式蒸发源

    公开(公告)号:CN1187470C

    公开(公告)日:2005-02-02

    申请号:CN03110977.2

    申请日:2003-01-28

    Applicant: 吉林大学

    Abstract: 本发明涉及一种应用于有机电致发光镀膜机的坩埚式蒸发源。坩埚式蒸发源由支座、热电偶测温系统、加热体炉子及坩埚组成。炉子由上、下两个95#陶瓷圆环片(9)、金属钼炉丝(8)、位于上下两个陶瓷圆环片(9)间的筒状石英玻璃内屏蔽层(7)和筒状不锈钢外屏蔽层(6)组成,炉丝(8)上下回绕、通过另一小陶瓷圆环(12)嵌于两个陶瓷圆环片(9)内;上下两个95#陶瓷圆环片(9)用3个钼螺丝杆(5)连接在一起,炉体可以稳固地放置在陶瓷绝缘支座(4)上。该蒸发源具有寿命长、终年不需更换和维护、控温性能优越、蒸发速率稳定、保温性能好、同一真空室的各个蒸发源之间不互相污染、操作方便等优点。

    喙突锁骨闭合打孔瞄准器
    67.
    实用新型

    公开(公告)号:CN212326508U

    公开(公告)日:2021-01-12

    申请号:CN201820001456.3

    申请日:2018-01-02

    Applicant: 吉林大学

    Abstract: 本实用新型公开了一种喙突锁骨闭合打孔瞄准器,包括有导向定位管、定位环和连接装置,其中定位环固定在连接装置的下部,导向定位管插设在连接装置一侧的套管内,连接装置内穿设在套管壁上设置有固定机构固定导向定位管,导向定位管的底端与定位环的底部相对应。导向定位管的外周圈设有螺纹结构,导向定位管的内腔为中空的,导向定位管由上下两段管体组成,下端管体与上端管体相螺接,下端管体用于克式针的导向和固定,上端管体用于空心钻头的导向和固定。有益效果:使用本实用新型提供的喙突锁骨闭合打孔瞄准器在手术过程中手术切口只有两个,手术时间短。并发症少。缩短了康复时间。彻底避免了相关医疗事故的发生,手术患者功能恢复好。(ESM)同样的发明创造已同日申请发明专利

    具有自动识别功能的有机发光镀膜机基片小挡板

    公开(公告)号:CN2615145Y

    公开(公告)日:2004-05-12

    申请号:CN03212295.0

    申请日:2003-03-30

    Applicant: 吉林大学

    Abstract: 本实用新型具体涉及一种安装于有机发光镀膜机基片架前的具有自动识别功能的小挡板。基片小挡板由安装在托板上的两个半圆形能够开合并与基片架同步公转的平板构成的基片小挡板(37)、磁力传动机械手(31)、推拉控制板(38)、传感器(44)和位置探测器(45)及自动识别电路构成。半圆形小挡板(37)与推拉控制板(38)一同安装在托板(12)上,托板(12)安装在行星式旋转基片架(8)的公转轴(13)上,位于基片(7)及大挡板(6)之间,与行星式旋转基片架(8)同步转动。小挡板可以很方便地对相应基片的镀膜条件进行控制,从而实现在一个实验周期内作出多个试样的目的,从而有效地提高有机镀膜的工作效率。

    用于有机电致发光镀膜机的坩锅式蒸发源

    公开(公告)号:CN2606115Y

    公开(公告)日:2004-03-10

    申请号:CN03212003.6

    申请日:2003-03-17

    Applicant: 吉林大学

    Abstract: 本实用新型涉及一种应用于有机电致发光镀膜机的坩锅式蒸发源。坩锅式蒸发源由支座、热电偶测温系统、加热体炉子及坩锅组成。炉子由上、下两个95#陶瓷圆环片(9)、金属钼炉丝(8)、位于上下两个陶瓷圆环片(9)间的筒状石英玻璃内屏蔽层(7)和筒状不锈钢外屏蔽层(6)组成,炉丝(8)上下回绕、通过另一小陶瓷圆环(12)嵌于两个陶瓷圆环片(9)内;上下两个95#陶瓷圆环片(9)用3个钼螺丝杆(5)连接在一起,炉体可以稳固地放置在陶瓷绝缘支座(4)上。该蒸发源具有寿命长、终年不需更换和维护、控温性能优越、蒸发速率稳定、保温性能好、同一真空室的各个蒸发源之间不互相污染、操作方便等优点。

Patent Agency Ranking