会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 8. 发明授权
    • Pre-condition generation device, post-condition generation device, and method for generating these conditions
    • 前提条件生成装置,后置条件生成装置以及用于产生这些条件的方法
    • US08584093B2
    • 2013-11-12
    • US12721749
    • 2010-03-11
    • Masahiro SakaiTakeo Imai
    • Masahiro SakaiTakeo Imai
    • G06F9/44G06F11/00
    • G06F8/313
    • A device includes: a storage storing second logical expressions; an storage storing an essential condition which indicates a set of one or more second logical expressions selected such that a proposition is not satisfied that the post-condition is satisfied immediately after a program is executed when a logical product of other second logical expressions obtained by excluding the set indicated by the essential condition from the storage is satisfied; a generator generating a candidate condition represented by a logical product of one or more second logical expressions to include a common second logical expression with the set indicated by the essential condition; a judging unit judging whether satisfied is a proposition that the post-condition is satisfied immediately after the program is executed when the candidate condition is satisfied, and an output unit configured to output the candidate condition determined to satisfy the proposition as representing a pre-condition of the program.
    • 一种设备包括:存储第二逻辑表达式的存储器; 存储存储指示选择的一个或多个第二逻辑表达的集合的必要条件,使得命题不满足在执行程序之后立即满足后续条件,当通过排除获得的其他第二逻辑表达式的逻辑积 满足存放条件的要求; 生成由一个或多个第二逻辑表达式的逻辑积表示的候选条件,以包括与基本条件指示的集合的公共第二逻辑表达式; 判断单元判断满足是当满足候选条件时在执行程序之后立即满足后置条件的命题,以及输出单元,被配置为将确定为满足命题的候选条件输出为表示前置条件 的程序。
    • 9. 发明授权
    • Method for producing plasma display panel
    • 等离子体显示面板的制造方法
    • US08317563B2
    • 2012-11-27
    • US13063174
    • 2010-05-18
    • Yasuhiro YamauchiMasahiro SakaiYusuke FukuiKeisuke Okada
    • Yasuhiro YamauchiMasahiro SakaiYusuke FukuiKeisuke Okada
    • H01J9/20H01J9/26
    • H01J9/241H01J9/261H01J9/39H01J11/12H01J11/52H01J2211/40
    • Provided is a manufacturing method that allows even a PDP having high-definition cells to exhibit excellent image display performance with reduced power consumption by effectively preventing impurities from adhering to the protective layer. Specifically, in a pre-baking step, a back substrate 9 is baked at a pre-baking temperature. Here, a highest pre-baking temperature is set to be lower than a softening point of a sealing material. The back substrate 9 is superposed on a front substrate 2. Then, a sealing step is performed in a sealing atmosphere prepared by mixing a predetermined amount of a reducing gas with a non-oxidizing gas. The above enables the impurities attributed to organic components due to a sealing material paste to remain as low molecular components, whereby the impurities are evacuated and removed in an evacuating step performed after the sealing step. This prevents adherence of the impurities to the protective layer 8.
    • 提供一种制造方法,即使通过有效地防止杂质附着在保护层上,即使具有高分辨率单元的PDP也能够以降低的功耗来显示优异的图像显示性能。 具体地,在预烘烤步骤中,在预烘烤温度下烘烤后基板9。 这里,最高的预烘烤温度被设定为低于密封材料的软化点。 背面基板9叠置在前基板2上。然后,在通过将预定量的还原气体与非氧化性气体混合而制备的密封气氛中进行密封步骤。 以上使得由于密封材料糊而导致的有机成分的杂质保持为低分子成分,由此在密封工序后进行抽真空工序中将杂质抽真空除去。 这防止杂质粘附到保护层8上。