会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明授权
    • Method for verifying safety apparatus and safety apparatus verified by the same
    • 用于验证其验证的安全装置和安全装置的方法
    • US07512917B2
    • 2009-03-31
    • US11360617
    • 2006-02-24
    • Mikio IzumiToshifumi HayashiShigeru OdanakaHirotaka SakaiNaotaka OdaToshifumi SatoToshiaki Ito
    • Mikio IzumiToshifumi HayashiShigeru OdanakaHirotaka SakaiNaotaka OdaToshifumi SatoToshiaki Ito
    • G06F17/50
    • G06F17/5027
    • A verification method is provided for verifying a safety apparatus including a programmable logic device having a plurality of functional elements. The verification method includes the steps of exhaustively verifying the plurality of functional elements on actual hardware, generating a functional element that is the same as one of the functional elements verified on the actual apparatus using a predetermined hardware description language, independently logic-synthesizing each generated functional element into a plurality of first net lists, generating a connection function between the functional elements using the predetermined hardware description language, logic-synthesizing the generated connection function into a second net list corresponding to the connection function, synthesizing the first net lists with the second net list to generate a third net list, writing a logic circuit into the programmable logic device on the basis of the third net list, and verifying the actual programmable logic device.
    • 提供了一种用于验证包括具有多个功能元件的可编程逻辑器件的安全装置的验证方法。 验证方法包括以下步骤:在实际硬件上彻底验证多个功能元件,生成与使用预定的硬件描述语言在实际装置上验证的功能元件中的一个功能元件相同的功能元件,独立地逻辑合成每个产生的功能元件 功能元件组合成多个第一网络列表,使用预定的硬件描述语言在功能元件之间生成连接功能,将生成的连接功能逻辑合成到与连接功能相对应的第二网络列表中,将第一网络列表与 第二网络列表以产生第三网络列表,基于第三网络列表将逻辑电路写入可编程逻辑设备,以及验证实际的可编程逻辑设备。
    • 6. 发明申请
    • METHOD FOR VERIFYING SAFETY APPARATUS AND SAFETY APPARATUS VERIFIED BY THE SAME
    • 验证其安全装置和安全装置的方法
    • US20090164955A1
    • 2009-06-25
    • US12372518
    • 2009-02-17
    • Mikio IzumiToshifumi HayashiShigeru OdanakaHirotaka SakaiNaotaka OdaToshifumi SatoToshiaki Ito
    • Mikio IzumiToshifumi HayashiShigeru OdanakaHirotaka SakaiNaotaka OdaToshifumi SatoToshiaki Ito
    • G06F17/50
    • G06F17/5027
    • A verification method is provided for verifying a safety apparatus including a programmable logic device having a plurality of functional elements. The verification method includes the steps of exhaustively verifying the plurality of functional elements on actual hardware, generating a functional element that is the same as one of the functional elements verified on the actual apparatus using a predetermined hardware description language, independently logic-synthesizing each generated functional element into a plurality of first net lists, generating a connection function between the functional elements using the predetermined hardware description language, logic-synthesizing the generated connection function into a second net list corresponding to the connection function, synthesizing the first net lists with the second net list to generate a third net list, writing a logic circuit into the programmable logic device on the basis of the third net list, and verifying the actual programmable logic device.
    • 提供了一种用于验证包括具有多个功能元件的可编程逻辑器件的安全装置的验证方法。 验证方法包括以下步骤:在实际硬件上彻底验证多个功能元件,生成与使用预定的硬件描述语言在实际装置上验证的功能元件中的一个功能元件相同的功能元件,独立地逻辑合成每个产生的功能元件 功能元件组合成多个第一网络列表,使用预定的硬件描述语言在功能元件之间生成连接功能,将生成的连接功能逻辑合成到与连接功能相对应的第二网络列表中,将第一网络列表与 第二网络列表以产生第三网络列表,基于第三网络列表将逻辑电路写入可编程逻辑设备,以及验证实际的可编程逻辑设备。
    • 7. 发明授权
    • Method for detecting a moving object in motion video and apparatus
    • 运动影像和装置中运动物体的检测方法
    • US07394852B2
    • 2008-07-01
    • US10937859
    • 2004-09-10
    • Takeshi ChujohYoshihiro KikuchiAkira SakumaToshifumi HayashiHiroyuki Kobayashi
    • Takeshi ChujohYoshihiro KikuchiAkira SakumaToshifumi HayashiHiroyuki Kobayashi
    • H04N7/12
    • G06T7/254G06T2207/10016G06T2207/20021
    • An apparatus for detecting a moving object in motion video comprises a macro-block determining section for determining the background/non-background of each macro-block of a reconstructed video signal from a video decoder section which decodes encoded data obtained by compression-encoding a motion video signal, a moving object determining section for determining an area of the moving object from the result of the determination on the background/non-background, and a moving object combination display for displaying information indicating the area of the moving object on a display screen for the reconstructed video signal. The macro-block determining section determines if a macro-block represents a background area or a non-background area, based on mode information from the video decoder section and a cross correlation value between a present frame of the reconstructed video signal and a signal of a frame preceding the present frame by one frame, obtained by a first cross correlation calculator, and a cross correlation value between the present frame of the reconstructed video signal and a background video signal stored in a background memory, obtained by a second cross correlation calculator.
    • 一种用于检测运动视频中的运动物体的装置,包括宏块确定部分,用于从视频解码器部分确定重构的视频信号的每个宏块的背景/非背景,该解码器部分对通过压缩编码获得的编码数据进行解码 运动视频信号,用于从背景/非背景上的确定结果确定运动对象的区域的移动对象确定部分以及用于在显示器上显示指示运动对象的区域的信息的运动对象组合显示 屏幕重建视频信号。 宏块确定部分基于来自视频解码器部分的模式信息以及重构视频信号的当前帧与当前帧之间的互相关值来确定宏块是否表示背景区域或非背景区域 由第一互相关计算器获得的当前帧前一帧,一帧前的帧和重构视频信号的当前帧与存储在后台存储器中的背景视频信号之间的互相关值,由第二互相关计算器 。
    • 9. 发明授权
    • Method for detecting a moving object in motion video and apparatus therefor
    • 用于检测运动中的运动物体的方法及其装置
    • US07292633B2
    • 2007-11-06
    • US10937774
    • 2004-09-10
    • Takeshi ChujohYoshihiro KikuchiAkira SakumaToshifumi HayashiHiroyuki Kobayashi
    • Takeshi ChujohYoshihiro KikuchiAkira SakumaToshifumi HayashiHiroyuki Kobayashi
    • H04N7/12
    • G06T7/254G06T2207/10016G06T2207/20021
    • An apparatus for detecting a moving object in motion video comprises a macro-block determining section for determining the background/non-background of each macro-block of a reconstructed video signal from a video decoder section which decodes encoded data obtained by compression-encoding a motion video signal, a moving object determining section for determining an area of the moving object from the result of the determination on the background/non-background, and a moving object combination display for displaying information indicating the area of the moving object on a display screen for the reconstructed video signal. The macro-block determining section determines if a macro-block represents a background area or a non-background area, based on mode information from the video decoder section and a cross correlation value between a present frame of the reconstructed video signal and a signal of a frame preceding the present frame by one frame, obtained by a first cross correlation calculator, and a cross correlation value between the present frame of the reconstructed video signal and a background video signal stored in a background memory, obtained by a second cross correlation calculator.
    • 一种用于检测运动视频中的运动物体的装置,包括宏块确定部分,用于从视频解码器部分确定重构的视频信号的每个宏块的背景/非背景,该解码器部分对通过压缩编码获得的编码数据进行解码 运动视频信号,用于从背景/非背景上的确定结果确定运动对象的区域的移动对象确定部分以及用于在显示器上显示指示运动对象的区域的信息的运动对象组合显示 屏幕重建视频信号。 宏块确定部分基于来自视频解码器部分的模式信息以及重构视频信号的当前帧与当前帧之间的互相关值来确定宏块是否表示背景区域或非背景区域 由第一互相关计算器获得的当前帧前一帧,一帧前的帧和重构视频信号的当前帧与存储在后台存储器中的背景视频信号之间的互相关值,由第二互相关计算器 。