会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • 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.
    • 一种设备包括:存储第二逻辑表达式的存储器; 存储存储指示选择的一个或多个第二逻辑表达的集合的必要条件,使得命题不满足在执行程序之后立即满足后续条件,当通过排除获得的其他第二逻辑表达式的逻辑积 满足存放条件的要求; 生成由一个或多个第二逻辑表达式的逻辑积表示的候选条件,以包括与基本条件指示的集合的公共第二逻辑表达式; 判断单元判断满足是当满足候选条件时在执行程序之后立即满足后置条件的命题,以及输出单元,被配置为将确定为满足命题的候选条件输出为表示前置条件 的程序。
    • 4. 发明授权
    • 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上。
    • 6. 发明申请
    • METHOD FOR PRODUCING PLASMA DISPLAY PANEL
    • 生产等离子显示面板的方法
    • US20110165818A1
    • 2011-07-07
    • 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上。
    • 7. 发明申请
    • PRE-CONDITION GENERATION DEVICE, POST-CONDITION GENERATION DEVICE, AND METHOD FOR GENERATING THESE CONDITIONS
    • 前置条件生成装置,后处理生成装置以及用于生成这些条件的方法
    • US20100235818A1
    • 2010-09-16
    • US12721749
    • 2010-03-11
    • Masahiro SakaiTakeo Imai
    • Masahiro SakaiTakeo Imai
    • G06F9/44
    • 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. 发明申请
    • PROGRAM VERIFICATION APPARATUS, PROGRAM VERIFICATION METHOD, AND PROGRAM STORAGE MEDIUM
    • 程序验证设备,程序验证方法和程序存储介质
    • US20090172643A1
    • 2009-07-02
    • US12343051
    • 2008-12-23
    • Kohei MaruchiYoshio KataokaMasahiro Sakai
    • Kohei MaruchiYoshio KataokaMasahiro Sakai
    • G06F9/44
    • G06F11/3696G06F11/3676
    • A program verification apparatus includes: a program executing unit executing a program; a variable monitoring unit monitoring a plurality of variables in the program to obtain monitor values of the variables; a target variable determiner determining one or more target variables out of the variables; a constraint condition storage storing a first constraint condition that defines a constraint to be satisfied for each of the target variables and a second constraint condition that defines a constraint to be satisfied among the target variables; a state acquiring unit sequentially acquiring target program state each of which is a combination of monitor values of the target variables at same time respectively; a state generating unit generating an unreached target program state which has not been acquired yet and satisfies the first and second constraint conditions; and a state setting unit setting the unreached target program state to the program.
    • 程序验证装置包括:执行程序的程序执行单元; 监视程序中的多个变量以获得变量的监视值的变量监视单元; 确定变量中的一个或多个目标变量的目标变量确定器; 约束条件存储,其存储定义要针对每个所述目标变量满足的约束的第一约束条件和定义要在所述目标变量中满足的约束的第二约束条件; 状态获取单元分别顺序地获取目标程序状态,每个目标程序状态是目标变量的监视值的组合; 状态生成单元,其生成未被获取的未被接收的目标程序状态,并且满足所述第一和第二约束条件; 以及状态设定单元,将未被接收的目标程序状态设定为程序。